lattice ↗ reference
4394 papers tagged with this keyword
Generalised Kauffman Clock Theorems
Kauffman's clock theorem provides a distributive lattice structure on the set of states of a four-valent graph in the plane. We prove two distinct generalisations of this theorem, for four-valent graphs embedded in more general compact oriented surfaces. The proofs use results of Propp providing distributive lattice structures on matchings on bipartite plane graphs, and orientations of graphs with fixed circulation.
The lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive
We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.
Evaluation of lattice sums via telescoping over topographs
Topographs, introduced by Conway in 1997, are infinite trivalent planar trees used to visualize the values of binary quadratic forms. In this work, we study series whose terms are indexed by the vertices of a topograph and show that they can be evaluated using telescoping sums over its edges.
Our technique provides arithmetic proofs for modular graph function identities arising in string theory, yields alternative derivations of Hurwitz-style class number formulas, and provides a unified framework for well-known Mordell-Tornheim series and Hata's series for the Euler constant $γ$.
Our theorems are of the following spirit: we cut a topograph along an edge (called the root) into two parts, and then sum $\frac{1}{rst}$ (the reciprocal of the product of labels on regions adjacent to a vertex) over all vertices of one part. We prove that such a sum is equal to an explicit expression depending only on the root and the discriminant of the topograph.
Asymptotic Face Distributions in Random Reduced $\mathfrak s\mathfrak l_3$ Webs
We study the distribution of interior faces in uniformly random reduced $\mathfrak s \mathfrak l_3$ webs. Using Tymoczko's bijection between $3\times n$ standard Young tableaux and reduced webs, this problem can be reformulated in terms of constrained lattice paths and associated $m$-diagrams. We develop a framework that expresses crossing probabilities in the $m$-diagram as solutions to discrete Dirichlet problems on the triangular lattice, which are evaluated through solutions to lattice Green's functions. From this we obtain explicit limiting formulas for the frequencies of interior faces of each type. As an application, we analyze faces at a distance at least $d$ from the boundary. We prove that almost all interior faces far from the boundary are hexagons, while faces of size $6+2k$ occur with probability $O(d^{-2k})$.
Flow polytopes for extensions of bipartite graphs
The space of unit flows on a finite acyclic directed graph is a lattice polytope called the flow polytope of the graph. Given a bipartite graph $G$ with minimum degree at least two, we construct two associated acyclic directed graphs: the extension of $G$ and the almost-degree-whiskered graph of $G$. We prove that the normalized volume of the flow polytope for the extension of $G$ is equal to the number of matchings in the almost-degree-whiskered graph of $G$. Further, we refine this result by proving that the Ehrhart $h^*$-polynomial of the flow polytope for the extension of $G$ is equal to the unsigned matching polynomial of the almost-degree-whiskered graph of $G$.
Delsarte duality on subspaces and applications to rank-metric codes and q-matroids
We study the interplay between the lattice of F_{q^m}-subspaces and the lattice of F_{q^m}-subspaces of an F_{q^m}-vector space. Introducing notions of weight and defect relative to an F_q-subspace, we analyze the sequence of maximum non-zero defects. We establish a correspondence between subspaces of positive defect and their Delsarte duals, enabling explicit characterizations of the associated sequences of maximum non-zero defects. Our framework unifies several classes of subspaces studied in finite geometry and connects them to linear rank-metric codes by providing a new geometric interpretation of code duality. Building on these results, we characterize classes of rank-metric codes closed under duality, including MRD, near MRD, quasi-MRD, and a new family of (n, k)-MRD codes. Finally, we explore applications to q-matroids, by studying the problem of F_{q^m}-representability for direct sums of uniform q-matroids and describing their rank generating functions.
Classification and Ideal Lattices of Leavitt Path Algebras
Leavitt path algebras are free algebras subject to relations induced by directed graphs. This paper investigates the ideals of Leavitt path algebras, with an emphasis on the relationship between graph-theoretic properties of a directed graph and the ideals of the associated Leavitt path algebra. We begin by presenting a new proof of a fundamental result characterizing graded and non-graded ideals of a Leavitt path algebra using a condition on the number of closed paths at each vertex in its directed graph. Appealing to this result, we then classify the Leavitt path algebras of directed graphs with two vertices up to isomorphism and determine all possible lattice structures of a class of well-behaved ideals possessed by such algebras.
Mutually Abelian-Bordered Binary Words
Published
• View Publication
• BIB
A word is said to be bordered if it contains a nonempty proper prefix that is also a suffix. A pair of words $(u, v)$ is said to be mutually bordered if there exists a word that is a nonempty proper prefix of $u$ and suffix of $v$, and there exists a word that is a nonempty proper suffix of $u$ and prefix of $v$. Recently, Gabric studied the number of mutually bordered pairs. In this work, we extend the concept of mutually bordered pairs to abelian setting, and determine the number of mutually abelian-bordered pairs of binary words using lattice paths. We also find the number of unbordered pairs in this context.
Leaky Zero Forcing on Induced Subgraphs of $d$-dimensional Grid Graphs with an Application to Hopi Rectangles
We study zero forcing and $\ell$-leaky zero forcing on induced subgraphs of $d$-dimensional grid graphs. Using $\ell$-leaky forts, we prove structural results showing that for $\ell \le 2d-1$, every nonempty $\ell$-leaky fort in an induced subgraph of $P_{n_1}\square\cdots\square P_{n_d}$ intersects the boundary of the graph. These results give general bounds and, in certain settings, exact values for the $\ell$-leaky forcing number of induced subgraphs. Motivated by this framework, we introduce an integer lattice based definition of the Hopi rectangle graphs $HD(a,b)$ as induced subgraphs of $P_{a+b}\square P_{a+b}$. For this particular family of graphs, we show that the zero forcing number equals the maximum nullity, and we completely characterize the $\ell$-leaky forcing number for all $\ell\ge 1$.
The clock theorem for knotoids and linkoids
In this paper, we generalize the \textit{Clock Theorem} of Formal Knot Theory to knotoids in $S^2$. The clock theorem implies that clock states of a knotoid diagram form a lattice under transpositions. These states form the basis of many invariants of knotoids and linkoids including the Alexander polynomial, Mock Alexander polynomial and the Jones polynomial.
Polynomial Invariants of q-Matroids and Rank-Metric Codes
It is shown that the Whitney function of a representable q-matroid and the collection of all higher weight enumerators of any representing rank-metric code determine each other via a monomial substitution. Moreover, the q-matroid itself and the collection of all higher support enumerators of the code determine each other. Next, it is proven that the Whitney function of a q-matroid and the Whitney function of its projectivization determine each other via a monomial substitution. Finally, q-matroids with isomorphic projectivizations are studied. It is shown that the projectivizations are isomorphic iff the q-matroids admit a dimension-preserving lattice isomorphism between their lattices of flats. Such q-matroids are called weakly isomorphic.
Reconstrucion of oriented matroids from Varchenko-Gelfand algebras
Published
• View Publication
• BIB
The algebra of $R$-valued functions on the set of chambers of a real hyperplane arrangement is called the Varchenko-Gelfand (VG) algebra. This algebra carries a natural filtration by the degree with respect to Heaviside functions, giving rise to the associated graded VG algebra. When the coefficient ring $R$ is an integral domain of characteristic $2$, the graded VG algebra is known to be isomorphic to the Orlik-Solomon algebra. In this paper, we study VG algebras over coefficient rings of characteristic different from $2$, and investigate to what extent VG algebras determine the underlying oriented matroid structures.
Our main results concern hyperplane arrangements that are generic in codimension $2$. For such arrangements, if $R$ is an integral domain of characteristic not equal to $2$, then the oriented matroid can be recovered from both the filtered and the graded VG algebras. As a byproduct, we prove that, unlike the complexification, the cohomology ring of the complement of a $3$-plexification of a real arrangement is not determined by the intersection lattice.
We also formulate an algorithm that is expected to reconstruct oriented matroids from VG algebras in the case of general arrangements.
Lattice Models for Double Whittaker Polynomials and Motivic Chern Classes
We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''
Chow polynomials of totally nonnegative matrices and posets
Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.
The hereditariness problem for the Černý conjecture
Published
• View Publication
• BIB
This paper addresses the lifting problem for the Černý conjecture: namely, whether the validity of the conjecture for a quotient automaton can always be transferred (or "lifted") to the original automaton. Although a complete solution remains open, we show that it is sufficient to verify the Černý conjecture for three specific subclasses of reset automata: radical, simple, and quasi-simple. Our approach relies on establishing a Galois connection between the lattices of congruences and ideals of the transition monoid. This connection not only serves as the main tool in our proofs but also provides a systematic method for computing the radical ideal and for deriving structural insights about these classes. In particular, we show that for every simple or quasi-simple automaton $\mathcal{A}$, the transition monoid $\text{M}(\mathcal{A})$ possesses a unique ideal covering the minimal ideal of constant (reset) maps; a result of similar flavor holds for the class of radical automata.
A bijection between symmetric plane partitions and quasi transpose complementary plane partitions
We resolve the explicit bijection problem between symmetric plane partitions (SPPs) and quasi transpose complementary plane partitions (QTCPPs), introduced by Schreier-Aigner, who proved their equinumerosity. First, we relate this problem to Proctor's parallel equinumerosities for SPPs, even SPPs, staircase plane partitions, and parity staircase plane partitions, by constructing several bijections. As a result, we reduce the task to constructing a compatible bijection between even SPPs and staircase plane partitions. We then provide non-intersecting lattice path configurations for these objects, apply the LGV lemma, and transform the resulting path configurations. This process leads us to new combinatorial objects, $I_m$ and $J_m$, and the task is further reduced to constructing a compatible sijection (signed bijection) between $I_m$ and $J_m$, which is carried out in the final part of this paper. Our construction also answers the 35-year-old open problem posed by Proctor: constructing an explicit bijection between even SPPs and staircase plane partitions.
Facial nested complexes and acyclonestohedra
We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope.
We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron.
Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied.
The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.
Bicolored bosonic solvable lattice models
Recent papers in solvable lattice models emphasize models where states can be visualized as colored paths through the lattice. We define a bosonic model in which there are two types of colors, one whose paths move down and to the right, the other whose paths move down and to the left. Depending on their boundary data, systems may have no states, exactly one state, or many states. We prove that these cases depend on a criterion involving two permutations extracted from the boundary data and their Bruhat order. This classification also helps us to characterize the partition functions of our systems, a question at the heart of the study of solvable lattice models. Using the solvability of the model, we derive a four-term recurrence relation on the partition function. Together with the classification of systems by number of states which serves as a base case for the recursion, the recursion completely characterizes the partition function of systems. We also show a color merging property relating the bicolored bosonic models to colored and uncolored bosonic models, and correspondence with Gelfand-Tsetlin patterns.
Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
We study semigroup algebras associated to lattice polytopes.
We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent.
We use these descriptions to establish strong Lefschetz properties.
A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice polytopes.
Proof of a conjecture of Garvan and Jennings-Shaffer on the nonnegativity of M_{C1}(m,n) and M_{C5}(m,n)
Published
• View Publication
• BIB
In their 2016 paper on exotic Bailey--Slater SPT-functions, Garvan and Jennings-Shaffer introduced many new spt-crank-type functions and proposed a conjecture that the spt-crank-type functions $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both nonnegative for all $m\in\mathbb{Z}$ and $n\in\mathbb{N}.$ Applying Wright\textquoteright s circle method, Jang and Kim showed that $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both positive for a fixed integer $m$ and large enough integers $n.$ Up to now, no complete proof of this conjecture has been given. In this paper, we provide a complete proof for this conjecture by using the theory of lattice points. Our proof is quite different from that of Jang and Kim.