lattice ↗ reference
4394 papers tagged with this keyword
A solvable non-directed model of polymer adsorption
Published
• View Publication
• BIB
Prudent walks are self-avoiding walks which cannot step towards an already occupied vertex. We introduce a new model of adsorbing prudent walks on the square lattice, which start on an impenetrable surface and accrue a fugacity $a$ with each step along the surface. These are different to other exactly solved models of polymer adsorption, like Dyck paths, Motzkin paths and partially-directed walks, in that they are not trivially directed - they are able to step in all lattice directions. We calculate the generating functions, free energies and surface densities for this model and observe a first-order adsorption transition at the critical value of the surface interaction.
Bias and dessins
Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of algebraic numbers, and (ii) a Galois invariant lattice structure on the set of biased dessins. Bias brings these benefits by (i) using individual polynomials instead of equivalence classes of polynomials, and (ii) applying properties of covering spaces and the fundamental group. The new features give new opportunities.
At the 2014 SIGMAP conference the author spoke [1] on 'The decorated lattice of biased dessins'. This decorated lattice $\mathcal{L}$ is combinatorially defined, and its automorphism group contains the absolute Galois group $Γ$, perhaps as an index 6 subgroup.
This paper defines new families of invariants of dessins, although they require further work to be understood and useful. For this, $\mathcal{L}$ is vital. This paper relies on the the existing, unbiased, theory. Also, it only sketches the construction of $\mathcal{L}$. In [2], [3] the author will remove this dependency, develop the biased theory further, with a focus on $Γ$, and make the theory more accessible.
Towards an Algebra for Cascade Effects
Published in Logical Methods in Computer Science, Volume 13, Issue 3 (July 6, 2017) lmcs:3770
• View Publication
• BIB
We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide the endeavor towards an understanding of cascading failure. The theory evolves as an interplay of lattices and fixed points, and its results may be instantiated to commonly studied models of cascade effects.
We characterize the systems through their fixed points, and equip them with two operators. We uncover properties of the operators, and express global systems through combinations of local systems. We enhance the theory with a notion of failure, and understand the class of shocks inducing a system to failure. We develop a notion of mu-rank to capture the energy of a system, and understand the minimal amount of effort required to fail a system, termed resilience. We deduce a dual notion of fragility and show that the combination of systems sets a limit on the amount of fragility inherited.
A Cambrian framework for the oriented cycle
Published
• View Publication
• BIB
This paper completes the project of constructing combinatorial models (called frameworks) for the exchange graph and g-vector fan associated to any exchange matrix B whose Cartan companion is of finite or affine type, using the combinatorics and geometry of Coxeter-sortable elements and Cambrian lattices/fans. Specifically, we construct a framework in the unique non-acyclic affine case, the cyclically oriented n-cycle. In the acyclic affine case, a framework was constructed by combining a copy of the Cambrian fan for B with an antipodal copy of the Cambrian fan for -B. In this paper, we extend this "doubled Cambrian fan" construction to the oriented n-cycle, using a more general notion of sortable elements for quivers with cycles.
On the Poset of Multichains
In this note we introduce the poset of $m$-multichains of a given poset $\mathcal{P}$. Its elements are the multichains of $\mathcal{P}$ consisting of $m$ elements, and its partial order is the componentwise partial order of $\mathcal{P}$. We show that this construction preserves a number of poset-theoretic and poset-topological properties of $\mathcal{P}$. Moreover, we describe the structure of the poset of $m$-multichains of a finite distributive lattice, and provide a link to R.~Stanley's theory of $\mathcal{P}$-partitions.
On a quantum causal stochastic double product integral related to Lévy area
Published
• View Publication
• BIB
We study the family of causal double product integrals \begin{equation*}
\prod_{a < x < y < b}\left(1 + i{λ\over 2}(dP_x dQ_y - dQ_x dP_y) + i {μ\over 2}(dP_x dP_y + dQ_x dQ_y)\right) \end{equation*} where $P$ and $Q$ are the mutually noncommuting momentum and position Brownian motions of quantum stochastic calculus. The evaluation is motivated heuristically by approximating the continuous double product by a discrete product in which infinitesimals are replaced by finite increments. The latter is in turn approximated by the second quantisation of a discrete double product of rotation-like operators in different planes due to a result in [Hudson-Pei2015]. The main problem solved in this paper is the explicit evaluation of the continuum limit $W$ of the latter, and showing that $W$ is a unitary operator. The kernel of $W$ is written in terms of Bessel functions, and the evaluation is achieved by working on a lattice path model and enumerating linear extensions of related partial orderings, where the enumeration turns out to be heavily related to Dyck paths and generalisations of Catalan numbers.
Tableau sequences, open diagrams, and Baxter families
Published in European Journal of Combinatorics Volume 58, November 2016, Pages 144-165
• View Publication
• BIB
Walks on Young's lattice of integer partitions encode many objects of algebraic and combinatorial interest. Chen et al. established connections between such walks and arc diagrams. We show that walks that start at $\varnothing$, end at a row shape, and only visit partitions of bounded height are in bijection with a new type of arc diagram -- open diagrams. Remarkably two subclasses of open diagrams are equinumerous with well known objects: standard Young tableaux of bounded height, and Baxter permutations. We give an explicit combinatorial bijection in the former case.
On the span of lattice points in a parallelepiped
Published
• View Publication
• BIB
Let $Λ\subset\mathbf{R}^{n}$ be a lattice which contains the integer lattice $\mathbf{Z}^{n}$. We characterize the space of linear functions $\mathbf{R}^{n}\rightarrow\mathbf{R}$ which vanish on the lattice points of $Λ$ lying in the half-open unit cube $[0,1)^{n}$. We also find an explicit formula for the dimension of the linear span of $Λ\cap[0,1)^{n}$. The results in this paper generalize and are based on the Terminal Lemma of Reid, which is in turn based upon earlier work of Morrison and Stevens on the classification of four dimensional isolated Gorenstein terminal cyclic quotient singularities.
Graphs and Their Associated Inverse Semigroups
Published
• View Publication
• BIB
Directed graphs have long been used to gain understanding of the structure of semigroups, and recently the structure of directed graph semigroups has been investigated resulting in a characterization theorem and an analog of Fruct's Theorem. We investigate four inverse semigroups defined over undirected graphs constructed from the notions of subgraph, vertex induced subgraph, rooted tree induced subgraph, and rooted path induced subgraph. We characterize the structure of the semilattice of idempotents and lattice of ideals of these four inverse semigroups. Finally, we prove a characterization theorem that states that every graph has a unique associated inverse semigroup up to isomorphism.
Complementary Lattice Arrays for Coded Aperture Imaging
Published
• View Publication
• BIB
In this work, we consider complementary lattice arrays in order to enable a broader range of designs for coded aperture imaging systems. We provide a general framework and methods that generate richer and more flexible designs than existing ones. Besides this, we review and interpret the state-of-the-art uniformly redundant arrays (URA) designs, broaden the related concepts, and further propose some new design methods.
Tableaux combinatorics of the two-species PASEP
Published in J. Comb. Theory, Ser. A 159 (2015): 215-239
• View Publication
• BIB
We study a two-species PASEP, in which there are two types of particles, "heavy" and "light," hopping right and left on a one-dimensional lattice of $n$ cells with open boundaries. In this process, only the "heavy" particles can enter on the left of the lattice and exit from the right of the lattice. In the bulk, any transition where a heavier particle type swaps places with an adjacent lighter particle type is possible. We generalize combinatorial results of Corteel and Williams for the ordinary PASEP by defining a combinatorial object which we call a rhombic alternative tableau that gives a combinatorial formula for the stationary probabilities for the states of this two-species PASEP.
Numerical Adjunction Formulas for Weighted Projective Planes and Lattice Points Counting
Published in Kyoto J. Math. 56, no. 3 (2016), 575-598
• View Publication
• BIB
This paper gives an explicit formula for the Ehrhart quasi-polynomial of certain 2-dimensional polyhedra in terms of invariants of surface quotient singularities. Also, a formula for the dimension of the space of quasi-homogeneous polynomials of a given degree is derived. This admits an interpretation as a Numerical Adjunction Formula for singular curves on the weighted projective plane.
Free probability aspect of irreducible meander systems, and some related observations about meanders
Published in Infinite Dimensional Analysis, Quantum Probability and Related Topics 19 (2016), Issue 02, article 16500119
• View Publication
• BIB
We consider the concept of irreducible meandric system introduced by Lando and Zvonkin. We place this concept in the lattice framework of NC(n). As a consequence, we show that the even generating function for irreducible meandric systems is the R-transform of XY, where X and Y are classically (commuting) independent random variables, and each of X,Y has centred semicircular distribution of variance 1. Following this point of view, we make some observations about the symmetric linear functional on polynomials which has R-transform given by the even generating function for meanders.
Coincidence indices of sublattices and coincidences of colorings
Published in Z. Kristallogr. (2015). 230(12), 749-759
• View Publication
• BIB
Even though a lattice and its sublattices have the same group of coincidence isometries, the coincidence index of a coincidence isometry with respect to a lattice $Λ_1$ and to a sublattice $Λ_2$ may differ. Here, we examine the coloring of $Λ_1$ induced by $Λ_2$ to identify how the coincidence indices with respect to $Λ_1$ and to $Λ_2$ are related. This leads to a generalization of the notion of color symmetries of lattices to what we call color coincidences of lattices. Examples involving the cubic and hypercubic lattices are given to illustrate these ideas.
Brick polytopes, lattice quotients, and Hopf algebras
Published in J. Combin. Theory Ser. A, 155:418-457, 2018
• View Publication
• BIB
This paper is motivated by the interplay between the Tamari lattice, J.-L. Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf algebra on binary trees. We show that these constructions extend in the world of acyclic $k$-triangulations, which were already considered as the vertices of V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural surjection from the permutations to the acyclic $k$-triangulations. We show that the fibers of this surjection are the classes of the congruence $\equiv^k$ on $\mathfrak{S}_n$ defined as the transitive closure of the rewriting rule $U ac V_1 b_1 \cdots V_k b_k W \equiv^k U ca V_1 b_1 \cdots V_k b_k W$ for letters $a < b_1, \dots, b_k < c$ and words $U, V_1, \dots, V_k, W$ on $[n]$. We then show that the increasing flip order on $k$-triangulations is the lattice quotient of the weak order by this congruence. Moreover, we use this surjection to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on permutations, indexed by acyclic $k$-triangulations, and to describe the product and coproduct in this algebra and its dual in term of combinatorial operations on acyclic $k$-triangulations. Finally, we extend our results in three directions, describing a Cambrian, a tuple, and a Schröder version of these constructions.
Subdivision into i-packings and S-packing chromatic number of some lattices
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices at pairwise distance greater than $i$. For a nondecreasing sequence of integers $S=(s\_{1},s\_{2},\ldots)$, the $S$-packing chromatic number of a graph $G$ is the least integer $k$ such that there exists a coloring of $G$ into $k$ colors where each set of vertices colored $i$, $i=1,\ldots, k$, is an $s\_i$-packing.
This paper describes various subdivisions of an $i$-packing into $j$-packings ($j\textgreater{}i$) for the hexagonal, square and triangular lattices. These results allow us to bound the $S$-packing chromatic number for these graphs, with more precise bounds and exact values for sequences $S=(s\_{i}, i\in\mathbb{N}^{*})$, $s\_{i}=d+ \lfloor (i-1)/n \rfloor$.
Unimodality Problems in Ehrhart Theory
Published
• View Publication
• BIB
Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart $h^*$-vectors and highlight open questions and problems.
Combinatorial positivity of translation-invariant valuations and a discrete Hadwiger theorem
Published
• View Publication
• BIB
We introduce the notion of combinatorial positivity of translation-invariant valuations on convex polytopes that extends the nonnegativity of Ehrhart h*-vectors. We give a surprisingly simple characterization of combinatorially positive valuations that implies Stanley's nonnegativity and monotonicity of h*-vectors and generalizes work of Beck et al. (2010) from solid-angle polynomials to all translation-invariant simple valuations. For general polytopes, this yields a new characterization of the volume as the unique combinatorially positive valuation up to scaling. For lattice polytopes our results extend work of Betke--Kneser (1985) and give a discrete Hadwiger theorem: There is essentially a unique combinatorially-positive basis for the space of lattice-invariant valuations. As byproducts of our investigations, we prove a multivariate Ehrhart-Macdonald reciprocity and we show universality of weight valuations studied in Beck et al. (2010).
Games on Random Boards
Published
• View Publication
• BIB
We consider the following two-player game on a graph. A token is located at a vertex, and the players take turns to move it along an edge to a vertex that has not been visited before. A player who cannot move loses. We analyze outcomes with optimal play on percolation clusters of Euclidean lattices.
On Z^2 with two different percolation parameters for odd and even sites, we prove that the game has no draws provided closed sites of one parity are sufficiently rare compared with those of the other parity (thus favoring one player). We prove this also for certain d-dimensional lattices with d>=3. It is an open question whether draws can occur when the two parameters are equal.
On a finite ball of Z^2, with only odd sites closed but with the external boundary consisting of even sites, we identify up to logarithmic factors a critical window for the trade-off between the size of the ball and the percolation parameter. Outside this window, one or other player has a decisive advantage.
Our analysis of the game is intimately tied to the effect of boundary conditions on maximum-cardinality matchings.
Valuations in Nilpotent Minimum Logic
Published in IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 90-95, 2015
• View Publication
• BIB
The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler characteristic on NM algebras, the algebraic counterpart of Nilpotent Minimum logic. Then, we introduce a new valuation, a modified version of the Euler characteristic we call idempotent Euler characteristic. We show that the new valuation encodes information about the formulæ in NM propositional logic.