lattice ↗ reference
4394 papers tagged with this keyword
Weak Ramanujan property of the standard non-uniform arithmetic quotient of $PGL_4$
Published
• View Publication
• BIB
Let $F$ be a field of formal series over a finite field and $\mathcal{B}_d$ be the affine building associated to $PGL_d(F)$. Given a lattice $Γ$ in $PGL_d(F)$, the complex arising as a quotient $Γ\backslash \mathcal{B}_d$ is called weakly Ramanujan if every non-tivial discrete simultaneous spectrum of the colored adjacency operators $A_1,A_2,\ldots,A_{d-1}$ acting on $L^2(Γ\backslash \mathcal{B}_d)$ is contained in the simultaneous spectrum of those operators acting on $L^2(\mathcal{B})$. In this paper, we prove that the standard non-uniform arithmetic quotient $PGL_4(\mathbb{F}_q[t])\backslash \mathcal{B}_4$ of $PGL_4(F)$ is weakly Ramanujan.
A symmetric function lift of torus link homology
Published
• View Publication
• BIB
Suppose $M$ and $N$ are positive integers and let $k = \gcd(M, N)$, $m = M/k$, and $n=N/k$. We define a symmetric function $L_{M,N}$ as a weighted sum over certain tuples of lattice paths. We show that $L_{M,N}$ satisfies a generalization of Mellit and Hogancamp's recursion for the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link. As a corollary, we obtain the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link as a specialization of $L_{M,N}$. We conjecture that $L_{M,N}$ is equal (up to a constant) to the elliptic Hall algebra operator $\mathbf{Q}_{m,n}$ composed $k$ times and applied to 1.
On the Construction of New Toric Quantum Codes and Quantum Burst-Error Correcting Codes
Published
• View Publication
• BIB
A toric quantum error-correcting code construction procedure is presented in this work. A new class of an infinite family of toric quantum codes is provided by constructing a classical cyclic code on the square lattice $\mathbb{Z}_{q}\times \mathbb{Z}_{q}$ for all odd integers $q\geq 5$ and, consequently, new toric quantum codes are constructed on such square lattices regardless of whether $q$ can be represented as a sum of two squares. Furthermore this work supplies for each $q$ the polyomino shapes that tessellate the corresponding square lattices and, consequently, tile the lattice $\mathbb{Z}^{2}$. The channel without memory to be considered for these constructed toric quantum codes is symmetric, since the $\mathbb{Z}^{2}$-lattice is autodual. Moreover, we propose a quantum interleaving technique by using the constructed toric quantum codes which shows that the code rate and the coding gain of the interleaved toric quantum codes are better than the code rate and the coding gain of Kitaev's toric quantum codes for $q=2n+1$, where $n\geq 2$, and of an infinite class of Bombin and Martin-Delgado's toric quantum codes. In addition to the proposed quantum interleaving technique improves such parameters, it can be used for burst-error correction in errors which are located, quantum data stored and quantum channels with memory.
A sharp threshold for a random version of Sperner's Theorem
Published
• View Publication
• BIB
The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer: the collection of all sets of size $\lfloor{n/2}\rfloor$, or also, if $n$ is odd, the collection of all sets of size $\lceil{n/2}\rceil$. Given $p$, choose each subset of $[n]$ with probability $p$ independently. We show that for every constant $p>3/4$, the largest antichain among these subsets is also given by a middle layer, with probability tending to $1$ as $n$ tends to infinity. This $3/4$ is best possible, and we also characterize the largest antichains for every constant $p>1/2$. Our proof is based on some new variations of Sapozhenko's graph container method.
On the subdivision algebra for the polytope $\mathcal{U}_{I,\bar{J}}$
Published
• View Publication
• BIB
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope.
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.