lattice ↗ reference
4394 papers tagged with this keyword
Counting lattice points in free sums of polytopes
Published in J. Comb. Theory, Ser. A 151 (2017), 51-60
• View Publication
• BIB
We show how to compute the Ehrhart polynomial of the free sum of two lattice polytopes containing the origin $P$ and $Q$ in terms of the enumerative combinatorics of $P$ and $Q$. This generalizes work of Beck, Jayawant, McAllister, and Braun, and follows from the observation that the weighted $h^*$-polynomial is multiplicative with respect to the free sum. We deduce that given a lattice polytope $P$ containing the origin, the problem of computing the number of lattice points in all rational dilates of $P$ is equivalent to the problem of computing the number of lattice points in all integer dilates of all free sums of $P$ with itself.
Height restricted lattice paths, Elenas, and bijections
A bijection is constructed between two sets of height restricted lattice paths by means of translating them in two tree classe, namely plane trees and Elena trees. An old bijection between them can be used now for that actual problem.
Volume, facets and dual polytopes of twinned chain polytopes
Published in Annals of Combinatorics 22(2018), 875--884
• View Publication
• BIB
Let $(P,\leq_P)$ and $(Q,\leq_Q)$ be finite partially ordered sets with $|P|=|Q|=d$, and $\mathcal{C}(P) \subset \mathbb{R}^d$ and $\mathcal{C}(Q) \subset \mathbb{R}^d$ their chain polytopes. The twinned chain polytope of $P$ and $Q$ is the lattice polytope $Γ(\mathcal{C}(P),\mathcal{C}(Q)) \subset \mathbb{R}^d$ which is the convex hull of $\mathcal{C}(P) \cup (-\mathcal{C}(Q))$. It is known that twinned chain polytopes are Gorenstein Fano polytopes with the integer decomposition property. In the present paper, we study combinatorial properties of twinned chain polytopes. First, we will give the formula of the volume of twinned chain polytopes in terms of the underlying partially ordered sets. Second, we will identify the facet-supporting hyperplanes of twinned chain polytopes in terms of the underlying partially ordered sets. Finally, we will provide the vertex representations of the dual polytopes of twinned chain polytopes.
Partition functions of integrable lattice models and combinatorics of symmetric polynomials
We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.
On the diameter of lattice polytopes
Published
• View Publication
• BIB
In this paper we show that the diameter of a d-dimensional lattice polytope in [0,k]^n is at most (k - 1/2) d. This result implies that the diameter of a d-dimensional half-integral polytope is at most 3/2 d. We also show that for half-integral polytopes the latter bound is tight for any d.
On Cube Tilings of Tori and Classification of Perfect Codes in the Maximum Metric
We describe odd-length-cube tilings of the n-dimensional q-ary torus what includes q-periodic integer lattice tilings of R^n. In the language of coding theory these tilings correspond to perfect codes with respect to the maximum metric. A complete characterization of the two-dimensional tillings is presented and in the linear case, a description of general matrices, isometry and isomorphism classes is provided. Several methods to construct perfect codes from codes of smaller dimension or via sections are derived. We introduce a special type of matrices (perfect matrices) which are in correspondence with generator matrices for linear perfect codes in arbitrary dimensions. For maximal perfect codes, a parametrization obtained allows to describe isomorphism classes of such codes. We also approach the problem of what isomorphism classes of abelian groups can be represented by q-ary n-dimensional perfect codes of a given cardinality N.
Distance-regular Cayley graphs with least eigenvalue $-2$
Published
• View Publication
• BIB
We classify the distance-regular Cayley graphs with least eigenvalue $-2$ and diameter at most three. Besides sporadic examples, these comprise of the lattice graphs, certain triangular graphs, and line graphs of incidence graphs of certain projective planes. In addition, we classify the possible connection sets for the lattice graphs and obtain some results on the structure of distance-regular Cayley line graphs of incidence graphs of generalized polygons.
Boolean lattices: Ramsey properties and embeddings
Published
• View Publication
• BIB
A subposet $Q'$ of a poset $Q$ is a copy of a poset $P$ if there is a bijection $f$ between elements of $P$ and $Q'$ such that $x\leq y$ in $P$ iff $f(x)\leq f(y)$ in $Q'$. For posets $P, P'$, let the poset Ramsey number $R(P,P')$ be the smallest $N$ such that no matter how the elements of the Boolean lattice $Q_N$ are colored red and blue, there is a copy of $P$ with all red elements or a copy of $P'$ with all blue elements. We provide some general bounds on $R(P,P')$ and focus on the situation when $P$ and $P'$ are both Boolean lattices. In addition, we give asymptotically tight bounds for the number of copies of $Q_n$ in $Q_N$ and for a multicolor version of a poset Ramsey number.
Ramsey numbers for partially-ordered sets
Published
• View Publication
• BIB
We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Turán-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.
Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3
Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers.
Supercharacter theories of type $A$ unipotent radicals and unipotent polytopes
Published
• View Publication
• BIB
Even with the introduction of supercharacter theories, the representation theory of many unipotent groups remains mysterious. This paper constructs a family of supercharacter theories for normal pattern groups in a way that exhibit many of the combinatorial properties of the set partition combinatorics of the full uni-triangular groups, including combinatorial indexing sets, dimensions, and computable character formulas. Associated with these supercharacter theories is also a family of polytopes whose integer lattice points give the theories geometric underpinnings.
Deciding Orthogonality in Construction-A Lattices
Published
• View Publication
• BIB
Lattices are discrete mathematical objects with widespread applications to integer programs as well as modern cryptography. A fundamental problem in both domains is the Closest Vector Problem (popularly known as CVP). It is well-known that CVP can be easily solved in lattices that have an orthogonal basis \emph{if} the orthogonal basis is specified. This motivates the orthogonality decision problem: verify whether a given lattice has an orthogonal basis. Surprisingly, the orthogonality decision problem is not known to be either NP-complete or in P.
In this paper, we focus on the orthogonality decision problem for a well-known family of lattices, namely Construction-A lattices. These are lattices of the form $C+q\mathbb{Z}^n$, where $C$ is an error-correcting $q$-ary code, and are studied in communication settings. We provide a complete characterization of lattices obtained from binary and ternary codes using Construction-A that have an orthogonal basis. We use this characterization to give an efficient algorithm to solve the orthogonality decision problem. Our algorithm also finds an orthogonal basis if one exists for this family of lattices. We believe that these results could provide a better understanding of the complexity of the orthogonality decision problem for general lattices.
On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice
Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.
On the Minimum Width of a Cutset in the Truncated Boolean Lattice
For integers $0 \leq m \leq l \leq n-m$, the truncated Boolean lattice ${\cal B}_n(m,l)$ is the poset of all subsets of $[n] = \{1, 2, \ldots, n\}$ which have size at least $m$ and at most $l$. ${\cal C} \subseteq {\cal B}_n(m,l)$ is a {\em cutset} if it meets every chain of length $l-m$ in ${\cal B}_n(m,l)$, and the {\em width} of ${\cal C}$ is the size of the largest antichain in ${\cal C}$. We conjecture that for $n >> m$ the minimum width $h_n(m,l)$ of a cutset in ${\cal B}_n(m,l)$ is $Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots$, where $c=l-m+1$ is the number of level sets in ${\cal B}_n(m,l)$ and $Δ_n(k)={n \choose k}- {n \choose k-1}$. We establish our conjecture for the cases of "short lattices" ($l=m$, $l=m+1$, and $l=m+2$). For "taller lattices" ($l \geq 2m$) our conjecture gives ${n \choose m} - {n \choose m-1}$, independently of $l$. Our main result is that $h_n(m,l) \leq {n \choose m} - {n \choose m-1}$ if $l \geq 2m$.
The category of matroids
Published in Applied Categorical Structures 26(2):205-237, 2017
• View Publication
• BIB
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful; there is a functor to the category of geometric lattices, that is nearly full; there are various adjunctions and free constructions on subcategories, inducing a simplification monad; there are two orthogonal factorization systems; some, but not many, combinatorial constructions from matroid theory are functorial.
On the lattice of subracks of the rack of a finite group
Published
• View Publication
• BIB
In this paper we initiate the study of racks from the combined perspective of combinatorics and finite group theory. A rack R is a set with a self-distributive binary operation. We study the combinatorics of the partially ordered set {\cal R}(R) of all subracks of R with inclusion as the order relation. Groups G with the conjugation operation provide an important class of racks. For the case R = G we show that
-> the order complex of {\cal R}(R) has the homotopy type of a sphere,
-> the isomorphism type of {\cal R}(R) determines if G is abelian, nilpotent, supersolvable, solvable or simple,
-> {\cal R}(R) is graded if and only if G is abelian, G = S_3, G = D_8 or G = Q_8.
In addition, we provide some examples of subracks R of a group G for which {\cal R}(R) relates to well studied combinatorial structures. In particular, the examples show that the order complex of {\cal R}(R) for general R is more complicated than in the case R = G.
Sweeping up Zeta
Published
• View Publication
• BIB
Using techniques introduced by H. Thomas and N. Williams in "Cyclic Symmetry of the Scaled Simplex," we prove that modular sweep maps are bijective. We construct the inverse of the modular sweep map by passing through an intermediary set of equitable partitions; motivated by an analogy to stable marriages, we prove that the set of equitable partitions for a fixed word forms a distributive lattice when ordered componentwise. We conclude that the general sweep maps defined by D. Armstrong, N. Loehr, and G. Warrington in "Sweep Maps: A Continuous Family of Sorting Algorithms" are bijective. As a special case of particular interest, this gives the first proof that the zeta map on rational Dyck paths is a bijection.
Spiral Structures in the Rotor-Router Walk
Published in J. Stat. Mech. (2016) 043207
• View Publication
• BIB
We study the rotor-router walk on the infinite square lattice with the outgoing edges at each lattice site ordered clockwise. In the previous paper [J.Phys.A: Math. Theor. 48, 285203 (2015)], we have considered the loops created by rotors and labeled sites where the loops become closed. The sequence of labels in the rotor-router walk was conjectured to form a spiral structure obeying asymptotically an Archimedean property. In the present paper, we select a subset of labels called "nodes" and consider spirals formed by nodes. The new spirals are directly related to tree-like structures which represent the evolution of the cluster of vertices visited by the walk. We show that the average number of visits to the origin $\left<n_0(t)\right>$ by the moment $t\gg 1$ is $\left<n_0(t)\right> = 4 \left<n(t)\right> + O(1)$ where $\left<n(t)\right>$ is the average number of rotations of the spiral.
Resonance in orbits of plane partitions and increasing tableaux
Published in JCTA 148 May 2017 244-274
• View Publication
• BIB
We introduce a new concept of resonance on discrete dynamical systems. This concept formalizes the observation that, in various combinatorially-natural cyclic group actions, orbit cardinalities are all multiples of divisors of a fundamental frequency.
Our main result is an equivariant bijection between plane partitions in a box (or order ideals in the product of three chains) under rowmotion and increasing tableaux under $K$-promotion. Both of these actions were observed to have orbit sizes that were small multiples of divisors of an expected orbit size, and we show this is an instance of resonance, as $K$-promotion cyclically rotates the set of labels appearing in the increasing tableaux. We extract a number of corollaries from this equivariant bijection, including a strengthening of a theorem of [P. Cameron--D. Fon-der-Flaass '95] and several new results on the order of $K$-promotion. Along the way, we adapt the proof of the conjugacy of promotion and rowmotion from [J. Striker--N. Williams '12] to give a generalization in the setting of $n$-dimensional lattice projections. Finally we discuss known and conjectured examples of resonance relating to alternating sign matrices and fully-packed loop configurations.
The plaid model and outer billiards on kites
This paper is the third in a series which explores a combinatorial method for generating lattice polygons in the plane. I call this method the plaid model.
In this paper I prove the main result I had been aiming for since the beginning, which is to show that there is a coarse isomorphism between the plaid model and the so-called arithmetic graph for outer billiards on kites. The content of the theorem is that the plaid model predicts the symbolic dynamics of the outer billiards orbits, up to an error of one unit. This result combines with the work in the other papers to give a second proof that outer billiards has unbounded orbits for every irrational kite. So far, these are the only known polygonal examples with this property.