Showing 20 papers (Total: 84046 papers, 48445 authors in database)
An exploration of the permanent-determinant method
Published in Electron. J. Combin. 5 (1998), #R46
• View Publication
• BIB
The permanent-determinant method and its generalization, the Hafnian-Pfaffian method, are methods to enumerate perfect matchings of plane graphs that was discovered by P. W. Kasteleyn. We present several new techniques and arguments related to the permanent-determinant with consequences in enumerative combinatorics. Here are some of the results that follow from these techniques:
1. If a bipartite graph on the sphere with 4n vertices is invariant under the antipodal map, the number of matchings is the square of the number of matchings of the quotient graph.
2. The number of matchings of the edge graph of a graph with vertices of degree at most 3 is a power of 2.
3. The three Carlitz matrices whose determinants count a x b x c plane partitions all have the same cokernel.
4. Two symmetry classes of plane partitions can be enumerated with almost no calculation.
Renormalization automated by Hopf algebra
Published in J.Symb.Comput. 27 (1999) 581
• View Publication
• BIB
It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.
Path generating transforms
Published in q-Series from a contemporary perspective (South Hadley, MA, 1998), 157--186, Contemp. Math. 254, Amer. Math. Soc., Providence, RI, 2000.
• View Publication
• BIB
We study combinatorial aspects of q-weighted, length-L Forrester-Baxter paths, P^{p, p'}_{a, b, c}(L), where p, p', a, b, c \in Z_{+}, 0 < p < p', 0 < a, b, c < p', c = b \pm 1, L+a-b \equiv 0 (mod 2), and p and p' are co-prime.
We obtain a bijection between P^{p, p'}_{a, b, c}(L) and partitions with certain prescribed hook differences. Thereby, we obtain a new description of the q-weights of P^{p, p'}_{a, b, c}(L).
Using the new weights, and defining s_0 and r_0 to be the smallest non-negative integers for which |p s_0 - p' r_0|=1, we restrict the discussion to P^{p, p'}_{s_0} \equiv P^{p, p'}_{s_0,s_0,s_0+1}(L), and introduce two combinatorial transforms:
1. A Bailey-type transform B:
P^{p, p'}_{s_0}(L) -> P^{p, p'+p}_{s_0 + r_0}(L'), L \leq L',
2. A duality-type transform D:
P^{p, p'}_{s_0}(L) -> P^{p'-p, p'}_{s_0}(L).
We study the action of B and D, as q-polynomial transforms on the P^{p, p'}_{s_0}(L) generating functions, χ^{p, p'}_{s_0}(L). In the limit L -> \infinity, χ^{p, p'}_{s_0}(L) reduces to the Virasoro characters, χ^{p, p'}_{r_0, s_0}, of minimal conformal field theories M^{p, p'}, or equivalently, to the one-point functions of regime-III Forrester-Baxter models.
As an application of the B and D transforms, we re-derive the constant-sign expressions for χ^{p, p'}_{r_0, s_0}, first derived by Berkovich and McCoy.
Ground State Entropy of Potts Antiferromagnets: Cases with Noncompact W Boundaries Having Multiple Points at 1/q = 0
Published in J. Phys. A 31, 9641 (1998)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function, $Z(G,q,T=0)$, and ground-state degeneracy (per site), $W({G},q)$, for the $q$-state Potts antiferromagnet on a number of families of graphs ${G}$ for which the boundary ${\cal B}$ of regions of analyticity of $W$ in the complex $q$ plane is noncompact and has the properties that (i) in the $z=1/q$ plane, the point $z=0$ is a multiple point on ${\cal B}$ and (ii) ${\cal B}$ includes support for $Re(q) < 0$. These families are generated by the method of homeomorphic expansion. Our results give further insight into the conditions for the validity of large--$q$ series expansions for the reduced function $W_{red.}=q^{-1}W$.
$q$-Trinomial identities
Published
• View Publication
• BIB
We obtain connection coefficients between $q$-binomial and $q$-trinomial coefficients. Using these, one can transform $q$-binomial identities into a $q$-trinomial identities and back again. To demonstrate the usefulness of this procedure we rederive some known trinomial identities related to partition theory and prove many of the conjectures of Berkovich, McCoy and Pearce, which have recently arisen in their study of the $φ_{2,1}$ and $φ_{1,5}$ perturbations of minimal conformal field theory.
Rhombus Tilings of a Hexagon with Two Triangles Missing on the Symmetry Axis
Published in Electron. J. Combinat. 6(1), (1999), #R30, 19 pp
• Search Publication
We compute the number of rhombus tilings of a hexagon with sides n, n, N, n, n, N, where two triangles on the symmetry axis touching in one vertex are removed. The case of the common vertex being the center of the hexagon solves a problem posed by Propp.
The Symbolic Dynamics of Tiling the Integers
Published
• View Publication
• BIB
A finite collection $P$ of finite sets tiles the integers iff the integers can be expressed as a disjoint union of translates of members of $P$. We associate with such a tiling a doubly infinite sequence with entries from $P$. The set of all such sequences is a sofic system, called a tiling system. We show that, up to powers of the shift, every shift of finite type can be realized as a tiling system.
A Pieri-type formula for isotropic flag manifolds
Published in Trans. Amer. Math. Soc., 354 No. 7, (2002), 2659-2705
• View Publication
• BIB
We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type $B$ (respectively, type $C$) Schubert polynomial by the Schur $P$-polynomial $p_m$ (respectively, the Schur $Q$-polynomial $q_m$). Geometric constructions and intermediate results allow us to ultimately deduce this from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the Coxeter group ${\mathcal B}_\infty$, identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show these identities follow from the Pieri-type formula, except some `hidden symmetries' of the structure constants. Our analysis leads to a new partial order on the Coxeter group ${\mathcal B}_\infty$ and formulas for many of these structure constants.
Flag vectors
This paper defines for each object $X$ that can be constructed out of a finite number of vertices and cells a vector $fX$ lying in a finite dimensional vector space. This is the flag vector of $X$. It is hoped that the quantum topological invariants of a manifold $M$ can be expressed as linear functions of the flag vector of the $i$-graph that arises from any suitable triangulation $T$ of $M$. Flag vectors are also defined for finite groups and more generally for $n$-ary relations. Some problems, and suggested connections with other constructions, particularly that of the associahedron and so on, conclude the presentation.
Algebras related to matroids represented in characteristic zero
Published
• View Publication
• BIB
Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.
A change-of-coordinates from Geometry to Algebra, applied to Brick Tilings
A proof is sketched of the Polynomial Conjecture of the author (circulated as preprint "Brick Tiling and Monotone Boolean Functions", available at the http://www.math.ufl.edu/~squash/tilingstuff.html url) which says that the family of minimal tilable-boxes grows polynomially with dimension. An important ingredient of the argument is translating the problem from its finite-dimensional geometric framework to the algebraic setting of an infinite-dimensional lattice.
Boolean Term Orders and the Root System B_n
Published
• View Publication
• BIB
A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or beta. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability.
The main result of this paper is that boolean term orders correspond to one element extensions of the oriented matroid M(B_n), where B_n is the root system {e_i:1 \leq i \leq n \} \cup {e_i \pm e_j :1 \leq i < j \leq n}. This establishes boolean term orders in the frame work of the Baues problem. We also define a notion of coherence for a boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of boolean term orders for small values of n.
There are More Than 2**(n/17) n-Letter Ternary Square-Free Words
Published in J. Integer Sequences 98.1.9 (1998)
• Search Publication
We prove that the `connective constant' for ternary square-free words is at least $2^{1/17} = 1.0416 ... $, improving on Brinkhuis and Brandenburg's lower bounds of $2^{1/24}=1.0293 ...$ and $2^{1/22}=1.032 ...$ respectively. This is the first improvement since 1983.
The Combinatorial Astrology of Rabbi Abraham Ibn Ezra
Rabbi Abraham Ben Meir Ibn Ezra's(1089-1164) computation of the seventh row of the so-called Pascal-Chu triangle is described.
A combinatorial determinant
A theorem of Mina evaluates the determinant of a matrix with entries $D^j(f(x)^i)$. We note the important special case where the matrix entries are evaluated at $x=0$ and give a simple proof of it, and some applications. We then give a short proof of the general case.
Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.
Lattice Diagram Polynomials and Extended Pieri Rules
Published in Adv. Math. 142 (1999), no. 2, 244--334
• View Publication
• BIB
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{μ/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $μ$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{μ/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.
Science Fiction and Macdonald's Polynomials
Published
• View Publication
• BIB
This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widetilde{K}}_{λμ}(q,t)$ where the ${\widetilde{K}}_{λμ}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{λμ}(q,t)$ by the identity ${\widetilde{K}}_{λμ}(q,t)=K_{λμ}(q,1/t)t^{n(μ)}$ with $n(μ)$ the x-degree of $Δ_ μ(x;y)$. Computer data has suggested that as $ν$ varies among the immediate predecessors of a partition $μ$, the spaces ${\bf M}_ν$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.
Signed shape tilings of squares
Published
• View Publication
• BIB
Let T be a tile in the Cartesian plane made up of finitely many rectangles whose corners have rational coordinates and whose sides are parallel to the coordinate axes. This paper gives necessary and sufficient conditions for a square to be tilable by finitely many \Q-weighted tiles with the same shape as T, and necessary and sufficient conditions for a square to be tilable by finitely many \Z-weighted tiles with the same shape as T. The main tool we use is a variant of F. W. Barnes's algebraic theory of brick packing, which converts tiling problems into problems in commutative algebra.
Regression Depth and Center Points
Published in Discrete Comput. Geom. 23(3):305-323, 2000
• View Publication
• BIB
We show that, for any set of n points in d dimensions, there exists a hyperplane with regression depth at least ceiling(n/(d+1)). as had been conjectured by Rousseeuw and Hubert. Dually, for any arrangement of n hyperplanes in d dimensions there exists a point that cannot escape to infinity without crossing at least ceiling(n/(d+1)) hyperplanes. We also apply our approach to related questions on the existence of partitions of the data into subsets such that a common plane has nonzero regression depth in each subset, and to the computational complexity of regression depth problems.