Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On Lattice Barycentric Tetrahedra
We say a lattice tetrahedron whose centroid is its only non-vertex lattice point is lattice barycentric. The notation T(a,b,c) describes the lattice tetrahedron with vertices {0, e_1, e_2, a e_1 + b e_2 + c e_3}. Our result is that all such T(a,b,c) are unimodularly equivalent to T(3,3,4) or T(7,11,20).
Spanning forests and the q-state Potts model in the limit q \to 0
Published in J.Statist.Phys. 119 (2005) 1153-1281
• View Publication
• BIB
We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices, using a transfer-matrix approach at both real and complex values of w. For both lattices, we have computed the symbolic transfer matrices for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves of partition-function zeros in the complex w-plane. For real w, we find two distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp. w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w > w_0 we find a non-critical disordered phase, while for w < w_0 our results are compatible with a massless Berker-Kadanoff phase with conformal charge c = -2 and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w = w_0 we find a "first-order critical point": the first derivative of the free energy is discontinuous at w_0, while the correlation length diverges as w \downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0 seems to be the same for both lattices and it differs from that of the Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1, the leading thermal scaling dimension is x_{T,1} = 0, and the critical exponents are ν= 1/d = 1/2 and α= 1.
On the Andrews-Stanley Refinement of Ramanujan's Partition Congruence Modulo 5
Published
• View Publication
• BIB
In a recent study of sign-balanced, labelled posets Stanley [13], introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' the conjugate of pi. In [1] Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0, 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss two such statistics. The first one, while new, is intimately related to the Andrews-Garvan [2] crank. The second one is in terms of the 5-core crank, introduced by Garvan, Kim and Stanton [9]. Finally, we discuss some new formulas for partitions that are 5-cores.
Fundamental groupoids of k-graphs
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.
Coverings of k-graphs
Published in J. Algebra 289 (2005), 161-191
• View Publication
• BIB
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras of covering k-graphs as crossed products by coactions of homogeneous spaces, generalizing recent results on the C*-algebras of graphs.
Adjacency method for extreme Delaunay polytopes
The {\em hypermetric cone} is defined as the cone of semimetrics satisfying the {\em hypermetric inequalities}. Every {\em Delaunay polytope} corresponds to a ray of this polyhedral cone. The Delaunay polytopes, which correspond to extreme rays are called {\em extreme}.
We use this polyhedral cone and the {\em closest vector problem} to present a new technique that allow to find, from a given extreme Delaunay polytope, some new ones.
Then, we show some examples of applications of this technique in low-dimensions.
A unique representation of polyhedral types
Published in Math. Z. 249 (2005), 513-517
• View Publication
• BIB
It is known that for each combinatorial type of convex 3-dimensional polyhedra, there is a representative with edges tangent to the unit sphere. This representative is unique up to projective transformations that fix the unit sphere.
We show that there is a unique representative (up to congruence) with edges tangent to the unit sphere such that the origin is the barycenter of the points where the edges touch the sphere.
Geometrically constructed bases for homology of partition lattices of types A, B and D
We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "splitting basis" for the homology of the partition lattice given in [Wa96], thus answering a question asked by R. Stanley. More explicitly, the following general technique is presented and utilized. Let A be a central and essential hyperplane arrangement in R^d. Let R_1,...,R_k be the bounded regions of a generic hyperplane section of A. We show that there are induced polytopal cycles ρ_{R_i} in the homology of the proper part \bar{L_A} of the intersection lattice such that {ρ_{R_i}}_{i=1,...,k} is a basis for \tilde H_{d-2}(\bar{L_A}). This geometric method for constructing combinatorial homology bases is applied to the Coxeter arrangements of types A, B and D, and to some interpolating arrangements.
Enumerative problems inspired by Mayer's theory of cluster integrals
Published in Electronic Journal of Combinatorics 11 (2004), #R32
• View Publication
• BIB
The basic functional equations for connected and 2-connnected graphs can be traced back to the statistical physicists Mayer and Husimi. They play an essential role in establishing rigorously the virial expansion for imperfect gases. We survey this approach and inspired by these equations, we investigate the problem of enumerating some classes of connected graphs all of whose blocks are contained in a given class B. Included are the species of Husimi graphs (B = "complete graphs"), cacti (B = "unoriented cycles"), and oriented cacti (B = "oriented cycles"). For each of these, we consider the question of their labelled or unlabelled enumeration and of their molecular expansion, according (or not) to their block-size distributions.
Segre and Rees products of posets, with ring-theoretic applications
We introduce (weighted) Segre and Rees products for posets and show that these constructions preserve the Cohen-Macaulay property over a field $k$ and homotopically. As an application we show that the weighted Segre product of two affine semigroup rings that are Koszul is again Koszul. This result generalizes previous results by Crona on weighted Segre products of polynomial rings.
We also give a new proof of the fact that the Rees ring of a Koszul affine semigroup ring is again Koszul.
The paper ends with a list of some open problems in the area.
Enumerative tropical algebraic geometry in R2
Published
• View Publication
• BIB
The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in http://arxiv.org/abs/math.AG/0209253.
The result is established with the help of the so-called tropical algebraic geometry. This geometry allows one to replace complex toric varieties with the Euclidean n-space and holomorphic curves with certain piecewise-linear graphs there.
Groebner basis degree bounds on $\Tor^{k[Λ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets
Published
• View Publication
• BIB
The purpose of this paper is twofold.
1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[Λ]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for $\field[Λ]$ and any field $\field$. Moreover, we provide a combinatorial construction for a free resolution of $\field$ over $\field[Λ]$ which achieves these bounds.
2. We extend the lexicographic discrete Morse function construction of Babson and Hersh for the determination of the homotopy type and homology of order complexes of posets to a larger class of facet orderings that includes orders induced by monomial term orders.
Since it is known that the order complexes of finite intervals in the poset of monomials in $k[Λ]$ ordered by divisibility in $k[Λ]$ govern the $\Tor$-groups, the newly developed tools are applicable and serve as the main ingredients for the proof of the bounds and the construction of the resolution.
The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)
Published in Trans. Amer. Math. Soc. 358 (2006) 3537-3559
• View Publication
• BIB
We determine the Smith normal forms of the incidence matrices of points and projective (r-1)-dimensional subspaces of PG(n,q) and of the incidence matrices of points and r-dimensional affine subspaces of AG(n,q) for all n, r, and arbitrary prime power q.
Eigenvalues and homology of flag complexes and vector representations of graphs
Published
• View Publication
• BIB
Let X(G) denote the flag complex of a graph G=(V,E) on n vertices. We study relations between the first eigenvalues of successive higher Laplacians of X(G). One consequence is the following result: Let λ_2(G) denote the second smallest eigenvalue of the Laplacian of G. If λ_2(G)> \frac{kn}{k+1} then the real k-th reduced cohomology group H^k(X(G)) is zero. Applications include a lower bound on the homological connectivity of the independent sets complex I(G), in terms of a new graph domination parameter Γ(G) defined via certain vector representations of G. This in turns implies a Hall type theorem for systems of disjoint representatives in hypergraphs.
On refined enumerations of some symmetry classes of ASMs
Published in Theor.Math.Phys.141:1609-1630,2004; Teor.Mat.Fiz.141:323-347,2004
• View Publication
• BIB
Using determinant representations for partition functions of the corresponding square ice models and the method proposed recently by one of the authors, we investigate refined enumerations of vertically symmetric alternating-sign matrices, off-diagonally symmetric alternating-sign matrices and alternating-sign matrices with U-turn boundary. For all these cases the explicit formulas for refined enumerations are found. It particular, Kutin-Yuen conjecture is proved.
Unifom chains of small transfinite rank
We extend F.Pastjin's construction of uniform decomposable chains of finite rank to those of rank 'finite over a limit' and investigate infinite products and unions of such chains. We derive an extension of Pastjin's characterisation to uniform decomposable chains of small transfinite rank (less than or equal to 'omega+omega'). We conclude by indicating how the resulting descriptions can be iterated to chains of rank 'omega to the omega', and beyond.
Buchsbaum Stanley--Reisner rings with minimal multiplicity
Published
• View Publication
• BIB
In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension of the unique non-vanishing homology $\widetilde{H}_{q-2}(Δ;k)$ of a $d$-dimensional Buchsbaum ring $k[Δ]$ with $q$-linear resolution and codimension $c$. Also, we discuss about existence for such Buchsbaum rings with $\dim_k \widetilde{H}_{q-2}(Δ;k) = h$ for any $h$ with $0 \le h \le h_{c,d,q}$, and prove an existence theorem in the case of $q=d=3$ using the notion of Cohen--Macaulay linear cover. On the other hand, we introduce the notion of Buchsbaum Stanley--Reisner rings with minimal multiplicity of type $q$, which extends the notion of Buchsbaum rings with minimal multiplicity defined by Goto. As an application, we give many examples of Buchsbaum Stanley--Reisner rings with $q$-linear resolution.
Hierarchical Dobinski-type relations via substitution and the moment problem
Published in J.Phys.A:Math.Gen.37 (2004)3475-3487
• View Publication
• BIB
We consider the transformation properties of integer sequences arising from the normal ordering of exponentiated boson ([a,a*]=1) monomials of the form exp(x (a*)^r a), r=1,2,..., under the composition of their exponential generating functions (egf). They turn out to be of Sheffer-type. We demonstrate that two key properties of these sequences remain preserved under substitutional composition: (a)the property of being the solution of the Stieltjes moment problem; and (b) the representation of these sequences through infinite series (Dobinski-type relations). We present a number of examples of such composition satisfying properties (a) and (b). We obtain new Dobinski-type formulas and solve the associated moment problem for several hierarchically defined combinatorial families of sequences.
Nonintersecting Subspaces Based on Finite Alphabets
Published in IEEE Trans. Inform. Theory 51 (2005), 4320-4325
• View Publication
• BIB
Two subspaces of a vector space are here called ``nonintersecting'' if they meet only in the zero vector. The following problem arises in the design of noncoherent multiple-antenna communications systems. How many pairwise nonintersecting M_t-dimensional subspaces of an m-dimensional vector space V over a field F can be found, if the generator matrices for the subspaces may contain only symbols from a given finite alphabet A subseteq F? The most important case is when F is the field of complex numbers C; then M_t is the number of antennas. If A = F = GF(q) it is shown that the number of nonintersecting subspaces is at most (q^m-1)/(q^{M_t}-1), and that this bound can be attained if and only if m is divisible by M_t. Furthermore these subspaces remain nonintersecting when ``lifted'' to the complex field. Thus the finite field case is essentially completely solved. In the case when F = C only the case M_t=2 is considered. It is shown that if A is a PSK-configuration, consisting of the 2^r complex roots of unity, the number of nonintersecting planes is at least 2^{r(m-2)} and at most 2^{r(m-1)-1} (the lower bound may in fact be the best that can be achieved).
The On-Line Encyclopedia of Integer Sequences
Published in Notices American Math. Soc., Vol. 50 (Sept. 2003), 912-915
• Search Publication
This article gives a brief introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS). The OEIS is a database of nearly 90,000 sequences of integers, arranged lexicographically. The entry for a sequence lists the initial terms (50 to 100, if available), a description, formulae, programs to generate the sequence, references, links to relevant web pages, and other information.