natural ↗ reference
4894 papers tagged with this keyword
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.
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.
A Partition Theorem
We prove the following: there is a primitive recursive function f_-^*(-,-), in the three variables, such that: for every natural numbers t,n>0, and c, for any natural number k>=f^*_t(n,c) the following holds. Assume L is an alphabet with n>0 letters, M is the family of non empty subsets of {1,...,k} with =<t members and V is the set of functions from M to L, and lastly d is a c-colouring of V (i.e. a function with domain V and range with at most c members). Then there is a d-monochromatic V-line, which means that there are w included in {1,...,k}, with at least t members and a function r from {u in M: u not a subset of w} to L such that letting Y={eta in V: eta extends r and for each s=1,...,t it is constant on {u in M: u is an s-element subset of w}}, we have: the restriction of d to Y is constant (for t=1 those are the Hales Jewett numbers).
Grobner Basis Techniques for Computing Actions of K-Categories
This paper involves categories and computer science. The paper is motivated by a question which arises from two pieces of research.
Firstly, the work of Brown and Heyworth which extends rewriting techniques to enable the computation of left Kan extensions over the category of sets. It is well known that left Kan extensions can be defined over categories other than Sets.
Secondly, the `folklore' that rewriting theory is a special case of noncommutative Groebner basis theory. It is therefore natural to ask whether Groebner bases can provide a method for computing Kan extensions beyond the special case of rewriting.
To answer this question completely, fully exploiting the computational power of Groebner basis techniques relating to Kan extensions is the ultimate aim. This paper provides a first step by showing how standard noncommutative Groebner basis procedures can be used to calculate left Kan extensions of K-category actions. In the final section of the paper a number of interesting problems arising from the work are identified.
Tournament Sequences and Meeussen Sequences
Published in Electronic Journal of Combinatorics 7(1) (2000) #R44. http://www.combinatorics.org/Volume_7/Abstracts/v7i1r44.html
• View Publication
• BIB
A "tournament sequence" is an increasing sequence of positive integers (t_1,t_2,...) such that t_1=1 and t_{i+1} <= 2 t_i. A "Meeussen sequence" is an increasing sequence of positive integers (m_1,m_2,...) such that m_1=1, every nonnegative integer is the sum of a subset of the {m_i}, and each integer m_i-1 is the sum of a unique such subset.
We show that these two properties are isomorphic. That is, we present a bijection between tournament and Meeussen sequences which respects the natural tree structure on each set. We also present an efficient technique for counting the number of tournament sequences of length n, and discuss the asymptotic growth of this number. The counting technique we introduce is suitable for application to other well-behaved counting problems of the same sort where a closed form or generating function cannot be found.
Hierarchy Structure of Graphs and Weighted Condensations
By natural way the hierarchy structure is introduced on directed graphs with weighted adjacencies. Embedded system of algebras of subsets of the set of vertices of such digraph and it's consolidations, which vertices are the elementary sets of corresponding algebra, are constructed. Weights of arcs of consolidated graphs are determined.
Extremal metrics on graphs I
Published
• View Publication
• BIB
We define a number of natural (from geometric and combinatorial points of view) deformation spaces of valuations on finite graphs, and study functions over these deformation spaces. These functions include both direct metric invariants (girth, diameter), and spectral invariants (the determinant of the Laplace operator, or complexity; bottom non-zero eigenvalue of the Laplace operator). We show that almost all of these functions are, surprisingly, convex, and we characterize the valuations extremizing these invariant
Local tree-width, excluded minors, and approximation algorithms
Published
• View Publication
• BIB
The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with excluded minors that essentially says that such graphs can be decomposed into trees of graphs of bounded local tree-width.
As an application of this theorem, we show that a number of combinatorial optimization problems, such as Minimum Vertex Cover, Minimum Dominating Set, and Maximum Independent Set have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.
The Kronecker product of Schur functions indexed by two-row shapes or hook shapes
Published
• View Publication
• BIB
The Kronecker product of two Schur functions $s_μ$ and $s_ν$, denoted by $s_μ*s_ν$, is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group corresponding to the partitions $μ$ and $ν$. The coefficient of $s_λ$ in this product is denoted by $γ^λ_{μν}$, and corresponds to the multiplicity of the irreducible character $χ^λ$ in $χ^μχ^ν.$
We use Sergeev's Formula for a Schur function of a difference of two alphabets and the comultiplication expansion for $s_λ[XY]$ to find closed formulas for the Kronecker coefficients $γ^λ_{μν}$ when $λ$ is an arbitrary shape and $μ$ and $ν$ are hook shapes or two-row shapes.
Remmel \cite{Re1, Re2} and Remmel and Whitehead \cite{Re-Wh} derived some closed formulas for the Kronecker product of Schur functions indexed by two-row shapes or hook shapes using a different approach. We believe that the approach of this paper is more natural. The formulas obtained are simpler and reflect the symmetry of the Kronecker product.
A Probabilistic Proof of the Rogers Ramanujan Identities
Published
• View Publication
• BIB
The asymptotic probability theory of conjugacy classes of the finite general linear and unitary groups leads to a probability measure on the set of all partitions of natural numbers. A simple method of understanding these measures in terms of Markov chains is given and compared with work on the uniform measure. Elementary probabilistic proofs of the Rogers-Ramanujan identities follow. As a corollary, the main case of Bailey's lemma is interpreted as finding eigenvectors of the transition matrix of the Markov chain. It is shown that the viewpoint of Markov chains extends to quivers.
Signs in the cd-index of Eulerian partially ordered sets
Published
• View Publication
• BIB
A graded partially ordered set is Eulerian if every interval has the same number of elements of even rank and of odd rank. Face lattices of convex polytopes are Eulerian. For Eulerian partially ordered sets, the flag vector can be encoded efficiently in the cd-index. The cd-index of a polytope has all positive entries. An important open problem is to give the broadest natural class of Eulerian posets having nonnegative cd-index. This paper completely determines which entries of the cd-index are nonnegative for all Eulerian posets. It also shows that there are no other lower or upper bounds on cd-coefficients (except for the coefficient of c^n).
Integrals over classical Groups, Random permutations, Toda and Toeplitz lattices
Published
• View Publication
• BIB
Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlevé V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way.
Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies:
(i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation.
Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlevé V equation for the integrals.
New Examples of Potential Theory on Bratelli Diagrams
We consider potential theory on Bratteli diagrams arising from Macdonald polynomials. The case of Hall-Littlewood polynomials is particularly interesting; the elements of the diagram are partitions, the branching multiplicities are integers, the combinatorial dimensions are Green's polynomials, and the Jordan form of a randomly chosen unipotent upper triangular matrix over a finite field gives rise to a harmonic function. The case of Schur functions yields natural deformations of the Young lattice and Plancharel measure. Many harmonic functions are constructed and algorithms for sampling from the underlying probability measures are given.
Stratified spaces formed by totally positive varieties
Published
• View Publication
• BIB
By a theorem of A.Björner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each closed stratum (resp., the boundary of each stratum) has the homology of a ball (resp., of a sphere). Answering a question posed by Björner, we suggest a natural geometric realization of these stratified spaces for a Weyl group $W$ of a semisimple Lie group $G$, and prove its validity in the case of the symmetric group. Our stratified spaces arise as links in the Bruhat decomposition of the totally nonnegative part of the unipotent radical of $G$.
Mod 2 cohomology of combinatorial Grassmannians
Published in Selecta Mathematica 8 (2002), 161-200
• View Publication
• BIB
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.
Monodromy of fiber-type arrangements and orbit configuration spaces
Published in Forum Math. 13 (2001), 505-530
• View Publication
• BIB
We prove similar theorems concerning the structure of bundles involving complements of fiber-type hyperplane arrangements and orbit configuration spaces. These results facilitate analysis of the fundamental groups of these spaces, which may be viewed as generalizations of the Artin pure braid group. In particular, we resolve two disparate conjectures. We show that the Whitehead group of the fundamental group of the complement of a fiber-type arrangement is trivial, as conjectured by Aravinda, Farrell, and Rouchon. For the orbit configuration space corresponding to the natural action of a finite cyclic group on the punctured plane, we determine the structure of the Lie algebra associated to the lower central series of the fundamental group. Our results show that this Lie algebra is isomorphic to the module of primitives in the homology of the loop space of a related orbit configuration space, as conjectured by Xicotencatl.
On equicut graphs
Published in Multi. Val. Logic. 7(2001) pp. 363--377
• Search Publication
The size sz(G) of an l_1-graph G=(V,E) is the minimum of n_f/t_f over all its possible l_1-embeddings f into n_f-dimensional hypercube with scale t_f. In terms of v=|V|, the sum of distances between all the pairs of vertices of G is at most sz(G) v^2/4 for v even, (resp. sz(G)(v-1)(v+1)/4 for v odd). This bound is reached if and only if G is an equicut graph, that is, G admits an l_1-embedding with column sums v/2, v even (resp. (v-1)/2 for v odd).
Basic properties of equicut graphs are investigated. A construction of equicut graphs from l_1-graphs via a natural doubling construction is given. It generalizes several well-known constructions of polytopes and distance-regular graphs. Large families of examples, mostly related to polytopes and distance-regular graphs, are presented.
Antichains of Monomial Ideals are Finite
Published
• View Publication
• BIB
The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion. We present several corollaries of this result, both simpler proofs of results already in the literature and new results. One natural generalization to more abstract posets is shown to be false.
Hecke Algebra Actions on the Coinvariant Algebra
Published
• View Publication
• BIB
Two actions of the Hecke algebra of type A on the corresponding polynomial ring are studied. Both are deformations of the natural action of the symmetric group on polynomials, and keep symmetric functions invariant. We give an explicit description of these actions, and deduce a combinatorial formula for the resulting graded characters on the coinvariant algebra.
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories
Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of problems. Thus it is possible to use the same framework (and therefore program) to enumerate monoid or group (or category of groupoid) elements, to enumerate cosets or congruence classes on monoids, calculate equivariant equivalence relations, induced actions of groups, monoids or categories and even more. This extended abstract is an outline of "Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories" by R. Brown and A. Heyworth.