arXiv++ Combinatorics

Browse math.CO papers from arXiv

lattice

4310 papers tagged with this keyword
Multilattice graphs and perfect domination
Perfect codes in the $n$-dimensio\-nal grid $Λ_n$ of the lattice $\mathbb{Z}^n$ ($0<n\in\mathbb{Z}$) and its quotient toroidal grids were obtained via the truncated distance in $\mathbb{Z}^n$ given between $u=(u_1,\cdots,u_n)$ and $v=(v_1, \ldots,v_n)$ as the graph distance $h(u,v)$ in $Λ_n$, if $|u_i-v_i|\le 1$, for all $i\in\{1, \ldots,n\}$, and as $n+1$, otherwise. Such codes are extended to multilattice graphs $Γ_n$ obtained by glueing ternary $n$-cubes along their codimension 1 ternary subcubes in such a way that each binary $n$-subcube is contained in a unique maximal lattice of $Γ_n$. The existence of an infinite number of isolated perfect truncated-metric codes of radius 2 in $Γ_n$ for $n=2$ is ascertained, leading to conjecture such existence for $n>2$ with radius $n$.
2021-07-24
Monotone subsets in lattices and the Schensted shape of a Sós permutation
Published • View PublicationBIB
For a fixed irrational number $α$ and $n\in \mathbb{N}$, we look at the shape of the sequence $(f(1),\ldots,f(n))$ after Schensted insertion, where $f(i) = αi \mod 1$. Our primary result is that the boundary of the Schensted shape is approximated by a piecewise linear function with at most two slopes. This piecewise linear function is explicitly described in terms of the continued fraction expansion for $α$. Our results generalize those of Boyd and Steele, who studied longest monotone subsequences. Our proofs are based on a careful analysis of monotone sets in two-dimensional lattices.
From Trees to Barcodes and Back Again II: Combinatorial and Probabilistic Aspects of a Topological Inverse Problem
Published • View PublicationBIB
In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees. Generic BHV trees on $n+1$ leaf nodes fall into $(2n-1)!!$ distinct strata, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., $(n+1)!n!2^{-n}$. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data and opens the door to doing more precise science.
Algebraic area enumeration of random walks on the honeycomb lattice
Published in Phys. Rev. E 105, 014112 (2022) • View PublicationBIB
We study the enumeration of closed walks of given length and algebraic area on the honeycomb lattice. Using an irreducible operator realization of honeycomb lattice moves, we map the problem to a Hofstadter-like Hamiltonian and show that the generating function of closed walks maps to the grand partition function of a system of particles with exclusion statistics of order $g=2$ and an appropriate spectrum, along the lines of a connection previously established by two of the authors. Reinterpreting the results in terms of the standard Hofstadter spectrum calls for a mixture of $g=1$ (fermion) and $g=2$ exclusion whose physical meaning and properties require further elucidation. In this context we also obtain some unexpected Fibonacci sequences within the weights of the combinatorial factors appearing in the counting of walks.
2021-07-21 v2
On the extension of the FKG inequality to $n$ functions
Published • View PublicationBIB
The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi) conjectured an extended version of this inequality for all $n>2$ monotone functions on a distributive lattice. Here we prove the conjecture for two special cases: for monotone functions on the unit square in ${\mathbb R}^k$ whose upper level sets are $k$-dimensional rectangles, and, more significantly, for arbitrary monotone functions on the unit square in ${\mathbb R}^2$. The general case for ${\mathbb R}^k, k>2$ remains open.
2021-07-21
Revisiting Faigle geometries from a perspective of semimodular lattices
Published • View PublicationBIB
In 1980, U. Faigle introduced a sort of finite geometries on posets that are in bijective correspondence with finite semimodular lattices. His result has almost been forgotten in lattice theory. Here we simplify the axiomatization of these geometries, which we call Faigle geometries. To exemplify their usefulness, we give a short proof of a theorem of Grätzer and E. Knapp (2009) asserting that each slim semimodular lattice $L$ has a congruence-preserving extension to a slim rectangular lattice of the same length as $L$. As another application of Faigle geometries, we give a short proof of G. Grätzer and E. W. Kiss' result from 1986 (also proved by M. Wild in 1993 and the present author and E. T. Schmidt in 2010) that each finite semimodular lattice $L$ has an extension to a geometric lattice of the same length as $L$.
2021-07-20 v2
Lattice path enumeration for semi-magic squares of size three
We give formulas for enumerating directed paths in the graded poset of semi-magic squares of size three. We give two applications of these formulas: an advanced example of Vandermonde convolution for finite graded posets, and a direct method for deriving Regge symmetry formulas for un-normalized Clebsch-Gordan coefficients.
2021-07-20 v2
Counting filter restricted paths in $\mathbb{Z}^2$ lattice
Published • View PublicationBIB
We derive a path counting formula for two-dimensional lattice path model on a plane with filter restrictions. A filter is a line that restricts the path passing it to one of possible directions. Moreover, each path that touches this line is assigned a special weight. The periodic filter restrictions are motivated by the problem of tensor power decomposition for representations of quantum $\mathfrak{sl}_2$ at roots of unity. Our main result is the explicit formula for the weighted number of paths from the origin to a fixed point between two filters in this model.
2021-07-19
On the generating function for intervals in Young's lattice
Published • View PublicationBIB
In this paper, we study a family of generating functions whose coefficients are polynomials that enumerate partitions in lower order ideals of Young's lattice. Our main result is that this family satisfies a rational recursion and are therefore rational functions. As an application, we calculate the asymptotic behavior of the cardinality of lower order ideals for the ``average" partition of fixed length and give a homological interpretation of this result in relation to Grassmannians and their Schubert varieties.
Congruence permutability is prime
Published • View PublicationBIB
We give a combinatorial proof that congruence permutability is prime in the lattice of interpretability types of varieties. Thereby, we settle a 1984 conjecture of Garcia and Taylor.
2021-07-14
Discrete intrinsic volumes
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$. In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their discrete counterparts. In particular, we show that for them the analogue of the Ehrhart result holds, where the volume is replaced by the intrinsic volume. We also introduce and study a notion of Grassmann valuation which generalizes both the discrete volume and the solid-angle valuation introduced by Reeve and Macdonald.
2021-07-13 v2
Integer decomposition property of polytopes
Published in The Electron. J. Combin. 31 (2024), no. 1, Paper No. 1.1, 22 pp • View PublicationBIB
We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes, we prove the integer decomposition property for lattice polytopes in this setting.
2021-07-13 v2
Lattice associated to a Shi variety
Published • View PublicationBIB
Let $W$ be a irreducible Weyl group and $W_a$ its affine Weyl group. In a previous article the author defined an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. The set of irreducible components of $\widehat{X}_{W_a}$, denoted $H^0(\widehat{X}_{W_a})$, is of some interest and we show in this article that $H^0(\widehat{X}_{W_a})$ has a structure of semidistributive lattice.
On the exponential growth rates of lattice animals and interfaces II: new asymptotic bounds
We introduce a method for translating any upper bound on the percolation threshold of a lattice $G$ into a lower bound on the exponential growth rate $a(G)$ of lattice animals and vice-versa. We exploit this in both directions. We improve on the best known asymptotic lower and upper bounds on $a(\mathbb{Z}^d)$ as $d\to \infty$. We use percolation as a tool to obtain the latter, and conversely we use the former to obtain lower bounds on $p_c(\mathbb{Z}^d)$. We obtain the rigorous lower bound $\dot{p}_c(\mathbb{Z}^3)>0.2522$ for 3-dimensional site percolation.
2021-07-11 v2
Random Regular Bipartite Graphs Satisfy Weak Virial Positivity, for a Large Range of the Parameters
We deal with $r$-regular bipartite graphs with $2n$ vertices. In a previous paper, Butera, Pernici and the author have introduced a quantity $u(i)$, $u(i) = -\ln(i!m\_i)$, a function of the number of $i$-matchings, $m\_i$, and conjectured that the fraction of graphs that violate $Δ^k u(i) > 0$ for $k > 1$ vanishes as $n$ goes to infinity. Here $Δ$ is the finite difference operator. We now more particularly define the "Virial Positivity Conjecture" as the conjecture that the fraction of graphs that satisfy $Δ^k u(i)$ go to 0 for all $k > 1$ and $i$, approaches 1 as $n$ goes to infinity. The "Weak Virial Positivity Conjecture" is the conjecture that for each $i$ and $k > 1$ the probability that $Δ^k u(i) > 0$ goes to $1$ as $n$ goes to infinity. The term Virial is used since the condition $Δ^k u(i) > 0$ corresponds to the positivity of the Virial coefficients for infinite regular lattices. Herein we prove Weak Virial Positivity for the range of parameters $r < 11$, $i+k < 101$, $1 < k < 28$,or $i+k < 30$ all $r$. A formalism of Wanless as systematized by Pernici is central to this effort. Basically this paper is a corollary to our parallel attack on graph positivity in a previous paper. We assume basic knowledge of this previous paper.
2021-07-11 v3
eGHWT: The Extended Generalized Haar-Walsh Transform
Published • View PublicationBIB
Extending computational harmonic analysis tools from the classical setting of regular lattices to the more general setting of graphs and networks is very important and much research has been done recently. The Generalized Haar-Walsh Transform (GHWT) developed by Irion and Saito (2014) is a multiscale transform for signals on graphs, which is a generalization of the classical Haar and Walsh-Hadamard Transforms. We propose the extended Generalized Haar-Walsh Transform (eGHWT), which is a generalization of the adapted time-frequency tilings of Thiele and Villemoes (1996). The eGHWT examines not only the efficiency of graph-domain partitions but also that of "sequency-domain" partitions simultaneously. Consequently, the eGHWT and its associated best-basis selection algorithm for graph signals significantly improve the performance of the previous GHWT with the similar computational cost, $O(N \log N)$, where $N$ is the number of nodes of an input graph. While the GHWT best-basis algorithm seeks the most suitable orthonormal basis for a given task among more than $(1.5)^N$ possible orthonormal bases in $\mathbb{R}^N$, the eGHWT best-basis algorithm can find a better one by searching through more than $0.618\cdot(1.84)^N$ possible orthonormal bases in $\mathbb{R}^N$. This article describes the details of the eGHWT best-basis algorithm and demonstrates its superiority using several examples including genuine graph signals as well as conventional digital images viewed as graph signals. Furthermore, we also show how the eGHWT can be extended to 2D signals and matrix-form data by viewing them as a tensor product of graphs generated from their columns and rows and demonstrate its effectiveness on applications such as image approximation.
2021-07-05
Conditions forcing the existence of relative complements in lattices and posets
Published • View PublicationBIB
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a complement in L. By introducing the concept of modular triples in posets, we extend our results obtained for lattices to posets. It should be remarked that the notion of a complement can be introduced also in posets that are not bounded.
2021-06-29
Recent Colorings And Labelings In Topological Coding
Topological Coding consists of two different kinds of mathematics: topological structure and mathematical relation. The colorings and labelings of graph theory are main techniques in topological coding applied in asymmetric encryption system. Topsnut-gpws (also, colored graphs) have the following advantages: (1) Run fast in communication networks because they are saved in computer by popular matrices rather than pictures. (2) Produce easily text-based (number-based) strings for encrypt files. (3) Diversity of asymmetric ciphers, one public-key corresponds to more private-keys, or more public-keys correspond more private-keys. (4) Irreversibility, Topsnut-gpws can generate quickly text-based (number-based) strings with bytes as long as desired, but these strings can not reconstruct the original Topsnut-gpws. (5) Computational security, since there are many non-polynomial (NP-complete, NP-hard) algorithms in creating Topsnut-gpws. (6) Provable security, since there are many mathematical conjectures (open problems) in graph labelings and graph colorings. We are committed to create more kinds of new Topsnut-gpws to approximate practical applications and antiquantum computation, and try to use algebraic method and Topsnut-gpws to establish graphic group, graphic lattice, graph homomorphism etc.
2021-06-28 v2
Cliff operads: a hierarchy of operads on words
Published in Journal of Algebraic Combinatorics, 2022 • View PublicationBIB
A new hierarchy of operads over the linear spans of $δ$-cliffs, which are some words of integers, is introduced. These operads are intended to be analogues of the operad of permutations, also known as the associative symmetric operad. We obtain operads whose partial compositions can be described in terms of intervals of the lattice of $δ$-cliffs. These operads are very peculiar in the world of the combinatorial operads since, despite to the relative simplicity for their construction, they are infinitely generated and they have nonquadratic and nonhomogeneous nontrivial relations. We provide a general construction for some of their quotients. We use it to endow the spaces of permutations, $m$-increasing trees, $c$-rectangular paths, and $m$-Dyck paths with operad structures. The operads on $c$-rectangular paths admit, as Koszul duals, operads generalizing the duplicial and triplicial operads.
2021-06-25 v2
Schubert polynomials, the inhomogeneous TASEP, and evil-avoiding permutations
Published • View PublicationBIB
Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The inhomogeneous totally asymmetric simple exclusion process (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to products of double Schubert polynomials. In this paper we introduce the class of evil-avoiding permutations, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.