lattice
4305 papers tagged with this keyword
A note on the submonoids of the tied-symmetric monoid containing the symmetric group
We show that the submonoids of the tied-symmetric monoid containing the symmetric group form a distributive lattice. Furthermore, we determine a minimal generating set for any such submonoid.
Magic Positivity for the Ehrhart Polynomials of Partial Permutohedra
For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.
The ring wants to be broken
The Ramsey community number $r_κ$ is the minimum network size at which a graph's connectivity is better described by a partition into communities than by no partition, under a prescribed community-detection rule. It was introduced through numerical simulations of networks grown by local rules, which suggested that community structure can emerge without any node heterogeneity. Here I compute $r_κ$ analytically for the simplest homogeneous, locally wired graph: the circulant ring lattice $C_n(1,\dots,c)$. Using a Bernoulli stochastic block model with symmetric $\mathrm{Beta}$ priors as the detection rule, the Bayesian evidence for a balanced two-community partition and for the unpartitioned network are both obtained in closed form, so the transition between them can be located exactly. The result is a sharp dependence on the interaction range: the plain cycle ($c=1$) is never partitioned, its two-community posterior decaying as $n^{-(2α+3)}$, so $r_κ=\infty$; but the next-nearest-neighbour ring ($c=2$) acquires a finite $r_κ\simeq 35$ nodes, above which the partition is preferred with a log-evidence growing as $(\ln 2)\,n$. This provides an exactly solvable instance of community emergence in a network with no built-in communities, and shows that a minimal amount of local connectivity is enough to break the ring.
A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations
We construct two arrangements of nine lines in the complex projective plane with isomorphic intersection lattices but with different minimal degrees of Jacobian relations. The common weak combinatorics is \[ (n_2,n_3,n_4)=(9,7,1), \] so the example is not the classical Ziegler-Yuzvinsky pair, whose weak combinatorics is $(n_{2},n_{3}) = (18,6)$. For the two defining equations $f$ and $g$ we prove \[ {\rm mdr}(f)=4,\qquad {\rm mdr}(g)=5. \] Since the degree is $d=9$, the first equality gives ${\rm mdr}(f)<d/2$. Hence the pair gives a counterexample to the Generalized Terao Conjecture.
Sharp Lower Bounds for Sumsets in Hypercubes
We prove a sharp lower bound for the cardinality of sumsets of subsets of $\mathbb{Z}^d$ confined to a hypercube, resolving in strong form a conjecture that was made explicit by Becker, Ivanisvili, Krachun and Madrid and had circulated in the folklore of the field for some time. Specifically, for sets $A_j\subseteq \{0,1,2,\dots,m\}^d$ we show that
\[|A_1+\dots+A_n|\;\geq\; (|A_1|\cdots|A_n|)^{1/p},\qquad p=\frac{n\log(m+1)}{\log(nm+1)},\] with the exponent best possible. The only previously known sharp cases were $A_j\subseteq \{0,1\}^d$, for all $n\ge1$, and $A_j\subseteq \{0,1,2\}^d$ for $n=2$. We also prove a sharp inequality in the case when $A_j\subseteq\{0,1,\dots,m_j\}^d$ for different $m_j$. We obtain the above inequality as a corollary of a stronger result on sup-convolution of functions on $\mathbb{Z}^d$, whose proof is based on a novel mixed volume representation of a lattice path norm, together with a sharp one-dimensional functional inequality.
Multiplicity for partially ordered sets
Let $\mathcal Q=\{Q_a:a\geq1\}$ be a nested family of finite posets such that $Q_a\subseteq Q_{a+1}$ and $|Q_a|<|Q_{a+1}|$. For a poset $Q$, let $\mathcal C_t(Q)$ denote the set of all strict $t$-chains in $Q$. Given an $r$-coloring of $\mathcal C_t(Q_a)$ and posets $P_1,\ldots,P_r$, a weak copy of $P_i$ is called monochromatic of color $i$ if all $t$-chains in the copy have color $i$; the strong version is defined in the same way for induced copies. The corresponding weak and strong multiplicity parameters are the minimum possible total number of such monochromatic copies in the host poset.For the Boolean lattice $B_n$, define $E_n={(S,T,U)\in B_n^3:S\subsetneq T\subsetneq U,\ |S|+|T|=|U|}.$ For a two-coloring $χ:B_n\to{0,1}$, a triple $(S,T,U)\in E_n$ is monochromatic if $χ(S)=χ(T)=χ(U)$. Let $R^{\mathrm{arith}}_2$ be the least integer $n$ such that every two-coloring of $B_n$ contains a monochromatic triple in $E_n$, and let $M^{\mathrm{arith}}_2(B_n)$ be the minimum number of monochromatic triples in $E_n$ over all two-colorings of $B_n$. We prove that $R^{\mathrm{arith}}_2=9.$ Moreover, $|E_n|=\binom{2n}{n}-[x^n](1+x+x^2)^n-2^n+1=\frac{4^n}{\sqrt{πn}}\bigl(1+o(1)\bigr),$ and $2^{δn+o(n)}\le M^{\mathrm{arith}}_2(B_n)\le 2^{γn+o(n)}, $ where $δ\approx 1.356779$ and $γ\approx 1.567837$ are explicit entropy constants. For general nested host families, we prove a double-counting lower bound for strong poset multiplicity. For an arbitrary finite host poset $R$, we also introduce a Fourier-Möbius method and give an exact Fourier expansion for strong multiplicity, a Parseval-type error bound, and a spectral lower bound.
On the number of extension closed additive subcategories for uniformly oriented $A_n$ quivers
We provide a recurrence for computing the terms of the OEIS sequence A393920, introduced in \cite{KS}. We also describe a surprising connection between A393920 and the Fibonacci sequence A000045, obtain non-trivial lower and upper exponential bounds for its growth, and investigate connections with partial orders, Catalan numbers, and convex topologies on finite chains. For the representation-theoretic lattice underlying A393920, we describe its atoms, coatoms, join-irreducible and meet-irreducible elements.
Decomposition of Greedy Tamari Intervals and Bipartite Planar Maps
The greedy Tamari poset, inspired by the well-studied Tamari lattice, was recently defined by Dermenjian in the more general setting of greedy $ν$-Tamari posets. Bousquet-Mélou and Chapoton counted intervals of the greedy $m$-Tamari poset in 2024 by solving a functional equation, and found that they are equi-enumerous to planar $(m+1)$-constellations. In this work, we give a combinatorial proof of this fact for the case $m = 1$, which also gives the refined enumeration conjectured by Bousquet-Mélou and Chapoton. This is done by establishing a recursive decomposition of greedy Tamari intervals isomorphic to that of bipartite planar maps. We also propose a more general and refined conjecture for the case of general $m$.
On the Spectrum of the Line Graph of a Family of Bipartite Graphs Arising from the Boolean Lattice
The Boolean lattice $BL_n$, $n\geq 3$, is the graph whose vertex set is the collection of all subsets of $[n]=\{1,2,\ldots,n\}$, where two subsets $U$ and $W$ are adjacent if and only if their symmetric difference has precisely one element. In the graph $BL_n$, the \emph{layer} $L_k$ is the family of all $k$-element subsets of $[n]$. The subgraph $BL_n(k-1,k)$ is the induced subgraph of $BL_n$ on layers $L_{k-1}$ and $L_{k}$. This graph is bipartite and, when $n=2k-1$, is $k$-regular and isomorphic to the bipartite double cover $2{\cdot}O_k$ of the odd graph $O_k$. In this paper, we determine the full adjacency spectrum -- eigenvalues together with their multiplicities -- of the line graph $L(BL_n(k-1,k))$ for all admissible values of $n$ and $k$. As a consequence, we show that $L(BL_n(k-1,k))$ is an integral graph whenever $n = 2k-1$, and we recover as a special case the spectrum of the line graph $L(n)$ of $BL_n(1,2)$ established by Mirafzal~\cite{pap-sm-1}.
Small lattice polytopes have few vertices
This is a geometric retelling of Konyagin and Sevast'yanov's proof of Andrew's theorem, which is a tight upper bound on the number of vertices of a d-dimensional lattice polytope in terms of its volume.
Chain Covers in the Boolean Lattice
For integers $1\le r\le n+1$, let $N(n,r)$ denote the least number of chains in the Boolean lattice $B_n=2^{[n]}$ that cover every strict $r$-term chain. The case $r=1$ is the classical chain-decomposition problem and is generalizing Dilworth's theorem and Sperner's theorem. We study two complementary regimes. First, when $r>1$ is fixed and $n\to\infty$. Let $$M(n,r):= \max_{\substack{
a_0+\cdots+a_r=n
a_0,a_r\ge 0,\ a_i\ge 1\ (1\le i\le r-1)
}}
\binom{n}{a_0,\ldots,a_r}.$$ We prove that lower and upper bounds which differ only by a logarithmic factor:
$$ M(n,r)\le N(n,r)\le \left(\frac r2+o(1)\right)\log n\cdot
M(n,r).$$
Second, we consider the near-maximal regime $N(n,n-t)$, where $t>0$ is fixed. We prove a general upper bound $ N(n,n-t)\le \frac{n!}{t}$ using the inversion number of the permutations modulo $t$. This is exact for $t=2$, giving $N(n,n-2)=n!/2$, and asymptotically exact for $t=3$, giving $N(n,n-3)=\left(\frac13+o(1)\right)n!.$ The matching lower bound for $t=3$, and stronger lower bounds for all fixed $t$, come from subcube-hitting problems originated from Kostochka and vertex-Turán problems.
The Graph Algebra I: Representation-Theoretic Structure
The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph.
The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules.
It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.
A solution to Ditor's problem
We settle the long-standing open question whether there exists a $3$-ladder of cardinality $\aleph_2$. Given a positive integer $n$, an $n$-ladder is a lower finite lattice whose elements have at most $n$ lower covers. In 1984, Ditor proved that every $n$-ladder has cardinality at most $\aleph_{n-1}$, and that this cardinal bound is sharp for $n = 1,2$. He then raised the question of whether the bound is attained for $n\ge 3$ as well. An affirmative answer is known to be consistent with $\mathsf{ZFC}$. We prove, relative to the consistency of a Mahlo cardinal, that the question is independent of $\mathsf{ZFC}$. More precisely, we show that the nonexistence of a $3$-ladder of cardinality $\aleph_2$ is equiconsistent with a Mahlo cardinal.
Unimodular matrices and lattice paths enumeration via Pascal's triangle
Published in Communications in Combinatorics and Optimization, 2026
• View Publication
• BIB
This article investigates a remarkable combinatorial identity involving a distinguished family of matrices whose entries are defined via binomial coefficients. Specifically, we consider a class of \( n \times n \) matrices parameterized by a positive integer \( m \), where each entry reflects a structured pattern derived from Pascal's triangle, particularly the diagonals corresponding to figurate numbers such as triangular, tetrahedral, and higher-dimensional simplex numbers. We establish, by means of a bijective argument, that the determinant of any such matrix is identically equal to \( 1 \), independent of the specific values of \( m \) and \( n \), provided that \( 2 \leq m \leq n \). This result unveils a profound connection between classical binomial identities and the enumeration of lattice paths in grid graphs.
Coordinate projections of $c$-vectors of cluster algebras from the annulus
For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real
Schur roots of the associated root system. We study the two-coordinate
projections $(c_v, c_w)$ of this configuration: when the difference
$c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask
when the projection fills that band. A band-existence dichotomy, valid in
every acyclic type, shows the difference is bounded if and only if the null
root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the
annulus), in the source-sink orientation, we resolve the filling question
completely: every coordinate projection fills its band except along the
source-sink diagonal, which carries only the finite regular part. The
obstruction is the Auslander--Reiten defect, which a projection sees on its
diagonal exactly when the defect is a coordinate difference; the only such
pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on
the chosen seed. More generally, every banded pair of null-root coefficient
one fills, except these diagonals. Off the diagonal a banded pair in
$\widetilde{E}_7$ fails to fill, so non-filling is not confined to type
$\widetilde{A}_n$; a computation classifies the pairs of coefficient at least
two over a range of affine types, where this $\widetilde{E}_7$ pair is the
only further failure, and the general classification remains open.
On the homology groups of clique complexes of strongly regular graphs
In this paper, we study the first homology groups of clique complexes of strongly regular graphs over arbitrary fields and prove that most of these graphs have trivial first clique homology groups. Using Neumaier's classification of strongly regular graphs with smallest integral eigenvalue, we show that a non-vanishing first homology group may occur only in a short collection of cases: the Petersen graph, the Shrikhande graph, the complete bipartite graphs, the conference graphs on at most $255$ vertices, the lattice graphs, and the exceptional families $E_m$ in Neumaier's classification of strongly regular graphs with smallest adjacency eigenvalue $-m$, for some integer $m \geq 3$. Let $\text{Cl}(G)$ denote the clique complex of a graph $G$, $H_i(\text{Cl}(G),\mathbb{F})$ be the $i$-th homology group of $\text{Cl}(G)$ over the field $\mathbb{F}$, for some $i\geq 1$, and $λ_{min}(G)$ denote the smallest eigenvalue of the adjacency matrix of $G$. We prove that if $(G_n)_{n\geq 1}$ is an infinite family of pairwise distinct strongly regular graphs and $(\mathbb{F}_n)_{n\geq 1}$ is a sequence of fields such that $H_1(\text{Cl}(G_n), \mathbb{F}_n)\not=0$ for every $n$, then either $G_n$ is a lattice graph for infinitely many $n$, or $\lim_{n\rightarrow +\infty} λ_{\min}(G_n)=-\infty$.
For Latin square graphs, we determine the clique homologies over arbitrary fields and show that if $G$ is the strongly regular graph associated with a Latin square $M$ of order $n \geq 5$ and $\mathbb{F}$ is any field, then $H_i(\text{Cl}(G),\mathbb{F})=0$ for $i=1$ or $i \geq 3$, and $\dim H_2(\text{Cl}(G),\mathbb{F})=(n-1)^3-I(M),$ where $I(M)$ is the number of $2 \times 2$ Latin subsquares or intercalates in $M$.
Transfer systems give matroids only for cyclic $p$-groups
Transfer systems as studied in equivariant algebra admit minimal generating sets, analogous to bases in linear algebra. It is natural to wonder if minimal generating sets form a matroid. We show that this happens only for lattices which are linear orders, or for cyclic groups of prime power order. In this case, we compute some invariants of the resulting matroid.
Toward a classification of tropical complete intersection number one
By bridging two classification results -- the Esterov--Gusev classification of tuples of lattice polytopes of mixed volume one, and Fink's characterization of Bergman fans -- we formulate a classification conjecture describing when the stable intersection of a tropical fan F with the tropicalization Trop(X) of a subvariety of T^n is a reduced point. Our main results establish this conjecture in three fundamental cases -- unmixed sequences, hypersurface complete-intersection cycles, and tropical 2-cycles -- and develop several tools intended for the general case.
Typical geometry of self-repelling polymers in a constant force field
We study a general class of self-repelling polymers on $\mathbb Z^2$, including the simple random walk, the self-avoiding walk and the repulsive Domb-Joyce model, in the presence of a constant force field acting on each monomer. Conditioning the polymer to have fixed length and fixed endpoints, we identify the limiting free energy and prove that typical trajectories concentrate exponentially near a deterministic macroscopic shape. This shape is characterized as the unique minimizer of a variational problem and can be interpreted as a geodesic of a height-dependent Finsler metric. We also analyze two limiting regimes with universal features: for small field strength, in the symmetric case, the geodesic is close to a classical catenary, while for large field strength it converges to a universal polygonal shape governed by the nearest-neighbor lattice constraint.
Extremal Spanning Trees in Product Grid Graphs
We study how fixed-volume spanning-tree extremality changes when product-grid boundary factors are free, periodic, or mixed. In two dimensions, extremality depends sharply on the boundary type. The free/free and periodic/periodic products both obey a closest-to-square principle: among fixed-area rectangles, $P_r\square P_s$ and $C_r\square C_s$ are maximized by the closest-to-square admissible side lengths. The mixed free/periodic cylinder $P_r\square C_s$ is different: closest-to-square fails, and in the divisor-rich case the optimizing cyclic circumference has scale $N^{1/3}$ when the area is $N=rs$. In arbitrary dimension we prove pairwise balancing theorems for pure free products and pure periodic products, and then strengthen them by a heat-trace Schur-concavity theorem in logarithmic side lengths. At perfect-power volume this gives the unique maximizers $P_n^{\square d}$ and, for $n\ge3$, $C_n^{\square d}$. These product-grid comparisons motivate perfect-power conjectures for connected induced lattice subgraphs and periodic analogues.