lattice ↗ reference
4394 papers tagged with this keyword
Exact solution of close-packed dimers on the kagome lattice
Published in Phys. Rev. E 75, 040105R (2007)
• View Publication
• BIB
It is well-known that exact enumerations of close-packed dimers can be carried out for two-dimensional lattices. While details of results are now known for most lattices, due to the unique nature of the lattice structure, there has been no complete analysis for the kagome lattice. Here we derive the close-form expression $(1/3) \ln (4 x y z)$ for the free energy of close-packed dimers on the kagome lattice, where $x,y,z$ are dimer weights. We use two different approaches, the Kasteleyn method of evaluating a Pfaffian and an alternative vertex model formulation. Both methods lead to the same final expression. The correlation function between two dimers at a distance equal or greater than two lattice spacings is found to vanish identically.
Truncated Markov bases and Gröbner bases for Integer Programming
We present a new algorithm for computing a truncated Markov basis of a lattice. In general, this new algorithm is faster than existing methods. We then extend this new algorithm so that it solves the linear integer feasibility problem with promising results for equality knapsack problems. We also present a novel Groebner basis approach to solve a particular integer linear program as opposed to previous Groebner basis methods that effectively solved many different integer linear programs simultaneously. Initial results indicate that this optimisation algorithm performs better than previous Groebner basis methods.
Retracts of Posets: The Chain_gap Property and the Selection Property are Independant
Published
• View Publication
• BIB
Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property and not the chain-gap property are easy to find. To date, the Boolean lattice $\Power (ω_1)/Fin$ was the sole example of lattice without the selection property \cite {R-W}. We prove that it does not have the chain-gap property. We provide an example of a lattice which has the chain-gap property but not the selection property. This answer questions raised in \cite {R-W}.
Pattern Recognition on Oriented Matroids: Layers of Tope Committees
A tope committee K* for a simple oriented matroid M is a subset of its maximal covectors such that every positive halfspace of M contains more than half of the covectors from K*. The structures of the family of all committees for M, and of the family of its committees that contain no pairs of opposites, are described. A Farey subsequence associated with the elements of the m-th layer of the Boolean lattice of rank 2m is explored.
Noncrossing partitions and representations of quivers
Published
• View Publication
• BIB
We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated to a finite Coxeter group form a lattice.
We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver $Q$ without oriented cycles are in natural bijection with the cluster-tilting objects in the associated cluster category. We also show these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.
Fourier meets Möbius: fast subset convolution
We present a fast algorithm for the subset convolution problem: given functions f and g defined on the lattice of subsets of an n-element set N, compute their subset convolution f*g, defined for all S\subseteq N by (f * g)(S) = \sum_{T \subseteq S}f(T) g(S\setminus T), where addition and multiplication is carried out in an arbitrary ring. Via Möbius transform and inversion, our algorithm evaluates the subset convolution in O(n^2 2^n) additions and multiplications, substantially improving upon the straightforward O(3^n) algorithm. Specifically, if the input functions have an integer range {-M,-M+1,...,M}, their subset convolution over the ordinary sum-product ring can be computed in O^*(2^n log M) time; the notation O^* suppresses polylogarithmic factors. Furthermore, using a standard embedding technique we can compute the subset convolution over the max-sum or min-sum semiring in O^*(2^n M) time. To demonstrate the applicability of fast subset convolution, we present the first O^*(2^k n^2 + n m) algorithm for the minimum Steiner tree problem in graphs with n vertices, k terminals, and m edges with bounded integer weights, improving upon the O^*(3^k n + 2^k n^2 + n m) time bound of the classical Dreyfus-Wagner algorithm. We also discuss extensions to recent O^*(2^n)-time algorithms for covering and partitioning problems (Björklund and Husfeldt, FOCS 2006; Koivisto, FOCS 2006).
Classifying lattice walks restricted to the quarter plane
Published
• View Publication
• BIB
This work considers lattice walks restricted to the quarter plane, with steps taken from a set of cardinality three. We present a complete classification of the generating functions of these walks with respect to the classes algebraic, transcendental holonomic and non-holonomic. The principal results are a new algebraic class related to Kreweras' walks; two new non-holonomic classes; and enumerative data on some other classes. These results provide strong evidence for conjectures which use combinatorial criteria to classify the generating functions all nearest neighbour walks in the quarter plane.
A Linear Programming Method for Finding Orthocomplements in Finite Lattices
Published in International J. of Theoretical Physics, Vol. 37, 211--213 (1998)
• View Publication
• BIB
A method of embedding partially ordered sets into linear spaces is presented. The problem of finding all orthocomplementations in a finite lattice is reduced to a linear programming problem.
Decomposition theorem for the cd-index of Gorenstein* posets
Published
• View Publication
• BIB
We prove a decomposition theorem for the cd-index of a Gorenstein* poset analogous to the decomposition theorem for the intersection cohomology of a toric variety. From this we settle a conjecture of Stanley that the cd-index of Gorenstein* lattices is minimized on Boolean algebras.
Signed differential posets and sign-imbalance
Published
• View Publication
• BIB
We study signed differential posets, a signed version of differential posets. These posets satisfy enumerative identities which are signed analogues of those satisfied by differential posets. Our main motivations are the sign-imbalance identities for partition shapes originally conjectured by Stanley, now proven by Lam, Reifergerste and Sjostrand. We show that these identities result from a signed differential poset structure on Young's lattice, and explain similar identities for Fibonacci shapes.
Matchings and entropies of cylinders
The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph $G$ is said to be $n$-rotation symmetric if the cyclic group of order $n$ is a subgroup of the automorphism group of $G$. Jockusch (Perfect matchings and perfect squares, J. Combin. Theory Ser. A, 67(1994), 100-115) and Kuperberg (An exploration of the permanent-determinant method, Electron. J. Combin., 5(1998), #46) proved independently that if $G$ is a plane bipartite graph of order $N$ with $2n$-rotation symmetry, then the number of perfect matchings of $G$ can be expressed as the product of $n$ determinants of order $N/2n$. In this paper we give this result a new presentation. We use this result to compute the entropy of a bulk plane bipartite lattice with $2n$-notation symmetry. We obtain explicit expressions for the numbers of perfect matchings and entropies for two types of cylinders. Using the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019--1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded $SnCl^2\cdot 2H_2O$ crystal, Phys. Rev. B, 9(1974), 4920--4931), we show that each of the cylinders considered and its corresponding torus have the same entropy. Finally, we pose some problems.
Shellable complexes and topology of diagonal arrangements
Published
• View Publication
• BIB
We prove that if a simplicial complex is shellable, then the intersection lattice for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on the data of shelling. Also, we give some examples of diagonal arrangements where the complement is K(π,1), coming from rank 3 matroids.
John Michael Hammersley (1920-2004)
Published
• View Publication
• BIB
In writing this biographical memoir of John Hammersley, we have tried to communicate something of the character of the person, and of the impact of his scientific achievements across lattice models (for example, percolation, self-avoiding walks, first-passage percolation, dimer models), stochastic processes (including subadditive ergodic theory), Monte Carlo methods, applied probability, statistics, and other areas to which he contributed. There is also an extended account of his earlier life, taken from autobiographical notes written around 1994, together with a list of his published work.
The Number of [Old-Time] Basketball games with Final Score n:n where the Home Team was never losing but also never ahead by more than w Points
Published in Electronic J. of Combinatorics 14(1) (2007), R19
• View Publication
• BIB
We show that the generating function (in n) for the number of walks on the square lattice with steps (1,1), (1,-1), (2,2) and (2,-2) from (0,0) to (2n,0) in the region 0 <= y <= w satisfies a very special fifth order nonlinear recurrence relation in w that implies both its numerator and denominator satisfy a linear recurrence relation.
Gaussian binomials and the number of sublattices
Published in Acta Cryst. (2006), A62, 409-410
• View Publication
• BIB
The purpose of this short communication is to make some observations on the connections between various existing formulas of counting the number of sublattices of a fixed index in an $n$-dimensional lattice and their connection with the Gaussian binomials.
Cycles and patterns in permutations
We study joint distributions of cycles and patterns in permutations written in standard cycle form. We explore both classical and generalised patterns of length 2 and 3. Many extensions of classical theory are achieved; bivariate generating functions for inversions, ascents, descents, 123s, valleys, 1'-2-1s; closed forms forms for avoidance of peaks, 2-3-1s, 1-2-3s, 2'-1-2s and 1'-2-1s; bijective proofs of Wilf-equivalences.
We also derive some results about standard pattern occurrence, such as continued fractions for the generating functions for occurrences of valleys and the pattern 123.
The methods are simple and combinatorial in nature: direct enumerative analysis and bijections to lattice paths.
Happy endings for flip graphs
Published in Journal of Computational Geometry 1(1):3-28, 2010
• View Publication
• BIB
We show that the triangulations of a finite point set form a flip graph that can be embedded isometrically into a hypercube, if and only if the point set has no empty convex pentagon. Point sets of this type include convex subsets of lattices, points on two lines, and several other infinite families. As a consequence, flip distance in such point sets can be computed efficiently.
Binomial D-modules
Published in Duke Math. J. 151, no. 3 (2010), 385-429
• View Publication
• BIB
We study quotients of the Weyl algebra by left ideals whose generators consist of an arbitrary Z^d-graded binomial ideal I along with Euler operators defined by the grading and a parameter in C^d. We determine the parameters for which these D-modules (i) are holonomic (equivalently, regular holonomic, when I is standard-graded); (ii) decompose as direct sums indexed by the primary components of I; and (iii) have holonomic rank greater than the generic rank. In each of these three cases, the parameters in question are precisely those outside of a certain explicitly described affine subspace arrangement in C^d. In the special case of Horn hypergeometric D-modules, when I is a lattice basis ideal, we furthermore compute the generic holonomic rank combinatorially and write down a basis of solutions in terms of associated A-hypergeometric functions. This study relies fundamentally on the explicit lattice point description of the primary components of an arbitrary binomial ideal in characteristic zero, which we derive in our companion article arxiv:0803.3846.
Partially directed paths in a wedge
Published
• View Publication
• BIB
The enumeration of lattice paths in wedges poses unique mathematical challenges. These models are not translationally invariant, and the absence of this symmetry complicates both the derivation of a functional recurrence for the generating function, and solving for it. In this paper we consider a model of partially directed walks from the origin in the square lattice confined to both a symmetric wedge defined by $Y = \pm pX$, and an asymmetric wedge defined by the lines $Y= pX$ and Y=0, where $p > 0$ is an integer. We prove that the growth constant for all these models is equal to $1+\sqrt{2}$, independent of the angle of the wedge. We derive functional recursions for both models, and obtain explicit expressions for the generating functions when $p=1$. From these we find asymptotic formulas for the number of partially directed paths of length $n$ in a wedge when $p=1$.
The functional recurrences are solved by a variation of the kernel method, which we call the ``iterated kernel method''. This method appears to be similar to the obstinate kernel method used by Bousquet-Melou. This method requires us to consider iterated compositions of the roots of the kernel. These compositions turn out to be surprisingly tractable, and we are able to find simple explicit expressions for them. However, in spite of this, the generating functions turn out to be similar in form to Jacobi $θ$-functions, and have natural boundaries on the unit circle.
A natural family of flag matroids
Published
• View Publication
• BIB
A flag matroid can be viewed as a chain of matroids linked by quotients. Flag matroids, of which relatively few interesting families have previously been known, are a particular class of Coxeter matroids. In this paper we give a family of flag matroids arising from an enumeration problem that is a generalization of the tennis ball problem. These flag matroids can also be defined in terms of lattice paths and they provide a generalization of the lattice path matroids of [Bonin et al., JCTA 104 (2003)].