Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Matroid Theory and Chern-Simons
Published in J.Math.Phys.41:7997-8005,2000
• View Publication
• BIB
It is shown that matroid theory may provide a natural mathematical framework for a duality symmetries not only for quantum Yang-Mills physics, but also for M-theory. Our discussion is focused in an action consisting purely of the Chern-Simons term, but in principle the main ideas can be applied beyond such an action. In our treatment the theorem due to Thistlethwaite, which gives a relationship between the Tutte polynomial for graphs and Jones polynomial for alternating knots and links, plays a central role. Before addressing this question we briefly mention some important aspects of matroid theory and we point out a connection between the Fano matroid and D=11 supergravity. Our approach also seems to be related to loop solutions of quantum gravity based in Ashtekar formalism.
Lie algebras associated to fiber-type arrangements
Published in Int. Math. Res. Not. 2003, no. 29, 1591-1621
• Search Publication
Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive elements in the homology of the loop space for the complement of the associated subspace arrangement. Furthermore, this last Lie algebra is given by the homotopy groups modulo torsion of the loop space of the complement of the subspace arrangement. Looping further yields an associated Poisson algebra, and generalizations of the "universal infinitesimal Poisson braid relations."
Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations
Published
• View Publication
• BIB
We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.
Restoring Fairness to Dukego
Published
• View Publication
• BIB
In this paper we correct an analysis of the two-player perfect-information game Dukego given in Berlekamp, Conway, and Guy's Winning Ways for your Mathematical Plays (Chapter 19). In particular, we characterize the board dimensions that are fair, i.e., those for which the first player to move has a winning strategy.
Compactness Theorems for Geometric Packings
Published in J. Combin. Theory Ser. A 97 (2002), 225-238.
• View Publication
• BIB
Moser asked whether the collection of rectangles of dimensions 1 x 1/2, 1/2 x 1/3, 1/3 x 1/4, ..., whose total area equals 1, can be packed into the unit square without overlap, and whether the collection of squares of side lengths 1/2, 1/3, 1/4, ... can be packed without overlap into a rectangle of area pi^2/6-1. Computational investigations have been made into packing these collections into squares of side length 1+epsilon and rectangles of area pi^2/6-1+epsilon, respectively, and one can consider the apparently weaker question whether such packings are possible for every positive number epsilon. In this paper we establish a general theorem on sequences of geometrical packings that implies in particular that the ``for every epsilon'' versions of these two problems are actually equivalent to the original tiling problems.
On Characters of Weyl Groups
Published
• View Publication
• BIB
In this note a combinatorial formula related to the symmetric group is generalized to an arbitrary finite Weyl group.
On the Asymptotics of Takeuchi Numbers
Published
• View Publication
• BIB
I present an asymptotic formula for the Takeuchi numbers $T_n$. In particular, I give compelling numerical evidence and present a heuristic argument showing that $$T_n\sim C_T B_n\exp{1\over2}{W(n)}^2$$as $n$ tends to infinity, where $B_n$ are the Bell numbers, W(n) is Lambert's $W$ function, and $C_T=2.239...$ is a constant. Moreover, I show that the method presented here can be generalized to derive conjectures for related problems.
Mirror symmetry and C^\times
Published
• View Publication
• BIB
We show that counting functions of covers of $\mathbb{C}^\times$ are equal to sums of integrals associated to certain `Feynman' graphs. This is an analogue of the mirror symmetry for elliptic curves by Dijkgraaf.
Identically Distributed Pairs of Partition Statistics
We show that many theorems which assert that two kinds of partitions of the same integer $n$ are equinumerous are actually special cases of a much stronger form of equality. We show that in fact there correspond partition statistics $X$ and $Y$ that have identical distribution functions. The method is an extension of the principle of sieve-equivalence, and it yields simple criteria under which we can infer this identity of distribution functions.
Combinatorics and Quotients of Toric Varieties
Published
• View Publication
• BIB
This paper studies two related subjects. One is some combinatorics arising from linear projections of polytopes and fans of cones. The other is quotient varieties of toric varieties. The relation is that projections of polytopes are related to quotients of projective toric varieties and projection of fans are related to quotients of general toric varieties. Despite its relation to geometry the first part is purely combinatorial and should be of interest in its own right.
On the expected value of the minimum assignment
Published
• View Publication
• BIB
The minimum k-assignment of an m by n matrix X is the minimum sum of k entries of X, no two of which belong to the same row or column. If X is generated by choosing each entry independently from the exponential distribution with mean 1, then Coppersmith and Sorkin conjectured that the expected value of its minimum k-assignment is \sum_{i,j \ge 0, i+j<k} 1/((m-i)(n-j)) and they (with Alm) have proven this for k < 5 and in certain cases when k=5 or k=6. They were motivated by the special case of k=m=n, where the expected value was conjectured by Parisi to be \sum_{i=1}^k 1/(i^2).
In this paper we describe our efforts to prove the Coppersmith-Sorkin conjecture. We give evidence for the following stronger conjecture, which generalizes theirs.
Conjecture. Suppose that r_1,...,r_m and c_1,...,c_n are positive real numbers. Let X be a random m by n matrix in which entry x_{ij} is chosen independently from the exponential distribution with mean 1/(r_ic_j). Then the expected value of the minimum k-assignment of X is \sum_{I,J} (-1)^{k - 1 - |I| - |J|} \binom{m + n - 1 - |I| - |J|}{k - 1 - |I| - |J|}\frac{1}{(\sum_{i \notin I}r_i) (\sum_{j \notin J} c_j)}.
Here the sum is over proper subsets I of {1,...,m} and J of {1,...,n} whose cardinalities |I| and |J| satisfy |I|+|J|<k.
There is no tame triangulation of the infinite real Grassmannian
Published in Advances in Applied Mathematics, 26 (2001), 226-236
• View Publication
• BIB
We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points in the plane.
A Littlewood-Richardson rule for the K-theory of Grassmannians
Published
• View Publication
• BIB
We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions.
From Finite Sets to Feynman Diagrams
Published in In Mathematics Unlimited - 2001 and Beyond, vol. 1, eds. Björn Engquist and Wilfried Schmid, Springer, Berlin, 2001, pp. 29-50.
• View Publication
• BIB
`Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets serves as a categorified version of the set of natural numbers, with disjoint union and Cartesian product playing the role of addition and multiplication. We sketch how categorifying the integers leads naturally to the infinite loop space Omega^infinity S^infinity, and how categorifying the positive rationals leads naturally to a notion of the `homotopy cardinality' of a tame space. Then we show how categorifying formal power series leads to Joyal's `especes des structures', or `structure types'. We also describe a useful generalization of structure types called `stuff types'. There is an inner product of stuff types that makes the category of stuff types into a categorified version of the Hilbert space of the quantized harmonic oscillator. We conclude by sketching how this idea gives a nice explanation of the combinatorics of Feynman diagrams.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models I. General Theory and Square-Lattice Chromatic Polynomial
Published in J.Statist.Phys. 104 (2001) 609-699
• View Publication
• BIB
We study the chromatic polynomials (= zero-temperature antiferromagnetic Potts-model partition functions) P_G(q) for m \times n rectangular subsets of the square lattice, with m \le 8 (free or periodic transverse boundary conditions) and n arbitrary (free longitudinal boundary conditions), using a transfer matrix in the Fortuin-Kasteleyn representation. In particular, we extract the limiting curves of partition-function zeros when n \to\infty, which arise from the crossing in modulus of dominant eigenvalues (Beraha-Kahane-Weiss theorem). We also provide evidence that the Beraha numbers B_2,B_3,B_4,B_5 are limiting points of partition-function zeros as n \to\infty whenever the strip width m is \ge 7 (periodic transverse b.c.) or \ge 8 (free transverse b.c.). Along the way, we prove that a noninteger Beraha number (except perhaps B_{10}) cannot be a chromatic root of any graph.
Toda equations for Hurwitz numbers
Published
• View Publication
• BIB
We consider ramified coverings of P^1 with arbitrary ramification type over 0 and infinity and simple ramifications elsewhere and prove that the generating function for the numbers of such coverings is a tau-function for the Toda lattice hierarchy of Ueno and Takasaki.
ad-nilpotent $\frak b$-ideals in sl(n) having a fixed class of nilpotence: combinatorics and enumeration
Published in Trans. Amer. Math. Soc. 354 (2002), 3835-3853.
• View Publication
• BIB
We study the combinatorics of ad-nilpotent ideals of a Borel subalgebra of $sl(n+1,\Bbb C)$. We provide an inductive method for calculating the class of nilpotence of these ideals and formulas for the number of ideals having a given class of nilpotence. We study the relationships between these results and the combinatorics of Dyck paths, based upon a remarkable bijection between ad-nilpotent ideals and Dyck paths. Finally, we propose a (q,t)-analogue of the Catalan number $C_n$. These (q,t)-Catalan numbers count on the one hand ad-nilpotent ideals with respect to dimension and class of nilpotence, and on the other hand admit interpretations in terms of natural statistics on Dyck paths.
Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Plücker relations
Published
• View Publication
• BIB
We present a ``method'' for bijective proofs for determinant identities, which is based on translating determinants to Schur functions by the Jacobi--Trudi identity. We illustrate this ``method'' by generalizing a bijective construction (which was first used by Goulden) to a class of Schur function identities, from which we shall obtain bijective proofs for Dodgson's condensation formula, Plücker relations and a recent identity of the second author.
A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions
Published
• View Publication
• BIB
This paper presents the first combinatorial polynomial-time algorithm for minimizing submodular set functions, answering an open question posed in 1981 by Grotschel, Lovasz, and Schrijver. The algorithm employs a scaling scheme that uses a flow in the complete directed graph on the underlying set with each arc capacity equal to the scaled parameter. The resulting algorithm runs in time bounded by a polynomial in the size of the underlying set and the largest length of the function value. The paper also presents a strongly polynomial-time version that runs in time bounded by a polynomial in the size of the underlying set independent of the function value.
How to Uncross Some Modular Metrics
Let $μ$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $μ$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this generalizes the well-known multiterminal multiway) cut problem. Two cases of metrics $μ$ have been known for which the problem can be solved in polynomial time: (a) $μ$ is a modular metric whose underlying graph $H(μ)$ is hereditary modular and orientable (in a certain sense); and (b) $μ$ is a median metric. In the latter case an optimal solution can be found by use of a cut uncrossing method. \Xcomment{We give a common generalization for both cases by proving that the problem is in P for any modular metric $μ$ whose all orbit graphs are hereditary modular and orientable. To this aim, we show the existence of a retraction of the Cartesian product of the orbit graphs to $H(μ)$, which enables us to elaborate an analog of the cut uncrossing method for such metrics $μ$.} In this paper we generalize the idea of cut uncrossing to show the polynomial solvability for a wider class of metrics $μ$, which includes the median metrics as a special case. The metric uncrossing method that we develop relies on the existence of retractions of certain modular graphs. On the negative side, we prove that for $μ$ fixed, the problem is NP-hard if $μ$ is non-modular or $H(μ)$ is non-orientable.