lattice
4310 papers tagged with this keyword
Riemann-Roch for Sub-Lattices of the Root Lattice $A_n$
Published
• View Publication
• BIB
Recently, Baker and Norine {Advances in Mathematics, 215(2): 766-788, 2007} found new analogies between graphs and Riemann surfaces by developing a Riemann-Roch machinery on a finite graph $G$. In this paper, we develop a general Riemann-Roch Theory for sub-lattices of the root lattice $A_n$ by following the work of Baker and Norine, and establish connections between the Riemann-Roch theory and the Voronoi diagrams of lattices under certain simplicial distance functions. In this way, we rediscover the work of Baker and Norine from a geometric point of view and generalise their results to other sub-lattices of $A_n$. In particular, we provide a geometric approach for the study of the Laplacian of graphs. We also discuss some problems on classification of lattices with a Riemann-Roch formula as well as some related algorithmic issues.
Lattice of integer flows and poset of strongly connected orientations
We show that the Voronoi cells of the lattice of integer flows of a finite connected graph $G$ in the quadratic vector space of real valued flows have the following very precise combinatorics: the face poset of a Voronoi cell is isomorphic to the poset of strongly connected orientations of subgraphs of $G$. This confirms a conjecture of Caporaso and Viviani {Torelli Theorem For Graphs and Tropical Curves, Duke Math. J. 153(1) (2010), 129-171}.
Schnyder decompositions for regular plane graphs and application to drawing
Published in Algorithmica 62 (2012) pp 1159-1197
• View Publication
• BIB
Schnyder woods are decompositions of simple triangulations into three edge-disjoint spanning trees crossing each other in a specific way. In this article, we define a generalization of Schnyder woods to $d$-angulations (plane graphs with faces of degree $d$) for all $d\geq 3$. A \emph{Schnyder decomposition} is a set of $d$ spanning forests crossing each other in a specific way, and such that each internal edge is part of exactly $d-2$ of the spanning forests. We show that a Schnyder decomposition exists if and only if the girth of the $d$-angulation is $d$. As in the case of Schnyder woods ($d=3$), there are alternative formulations in terms of orientations ("fractional" orientations when $d\geq 5$) and in terms of corner-labellings. Moreover, the set of Schnyder decompositions on a fixed $d$-angulation of girth $d$ is a distributive lattice. We also show that the structures dual to Schnyder decompositions (on $d$-regular plane graphs of mincut $d$ rooted at a vertex $v^*$) are decompositions into $d$ spanning trees rooted at $v^*$ such that each edge not incident to $v^*$ is used in opposite directions by two trees. Additionally, for even values of $d$, we show that a subclass of Schnyder decompositions, which are called even, enjoy additional properties that yield a reduced formulation; in the case d=4, these correspond to well-studied structures on simple quadrangulations (2-orientations and partitions into 2 spanning trees). In the case d=4, the dual of even Schnyder decompositions yields (planar) orthogonal and straight-line drawing algorithms. For a 4-regular plane graph $G$ of mincut 4 with $n$ vertices plus a marked vertex $v$, the vertices of $G\backslash v$ are placed on a $(n-1) \times (n-1)$ grid according to a permutation pattern, and in the orthogonal drawing each of the $2n-2$ edges of $G\backslash v$ has exactly one bend. Embedding also the marked vertex $v$ is doable at the cost of two additional rows and columns and 8 additional bends for the 4 edges incident to $v$. We propose a further compaction step for the drawing algorithm and show that the obtained grid-size is strongly concentrated around $25n/32\times 25n/32$ for a uniformly random instance with $n$ vertices.
Isotropic subspaces of Orlik-Solomon algebras
Published
• View Publication
• BIB
We give a combinatorial characterization of isotropic subspaces in the Orlik- Solomon algebra of a hyperplane arrangement in terms of decorations of its intersection lattice. We then use this characterization to prove a result that relates these isotropic subspaces with linear systems supported on the arrangement, for arrangements with isolated non-normal crossings of a particular form.
On well-rounded sublattices of the hexagonal lattice
Published in Discrete Mathematics, vol. 310 no. 23 (2010), pg. 3287--3302
• View Publication
• BIB
We produce an explicit parameterization of well-rounded sublattices of the hexagonal lattice in the plane, splitting them into similarity classes. We use this parameterization to study the number, the greatest minimal norm, and the highest signal-to-noise ratio of well-rounded sublattices of the hexagonal lattice of a fixed index. This investigation parallels earlier work by Bernstein, Sloane, and Wright where similar questions were addressed on the space of all sublattices of the hexagonal lattice. Our restriction is motivated by the importance of well-rounded lattices for discrete optimization problems. Finally, we also discuss the existence of a natural combinatorial structure on the set of similarity classes of well-rounded sublattices of the hexagonal lattice, induced by the action of a certain matrix monoid.
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to the Tutte type polynomials of graphs
Published
• View Publication
• BIB
A common generalization for the chromatic polynomial and the flow polynomial of a graph $G$ is the Tutte polynomial $T(G;x,y)$. The combinatorial meaning for the coefficients of $T$ was discovered by Tutte at the beginning of its definition. However, for a long time the combinatorial meaning for the values of $T$ is missing, except for a few values such as $T(G;i,j)$, where $1\leq i,j\leq 2$, until recently for $T(G;1,0)$ and $T(G;0,1)$. In this third one of a series of papers, we introduce product valuations, cartesian product arrangements, and multivariable characteristic polynomials, and apply the theory of product arrangement to the tension-flow group associated with graphs. Three types of tension-flows are studied in details: elliptic, parabolic, and hyperbolic; each type produces a two-variable polynomial for graphs. Weighted polynomials are introduced and their reciprocity laws are obtained. The dual versions for the parabolic case turns out to include Whitney's rank generating polynomial and the Tutte polynomial as special cases. The product arrangement part is of interest for its own right. The application part to graphs can be modified to matroids.
Catalan lattices on series parallel interval orders
Published
• View Publication
• BIB
Using the notion of series parallel interval order, we propose a unified setting to describe Dyck lattices and Tamari lattices (two well known lattice structures on Catalan objects) in terms of basic notions of the theory of posets. As a consequence of our approach, we find an extremely simple proof of the fact that the Dyck order is a refinement of the Tamari one. Moreover, we provide a description of both the weak and the strong Bruhat order on 312-avoiding permutations, by recovering the proof of the fact that they are isomorphic to the Tamari and the Dyck order, respectively; our proof, which simplifies the existing ones, relies on our results on series parallel interval orders.
Lattices freely generated by posets within a variety. Part II: Finitely generated varieties
This article is the second part of an essay dedicated to lattices freely generated by posets within a variety. The first part dealt with four easy varieties while this part is concerned with finitely generated varieties. Here we present a method of constructing a subdirect product L of a finite family F of finite lattices, exploiting a set of special elements of L deducted from F. This method is applied to free lattices generated by posets within finitely generated varieties, where in the case of the variety of modular lattices, we elaborate an efficient algorithm to compute the modular lattice M freely generated by a poset. For some posets of order six, the cardinality of M is listed.
Skew quasisymmetric Schur functions and noncommutative Schur functions
Published in Adv. Math., 226:4492--4532 (2011)
• View Publication
• BIB
Recently a new basis for the Hopf algebra of quasisymmetric functions $QSym$, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset $\mathcal{L}_C$ that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions $NSym$. This basis of $NSym$ is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map $χ: NSym \rightarrow Sym$. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood-Richardson rule analogue that reduces to the classical Littlewood-Richardson rule under $χ$.
As an application we show that the morphism of algebras from the algebra of Poirier-Reutenauer to $Sym$ factors through $NSym$. We also extend the definition of Schur functions in noncommuting variables of Rosas-Sagan in the algebra $NCSym$ to define quasisymmetric Schur functions in the algebra $NCQSym$. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling $\mathcal{L}_C$, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.
The connective constant of the honeycomb lattice equals $\sqrt{2+\sqrt2}$
Published
• View Publication
• BIB
We provide the first mathematical proof that the connective constant of the hexagonal lattice is equal to $\sqrt{2+\sqrt 2}$. This value has been derived non rigorously by B. Nienhuis in 1982, using Coulomb gas approach from theoretical physics. Our proof uses a parafermionic observable for the self avoiding walk, which satisfies a half of the discrete Cauchy-Riemann relations. Establishing the other half of the relations (which conjecturally holds in the scaling limit) would also imply convergence of the self-avoiding walk to SLE(8/3).
Notes on lattice points of zonotopes and lattice-face polytopes
Published
• View Publication
• BIB
Minkowski's second theorem on successive minima gives an upper bound on the volume of a convex body in terms of its successive minima. We study the problem to generalize Minkowski's bound by replacing the volume by the lattice point enumerator of a convex body. In this context we are interested in bounds on the coefficients of Ehrhart polynomials of lattice polytopes via the successive minima. Our results for lattice zonotopes and lattice-face polytopes imply, in particular, that for 0-symmetric lattice-face polytopes and lattice parallelepipeds the volume can be replaced by the lattice point enumerator.
Local Statistics of Realizable Vertex Models
Published in Communications in Mathematical Physics, Volume 304, Number 3, 723-763, 2011
• View Publication
• BIB
We study planar "vertex" models, which are probability measures on edge subsets of a planar graph, satisfying certain constraints at each vertex, examples including dimer model, and 1-2 model, which we will define. We express the local statistics of a large class of vertex models on a finite hexagonal lattice as a linear combination of the local statistics of dimers on the corresponding Fisher graph, with the help of a generalized holographic algorithm. Using an $n\times n$ torus to approximate the periodic infinite graph, we give an explicit integral formula for the free energy and local statistics for configurations of the vertex model on an infinite bi-periodic graph. As an example, we simulate the 1-2 model by the technique of Glauber dynamics.
Prime ideals in decomposable lattices
A distributive lattice $L$ with minimum element $0$ is called decomposable lattice if $a$ and $b$ are not comparable elements in $L$ there exist $\overline{a},\overline{b}\in L$ such that $a=\overline{a}\vee(a\wedge b), b=\overline{b}\vee(a\wedge b)$ and $\overline{a}\wedge \overline{b}=0$. The main purpose of this paper is to investigate prime ideals, minimal prime ideals and special ideals of a decomposable lattice. These are keys to understand the algebraic structure of decomposable lattices.
Toric Ideals of Lattice Path Matroids and Polymatroids
Published
• View Publication
• BIB
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.
Convex-Ear Decompositions and the Flag h-Vector
Published
• View Publication
• BIB
We prove a theorem allowing us to find convex-ear decompositions for rank-selected subposets of posets that are unions of Boolean sublattices in a coherent fashion. We then apply this theorem to geometric lattices and face posets of shellable complexes, obtaining new inequalities for their h-vectors. Finally, we use the latter decomposition to prove new inequalities for the flag h-vectors of face posets of Cohen-Macaulay complexes.
The codes and the lattices of Hadamard matrices
Published in Europ. J. Combin. 33 (2012), 519-533
• View Publication
• BIB
It has been observed by Assmus and Key as a result of the complete classification of Hadamard matrices of order 24, that the extremality of the binary code of a Hadamard matrix H of order 24 is equivalent to the extremality of the ternary code of H^T. In this note, we present two proofs of this fact, neither of which depends on the classification. One is a consequence of a more general result on the minimum weight of the dual of the code of a Hadamard matrix. The other relates the lattices obtained from the binary code and from the ternary code. Both proofs are presented in greater generality to include higher orders. In particular, the latter method is also used to show the equivalence of (i) the extremality of the ternary code, (ii) the extremality of the Z_4-code, and (iii) the extremality of a lattice obtained from a Hadamard matrix of order 48.
Bijections from weighted Dyck paths to Schroeder paths
Published in J. Integer Seq. 13 (2010), no. 9, Article 10.9.2, 20 pp
• Search Publication
Kim and Drake used generating functions to prove that the number of 2-distant noncrossing matchings, which are in bijection with little Schroeder paths, is the same as the weight of Dyck paths in which downsteps from even height have weight 2. This work presents bijections from those Dyck paths to little Schroeder paths, and from a similar set of Dyck paths to big Schroeder paths. We show the effect of these bijections on the corresponding matchings, find generating functions for two new classes of lattice paths, and demonstrate a relationship with 231-avoiding permutations.
The structure of the Boij-Söderberg posets
Published in Proceedings of the American Mathematical Society 139 (2011), no. 6, 2009-2015
• View Publication
• BIB
Boij and Söderberg made a pair of conjectures, which were subsequently proven by Eisenbud and Schreyer and then extended by Boij and Söderberg, about the structure of Betti diagrams of Graded modules. In the theory, a particular family of posets, and their associated order complexes, play an integral role. We explore the structure of this family. In particular, we show the posets are bounded complete lattices and the order complexes are vertex-decomposable, hence Cohen-Macaulay and squarefree glicci.
Sharpness of Falconer's estimate in continuous and arithmetic settings, geometric incidence theorems and distribution of lattice points in convex domains
In this paper we prove, for all $d \ge 2$, that for no $s<\frac{d+1}{2}$ does $I_s(μ)<\infty$ imply the canonical Falconer distance problem incidence bound, or the analogous estimate where the Euclidean norm is replaced by the norm generated by a particular convex body $B$ with a smooth boundary and everywhere non-vanishing curvature. Our construction, based on a combinatorial construction due to Pavel Valtr naturally leads us to some interesting connections between the problem under consideration, geometric incidence theorem in the discrete setting and distribution of lattice points in convex domains.
We also prove that an example by Mattila can be discretized to produce a set of points and annuli for which the number of incidences is much greater than in the case of the lattice. In particular, we use the known results on the Gauss Circle Problem and a discretized version of Mattila's example to produce a non-lattice set of points and annuli where the number of incidences is much greater than in the case of the standard lattice.
Finally, we extend Valtr's example into the setting of vector spaces over finite fields and show that a finite field analog of the key incidence bound is also sharp.
Bounds for solid angles of lattices of rank three
Published in Journal of Combinatorial Theory A, vol. 118 no. 2 (2011) pg. 690--701
• View Publication
• BIB
We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.