Related papers: Notions of Higher Type
We show how various mathematical formalisms, specifically the catastrophe formalism and group theory, aid in the study of relevant systems in quantum optics. We describe the phase transition of the Dicke model for a finite number N of…
One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
We develop some nonstandard techniques for bornological and coarse spaces. We first generalise the notion of bornology to prebornology, which better fits to coarse spaces. We then give nonstandard characterisations of some basic large-scale…
There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…
In translation surfaces of finite area (corresponding to holomorphic differentials), directions of saddle connections are dense in the unit circle. On the contrary, saddle connections are fewer in translation surfaces with poles…
Quantum information theory gives rise to a straightforward definition of the interaction of electrons $I_{p,q}$ in two orbitals $p$, $q$ for a given many-body wave function. A convenient way to calculate the von Neumann entropies needed is…
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions…
These notes aim to provide a classical approach to solving some conformable differential equations based on prior knowledge of how to solve ordinary differential equations. That is, using the methods of separation of variables, homogeneous…
We introduce a partial order on the set of all normal polytopes in R^d. This poset NPol(d) is a natural discrete counterpart of the continuum of convex compact sets in R^d, ordered by inclusion, and exhibits a remarkably rich combinatorial…
The 2d Heisenberg model --- or 2d O(3) model --- is popular in condensed matter physics, and in particle physics as a toy model for QCD. Along with other analogies, it shares with 4d Yang-Mills theories, and with QCD, the property that the…
We develop the contact singularity theory for singularly-perturbed (or `slow-fast') vector fields of the general form $z' = H(z,\varepsilon)$, $z\in\mathbb{R}^n$ and $\varepsilon\ll 1$. Our main result is the derivation of computable,…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for…
In this paper we propose some Hamiltonian characterizing the interaction of the two-level atom and both the single radiation mode and external field, which might be a generalization of that of Sch{\"o}n and Cirac (quant-ph/0212068). We…
We study the phase diagram, both at zero and finite temperature, in a class of $\mathbb{Z}_q$ models with infinite range interactions. We are able to identify the transitions between a symmetry-breaking and a trivial phase by using a…
A generalized approach to the quantization of a large class of maps on a torus, i.e. quantization via the von Neumann Equation, is described and a number of issues related to the quantization of model systems are discussed. The approach…
Modeling higher-order interactions (HOI) has emerged as a crucial challenge in complex systems analysis, as many phenomena cannot be fully captured by pairwise relationships alone. Hypergraphs, which generalize graphs by allowing…
For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length…
The microscopic approach to the description of the phase behaviour and critical phenomena in binary fluid mixtures is proposed. It is based on the method of collective variables with a reference system. The physical nature of the order…