Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Rook poset equivalence of Ferrers boards
Published
• View Publication
• BIB
A natural construction due to K. Ding yields Schubert varieties from Ferrers boards. The poset structure of the Schubert cells in these varieties is equal to the poset of maximal rook placements on the Ferrers board under the Bruhat order. We determine when two Ferrers boards have isomorphic rook posets. Equivalently, we give an exact categorization of when two Ding Schubert varieties have identical Schubert cell structures. This also produces a complete classification of isomorphism types of lower intervals of 312-avoiding permutations in the Bruhat order.
Gauss-Manin connections for arrangements, IV Nonresonant eigenvalues
Published in Comment. Math. Helv. 81 (2006), 883-909
• View Publication
• BIB
An arrangement is a finite set of hyperplanes in a finite dimensional complex affine space. A complex rank one local system on the arrangement complement is determined by a set of complex weights for the hyperplanes. We study the Gauss-Manin connection for the moduli space of arrangements of fixed combinatorial type in the cohomology of the complement with coefficients in the local system determined by the weights. For nonresonant weights, we solve the eigenvalue problem for the endomorphisms arising in the 1-form associated to the Gauss-Manin connection.
Invariants and Coinvariants of the Symmetric Group in Noncommuting Variables
Published in Canad. J. Math. 60 (2008), no. 2, 266-296
• View Publication
• BIB
We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials.
On the representation of bent functions by bent rectangles
Published in Probabilistic Methods in Discrete Mathematics: Proceedings of the Fifth International Petrozavodsk Conference (Petrozavodsk, June 1-6, 2000). Utrecht, Boston: VSP, pp.121-135, 2002
• Search Publication
We propose a representation of boolean bent functions by bent rectangles, that is, by special matrices with restrictions on rows and columns. Using this representation, we exhibit new classes of bent functions, give an algorithm to construct bent functions, improve a lower bound for the number of bent functions.
Finiteness theorems in stochastic integer programming
Published
• View Publication
• BIB
We study Graver test sets for families of linear multi-stage stochastic integer programs with varying number of scenarios. We show that these test sets can be decomposed into finitely many ``building blocks'', independent of the number of scenarios, and we give an effective procedure to compute these building blocks. The paper includes an introduction to Nash-Williams' theory of better-quasi-orderings, which is used to show termination of our algorithm. We also apply this theory to finiteness results for Hilbert functions.
Minimality, homogeneity and topological 0-1 laws for subspaces of a Banach space
Published
• View Publication
• BIB
If a Banach space is saturated with basic sequences whose linear span embeds into the linear span of any subsequence, then it contains a minimal subspace. It follows that any Banach space is either ergodic or contains a minimal subspace.
For a Banach space $X$ with an (unconditional) basis, topological 0-1 law type dichotomies are stated for block-subspaces of $X$ as well as for subspaces of $X$ with a successive FDD on its basis. A uniformity principle for properties of block-sequences, results about block-homogeneity, and a possible method to construct a Banach space with an unconditional basis, which has a complemented subspace without an unconditional basis, are deduced.
Two New Bounds on the Random-Edge Simplex Algorithm
Published in SIAM Journal on Discrete Mathematics 21, 178-190 (2007)
• View Publication
• BIB
We prove that the Random-Edge simplex algorithm requires an expected number of at most 13n/sqrt(d) pivot steps on any simple d-polytope with n vertices. This is the first nontrivial upper bound for general polytopes. We also describe a refined analysis that potentially yields much better bounds for specific classes of polytopes. As one application, we show that for combinatorial d-cubes, the trivial upper bound of 2^d on the performance of Random-Edge can asymptotically be improved by any desired polynomial factor in d.
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
• Search Publication
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.