Ramsey fringes formation during excitation of topological modes in a Bose-Einstein condensate

The Ramsey fringes formation during the excitation of topological coherent modes of a Bose-Einstein condensate by an external modulating field is considered. The Ramsey fringes appear when a series of pulses of the excitation field is applied. In both Rabi and Ramsey interrogations, there is a shift of the population maximum transfer due to the strong non-linearity present in the system. It is found that the Ramsey pattern itself retains information about the accumulated relative phase between both ground and excited coherent modes.Comment: Latex file, 12 pages, 5 figure

Topological Ramsey spaces from Fra\"iss\'e classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fra\"iss\'e classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Soki\v{c} is extended to equivalence relations for finite products of structures from Fra\"iss\'e classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the Pudl\'ak-R\"odl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fra\"iss\'e classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor in \cite{Baumgartner/Taylor78} generating p-points which are $k$-arrow but not $k+1$-arrow, and in a partial order of Blass in \cite{Blass73} producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of $n$ many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra $\mathcal{P}(n)$. If the number of Fra\"iss\'e classes on each block grows without bound, then the Tukey types of the p-points below the space's associated ultrafilter have the structure exactly $[\omega]^{<\omega}$. In contrast, the set of isomorphism types of any product of finitely many Fra\"iss\'e classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template.Comment: 35 pages. Abstract and introduction re-written to make very clear the main points of the paper. Some typos and a few minor errors have been fixe

Induced Ramsey-type results and binary predicates for point sets

Let $k$ and $p$ be positive integers and let $Q$ be a finite point set in general position in the plane. We say that $Q$ is $(k,p)$-Ramsey if there is a finite point set $P$ such that for every $k$-coloring $c$ of $\binom{P}{p}$ there is a subset $Q'$ of $P$ such that $Q'$ and $Q$ have the same order type and $\binom{Q'}{p}$ is monochromatic in $c$. Ne\v{s}et\v{r}il and Valtr proved that for every $k \in \mathbb{N}$, all point sets are $(k,1)$-Ramsey. They also proved that for every $k \ge 2$ and $p \ge 2$, there are point sets that are not $(k,p)$-Ramsey. As our main result, we introduce a new family of $(k,2)$-Ramsey point sets, extending a result of Ne\v{s}et\v{r}il and Valtr. We then use this new result to show that for every $k$ there is a point set $P$ such that no function $\Gamma$ that maps ordered pairs of distinct points from $P$ to a set of size $k$ can satisfy the following "local consistency" property: if $\Gamma$ attains the same values on two ordered triples of points from $P$, then these triples have the same orientation. Intuitively, this implies that there cannot be such a function that is defined locally and determines the orientation of point triples.Comment: 22 pages, 3 figures, final version, minor correction