On the complexity of the relations of isomorphism and bi-embeddability

Given an L_{\omega_1 \omega}-elementary class C, that is the collection of the countable models of some L_{\omega_1 \omega}-sentence, denote by \cong_C and \equiv_C the analytic equivalence relations of, respectively, isomorphism and bi-embeddability on C. Generalizing some questions of Louveau and Rosendal [LR05], in [FMR09] it was proposed the problem of determining which pairs of analytic equivalence relations (E,F) can be realized (up to Borel bireducibility) as pairs of the form (\cong_C,\equiv_C), C some L_{\omega_1 \omega}-elementary class (together with a partial answer for some specific cases). Here we will provide an almost complete solution to such problem: under very mild conditions on E and F, it is always possible to find such an L_{\omega_1 \omega}-elementary class C.Comment: 15 page

Investigating the exclusive protoproduction of dileptons at high energies

Using the high energy color dipole approach, we study the exclusive photoproduction of lepton pairs. We use simple models for the elementary dipole-hadron scattering amplitude that captures main features of the dependence on atomic number A, on energy and on momentum transfer t. This investigation is complementary to conventional partonic description of timelike Compton scattering, which considers quark handbag diagrams at leading order in $\alpha_s$ and simple models of the relevant generalized parton distributions (GPDs). These calculations are input in electromagnetic interactions in pp and AA collisions to measured at the LHC.Comment: 6 pages, 4 figure

Motion of Bound Domain Walls in a Spin Ladder

The elementary excitation spectrum of the spin-$\frac{1}{2}$ antiferromagnetic (AFM) Heisenberg chain is described in terms of a pair of freely propagating spinons. In the case of the Ising-like Heisenberg Hamiltonian spinons can be interpreted as domain walls (DWs) separating degenerate ground states. In dimension $d>1$, the issue of spinons as elementary excitations is still unsettled. In this paper, we study two spin-$\frac{1}{2}$ AFM ladder models in which the individual chains are described by the Ising-like Heisenberg Hamiltonian. The rung exchange interactions are assumed to be pure Ising-type in one case and Ising-like Heisenberg in the other. Using the low-energy effective Hamiltonian approach in a perturbative formulation, we show that the spinons are coupled in bound pairs. In the first model, the bound pairs are delocalized due to a four-spin ring exchange term in the effective Hamiltonian. The appropriate dynamic structure factor is calculated and the associated lineshape is found to be almost symmetric in contrast to the 1d case. In the case of the second model, the bound pair of spinons lowers its kinetic energy by propagating between chains. The results obtained are consistent with recent theoretical studies and experimental observations on ladder-like materials.Comment: 12 pages, 7 figure

Dimension, matroids, and dense pairs of first-order structures

A structure M is pregeometric if the algebraic closure is a pregeometry in all M' elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of omega and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of structures expanding a field and with an existential matroid, and we show that the corresponding theories have natural completions, whose models also have a unique existential matroid. We extend the above result to dense tuples of structures.Comment: Version 2.8. 61 page

Heterotic Line Bundle Standard Models

In a previous publication, arXiv:1106.4804, we have found 200 models from heterotic Calabi-Yau compactifications with line bundles, which lead to standard models after taking appropriate quotients by a discrete symmetry and introducing Wilson lines. In this paper, we construct the resulting standard models explicitly, compute their spectrum including Higgs multiplets, and analyze some of their basic properties. After removing redundancies we find about 400 downstairs models, each with the precise matter spectrum of the supersymmetric standard model, with one, two or three pairs of Higgs doublets and no exotics of any kind. In addition to the standard model gauge group, up to four Green-Schwarz anomalous U(1) symmetries are present in these models, which constrain the allowed operators in the four-dimensional effective supergravity. The vector bosons associated to these anomalous U(1) symmetries are massive. We explicitly compute the spectrum of allowed operators for each model and present the results, together with the defining data of the models, in a database of standard models accessible at http://www-thphys.physics.ox.ac.uk/projects/CalabiYau/linebundlemodels/index.html. Based on these results we analyze elementary phenomenological properties. For example, for about 200 models all dimension four and five proton decay violating operators are forbidden by the additional U(1) symmetries.Comment: 55 pages, Latex, 3 pdf figure

On the elementary theory of pairs of real closed fields. II

Let ℒ be the first order language of field theory with an additional one place predicate symbol. In [B2] it was shown that the elementary theory T of the class of all pairs of real closed fields, i.e., ℒ-structures ‹K, L›, K a real closed field, L a real closed subfield of K, is undecidable. The aim of this paper is to show that the elementary theory Ts of a nontrivial subclass of containing many naturally occurring pairs of real closed fields is decidable (Theorem 3, §5). This result was announced in [B2]. An explicit axiom system for Ts will be given later. At this point let us just mention that any model of Ts , is elementarily equivalent to a pair of power series fields ‹R 0((TA )), R 1((TB ))› where R 0 is the field of real numbers, R 1 = R 0 or the field of real algebraic numbers, and B ⊆ A are ordered divisible abelian groups. Conversely, all these pairs of power series fields are models of T s. Theorem 3 together with the undecidability result in [B2] answers some of the questions asked in Macintyre [M]. The proof of Theorem 3 uses the model theoretic techniques for valued fields introduced by Ax and Kochen [A-K] and Ershov [E] (see also [C-K]). The two main ingredients are (i) the completeness of the elementary theory of real closed fields with a distinguished dense proper real closed subfield (due to Robinson [R]), (ii) the decidability of the elementary theory of pairs of ordered divisible abelian groups (proved in §§1-4). I would like to thank Angus Macintyre for fruitful discussions concerning the subject. The valuation theoretic method of classifying theories of pairs of real closed fields is taken from [M

A topological interpretation of three Leibnizian principles within the functional extensions

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility as consistency), and "the ideal elements correctly determine the real things" (Transfer). Here we give a precise logico-mathematical formulation of these principles within the framework of the Functional Extensions, mathematical structures that generalize at once compactifications, completions, and elementary extensions of models. In this context, the above Leibnizian principles appear as topological or algebraic properties, namely: a property of separation, a property of compactness, and a property of directeness, respectively. Abiding by this interpretation, we obtain the somehow surprising conclusion that these Leibnizian principles may be fulfilled in pairs, but not all three together.Comment: arXiv admin note: substantial text overlap with arXiv:1012.434

Spectral dimensionality reduction for HMMs

Hidden Markov Models (HMMs) can be accurately approximated using co-occurrence frequencies of pairs and triples of observations by using a fast spectral method in contrast to the usual slow methods like EM or Gibbs sampling. We provide a new spectral method which significantly reduces the number of model parameters that need to be estimated, and generates a sample complexity that does not depend on the size of the observation vocabulary. We present an elementary proof giving bounds on the relative accuracy of probability estimates from our model. (Correlaries show our bounds can be weakened to provide either L1 bounds or KL bounds which provide easier direct comparisons to previous work.) Our theorem uses conditions that are checkable from the data, instead of putting conditions on the unobservable Markov transition matrix