lattice
4310 papers tagged with this keyword
Uniform chain decompositions and applications
Published
• View Publication
• BIB
The Boolean lattice $2^{[n]}$ is the family of all subsets of $[n]=\{1,\dots,n\}$ ordered by inclusion, and a chain is a family of pairwise comparable elements of $2^{[n]}$. Let $s=2^{n}/\binom{n}{\lfloor n/2\rfloor}$, which is the average size of a chain in a minimal chain decomposition of $2^{[n]}$. We prove that $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains such that all but at most $o(1)$ proportion of the chains have size $s(1+o(1))$. This asymptotically proves a conjecture of Füredi from 1985. Our proof is based on probabilistic arguments. To analyze our random partition we develop a weighted variant of the graph container method. Using this result, we also answer a Kalai-type question raised recently by Das, Lamaison and Tran. What is the minimum number of forbidden comparable pairs forcing that the largest subfamily of $2^{[n]}$ not containing any of them has size at most $\binom{n}{\lfloor n/2\rfloor}$? We show that the answer is $(\sqrt{\fracπ{8}}+o(1))2^{n}\sqrt{n}$. Finally, we discuss how these uniform chain decompositions can be used to optimize and simplify various results in extremal set theory.
Lattice Points in the Newton Polytopes of Key Polynomials
Published
• View Publication
• BIB
We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.
Topology of nerves and formal concepts
The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology: Alexandrov Nerve theorem and Quillen--McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.
Flexible placements of periodic graphs in the plane
Published in Discrete & Computational Geometry (2021)
• View Publication
• BIB
Given a periodic graph, we wish to determine via combinatorial methods whether it has periodic embeddings in the plane that -- via motions that preserve edge-lengths and periodicity -- can be continuously deformed into another non-congruent embedding of the graph. By introducing NBAC-colourings for the corresponding quotient gain graphs, we identify which periodic graphs have flexible embeddings in the plane when the lattice of periodicity is fixed. We further characterise with NBAC-colourings which 1-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity, and characterise in special cases which 2-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity.
$q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs
Published in J. Math. Phys. 61, 073301 (2020)
• View Publication
• BIB
We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.
Generalized flatness constants, spanning lattice polytopes, and the Gromov width
Published
• View Publication
• BIB
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.
Eulerian polynomials for subarrangements of Weyl arrangements
Published in Advances in Applied Mathematics, 120 (2020)
• View Publication
• BIB
Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the Ehrhart quasi-polynomial of the fundamental alcove. The method can also be extended to define two types of deformed Weyl subarrangements containing the families of the extended Shi, Catalan, Linial arrangements and to compute their characteristic quasi-polynomials. We obtain several known results in the literature as specializations, including the formula of the characteristic polynomial of $\mathcal{A}$ via Ehrhart theory due to Athanasiadis (1996), Blass-Sagan (1998), Suter (1998) and Kamiya-Takemura-Terao (2010); and the formula relating the number of coweight lattice points in the fundamental parallelepiped with the Lam-Postnikov Eulerian polynomial due to the third author.
The Lattice Structure of Linear Subspace Codes
The projective space $\mathbb{P}_q(n)$, i.e. the set of all subspaces of the vector space $\mathbb{F}_q^n$, is a metric space endowed with the subspace distance metric. Braun, Etzion and Vardy argued that codes in a projective space are analogous to binary block codes in $\mathbb{F}_2^n$ using a framework of lattices. They defined linear codes in $\mathbb{P}_q(n)$ by mimicking key features of linear codes in the Hamming space $\mathbb{F}_2^n$. In this paper, we prove that a linear code in a projective space forms a sublattice of the corresponding projective lattice if and only if the code is closed under intersection. The sublattice thus formed is geometric distributive. We also present an application of this lattice-theoretic characterization.
Sets of generators and chains of subspaces
Published
• View Publication
• BIB
The rank of a point-line geometry G is usually defined as the generating rank of G, namely the minimal cardinality of a generating set. However, when the subspace lattice of G satisfies the Exchange Property we can also try a different definition: consider all chains of subspaces of G and take the least upper bound of their lengths as the rank of G. If G is finitely generated then these two definitions yield the same number. On the other hand, as we shall show in this paper, if infinitely many points are needed to generate G then the rank as defined in the latter way is often (perhaps always) larger than the generating rank. So, if we like to keep the first definition we should accordingly discard the second one or modify it. We can modify it as follows: consider only well ordered chains instead of arbitrary chains. As we shall prove, the least upper bound of the lengths of well ordered chains of subspaces is indeed equal to the generating rank. According to this result, the (possibly infinite) rank of a polar space can be characterized as the least upper bound of the lengths of well ordered chains of singular subspaces; referring to arbitrary chains would be an error.
On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices
Published
• View Publication
• BIB
We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously
Periodic networks of fixed degree minimizing length
We study networks in $\R^n$ which are periodic under a lattice of rank~$n$ and have vertices of prescribed degree $d\ge 3$. We minimize the length of the quotient networks, subject to the constraint that the fundamental domain has $n$-dimensional volume~$1$. For $n=3$ and degree $3\leq d\leq 6$ we determine the minimizing networks with the least number of vertices in the quotient, while for $d\ge 7$ we state a length estimate. For general $n$, we determine the unique minimizers with $d=n+1$ and $d=2n$.
The $0$-Rook Monoid and its Representation Theory
We show that a proper degeneracy at $q=0$ of the $q$-deformed rook monoid of Solomon is the algebra of a monoid $R_n^0$ namely the $0$-rook monoid, in the same vein as Norton's $0$-Hecke algebra being the algebra of a monoid $H_n^0 = H^0(A_{n-1})$ (in Cartan type~$A_{n-1}$). As expected, $R_n^0$ is closely related to the latter: it contains the $H^0(A_{n-1})$ monoid and is a quotient of $H^0(B_{n})$. We give a presentation for this monoid as well as a combinatorial realization as functions acting on the classical rook monoid itself. On the way we get a Matsumoto theorem for the rook monoid a result which was conjectured by Solomon.
The $0$-rook monoid shares many combinatorial properties with the Hecke monoid: its Green right preorder is an actual order, and moreover a lattice (analogous to the right weak order) which has some nice combinatorial, and geometrical features. In particular the $0$-rook monoid is J-trivial.
Following Denton-Hivert-Schilling-Thiéry, it allows us to describe its representation theory including the description of the simple and projective modules. We further show that $R_n^0$ is projective on $H_n^0$ and make explicit the restriction and induction functors along the inclusion map. We finally give a (partial) associative tower structures on the family of $(R_n^0)$ and we discuss its representation theory.
Lattice paths inside a table: Rows and columns linear combinations
A lattice path inside the $m\times n$ table $T$ is a sequence $ν_1,\ldots,ν_k$ of cells such that $ν_{j+1}-ν_j\in\{(1,-1),(1,0),(1,1)\}$ for all $j=1,\ldots,k-1$. The number of lattice paths in $T$ from the first column to the $(x,y)$-cell is written into that cell. We present a precise description of the minimal linear recurrences among rows, columns, and columns sums. As a result, we obtain several formulas for the number of all lattice paths from the first column to the last column of $T$, that is, the $n^{th}$ column sum. Our methods are based on three classes of operators, which will also be studied independently.
A Leray model for the Orlik-Solomon algebra
Published
• View Publication
• BIB
We construct a combinatorial generalization of the Leray models for hyperplane arrangement complements. Given a matroid and some combinatorial blowup data, we give a presentation for a bigraded (commutative) differential-graded algebra. If the matroid is realizable over $\mathbb{C}$, this is the familiar Morgan model for a hyperplane arrangement complement, embedded in a blowup of projective space. In general, we obtain a cdga that interpolates between the Chow ring of a matroid and the Orlik-Solomon algebra. Our construction can also be expressed in terms of sheaves on combinatorial blowups of geometric lattices. As a key technical device, we construct a monomial basis via a Gröbner basis for the ideal of relations. Combining these ingredients, we show that our algebra is quasi-isomorphic to the classical Orlik-Solomon algebra of the matroid.
Homological Percolation and the Euler Characteristic
Published in Phys. Rev. E 101, 032304 (2020)
• View Publication
• BIB
In this paper we study the connection between the phenomenon of homological percolation (the formation of "giant" cycles in persistent homology), and the zeros of the expected Euler characteristic curve. We perform an experimental study that covers four different models: site-percolation on the cubical and permutahedral lattices, the Poisson-Boolean model, and Gaussian random fields. All the models are generated on the flat torus $T^d$, for $d=2,3,4$. The simulation results strongly indicate that the zeros of the expected Euler characteristic curve approximate the critical values for homological-percolation. Our results also provide some insight about the approximation error. Further study of this connection could have powerful implications both in the study of percolation theory, and in the field of Topological Data Analysis.
Further Bijections to Pattern-Avoiding Valid Hook Configurations
Published
• View Publication
• BIB
Valid hook configurations are combinatorial objects used to understand West's stack-sorting map. We extend existing bijections corresponding valid hook configurations to intervals in partial orders on Motzkin paths. To enumerate valid hook configurations on $312$-avoiding permutations, we build off of an existing bijection into a Motzkin poset and construct a bijection to certain well-studied closed lattice walks in the first quadrant. We use existing results about these lattice paths to show that valid hook configurations on $312$-avoiding permutations are not counted by a $D$-finite generating function, resolving a question of Defant's, and additionally to compute asymptotics for the number of such configurations. We also extend a bijection of Defant's to a correspondence between valid hook configurations on $132$-avoiding permutations and intervals in the Motzkin-Tamari posets, providing a more elegant proof of Defant's enumeration thereof. To investigate this bijection, we present a number of lemmas about valid hook configurations that are generally applicable and further study the bijections of Defant's.
The Homogenized Linial Arrangement and Genocchi Numbers
Published
• View Publication
• BIB
We study the intersection lattice of a hyperplane arrangement recently introduced by Hetyei who showed that the number of regions of the arrangement is a median Genocchi number. Using a different method, we refine Hetyei's result by providing a combinatorial interpretation of the coefficients of the characteristic polynomial of the intersection lattice of this arrangement. We also show that the Möbius invariant of the intersection lattice is a (nonmedian) Genocchi number. The Genocchi numbers count a class of permutations known as Dummont permutations and the median Genocchi numbers count the derangements in this class. We show that the signless coefficients of the characteristic polynomial count Dumont-like permutations with a given number of cycles. This enables us to derive formulas for the generating function of the characteristic polynomial, which reduce to known formulas for the generating functions of the Genocchi numbers and the median Genocchi numbers. As a byproduct of our work, we obtain new models for the Genocchi and median Genocchi numbers.
A characterization of simplicial oriented geometries as groupoids with root systems
This paper shows that simplicial oriented geometries can be characterized as groupoids with root systems having certain favorable properties, as conjectured by the first author. The proof first translates Handa's characterization of oriented matroids, as acycloids which remain acycloids under iterated elementary contractions, into the language of groupoids with root systems, then establishes favorable lattice theoretic properties of a generalization of a construction which Brink and Howlett used in their study of normalizers of parabolic subgroups of Coxeter groups and uses Björner-Edelman-Ziegler's lattice theoretic characterization of simplicial oriented geometries amongst oriented geometries.
Arctic curves of the twenty-vertex model with domain wall boundaries
Published in J Stat Phys 179, 33-89 (2020)
• View Publication
• BIB
We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on the weights and separates a central liquid phase from up to six different frozen phases. A number of numerical simulations are also presented, which highlight the arctic curve phenomenon and corroborate perfectly the analytic predictions of the tangent method. We finally compute the arctic curve of the Quarter-turn symmetric Holey Aztec Domino Tiling (QTHADT) model, a problem closely related to the 20V model and whose asymptotics may be analyzed via a similar tangent method approach. Again results for the QTHADT model are found to be in perfect agreement with our numerical simulations.
Convergence of square tilings to the Riemann map
A well-known theorem of Rodin \& Sullivan, previously conjectured by Thurston, states that the circle packing of the intersection of a lattice with a simply connected planar domain $Ω$ into the unit disc $\mathbb{D}$ converges to a Riemann map from $Ω$ to $\mathbb{D}$ when the mesh size converges to 0. We prove the analogous statement when circle packings are replaced by the square tilings of Brooks et al.