lattice
4310 papers tagged with this keyword
Tiling Lattices with Sublattices, II
Our earlier article proved that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. We re-prove this Theorem, this time using generating functions. We also show that for $d \geq 1$, not every finite tiling of $Z^d$ by lattices can be obtained from the trivial tiling by the process of repeatedly subdividing a tile into sub-tiles that are translates of one another.
Generalized permutohedra, h-vector of cotransversal matroids and pure O-sequences
Published
• View Publication
• BIB
Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.
Degenerations and orbits in finite abelian groups
Published in Journal of Combinatorial Theory, Series A, Volume 118, Issue 6, August 2011, Pages 1685-1694
• View Publication
• BIB
A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition $λ$, the lattice parametrizing orbits in a finite abelian p-group of type $λ$ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.
Gorenstein polytopes and their stringy E-functions
Published
• View Publication
• BIB
Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these concepts relate to the decomposition of nef-partitions.
Hitting times for random walks with restarts
Published
• View Publication
• BIB
The time it takes a random walker in a lattice to reach the origin from another vertex $x$, has infinite mean. If the walker can restart the walk at $x$ at will, then the minimum expected hitting time $T(x,0)$ (minimized over restarting strategies) is finite; it was called the ``grade'' of $x$ by Dumitriu, Tetali and Winkler. They showed that, in a more general setting, the grade (a variant of the ``Gittins index'') plays a crucial role in control problems involving several Markov chains. Here we establish several conjectures of Dumitriu et al on the asymptotics of the grade in Euclidean lattices. In particular, we show that in the planar square lattice, $T(x,0)$ is asymptotic to $2|x|^2\log|x|$ as $|x| \to \infty$. The proof hinges on the local variance of the potential kernel $h$ being almost constant on the level sets of $h$. We also show how the same method yields precise second order asymptotics for hitting times of a random walk (without restarts) in a lattice disk.
Dynamical properties of profinite actions
We study profinite actions of residually finite groups in terms of weak containment. We show that two strongly ergodic profinite actions of a group are weakly equivalent if and only if they are isomorphic. This allows us to construct continuum many pairwise weakly inequivalent free actions of a large class of groups, including free groups and linear groups with property (T). We also prove that for chains of subgroups of finite index, Lubotzky's property ($τ$) is inherited when taking the intersection with a fixed subgroup of finite index. That this is not true for families of subgroups in general leads to answering the question of Lubotzky and Zuk, whether for families of subgroups, property ($τ$) is inherited to the lattice of subgroups generated by the family. On the other hand, we show that for families of normal subgroups of finite index, the above intersection property does hold. In fact, one can give explicite estimates on how the spectral gap changes when passing to the intersection. Our results also have an interesting graph theoretical consequence that does not use the language of groups. Namely, we show that an expander covering tower of finite regular graphs is either bipartite or stays bounded away from being bipartite in the normalized edge distance.
Counting Connected Set Partitions of Graphs
Published in The Electronic Journal of Combinatorics 18 (2011) #P14
• View Publication
• BIB
Let $G=(V,E)$ be a simple undirected graph with $n$ vertices then a set partition $π=\{V_1, ..., V_k\}$ of the vertex set of $G$ is a connected set partition if each subgraph $G[V_j]$ induced by the blocks $V_j$ of $π$ is connected for $1\le j\le k$. Define $q_{i}(G)$ as the number of connected set partitions in $G$ with $i$ blocks. The partition polynomial is then $Q(G, x)=\sum_{i=0}^n q_{i}(G)x^i$. This paper presents a splitting approach to the partition polynomial on a separating vertex set $X$ in $G$ and summarizes some properties of the bond lattice. Furthermore the bivariate partition polynomial $Q(G,x,y)=\sum_{i=1}^n \sum_{j=1}^m q_{ij}(G)x^iy^j$ is briefly discussed, where $q_{ij}(G)$ counts the number of connected set partitions with $i$ blocks and $j$ intra block edges. Finally the complexity for the bivariate partition polynomial is proven to be $\sharp P$-hard.
Hyperplane Arrangements and Diagonal Harmonics
Published
• View Publication
• BIB
In 2003, Haglund's {\sf bounce} statistic gave the first combinatorial interpretation of the $q,t$-Catalan numbers and the Hilbert series of diagonal harmonics. In this paper we propose a new combinatorial interpretation in terms of the affine Weyl group of type $A$. In particular, we define two statistics on affine permutations; one in terms of the Shi hyperplane arrangement, and one in terms of a new arrangement - which we call the Ish arrangement. We prove that our statistics are equivalent to the {\sf area'} and {\sf bounce} statistics of Haglund and Loehr. In this setting, we observe that {\sf bounce} is naturally expressed as a statistic on the root lattice. We extend our statistics in two directions: to "extended" Shi arrangements and to the bounded chambers of these arrangements. This leads to a (conjectural) combinatorial interpretation for all integral powers of the Bergeron-Garsia nabla operator applied to the elementary symmetric functions.
Bi-banded Paths, a Bijection and the Narayana Numbers
We find a bijection between bi-banded paths and peak-counting paths, applying to two classes of lattice paths including Dyck paths. Thus we find a new interpretation of Narayana numbers as coefficients of weight polynomials enumerating bi-banded Dyck paths, which class of paths has arisen naturally in previous literature in a solution of the stationary state of the `TASEP' stochastic process.
Faces of weight polytopes and a generalization of a theorem of Vinberg
Published in Algebras and Representation Theory 15 (2012), no. 3, 593-611
• View Publication
• BIB
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.
Stability Margin Scaling Laws for Distributed Formation Control as a Function of Network Structure
Published
• View Publication
• BIB
We consider the problem of distributed formation control of a large number of vehicles. An individual vehicle in the formation is assumed to be a fully actuated point mass. A distributed control law is examined: the control action on an individual vehicle depends on (i) its own velocity and (ii) the relative position measurements with a small subset of vehicles (neighbors) in the formation. The neighbors are defined according to an information graph.
In this paper we describe a methodology for modeling, analysis, and distributed control design of such vehicular formations whose information graph is a D-dimensional lattice. The modeling relies on an approximation based on a partial differential equation (PDE) that describes the spatio-temporal evolution of position errors in the formation. The analysis and control design is based on the PDE model. We deduce asymptotic formulae for the closed-loop stability margin (absolute value of the real part of the least stable eigenvalue) of the controlled formation. The stability margin is shown to approach 0 as the number of vehicles N goes to infinity. The exponent on the scaling law for the stability margin is influenced by the dimension and the structure of the information graph. We show that the scaling law can be improved by employing a higher dimensional information graph.
Apart from analysis, the PDE model is used for a mistuning-based design of control gains to maximize the stability margin. Mistuning here refers to small perturbation of control gains from their nominal symmetric values. We show that the mistuned design can have a significantly better stability margin even with a small amount of perturbation. The results of the analysis with the PDE model are corroborated with numerical computation of eigenvalues with the state-space model of the formation.
Lattices freely generated by posets within a variety. Part I: Four easy varieties
We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the algorithm to compute various types of lattices freely generated by partially ordered sets within four easy varieties.
A generalization of a theorem of G. K. White
Published
• View Publication
• BIB
An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for an arbitrary odd dimension n=2d-1 which in some form was conjectured by Sebő and Borisov. This result implies a classification of all 2d-dimensional isolated Gorenstein cyclic quotient singularities with minimal log-discrepancy at least d.
Maximal admissible faces and asymptotic bounds for the normal surface solution space
Published in Journal of Combinatorial Theory, Series A 118 (2011), no. 4, 1410-1435
• View Publication
• BIB
The enumeration of normal surfaces is a key bottleneck in computational three-dimensional topology. The underlying procedure is the enumeration of admissible vertices of a high-dimensional polytope, where admissibility is a powerful but non-linear and non-convex constraint. The main results of this paper are significant improvements upon the best known asymptotic bounds on the number of admissible vertices, using polytopes in both the standard normal surface coordinate system and the streamlined quadrilateral coordinate system.
To achieve these results we examine the layout of admissible points within these polytopes. We show that these points correspond to well-behaved substructures of the face lattice, and we study properties of the corresponding "admissible faces". Key lemmata include upper bounds on the number of maximal admissible faces of each dimension, and a bijection between the maximal admissible faces in the two coordinate systems mentioned above.
A Class of lattices and boolean functions related to a Manickam-Miklös-Singhi Conjecture
Published
• View Publication
• BIB
The aim of this paper is to build a new family of lattices related to some combinatorial extremal sum problems, in particular to a conjecture of Manickam, Miklös and Singhi. We study the fundamentals properties of such lattices and of a particular class of boolean functions defined on them.
Toy models for D. H. Lehmer's conjecture II
Published
• View Publication
• BIB
In the previous paper, we studied the "Toy models for D. H. Lehmer's conjecture". Namely, we showed that the m-th Fourier coefficient of the weighted theta series of the $\mathbb{Z}^2$-lattice and the $A_{2}$-lattice does not vanish, when the shell of norm $m$ of those lattices is not the empty set. In other words, the spherical 4 (resp. 6)-design does not exist among the nonempty shells in the $\mathbb{Z}^2$-lattice (resp. $A_{2}$-lattice). This paper is the sequel to the previous paper. We take 2-dimensional lattices associated to the algebraic integers of imaginary quadratic fields whose class number is either 1 or 2, except for $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, then, show that the $m$-th Fourier coefficient of the weighted theta series of those lattices does not vanish, when the shell of norm $m$ of those lattices is not the empty set. Equivalently, we show that the corresponding spherical 2-design does not exist among the nonempty shells in those lattices.
On the number of points in a lattice polytope
Published in Integers, 11(5):619-622, 2011
• View Publication
• BIB
In this article we will show that for every natural $d$ and $n>1$ there exists a natural number $t$ such that for every $d$-dimensional simplicial complex $\mathcal{T}$ with vertices in $\mathbb{Z}^d$, the number of lattice points in the $t^{\mathrm{th}}$ dilate of $\mathcal{T}$ is exactly $χ(\mathcal{T})$ modulo $n$, where $χ(\mathcal{T})$ is the Euler characteristic of $\mathcal{T}$.
Distributive Lattices, Affine Semigroups, and Branching Rules of the Classical Groups
Published
• View Publication
• BIB
We study algebras encoding stable range branching rules for the pairs of complex classical groups of the same type in the context of toric degenerations of spherical varieties. By lifting affine semigroup algebras constructed from combinatorial data of branching multiplicities, we obtain algebras having highest weight vectors in multiplicity spaces as their standard monomial type bases. In particular, we identify a family of distributive lattices and their associated Hibi algebras which can uniformly describe the stable range branching algebras for all the pairs we consider.
Equivariant Ehrhart theory
Published in Adv. Math. 226 (2011), no. 4, 3622-3654
• View Publication
• BIB
Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of numerous classical results, and give applications to the Ehrhart theory of rational polytopes and centrally symmetric polytopes. We also recover a character formula of Procesi, Dolgachev, Lunts and Stembridge for the action of a Weyl group on the cohomology of a toric variety associated to a root system.
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Published
• View Publication
• BIB
Combining tree decomposition and transfer matrix techniques provides a very general algorithm for computing exact partition functions of statistical models defined on arbitrary graphs. The algorithm is particularly efficient in the case of planar graphs. We illustrate it by computing the Potts model partition functions and chromatic polynomials (the number of proper vertex colourings using Q colours) for large samples of random planar graphs with up to N=100 vertices. In the latter case, our algorithm yields a sub-exponential average running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the exponential running time ~ exp(0.245 N) provided by the hitherto best known algorithm. We study the statistics of chromatic roots of random planar graphs in some detail, comparing the findings with results for finite pieces of a regular lattice.