lattice
4310 papers tagged with this keyword
On the lattice of equational classes of Boolean functions and its closed intervals
Published in Journal of Multiple-Valued Logic and Soft Computing 18 (2008) 81--104
• Search Publication
Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to the set E_A of all equational classes of operations on A. The set E_A of equational classes of operations on A also constitutes a complete distributive lattice under intersection and union. Clones of operations, i.e. classes containing all projections and idempotent under class composition, also form a lattice which is strictly contained in E_A. In the Boolean case |A|=2, the lattice E_A contains uncountably many equational classes, but only countably many of them are clones. The aim of this paper is to provide a better understanding of this uncountable lattice of equational classes of Boolean functions, by analyzing its "closed" intervals" [C_1,C_2], for clones C_1 and C_2. For |A|=2, we give a complete classification of all such closed intervals in terms of their size, and provide a simple, necessary and sufficient condition characterizing the uncountable closed intervals of E_A.
Rigid components in fixed-lattice and cone frameworks
We study the fundamental algorithmic rigidity problems for generic frameworks periodic with respect to a fixed lattice or a finite-order rotation in the plane. For fixed-lattice frameworks we give an $O(n^2)$ algorithm for deciding generic rigidity and an O(n^3) algorithm for computing rigid components. If the order of rotation is part of the input, we give an O(n^4) algorithm for deciding rigidity; in the case where the rotation's order is 3, a more specialized algorithm solves all the fundamental algorithmic rigidity problems in O(n^2) time.
Dual complementary polynomials of graphs and combinatorial interpretation on the values of the Tutte polynomial at positive integers
Published
• View Publication
• BIB
We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ$. The polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) is a common generalization of the modular (integral) tension polynomial $τ(G,x)$ ($τ_\mathbbm{z}(G,x)$) and the modular (integral) flow polynomial $φ(G,y)$ ($φ_\mathbbm{z}(G,y)$), and can be decomposed into a sum of product Ehrhart polynomials of complementary open 0-1 polytopes $Δ^+_\textsc{ctf}(G,ρ)$. There are dual complementary polynomials $\barκ(G;x,y)$ and $\barκ_{\mathbbm z}(G;x,y)$, dual to $κ$ and $κ_{\mathbbm z}$ respectively, in the sense that the lattice-point counting to the Ehrhart polynomials is taken inside a topological sum of the dilated closed polytopes $\barΔ^+_\textsc{ctf}(G,ρ)$. It turns out that the polynomial $\barκ(G;x,y)$ is Whitney's rank generating polynomial $R_G(x,y)$, which gives rise to a combinatorial interpretation on the values of the Tutte polynomial $T_G(x,y)$ at positive integers. In particular, some special values of $κ_\mathbbm{z}$ and $\barκ_\mathbbm{z}$ ($κ$ and $\barκ$) count the number of certain special kinds (of equivalence classes) of orientations.
Orientations, lattice polytopes, and group arrangements II: Modular and integral flow polynomials of graphs
Published
• View Publication
• BIB
We study modular and integral flow polynomials of graphs by means of subgroup arrangements and lattice polytopes. We introduce an Eulerian equivalence relation on orientations, flow arrangements, and flow polytopes; and we apply the theory of Ehrhart polynomials to obtain properties of modular and integral flow polynomials. The emphasis is on the geometrical treatment through subgroup arrangements and Ehrhart polynomials. Such viewpoint leads to a reciprocity law for the modular flow polynomial, which gives rise to an interpretation on the values of the modular flow polynomial at negative integers, and answers a question by Beck and Zaslavsky.
Polyhedral adjunction theory
Published in Algebra Number Theory 7 (2013) 2417-2446
• View Publication
• BIB
In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a rational polytope P. We define the adjoint polytope P^(s) as the set of those points in P, whose lattice distance to every facet of P is at least s. We prove a structure theorem for lattice polytopes P with high Q-codegree. If P^(s) is empty for some s < 2/(dim(P)+2), then the lattice polytope P has lattice width one. This has consequences in Ehrhart theory and on polarized toric varieties with dual defect. Moreover, we illustrate how classification results in adjunction theory can be translated into new classification results for lattice polytopes.
Heisenberg characters, unitriangular groups, and Fibonacci numbers
Published in J. Combin. Theory Ser. A 119 (2012) 882-903
• View Publication
• BIB
Let $\UT_n(\FF_q)$ denote the group of unipotent $n\times n$ upper triangular matrices over a finite field with $q$ elements. We show that the Heisenberg characters of $\UT_{n+1}(\FF_q)$ are indexed by lattice paths from the origin to the line $x+y=n$ using the steps $(1,0), (1,1), (0,1), (1,1)$, which are labeled in a certain way by nonzero elements of $\FF_q$. In particular, we prove for $n\geq 1$ that the number of Heisenberg characters of $\UT_{n+1}(\FF_q)$ is a polynomial in $q-1$ with nonnegative integer coefficients and degree $n$, whose leading coefficient is the $n$th Fibonacci number. Similarly, we find that the number of Heisenberg supercharacters of $\UT_n(\FF_q)$ is a polynomial in $q-1$ whose coefficients are Delannoy numbers and whose values give a $q$-analogue for the Pell numbers. By counting the fixed points of the action of a certain group of linear characters, we prove that the numbers of supercharacters, irreducible supercharacters, Heisenberg supercharacters, and Heisenberg characters of the subgroup of $\UT_n(\FF_q)$ consisting of matrices whose superdiagonal entries sum to zero are likewise all polynomials in $q-1$ with nonnegative integer coefficients.
On a conjecture of Brouwer involving the connectivity of strongly regular graphs
Published
• View Publication
• BIB
In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.
We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture.
We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.
We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.
Generalized Frobenius numbers: Bounds and average behavior
Published
• View Publication
• BIB
We produce new upper and lower bounds for the s-Frobenius number by relating it to the so called s-covering radius of a certain convex body with respect to a certain lattice; this generalizes a well-known theorem of R. Kannan for the classical Frobenius number. Using these bounds, we obtain results on the average behavior of the s-Frobenius number, extending analogous recent investigations for the classical Frobenius number by a variety of authors. We also derive bounds on the s-covering radius, an interesting geometric quantity in its own right.
Convergence of the Abelian sandpile
Published in Duke Math. J. 162, no. 4 (2013), 627-642
• View Publication
• BIB
The Abelian sandpile growth model is a diffusion process for configurations of chips placed on vertices of the integer lattice $\mathbb{Z}^d$, in which sites with at least 2d chips {\em topple}, distributing 1 chip to each of their neighbors in the lattice, until no more topplings are possible. From an initial configuration consisting of $n$ chips placed at a single vertex, the rescaled stable configuration seems to converge to a particular fractal pattern as $n\to \infty$. However, little has been proved about the appearance of the stable configurations. We use PDE techniques to prove that the rescaled stable configurations do indeed converge to a unique limit as $n \to \infty$. We characterize the limit as the Laplacian of the solution to an elliptic obstacle problem.
Stacked directed animals and multi-directed animals defined without using heaps of pieces
Stacked directed animals and multi-directed animals are two lattice models defined by Bousquet-Mélou and Rechnitzer in 2002. The original definitions of those models involve heaps of pieces, i.e., some geometric representation of partially commutative monoids. The object of this writing is to define stacked directed animals and multi-directed animals in such a way that heaps of pieces are not involved. Our alternative definitions are equivalent to Bousquet-Mélou and Rechnitzer's original ones.
Topological representations of matroid maps
Published
• View Publication
• BIB
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we use a construction of Engström to show that structure-preserving maps between matroids induce topological mappings between their representations; a result previously known only in the oriented case. Specifically, we show that weak maps induce continuous maps and that the process is a functor from the category of matroids with weak maps to the homotopy category of topological spaces. We also give a new and conceptual proof of a result regarding the Whitney numbers of the first kind of a matroid.
Splitting the K-Terminal Reliability
Let G=(V,E) be a graph and K a set of terminal vertices of G. Assume that the edges of G are failing independently with given probabilities. The K-terminal reliability R(G,K) is the probability that all vertices in K are mutually connected. In this article we propose an efficient splitting formula for R(G,K) at a separating vertex set of G by lattice theoretic methods.
On isomorphism problems for vertex operator algebras associated with even lattices
Published
• View Publication
• BIB
In this article, we completely determine the isomorphism classes of lattice vertex operator algebras and the vertex operator subalgebras fixed by a lift of the -1-isometry of the lattice. We also provide similar results for certain even lattices associated with doubly-even binary codes.
Chains of modular elements and shellability
Published in J. Combin. Theory Ser. A. 119 (2012), no. 6, 1315--1327
• View Publication
• BIB
Let L be a lattice admitting a left-modular chain of length r, not necessarily maximal. We show that if either L is graded or the chain is modular, then the (r-2)-skeleton of L is vertex-decomposable (hence shellable). This proves a conjecture of Hersh. Under certain circumstances, we can find shellings of higher skeleta. For instance, if the left-modular chain consists of every other element of some maximum length chain, then L itself is shellable. We apply these results to give a new characterization of finite solvable groups in terms of the topology of subgroup lattices.
Our main tool relaxes the conditions for an EL-labeling, allowing multiple ascending chains as long as they are lexicographically before non-ascending chains. We extend results from the theory of EL-shellable posets to such labelings. The shellability of certain skeleta is one such result. Another is that a poset with such a labeling is homotopy equivalent (by discrete Morse theory) to a cell complex with cells in correspondence to weakly descending chains.
Sequences of Integers with Missing Quotients and Dense Points Without Neighbors
Published in Discrete Mathematics 312 (2012), pp 1776-1787
• View Publication
• BIB
Let A be a pre-defined set of rational numbers. We say a set of natural numbers S is an A-quotient-free set if no ratio of two elements in S belongs to A. We find the maximal asymptotic density and the maximal upper asymptotic density of A-quotient-free sets when A belongs to a particular class. It is known that in the case A = {p, q}, where p, q are coprime integers greater than one, the latest problem is reduced to evaluation of the largest number of lattice non-adjacent points in a triangle whose legs lie on coordinate axis. We prove that this number is achieved by choosing points of the same color in the checkerboard coloring.
The second Voronoi conjecture on parallelohedra for zonotopes
Published in Moscow Journal of Combinatorics and Number Theory, 2011, vol. 1, issue 2, pp. 33-39
• Search Publication
We prove the second Voronoi conjecture on parallelohedra for zonotope. We show that for a given face-to-face tiling of d-dimensional Euclidean space into parallel copies of zonotope Z there are d vectors, connecting centers of zonotopes with common facet, that are basis of the correspondent lattice of the tiling.
Partial mirror symmetry, lattice presentations and algebraic monoids
Published in Proc. London Math. Soc. 107(2) (2013), 414-450
• View Publication
• BIB
This is the second in a series of papers that develops the theory of reflection monoids, motivated by the theory of reflection groups. Reflection monoids were first introduced in arXiv:0812.2789. In this paper we study their presentations as abstract monoids. Along the way we also find general presentations for certain join-semilattices (as monoids under join) which we interpret for two special classes of examples: the face lattices of convex polytopes and the geometric lattices, particularly the intersection lattices of hyperplane arrangements. Another spin-off is a general presentation for the Renner monoid of an algebraic monoid, which we illustrate in the special case of the "classical" algebraic monoids.
An Upper Bound Theorem concerning lattice polytopes
R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes.
Construction of some unimodular lattices with long shadow
Published in Int. J. Number Theory 7 (2011), 1345-1358
• View Publication
• BIB
In this paper, we construct odd unimodular lattices in dimensions n=36,37 having minimum norm 3 and 4s=n-16, where s is the minimum norm of the shadow. We also construct odd unimodular lattices in dimensions n=41,43,44 having minimum norm 4 and 4s=n-24.
Sublattices of associahedra and permutohedra
Published
• View Publication
• BIB
Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.