lattice
4310 papers tagged with this keyword
A projective two-weight code related to the simple group ${\rm Co}_1$ of Conway
Published in Graphs and Combin. volume 34 No. 3 (2018) 509-521
• View Publication
• BIB
A binary $[98280, 24, 47104]_2$ projective two-weight code related to the sporadic simple group ${\rm Co}_1$ of Conway is constructed as a faithful and absolutely irreducible submodule of the permutation module induced by the primitive action of ${\rm Co}_1$ on the cosets of ${\rm Co}_2$. The dual code of this code is a uniformly packed $[98280, 98256,3]_2$ code. The geometric significance of the codewords of the code can be traced to the vectors in the Leech lattice, thus revealing that the stabilizer of any non-zero weight codeword in the code is a maximal subgroup of ${\rm Co}_1$. Similarly, the stabilizer of the codewords of minimum weight in the dual code is a maximal subgroup of ${\rm Co}_1$. As by-product, a new strongly regular graph on 16777216 vertices and valency 98280 is constructed using the codewords of the code.
Binomial Inequalities for Chromatic, Flow, and Tension Polynomials
Published in Discrete & Computational Geometry 66, no. 2 (2021), 464-474
• View Publication
• BIB
A famous and wide-open problem, going back to at least the early 1970's, concerns the classification of chromatic polynomials of graphs. Toward this classification problem, one may ask for necessary inequalities among the coefficients of a chromatic polynomial, and we contribute such inequalities when a chromatic polynomial $χ_G(n) = χ^*_0 \binom {n+d} d + χ^*_1 \binom {n+d-1} d + \dots + χ^*_d \binom n d$ is written in terms of a binomial-coefficient basis. For example, we show that $χ^*_{ j } \le χ^*_{ d-j }$, for $0 \le j \le \frac{ d }{ 2 }$. Similar results hold for flow and tension polynomials enumerating either modular or integral nowhere-zero flows/tensions of a graph. Our theorems follow from connections among chromatic, flow, tension, and order polynomials, as well as Ehrhart polynomials of lattice polytopes that admit unimodular triangulations. Our results use Ehrhart inequalities due to Athanasiadis and Stapledon and are related to recent work by Hersh--Swartz and Breuer--Dall, where inequalities similar to some of ours were derived using algebraic-combinatorial methods.
Space of isospectral periodic tridiagonal matrices
Published in Algebr. Geom. Topol. 20 (2020) 2957-2994
• View Publication
• BIB
A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.
Arctic curves for paths with arbitrary starting points: a tangent method approach
Published in J. Phys. A: Math. Theor. 51 355201 (2018)
• View Publication
• BIB
We use the tangent method to investigate the arctic curve in a model of non-intersecting lattice paths with arbitrary fixed starting points aligned along some boundary and whose distribution is characterized by some arbitrary piecewise differentiable function. We find that the arctic curve has a simple explicit parametric representation depending of this function, providing us with a simple transform that maps the arbitrary boundary condition to the arctic curve location. We discuss generic starting point distributions as well as particular freezing ones which create additional frozen domains adjacent to the boundary, hence new portions for the arctic curve. A number of examples are presented, corresponding to both generic and freezing distributions.
Lattice Walk Enumeration
Trying to enumerate all of the walks in a 2D lattice is a fun combinatorial problem and there are numerous applications, from polymers to sports. Computers provide a wonderful tool for analyzing these walks; we provide a Maple package for automatically describing generating functions of walks restricted to any step set in a 2D lattice. We always obtain a closed system of relations for generating functions of walks that are bounded, semi-bounded, or unbounded. For bounded walks, this leads to explicit rational solutions! For semi-bounded or unbounded walks, we may get lucky and obtain algebraic solutions; if not, we still have a short self-referential description of the generating function.
Cubical rectangles and rectangular lattices
Cubical rectangles are being defined and explored here over the $n-$dimensional geometric cube $Q_n.$ They form a new class of geometric objects that includes all the edges and all the squares of the $n-$cube. We enumerate and characterize them here in order to construct new posets, transforming into special lattices that will be called rectangular lattices. We show that rectangular lattices are closely related to the class of cubical lattices, that is, the face lattice of the $n-$cube.
A sequent calculus for a semi-associative law
Published in Logical Methods in Computer Science, Volume 15, Issue 1 (February 5, 2019) lmcs:4406
• View Publication
• BIB
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law (equivalently, right rotation). We establish a focusing property for this sequent calculus (a strengthening of cut-elimination), which yields the following coherence theorem: every valid entailment in the Tamari order has exactly one focused derivation. We then describe two main applications of the coherence theorem, including: 1. A new proof of the lattice property for the Tamari order, and 2. A new proof of the Tutte-Chapoton formula for the number of intervals in the Tamari lattice $Y_n$.
Correlation Functions as Nests of Self-Avoiding Paths
Published in J. Math. Sci., Vol. 238, No. 6 (2019), 779-792
• View Publication
• BIB
We discuss connection between the XXZ Heisenberg spin chain in the limiting case of zero anisotropy and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to calculation of the correlation functions. We provide a combinatorial derivation of the dynamical correlation functions of the projection operator in terms of nests of self-avoiding lattice paths.
Colouring set families without monochromatic k-chains
Published
• View Publication
• BIB
A coloured version of classic extremal problems dates back to Erdős and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erdős--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erdős' extension to $k$-chain-free families.
Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.
A Note on Bootstrap Percolation Thresholds in Plane Tilings using Regular Polygons
Published in Australasian J. Combinatorics. Vol. 74(3), 2019, pp. 486-497
• Search Publication
In \emph{$k$-bootstrap percolation}, we fix $p\in (0,1)$, an integer $k$, and a plane graph $G$. Initially, we infect each face of $G$ independently with probability $p$. Infected faces remain infected forever, and if a healthy (uninfected) face has at least $k$ infected neighbors, then it becomes infected. For fixed $G$ and $p$, the \emph{percolation threshold} is the largest $k$ such that eventually all faces become infected, with probability at least $1/2$. For a large class of infinite graphs, we show that this threshold is independent of $p$.
We consider bootstrap percolation in tilings of the plane by regular polygons. A \emph{vertex type} in such a tiling is the cyclic order of the faces that meet a common vertex. First, we determine the percolation threshold for each of the Archimedean lattices. More generally, let $\mathcal{T}$ denote the set of plane tilings $T$ by regular polygons such that if $T$ contains one instance of a vertex type, then $T$ contains infinitely many instances of that type. We show that no tiling in $\mathcal{T}$ has threshold 4 or more. Further, the only tilings in $\mathcal{T}$ with threshold 3 are four of the Archimedean lattices. Finally, we describe a large subclass of $\mathcal{T}$ with threshold 2.
Saturated Fully Leafed Tree-Like Polyforms and Polycubes
Published
• View Publication
• BIB
We present recursive formulas giving the maximal number of leaves in tree-like polyforms living in two-dimensional regular lattices and in tree-like polycubes in the three-dimensional cubic lattice.
We call these tree-like polyforms and polycubes \emph{fully leafed}.
The proof relies on a combinatorial algorithm that enumerates rooted directed trees that we call abundant.
In the last part, we concentrate on the particular case of polyforms and polycubes, that we call \emph{saturated}, which is the family of fully leafed structures that maximize the ratio
$\mbox{(number of leaves)}/\mbox{ (number of cells)}$.
In the polyomino case, we present a bijection between the set of saturated tree-like polyominoes of size $4k+1$ and the set of tree-like polyominoes of size $k$.
We exhibit a similar bijection between the set of saturated tree-like polycubes of size $41k+28$ and a family of polycubes, called $4$-trees, of size $3k+2$.
On difference graphs and the local dimension of posets
Published in European Journal of Combinatorics 86, 1--13, 2020
• View Publication
• BIB
The dimension of a partially-ordered set (poset), introduced by Dushnik and Miller (1941), has been studied extensively in the literature. Recently, Ueckerdt (2016) proposed a variation called local dimension which makes use of partial linear extensions. While local dimension is bounded above by dimension, they can be arbitrarily far apart as the dimension of the standard example is $n$ while its local dimension is only $3$.
Hiraguchi (1955) proved that the maximum dimension of a poset of order $n$ is $n/2$. However, we find a very different result for local dimension, proving a bound of $Θ(n/\log n)$. This follows from connections with covering graphs using difference graphs which are bipartite graphs whose vertices in a single class have nested neighborhoods.
We also prove that the local dimension of the $n$-dimensional Boolean lattice is $Ω(n/\log n)$ and make progress toward resolving a version of the removable pair conjecture for local dimension.
Characterising knotting properties of polymers in nanochannels
Published
• View Publication
• BIB
Using a lattice model of polymers in a tube, we define one way to characterise different configurations of a given knot as either "local" or "non-local" and, for several ring polymer models, we provide both theoretical and numerical evidence that, at equilibrium, the non-local configurations are more likely than the local ones. These characterisations are based on a standard approach for measuring the "size" of a knot within a knotted polymer chain. The method involves associating knot-types to subarcs of the chain, and then identifying a knotted subarc with minimal arclength; this arclength is then the knot-size. If the resulting knot-size is small relative to the whole length of the chain, then the knot is considered to be localised or "local". If on the other hand the knot-size is comparable to the length of the chain, then the knot is considered to be "non-local".
Using this definition, we establish that all but exponentially few sufficiently long self-avoiding polygons (closed chains) in a tubular sublattice of the simple cubic lattice are "non-locally" knotted. This is shown to also hold for the case when the same polygons are subject to an external tensile force, as well as in the extreme case when they are as compact as possible (no empty lattice sites). We also provide numerical evidence for small tube sizes that at equilibrium non-local knotting is more likely than local knotting, regardless of the strength of the stretching or compressing force. We note however that because of the tube confinement, the occurrence of non-local knotting in walks (open chains) is significantly different than for polygons. The relevance of these results to recent experiments involving DNA knots in solid-state nanopores is also discussed.
A positive formula for the Ehrhart-like polynomials from root system chip-firing
Published in Algebraic Combinatorics, 2(6), 2019
• View Publication
• BIB
In earlier work in collaboration with Pavel Galashin and Thomas McConville we introduced a version of chip-firing for root systems. Our investigation of root system chip-firing led us to define certain polynomials analogous to Ehrhart polynomials of lattice polytopes, which we termed the symmetric and truncated Ehrhart-like polynomials. We conjectured that these polynomials have nonnegative integer coefficients. Here we affirm "half" of this positivity conjecture by providing a positive, combinatorial formula for the coefficients of the symmetric Ehrhart-like polynomials. This formula depends on a subtle integrality property of slices of permutohedra, and in turn a lemma concerning dilations of projections of root polytopes, which both may be of independent interest. We also discuss how our formula very naturally suggests a conjecture for the coefficients of the truncated Ehrhart-like polynomials that turns out to be false in general, but which may hold in some cases.
The cone of supermodular games on finite distributive lattices
Published
• View Publication
• BIB
In this article we study supermodular functions on finite distributive lattices. Relaxing the assumption that the domain is a powerset of a finite set, we focus on geometrical properties of the polyhedral cone of such functions. Specifically, we generalize the criterion for extremality and study the face lattice of the supermodular cone. An explicit description of facets by the corresponding tight linear inequalities is provided.
An Introduction to the Moebius Function
This is an introduction to the Möbius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their Möbius functions. We derive the basic results on the Möbius function, applying them in particular to geometric lattices.
Trianguloids and Triangulations of Root Polytopes
Published
• View Publication
• BIB
Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of root polytopes.
Combinatorial analogs of topological zeta functions
Published
• View Publication
• BIB
In this article we introduce a new matroid invariant, a combinatorial analog of the topological zeta function of a polynomial. More specifically we associate to any ranked, atomic meet-semilattice L a rational function Z(L,s), in such a way that when L is the lattice of flats of a complex hyperplane arrangement we recover the usual topological zeta function. The definition is in terms of a choice of a combinatorial analog of resolution of singularities, and the main result is that Z(L,s) does not depend on this choice and depends only on L. Known properties of the topological zeta function provide a source of potential complex realisability test for matroids.
Local optimality of Zaks-Perles-Wills simplices
Published
• View Publication
• BIB
In 1982, Zaks, Perles and Wills discovered a d-dimensional lattice simplex S_{d,k} with k interior lattice points, whose volume is linear in k and doubly exponential in the dimension d. It is conjectured that, for all d \ge 3 and k \ge 1, the simplex S_{d,k} is a volume maximizer in the family P^d(k) of all d-dimensional lattice polytopes with k interior lattice points. To obtain a partial confirmation of this conjecture, one can try to verify it for a subfamily of P^d(k) that naturally contains S_{d,k} as one of the members. Currently, one does not even know whether S_{d,k} is optimal within the family S^d(k) of all d-dimensional lattice simplices with k interior lattice points. In view of this, it makes sense to look at even narrower families, for example, some subfamilies of S^d(k). The simplex S_{d,k} of Zaks, Perles and Wills has a facet with only one lattice point in the relative interior. We show that S_{d,k} is a volume maximizer in the family of simplices S \in S^d(k) that have a facet with one lattice point in its relative interior. We also show that, in the above family, the volume maximizer is unique up to unimodular transformations.
Parallel Translates of Represented Matroids
Published
• View Publication
• BIB
Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.