lattice ↗ reference
4394 papers tagged with this keyword
On the full Kostant-Toda lattice and the flag varieties. I. The singular solutions
The full Kostant-Toda (f-KT) lattice is a natural generalization of the classical tridiagonal Toda lattice. We study singular structure of solutions of the f-KT lattices defined on simple Lie algebras in two different ways: through the $τ$-functions and through the Kowalevski-Painlevé analysis. The $τ$-function formalism relies on and is equivalent to the representation theory of the underlying Lie algebras, while the Kowalevski-Painlevé analysis is representation independent and we are able to characterize all the terms in the Laurent series solutions of the f-KT lattices via the structure theory of the Lie algebras. Through the above analysis we compactify the initial condition spaces of f-KT lattice by the corresponding flag varieties, that is fixing the spectral parameters which are invariant under the f-KT flows, we build a one to one correspondence between solutions of the f-KT lattices and points in the corresponding flag varieties. As all the important characters we obtain in the Kowalevski-Painlevé analysis are integral valued, results in this paper are valid in any field containing the rational field.
Combinatorial generation via permutation languages. V. Acyclic orientations
Published
• View Publication
• BIB
In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe Gray codes for acyclic orientations of hypergraphs that satisfy a simple ordering condition, which generalizes the notion of perfect elimination order of graphs. This unifies the Savage-Squire-West construction with a recent algorithm for generating elimination trees of chordal graphs. Secondly, we consider quotients of lattices of acyclic orientations of chordal graphs, and we provide a Gray code for them, addressing a question raised by Pilaud. This also generalizes a recent algorithm for generating lattice congruences of the weak order on the symmetric group. Our algorithms are derived from the Hartung-Hoang-Mütze-Williams combinatorial generation framework, and they yield simple algorithms for computing Hamilton paths and cycles on large classes of polytopes, including chordal nestohedra and quotientopes. In particular, we derive an efficient implementation of the Savage-Squire-West construction. Along the way, we give an overview of old and recent results about the polyhedral and order-theoretic aspects of acyclic orientations of graphs and hypergraphs.
A symmetric chain decomposition of $L(5,n)$
Published
• View Publication
• BIB
We give a constructive proof that Young's lattice $L(5, n)$ has a partition into saturated symmetric chains.
Sandpile solitons in higher dimensions
Published in Arnold Mathematical Journal, 9 (2023), no. 3, 435--454
• View Publication
• BIB
Let $p\in\mathbb Z^n$ be a primitive vector and $Ψ:\mathbb Z^n\to \mathbb Z, z\to \min(p\cdot z, 0)$. The theory of {\it husking} allows us to prove that there exists a pointwise minimal function among all integer-valued superharmonic functions equal to $Ψ$ "at infinity".
We apply this result to sandpile models on $\mathbb Z^n$. We prove existence of so-called {\it solitons} in a sandpile model, discovered in 2-dim setting by S. Caracciolo, G. Paoletti, and A. Sportiello and studied by the author and M. Shkolnikov in previous papers. We prove that, similarly to 2-dim case, sandpile states, defined using our husking procedure, move changeless when we apply the sandpile wave operator (that is why we call them solitons).
We prove an analogous result for each lattice polytope $A$ without lattice points except its vertices. Namely, for each function $$Ψ:\mathbb Z^n\to \mathbb Z, z\to \min_{p\in A\cap \mathbb Z^n}(p\cdot z+c_p), c_p\in \mathbb Z$$ there exists a pointwise minimal function among all integer-valued superharmonic functions coinciding with $Ψ$ "at infinity". The laplacian of the latter function corresponds to what we observe when solitons, corresponding to the edges of $A$, intersect (see Figure~1).
Ergodicity of a generalized probabilistic cellular automaton with parity-based neighbourhoods
We study a one-dimensional generalized probabilistic cellular automaton $E_{p, q}$ with universe $\mathbb Z$, alphabet $\mathcal A = \{0, 1\}$, parameters $p$ and $q$ such that $0 < p+q \leq 1$ and two neighbourhoods $\mathcal N_0 = \{0, 1\}$ and $\mathcal N = \{1, 2\}$. The state $E_{p, q} η(x)$ of any $x \in \mathbb Z$ under the application of $E_{p, q}$ is a random variable whose probability distribution depends on the states $η(x + y)$ for $y \in \mathcal N_i$ where $i$ has the same parity as $x$. We establish ergodicity of this GPCA for various ranges of values of $p$ and $q$ via its connection with a suitable percolation game on a two-dimensional lattice. For these same ranges of values of $p$ and $q$, we show that the above-mentioned game has probability $0$ of resulting in a draw.
Möbius function of the subgroup lattice of a finite group and Euler Characteristic
Published
• View Publication
• BIB
The Möbius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the Möbius function defined on an order ideal related to the lattice of the subgroups of an irreducible subgroup $G$ of the general linear group $\mathrm{GL}(n,q)$ acting on the $n$-dimensional vector space $V=\mathbb{F}_q^n$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We find a relation between this function and the Euler characteristic of two simplicial complexes $Δ_1$ and $Δ_2$, the former raising from the lattice of the subspaces of $V$, the latter from the subgroup lattice of $G$.
A Generalization of the Ishida Complex with applications
We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local cohomology with radical monomial ideal support of an affine semigroup ring to the local cohomology with maximal ideal support of the quotient of the affine semigroup ring by the radical monomial ideal. This requires a combinatorial assumption on the semigroup, which holds for (not necessarily normal) semigroups whose cone is the cone over a simplex.
On the Asymptotics and the Non-Holonomic Character of First Returns in the Standard Euclidean Lattice
Published
• View Publication
• BIB
We give precise asymptotics to the number of first time returning random walks in the standard orthogonal lattice in $\mathbb{R}$ and we prove that these numbers do not form a $P$-recursive sequence. In the process, the known asymptotics of the number of closed walks are obtained in an elementary way, by using a combinatorial and geometric multiplication principle together with the classical theory of Legendre polynomials. By showing that the relevant generating functions are $G$-functions, we use a form of the Hadamard convolution to find their singularities in all dimensions and give the ODEs that they satisfy for $d\leq 5$, some of which seem to be new. We use the Lucas property of the number of closed walks to prove that the corresponding generating function is not invertible as a $G$-function, which immediately implies that the generating function of the first time returning walks is not holonomic. We propose a few conjectures on the form of the asymptotic coefficients and of the ODEs.
A counterexample to the periodic tiling conjecture
Published
• View Publication
• BIB
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R}^d$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z}^2 \times G_0$ for some finite abelian $2$-group $G_0$. Our methods rely on encoding a "Sudoku puzzle" whose rows and other non-horizontal lines are constrained to lie in a certain class of "$2$-adically structured functions," in terms of certain functional equations that can be encoded in turn as a single tiling equation, and then demonstrating that solutions to this Sudoku puzzle exist, but are all non-periodic.
New upper bound for the connective constant for square-lattice self-avoiding walks
By modifying the automaton used by P{ö}nitz and Tittman [4], and considering loops of length up to 26, we obtain 2.662343 as an upper bound for the connective constant in the lattice Z 2 .
Spin correlation functions, Ramus-like identities, and enumeration of constrained lattice walks and plane partitions
Published in J.Phys.A: Math.Theor. 55 (2022) 225002 (37 pp) Journal of Physics A: Mathematical and Theoretical, Volume 55, Number 22 (2022) 225002
• View Publication
• BIB
Relations between the mean values of distributions of flipped spins on periodic Heisenberg XX chain and some aspects of enumerative combinatorics are discussed. The Bethe vectors, which are the state-vectors of the model, are considered both as on- and off-shell. It is this approach that makes it possible to represent and to study the correlation functions in the form of non-intersecting nests of lattice walks and related plane partitions. We distinguish between two types of walkers, namely lock step models and random turns. Of particular interest is the connection of random turns walks and a circulant matrix. The determinantal representation for the norm-trace generating function of plane partitions with fixed height of diagonal parts is obtained as the expectation of the generating exponential over off-shell N-particle Bethe states. The asymptotics of the dynamical mean value of the generating exponential is calculated in the double scaling limit provided that the evolution parameter is large. It is shown that the amplitudes of the leading asymptotics depend on the number of diagonally constrained plane partitions.
An asymptotic lower bound on the number of polyominoes
Published in Ann. Comb. 28, 459-484 (2024)
• View Publication
• BIB
Let $P(n)$ be the number of polyominoes of $n$ cells and $λ$ be Klarner's constant, that is, $λ=\lim_{n\to\infty} \sqrt[n]{P(n)}$. We show that there exist some positive numbers $A,T$, so that for every $n$ \[ P(n) \ge An^{-T\log n} λ^n. \] This is somewhat a step toward the well known conjecture that there exist positive $C,θ$ so that $P(n)\sim Cn^{-θ}λ^n$ for every $n$. In fact, if we assume another popular conjecture that $P(n)/P(n-1)$ is increasing, we can get rid of $\log n$ to have \[ P(n)\ge An^{-T}λ^n. \] Beside the above theoretical result, we also conjecture that the ratio of the number of some class of polyominoes, namely inconstructible polyominoes, over $P(n)$ is decreasing, by observing this behavior for the available values. The conjecture opens a nice approach to bounding $λ$ from above, since if it is the case, we can conclude that \[ λ< 4.1141, \] which is quite close to the current best lower bound $λ> 4.0025$ and greatly improves the current best upper bound $λ< 4.5252$.
The approach is merely analytically manipulating the known or likely properties of the function $P(n)$, instead of giving new insights of the structure of polyominoes. The techniques can be applied to other lattice animals and self-avoiding polygons of a given area with almost no change.
The gerrymander sequence, or A348456
Published in Advances in Applied Mathematics 148 (2023) 102520
• View Publication
• BIB
Recently Kauers, Koutschan and Spahn announced a significant increase in the length of the so-called {\em gerrymander sequence}, given as A348456 in the OEIS, extending the sequence from 3 terms to 7 terms. We give a further extension to 11 terms, but more significantly prove that the coefficients grow as $λ^{4L^2},$ where $λ\approx 1.7445498, $ and is equal to the corresponding quantity for self-avoiding walks crossing a square (WCAS), or self-avoiding polygons crossing a square (PCAS). These are, respectively, OEIS sequences A007764 and A333323. Thus we have established a close connection between these previously separate problems.
We have also related the sub-dominant behaviour to that of WCAS and PCAS, allowing us to conjecture that the coefficients of the gerrymander sequence A348456 grow as $λ^{4L^2+dL+e} \cdot L^g,$ where $d=-8.08708 \pm 0.0002,$ $e \approx 7.69$ and $g = 0.75 \pm 0.01,$ with $g$ almost certainly $3/4$ exactly.
We also have generated 26 terms in the related gerrymander polynomial (defined below), and have been able to predict the asymptotic behaviour with a satisfying degree of precision. Indeed, it behaves exactly as $L$ times the corresponding coefficient of the generalised gerrymander sequence.
The improved algorithm we give for counting these sequences is a variation of that which we recently developed for extending a number of sequences for SAWs and SAPs crossing a domain of the square or hexagonal lattices. It makes use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths.
Modular flats of oriented matroids and poset quasi-fibrations
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 306-328
• View Publication
• BIB
We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case.
Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements.
We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.
Asymptotic estimate on the distance energy of lattices
Published in Contributions to Discrete Mathematics, Vol. 20 No. 2 (2025), 422-437
• View Publication
• BIB
Since the well-known breakthrough of L. Guth and N. Katz on the Erdos distinct distances problem in the plane, mainstream of interest is aroused by their method and the Elekes-Sharir framework. In short words, they study the second moment in the framework. One may wonder if higher moments would be more efficient. In this paper, we show that any higher moment fails the expectation. In addition, we show that the second moment gives optimal estimate in higher dimensions.
Invariants of Tutte Partitions and a $q$-Analogue
Published
• View Publication
• BIB
We describe a construction of the Tutte polynomial for both matroids and $q$-matroids based on an appropriate partition of the underlying support lattice into intervals that correspond to prime-free minors, which we call a Tutte partition. We show that such partitions in the matroid case include the class of partitions arising in Crapo's definition of the Tutte polynomial, while not representing a direct $q$-analogue of such partitions. We propose axioms of $q$-Tutte-Grothendiek invariance and show that this yields a $q$-analogue of Tutte-Grothendiek invariance. We establish the connection between the rank polynomial and the Tutte polynomial, showing that one can be obtained from the other by convolution.
Noncommutative crossing partitions
We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings.
A few more Lonely Runners
Lonely Runner Conjecture, proposed by Jörg M. Wills and so nomenclatured by Luis Goddyn, has been an object of interest since it was first conceived in 1967 : Given positive integers $k$ and $n_1,n_2,\ldots,n_k$ there exists a positive real number $t$ such that the distance of $t\cdot n_j$ to the nearest integer is at least $\frac{1}{k+1}$, $\forall~~1\leq j\leq k$. In a recent article Beck, Hosten and Schymura described the Lonely Runner polyhedron and provided a polyhedral approach to identifying families of lonely runner instances. We revisit the Lonely Runner polyhedron and highlight some new families of instances satisfying the conjecture. In addition, we relax the sufficiency of existence of an integer point in the Lonely Runner polyhedron to prove the conjecture. Specifically, we propose that it suffices to show the existence of a lattice point of certain superlattices of the integer lattice in the Lonely Runner polyhedron.
Partitions with constrained ranks and lattice paths
Published
• View Publication
• BIB
In this paper we study partitions whose successive ranks belong to a given set. We enumerate such partitions while keeping track of the number of parts, the largest part, the side of the Durfee square, and the height of the Durfee rectangle. We also obtain a new bijective proof of a result of Andrews and Bressoud that the number of partitions of $N$ with all ranks at least $1-\ell$ equals the number of partitions of $N$ with no parts equal to $\ell+1$, for $\ell\ge0$, which allows us to refine it by the above statistics. Combining Foata's second fundamental transformation for words with Greene and Kleitman's mapping for subsets, interpreted in terms of lattice paths, we obtain enumeration formulas for partitions whose successive ranks satisfy certain constraints, such as being bounded by a constant.
Lattice structure in cluster algebra of finite type and non-simply-laced Ingalls-Thomas bijection
In this paper, we demonstrate that the lattice structure of a set of clusters in a cluster algebra of finite type is anti-isomorphic to the torsion lattice of a certain Geiss-Leclerc-Schröer (GLS) path algebra and to the $c$-Cambrian lattice. We prove this by explicitly describing the exchange quivers of cluster algebras of finite type. Specifically, we prove that these quivers are anti-isomorphic to those formed by support $τ$-tilting modules in GLS path algebras and to those formed by $c$-clusters consisting of almost positive roots.