Related papers: Proof of Blum's conjecture on hexagonal dungeons
Brane tilings are efficient mnemonics for Lagrangians of N=2 Chern-Simons-matter theories. Such theories are conjectured to arise on M2-branes probing singular toric Calabi-Yau fourfolds. In this paper, a simple modification of the…
We investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli…
It is shown that if n<7, then each tiling of R^n by translates of the unit cube [0,1)^n contains a column; that is, a family of the form {[0,1)^n+(s+ke_i): k \in Z}, where s \in R^n, e_i is an element of the standard basis of R^n and Z is…
We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.
Given a 3-graph H, let \ex_2(n, H) denote the maximum value of the minimum codegree of a 3-graph on n vertices which does not contain a copy of H. Let F denote the Fano plane, which is the 3-graph \{axx',ayy',azz',xyz',xy'z,x'yz,x'y'z'\}.…
We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of…
Let $TT_k$ denote the transitive tournament on $k$ vertices. Let $TT(h,k)$ denote the graph obtained from $TT_k$ by replacing each vertex with an independent set of size $h \geq 1$. The following result is proved: Let $c_2=1/2$, $c_3=5/6$…
We introduce a counterpart to the notion of vertex disjoint tilings by copy of a fixed graph F to the setting of graphons. The case F=K_2 gives the notion of matchings in graphons. We give a transference statement that allows us to switch…
We count tilings of a rectangle of integer sides m-1 and n-1 by a special set of tiles. The result is obtained fron the study of the kernel of the adjacency matrix of an n x n rectangular graph of Z x Z.
We formulate three versions of a strange duality conjecture for sections of the Theta bundles on the moduli spaces of sheaves on abelian surfaces. As supporting evidence, we check the equality of dimensions on dual moduli spaces, answering…
The number of standard Young tableaux possible of shape corresponding to a partition $\lambda$ is called the dimension of the partition and is denoted by $f^{\lambda}$. Partitions with odd dimensions were enumerated by McKay and were…
Previous work showed that, for $\nu_2(n)$ the number of partitions of $n$ into exactly two part sizes, one has $\nu_2(16n + 14) \equiv 0 \pmod{4}$. The earlier proof required the technology of modular forms, and a combinatorial proof was…
Over the projective plane and at most two-step blowups of Hirzebruch surfaces, where there are strong full exceptional sequences of line bundles, we obtain foundational results about Gaeta resolutions of coherent sheaves by these line…
The combinatorics of dimer models on brane tilings describe a large class of four-dimensional $\mathcal{N}=1$ gauge theories that afford quiver descriptions and have toric moduli spaces. We introduce a combinatorial optimization method…
In the first section of this paper we prove a theorem for the number of columns of a rectangular area that are identical to the given one. In the next section we apply this theorem to derive several combinatorial identities by counting…
Starting with a substitution tiling, we demonstrate a method for constructing infinitely many new substitution tilings. Each of these new tilings is derived from a graph iterated function system and the tiles have fractal boundary. We show…
Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…
We prove Conjecture 4.16 of the paper [EL21] of Elagin and Lunts; namely, that a smooth projective curve of genus at least 1 over a field has diagonal dimension 2.
We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with any irrational angle in degree: they are three $1$-parameter families of pentagonal subdivisions of the Platonic solids, with…
We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of…