Related papers: On infinite order corks
We study the possibility of long-range ordering (LRO) in a 3D system of vertically stacked layers of Ising antiferromagnet on a kagome lattice (SIAKL). Monte Carlo simulations are carried out for a varying interlayer coupling strength and a…
We study the electromagnetic on-shell form factor of quarks in massless perturbative QCD. We derive the complete pole part in dimensional regularization at three loops, and extend the resummation of the form factor to the…
We introduce a new construction of the Uniform Infinite Planar Quadrangulation (UIPQ). Our approach is based on an extension of the Cori-Vauquelin-Schaeffer mapping in the context of infinite trees, in the spirit of previous work. However,…
We study various formulations of the completeness of first-order logic phrased in constructive type theory and mechanised in the Coq proof assistant. Specifically, we examine the completeness of variants of classical and intuitionistic…
We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.
We construct Steiner triple systems without parallel classes for an infinite number of orders congruent to $3 \pmod{6}$. The only previously known examples have order $15$ or $21$.
We prove that any finitely generated one ended group has linear end depth. Moreover, we give alternative proofs to theorems relating the growth of a finitely generated group to the number of its ends.
We report an infinite class of discrete hierarchies which naturally generalize familiar discrete KP one.
We construct isotrivial and non-isotrivial elliptic curves over $\mathbb{F}_q(t)$ with an arbitrarily large set of separable integral points. As an application of this construction, we prove that there are isotrivial log-general type…
We construct free cubic implication algebras with finitely many generators, and determine the size of these algebras.
For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.
We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to…
Let $S$ be a connected orientable surface of finite topological type. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets.
In this paper we construct an infinite family of knots with vanishing Upsilon invariant $\Upsilon$, although their secondary Upsilon invariants $\Upsilon^2$ show that they are linearly independent in the smooth knot concordance group. We…
In this paper, we construct an infinite family of elliptic curves whose rank is exactly two and the torsion subgroup is a cyclic group of order two or three, under the parity conjecture.
For every finite rank k, k>1, we explicitly construct (2k)! left orders on the free group F_k of rank k. Each order is induced by a word of length 2k in which each generator of F_k and its inverse appear exactly once. For each of these…
We arrange classical small cancellation constructions to produce left-orderable groups: we show that every finitely generated group is the quotient of a left-ordered small cancellation group by a finitely generated kernel (Rips…
We derive a formula connecting the orders of the automorphism groups of a finite group and of its covering groups.
We construct a finitely generated 2-dimensional group that acts properly on a locally finite CAT(0) cube complex but does not act properly on a finite dimensional CAT(0) cube complex.
An axiomatic treatment of `independence relations' (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is…