lattice
4310 papers tagged with this keyword
Adiabatic Quantum Programming: Minor Embedding With Hard Faults
Published
• View Publication
• BIB
Adiabatic quantum programming defines the time-dependent mapping of a quantum algorithm into an underlying hardware or logical fabric. An essential step is embedding problem-specific information into the quantum logical fabric. We present algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells. These methods extend with fabric growth while scaling linearly in time and quadratically in footprint. We also provide methods for handling hard faults in the logical fabric without invoking approximations to the original problem, and illustrate their versatility through numerical studies of embeddabilty versus fault rates in square lattices of complete bipartite unit cells. The studies show these algorithms are more resilient to faulty fabrics than naive embedding approaches, a feature which should prove useful in benchmarking the adiabatic quantum optimization algorithm on existing faulty hardware.
Betti diagrams from graphs
Published in Algebra Number Theory 7 (2013) 1725-1742
• View Publication
• BIB
The emergence of Boij-Söderberg theory has given rise to new connections between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro recently showed that every Betti diagram of an ideal with a k-linear minimal resolution arises from that of the Stanley-Reisner ideal of a simplicial complex. In this paper, we extend their result for the special case of 2-linear resolutions using purely combinatorial methods. Specifically, we show bijective correspondences between Betti diagrams of ideals with 2-linear resolutions, threshold graphs, and anti-lecture hall compositions. Moreover, we prove that any Betti diagram of a module with a 2-linear resolution is realized by a direct sum of Stanley-Reisner rings associated to threshold graphs. Our key observation is that these objects are the lattice points in a normal reflexive lattice polytope.
Minimal Free Resolutions of the $G$-parking Function Ideal and the Toppling Ideal
Published
• View Publication
• BIB
The $G$-parking function ideal $M_G$ of a directed multigraph $G$ is a monomial ideal which encodes some of the combinatorial information of $G$. It is an initial ideal of the toppling ideal $I_G$, a lattice ideal intimately related to the chip-firing game on a graph. Both ideals were first studied by Cori, Rossin, and Salvy. A minimal free resolution for $M_G$ was given by Postnikov and Shaprio in the case when $G$ is saturated, i.\,e., whenever there is at least one edge $(u,v)$ for every ordered pair of distinct vertices $u$ and $v$. They also raised the problem of an explicit description of the minimal free resolution in the general case. In this paper, we give a minimal free resolution of $M_G$ for any undirected multigraph $G$, as well as for a family of related ideals including the toppling ideal $I_G$. This settles a conjecture of Manjunath and Sturmfels, as well as a conjecture of Perkinson and Wilmes.
Matroids, hereditary collections and simplicial complexes having boolean representations
Inspired by the work of Izakhian and Rhodes, a theory of representation of hereditary collections by boolean matrices is developed. This corresponds to representation by finite $\vee$-generated lattices. The lattice of flats, defined for hereditary collections, lattices and matrices, plays a central role in the theory. The representations constitute a lattice and the minimal and strictly join irreducible elements are studied, as well as various closure operators.
A dual of MacMahon's theorem on plane partitions
Published in Proc. Natl. Acad. Sci. USA 110 (2013), 4518-4523
• View Publication
• BIB
A classical theorem of MacMahon states that the number of lozenge tilings of any centrally symmetric hexagon drawn on the triangular lattice is given by a beautifully simple product formula. In this paper we present a counterpart of this formula, corresponding to the {\it exterior} of a concave hexagon obtained by turning 120 degrees after drawing each side (MacMahon's hexagon is obtained by turning 60 degrees after each step).
Polytopal affine semigroups with holes deep inside
Published in Discrete Comput. Geom., Vol. 50 (2013) no. 2, 503-508
• Search Publication
Given a non-negative integer k, we construct a lattice 3-simplex P with the following property: The affine semigroup Q_P associated to P is not normal, and every element $q \in \sat{Q}_P \setminus Q_P$ has lattice distance at least k above every facet of Q_P.
A general framework for island systems
Published in Acta Sci. Math. (Szeged) 81 (2015) 3--24
• View Publication
• BIB
The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the comparable or disjoint property, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of island domains and proximity domains.
EL-labelings and canonical spanning trees for subword complexes
Published in Discrete Geometry and Optimization, Fields Institute Communications Series (Springer), 69:213-248, 2013
• View Publication
• BIB
We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.
The critical surface fugacity of self-avoiding walks on a rotated honeycomb lattice
Published in J. Phys. A: Math. Theor. 47 (2014), 075003+
• View Publication
• BIB
In a recent paper by Beaton et al, it was proved that a model of self-avoiding walks on the honeycomb lattice, interacting with an impenetrable surface, undergoes an adsorption phase transition when the surface fugacity is $1+\sqrt{2}$. Their proof used a generalisation of an identity obtained by Duminil-Copin and Smirnov, and confirmed a conjecture of Batchelor and Yung. We consider a similar model of self-avoiding walk adsorption on the honeycomb lattice, but with the lattice rotated by $π/2$. For this model there also exists a conjecture for the critical surface fugacity, made in 1998 by Batchelor, Bennett-Wood and Owczarek. Using similar methods to Beaton et al, we prove that this is indeed the critical fugacity.
Lattices of Equivalence Relations Closed Under the Operations of Relation Algebras
Published in Algebra Universalis, (71), 2014, p. 187-190
• View Publication
• BIB
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as lattices of equivalence relations on finite sets closed under certain first order formulas. We generalize this question to a different collection of first-order formulas, giving examples to demonstrate that our new question is distinct. We then prove that every lattice $\m M_n$ can be represented in this new way. [This is an extended version of a paper submitted to \emph{Algebra Universalis}.]
The degree of point configurations: Ehrhart theory, Tverberg points and almost neighborly polytopes
Published
• View Publication
• BIB
The degree of a point configuration is defined as the maximal codimension of its interior faces. This concept is motivated from a corresponding Ehrhart-theoretic notion for lattice polytopes and is related to neighborly polytopes and the generalized lower bound theorem and, by Gale duality, to Tverberg theory.
The main results of this paper are a complete classification of point configurations of degree 1, as well as a structure result on point configurations whose degree is less than a third of the dimension. Statements and proofs involve the novel notion of a weak Cayley decomposition, and imply that the m-core of a set S of n points in R^r is contained in the set of Tverberg points of order 3m-2(n-r) of S.
A bijection proving the Aztec diamond theorem by combing lattice paths
Published
• View Publication
• BIB
We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order $n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schröder paths, with horizontal, diagonal or vertical steps, linking the grid points of two adjacent sides of an $n\times n$ square grid; these families are well known to be in bijection with tilings of the Aztec diamond. Our bijection is produced by an invertible "combing" algorithm, operating on families of paths without non-intersection condition, but instead with the requirement that any vertical steps come at the end of a path, and which are clearly $2^{n(n+1)/2}$ in number; it transforms them into non-intersecting families.
Rotation number of a unimodular cycle: an elementary approach
We give an elementary proof of a formula expressing the rotation number of a cyclic unimodular sequence of lattice vectors in terms of arithmetically defined local quantities. The formula has been originally derived by A. Higashitani and M. Masuda (arXiv:1204.0088v2 [math.CO]) with the aid of the Riemann-Roch formula applied in the context of toric topology. They also demonstrated that a generalized versions of the "Twelve-point theorem" and a generalized Pick's formula are among the consequences or relatives of their result. Our approach emphasizes the role of 'discrete curvature invariants' μ(a,b,c), where {a,b} and {b,c} are bases of the lattice Z^2, as fundamental discrete invariants of 'modular lattice geometry'.
Lattice paths with given number of turns and semimodules over numerical semigroups
Published
• View Publication
• BIB
Let Γ=<α, β> be a numerical semigroup. In this article we consider several relations between the so-called Γ-semimodules and lattice paths from (0,α) to (β,0): we investigate isomorphism classes of Γ-semimodules as well as certain subsets of the set of gaps of Γ, and finally syzygies of Γ-semimodules. In particular we compute the number of Γ-semimodules which are isomorphic with their k-th syzygy for some k.
On the sum of the Voronoi polytope of a lattice with a zonotope
A parallelotope $P$ is a polytope that admits a facet-to-facet tiling of space by translation copies of $P$ along a lattice. The Voronoi cell $P_V(L)$ of a lattice $L$ is an example of a parallelotope. A parallelotope can be uniquely decomposed as the Minkowski sum of a zone closed parallelotope $P$ and a zonotope $Z(U)$, where $U$ is the set of vectors used to generate the zonotope. In this paper we consider the related question: When is the Minkowski sum of a general parallelotope and a zonotope $P+Z(U)$ a parallelotope? We give two necessary conditions and show that the vectors $U$ have to be free. Given a set $U$ of free vectors, we give several methods for checking if $P + Z(U)$ is a parallelotope. Using this we classify such zonotopes for some highly symmetric lattices.
In the case of the root lattice $\mathsf{E}_6$, it is possible to give a more geometric description of the admissible sets of vectors $U$. We found that the set of admissible vectors, called free vectors, is described by the well-known configuration of $27$ lines in a cubic. Based on a detailed study of the geometry of $P_V(\mathsf{e}_6)$, we give a simple characterization of the configurations of vectors $U$ such that $P_V(\mathsf{E}_6) + Z(U)$ is a parallelotope. The enumeration yields $10$ maximal families of vectors, which are presented by their description as regular matroids.
On the Spectra of Simplicial Rook Graphs
Published
• View Publication
• BIB
The \emph{simplicial rook graph} SR(d,n) is the graph whose vertices are the lattice points in the $n$th dilate of the standard simplex in $\mathbb{R}^d$, with two vertices adjacent if they differ in exactly two coordinates. We prove that the adjacency and Laplacian matrices of SR(3,n) have integral spectrum for every $n$. The proof proceeds by calculating an explicit eigenbasis. We conjecture that SR(d,n) is integral for all $d$ and $n$, and present evidence in support of this conjecture. For $n<\binom{d}{2}$, the evidence indicates that the smallest eigenvalue of the adjacency matrix is $-n$, and that the corresponding eigenspace has dimension given by the Mahonian numbers, which enumerate permutations by number of inversions.
Symmetric Chain Decompositions of Quotients of Chain Products by Wreath Products
Published
• View Publication
• BIB
Subgroups of the symmetric group $S_n$ act on powers of chains $C^n$ by permuting coordinates, and induce automorphisms of the ordered sets $C^n$. The quotients defined are candidates for symmetric chain decompositions. We establish this for some families of groups in order to enlarge the collection of subgroups $G$ of the symmetric group $S_n$ for which the quotient $B_n/G$ obtained from the $G$-orbits on the Boolean lattice $B_n$ is a symmetric chain order. The methods are also used to provide an elementary proof that quotients of powers of SCOs by cyclic groups are SCOs.
On supersolvable reflection arrangements
Published
• View Publication
• BIB
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that every supersolvable arrangement is inductively free, a notion due to Terao. So this is a natural subclass of this particular class of free arrangements.
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = (A(W), V) be the associated hyperplane arrangement of W. In a recent paper, we determined all inductively free reflection arrangements.
The aim of this note is to classify all supersolvable reflection arrangements. Moreover, we characterize the irreducible arrangements in this class by the presence of modular elements of rank 2 in their intersection lattice.
Simple Asymmetric Exclusion Model and Lattice Paths: Bijections and Involutions
Published
• View Publication
• BIB
We study the combinatorics of the change of basis of three representations of the stationary state algebra of the two parameter simple asymmetric exclusion process. Each of the representations considered correspond to a different set of weighted lattice paths which, when summed over, give the stationary state probability distribution. We show that all three sets of paths are combinatorially related via sequences of bijections and sign reversing involutions.
Fully Packed Loops in a triangle: matchings, paths and puzzles
Published
• View Publication
• BIB
Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only local constraints. Three main contributions are provided. Firstly, we show that the number of ordinary TFPLs can be extracted from a weighted enumeration of oriented TFPLs and thus it suffices to consider the latter. Secondly, we decompose oriented TFPLs into two matchings and use a classical bijection to obtain two families of nonintersecting lattice paths (path tangles). This point of view turns out to be extremely useful for giving easy proofs of previously known conditions on the boundary of TFPLs necessary for them to exist. One example is the inequality d(u)+d(v)<=d(w) where u,v,w are 01-words that encode the boundary conditions of ordinary TFPLs and d(u) is the number of cells in the Ferrers diagram associated with u. In the third part we consider TFPLs with d(w)- d(u)-d(v)=0,1; in the first case their numbers are given by Littlewood-Richardson coefficients, but also in the second case we provide formulas that are in terms of Littlewood-Richardson coefficients. The proofs of these formulas are of a purely combinatorial nature.