lattice
4310 papers tagged with this keyword
On the maximum dual volume of a canonical Fano polytope
Published
• View Publication
• BIB
We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.
The exact phase diagram for a class of multispecies asymmetric exclusion processes
Published in Scientific Reports 7, Article number: 13555 (2017)
• View Publication
• BIB
The asymmetric exclusion process is an idealised stochastic model of transport, whose exact solution has given important insight into a general theory of nonequilibrium statistical physics. In this work, we consider a totally asymmetric exclusion process with multiple species of particles on a one-dimensional lattice in contact with reservoirs. We derive the exact nonequilibrium phase diagram for the system in the long time limit. We find two new phenomena in certain regions of the phase diagram: when the density of a species becomes zero throughout the system, and dynamical localisation when the density of a species is nonzero only within an interval far from the boundaries. We give a complete explanation of the macroscopic features of the phase diagram using what we call nested fat shocks.
Natural Partial Order on Rings with Involution
Published
• View Publication
• BIB
In this paper, we introduce a partial order on rings with involution, which is a generalization of the partial order on the set of projections in a Rickart *-ring. We prove that a *-ring with the natural partial order form a sectionally semi-complemented poset. It is proved that every interval [0,x] forms an orthomodular lattice in case of abelian Rickart *-rings. The concepts of generalized comparability (GC) and partial comparability (PC) are extended to involve all the elements of a *-ring. Further, it is proved that these concepts are equivalent in finite abelian Rickart *-rings.
Phase Coexistence for the Hard-Core Model on ${\mathbb Z}^2$
Published
• View Publication
• BIB
The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter $λ$, and an independent set $I$ arises with probability proportional to $λ^{|I|}$. On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures.
It has long been conjectured that on ${\mathbb Z}^2$ this model has a critical value $λ_c \approx 3.796$ with the property that if $λ< λ_c$ then it exhibits uniqueness of phase, while if $λ> λ_c$ then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all $λ< 2.538$. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs measures for all $λ> 5.3506$. There is some potential for lowering this bound, but with the methods we are using we cannot hope to replace $5.3506$ with anything below about $4.8771$.
Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ${\mathbb Z}^2$.
Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths
Published in Combin. Probab. Comput. 28 (2019), no. 4, 485-518
• View Publication
• BIB
We present an average case analysis of a variant of dual-pivot quicksort. We show that the used algorithmic partitioning strategy is optimal, i.e., it minimizes the expected number of key comparisons. For the analysis, we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms.
An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven.
Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets
Published in Journal of the Australian Mathematical Society 105, 57-78 (2018)
• View Publication
• BIB
We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering.
A note on dimers and T-graphs
The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.
Limiting behavior of 3-color excitable media on arbitrary graphs
Published
• View Publication
• BIB
Fix a simple graph $G=(V,E)$ and choose a random initial 3-coloring of vertices drawn from a uniform product measure. The 3-color cycle cellular automaton is a process in which at each discrete time step in parallel, every vertex with color $i$ advances to the successor color $(i+1)$ mod 3 if in contact with a neighbor with the successor color, and otherwise retains the same color. In the Greenberg-Hastings Model, the same update rule applies only to color 0, while other two colors automatically advance. The limiting behavior of these processes has been studied mainly on the integer lattices. In this paper, we introduce a monotone comparison process defined on the universal covering space of the underlying graph, and characterize the limiting behavior of these processes on arbitrary connected graphs. In particular, we establish a phase transition on the Erdös-Rényi random graph. On infinite trees, we connect the rate of color change to the cloud speed of an associated tree-indexed walk. We give estimates of the cloud speed by generalizing known results to trees with leaves.
Lozenge tilings of a halved hexagon with an array of triangles removed from the boundary
Published
• View Publication
• BIB
Proctor's work on staircase plane partitions yields an enumeration of lozenge tilings of a halved hexagon on the triangular lattice. Rohatgi recently extended this tiling enumeration to a halved hexagon with a triangle removed from the boundary. In this paper we prove a generalization of the results of Proctor and Rohatgi by enumerating lozenge tilings of a halved hexagon in which an array of adjacent triangles has been removed from the boundary.
The canonical join complex
Published
• View Publication
• BIB
In this paper, we study the combinatorics of a certain minimal factorization of the elements in a finite lattice $L$ called the canonical join representation. The join $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.
Bijections between generalized Catalan families of types A and C
Published
• View Publication
• BIB
Motivated by the relation holding for the m-generalized Catalan numbers of type A and C, the connection between dominant regions of the m-Shi arrangement of type A and C is investigated. In the same line of thought, a bijection between mn+1 copies of each m-Dyck path of height n and the set of NE lattice paths inside an n times mn rectangle is provided.
Finite-size corrections for universal boundary entropy in bond percolation
Published in SciPost Phys. 1, 012 (2016)
• View Publication
• BIB
We compute the boundary entropy for bond percolation on the square lattice in the presence of a boundary loop weight, and prove explicit and exact expressions on a strip and on a cylinder of size $L$. For the cylinder we provide a rigorous asymptotic analysis which allows for the computation of finite-size corrections to arbitrary order. For the strip we provide exact expressions that have been verified using high-precision numerical analysis. Our rigorous and exact results corroborate an argument based on conformal field theory, in particular concerning universal logarithmic corrections for the case of the strip due to the presence of corners in the geometry. We furthermore observe a crossover at a special value of the boundary loop weight.
Combinatorial differential operators in: Faà di Bruno formula, enumeration of ballot paths, enriched rooted trees and increasing rooted trees
We obtain a differential equation for the enumeration of the path length of general increasing trees. By using differential operators and their combinatorial interpretation we give a bijective proof of a version of Faà di Bruno formula, and model the generation of ballot and Dyck paths. We get formulas for its enumeration according with the height of their lattice points. Recursive formulas for the enumeration of enriched increasing trees and forests with respect to the height of their internal and external vertices are also obtained. Finally we present a generalized form of all those results using one-parameter groups in the general context of formal power series in an arbitrary number of variables.
Finite atomic lattices and their monomial ideals
Published in ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, Volume 48, Number 8, 2018
• View Publication
• BIB
This paper primarily studies monomial ideals by their associated lcm-lattices. It first introduces notions of weak coordinatizations of finite atomic lattices which have weaker hypotheses than coordinatizations and shows the characterizations of all such weak coordinatizations. It then defines a finite super-atomic lattice in $\mathcal{L}(n)$, investigates the structures of $\mathcal{L}(n)$ by their super-atomic lattices and proposes an algorithm to calculate all the super-atomic lattices in $\mathcal{L}(n)$. It finally presents a specific labeling of finite atomic lattice and obtains the conditions that the specific labelings of finite atomic lattices are the weak coordinatizations or the coordinatizations by using the terminology of super-atomic lattices.
A property of the Birkhoff polytope
Published in Algebraic Combinatorics 1 (2018), no. 2, p. 275--281
• View Publication
• BIB
The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope.
A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.
Improved Bounds on Sidon Sets via Lattice Packings of Simplices
Published in SIAM J. Discrete Math., vol. 31, no. 3, pp. 2269-2278, 2017
• View Publication
• BIB
A $ B_h $ set (or Sidon set of order $ h $) in an Abelian group $ G $ is any subset $ \{b_0, b_1, \ldots,b_{n}\} $ of $ G $ with the property that all the sums $ b_{i_1} + \cdots + b_{i_h} $ are different up to the order of the summands. Let $ φ(h,n) $ denote the order of the smallest Abelian group containing a $ B_h $ set of cardinality $ n + 1 $. It is shown that \[ \lim_{h \to \infty} \frac{ φ(h,n) }{ h^n } = \frac{1}{n! δ_L(\triangle^n)} , \] where $ δ_L(\triangle^n) $ is the lattice packing density of an $ n $-simplex in Euclidean space. This determines the asymptotics exactly in cases where this density is known ($ n \leq 3 $) and gives improved bounds on $ φ(h,n) $ in the remaining cases. The corresponding geometric characterization of bases of order $ h $ in finite Abelian groups in terms of lattice coverings by simplices is also given.
Supersaturation in Posets and Applications Involving the Container Method
Published
• View Publication
• BIB
We consider 'supersaturation' problems in partially ordered sets (posets) of the following form. Given a finite poset $P$ and an integer $m$ greater than the cardinality of the largest antichain in $P$, what is the minimum number of comparable pairs in a subset of $P$ of cardinality $m$? We provide a framework for obtaining lower bounds on this quantity based on counting comparable pairs relative to a random chain and apply this framework to obtain supersaturation results for three classical posets: the boolean lattice, the collection of subspaces of $\mathbb{F}_q^n$ ordered by set inclusion and the set of divisors of the square of a square-free integer under the 'divides' relation. The bound that we obtain for the boolean lattice can be viewed as an approximate version of a known theorem of Kleitman.
In addition, we apply our supersaturation results to obtain (a) upper bounds on the number of antichains in these posets and (b) asymptotic bounds on the cardinality of the largest antichain in $p$-random subsets of these posets which hold with high probability (for $p$ in a certain range). The proofs of these results rely on a 'container-type' lemma for posets which generalises a result of Balogh, Mycroft and Treglown. We also state a number of open problems regarding supersaturation in posets and counting antichains.
Time complexity of Synchronization of discrete pulse-coupled oscillators on trees
Published
• View Publication
• BIB
A major open question in the study of synchronization of coupled oscillators is to find necessary and sufficient condition for a system to synchronize on a given family of graphs. This is a difficult question that requires to understand exactly how the nonlienar interaction between local entities evolves over the underlying graph. Another open question is to obtain bounds on the time complexity of synchronization, which has important practical implications in clock synchronization algorithms. We address these questions for one-parameter family of discrete pulse-coupled inhibitory oscillatorscalled the $κ$-color firefly cellular automata (FCA). Namely, we show that for $κ\le 6$, recurrence of each oscillator is a necessary and sufficient condition for synchronization on finite trees, while for $κ\ge 7$ this condition is only necessary. As a corollary, we show that any non-synchronizing dynamics for $κ\le 6$ on trees decompose into synchronized subtrees partitioned by `dead' oscillators. Furthermore, on trees with diameter $d$ and maximum degree at most $κ$, we show that the worst-case number of iterations until synchronization is of order $O(κd)$ for $κ\in \{3,4,5\}$, $O(κd^{2})$ for $κ=6$, and infinity for $κ\ge 7$. Lastly, we report simulation results of FCA on lattices and conjecture that on a finite square lattice, arbitrary initial configuration is synchronized under $κ$-color FCA if and only if $κ=4$.
A half-normal distribution scheme for generating functions
Published in Eur. J. Comb. Journal Profile 87, Article ID 103138, 20 p. (2020)
• View Publication
• BIB
We present a general theorem on the structure of bivariate generating functions which gives sufficient conditions such that the limiting probability distribution is a half-normal distribution. If $X$ is a normally distributed random variable with zero mean, then $|X|$ obeys a half-normal distribution. In the second part, we apply our result to prove three natural appearances in the domain of lattice paths: the number of returns to zero, the height, and the sign changes are under zero drift distributed according to a half-normal distribution. This extends known results to a general step set. Finally, our result also gives a new proof of Banach's matchbox problem.
Improved bounds on the diameter of lattice polytopes
Published in Acta Math. Hung. 154(2), 457-469 (2018)
• View Publication
• BIB
We show that the largest possible diameter $δ(d,k)$ of a $d$-dimensional polytope whose vertices have integer coordinates ranging between $0$ and $k$ is at most $kd-\lceil2d/3\rceil$ when $k\geq3$. In addition, we show that $δ(4,3)=8$. This substantiates the conjecture whereby $δ(d,k)$ is at most $\lfloor(k+1)d/2\rfloor$ and is achieved by a Minkowski sum of lattice vectors.