lattice ↗ reference
4394 papers tagged with this keyword
Cyclic Subgroup Lattices as Universal Sources of Power-Type Graphs
Power-type graphs, such as the power graph, the directed power graph, the enhanced power graph and the difference graph, encode significant information about the internal structure of a finite group. Despite substantial investigation in recent years, the precise relationship between these graphs and the subgroup lattice of the underlying group has remained only partially understood. In this paper we establish a complete, explicit, and purely combinatorial correspondence between the enhanced power graph and the lattice of cyclic subgroups $\mathcal{L}_c(G)$ of a finite group $G$. We prove that these two objects determine each other uniquely: an unlabeled enhanced power graph suffices to reconstruct $\mathcal{L}_c(G)$, and conversely, the labeled enhanced power graph can be reconstructed directly from $\mathcal{L}_c(G)$. Exploiting this duality, we demonstrate that the reconstruction principle applies equally to the power graph, the directed power graph, and the difference graph, which may all be derived solely from the cyclic subgroup lattice, independent of the group operation.
This bidirectional correspondence yields a combinatorial equivalence between power-type graphs and the cyclic subgroup lattice, providing a new framework for analyzing finite groups through graph-theoretic and lattice-theoretic data, free from algebraic complexity.
Generalizing Lattice Structures to Hypergraphs: Spectra of Clique and Hyperedge-based Laplacians
Published
• View Publication
• BIB
Lattice structures play a central role in spectral graph theory, offering analytical insight into diffusion, synchronization, and transport processes on regular discrete spaces. While their spectral properties are completely characterized in the classical graph setting, an extension to hypergraphs, where interactions involve more than two nodes, remains largely unexplored in the matrix-based formulation. In this work, we generalize the notion of a lattice to the hypergraph framework and study its Laplacian spectra under two alternative definitions: the clique Laplacian, obtained through pairwise projection, and the hyperedge-based Laplacian, defined via normalized hyperedge incidences. For both definitions, we derive the corresponding Laplacian matrices, analyze their eigenvalue spectra, and discuss how they reflect the underlying topological and dynamical structure of the hyperlattice. Our main result is a theorem giving a full spectral characterization in the periodic case, together with a Toeplitz-type open analogue whose spectrum retains a separable trigonometric structure. The obtained eigenvalues are expressed explicitly in terms of the hyperedge size, the number of directional families, and the lattice side length, thereby capturing how the geometry of higher-order interactions shapes the spectral structure.
Graphical view on linear extensions of finite posets
One of possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite basic set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders of $N$ consonant with $P$. Any total order of $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron.
It is shown in the paper that a non-empty set of total orders of $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ iff it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset.
Two alternative cryptomorphic views on a poset $P$ on $N$ are also briefly commented. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a distributive lattice.
Observable sets for the free Schrödinger equation on combinatorial graphs
We study observability for the free Schrödinger equation $\partial_t u = iΔu$ on combinatorial graphs $G=(\mathcal{V},\mathcal{E})$. A subset $E\subset\mathcal{V}$ is observable at time $T>0$ if there exists $C(T,E)>0$ such that for all $u_0\in l^2(\mathcal{V})$, $$ \|u_0\|_{l^2(\mathcal{V})}^2 \le C(T,E)\int_0^T \|e^{itΔ}u_0\|_{l^2(E)}^2\,\d t. $$
On the one-dimensional lattice $\mathbb{Z}$, we obtain a sharp threshold for thick sets: if $E\subset\mathbb{Z}$ is $γ$-thick with $γ\geq1/2$, then $E$ is observable at some time; conversely, for every $γ<1/2$ there exists a $γ$-thick set that is not observable at any time. This critical threshold marks the exact point where the discrete lattice departs from the real line: on the lattice it must be attained, whereas on $\R$ any $γ$-thick set with $γ>0$ already suffices.
On $\mathbb{Z}^d$ we show that the complements of finite sets are observable at any time $T>0$. This parallels the Euclidean setting $\R^d$: any set that contains the exterior of a finite ball is observable at any time.
For finite graphs we give an equivalent characterization of observability in terms of the zero sets of Laplacian eigenfunctions. As an application, we construct unobservable sets of large density on discrete tori, in contrast with the continuous torus $\mathbb{T}^d$, where every nonempty open set is observable.
Supernematic
Quantum theory of geometrically frustrated systems is usually approached as a gauge theory where the local conservation law becomes the Gauss law. Here we show that it can do something fundamentally different: enforce a global conserved quantity via a non-perturbative tiling invariant, rigorously linking microscopic geometry to a new macroscopically phase-coherent state. In a frustrated bosonic model on the honeycomb lattice in the cluster-charging regime at fractional filling, this mechanism protects a conserved global quantum number, the sublattice polarization $\tilde{N} = N_A - N_B$. Quantum fluctuation drives the spontaneous symmetry breaking of this global U(1) symmetry to result in a supernematic (SN) phase -- an incompressible yet phase-coherent quantum state that breaks rotational symmetry without forming a superfluid or realizing topological order. This establishes a route to a novel quantum many-body state driven by combinatorial constraints.
Enumeration in the lattice of $q$-decreasing words
We prove that the poset of $q$-decreasing words equipped with the componentwise order forms a lattice. We enumerate the join-irreducible elements for arbitrary $q>0$, and for any positive rational number $q$, we determine the number of coverings, intervals and meet-irreducible elements. The latter present the same structure as words over an alphabet of $2\lceil q\rceil+1$ letters avoiding $\lceil q\rceil^2+2\lceil q\rceil-1$ consecutive patterns of length 2. Furthermore, we analyze the asymptotic behavior of several of these quantities.
Left and right Bousfield localization on lattices
The key information of a model category structure on a poset is encoded in a transfer system, which is a combinatorial gadget, originally introduced to investigate homotopy coherence structures in equivariant homotopy theory. We describe how a transfer system associated with in a model structure on a lattice is affected by left and right Bousfield localization and provide a minimal generating system of morphisms which are responsible for the change in model structure. This leads to new concrete insights into the behavior of model categories on posets in general.
Concatenative nonmonotonicity and optimal links in HP protein folding models
Published
• View Publication
• BIB
The hydrophobic-polar (HP) model represents proteins as binary strings embedded in lattices, with fold quality measured by an energy score. We prove that the optimal fold energy is not monotonic under concatenation for several standard lattices, including the 2D and 3D rectangular, hexagonal, and triangular lattices. In other words, concatenating two polymers can produce a fold with strictly worse optimal energy than one of the polymers alone.
For closed chains, we show that under the levels-of-hydrophobicity model of Agarwala et al. (1997), proper links can arise as uniquely optimal folds, revealing an unexpected connection between HP models and knot/link theory.
Polynomial extensions of Raimi's theorem
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.
Heaps of rhombic dodecahedra, catalan congruences on alternating sign matrices, and bases of the Temperley-Lieb algebra
We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the lattice on alternating sign matrices whose quotient is isomorphic to the Stanley lattice on Dyck paths, which we call catalan congruences. We prove that the maxima of the congruence classes are always covexillary permutations (and all covexillary permutations appear this way), and that the minimal permutations in each class are always precisely the $321$-avoiding permutations. Finally, we show that any choice of representative permutations in each congruence class yield a basis of the Temperley-Lieb algebra with parameter $2$, vastly generalizing the bases arising from the excedance relation.
On the combinatorics of tableaux -- Classification of lattices underlying Schensted correspondences
The celebrated Robinson-Schensted algorithm and each of its variants that have attracted substantial attention can be constructed using Fomin's "growth diagram" construction from a modular lattice that is also a weighted-differential poset. We classify all such lattices that meet certain criteria; the main criterion is that the lattice is distributive. Intuitively, these criteria seem excessively strict, but all known Fomin lattices satisfy all of these criteria, with the sole exception of one family that is not even distributive, the Young-Fibonacci lattices and cartesian products involving them. We discover a new class of Fomin lattices, but unfortunately they cannot be used to construct Robinson-Schensted algorithms.
On the Vietoris-Rips Complexes of Integer Lattices
For a metric space $X$ and $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex whose simplices are finite subsets of $X$ with diameter at most $r$. Vietoris-Rips complexes have applications in various places, including data analysis, geometric group theory, sensor networks, etc. Consider the integer lattice $\mathbb{Z}^n$ as a metric space equipped with the $d_1$-metric (the Manhattan metric or standard word metric in the Cayley graph). Ziga Virk proved that if either $r \geq n^2(2n-1)$, or $1\leq n \leq 3$ and $r \geq n$, then the complex $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible, and posed a question if $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. Recently, Matthew Zaremsky improved Ziga's result and proved that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $r \geq n^2+ n-1$. Further, he conjectured that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. We prove Zaremsky's conjecture for $n \leq 5$, i.e., we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $n \leq 5$ and $r \geq n$. Further, we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for $r \geq 10$.
We determine the homotopy type of $\mathcal{VR}(\mathbb{Z}^n;2)$, and show that these complexes are homotopy equivalent to a wedge of countably infinite copies of $\mathbb{S}^3$. We also show that $\mathcal{VR}(\mathbb{Z}^n;r)$ is simply connected for $r \geq 2$.
Oda's conjecture for reflexive polytopes: some special cases
In this paper, we show that Oda's question holds for $n$-dimensional simplicial reflexive polytope $P$ and lattice polytope $Q$ containing the origin, when the vertex of $Q$ is either a vertex of $P$ or the origin, provided that $P$ has no more than $n+1$ lattice points on each facet and possesses unimodular triangulation. Then we prove Oda's question is true for any two facet unimodular polytopes whose matrix defining the facets has at most two non-zero entries in each row, and also true for any almost co-unimodular pair of reflexive polytopes.
Pure minimal injective resolutions and perfect modules for lattices
In a recent article, Iyama and Marczinzik showed that a lattice is distributive if and only if the incidence algebra is Auslander regular, giving a new connection between homological algebra and lattice theory. In this article we study when a distributive lattice has a pure minimal injective coresolution, a notion first introduced and studied in a work of Ajitabh, Smith and Zhang. We will see that this problem naturally leads to studying when certain antichain modules are perfect modules. We give a classification of perfect antichain modules under the assumption that their canonical antichain resolution is minimal and use this to give a completion classification in lattice theoretic terms of incidence algebras of distributive lattices with pure minimal injective coresolution. We use our results to answer a question raised by Ajitabh, Smith and Zhang by showing that there exist Auslander-Gorenstein polynomial identity rings without a pure injective coresolution.
Smith Normal Forms of Graphical Hermite Simplices
Published
• View Publication
• BIB
We introduce the family of graphical Hermite simplices and study the Smith normal forms of their matrices of vertex vectors, which is equivalent to studying the group structure of the cokernels for these matrices. Our motivation is to study the behavior of lattice simplices subject to small lattice perturbations of their vertices. In this case, a graphical Hermite simplex is a perturbation of a rectangular simplex, i.e., a simplex defined by a diagonal matrix and the origin, with the perturbation controlled by the structure of a directed graph. We first establish sufficient conditions on the graphs and diagonal entries of these matrices that imply having a single non-unit invariant factor, i.e., a cyclic cokernel. We then obtain bounds on the invariant factors of the defining matrices related to lengths of paths in the corresponding directed graph.
A Polyhedral Perspective on the Perfect Matching Lattice
We study the perfect matching lattice of a matching covered graph $G$, generated by the incidence vectors of its perfect matchings. Building on results of Lovász and de Carvalho, Lucchesi, and Murty, we give a polynomial-time algorithm based on polyhedral methods that constructs a lattice basis for this lattice consisting of perfect matchings of $G$. By decomposing along certain odd cuts, we reduce the graph into subgraphs whose perfect matching polytopes coincide with their bipartite relaxations (known as \emph{Birkhoff von Neumann graphs}). This yields a constructive polyhedral proof of the existence of such bases and highlights new connections between combinatorial and geometric properties of perfect matchings.
Matroid adjoints and the minimum rank of zero-nonzero matrix patterns
The problem of finding the minimum rank of a matrix with a given zero-nonzero pattern has been generalized to a class of matroids associated to the pattern. The fundamental lower bound known as the triangle number still holds in this generalized setting. But the matroid minimum rank of a pattern need not match that of its transpose.
We associate to each pattern $X$ a lattice $L(X)$. We define the fundamental pattern of a matroid $M$ to be the complement of its hyperplane-point incidence pattern and note that when $X$ is the fundamental pattern of $M$, the lattice of flats of $M$ is $L(X)$. We then prove that, for every pattern $X$, the dual lattice of $L(X)$ is isomorphic to $L(X^T)$.
We show that a matroid $M'$ of the same rank as $M$ is an adjoint of $M$ if and only if $M'$ is associated with the transpose of the fundamental pattern of $M$. Our main result ties together the notion of a matroid adjoint with the phenomenon of a gap between the triangle number $k$ and the matroid minimum rank of a pattern. Namely, we show that, if any matroid of rank $k$ associated with a pattern has an adjoint, then there is no such gap for the pattern's transpose.
We show that the matroid of minimum rank associated with the fundamental pattern is unique. Using this, we prove that the matrix minimum rank of the fundamental pattern of a matroid over different fields depends on the representability of the matroid over those fields. This allows us to recover and improve upon a construction of Berman et al. We also give a smaller example than any previously known of a pattern with a matroid minimum rank smaller than its matrix minimum rank over every field. Finally, we establish that, for the fundamental pattern, a converse holds to our main result. In particular, a matroid with fundamental pattern $X$ has an adjoint if and only if the matroid minimum rank of $X^T$ is equal to its triangle number.
The Formal Context of Saturated Transfer Systems on Finite Abelian Groups
We describe the reduced formal context of the lattice of saturated transfer systems on a finite abelian group. As an application, we compute that there are 13,784,538,270,571 saturated transfer systems on the elementary abelian group $C_5^3$.
On the enumeration of connected sets in finite cylindrical lattice graphs
A connected set in a graph is a non-empty set of vertices that induces a connected subgraph. In an infinite lattice, a connected set is often referred to as a lattice animal, whose enumeration up to isomorphism is a classical problem in both combinatorics and statistical physics. In this paper, we focus on the enumeration of connected sets in finite lattice graphs, providing a link between combinatorial counting and structural connectivity in the system.
For any positive integers $m,n$, let $N(P_m\times P_n)$ and $N(C_m\times P_n)$ denote the number of all connected sets in the $(m\times n)$-lattice graph $P_m\times P_n$ and $(m\times n)$-cylindrical lattice graph $C_m\times P_n $, respectively. In 2020, Vince derived enumeration formulas for $N(P_m\times P_2)$ and $N(C_m\times P_2)$, and highlighted the increasing difficulty of extending these calculation results to larger (cylindrical) lattice graphs. Recently, the authors of this paper have developed a method based on multi-step recurrence formulas to obtain the enumeration formula for $N(P_m\times P_n)$ with $m\le 4$. In this article, we apply a similar approach to derive the enumeration formula for $N(C_m\times P_n)$ with $m\le 7$. Further, for the general case, we establish an explicit and tight lower bound on the number of connected sets in the Cartesian product graph $G\times P_n $ for any connected graph $G$, by employing the transfer matrix method on a subclass of connected sets. Based on this, we perform an asymptotic analysis on several lattice graphs and show that $O(N(P_3\times P_n))=1.6694^{3n}$, $O(N(C_4\times P_n))=1.8014^{4n}$, and $O(N(C_5\times P_n))=1.7877^{5n}$.
Chow classes of matroids and standard Young tableaux
We study the Chow classes of arbitrary matroids in the Grassmannian. We develop a new combinatorial approach for computing them, by first focusing on snake matroids and then extending our results via valuativity to any matroid. Our main contribution identifies the Poincaré dual of the Chow class of a snake matroid with a specific ribbon Schur function, providing an explicit formula for its coefficients in the Schubert basis as the number of standard Young tableaux of a given shape with a prescribed descent set. This agrees with a formula by Klyachko for the uniform matroid. As consequences, we recover and simplify classical results such as Gessel and Viennot's enumeration of permutations with fixed descent sets, and formulas for the volume of lattice path matroids. Furthermore, we demonstrate the power of our findings by proving that certain Schubert coefficients are positive for all connected paving matroids.