lattice ↗ reference
4394 papers tagged with this keyword
Tropical formulae for summation over a part of SL(2, Z)
Published in European Journal of Mathematics, 2019, Volume 5, Issue 3, 909-928
• View Publication
• BIB
Let $f(a,b,c,d)=\sqrt{a^2+b^2}+\sqrt{c^2+d^2}-\sqrt{(a+c)^2+(b+d)^2}$, let $(a,b,c,d)$ stand for $a,b,c,d\in\mathbb Z_{\geq 0}$ such that $ad-bc=1$. Define \begin{equation} \label{eq_main} F(s) = \sum_{(a,b,c,d)} f(a,b,c,d)^s. \end{equation} In other words, we consider the sum of the powers of the triangle inequality defects for the lattice parallelograms (in the first quadrant) of area one.
We prove that $F(s)$ converges when $s>1$ and diverges at $s=1/2$. (This papers differs from its published version: Fedor Petrov showed us how to easily prove that $F(s)$ converges for $s>2/3$ and diverges for $s\leq 2/3$, see below.) We also prove $$\sum\limits_{\substack{(a,b,c,d), 1\leq a\leq b, 1\leq c\leq d}} \frac{1}{(a+b)^2(c+d)^2(a+b+c+d)^2} = 1/24,$$ and show a general method to obtain such formulae. The method comes from the consideration of the tropical analogue of the caustic curves, whose moduli give a complete set of continuous invariants on the space of convex domains.
On graphs of bounded semilattices
Published in Math Notes 107, 264--273 (2020)
• View Publication
• BIB
In this paper, we introduce the graph $G(S)$ of a bounded semilattice $S$, which is a generalization of the intersection graph of the substructures of an algebraic structure. We prove some general theorems about these graphs; as an example, we show that if $S$ is a product of three or more chains, then $G(S)$ is Eulerian if and only if either the length of every chain is even or all the chains are of length one. We also show that if $G(S)$ contains a cycle, then $girth(G(S)) = 3$. Finally, we show that if $(S,+,\cdot,0,1)$ is a dually atomic bounded distributive lattice whose set of dual atoms is nonempty, and the graph $G(S)$ of $S$ has no isolated vertex, then $G(S)$ is connected with $diam(G(S))\leq 4$.
Grove arctic curves from periodic cluster modular transformations
Published
• View Publication
• BIB
Groves are spanning forests of a finite region of the triangular lattice that are in bijection with Laurent monomials that arise in solutions of the cube recurrence. We introduce a large class of probability measures on groves for which we can compute exact generating functions for edge probabilities. Using the machinery of asymptotics of multivariate generating functions, this lets us explicitly compute arctic curves, generalizing the arctic circle theorem of Petersen and Speyer. Our class of probability measures is sufficiently general that the limit shapes exhibit all solid and gaseous phases expected from the classification of EGMs in the resistor network model.
An algebraic formulation of the locality principle in renormalisation
Published
• View Publication
• BIB
We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising.
As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions.
Cluster Algebras, Invariant Theory, and Kronecker Coefficients II
Published in Adv. Math. 341 (2019), 536-582
• View Publication
• BIB
We prove that the semi-invariant ring of the standard representation space of the $l$-flagged $m$-arrow Kronecker quiver is an upper cluster algebra for any $l,m\in \mathbb{N}$. The quiver and cluster are explicitly given. We prove that the quiver with its rigid potential is a polyhedral cluster model. As a consequence, to compute each Kronecker coefficient $g_{μ,ν}^λ$ with $λ$ at most $m$ parts, we only need to count lattice points in at most $m!$ fibre (rational) polytopes inside the ${\rm g}$-vector cone, which is explicitly given.
Domino tilings of the expanded Aztec diamond
Published
• View Publication
• BIB
The expanded Aztec diamond is a generalized version of the Aztec diamond, with an arbitrary number of long columns and long rows in the middle. In this paper, we count the number of domino tilings of the expanded Aztec diamond. The exact number of domino tilings is given by recurrence relations of state matrices by virtue of the state matrix recursion algorithm, recently developed by the author to solve various two-dimensional regular lattice model enumeration problems.
Level algebras and $\boldsymbol{s}$-lecture hall polytopes
Published
• View Publication
• BIB
Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for $\boldsymbol{s}$-lecture hall polytopes, which are a family of simplices arising from $\boldsymbol{s}$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of $\boldsymbol{s}$-inversion sequences. Moreover, for a large subfamily of $\boldsymbol{s}$-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level $\boldsymbol{s}$-lecture hall polytopes to construct infinite families of level $\boldsymbol{s}$-lecture hall polytopes, and to describe level $\boldsymbol{s}$-lecture hall polytopes in small dimensions.
Half of an antipodal spherical design
Published
• View Publication
• BIB
We investigate several antipodal spherical designs on whether we can choose half of the points, one from each antipodal pair, such that they are balanced at the origin. In particular, root systems of type A, D and E, minimal points of Leech lattice and the unique tight 7-design on $S^{22}$ are studied. We also study a half of an antipodal spherical design from the viewpoint of association schemes and spherical designs of harmonic index $T$.
Exceptional Lattice Green's Functions
The three exceptional lattices, $E_6$, $E_7$, and $E_8$, have attracted much attention due to their anomalously dense and symmetric structures which are of critical importance in modern theoretical physics. Here, we study the electronic band structure of a single spinless quantum particle hopping between their nearest-neighbor lattice points in the tight-binding limit. Using Markov chain Monte Carlo methods, we numerically sample their lattice Green's functions, densities of states, and random walk return probabilities. We find and tabulate a plethora of Van Hove singularities in the densities of states, including degenerate ones in $E_6$ and $E_7$. Finally, we use brute force enumeration to count the number of distinct closed walks of length up to eight, which gives the first eight moments of the densities of states.
Lattice simplices with a fixed positive number of interior lattice points: A nearly optimal volume bound
Published
• View Publication
• BIB
We give an explicit upper bound on the volume of lattice simplices with fixed positive number of interior lattice points. The bound differs from the conjectural sharp upper bound only by a linear factor in the dimension. This improves significantly upon the previously best results by Pikhurko from 2001.
Matroids and Canonical Forms: Theory and Applications
This thesis proposes a combinatorial generalization of a nilpotent operator on a vector space. The resulting object is highly natural, with basic connections to a variety of fields in pure mathematics, engineering, and the sciences. For the purpose of exposition we focus the discussion of applications on homological algebra and computation, with additional remarks in lattice theory, linear algebra, and abelian categories. For motivation, we recall that the methods of algebraic topology have driven remarkable progress in the qualitative study of large, noisy bodies of data over the past 15 years. A primary tool in Topological Data Analysis [TDA] is the homological persistence module, which leverages categorical structure to compare algebraic shape descriptors across multiple scales of measurement. Our principle application to computation is a novel algorithm to calculate persistent homology which, in certain cases, improves the state of the art by several orders of magnitude. Included are novel results in discrete, spectral, and algebraic Morse theory, and on the strong maps of matroid theory. The defining theme throughout is interplay between the combinatorial theory matroids and the algebraic theory of categories. The nature of these interactions is remarkably simple, but their consequences in homological algebra, quiver theory, and combinatorial optimization represent new and widely open fields for interaction between the disciplines.
The Width of Downsets
Published in European Journal of Combinatorics 79 (2019) 46 - 59
• View Publication
• BIB
How large an antichain can we find inside a given downset in the lattice of subsets of [n]? Sperner's theorem asserts that the largest antichain in the whole lattice has size the binomial coefficient C(n, n/2); what happens for general downsets?
Our main results are a Dilworth-type decomposition theorem for downsets, and a new proof of a result of Engel and Leck that determines the largest possible antichain size over all downsets of a given size. We also prove some related results, such as determining the maximum size of an antichain inside the downset that we conjecture minimizes this quantity among downsets of a given size.
On the Dowling and Rhodes lattices and wreath products
Published
• View Publication
• BIB
Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As is well known, the Dowling lattice defines the frame matroid over a similar biased graph. This gives a new perspective on both matroids and also an application of matroid theory to the theory of finite semigroups. We also make progress on an important question for these classical matroids: what are the minimal Boolean representations and the minimum degree of a Boolean matrix representation?
Lattice point visibility on generalized lines of sight
Published in American Mathematical Monthly, Vol. 125 (2018), No. 7, 593--601
• View Publication
• BIB
For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattice points is given by $1/ζ(b+1)$, where $ζ(s)$ denotes the Riemann zeta function. We also show that even though the proportion of $b$-visible lattice points approaches $1$ as $b$ approaches infinity, there exist arbitrarily large rectangular arrays of $b$-invisible lattice points for any fixed $b$. This work specialized to $b=1$ recovers original results from the classical lattice point visibility setting where the lines of sight are given by linear functions with rational slope through the origin.
Hard and Easy Instances of L-Tromino Tilings
Published in Theoretical Computer Science 2020
• View Publication
• BIB
We study tilings of regions in the square lattice with L-shaped trominoes. Deciding the existence of a tiling with L-trominoes for an arbitrary region in general is NP-complete, nonetheless, we identify restrictions to the problem where it either remains NP-complete or has a polynomial time algorithm. First, we characterize the possibility of when an Aztec rectangle and an Aztec diamond has an L-tromino tiling. Then, we study tilings of arbitrary regions where only $180^\circ$ rotations of L-trominoes are available. For this particular case we show that deciding the existence of a tiling remains NP-complete; yet, if a region does not contains certain so-called "forbidden polyominoes" as sub-regions, then there exists a polynomial time algorithm for deciding a tiling.
A note on discrete lattice-periodic sets with an application to Archimedean tilings
Published
• View Publication
• BIB
Cao & Yuan obtained a Blichfeldt-type result for the vertex set of the edge-to-edge tiling of the plane by regular hexagons. Observing that every Archimedean tiling is the union of translates of a fixed lattice, we take a more general viewpoint and investigate basic questions for such point sets about the homogeneous and inhomogeneous problem in the Geometry of Numbers. The Archimedean tilings nicely exemplify our results.
Ramsey expansions of $Λ$-ultrametric spaces
Published
• View Publication
• BIB
For a finite lattice $Λ$, $Λ$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $Λ$ is finite and distributive, there exists a generic $Λ$-ultrametric space, and we here identify a family of Ramsey expansions for that space. This then allows a description the universal minimal flow of its automorphism group, and also implies the Ramsey property for all known homogeneous finite-dimensional permutation structures, i.e. structures in a language of finitely many linear orders. A point of technical interest is that our proof involves classes with non-unary algebraic closure operations. As a byproduct of some of the concepts developed, we also arrive at a natural description of the known homogeneous finite-dimensional permutation structures, completing our previously begun "census".
Factorial characters of classical Lie groups and their combinatorial realisations
Just as the definition of factorial Schur functions as a ratio of determinants allows one to show that they satisfy a Jacobi-Trudi-type identity and have an explicit combinatorial realisation in terms of semistandard tableaux, so we offer here definitions of factorial irreducible characters of the classical Lie groups as ratios of determinants that share these two features. These factorial characters are each specified by a partition, $λ=(λ_1,λ_2,\ldots,λ_n)$, and in each case a flagged Jacobi-Trudi identity is derived that expresses the factorial character as a determinant of corresponding factorial characters specified by one-part partitions, $(m)$, for which we supply generating functions. These identities are established by manipulating determinants through the use of certain recurrence relations derived from these generating functions. The transitions to combinatorial realisations of the factorial characters in terms of tableaux are then established by means of non-intersecting lattice path models. The results apply to $gl(n)$, $so(2n+1)$, $sp(2n)$ and $o(2n)$, and are extended to the case of $so(2n)$ by making use of newly defined factorial difference characters.
Resonance Graphs and Perfect Matchings of Graphs on Surfaces
Published in Graphs Combin. 39 (2023), article no. 68
• View Publication
• BIB
Let $G$ be a graph embedded in a surface and let $\mathcal F$ be a set of even faces of $G$ (faces bounded by a cycle of even length). The resonance graph of $G$ with respect to $\mathcal F$, denoted by $R(G;\mathcal F)$, is a graph such that its vertex set is the set of all perfect matchings of $G$ and two vertices $M_1$ and $M_2$ are adjacent to each other if and only if the symmetric difference $M_1\oplus M_2$ is a cycle bounding some face in $\mathcal F$. It has been shown that if $G$ is a matching-covered plane bipartite graph, the resonance graph of $G$ with respect to the set of all inner faces is isomorphic to the covering graph of a distributive lattice. It is evident that the resonance graph of a plane graph $G$ with respect to an even-face set $\mathcal F$ may not be the covering graph of a distributive lattice. In this paper, we show the resonance graph of a graph $G$ on a surface with respect to a given even-face set $\mathcal F$ can always be embedded into a hypercube as an induced subgraph. Furthermore, we show that the Clar covering polynomial of $G$ with respect to $\mathcal F$ is equal to the cube polynomial of the resonance graph $R(G;\mathcal F)$, which generalizes previous results on some subfamilies of plane graphs.
Move-minimizing puzzles and diamond-colored modular/distributive lattices
The move-minimizing puzzles presented here are certain types of one-player combinatorial games that are shown to have explicit solutions whenever they can be encoded in a certain way as diamond-colored modular or distributive lattices. Our work here is founded in a new interpretation of some routine and elementary order-theoretic combinatorics.