lattice ↗ reference
4394 papers tagged with this keyword
The Orbit-Sum Method for Higher Order Equations
Published
• View Publication
• BIB
The orbit-sum method is an algebraic version of the reflection-principle that was introduced by Bousquet-Mélou and Mishna to solve functional equations that arise in the enumeration of lattice walks with small steps restricted to $\mathbb{N}^2$. It proceeds by computing a set of algebraic substitutions that can be applied to a given functional equation, forming a linear combination of its transformed versions to the end of eliminating some of the unknowns, and eliminating further unknowns by discarding terms with negative powers. The extension of the orbit-sum method to walks with large steps was started by Bostan, Bousquet-Mélou and Melczer. They presented an algorithm that computes the minimal polynomials of the algebraic substitutions. We continue their work by explaining, among other things, how to perform computations in their splitting field on the level of ``formal'' algebraic extensions and how its elements can be interpreted as series. We thereby make use of the primitive element theorem, Gröbner bases and the shape lemma, and the Newton-Puiseux algorithm.
Computation of partition functions of free fermionic solvable lattice models via permutation graphs
In this paper, we introduce a novel and general method for computing partition functions of solvable lattice models with free fermionic Boltzmann weights. The method is based on the ``permutation graph'' and the ``$F$-matrix'': the permutation graph is a generalization of the $R$-matrix, and the $F$-matrix is constructed based on the permutation graph. The method allows generalizations to lattice models that are related to Cartan types B and C. Two applications are presented: they involve an ice model related to Tokuyama's formula and another ice model representing a Whittaker function on the metaplectic double cover of $\mathrm{Sp}(2r,F)$ with $F$ being a non-archimedean local field.
Theta series of ternary quadratic lattice cosets
Published
• View Publication
• BIB
In this paper, we consider the decomposition of theta series for lattice cosets of ternary lattices. We show that the natural decomposition into an Eisenstein series, a unary theta function, and a cuspidal form which is orthogonal to unary theta functions correspond to the theta series for the genus, the deficiency of the theta series for the spinor genus from that of the genus, and the deficiency of the theta series for the class from that of the spinor genus, respectively. These three pieces are hence invariants of the genus, spinor genus, and class, respectively, extending known results for lattices and verifying a conjecture of the first author and Haensch. We furthermore extend the definition of $p$-neighbors to include lattice cosets and construct an algorithm to compute respresentatives for the classes in the genus or spinor genus via the $p$-neighborhoods.
Lattices, Garside structures and weakly modular graphs
Published
• View Publication
• BIB
In this article we study combinatorial non-positive curvature aspects of various simplicial complexes with natural $\widetilde A_n$ shaped simplicies, including Euclidean buildings of type $\widetilde A_n$ and Cayley graphs of Garside groups and their quotients by the Garside elements. All these examples fit into the more general setting of lattices with order-increasing $\mathbb Z$-actions and the associated lattice quotients proposed in a previous work by the first named author. We show that both the lattice quotients and the lattices themselves give rise to weakly modular graphs, which is a form of combinatorial non-positive curvature. We also show that several other complexes fit into this setting of lattices/lattice quotients, hence our result applies, including Artin complexes of Artin-Tits groups of type $\widetilde A_n$, a class of arc complexes and weak Garside groups arising from a categorical Garside structure in the sense of Bessis. Along the way, we also clarify the relationship between categorical Garside structure, lattices with $\mathbb Z$ action and different classes of complexes studied this article. We use this point of view to describe the first examples of Garside groups with exotic properties, like non-linearity or rigidity results.
Poset Ramsey number $R(P,Q_n)$. II. N-shaped poset
Published
• View Publication
• BIB
Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements.
We focus on the poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. It is known that $n+c_1(P) \leq R(P,Q_n) \leq c_2(P) n$, for positive constants $c_1$ and $c_2$. However, there is no poset $P$ known, for which $R(P, Q_n)> (1+ε)n$, for $ε>0$. This paper is devoted to a new method for finding upper bounds on $R(P, Q_n)$ using a duality between copies of $Q_n$ and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that $R(\mathcal{N},Q_n)=n+Θ(n/\log n)$, for a poset $\mathcal{N}$ with four elements $A, B, C, $ and $D$, such that $A<C$, $B<D$, $B<C$, and the remaining pairs of elements are incomparable.
Hive-type polytopes for quiver multiplicities and the membership problem for quiver moment cones
Published
• View Publication
• BIB
Let $Q$ be a bipartite quiver with vertex set $Q_0$ such that the number of arrows between any source vertex and any sink vertex is constant. Let $β=(β(x))_{x \in Q_0}$ be a dimension vector of $Q$ with positive integer coordinates.
Let $rep(Q, β)$ be the representation space of $β$-dimensional representations of $Q$ and $GL(β)$ the base change group acting on $rep(Q, β)$ be simultaneous conjugation. Let $K^β_{\underlineλ}$ be the multiplicity of the irreducible representation of $GL(β)$ of highest weight $\underlineλ$ in the ring of polynomial functions on $rep(Q, β)$.
We show that $K^β_{\underlineλ}$ can be expressed as the number of lattice points of a polytope obtained by gluing together two Knutson-Tao hive polytopes. Furthermore, this polytopal description together with Derksen-Weyman's Saturation Theorem for quiver semi-invariants allows us to use Tardos' algorithm to solve the membership problem for the moment cone associated to $(Q,β)$ in strongly polynomial time.
Split graphs and Block Representations
Published
• View Publication
• BIB
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[α(π)|β(π)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.
Universal minima of discrete potentials for sharp spherical codes
Published
• View Publication
• BIB
This article is devoted to the study of discrete potentials on the sphere in $\mathbb{R}^n$ for sharp codes. We show that the potentials of most of the known sharp codes attain the universal lower bounds for polarization for spherical $τ$-designs previously derived by the authors, where ``universal'' is meant in the sense of applying to a large class of potentials that includes absolutely monotone functions of inner products. We also extend our universal bounds to $T$-designs and the associated polynomial subspaces determined by the vanishing moments of spherical configurations and thus obtain the minima for the icosahedron, dodecahedron, and sharp codes coming from $E_8$ and the Leech lattice. For this purpose, we investigate quadrature formulas for certain subspaces of Gegenbauer polynomials $P^{(n)}_j$ which we call PULB subspaces, particularly those having basis $\{P_j^{(n)}\}_{j=0}^{2k+2}\setminus \{P_{2k}^{(n)}\}.$ Furthermore, for potentials with $h^{(τ+1)}<0$ we prove that the strong sharp codes and the antipodal sharp codes attain the universal bounds and their minima occur at points of the codes. The same phenomenon is established for the $600$-cell when the potential $h$ satisfies $h^{(i)}\geq 0$, $i=1,\dots,15$, and $h^{(16)}\leq 0.$
A bijection between rooted planar maps and generalized fighting fish
Published
• View Publication
• BIB
The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.
Lattices of flats for symplectic matroids
We are interested in expanding our understanding of symplectic matroids by exploring the properties of a class of symplectic matroids with a "lattice of flats". Taking a well-behaved family of subdivisions of the cross polytope we obtain a construction of lattices, resembling a known definition for the geometric lattice corresponding to ordinary matroid. We construct a correspondence to a set of enveloped symplectic matroids, we denote ranked symplectic matroids. As a by-product of our construction, we also obtain a new way of finding symplectic matroids from ordinary ones and an embedding Theorem into geometric lattices.
The second part of this paper is dedicated to the properties of ranked symplectic matroids and their enveloping ordinary matroids. We focus on establishing a geometric approach to the study of ranked symplectic matroids, demonstrating the ability to take minors, and proving shellability. We finish with a characterization of ranked symplectic matroids using recursive atom orderings.
Special Functions for Hyperoctahedral Groups Using Bosonic, Trigonometric Six-Vertex Models
Published
• View Publication
• BIB
Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
The Euler characteristic, $q$-matroids, and a Möbius function
Published
• View Publication
• BIB
We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.
Inequalities for $f^*$-vectors of Lattice Polytopes
Published in Advances in Geometry 24 (2024), no. 2, 141-150
• View Publication
• BIB
The Ehrhart polynomial $\text{ehr}_P(n)$ of a lattice polytope $P$ counts the number of integer points in the $n$-th integral dilate of $P$. The $f^*$-vector of $P$, introduced by Felix Breuer in 2012, is the vector of coefficients of $\text{ehr}_P(n)$ with respect to the binomial coefficient basis $ \left\{\binom{n-1}{0},\binom{n-1}{1},...,\binom{n-1}{d}\right\}$, where $d = \dim P$. Similarly to $h/h^*$-vectors, the $f^*$-vector of $P$ coincides with the $f$-vector of its unimodular triangulations (if they exist). We present several inequalities that hold among the coefficients of $f^*$-vectors of polytopes. These inequalities resemble striking similarities with existing inequalities for the coefficients of $f$-vectors of simplicial polytopes; e.g., the first half of the $f^*$-coefficients increases and the last quarter decreases. Even though $f^*$-vectors of polytopes are not always unimodal, there are several families of polytopes that carry the unimodality property. We also show that for any polytope with a given Ehrhart $h^*$-vector, there is a polytope with the same $h^*$-vector whose $f^*$-vector is unimodal.
Beyond positivity in Ehrhart Theory
We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory.
Lattices in $\mathbb F_q[[T]]^d$ and spiral shifting operators
Published in Advanced in Applied Mathematics, Volume 171, December 2025, 102950
• View Publication
• BIB
We investigate the algebra and combinatorics of an analogue of the Hermite normal form that classifies finite-index submodules of $\mathbb F_q[[T]]^d$. We identity both normal forms as instances of Gröbner basis theory under different monomial orders, where the Hermite normal form corresponds to the lex order, and the new normal form the hlex order. We note that the hlex normal form recovers the Smith normal form, a feature not enjoyed by the Hermite normal form. We also identify the combinatorial structure underlying the cell decomposition induced by the hlex normal form, which appears to be of independent interest. Notably, the statistics tracking the cell dimensions is compatible, in a certain way, with a collection of $d$ ``spiral shifting operators'' on $\mathbb N^d$, which pairwise commute and collectively act freely and transitively. Using these operators, we give direct proofs of some new combinatorial identities obtained by translating the results of Solomon and Petrogradsky in terms of the hlex normal form.
Diagonal Tau-Functions of 2D Toda Lattice Hierarchy, Connected $(n,m)$-Point Functions, and Double Hurwitz Numbers
Published in SIGMA 19 (2023), 085, 33 pages
• View Publication
• BIB
We derive an explicit formula for the connected $(n,m)$-point functions associated to an arbitrary diagonal tau-function $τ_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$ of the 2d Toda lattice hierarchy using fermionic computations and the boson-fermion correspondence. Then for fixed $\boldsymbol{t}^-$, we compute the KP-affine coordinates of $τ_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$. As applications, we present a unified approach to compute various types of connected double Hurwitz numbers, including the ordinary double Hurwitz numbers, the double Hurwitz numbers with completed $r$-cycles, and the mixed double Hurwitz numbers. We also apply this method to the computation of the stationary Gromov-Witten invariants of $\mathbb P^1$ relative to two points.
Combinatorial Mori-Zwanzig Theory
We introduce a combinatorial version Mori-Zwanzig theory and develop from it a family of self-consistent evolution equations for the correlation function or Green's function of interactive many-body systems. The core idea is to use an ansatz to rewrite the memory kernel (self-energy) of the regular Mori-Zwanzig equation as a function composition of the correlation (Green's) function. Then a series of algebraic combinatorial tools, especially the commutative and noncommutative Bell polynomials, are used to determine the exact Taylor series expansion of the composition function. The resulting combinatorial Mori-Zwanzig equation (CMZE) yields novel non-perturbative expansions of the equation of motion for the correlation (Green's) function. The structural equation for deriving such a combinatorial expansion resembles the combinatorial Dyson-Schwinger equation and may be viewed as its temporal-domain analogue. After introducing the abstract word and tree representation of the CMZE, we show its wide-range application in classical, stochastic, and quantum many-body systems. In all these examples, the new self-consistent expansions we obtained with the CMZE are similar to the diagrammatic skeleton expansions used in quantum many-body theory and lattice statistical field theory. We expect such a new framework can be used to calculate the correlation (Green's) function for strongly correlated/interactive many-body systems.
Characterization of coincidence site lattices of oblique planar lattices
Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonné theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of rectangular lattices is worked out in detail. We use the rectangular lattices for obtain the characterization of the corresponding obliques.
Component graphs of vector spaces and zero-divisor graphs of ordered sets
Published
• View Publication
• BIB
In this paper, nonzero component graphs and nonzero component union graphs of finite dimensional vector space are studied using the zero-divisor graph of specially constructed 0-1-distributive lattice and the zero-divisor graph of rings. Further, we define an equivalence relation on nonzero component graphs and nonzero component union graphs to deduce that these graphs are the graph join of zero-divisor graphs of Boolean algebras and complete graphs. In the last section, we characterize the perfect and chordal nonzero component graphs and nonzero component union graphs.