lattice
4310 papers tagged with this keyword
On Directed Lattice Paths With Additional Vertical Steps
The paper is devoted to the study of lattice paths that consist of vertical steps $(0,-1)$ and non-vertical steps $(1,k)$ for some $k\in \mathbb Z$. Two special families of primary and free lattice paths with vertical steps are considered. It is shown that for any family of primary paths there are equinumerous families of proper weighted lattice paths that consist of only non-vertical steps. The relation between primary and free paths is established and some combinatorial and statistical properties are obtained. It is shown that the expected number of vertical steps in a primary path running from $(0,0)$ to $(n,-1)$ is equal to the number of free paths running from $(0,0)$ to $(n,0)$. Enumerative results with generating functions are given. Finally, a few examples of families of paths with vertical steps are presented and related to Łukasiewicz, Motzkin, Dyck and Delannoy paths.
Surface subgroups on 1-vertex and 3-vertex polyhedra forming triangular hyperbolic buildings
In this article we study surface subgroups of groups acting simply transitively on vertex sets of certain hyperbolic triangular buildings. Kangaslampi and Vdovina have constructed and classified all groups acting simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. These groups gave the first examples of cocompact lattices acting simply transitively on vertices of hyperbolic triangular Kac-Moody buildings that are not right-angled. The hyperbolic buildings arise as universal covers of polyhedra glued together from with 15 triangular faces with words written on the boundary. Later they proved, that most of the obtained 23 torsion free groups do not admit periodic planes of genus 2. Here we take another approach to study surface subgroups of these groups. Namely, we consider first 2-cycles in the 1-vertex polyhedron defined by the triangles, then in the 3-vertex cover of this polyhedron. As a result we find surface subgroups in three of the 23 torsion free groups.
Exact solution of the $2d$ dimer model: Corner free energy, correlation functions and combinatorics
Published
• View Publication
• BIB
In this work, some classical results of the pfaffian theory of the dimer model based on the work of Kasteleyn, Fisher and Temperley are introduced in a fermionic framework. Then we shall detail the bosonic formulation of the model {\it via} the so-called height mapping and the nature of boundary conditions is unravelled. The complete and detailed fermionic solution of the dimer model on the square lattice with an arbitrary number of monomers is presented, and finite size effect analysis is performed to study surface and corner effects, leading to the extrapolation of the central charge of the model. The solution allows for exact calculations of monomer and dimer correlation functions in the discrete level and the scaling behavior can be inferred in order to find the set of scaling dimensions and compare to the bosonic theory which predict particular features concerning corner behaviors. Finally, some combinatorial and numerical properties of partition functions with boundary monomers are discussed, proved and checked with enumeration algorithms.
Stanley depth and simplicial spanning trees
We show that for proving the Stanley conjecture, it is sufficient to consider a very special class of monomial ideals. These ideals (or rather their lcm lattices) are in bijection with the simplicial spanning trees of skeletons of a simplex.
We apply this result to verify the Stanley conjecture for quotients of monomial ideals with up to six generators. For seven generators we obtain a partial result.
A Preliminary Report on Scarf Complexes of Posets
The Scarf complex for lattices is well understood and utilized. In 2014, the author expanded the use of the term Scarf complex to encompass an infinite set in $\mathbb{Z}^n$ that was generated via an action of a lattice $Λ\in\mathbb{Z}^n$ upon a finite subset $A\subset\mathbb{N}^n$. This paper aims to further generalize the use of Scarf complex by removing the integer lattice completely while maintaining the essence of the Scarf complex.
A combinatorial interpretation for Schreyer's tetragonal invariants
Published
• View Publication
• BIB
Schreyer has proved that the graded Betti numbers of a canonical tetragonal curve are determined by two integers $b_1$ and $b_2$, associated to the curve through a certain geometric construction. In this article we prove that in the case of a smooth projective tetragonal curve on a toric surface, these integers have easy interpretations in terms of the Newton polygon of its defining Laurent polynomial. We can use this to prove an intrinsicness result on Newton polygons of small lattice width.
Automated conjecturing of Frobenius numbers via grammatical evolution
Published in Exp. Math. 26 (2017), no. 2, 247-252
• View Publication
• BIB
Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes how one can interpret the Frobenius problem as a symbolic regression problem, and then apply grammatical evolution to it. In this manner, a few formulas for Frobenius numbers of specific quadruples were found automatically. The sketch of the proof for one conjectured formula, using lattice point enumeration method, is provided as well.
Same method can easily be used on other problems to speed up and enhance the research process.
Graph properties of graph associahedra
Published in Sém. Lothar. Combin., B73d, 31 pp., 2015
• Search Publication
A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra.
On the structure of graphs which are locally indistinguishable from a lattice
Published
• View Publication
• BIB
We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$. This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$, the $d$-dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$, for each integer $d \geq 3$. These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$-regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.
A bound for the splitting of smooth Fano polytopes with many vertices
Published
• View Publication
• BIB
The classification of toric Fano manifolds with large Picard number corresponds to the classification of smooth Fano polytopes with large number of vertices. A smooth Fano polytope is a polytope that contains the origin in its interior such that the vertex set of each facet forms a lattice basis. Casagrande showed that any smooth $d$-dimensional Fano polytope has at most $3d$ vertices. Smooth Fano polytopes in dimension $d$ with at least $3d-2$ vertices are completely known. The main result of this paper deals with the case of $3d-k$ vertices for $k$ fixed and $d$ large. It implies that there is only a finite number of isomorphism classes of toric Fano $d$-folds $X$ (for arbitrary $d$) with Picard number $2d-k$ such that $X$ is not a product of a lower-dimensional toric Fano manifold and the projective plane blown up in three torus-invariant points. This verifies the qualitative part of a conjecture in a recent paper by the first author, Joswig, and Paffenholz.
Lattice 3-polytopes with few lattice points
Published in SIAM J. Discrete Math. 30(2) (2016), 669-686
• View Publication
• BIB
We extend White's classification of empty tetrahedra to the complete classification of lattice $3$-polytopes with five lattice points, showing that, apart from infinitely many of width one, there are exactly nine equivalence classes of them with width two and none of larger width. We also prove that, for each $n\in \mathbb{N}$, there is only a finite number of (classes of) lattice $3$-polytopes with $n$ lattice points and of width larger than one. This implies that extending the present classification to larger sizes makes sense, which is the topic of subsequent papers of ours.
Crosscut-simplicial Lattices
Published in ORDER (2016)
• View Publication
• BIB
We call a lattice crosscut-simplicial if the crosscut complex of every atomic interval is equal to the boundary of a simplex. Every interval of such a lattice is either contractible or homotopy equivalent to a sphere. Recently, Hersh and Meszaros introduced SB-labellings and proved that if a lattice has an SB-labelling then it is crosscut-simplicial. Some known examples of lattices with a natural SB-labelling include the join-distributive lattices, the weak order of a Coxeter group, and the Tamari lattice. Generalizing these three examples, we prove that every meet-semidistributive lattice is crosscut-simplicial, though we do not know whether all such lattices admit an SB-labelling. While not every crosscut-simplicial lattice is meet-semidistributive, we prove that these properties are equivalent for chamber posets of real hyperplane arrangements.
The Enumerative Geometry of Hyperplane Arrangements
We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mnëv's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree $N=\mathrm{deg} \mathcal{M}(L)$, which can be interpreted as the number of arrangements in $\mathcal{M}(L)$ that pass through $D$ points in general position. For generic arrangements $N$ can be computed combinatorially and this number also appears in the study of the Chow variety of zero dimensional cycles. We compute $D$ and $N$ using Schubert calculus in the case where $L$ is the intersection lattice of the arrangement obtained by taking multiple cones over a generic arrangement. We also calculate the characteristic numbers for families of generic arrangements in $\mathbb{P}^2$ with 3 and 4 lines.
Congruence Lattices of Certain Finite Algebras with Three Commutative Binary Operations
A partial algebra construction of Grätzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that every finite distributive lattice is representable, seen as a special case of the Finite Lattice Representation Problem.
The construction of this proof brings together Birkhoff's representation theorem for finite distributive lattices, an emphasis on boolean lattices when representing finite lattices, and a perspective based on inequalities of partially ordered sets. It may be possible to generalize the techniques used in this approach.
Other than the aforementioned representation theorem only elementary tools are used for the two theorems of this note. In particular there is no reliance on group theoretical concepts or techniques (see Péter Pál Pálfy and Pavel Pudĺak), or on well-known methods, used to show certain finite lattice to be representable (see William J. DeMeo), such as the closure method.
Parametric Polyhedra with at least $k$ Lattice Points: Their Semigroup Structure and the k-Frobenius Problem
Published
• View Publication
• BIB
Given an integral $d \times n$ matrix $A$, the well-studied affine semigroup $\mbox{ Sg} (A)=\{ b : Ax=b, \ x \in {\mathbb Z}^n, x \geq 0\}$ can be stratified by the number of lattice points inside the parametric polyhedra $P_A(b)=\{x: Ax=b, x\geq0\}$. Such families of parametric polyhedra appear in many areas of combinatorics, convex geometry, algebra and number theory. The key themes of this paper are: (1) A structure theory that characterizes precisely the subset $\mbox{ Sg}_{\geq k}(A)$ of all vectors $b \in \mbox{ Sg}(A)$ such that $P_A(b) \cap {\mathbb Z}^n $ has at least $k$ solutions. We demonstrate that this set is finitely generated, it is a union of translated copies of a semigroup which can be computed explicitly via Hilbert bases computations. Related results can be derived for those right-hand-side vectors $b$ for which $P_A(b) \cap {\mathbb Z}^n$ has exactly $k$ solutions or fewer than $k$ solutions. (2) A computational complexity theory. We show that, when $n$, $k$ are fixed natural numbers, one can compute in polynomial time an encoding of $\mbox{ Sg}_{\geq k}(A)$ as a multivariate generating function, using a short sum of rational functions. As a consequence, one can identify all right-hand-side vectors of bounded norm that have at least $k$ solutions. (3) Applications and computation for the $k$-Frobenius numbers. Using Generating functions we prove that for fixed $n,k$ the $k$-Frobenius number can be computed in polynomial time. This generalizes a well-known result for $k=1$ by R. Kannan. Using some adaptation of dynamic programming we show some practical computations of $k$-Frobenius numbers and their relatives.
Sidon Sets, Difference Sets, and Codes in $ A_n $ Lattices
This chapter investigates the properties of (linear) codes in $ A_n $ lattices, the practical motivation for which is found in several communication scenarios, such as asymmetric channels, sticky-insertion channels, bit-shift channels, and permutation channels. In particular, a connection between these codes and notions of difference sets and Sidon sets in Abelian groups is demonstrated. It is shown that the $ A_n $ lattice admits a linear perfect code of radius $ 1 $ if and only if there exists an Abelian planar difference set of cardinality $ n + 1 $. Similarly, a direct link is given between linear codes of radius $ r $ in the $ A_n $ lattice and Sidon sets of order $ 2r $ and cardinality $ n + 1 $. Sidon sets of order $ 2r-1 $ are also represented geometrically in a similar way. Apart from providing geometric intuition about Sidon sets, this interpretation enables simple derivations of bounds on their parameters, which are either equivalent to, or improve upon the known bounds. In connection to the above, more general (non-planar) Abelian difference sets and perfect codes of radius $ r $ are also discussed.
On Hilbert bases of cuts
Published
• View Publication
• BIB
A Hilbert basis is a set of vectors X such that the integer cone (semigroup) generated by X is the intersection of the lattice generated by X with the cone generated by X. Define a graph to be (cut) Hilbert if its set of cuts forms a Hilbert basis. We show that the Hilbert property is not closed under edge deletions, subdivisions, nor 2-sums. Furthermore, no graph having K_6-e as a minor is Hilbert. This corrects an error in [M. Laurent. Hilbert bases of cuts. Discrete Math., 150(1-3):257-279 (1996)]. For positive results, we give conditions under which the 2-sum of two graphs produces a Hilbert graph. Using these conditions we show that all H-minor-free graphs are Hilbert , where H is the unique 3-connected graph obtained by uncontracting an edge of K_5. We also establish a relationship between edge deletion and subdivision. Namely, if G' is obtained from a Hilbert graph G by subdividing an edge e two or more times, then G-e is Hilbert if and only if G' is Hilbert.
A Lattice Path Interpretation of the Diamond Product
Published
• View Publication
• BIB
The diamond product is the poset operation that when applied to the face lattices of two polytopes results in the face lattice of the Cartesian product of the polytopes. Application of the diamond product to two Eulerian posets is a bilinear operation on the cd-indices of the two posets, yielding a product on cd-polynomials. A lattice path interpretation is provided for this product of two cd-monomials.
Non-Archimedean Whittaker functions as characters: a probabilistic approach to the Shintani-Casselman-Shalika formula
Published in Int Math Res Notices (2016)
• View Publication
• BIB
For a reductive group $G$ over a non-Archimedean local field (e.g $GL_n( \mathbb{Q}_p )$ ), Jacquet's Whittaker function is essentially proportional to a character of an irreducible representation of the Langlands dual group $G^\vee( \mathbb{C} )$ ( a Schur function if $G = GL_n( \mathbb{Q}_p )$). We propose a probabilistic approach to this claim, known as the Shintani-Casselman-Shalika formula, when the group $G$ has at least one minuscule cocharacter in the coweight lattice.
Our presentation goes along the following lines. Thanks to a minuscule random walk $W^{(z)}$ on the coweight lattice and a related random walk on the Borel subgroup, we establish a Poisson kernel formula for the non-Archimedean Whittaker function. The expression and its ingredients are similar to the one previously obtained by the author in the Archimedean case. A simple manipulation reduces the problem to evaluating the probability of $W^{(z)}$ never exiting the Weyl chamber. Then, an implementation of the reflection principle forces the appearance of the Weyl character formula and therefore retrieves characters of $G^\vee\left( \mathbb{C} \right)$.
The construction of the random walk on the Borel subgroup requires some care. It is extracted from a spherical random walk whose increments have a distribution that can be understood as elements from the spherical Hecke algebra.
Moduli of Tropical Plane Curves
Published in Res. Math. Sci. 2:4 (2015)
• View Publication
• BIB
We study the moduli space of metric graphs that arise from tropical plane curves. There are far fewer such graphs than tropicalizations of classical plane curves. For fixed genus $g$, our moduli space is a stacky fan whose cones are indexed by regular unimodular triangulations of Newton polygons with $g$ interior lattice points. It has dimension $2g+1$ unless $g \leq 3$ or $g = 7$. We compute these spaces explicitly for $g \leq 5$.