Related papers: Pirogov-Sinai Theory With New Contours for Symmetr…
Pirogov--Sinai theory is a well-developed method for understanding the low-temperature phase diagram of statistical mechanics models on lattices. Motivated by physical and algorithmic questions beyond the setting of lattices, we develop a…
Following Fr\"ohlich and Spencer, we study one dimensional Ising spin systems with ferromagnetic, long range interactions which decay as $|x-y|^{-2+\alpha}$, $0\leq \alpha\leq 1/2$. We introduce a geometric description of the spin…
The Peierls argument is a mathematically rigorous and intuitive method to show the presence of a non-vanishing spontaneous magnetization in some lattice models. This argument is typically explained for the $D=2$ Ising model in a way which…
In [1], Connes presented axioms governing noncommutative geometry. He went on to claim that when specialised to the commutative case, these axioms recover spin or spin^c geometry depending on whether the geometry is ''real'' or not. We…
We propose two new proofs of the Pythagorean theorem via area rearrangement arguments starting from very simple geometric configurations. The constructions depend on an angular parameter, each choice of which yields a proof. For specific…
We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we…
We prove new theorems which are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from $\mathbb{C}$ to affine curves. These include results on…
Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…
This work studies circle-geometry methods through their application to a main theorem about circles tangent twice to a conic. The authors investigate the Sharygin point -- a point lying in the pencil of two non-intersecting circles -- and…
The concept of an $i$-symmetrization is introduced, which provides a convenient framework for most of the familiar symmetrization processes on convex sets. Various properties of $i$-symmetrizations are introduced and the relations between…
A basic problem of classical field theory, which has attracted growing attention over the past decade, is to find and classify all nonlinear deformations of linear abelian gauge theories. The first part of this paper summarizes and…
In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the…
We present a new approach to study measures on ensembles of contours, polymers or other objects interacting by some sort of exclusion condition. For concreteness we develop it here for the case of Peierls contours. Unlike existing methods,…
The main aim of this work is to present the interpretation of the Ising type models as a kind of field theory in the framework of noncommutative geometry. We present the method and construct sample models of field theory on discrete spaces…
We consider the Ideal Proof System (IPS) introduced by Grochow and Pitassi and pose the question of which tautologies admit symmetric proofs, and of what complexity. The symmetry requirement in proofs is inspired by recent work establishing…
The theory of Poisson-$\sigma$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field…
The relationship between spinors and Clifford (or geometric) algebra has long been studied, but little consistency may be found between the various approaches. However, when spinors are defined to be elements of the even subalgebra of some…
Seiberg-Witten theory is used to obtain new obstructions to the existence of Einstein metrics on 4-manifolds with conical singularities along an embedded surface. In the present article, the cone angle is required to be of the form 2(pi)/p,…
On any locally-finite geometry, the stochastic Ising model is known to be contractive when the inverse-temperature $\beta$ is small enough, via classical results of Dobrushin and of Holley in the 1970's. By a general principle proposed by…
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract…