Related papers: Notions of Higher Type
Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…
We prove, for a class of contact manifolds, that the universal cover of the group of contact diffeomorphisms carries a natural partial order. It leads to a new viewpoint on geometry and dynamics of contactomorphisms. It gives rise to…
The use of quantality is discussed in the case of nuclei and other many-body systems such as atomic electrons. This dimensionless quantity is known to indicate when a many-body system behaves like a crystal or a quantum liquid. Its role is…
Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…
A general scheme is presented for controlling quantum systems using evolution driven by non-selective von Neumann measurements, with or without an additional tailored electromagnetic field. As an example, a 2-level quantum system controlled…
Fano varieties are 'atomic pieces' of algebraic varieties, the shapes that can be defined by polynomial equations. We describe the role of computation and database methods in the construction and classification of Fano varieties, with an…
For certain classes of knots we define geometric invariants called higher-order genera. Each of these invariants is a refinement of the slice genus of a knot. We find lower bounds for the higher-order genera in terms of certain von Neumann…
Schanuel has pointed out that there are mathematically interesting categories whose relationship to the ring of integers is analogous to the relationship between the category of finite sets and the semi-ring of non-negative integers. Such…
We study sharpened forms of the concentration of measure phenomenon typically centered at stochastic expansions of order $d-1$ for any $d \in \mathbb{N}$. The bounds are based on $d$-th order derivatives or difference operators. In…
Systems displaying quantum topological order feature robust characteristics that are very attractive to quantum computing schemes. Topological quantum field theories have proven to be powerful in capturing the quintessential attributes of…
We consider $N_a$ three-level atoms (or systems) interacting with a one-mode electromagnetic field in the dipolar and rotating wave approximations. The order of the quantum phase transitions is determined explicitly for each of the…
Diagrammatic Monte Carlo -- the technique for numerically exact summation of all Feynman diagrams to high orders -- offers a unique unbiased probe of continuous phase transitions. Being formulated directly in the thermodynamic limit, the…
Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation,…
Dependent Object Types (DOT) is a calculus with path dependent types, intersection types, and object self-references, which serves as the core calculus of Scala 3. Although the calculus has been proven sound, it remains open whether type…
Antiferromagnetic Hamiltonians with short-range, non-frustrating interactions are well-known to exhibit long range magnetic order in dimensions, $d\geq 2$ but exhibit only quasi long range order, with power law decay of correlations, in d=1…
We investigate the behavior of the periodic Anderson model in the presence of $d$-$f$ Coulomb interaction ($U_{df}$) using mean-field theory, variational calculation, and exact diagonalization of finite chains. The variational approach…
We consider the identification of nonlinear diffusion coefficients of the form $a(t,u)$ or $a(u)$ in quasi-linear parabolic and elliptic equations. Uniqueness for this inverse problem is established under very general assumptions using…
We use a quantum Monte Carlo method to investigate various classes of 2D spin models with long-range interactions at low temperatures. In particular, we study a dipolar XXZ model with U(1) symmetry that appears as a hard-core boson limit of…
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
We use the framework of multivariate regular variation to analyse the extremal behaviour of preferential attachment models. To this end, we follow a directed linear preferential attachment model for a random, heavy-tailed number of steps in…