lattice ↗ reference
4394 papers tagged with this keyword
Weighted Dyck paths for nonstationary queues
Published
• View Publication
• BIB
We consider a model for a queue in which only a fixed number $N$ of customers can join. Each customer joins the queue independently at an exponentially distributed time. Assuming further that the service times are independent and follow an exponential distribution, this system can be described as a two-dimensional Markov process on a finite triangular region $\mathfrak S$ of the square lattice. We interpret the resulting random walk on $\mathfrak S$ as a Dyck path that is weighted according to some state-dependent transition probabilities that are constant along one axis, but are rather general otherwise. We untangle the resulting intricate combinatorial structure by introducing appropriate generating functions that exploit the recursive structure of the model. This allows us to derive a fully explicit expression for the probability density function of the number of customers served in any busy period (equivalently, of the length of any excursion of the Dyck path above the diagonal) as a weighted sum with alternating sign over a certain subclass of Dyck paths, whose study is of independent interest.
Maximality of reversible gate sets
Published
• View Publication
• BIB
In order to better understand the structure of closed collections of reversible gates, we investigate the lattice of closed sets and the maximal members of this lattice. In this note, we find the maximal closed sets over a finite alphabet. We find that for odd sized alphabets, there are a finite number of maximal closed sets, while for the even case we have a countable infinity, almost all of which are related to an alternating permutations. We then extend to other forms of closure for reversible gates, ancilla and borrow closure. Here we find some structural results, including some examples of maximal closed sets.
Lozenge Tiling Function Ratios for Hexagons with Dents on Two Sides
Published
• View Publication
• BIB
We give a formula for the number of lozenge tilings of a hexagon on the triangular lattice with unit triangles removed from arbitrary positions along two non-adjacent, non-opposite sides. Our formula implies that for certain families of such regions, the ratios of their numbers of tilings are given by simple product formulas.
Combinatorics of 3D directed animals on a simple cubic lattice
We provide combinatorial arguments based on a two-dimensional extension of a locally-free semigroup allowing us to compute the growth rate, $Λ$, of the partition function $Z_N=N^θΛ^N$ of the $N$-particle directed animals ($N\gg 1$) on a simple cubic lattice in a three-dimensional space. Establishing the bijection between the particular configuration of the lattice animal and a class of equivalences of words in the 2D projective locally-free semigroup, we find we find $\ln Λ= \lim_{N\to\infty} \ln Z_N / N$ with $Λ= 2(\sqrt{2}+1) \approx 4.8284$.
The lattice of cycles of an undirected graph
Published
• View Publication
• BIB
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.
Asymmetric extension of Pascal-Dellanoy triangles
Published
• View Publication
• BIB
We give a generalization of the Pascal triangle called the quasi s-Pascal triangle where the sum of the elements crossing the diagonal rays produce the s-bonacci sequence. For this, consider a lattice path in the plane whose step set is {L = (1, 0), L1 = (1, 1), L2 = (2, 1), . . . , Ls = (s, 1)}; an explicit formula is given. Thereby linking the elements of the quasi s-Pascal triangle with the bisnomial coefficients. We establish the recurrence relation for the sum of elements lying over any finite ray of the quasi s-Pascal triangle. The generating function of the cited sums is produced. We also give identities among which one equivalent to the de Moivre sum and establish a q-analogue of the coefficient of the quasi s-Pascal triangle.
Three lectures on random proper colorings of $\mathbb{Z}^d$
A proper $q$-coloring of a graph is an assignment of one of $q$ colors to each vertex of the graph so that adjacent vertices are colored differently. Sample uniformly among all proper $q$-colorings of a large discrete cube in the integer lattice $\mathbb{Z}^d$. Does the random coloring obtained exhibit any large-scale structure? Does it have fast decay of correlations? We discuss these questions and the way their answers depend on the dimension $d$ and the number of colors $q$. The questions are motivated by statistical physics (anti-ferromagnetic materials, square ice), combinatorics (proper colorings, independent sets) and the study of random Lipschitz functions on a lattice. The discussion introduces a diverse set of tools, useful for this purpose and for other problems, including spatial mixing, entropy and coupling methods, Gibbs measures and their classification and refined contour analysis.
The Möbius Function of the Affine Linear Group $\text{AGL}(1,\Bbb F_q)$
Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the Möbius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.
The order dimension of divisibility
Published in Journal of Combinatorial Theory, Series A. Vol 179 (2021) 105391
• View Publication
• BIB
The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is equal to ${(\log n)^2}(\log\log n)^{-Θ(1)}$ as $n$ goes to infinity.
We prove similar bounds for the $2$-dimension of divisibility in $\{1, \dotsc, n\}$, where the $2$-dimension of a poset $P$ is the smallest $d$ such that $P$ is isomorphic to a suborder of the subset lattice of $[d]$. We also prove an upper bound for the $2$-dimension of posets of bounded degree and show that the $2$-dimension of the divisibility poset on the set $(αn, n]$ is $Θ_α(\log n)$ for $α\in (0,1)$. At the end we pose several problems.
The local dimension of suborders of the Boolean lattice
We prove upper and lower bounds on the local dimension of any pair of layers of the Boolean lattice, and show that the local dimension of the first and middle layers of the $n$-dimensional Boolean lattice is asymptotically $\frac{n}{\log_2 n}$ as $n\to\infty$. Previously, all that was known was a lower bound of $Ω(n/\log n)$ and an upper bound of $n$.
Improving a result of Kim, Martin, Masařík, Shull, Smith, Uzzell, and Wang, we also prove that that the maximum local dimension of an $n$-element poset is at least $\left(\frac{1}{4}-o(1)\right)\frac{n}{\log_2 n}$.
Polyharmonic functions and random processes in cones
We investigate polyharmonic functions associated to Brownian motion and random walks in cones. These are functions which cancel some power of the usual Laplacian in the continuous setting and of the discrete Laplacian in the discrete setting. We show that polyharmonic functions naturally appear while considering asymptotic expansions of the heat kernel in the Brownian case and in lattice walk enumeration problems. We provide a method to construct general polyharmonic functions through Laplace transforms and generating functions in the continuous and discrete cases, respectively. This is done by using a functional equation approach.
The $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths
Published
• View Publication
• BIB
In this paper, we propose an $(s+d,d)$-abacus for $(s,s+d,\dots,s+pd)$-core partitions and establish a bijection between the $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths of type $(s+d,-d)$. This result not only gives a lattice path interpretation of the $(s,s+d,\dots,s+pd)$-core partitions but also counts them with a closed formula. Also we enumerate $(s,s+1,\dots,s+p)$-core partitions with $k$ corners and self-conjugate $(s,s+1,\dots,s+p)$-core partitions.
On Covering Numbers, Young Diagrams, and the Local Dimension of Posets
We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely:
- What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number?
We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension $(1 + o(1))\log_2\log_2 n$. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.
On the rational relationships among pseudo-roots of a non-commutative polynomial
Published
• View Publication
• BIB
For a non-commutative ring R, we consider factorizations of polynomials in R[t] where t is a central variable. A pseudo-root of a polynomial p(t) is an element x in R, for which there exist polynomials q(t) and s(t) such that p(t)=q(t)(t-x)s(t). We investigate the rational relationships that hold among the pseudo-roots of p(t) by using the diamond operations for cover graphs of modular lattices.
Interval structures in the Bruhat and weak orders
Published
• View Publication
• BIB
We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for principal order ideals, including pattern characterizations and enumerations for the symmetric group. This segues naturally into a similar analysis for arbitrary intervals, although the results are less characterizing for the Bruhat order at this generality. In counterpoint, however, we obtain a full characterization for intervals starting at rank one in the symmetric group, for each of the four structure types, in each of the two posets. Each category can be enumerated, with intriguing connections to Fibonacci and Catalan numbers. We conclude with suggestions for further directions and questions, including an interesting analysis of the intervals formed between a permutation and each generator in its support.
Representations of automorphism groups on the homology of matroids
Published in European Journal of Combinatorics 94 (2021) 103312
• View Publication
• BIB
Given a group $G$ of automorphisms of a matroid $M$, we describe the representations of $G$ on the homology of the independence complex of the dual matroid $M^*$. These representations are related with the homology of the lattice of flats of $M$, and (when $M$ is realizable) with the top cohomology of a hyperplane arrangement. Finally we analyze in detail the case of the complete graph, which has applications to algebraic geometry.
Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance
Published in The Electronic Journal of Combinatorics (E-JC) Volume 27, Issue 3 (2020) #P3.34
• View Publication
• BIB
Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $λ$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.
Unitarily invariant valuations and Tutte's sequence
Published in Proceedings of the AMS, 149(2) (2021), 829-841
• View Publication
• BIB
We prove Fu's power series conjecture which relates the algebra of isometry invariant valuations on complex space forms to a formal power series from combinatorics which was introduced by Tutte. The $n$-th coefficient of this series is the number of triangulations of a triangle with $3n$ internal edges; or the number of intervals in Tamari's lattice $Y_n$.
A simple symmetric exclusion process driven by an asymmetric tracer particle
Published in Annales de l'Institut Henri Poincare D, 10 no. 4, (2023) 687--713
• View Publication
• BIB
We consider an exclusion process on a periodic one-dimensional lattice where all particles perform simple symmetric exclusion at rate $1$ except for a single tracer particle, which performs partially simple asymmetric exclusion with rate $p$ to the right and rate $q$ to the left. This model was first considered by Ferrari, Goldstein and Lebowitz (Progr. Phys., 1985) as a test for the validity of the Einstein relation in microscopic systems.
The main thrust of this work is an exact solution for the steady state of this exclusion process. We show that the stationary probabilities factorize and give an exact formula for the nonequilibrium partition function. Perhaps surprisingly, we find that the nonequilibrium free energy in the steady state is not well-defined for this system in the thermodynamic limit for any values of $p$ and $q$ if $p \neq q$. We provide formulas for the current and two-point correlations. When the tracer particle performs asymmetric exclusion ($q=0$), the results are shown to simplify significantly and we find an unexpected connection with the combinatorics of set partitions. Finally, we study the system from the point of view of the tracer particle, the so-called environment process. In the environment process, we show that the density of particles decays exponentially with the scaled position in front of the tracer particle in the thermodynamic limit.
Counting walks by their last erased self-avoiding polygons using sieves
Published in Discrete Mathematics Volume 344, Issue 4, April 2021, 112305
• View Publication
• BIB
Let $G$ be an infinite, vertex-transitive lattice with degree $λ$ and fix a vertex on it. Consider all cycles of length exactly $l$ from this vertex to itself on $G$. Erasing loops chronologically from these cycles, what is the fraction $F_p/λ^{\ell(p)}$ of cycles of length $l$ whose last erased loop is some chosen self-avoiding polygon $p$ of length $\ell(p)$, when $l\to\infty$ ? We use combinatorial sieves to prove an exact formula for $F_p/λ^{\ell(p)}$ that we evaluate explicitly. We further prove that for all self-avoiding polygons $p$, $F_p\in\mathbb{Q}[χ]$ with $χ$ an irrational number depending on the lattice, e.g. $χ=1/π$ on the infinite square lattice. In stark contrast we current methods, we proceed via purely deterministic arguments relying on Viennot's theory of heaps of pieces seen as a semi-commutative extension of number theory. Our approach also sheds light on the origin of the difference between exponents stemming from loop-erased walk and self-avoiding polygon models, and suggests a natural route to bridge the gap between both.