lattice
4305 papers tagged with this keyword
A Two-Variable Zeta Function for a Parity-Perturbed Hofstadter Q-Recursion: The Exceptional t = -1 Slice and Gaussian Boundary Layers
We study the parity-perturbed Hofstadter $Q$-recursion $$ \widetilde Q(1)=\widetilde Q(2)=1,\qquad \widetilde Q(n)=\widetilde Q(n-\widetilde Q(n-1)) +\widetilde Q(n-\widetilde Q(n-2))+(-1)^n, $$ and the associated two-variable Dirichlet series $$ Z_{\widetilde Q}(s,t)=\sum_{n\ge1}n^{-s}\widetilde Q(n)^{-t}. $$ The estimate $\widetilde Q(n)=n/2+O(n/\sqrt{\log n})$ gives the exact domain of absolute convergence $\operatorname{Re}(s+t)>1$. With $w=s+t$, we separate the universal term $2^tζ(w)$ and derive exact transport, frequency-position, and dyadic renormalization identities.
The main result concerns $t=-1$. For $E(n)=2\widetilde Q(n)-n$ and $A(X)=\sum_{n\le X}E(n)$, the binary-arch clock yields $$ A(X)=X\log_2X+XΩ\!\left(\log_2\frac{3X}{32}\right) +O\!\left(\frac{X}{\sqrt{\log X}}\right), $$ where $Ω$ is an explicit continuous periodic function. This continues the normalized correction to $\operatorname{Re}w>0$ and yields a boundary resonance lattice: a double resonance at $w=0$ and simple resonances at $2πi m/\log2$.
After subtracting the full-slice order-$X$ skeleton, we analyze the negative-even arch channel. Its companion-forest layers have a weak Gaussian limit, and a canonical subsequence realizes the optimal $n/\sqrt{\log n}$ pointwise scale with an explicit signed constant. The negative-arch mass satisfies $$ A_r=\frac{512}{9\sqrt{2π}}\frac{16^r}{\sqrt r} \left(1-\frac{13}{16r}+O(r^{-2})\right). $$ We do not claim a full-slice continuation across $\operatorname{Re}w=0$.
Canonical-row Chern flow on Bott--Samelson towers: realizable-volume models for Schubert, Grothendieck, and Lascoux polynomials
Over an arbitrary field, we construct realizable-volume models for the factorially normalized homogeneous Lascoux, Lascoux-atom, and positive Grothendieck packets. Their volume minors include normalized key polynomials, Demazure atoms, Schubert polynomials, and all sign-corrected homogeneous Grothendieck components. Over $\mathbb C$, these polynomials are Lorentzian. Consequently, the supports of ordinary Grothendieck, Lascoux, and Lascoux-atom polynomials are $(M^{\natural}$-convex and coincide with the lattice points of their integral generalized-polymatroid Newton polytopes. This proves, in the stronger realizable-volume form, the corresponding conjectures of Huh--Matherne--Mészáros--St.~Dizier, together with the relevant saturated-Newton-polytope and Grothendieck-support conjectures of Monical--Tokcan--Yong, Mészáros--St.~Dizier, and Mészáros--Setiabrata--St.~Dizier. The maximal-degree Grothendieck component yields the Castelnuovo--Mumford support conjecture as a special case.
The construction uses a relative Bott--Samelson tower associated with the inverse-Lehmer word. Row and co-row filtrations globalize the relevant quotient and upper roots, while a divergence identity in $K^0$ organizes the kernel-root factors into the top Chern class of a globally generated bundle. A universal-incidence construction then converts the resulting top-Chern pushforward into a realizable-volume polynomial. The same framework also produces weighted packets whose finite duals are realizable-volume polynomials. More generally, we prove over an arbitrary field that factorially normalized top-degree total-Chern polynomials of globally generated bundles are realizable-volume polynomials, and that the supports of the homogeneous realizations arising from our construction are integral base sets of algebraic polymatroids.
The Multiorbital Bivariate Chromatic Polynomial
We introduce the multiorbital bivariate chromatic polynomial $F_Γ(G;x,y)=\sum_{H\le G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y)$, which aggregates orbital bivariate chromatic polynomials over the subgroup lattice of a finite group acting on a graph. We derive an equivalent element-wise representation $F_Γ(G;x,y)=\sum_{g\in G}c_G(g)P_{Γ/g}(x,y)$ with $c_G(g)=\sum_{H\le G,\,g\in H}\frac{1}{|H|}$. The coefficient function depends only on the cyclic subgroup generated by the group element and is constant on conjugacy classes. This yields corresponding decompositions by cyclic subgroups and conjugacy classes, as well as a natural Möbius-theoretic interpretation. After normalization, the coefficients define a probability distribution on the acting group, giving a probabilistic interpretation of the multiorbital polynomial as an expected quotient polynomial. We further investigate its behaviour under disjoint unions and its specialization to edgeless graphs, where a weighted cycle-index expression is obtained.
Diagrammatic Okada monoid and cellularity of the Okada algebra
It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994.
In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order.
These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.
Points of maximal traffic on a grid with obstruction
For $n\in\mathbb{N}$, we consider the set of lattice paths from $(0,0)$ to $(n,n)$ using only unit north and east steps. Given a point $B$ to be avoided, we ask: at which point $A$ on the grid with corners $(0,0)$ and $(n,n)$, different from the endpoints, does the largest number of $B$-avoiding lattice paths pass through? We show that for $n\ge 9$, regardless of the location of $B$, the maximum is attained at one of ten specific points clustered near the two endpoints of the grid. This stability, however, conceals an interesting anomaly. When the obstruction $B$ lies on the antidiagonal $x+y=n$, the points of maximal traffic migrate from the near-corner points $(1,1)$ and $(n-1,n-1)$ to boundary points in the set of possible maximizers. The migration occurs for every $8\le n\le 375$, and intermittently up to $n=495$. We conjecture that the anomaly disappears for $n\ge 496$.
Varieties of chain complexes and mixed dimer covers
A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.
Maximal anti-Ramsey problems for posets
We study the forbidden poset analog of the maximal anti-Ramsey problem introduced for graphs by Burr, Erd\H os, Graham, and Sós. For integers $m\le 2^n$ and poset $P=(P,\preceq)$, we introduce $\mathrm{ar_m}(n,m,P)$ (and $\mathrm{ar^*_m}(n,m,P)$) to denote the minimum integer $k$ such that there exists a family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|=m$ and a coloring $\mathcal{F}\rightarrow [k]$ with all weak (strong) copies of $P$ being rainbow. As long as there exist $P$-free families of size $m$, these parameters equal 1. It is known that the largest size $La(n,P)$ ($La^*(n,P)$) of weak (strong) $P$-free families has order of magnitude $Θ(\binom{n}{\lfloor n/2\rfloor})$ unless $P$ is the antichain $A_k$ on $k$ elements. In this paper we study $\mathrm{ar_m}(n,m,P)$ and $\mathrm{ar^*_m}(n,m,P)$ in two regimes of $m$. We determine the asymptotics of these parameters for all posets $P$ when $m=2^n$. We also consider the case $m=Θ(\binom{n}{\lfloor n/2\rfloor})$. It is shown that for any connected poset $P$ and integer $k$, there exist integers $m_{P,k}$ and $m^*_{P,k}$ such that to color the middle $k$ layers of the Boolean lattice with all weak or strong copies of $P$ being rainbow, one needs $Θ(n^{m_{P,k}})$ or $Θ(n^{m^*_{P,k}})$ colors. For tree posets $T$, one has $m_{T,k}=m^*_{T,k}$. We conjecture that for any tree poset $T$, and positive real $\varepsilon$, $\mathrm{ar_m}(n,m,T),\mathrm{ar^*_m}(n,m,T)=Ω(n^{m_{T,k}})$ holds provided $m\ge (k-1+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$. We prove our conjecture on $\mathrm{ar_m}(n,m,T)$ for an infinite class of tree posets.
Orthogonal adjointness in posets with $0$
Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with $0$. A pair of operators $f$, $g$ on a poset with $0$ is called orthogonally adjoint if $f(x)$ is orthogonal to $y$ if and only if $x$ is orthogonal to $g(y)$. We characterize the existence and the uniqueness of $g$ for given $f$ and describe basic properties of orthogonal adjointness. We present constructions of orthogonally adjoint pairs in pseudocomplemented posets. If a given operator $f$ is an order-isomorphism of a pseudocomplemented poset satisfying some natural properties then the corresponding adjoint $g$ can be described explicitly. Moreover, if $f$ and $f^{-1}$ are bijective $\perp$-morphisms then they are orthogonally adjoint, too. Finally we show that a given pair of orthogonally adjoint mappings on a poset $\mathbf P$ may not be extendable to the Dedekind-McNeille completion of $\mathbf P$ and we present sufficient conditions for the existence of such an extension. We also provide sufficient conditions for the existence of an extension of orthogonally adjoint mappings to the lattice of ideals. Our results are illustrated by numerous examples.
Divisor lattices and Schur positivity in cyclic induction
We classify Schur positivity in two families of symmetric functions $f_n^T$ introduced by Sundaram. For $k\ge2$, $f_n^{\{1,k\}}$ fails to be Schur-positive exactly when $n=k$ and $k$ is an even integer greater than $2$. For $T_k=\{k^i:i\ge0\}$, $f_n^{T_k}$ fails to be Schur-positive exactly when $k$ is an even integer greater than $2$ and $n=k^a$ for some $a\ge1$. In every exceptional degree, the coefficient of $s_{(1^n)}$ is $-1$, and all other Schur coefficients are nonnegative. Together with Sundaram's product implication, these classifications settle her Conjectures~1--3.
We also recast Sundaram's plethystic identities in divisor-indexed coordinates and classify nonnegative Foulkes coordinates in each fixed degree and globally. If a composite $k$ divides $n$, both $f_n^{\{1,k\}}$ and $f_n^{T_k}$ have a negative Foulkes coordinate even when they are Schur-positive. Extending Hou's bounded-interval argument, we prove a uniform criterion for real divisor weights for $n\ge18$. If $1\in T$ and the Möbius weight $ψ^T$ satisfies the required bounds, $f_n^T$ is Schur-positive for every odd $n\ge18$. For even $n\ge18$, it fails exactly when $n\in T$ and $n/2\notin T$; then $s_{(1^n)}$ indexes the unique negative Schur coefficient, equal to $-1$. Finally, for $k=q^s$ with $q$ prime, $s\ge2$, $k\mid n$, and $n>k$, we derive major-index residue inequalities and classify all equality cases. For $n\ge18$, we also obtain a uniform quantitative estimate for partitions whose first row and first column each have length at most $n/2$.
Recovering Laplacian Lattices from $L$-Functions of Graphs
We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that Lorenzini's zeta function is invariant under contraction of bridges, explaining the necessity of the bridge-free hypothesis in the main theorem. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determine the Laplacian lattice.
Avoiding patterns with three distinct letters in Canon permutations
We study avoidance of patterns of length $3$ with three distinct letters in canon permutations. We reduce the problem to studying pattern avoidance in lattice words and show that there are $6$ such pattern avoiding classes. This shows that there are $12$ classes for the original Canon permutation pattern avoidance problem. We also give descent refinements for these classes and classify the patterns for which the descent enumeration gives palindromic and $γ$-positive polynomials. When the polynomials are $γ$-positive, we explain the $γ$-positivity through a group action analogous to Foata-Strehl valley hopping. Additionally, we study the avoidance of patterns in the relabelling orbit of $1213, 12112, 1231$ after a conjecture about their cardinalities by Laudone and give bijective proofs for the results.
Counting Boolean Antichains
We say that an antichain in a lattice $L$ is Boolean if it generates a Boolean sublattice in $L$ in a particularly nice way. These purely combinatorial objects play a role in the representation theory of the incidence algebra of the lattice $L$, as indicated by recent results of Rognerud, Yıldırım and of the last author with Klász, Kleinau and Marczinzik. Given these motivations, it is natural to ask: Can we count and construct Boolean antichains in certain lattices? In this paper we give a construction of Boolean antichains in Boolean lattices, partition lattices and Tamari lattices. Furthermore, we share the surprisingly elegant formulas we found for the number of these Boolean antichains.
Refutation of the Non-Cancelling-Intersections Conjecture
The Non-Cancelling Intersections (NCI) conjecture of Amarilli, Monet and Suciu [arXiv:2401.16210] states that the union of a finite family of sets can always be built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In Wilhelm [arXiv:2608.19414] the conjecture was shown to fail when the witnessing dot-algebra expression is required to be left-linear. Here we remove that restriction and show that the conjecture is false in general: there is a finite lattice admitting no dot-algebra representation of its top element whatsoever. The counterexample is a lattice $P_{p,\mathfrak{m}}$ as in Wilhelm [arXiv:2608.19414], and the argument differs in only two ways. First, we replace the sequential "toggle game" of Wilhelm [arXiv:2608.19414] by a corresponding tree-shaped object, the plane tree, which stands to dot-algebra trees as the toggle game stands to left-linear ones. Second, we use a marked plane in which there is no admissible set of any size between $2p$ and $4p$, which also removes the need for the Erdős--Beck theorem and for the arithmetic Nullstellensatz. Consequently $p$ need not be astronomically large: every prime $p \ge 10^{5}$ works.
When are tropical multidegrees positive?
We study the positivity of the tropical multidegrees of a tropical variety contained in a product of real vector spaces. These multidegrees are obtained by stably intersecting the tropical variety with pullbacks of positive tropical divisors. We introduce projection-purity and facet-selectability, two conditions under which positivity is determined by the dimensions of the natural projections, and the support of the tropical multidegrees is precisely the set of lattice points of a polymatroid base polytope. This extends He's theorem for translation-admissible tropical varieties. We also show that these conditions alone do not force the corresponding tropical volume polynomial to be Lorentzian. By contrast, for the augmented Bergman fan of any polymatroid, the positive multidegrees are supported precisely on the lattice points of the polymatroid base polytope, and the tropical volume polynomial is Lorentzian for every sequence of positive tropical divisors.
Forbidden stars in multidimensional $0$-$1$ matrices and visibility of lattice points
A $d$-dimensional $0$-$1$ matrix $M$ of size $n_1\times n_2\times \dots \times n_d$ can be considered as a Boolean function
$M: B(n_1\times n_2\times \dots \times n_d) \to \{ 0,1\}$, where $B$ is the $d$-dimensional box of lattice points $(x_1, \dots, , x_d)\in Z^d$ with $0\leq x_i \leq n_i-1$, $1\leq i\leq d$. The $0$-$1$ matrix $M$ can also be described as a subset $P:=P(M)$ of $B$ such that $x\in P$ if and only if $M(x)=1$. A $k$-star with center $p$ in $M$ corresponds to a $(k+1)$-element subset $\{ p, p_1, \dots , p_k\} \subset B$ such that $p$ and $p_i$ differ only in one coordinate (for all $1\leq i\leq k$) and these $k$ coordinates are distinct.
Here we consider the problem of determining the maximum number of $1$-entries of a $0$-$1$ matrix $M$ of dimension $d$ and size $n\times n \times \dots \times n$ that avoids all $k$-stars.
Our main results are the asymptotical solution of the problem for every $d$ and $k$ (as $n\to \infty$), very close bounds for $k=d$, and the exact solution of the $d=k=3$ case.
This problem has connections to several other areas of discrete mathematics, including $k$-partite hypergraphs, independent set problems, dominating set problems and covering codes. One of our tools (concerning maximal packings of induced copies of a given hypergraph) might have independent interest.
Common tiling functions with small support
For $N$ lattices in $\R^d$ with volume $1$ and pairwise trivial intersections, every nonzero common tiling function has support diameter $Ω(N^{1/d})$, while for lattice families whose fundamental domains have uniformly bounded diameters, the standard convolution construction gives an $O(N)$ upper bound, leaving a gap that has remained open since the work of Kolountzakis and Wolff \cite{kolwolff-1999Mathematika}. We close this gap by constructing, for every $d\geq 2$ and all sufficiently large $N$, lattice families satisfying the same volume and intersection conditions that admit a nonnegative common tiling function with support diameter $O(N^{1/d})$, thereby also answering Question 1 of Kolountzakis and Papageorgiou \cite{kolPapageorgiou-functions-2022jfaa}. We also obtain the optimal $O(\sqrt N)$ upper bound by constructing, for any prescribed family of plane lattices whose volumes lie in a fixed bounded set independent of $N$, a pairwise trivially intersecting family with the same respective volumes and with bases arbitrarily close to suitable bases of the prescribed lattices.
The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements
We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit vector space basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the rational cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement.
The number of sum-free subsets of lattice cubes
A subset of the $d$-dimensional lattice cube $[n]^d$ is sum-free if it contains no solution to the equation $x+y=z$. We study the total number of such subsets. For $d=1$, Cameron and Erdős conjectured that the number of sum-free subsets of $[n]$ is $O(2^{n/2})$, and this was proved independently by Green and Sapozhenko. A recent work by Ghosal solved the case $d = 2$. In this paper, we consider all remaining dimensions and prove that for every fixed integer $d \geqslant 3$, the number of sum-free subsets of $[n]^d$ is $2^{M([n]^d) + O_d(n^{d-1})}$, where $M([n]^d)$ is the maximum possible size of a sum-free subset of $[n]^d$. This verifies a conjecture of Elsholtz and Rackham. Our proof combines the dual weights constructed by Keevash and Lim in their work for $M([n]^d)$, a one-dimensional counting estimate due to Ghosal, a bipartite swapping lemma of Zhao, and a strong fractional entropy inequality of Madiman and Tetali, and it avoids the use of the container lemma or deriving a stability theorem first.
On the directions occurring in lattice-line coverings of the integer plane
We consider families of lines that cover every point of the integer lattice $\mathbf{Z}^2$ in the plane, subject to
the constraint that no two lines of different direction in the family meet at a lattice point.
Restricting to \emph{lattice lines} (lines containing at least two, hence infinitely many,
lattice points, equivalently of rational direction), we show that the set of directions
occurring in such a covering can be made dense in the space of line directions. The construction
is a recursive splitting of $\mathbf{Z}^2$ into nested rank-2 sublattice cosets, each handed off to a
freshly chosen direction; the key technical point is a steering lemma showing that at every
stage of the recursion a new direction arbitrarily close to any prescribed target can still be
realized, via an elementary sieve bound.
Young-lattice diagonals and a doubly graded multiple-zeta decomposition of $e^γ$
An equivalent formulation of the Riemann hypothesis recently led to a partition expansion naturally indexed by diagonals of the Young lattice. Segovia isolated the hook families $(r,1^m)$ on these diagonals and computed their limiting contributions $ρ_r$, while observing that non-hook families provide a missing contribution.
We introduce a bivariate finite generating function that packages all Young shapes on every fixed-excess diagonal at once. For each fixed $r\geq1$, we obtain a diagonal generating polynomial $D_r(n;z)$ and prove \[
A_r(n)\sim C_r\,n\log\log n, \] where $C_r$ is the $(r-1)$st coefficient of an explicit convergent infinite product. Moreover, \[
C_r=\sum_{ν\vdash r-1} C_ν, \] giving a canonical decomposition over the partitions of the excess $r-1$. The one-part contribution is Segovia's hook constant $ρ_r$, while the remaining terms give all non-hook corrections simultaneously.
We then refine these constants by introducing coefficients $C_{r,d}$ that record simultaneously the Young-lattice excess $r-1$ and the number $d$ of non-unit rows. Row sums recover the fixed-excess constants $C_r$, while column sums recover the depth decomposition in an Abel-regularized multiple-zeta expansion of $e^γ$. More precisely, each partition $ν\vdash r-1$ is identified with an Abel-regularized multiple-zeta block of depth $\ell(ν)$. Thus the same array $(C_{r,d})$ organizes the decomposition simultaneously by Young-lattice excess and multiple-zeta depth. Our results concern the combinatorial and asymptotic structure of this decomposition, rather than the Riemann hypothesis itself.