lattice
4305 papers tagged with this keyword
Lattice paths and the Geode
Let $t_1,t_2,\dots$ be variables, and let $S$ be the formal power series in the variables $t_1, t_2,\dots$ satisfying $S=1+\sum_{i=1}^\infty t_n S^n.$ Let $S_1 =\sum_{n=1}^\infty t_n$. Wildberger and Rubine recently showed that there is a formal power series $G$ in the $t_i$, which they called the Geode, satisfying $S=1+GS_1$. In this paper we discuss some of the properties of the Geode and of the related series $H=G/S$, which satisfies $S=1/(1-HS_1)$. We show that \begin{equation*} G=\biggl(1-\sum_{n=1}^\infty t_n (1+S+S^2+\cdots+S^{n-1})\biggr)^{-1}, \end{equation*} and \begin{equation*} H=\biggl( 1-\sum_{n=2}^\infty t_n (S+S^2+\cdots+S^{n-1})\biggr)^{-1}, \end{equation*} and we give combinatorial interpretations of $G$ and $H$ in terms of lattice paths.
The Induced Saturation Number for $\mathcal{V}_3$ is Linear
Given a poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is said to be $\mathcal{P}$-saturated if $\mathcal{F}$ does not contain an induced copy $\mathcal P$, but every proper superset of $\mathcal{F}$ contains one. The minimum size of a $\mathcal P$-saturated family in the $n$-dimensional Boolean lattice is denoted by $sat^*(n,\mathcal{P})$.\par In this paper, we consider the poset $\mathcal V_3$ (the four element poset with one minimal element and three incomparable maximal elements) and show that $sat^*(n,\mathcal{V}_3)\geq \frac{n}{2}$. This represents the first linear lower bound for $sat^*(n,\mathcal{V}_3)$, improving upon the previously best-known bound of $2\sqrt{n}$. Our result establishes that $sat^*(n,\mathcal{V}_3) = Θ(n)$.
Observables of random spanning trees in random environment
In this thesis, we study a new disordered system called random spanning tree in random environment (RSTRE) across different families of graphs with varying disorder distributions. We examine several observables as functions of the disorder strength (inverse temperature) $β\geq 0$, and compare their values to the extreme cases $β= 0$ and $β\rightarrow \infty$, which correspond to the uniform spanning tree (UST) and the minimum spanning tree (MST), respectively. The results concerning the diameter are in line with those of arXiv:2311.01808 and arXiv:2410.16830, while the findings on local observables are based on arXiv:2410.16836. This thesis also includes new material on the RSTRE in the Euclidean infinite lattice, as well as a novel result on the diameter of the unweighted UST on a slightly supercritical random graph.
The Saturation Number for the Diamond is Linear
For a fixed poset $\mathcal P$ we say that a family $\mathcal F\subseteq\mathcal P([n])$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add a new set to $\mathcal F$, we form an induced copy of $\mathcal P$. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$.\par For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), while it is easy to see that the saturation number is at most $n+1$, the best known lower bound has stayed at $O(\sqrt n)$ since the introduction of the area of poset saturation. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq \frac{n+1}{5}$, establishing that the saturation number for the diamond is linear. The proof uses a result about certain pairs of set systems which may be of independent interest.
An order-theoretic circuit syntax and characterisation of the concept lattice
We take an order-theoretic approach to circuit (string diagram) syntax, treating a circuit as a partial order with additional input-output structure. We define morphisms between circuits and prove a factorisation theorem showing that these can, in the finite case, be regarded as formalising a notion of syntactical circuit rewrites, with quotient maps in particular corresponding to gate composition. We then consider the connectivity of a circuit, expressed as a binary relation between its inputs and outputs, and characterise the concept lattice from formal concept analysis as the unique smallest circuit that admits morphisms from all other circuits with the same connectivity. This has significance for quantum causality, particularly to the study of causal decompositions of unitary transformations. We close by constructing the circuit characterised by the dual statement.
Independent Set Enumeration and Estimation of Related Constants of Grid Graphs and Their Variants
We applied tensor network contraction algorithms to compute the hard-core lattice gas model, i.e., the enumeration of independent sets on grid graphs. We observed the influence of surface effect and parity effect on the enumeration (and entropy), and derived upper and lower bounds for both the combinatorics entropy and the coefficients of surface effect by numerical analysis.
Additionally, we conducted corresponding calculations and analyses for triangular grid graphs, king graph, and cylindrical grid graph. We computed and analyzed their associated constants and compared how different adjacency and boundary conditions affect these constants.
Our computational results have contributed substantial new terms to the OEIS sequence A089980, A027740, A219741, A226444, A245013 and A286513. In addition, we have provided fairly accurate estimates of the relevant constants through numerical analysis of the obtained results. Among them, our valuation of the hard square entropy constant is more accurate than existing results. And we conject that the surface effect of the periodic boundary of the cylindrical grid graph is $0$--its estimated value of coefficients is very close to $0$.
Newton numbers, vanishing polytopes and algebraic degrees
Consider a polynomial $f$ with a convenient Newton polytope $P$ and generic complex coefficients. By the global version of the Kouchnirenko formula, the hypersurface $\{f = 0\} \subset \mathbb{C}^n$ has the homotopy type of a bouquet of $(n-1)$-spheres, and the number of spheres is given by a certain alternating sum of volumes, called the Newton number $ν(P)$. Using the Furukawa-Ito classification of dual defective sets, we classify convenient Newton polytopes with vanishing Newton numbers as certain Cayley sums called $B_k$-polytopes. These $B_k$-polytopes generalize the $B_1$- and $B_2$-facets appearing in the local monodromy conjecture in the Newton non-degenerate case. Our classification provides a partial solution to Arnold's monotonicity problem.
The local $h^*$-polynomial (or $\ell^*$-polynomial) is a natural invariant of lattice polytopes that refines the $h^*$-polynomial coming from Ehrhart theory. We obtain decomposition formulas for the Newton number, for instance, prove the inequality $ν(P) \ge \ell^*(P;1)$. The $B_k$-polytopes are non-trivial examples of thin polytopes.
We generalize the Newton number in two independent ways: the $\ell$-Newton number and the $e$-Newton number. The $\ell$-Newton number comes from Ehrhart theory, namely, from certain generalizations of Katz-Stapledon decomposition formulas, and its properties are central to our proof that the $B_k$-polytopes are thin. The $e$-Newton number is the number of points of zero-dimensional critical complete intersections. Vanishing of the $e$-Newton number characterizes dual defective sets. Furthermore, the $e$-Newton number calculates algebraic degrees (such as Maximum Likelihood, Euclidean Distance and Polar degrees). For instance, we show that all known formulas for these algebraic degrees in the Newton non-degenerate case are implied by basic properties of the $e$-Newton number.
Spherical designs for finite quaternionic unit groups and their applications to modular forms
For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint.
For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $θ_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $θ_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms.
Fundamental and homogeneous bases of Hopf algebras built from nonsymmetric operads
We introduce new partial order structures on the underlying sets of free nonsymmetric operads. These posets involve decorated ordered rooted trees, and their terminal intervals are lattices. These lattices are not graded, not self-dual, and not semi-distributive, but they are EL-shellable, and their Mbius functions take values in $\{-1, 0, 1\}$. They admit sublattices on the families of $m$-Fuss-Catalan objects and of forests of trees. This latter order structure is used to construct two new bases for the natural Hopf algebras of free nonsymmetric operads: a fundamental basis and a homogeneous basis. Along with the already known elementary basis of these Hopf algebras, this yields a triple of bases. The situation is similar to what is observed in the Hopf algebras of Malvenuto-Reutenauer, Loday-Ronco, and noncommutative symmetric functions, each of which presents such triples of bases and basis changes involving, respectively, the right weak partial order, the Tamari partial order, and the Boolean lattice partial order.
Cylindric growth diagrams, walks in simplices, and exclusion processes
We establish bijections between three classes of combinatorial objects that have been studied in very different contexts: lattice walks in simplicial regions as introduced by Mortimer--Prellberg, standard cylindric tableaux as introduced by Gessel--Krattenthaler and Postnikov, and sequences of states in the totally asymmetric simple exclusion process. This perspective allows us to translate symmetries from one setting into another, revealing unexpected properties of these objects.
Specifically, we show that a recent bijection of Courtiel, Elvey Price and Marcovici between certain simplicial walks with forward and backward steps is equivalent to a cylindric analogue of the Robinson--Schensted correspondence. Originally defined by Neyman by iterating an insertion operation, we provide an alternative description of this correspondence by introducing a cylindric version of Fomin's growth diagrams. This natural description elucidates the symmetry of the correspondence, and it allows us to interpret the above walks as oscillating cylindric tableaux.
The Gröbner basis for powers of a general linear form in a monomial complete intersection
We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gröbner bases for these ideals under any term order. Our approach is primarily combinatorial, focusing on the structure of the initial ideal. We associate a lattice path to each monomial in the vector space basis of an Artinian monomial complete intersection and introduce a reflection operation on these paths, which enables a key counting argument. As a consequence, we provide a new proof that Artinian monomial complete intersections possess the strong Lefschetz property over fields of characteristic zero. Our results also offer new insights into the longstanding problem of classifying the weak Lefschetz property for such intersections in characteristic $p$. Furthermore, we show that the number of Gröbner basis elements in each degree is connected to several well-known sequences, including the (generalized) Catalan, Motzkin, and Riordan numbers, and connect these numbers to the study of entanglement detection in spin systems within quantum physics.
Arithmetic non-very generic arrangements
A discriminantal hyperplane arrangement B(n,k,A) is constructed from a given (generic) hyperplane arrangement A, which is classified as either very generic or non-very generic depending on the combinatorial structure of B(n,k,A). In particular, A is considered non-very generic if the intersection lattice of B(n,k,A) contains at least one non-very generic intersection -- that is, an intersection that fails to satisfy a specific rank condition established by Athanasiadis in [1]. In this paper, we present arithmetic criteria characterizing non-very generic intersections in discriminantal arrangements and we complete and correct a previous result by Libgober and the third author concerning rank-two intersections in such arrangements.
Rises for Measuring Local Distributivity in Lattices
Distributivity is a well-established and extensively studied notion in lattice theory. In the context of data analysis, particularly within Formal Concept Analysis (FCA), lattices are often observed to exhibit a high degree of distributivity. However, no standardized measure exists to quantify this property. In this paper, we introduce the notion of rises in (concept) lattices as a means to assess distributivity. Rises capture how the number of attributes or objects in covering concepts change within the concept lattice. We show that a lattice is distributive if and only if no non-unit rises occur. Furthermore, we relate rises to the classical notion of meet- and join distributivity. We observe that concept lattices from real-world data are to a high degree join-distributive, but much less meet-distributive. We additionally study how join-distributivity manifests on the level of ordered sets.
Ordered set partition posets
The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.
On Nathanson's Triangular Number Phenomenon
For a finite set $A\subseteq \mathbb{Z}$, the $h$-fold sumset is $hA :=\{x_1+\dots+x_h:x_i\in A\}$. We interpret the beginning of the sequence of sumset sizes $(|hA|)_{h=1}^\infty$ in terms of the successive $L^1$-minima of a lattice (specifically, the points in $\mathbb{Z}^{|A|}$ whose coordinates sum to 0 and which are perpendicular to $\langle a_1,\dots,a_{|A|}\rangle$). In particular, if $h_1,h_2$ are the first and second minima, and $1\le h<h_1$, then $|hA|=\binom{h+|A|-1}{|A|-1}$, while if $h_1\le h <h_2$, then $|hA|=\binom{h+|A|-1}{|A|-1}-\binom{h-h_1+|A|-1}{|A|-1}$. This explains the appearance of triangular numbers in the sequence of sumset sizes, an observation related to a recent experiment of Nathanson.
Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types.
This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.
Sturmian lattices and Aperiodic tile sets
We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.
Hamiltonian connectivity of some base-cobase graphs
There has been wide interest in understanding which properties of base graphs of matroids extend to base-cobase graphs of matroids. A significant result of Naddef and Pulleyblank (1984) shows that the $1$-skeleton of any $(0,1)$-polytope is either a hypercube, or Hamiltonian-connected, i.e. there is a Hamiltonian path connecting any two vertices. In particular, this is true for base graphs of matroids. A natural question raised by Farber, Richter, and Shank (1985) is whether this extends to base-cobase graphs.
First, we use the polytopal approach to show Hamiltonian connectivity of base-cobase graphs of series-parallel extensions of lattice path matroids. On the other hand, we show that this method extends to only very special classes related to identically self-dual matroids. Second, we show that base-cobase graphs of wheels and whirls are Hamiltonian connected. Last, we show that the regular matroid $R_{10}$ yields a negative answer to the question of Farber, Richter, and Shank.
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
We present new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field and all Minkowski decompositions of a given toric Calabi--Yau cone with smooth link from the data of its toric polytope. Minkowski decompositions of this polytope into lattice segments and/or triangles give rise to smoothings of the given cone. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
A group-theoretic approach to Shannon capacity of graphs and a limit theorem from lattice packings
We develop a group-theoretic approach to the Shannon capacity problem. Using this approach we extend and recover, in a structured and unified manner, various families of previously known lower bounds on the Shannon capacity. Bohman (2003) proved that, in the limit $p\to\infty$, the Shannon capacity of cycle graphs $Θ(C_p)$ converges to the fractional clique covering number, that is, $\lim_{p \to \infty} p/2 - Θ(C_p) = 0$. We strengthen this result by proving that the same is true for all fraction graphs: $\lim_{p/q \to \infty} p/q - Θ(E_{p/q}) = 0$. Here the fraction graph $E_{p/q}$ is the graph with vertex set $\mathbb{Z}/p\mathbb{Z}$ in which two distinct vertices are adjacent if and only if their distance mod $p$ is strictly less than $q$. We obtain the limit via the group-theoretic approach. In particular, the independent sets we construct in powers of fraction graphs are subgroups (and, in fact, lattices). Our approach circumvents known barriers for structured ("linear") constructions of independent sets of Calderbank-Frankl-Graham-Li-Shepp (1993) and Guruswami-Riazanov (2021).