Related papers: A Simple Proof of the Aztec Diamond Theorem
We study the rough-smooth boundary in the two-periodic Aztec diamond, a random domino tiling model exhibiting three types of macroscopic regions. We show that the height function at this boundary converges to an independent sum of an Airy…
We give a simple geometric characterization of the locus where the inscribed Banach--Colmez Tangent Spaces of moduli of mixed characteristic local shtukas with one leg and fixed determinant are connected. We conjecture that the structure…
Schauder's theorem asserts that a bounded linear operator between Banach spaces is compact if ad only if its adjoint is. We give a new proof of this result, which is both short and completely elementary in the sense that it does not depend…
A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation…
P. Di Francesco first introduced the "Aztec triangle" in his study of the relationship between the twenty-vertex model and domino tilings. He conjectured an exact formula for the number of tilings of the Aztec triangle, and it has since…
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta…
The Dowker theorem is a classical result in the topology of finite spaces, claiming that any binary relation between two finite spaces defines two homotopy-equivalent complexes (the Dowker complexes). Recently, Barmak strengthened this to a…
A Somos sequence of order $n$ is defined by a quadratic recurrence of width $n + 1$. Some of the remarkable properties of these sequences for small $n$ are tied to certain matrices built out of them being of finite rank. We give an…
We compute the algebraic equation for arctic curves of the Aztec diamond with a doubly (quasi-)periodic weight structure and obtain similar results for certain models of the hexagon. In particular, we determine the algebraic degree of such…
Ezra Getzler notes in the proof of the main theorem of "The semi-classical approximation for modular operads" that "A proof of the theorem could no doubt be given using [a combinatorial interpretation in terms of a sum over necklaces];…
We compute the number of perfect matchings of an $M\times N$ Aztec rectangle where $|N-M|$ vertices have been removed along a line. A particular case solves a problem posed by Propp. Our enumeration results follow from certain identities…
Zeckendorf's Theorem states that any positive integer can be uniquely decomposed into a sum of distinct, non-adjacent Fibonacci numbers. There are many generalizations, including results on existence of decompositions using only even…
For any positive integer m and any dimension n, we show that any n-dimensional Hodge diamond with values in Z/mZ is attained by the Hodge numbers of an n-dimensional smooth complex projective variety. As a corollary, there are no polynomial…
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also…
When applied to statistical systems showing an arctic curve phenomenon, the tangent method assumes that a modification of the most external path does not affect the arctic curve. We strengthen this statement and also make it more concrete…
We study domino tilings of certain regions $R_\lambda$, indexed by partitions $\lambda$, weighted according to generalized area and dinv statistics. These statistics arise from the $q,t$-Catalan combinatorics and Macdonald polynomials. We…
We consider the problem of certifying (strict) $k$-sign consistency of a matrix, that is, whether all of its $k$-th order minors share the same (strict) sign. Although this problem is generally of combinatorial complexity, we show that for…
Zorn's Lemma is a well-known equivalent of the Axiom of Choice. It is usually regarded as a topic in axiomatic set theory, and its historically standard proof (from the Axiom of Choice) relies on transfinite recursion, a non-elementary…
We prove an analog of the classical Hartogs extension theorem for certain (possibly unbounded) domains on coverings of Stein manifolds.
Toric varieties associated with distributive lattices arise as a fibre of a flat degeneration of a Schubert variety in a minuscule. The singular locus of these varieties has been studied by various authors. In this article we prove that the…