lattice
4310 papers tagged with this keyword
Semigroup models for biochemical reaction networks
Published
• View Publication
• BIB
The catalytic reaction system (CRS) formalism by Hordijk and Steel is a versatile method to model autocatalytic biochemical reaction networks. It is particularly suited, and has been widely used, to study self-sustainment and self-generation properties. Its distinguishing feature is the explicit assignment of a catalytic function to chemicals that are part of the system. In this work, it is shown that the subsequent and simultaneous catalytic functions gives rise to an algebraic structure of a semigroup with the additional compatible operation of idempotent addition and a partial order. The aim of this article is to demonstrate that such semigroup models are a natural setup to describe and analyze self-sustaining CRS. The basic algebraic properties of the models are established and the notion of the function of any set of chemicals on the whole CRS is made precise. This leads to a natural discrete dynamics on the network, which results from iteratively considering the self-action on a set of chemicals by its own function. The fixed points of this dynamics are proven to correspond to self-sustaining sets of chemicals, which are functionally closed. Finally, as the main application, a theorem on the maximal self-sustaining set and a structure theorem on the lattice of functionally closed self-sustaining sets of chemicals are proven.
Lattice Paths and Pattern-Avoiding Uniquely Sorted Permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (August 31, 2021) dmtcs:6494
• View Publication
• BIB
Defant, Engen, and Miller defined a permutation to be uniquely sorted if it has exactly one preimage under West's stack-sorting map. We enumerate classes of uniquely sorted permutations that avoid a pattern of length three and a pattern of length four by establishing bijections between these classes and various lattice paths. This allows us to prove nine conjectures of Defant.
On the exponential growth rates of lattice animals and interfaces
Published
• View Publication
• BIB
We introduce a formula for translating any upper bound on the percolation threshold of a lattice \g into a lower bound on the exponential growth rate of lattice animals $a(G)$ and vice-versa. We exploit this to improve on the best known asymptotic bounds on $a(\mathbb{Z}^d)$ as $d\to \infty$. Our formula remains valid if instead of lattice animals we enumerate certain sub-species called interfaces. Enumerating interfaces leads to functional duality formulas that are tightly connected to percolation and are not valid for lattice animals, as well as to strict inequalities for the percolation threshold.
Incidentally, we prove that the rate of the exponential decay of the cluster size distribution of Bernoulli percolation is a continuous function of $p\in (0,1)$.
Nef-partitions arising from unimodular configurations
Published in Mathematische Nachrichten 293 (2020), 1791--1800
• View Publication
• BIB
Reflexive polytopes have been studied from viewpoints of combinatorics, commutative algebra and algebraic geometry. A nef-partition of a reflexive polytope $\mathcal{P}$ is a decomposition $\mathcal{P}=\mathcal{P}_1+\cdots+\mathcal{P}_r$ such that each $\mathcal{P}_i$ is a lattice polytope containing the origin. Batyrev and van Straten gave a combinatorial method for explicit constructions of mirror pairs of Calabi-Yau complete intersections obtained from nef-partitions. In the present paper, by means of Gröbner basis techniques, we give a large family of nef-partitions arising from unimodular configurations.
Improved bounds for induced poset saturation
Published
• View Publication
• BIB
Given a finite poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is induced-$\mathcal{P}$-saturated if $\mathcal{F}$ contains no copy of $\mathcal{P}$ as an induced subposet but every proper superset of $\mathcal{F}$ contains a copy of $\mathcal{P}$ as an induced subposet. The minimum size of an induced-$\mathcal{P}$-saturated family in the $n$-dimensional Boolean lattice, denoted $\operatorname{sat}^*(n,\mathcal{P})$, was first studied by Ferrara et al. (2017).
Our work focuses on strengthening lower bounds. For the 4-point poset known as the diamond, we prove $\operatorname{sat}^*(n,\mathcal{D}_2)\geq\sqrt{n}$, improving upon a logarithmic lower bound. For the antichain with $k+1$ elements, we prove $\operatorname{sat}^*(n,\mathcal{A}_{k+1})\geq (1-o_k(1))\frac{kn}{\log_2 k}$, improving upon a lower bound of $3n-1$ for $k\geq 3$.
The best extending cover-preserving geometric lattices of semimodular lattices
Published in Acta Mathematica Sinica 39 (2023) 1369-1388
• View Publication
• BIB
In 2010, Gábor Czédli and E. Tamás Schmidt mentioned that the best cover-preserving embedding of a given semimodular lattice is not known yet [A cover-preserving embedding of semimodular lattices into geometric lattices, Advances in Mathematics 225 (2010) 2455-2463]. That is to say: What are the geometric lattices $G$ such that a given finite semimodular lattice $L$ has a cover-preserving embedding into $G$ with the smallest $|G|$? In this paper, we propose an algorithm to calculate all the best extending cover-preserving geometric lattices $G$ of a given semimodular lattice $L$ and prove that the length and the number of atoms of every best extending cover-preserving geometric lattice $G$ equal the length of $L$ and the number of non-zero join-irreducible elements of $L$, respectively. Therefore, we comprehend the best cover-preserving embedding of a given semimodular lattice.
Covering graphs, magnetic spectral gaps and applications to polymers and nanoribbons
Published in Symmetry-Basel 11 (2019) 1163
• View Publication
• BIB
In this article, we analyze the spectrum of discrete magnetic Laplacians (DML) on an infinite covering graph $\widetilde{G} \rightarrow G=\widetilde{G} /Γ$ with (Abelian) lattice group $Γ$ and periodic magnetic potential $\widetildeβ$. We give sufficient conditions for the existence of spectral gaps in the spectrum of the DML and study how these depend on $\widetildeβ$. The magnetic potential may be interpreted as a control parameter for the spectral bands and gaps. We apply these results to describe the spectral band/gap structure of polymers (polyacetylene) and of nanoribbons in the presence of a constant magnetic field.
Complexity in Young's Lattice
Published in Annals of Pure and Applied Logic, Volume 173, Issue 4, 2022
• View Publication
• BIB
We investigate the complexity of the partial order relation of Young's lattice. The definable relations are characterized by establishing the maximal definability property modulo the single automorphism given by conjugation; consequently, as an ordered set Young's lattice has an undecidable elementary theory and is inherently non-finitely axiomatizable but every ideal generates a finitely axiomatizable universal class of equivalence relations. We end with conjectures concerning the complexities of the $Σ_1$ and $Σ_2$-theories.
Unimodular covers of 3-dimensional parallelepipeds and Cayley sums
Published in Combinatorial Theory 3(3) (2023), #2
• View Publication
• BIB
We show that the following classes of lattice polytopes have unimodular covers, in dimension three: the class of parallelepipeds, the class of centrally symmetric polytopes, and the class of Cayley sums $\text{Cay}(P,Q)$ where the normal fan of $Q$ refines that of $P$. This improves results of Beck et al.~(2018) and Haase et al.~(2008) where the last two classes were shown to be IDP.
Generating functions for vector partition functions and a basic recurrence relation
Published in Journal of Difference Equations and Applications, 25:7, 1052-1061 (2019)
• View Publication
• BIB
We define a generalized vector partition function and derive an identity for generating series of such functions associated with solutions of basic recurrence relation of combinatorial analysis. As a consequence, we obtain the generating function of the number of generalized lattice paths and a new version of Chaundy-Bullard identity for the vector partition function.
Coloring the Voronoi tessellation of lattices
Published in J. London Math. Soc. (2) 104 (2021) 1135-1171
• View Publication
• BIB
In this paper we define the chromatic number of a lattice: It is the least number of colors one needs to color the interiors of the cells of the Voronoi tessellation of a lattice so that no two cells sharing a facet are of the same color. We compute the chromatic number of the root lattices, their duals, and of the Leech lattice, we consider the chromatic number of lattices of Voronoi's first kind, and we investigate the asymptotic behaviour of the chromatic number of lattices when the dimension tends to infinity. We introduce a spectral lower bound for the chromatic number of lattices in spirit of Hoffman's bound for finite graphs. We compute this bound for the root lattices and relate it to the character theory of the corresponding Lie groups.
The alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
This paper is about the positive part $U^+_q$ of the quantum group $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. Recently we introduced a type of element in $U^+_q$, said to be alternating. Each alternating element commutes with exactly one of $A$, $B$, $qBA-q^{-1}AB$, $qAB-q^{-1}BA$; this gives four types of alternating elements. There are infinitely many alternating elements of each type, and these mutually commute. In the present paper we use the alternating elements to obtain a central extension $\mathcal U^+_q$ of $U^+_q$. We define $\mathcal U^+_q$ by generators and relations. These generators, said to be alternating, are in bijection with the alternating elements of $U^+_q$. We display a surjective algebra homomorphism $\mathcal U^+_q \to U^+_q$ that sends each alternating generator of $\mathcal U^+_q$ to the corresponding alternating element in $U^+_q$. We adjust this homomorphism to obtain an algebra isomorphism $\mathcal U_q^+ \to U^+_q \otimes \mathbb F \lbrack z_1, z_2,\ldots\rbrack$ where $\mathbb F$ is the ground field and $\lbrace z_n\rbrace_{n=1}^\infty$ are mutually commuting indeterminates. We show that the alternating generators form a PBW basis for $\mathcal U_q^+$. We discuss how $\mathcal U^+_q$ is related to the work of Baseilhac, Koizumi, Shigechi concerning the $q$-Onsager algebra and integrable lattice models.
Amalgamating poset extensions and generating free lattices
Published
• View Publication
• BIB
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the free lattice generated by a poset while preserving certain bounds can be constructed as a colimit of `intermediate structures' as they occur in the construction of a canonical extension of a poset.
Polygonal Quivers
We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.
The fundamental theorem of finite semidistributive lattices
Published in Selecta Math. (N.S.) 27(2021), no.4, Paper No. 59
• View Publication
• BIB
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.
Gončarov Polynomials in Partition Lattices and Exponential Families
Published
• View Publication
• BIB
Classical Gončarov polynomials arose in numerical analysis as a basis for the solutions of the Gončarov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By replacing the differentiation operator with a delta operator and using the theory of finite operator calculus, Lorentz, Tringali and Yan introduced the sequence of generalized Gončarov polynomials associated to a pair $(Δ, Z)$ of a delta operator $Δ$ and an interpolation grid $Z$. Generalized Gončarov polynomials share many nice algebraic properties and have a connection with the theories of binomial enumeration and order statistics. In this paper we give a complete combinatorial interpretation for any sequence of generalized Gončarov polynomials. First, we show that they can be realized as weight enumerators in partition lattices. Then, we give a more concrete realization in exponential families and show that these polynomials enumerate various enriched structures of vector parking functions.
EL-Shelling on Comodernistic Lattices
Published
• View Publication
• BIB
We prove the equivalence of EL-shellability and the existence of recursive atom ordering independent of roots. We show that a comodernistic lattice, as defined by Schweig and Woodroofe, admits a recursive atom ordering independent of roots, therefore is EL-shellable. We also present and discuss a simpler EL-shelling on one of the most important classes of comodernistic lattice, the order congruence lattices.
Graphs with large girth and free groups
We use Margulis' construction together with lattice counting arguments to build Cayley graphs on $\mathrm{SL}_{2}\left(\mathbb{F}_{p}\right),\;p\to\infty$ which are d-regular graphs with girth $\geq\frac{2}{3}\frac{\ln\left(n\right)}{\ln\left(d-1\right)+\ln\left(C\right)}$ for some absolute constant C.
Graded Cohen-Macaulay domains and lattice polytopes with short $h$-vector
Let P be a lattice polytope with $h^*$-vector $(1, h^*_1, h^*_2)$. In this note we show that if $h_2^* \leq h_1^*$, then $P$ is IDP. More generally, we show the corresponding statements for semi-standard graded Cohen-Macaulay domains over algebraically closed fields.
A local maximizer for lattice width of $3$-dimensional hollow bodies
Published in Discrete Applied Math. 298 (July 2021), 129-142
• View Publication
• BIB
The second and fourth authors have conjectured that a certain hollow tetrahedron $Δ$ of width $2+\sqrt2$ attains the maximum lattice width among all three-dimensional convex bodies. We here prove a local version of this conjecture: there is a neighborhood $U$ of $Δ$ in the Hausdorff distance such that every convex body in $U \setminus \{Δ\}$ has width strictly smaller than $Δ$. When the search space is restricted to tetrahedra, we compute an explicit such neighborhood. We also limit the space of possible counterexamples to the conjecture. We show, for example, that their width must be smaller than $3.972$ and their volume must lie in $[2.653, 19.919]$.