Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Surface cubications mod flips
Published
• View Publication
• BIB
Let $Σ$ be a compact surface. We prove that the set of surface cubications modulo flips, up to isotopy, is in one-to-one correspondence with $\Z/2\Z\oplus H_1(Σ,\Z/2\Z)$.
Lattices in finite real reflection groups
Published
• View Publication
• BIB
For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.
The scaling limit of the correlation of holes on the triangular lattice with periodic boundary conditions
Published
• View Publication
• BIB
We define the correlation of holes on the triangular lattice under periodic boundary conditions and study its asymptotics as the distances between the holes grow to infinity. We prove that the joint correlation of an arbitrary collection of lattice-triangular holes of even sides satisfies, for large separations between the holes, a Coulomb law and a superposition principle that perfectly parallel the laws of two dimensional electrostatics, with physical charges corresponding to holes, and their magnitude to the difference between the number of right-pointing and left-pointing unit triangles in each hole.
We detail this parallel by indicating that, as a consequence of our result, the relative probabilities of finding a fixed collection of holes at given mutual distances (when sampling uniformly at random over all unit rhombus tilings of the complement of the holes) approaches, for large separations between the holes, the relative probabilities of finding the corresponding two dimensional physical system of charges at given mutual distances. Physical temperature corresponds to a parameter refining the background triangular lattice.
We give an equivalent phrasing of our result in terms of covering surfaces of given holonomy. From this perspective, two dimensional electrostatics arises by averaging over all possible discrete geometries of the covering surfaces.
Perfect matchings and perfect powers
Published in J. Algebraic Combin. 17 (2003), 335-375
• View Publication
• BIB
In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers. In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.
Quantum cohomology and the k-Schur basis
Published
• View Publication
• BIB
We prove that structure constants related to Hecke algebras at roots of unity are special cases of k-Littlewood-Richardson coefficients associated to a product of k-Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to \hat{su}(\ell) are shown to be k-Littlewood Richardson coefficients. From this, Mark Shimozono conjectured that the k-Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas k-Schur coproducts correspond to the integral cohomology of the loop Grassmannian. We introduce dual k-Schur functions defined on weights of k-tableaux that, given Shimozono's conjecture, form the Schubert basis for the cohomology of the loop Grassmannian. We derive several properties of these functions that extend those of skew Schur functions.
Improved Delsarte bounds for spherical codes in small dimensions
Published in J. Combin. Theory Ser. A 114 (2007) Issue 6, 1133-1147
• View Publication
• BIB
We present an extension of the Delsarte linear programming method. For several dimensions it yields improved upper bounds for kissing numbers and for spherical codes. Musin's recent work on kissing numbers in dimensions three and four can be viewed in our framework.
Goldbug Variations
Published in Mathematical Intelligencer 27 #1 (Winter 2005), pp. 55--63
• View Publication
• BIB
This "Mathematical Entertainments" column from the Intelligencer is an exposition of current investigations, rooted in recent work of Jim Propp, into "quasirandom" analogues of random walk and random aggregation processes. Featured are the "Goldbugs" and the "Rotor-router". These are deterministic processes which simulate the random ones, for example having the same limiting states, but with faster convergence.
The paper includes three large illustrations, which appear twice in the submission, as both raster image (.png) and postscript (.eps) files. The latter are much larger but needed for latex inclusion; the former are smaller, used by pdflatex, and better for pixel-level viewing.
Boson Normal Ordering via Substitutions and Sheffer-type Polynomials
Published in Phys. Lett. A 338, 108 (2005)
• View Publication
• BIB
We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrated by a few examples.
Coloring graphs with crossings
Published
• View Publication
• BIB
We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings.
A q-Analogue of Faulhaber's Formula for Sums of Powers
Published in Electron. J. Combin. 11(2) (2005), #R19
• View Publication
• BIB
Let $$
S_{m,n}(q):=\sum_{k=1}^{n}\frac{1-q^{2k}}{1-q^2}
(\frac{1-q^k}{1-q})^{m-1}q^{\frac{m+1}{2}(n-k)}.
$$ Generalizing the formulas of Warnaar and Schlosser, we prove that there exist polynomials $P_{m,k}(q)\in\mathbb{Z}[q]$ such that $$
S_{2m+1,n}(q) =\sum_{k=0}^{m}(-1)^kP_{m,k}(q)
\frac{(1-q^n)^{m+1-k}(1-q^{n+1})^{m+1-k}q^{kn}}
{(1-q^2)(1-q)^{2m-3k}\prod_{i=0}^{k}(1-q^{m+1-i})}, $$ and solve a problem raised by Schlosser. We also show that there is a similar formula for the following $q$-analogue of alternating sums of powers:
$$
T_{m,n}(q):=\sum_{k=1}^{n}(-1)^{n-k}
(\frac{1-q^k}{1-q})^{m}q^{\frac{m}{2}(n-k)}.
$$
On the Computation of Clebsch-Gordan Coefficients and the Dilation Effect
Published
• View Publication
• BIB
We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.
Finite covers of groups by cosets or subgroups
Published in Internat. J. Math. 17(2006), 1047--1064
• View Publication
• BIB
This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its proper subsystems does. We show that if $G$ is cyclic, or $G$ is finite and $G_1,...,G_k$ are normal Hall subgroups of $G$, then $k\geq m+f([G:\bigcap_{i=1}^kG_i])$, where $f(\prod_{t=1}^r p_t^{α_t})=\sum_{t=1}^rα_t(p_t-1)$ if $p_1,...,p_r$ are distinct primes and $α_1,...,α_r$ are nonnegative integers. When all the $a_i$ are the identity element of $G$ and all the $G_i$ are subnormal in $G$, we prove that there is a composition series from $\bigcap_{i=1}^kG_i$ to $G$ whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.
Palindromic Prefixes and Episturmian Words
Published in Journal of Combinatorial Theory, Series A, 113.7 (2006), 1281-1304
• View Publication
• BIB
Let $w$ be an infinite word on an alphabet $A$. We denote by $(n_i)_{i \geq 1}$ the increasing sequence (assumed to be infinite) of all lengths of palindrome prefixes of $w$. In this text, we give an explicit construction of all words $w$ such that $n_{i+1} \leq 2 n_i + 1$ for any $i$, and study these words. Special examples include characteristic Sturmian words, and more generally standard episturmian words. As an application, we study the values taken by the quantity $\limsup n_{i+1}/n_i$, and prove that it is minimal (among all non-periodic words) for the Fibonacci word.
On the non-holonomic character of logarithms, powers, and the n-th prime function
Published in The Electronic Journal of Combinatorics, vol. 11, no. 2, article A2. 2005.
• View Publication
• BIB
We establish that the sequences formed by logarithms and by "fractional" powers of integers, as well as the sequence of prime numbers, are non-holonomic, thereby answering three open problems of Gerhold [Electronic Journal of Combinatorics 11 (2004), R87]. Our proofs depend on basic complex analysis, namely a conjunction of the Structure Theorem for singularities of solutions to linear differential equations and of an Abelian theorem. A brief discussion is offered regarding the scope of singularity-based methods and several naturally occurring sequences are proved to be non-holonomic.
Affine Stanley symmetric functions
Published
• View Publication
• BIB
We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.
Combinatorics of bicubic maps with hard particles
Published in J.Phys. A38 (2005) 4529-4559
• View Publication
• BIB
We present a purely combinatorial solution of the problem of enumerating planar bicubic maps with hard particles. This is done by use of a bijection with a particular class of blossom trees with particles, obtained by an appropriate cutting of the maps. Although these trees have no simple local characterization, we prove that their enumeration may be performed upon introducing a larger class of "admissible" trees with possibly doubly-occupied edges and summing them with appropriate signed weights. The proof relies on an extension of the cutting procedure allowing for the presence on the maps of special non-sectile edges. The admissible trees are characterized by simple local rules, allowing eventually for an exact enumeration of planar bicubic maps with hard particles. We also discuss generalizations for maps with particles subject to more general exclusion rules and show how to re-derive the enumeration of quartic maps with Ising spins in the present framework of admissible trees. We finally comment on a possible interpretation in terms of branching processes.
The generic Groebner walk
Published in J. Symb. Comp. 42 (2007), 298-312.
• View Publication
• BIB
The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target term order. An important parameter is explicit numerical perturbation of this line. This usually involves both time and space demanding arithmetic of integers much larger than the input numbers. In this paper we show how the explicit line may be replaced by a formal line using Robbiano's characterization of group orders on Q^n. This gives rise to the generic Groebner walk involving only Groebner basis conversion over facets and computations with marked polynomials. The proposed technique is closely related to the lexicographic (symbolic) perturbation method used in optimization and computational geometry. We report on computations with toric ideals, where a version of our algorithm in certain cases computes test sets for hard integer knapsack problems significantly faster than the Buchberger algorithm.
A non-regular Groebner fan
Published in Discrete Comput. Geom. 37 (2007), no, 443--453
• View Publication
• BIB
The Groebner fan of an ideal $I\subset k[x_1,...,x_n]$, defined by Mora and Robbiano, is a complex of polyhedral cones in $R^n$. The maximal cones of the fan are in bijection with the distinct monomial initial ideals of $I$ as the term order varies. If $I$ is homogeneous the Groebner fan is complete and is the normal fan of the state polytope of $I$. In general the Groebner fan is not complete and therefore not the normal fan of a polytope. We may ask if the restricted Groebner fan, a subdivision of $R_{>=0}^n$, is regular i.e. the normal fan of a polyhedron. The main result of this paper is an example of an ideal in $Q[x_1,...,x_4]$ whose restricted Groebner fan is not regular.
On the X=M=K Conjecture
In the large rank limit, for any nonexceptional affine algebra, the graded branching multiplicities known as one-dimensional sums, are conjectured to have a simple relationship with those of type A, which are known as generalized Kostka polynomials. This is called the X=M=K conjecture. It is proved for tensor products of the symmetric power Kirillov-Reshetikhin modules for all nonexceptional affine algebras except those whose Dynkin diagrams are isomorphic to that of untwisted affine type D near the zero node. Combined with results of Lecouvey, this realizes the above one-dimensional sums of affine type C, as affine Kazhdan-Lusztig polynomials (and conjecturally for type D).
On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings
We study the multigraded Poincaré-Betti series of $A=S/\aaf$, where $S$ is the ring of polynomials in $n$ indeterminates divided by the monomial ideal $\aaf$. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case, where the Taylor resolution is minimal. We introduce a conjecture about the minimal $A$-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves. We prove our conjecture for several classes of algebras. The conjecture implies that $A$ is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of $\aaf$ implies Golodness for $A$.