lattice
4310 papers tagged with this keyword
A subdivision algebra for a product of two simplices via flow polytopes
Published
• View Publication
• BIB
For a lattice path $ν$ from the origin to a point $(a,b)$ using steps $E=(1,0)$ and $N=(0,1)$, we construct an associated flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ admits a subdivision dual to a $w$-simplex, where $w$ is the number of valleys in the path $\barν = EνN$. Refinements of this subdivision can be obtained by reductions of a polynomial $P_ν$ in a generalization of Mészáros' subdivision algebra for acyclic root polytopes where negative roots are allowed. Via an integral equivalence between $\mathcal{F}_{\hat{G}_B(ν)}$ and the product of simplices $Δ_a\times Δ_b$, we thereby obtain a subdivision algebra for a product of two simplices. As a special case, we give a reduction order for reducing $P_ν$ that yields the cyclic $ν$-Tamari complex of Ceballos, Padrol, and Sarmiento.
General mixed lattices
Published
• View Publication
• BIB
A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and semigroups, while the more general notion of a mixed lattice remains unexplored. In this paper, we study the fundamental properties of mixed lattices and the relationships between the various properties, such as the one-sided associative, distributive and modular laws. We also give an alternative definition of mixed lattices and mixed lattice groups as non-commutative and non-associative algebras satisfying a certain set of postulates. The algebraic and the order-theoretic definitions are then shown to be equivalent.
Minimal-Perimeter Lattice Animals and the Constant-Isomer Conjecture
Published
• View Publication
• BIB
We consider minimal-perimeter lattice animals, providing a set of conditions which are sufficient for a lattice to have the property that inflating all minimal-perimeter animals of a certain size yields (without repetitions) all minimal-perimeter animals of a new, larger size. We demonstrate this result on the two-dimensional square and hexagonal lattices. In addition, we characterize the sizes of minimal-perimeter animals on these lattices that are not created by inflating members of another set of minimal-perimeter animals.
Techniques in equivariant Ehrhart theory
Published
• View Publication
• BIB
Equivariant Ehrhart theory generalizes the study of lattice point enumeration to also account for the symmetries of a polytope under a linear group action. We present a catalogue of techniques with applications in this field, including zonotopal decompositions, symmetric triangulations, combinatorial interpretation of the $h^\ast$-polynomial, and certificates for the (non)existence of invariant non-degenerate hypersurfaces. We apply these methods to several families of examples including hypersimplices, orbit polytopes, and graphic zonotopes, expanding the library of polytopes for which their equivariant Ehrhart theory is known.
Hopf monoids of set families
A \textit{grounded set family} on $I$ is a subset $F\subseteq2^I$ such that $\emptyset\in F$. We study a linearized Hopf monoid \textbf{SF} on grounded set families, with restriction and contraction inspired by the corresponding operations for antimatroids. Many known combinatorial species, including simplicial complexes and matroids, form Hopf submonoids of \textbf{SF}, although not always with the "standard" Hopf structure (for example, our contraction operation is not the usual contraction of matroids). We use the topological methods of Aguiar and Ardila to obtain a cancellation-free antipode formula for the Hopf submonoid of lattices of order ideals of finite posets. Furthermore, we prove that the Hopf algebra of lattices of order ideals of chain gangs extends the Hopf algebra of symmetric functions, and that its character group extends the group of formal power series in one variable with constant term 1 under multiplication.
Filtrations on combinatorial intersection cohomology and invariants of subdivisions
Published
• View Publication
• BIB
Motivated by definitions in mixed Hodge theory, we define the weight filtration and the monodromy weight filtration on the combinatorial intersection cohomology of a fan. These filtrations give a natural definition of the multivariable invariants of subdivisions of polytopes, lattice polytopes and fans, namely the mixed $h$-polynomial, the refined limit mixed $h^*$-polynomial, and the mixed $cd$-index, defined by Katz--Stapledon and Dornian--Katz--Tsang. Previously, only the refined limit mixed $h^*$-polynomial had a geometric interpretation, which came from filtrations on the cohomology of a schön hypersurface. Consequently, we generalize a positivity result on the mixed $h$-polynomial by Katz and Stapledon using the relative hard Lefschetz theorem of Karu.
Chain enumeration, partition lattices and polynomials with only real roots
Published
• View Publication
• BIB
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots. The real-rootedness of the chain polynomial is conjectured for all geometric lattices and is shown to be preserved by the pyramid and the prism operations on Cohen--Macaulay posets. As a result, new families of convex polytopes whose face lattices have real-rooted chain polynomials are presented. An application to the face enumeration of the second barycentric subdivision of the boundary complex of the simplex is also included.
New Techniques Based On Odd-Edge Total Colorings In Topological Cryptosystem
For building up twin-graphic lattices towards topological cryptograph, we define four kinds of new odd-magic-type colorings: odd-edge graceful-difference total coloring, odd-edge edge-difference total coloring, odd-edge edge-magic total coloring, and odd-edge felicitous-difference total coloring in this article. Our RANDOMLY-LEAF-ADDING algorithms are based on adding randomly leaves to graphs for producing continuously graphs admitting our new odd-magic-type colorings. We use complex graphs to make caterpillar-graphic lattices and complementary graphic lattices, such that each graph in these new graphic lattices admits a uniformly $W$-magic total coloring. On the other hands, finding some connections between graphic lattices and integer lattices is an interesting research, also, is important for application in the age of quantum computer. We set up twin-type $W$-magic graphic lattices (as public graphic lattices vs private graphic lattices) and $W$-magic graphic-lattice homomorphism for producing more complex topological number-based strings.
Results on bar-core partitions, core shifted Young diagrams, and doubled distinct cores
Published
• View Publication
• BIB
Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a characterization of $\bar{s}$-core partitions to obtain characterizations of doubled distinct $s$-core partitions and $s$-CSYDs. By using them, we construct $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores. Also, we give free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores.
Poset Ramsey Number $R(P,Q_n)$. II. Antichains
For two posets $(P,\le_P)$ and $(P',\le_{P'})$, we say that $P'$ contains a copy of $P$ if there exists an injective function $f\colon P'\to P$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. Given two posets $P$ and $Q$, let the poset Ramsey number $R(P,Q)$ be the smallest integer $N$ such that any coloring of the elements of an $N$-dimensional Boolean lattice in blue or red contains either a copy of $P$ where all elements are blue or a copy of $Q$ where all elements are red. We determine the poset Ramsey number $R(A_t,Q_n)$ of an antichain versus a Boolean lattice for small $t$ by showing that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$.
Lattices with lots of congruence energy
In 1978, motivated by E. Hückel's work in quantum chemistry, I. Gutman introduced the concept of the energy of a finite simple graph $G$ as the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. At the time of writing, the MathSciNet search for "Title=(graph energy) AND Review Text=(eigenvalue)" returns 351 publications, most of which going after Gutman's definition.
A congruence $α$ of a finite algebra $A$ turns $A$ into a simple graph: we connect $x\neq y\in A$ by an edge iff $(x,y)\inα$; we let En$(α)$ be the energy of this graph. We introduce the congruence energy CE$(A)$ of $A$ by CE$(A):=\sum\{$En$(α): α\in$ Con$(A)\}$. Let LAT$(n)$ and CDA$(n)$ stand for the class of $n$-element lattices and that of $n$-element congruence distributive algebras of any type. For a class $\mathcal X$, let CE$(\mathcal X):= \{$CE$(A): A\in \mathcal X\}$. We prove the following.
(1) For $α\in A$, En$(α)/2$ is the height of $α$ in the equivalence lattice of $A$.
(2) The largest number and the second largest number in CE(LAT($n$)) are $(n-1)\cdot 2^{n-1}$ and, for $n\geq 4$, $(n-1)\cdot 2^{n-2}+2^{n-3}$; these numbers are only witnessed by chains and lattices with exactly one two-element antichain, respectively.
(3) The largest number in CE(CDA($n$)) is also $(n-1)\cdot 2^{n-1}$, and if CE$(A)=(n-1)\cdot 2^{n-1}$ for an $A\in$ CDA$(n)$, then Con$(A)$ is a boolean lattice with size $|$Con$(A)|=2^{n-1}$.
Enumeration of partial Lukasiewicz paths
Published
• View Publication
• BIB
Łukasiewicz paths are lattice paths in $\Bbb{N}^2$ starting at the origin, ending on the $x$-axis, and consisting of steps in the set $\{(1,k), k\geq -1\}$. We give generating function and exact value for the number of $n$-length prefixes (resp. suffixes) of these paths ending at height $k\geq 0$ with a given type of step. We make a similar study for prefixes of height at most $t\geq 0$. Using the explicit forms for the paths of bounded height, we evaluate the average height asymptotically. For fixed $k$ and $n\to\infty$, this quantity behaves as $\sqrt{πn}$. Finally we study (in the same way) prefixes of alternate Łukasiewicz paths, i.e., Łukasiewicz paths that do contain two consecutive steps with the same direction.
Applications of the Isolating Fusion Algorithm to Table Algebras and Association Schemes
Let $\mathbf{B}$ be a basis for an $r$-dimensional algebra $A$ over a field or commutative ring with unity. The semifusions of $\mathbf{B}$ are the partitions of $\mathbf{B}$ whose characteristic functions form the basis of a subalgebra of $A$, and fusions are semifusions that respect a given involution on $A$.
In this paper, we give an algorithm for computing a minimal semifusion (or fusion) of $\mathbf{B}$ that isolates a prescribed list of disjoint sums of basis elements of $\mathbf{B}$, when such a semifusion (or fusion) exists. We apply this algorithm to three problems: (1) computing the fusion lattices for small association schemes of a given order; (2) producing explicit realizations of association schemes with transitive automorphism groups; and (3) producing examples of non-Schurian fusions of Schurian association schemes whose adjacency matrices have noncyclotomic eigenvalues. The latter is of interest to the open question asking whether association schemes with transitive automorphsm groups can have noncyclotomic character values.
Lattice Minors and Eulerian Posets
Published
• View Publication
• BIB
We introduce posets of simple vertex labeled minors of graphs and a generalization to the level of polymatroids, collectively termed minor posets. We show that any minor poset is isomorphic to the face poset of a regular CW sphere, and in particular, is Eulerian. We establish cd-index inequalities induced by strong maps, a tight upper bound for cd-indices of minor posets and a tight lower bound for cd-indices of minor posets arising from lattices of maximal length.
Enumeration of Generalized Dyck Paths Based on the Height of Down-Steps Modulo $k$
Published in Electron. J. Combin.30(2023), no.1, Paper No. 1.26, 18 pp
• View Publication
• BIB
For fixed non-negative integers $k$, $t$, and $n$, with $t < k$, a $k_t$-Dyck path of length $(k+1)n$ is a lattice path that starts at $(0, 0)$, ends at $((k+1)n, 0)$, stays weakly above the line $y = -t$, and consists of steps from the step-set $\{(1, 1), (1, -k)\}$. We enumerate the family of $k_t$-Dyck paths by considering the number of down-steps at a height of $i$ modulo $k$. Given a tuple $(a_1, a_2, \ldots, a_k)$ we find an exact enumeration formula for the number of $k_t$-Dyck paths of length $(k+1)n$ with $a_i$ down-steps at a height of $i$ modulo $k$, $1 \leq i \leq k$. The proofs given are done via bijective means or with generating functions.
Lattice zonotopes of degree 2
Published in Beiträge zur Algebra und Geometrie 64 (2023), 1011-1025
• View Publication
• BIB
The Ehrhart polynomial $ehr_P (n)$ of a lattice polytope $P$ gives the number of integer lattice points in the $n$-th dilate of $P$ for all integers $n\geq 0$. The degree of $P$ is defined as the degree of its $h^\ast$-polynomial, a particular transformation of the Ehrhart polynomial with many useful properties which serves as an important tool for classification questions in Ehrhart theory. A zonotope is the Minkowski (pointwise) sum of line segments. We classify all Ehrhart polynomials of lattice zonotopes of degree $2$ thereby complementing results of Scott (1976), Treutlein (2010), and Henk-Tagami (2009). Our proof is constructive: by considering solid-angles and the lattice width, we provide a characterization of all $3$-dimensional zonotopes of degree $2$.
Comparing the number of infected vertices in two symmetric sets for Bernoulli percolation (and other random partitions)
For Bernoulli percolation on a given graph $G = (V,E)$ we consider the cluster of some fixed vertex $o \in V$. We aim at comparing the number of vertices of this cluster in the set $V_+$ and in the set $V_-$, where $V_+,V_- \subset V$ have the same size. Intuitively, if $V_-$ is further away from $o$ than $V_+$, it should contain fewer vertices of the cluster. We prove such a result in terms of stochastic domination, provided that $o \in V_+$, and $V_+,V_-$ satisfy some strong symmetry conditions, and we give applications of this result in case $G$ is a bunkbed graph, a layered graph, the 2D square lattice or a hypercube graph. Our result only relies on general probabilistic techniques and a combinatorial result on group actions, and thus extends to fairly general random partitions, e.g. as induced by Bernoulli site percolation or the random cluster model.
Filling space with hypercubes of two sizes -- The pythagorean tiling in higher dimensions
Published
• View Publication
• BIB
We construct a unilateral lattice tiling of $\mathbb{R}^n$ into hypercubes of two differnet side lengths $p$ or $q$. This generalizes the Pythagorean tiling in $\mathbb{R}^2$. We also show that this tiling is unique up to symmetries, which proves a variation of a conjecture by Bölcskei from 2001. For positive integers $p$ and $q$ this tiling also provides a tiling of $(\mathbb{Z}/(p^n+q^n)\mathbb{Z})^n$.
Lattice and Non-lattice Piercing of Axis-Parallel Rectangles
Given a family ${\mathcal F}$ of shapes in the plane, we study what is the lowest possible density of a point set $P$ that pierces (``intersects'', ``hits'') all translates of each shape in ${\mathcal F}$. For instance, if ${\mathcal F}$ consists of two axis-parallel rectangles the best known piercing set, i.e., one with the lowest density, is a lattice.
Given a finite family ${\mathcal F}$ of axis-parallel rectangles, we present an algorithm for finding an optimal ${\mathcal F}$-piercing lattice. The algorithm runs in time polynomial in the number of rectangles and the maximum aspect ratio of the rectangles in the family. No prior algorithms for this problem were known.
On the other hand, we show that for every $n \geq 3$, there exists a family of $n$ axis-parallel rectangles for which the best piercing density achieved by a lattice is separated by a positive (constant) gap from the optimal piercing density for the respective family. Finally, we show that the best lattice can be sometimes worse by $20\%$ than the optimal piercing set.
Bottom complexes
The bottom complex of a finite polyhedal pointed rational cone is the lattice polytopal complex of the compact faces of the convex hull of nonzero lattice points in the cone. The algebra, associated to the bottom complex of a cone, defines a flat deformation of the affine toric variety, associated to the polyhedral cone, set-theoretically. We describe three explicit infinite families of abstract polytopal complexes, defining such flat deformations scheme-theoretically.