lattice ↗ reference
4394 papers tagged with this keyword
Restricted simsun permutations
Published
• View Publication
• BIB
A permutation is simsun if for all k, the subword of the one-line notation consisting of the k smallest entries does not have three consecutive decreasing elements. Simsun permutations were introduced by Simion and Sundaram, who showed that they are counted by the Euler numbers. In this paper we enumerate simsun permutations avoiding a pattern or a set of patterns of length 3. The results involve Motkzin, Fibonacci, and secondary structure numbers. The techniques in the proofs include generating functions, bijections into lattice paths and generating trees.
The Correlation Functions of the XXZ Heisenberg Chain for Zero or Infinite Anisotropy and Random Walks of Vicious Walkers
Published in St.-Petersburg Mathematical Journal, Vol. 22, No. 3 (2011), 359-377
• View Publication
• BIB
The XXZ Heisenberg chain is considered for two specific limits of the anisotropy parameter: $\Dl\to 0$ and $\Dl\to -\infty$. The corresponding wave functions are expressed by means of the symmetric Schur functions. Certain expectation values and thermal correlation functions of the ferromagnetic string operators are calculated over the base of N-particle Bethe states. The thermal correlator of the ferromagnetic string is expressed through the generating function of the lattice paths of random walks of vicious walkers. A relationship between the expectation values obtained and the generating functions of strict plane partitions in a box is discussed. Asymptotic estimate of the thermal correlator of the ferromagnetic string is obtained in the limit of zero temperature. It is shown that its amplitude is related to the number of plane partitions.
Revisiting the hexagonal lattice: on optimal lattice circle packing
Published in Elemente der Mathematik, vol. 66 no. 1 (2011) pg. 1--9
• View Publication
• BIB
In this note we give a simple proof of the classical fact that the hexagonal lattice gives the highest density circle packing among all lattices in $R^2$. With the benefit of hindsight, we show that the problem can be restricted to the important class of well-rounded lattices, on which the density function takes a particularly simple form. Our proof emphasizes the role of well-rounded lattices for discrete optimization problems.
Higher integrality conditions, volumes and Ehrhart polynomials
Published
• View Publication
• BIB
A polytope is integral if all of its vertices are lattice points. The constant term of the Ehrhart polynomial of an integral polytope is known to be 1. In previous work, we showed that the coefficients of the Ehrhart polynomial of a lattice-face polytope are volumes of projections of the polytope. We generalize both results by introducing a notion of $k$-integral polytopes, where 0-integral is equivalent to integral. We show that the Ehrhart polynomial of a $k$-integral polytope $P$ has the properties that the coefficients in degrees less than or equal to $k$ are determined by a projection of $P$, and the coefficients in higher degrees are determined by slices of $P$. A key step of the proof is that under certain generality conditions, the volume of a polytope is equal to the sum of volumes of slices of the polytope.
A forest formula for the antipode in incidence Hopf algebras
We present a new formula for the antipode of incidence Hopf algebras. This formula is expressed as an alternating sum over forests. First, we prove the formula for incidence Hopf algebras of families of lattices by exhibiting a map from chains of a lattice to forests. Then, we extend the definition and present an analogous formula for the antipode of incidence Hopf algebras of families of posets. We characterize those families for which our formula is cancellation-free.
Sequence Folding, Lattice Tiling, and Multidimensional Coding
Published
• View Publication
• BIB
Folding a sequence $S$ into a multidimensional box is a well-known method which is used as a multidimensional coding technique. The operation of folding is generalized in a way that the sequence $S$ can be folded into various shapes and not just a box. The new definition of folding is based on a lattice tiling for the given shape $\cS$ and a direction in the $D$-dimensional integer grid. Necessary and sufficient conditions that a lattice tiling for $\cS$ combined with a direction define a folding of a sequence into $\cS$ are derived. The immediate and most impressive application is some new lower bounds on the number of dots in two-dimensional synchronization patterns. This can be also generalized for multidimensional synchronization patterns. The technique and its application for two-dimensional synchronization patterns, raise some interesting problems in discrete geometry. We will also discuss these problems. It is also shown how folding can be used to construct multidimensional error-correcting codes. Finally, by using the new definition of folding, multidimensional pseudo-random arrays with various shapes are generated.
On Commensurizer Growth
We study new asymptotic invariant of a pair consisting of a group and a subgroup, which we call Commensurizer Growth. We compute the commensurizer growth for several examples, concentrating mainly on the case of a locally compact topological group and a lattice inside it.
Invariant functionals on completely distributive lattices
Published
• View Publication
• BIB
In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices.
On the homomorphism order of labeled posets
Published in Order 28 (2011) 251-265
• View Publication
• BIB
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
Polyominoes with nearly convex columns: An undirected model
Published
• View Publication
• BIB
Column-convex polyominoes were introduced in 1950's by Temperley, a mathematical physicist working on "lattice gases". By now, column-convex polyominoes are a popular and well-understood model. There exist several generalizations of column-convex polyominoes; an example is a model called multi-directed animals. In this paper, we introduce a new sequence of supersets of column-convex polyominoes. Our model (we call it level m column-subconvex polyominoes) is defined in a simple way. We focus on the case when cells are hexagons and we compute the area generating functions for the levels one and two. Both of those generating functions are complicated q-series, whereas the area generating function of column-convex polyominoes is a rational function. The growth constants of level one and level two column-subconvex polyominoes are 4.319139 and 4.509480, respectively. For comparison, the growth constants of column-convex polyominoes, multi-directed animals and all polyominoes are 3.863131, 4.587894 and 5.183148, respectively.
Lack of Sphere Packing of Graphs via Non-Linear Potential Theory
Published
• View Publication
• BIB
It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree \times Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.
Bipartite and neighborhood graphs and the spectrum of the normalized graph Laplacian
Published
• View Publication
• BIB
We study the spectrum of the normalized Laplace operator of a connected graph $Γ$. As is well known, the smallest nontrivial eigenvalue measures how difficult it is to decompose $Γ$ into two large pieces, whereas the largest eigenvalue controls how close $Γ$ is to being bipartite. The smallest eigenvalue can be controlled by the Cheeger constant, and we establish a dual construction that controls the largest eigenvalue. Moreover, we find that the neighborhood graphs $Γ[l]$ of order $l\geq2$ encode important spectral information about $Γ$ itself which we systematically explore. In particular, the neighborhood graph method leads to new estimates for the smallest nontrivial eigenvalue that can improve the Cheeger inequality, as well as an explicit estimate for the largest eigenvalue from above and below. As applications of such spectral estimates, we provide a criterion for the synchronizability of coupled map lattices, and an estimate for the convergence rate of random walks on graphs.
An Improvement of the Lovász Local Lemma via Cluster Expansion
Published
• View Publication
• BIB
An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.
Tableaux combinatorics for the asymmetric exclusion process and Askey-Wilson polynomials
Published in Duke Math. J. 162, no. 15 (2013), 2987-2996
• View Publication
• BIB
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of n sites with open boundaries. It has been cited as a model for traffic flow and protein synthesis. In the most general form of the ASEP with open boundaries, particles may enter and exit at the left with probabilities alpha and gamma, and they may exit and enter at the right with probabilities beta and delta. In the bulk, the probability of hopping left is q times the probability of hopping right. The first main result of this paper is a combinatorial formula for the stationary distribution of the ASEP with all parameters general, in terms of a new class of tableaux which we call staircase tableaux. This generalizes our previous work for the ASEP with parameters gamma=delta=0. Using our first result and also results of Uchiyama-Sasamoto-Wadati, we derive our second main result: a combinatorial formula for the moments of Askey-Wilson polynomials. Since the early 1980's there has been a great deal of work giving combinatorial formulas for moments of various other classical orthogonal polynomials (e.g. Hermite, Charlier, Laguerre, Meixner). However, this is the first such formula for the Askey-Wilson polynomials, which are at the top of the hierarchy of classical orthogonal polynomials.
Exact results for an asymmetric annihilation process with open boundaries
Published in J. Phys. A: Math. Theor. 43 045003 (2010)
• View Publication
• BIB
We consider a nonequilibrium reaction-diffusion model on a finite one dimensional lattice with bulk and boundary dynamics inspired by Glauber dynamics of the Ising model. We show that the model has a rich algebraic structure that we use to calculate its properties. In particular, we show that the Markov dynamics for a system of a given size can be embedded in the dynamics of systems of higher sizes. This remark leads us to devise a technique we call the transfer matrix Ansatz that allows us to determine the steady state distribution and correlation functions. Furthermore, we show that the disorder variables satisfy very simple properties and we give a conjecture for the characteristic polynomial of Markov matrices. Lastly, we compare the transfer matrix Ansatz used here with the matrix product representation of the steady state of one-dimensional stochastic models.
Shifted Jacobi polynomials and Delannoy numbers
We express a weighted generalization of the Delannoy numbers in terms of shifted Jacobi polynomials. A specialization of our formulas extends a relation between the central Delannoy numbers and Legendre polynomials, observed over 50 years ago, to all Delannoy numbers and certain Jacobi polynomials. Another specialization provides a weighted lattice path enumeration model for shifted Jacobi polynomials, we use this to present a new combinatorial proof of the orthogonality of Jacobi polynomials with natural number parameters. The proof relates the orthogonality of these polynomials to the orthogonality of (generalized) Laguerre polynomials, as they arise in the theory of rook polynomials. We provide a combinatorial proof for the orthogonality of certain Romanovski-Jacobi polynomials with zero first parameter and negative integer second parameter, considered as an initial segment of the list of similarly transformed Jacobi polynomials with the same parameters. We observe that for an odd second parameter one more polynomial may be added to this finite orthogonal polynomial sequence than what was predicted by a classical result of Askey and Romanovski. The remaining transformed Jacobi polynomials in the sequence are either equal to the already listed Romanovski-Jacobi polynomials or monomial multiples of similarly transformed Jacobi polynomials with a positive second parameter. We provide expressions for an analogous weighted generalization of the Schröder numbers in terms of the Jacobi polynomials, and use this model, together with a result of Mansour and Sun, to express the Narayana polynomials in terms of shifted Jacobi polynomials.
A Natural Bijection between Permutations and a Family of Descending Plane Partitions
Published in European Journal of Combinatorics, Volume 31, Issue 7 (2010), 1785-1791
• View Publication
• BIB
We construct a direct natural bijection between descending plane partitions without any special part and permutations. The directness is in the sense that the bijection avoids any reference to nonintersecting lattice paths. The advantage of the bijection is that it provides an interpretation for the seemingly long list of conditions needed to define descending plane partitions. Unfortunately, the bijection does not relate the number of parts of the descending plane partition with the number of inversions of the permutation as one might have expected from the conjecture of Mills, Robbins and Rumsey, although there is a simple expression for the number of inversions of a permutation in terms of the corresponding descending plane partition.
Lattice path matroids: the excluded minors
Published in Journal of Combinatorial Theory, Series B, 2010
• View Publication
• BIB
A lattice path matroid is a transversal matroid for which some collection of incomparable intervals in some linear order on the ground set is a presentation. We characterize the minor-closed class of lattice path matroids by its excluded minors.
Noncrossing partitions and the shard intersection order
Published
• View Publication
• BIB
We define a new lattice structure on the elements of a finite Coxeter group W. This lattice, called the shard intersection order, is weaker than the weak order and has the noncrossing partition lattice NC(W) as a sublattice. The new construction of NC(W) yields a new proof that NC(W) is a lattice. The shard intersection order is graded and its rank generating function is the W-Eulerian polynomial. Many order-theoretic properties of the shard intersection order, like Mobius number, number of maximal chains, etc., are exactly analogous to the corresponding properties of NC(W). There is a natural dimension-preserving bijection between simplices in the order complex of the shard intersection order (i.e. chains in the shard intersection order) and simplices in a certain pulling triangulation of the W-permutohedron. Restricting the bijection to the order complex of NC(W) yields a bijection to simplices in a pulling triangulation of the W-associahedron.
The shard intersection order is defined indirectly via the polyhedral geometry of the reflecting hyperplanes of W. Indeed, most of the results of the paper are proven in the more general setting of simplicial hyperplane arrangements.
Strongly Cancellative and Recovering Sets On Lattices
Published
• View Publication
• BIB
We use information theory to study recovering sets $\R_L$ and strongly cancellative sets $\C_L$ on different lattices. These sets are special classes of recovering pairs and cancellative sets previously discussed in [1], [3] and [5]. We mainly focus on the lattices $B_n$ and $D_{l}^{k}$. Specifically, we find upper bounds and constructions for the sets $\R_{B_n}$, $\C_{B_n}$, and $\C_{D_{l}^{k}}$.