Showing 20 papers (Total: 81324 papers, 47147 authors in database)
Totally nonnegative and oscillatory elements in semisimple groups
Published
• View Publication
• BIB
We generalize the well known characterizations of totally nonnegative and oscillatory matrices, due to F.R.Gantmacher, M.G.Krein, A.Whitney, C.Loewner, M.Gasca, and J.M.Pena to the case of an arbitrary complex semisimple Lie group.
On some partial orders associated to generic initial ideals
Published in S{é}minaire Lotharingien de Combinatoire, B43h (2000), 23 pp
• Search Publication
We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are precisely the strongly stable and the stable monoid ideals. These ideals arise in the study of generic initial ideals.
Polygon dissections and Euler, Fuss, Kirkman and Cayley numbers
Published
• View Publication
• BIB
We give a short proof for a formula for the number of divisions of a convex (sn+2)-gon along non-crossing diagonals into (sj+2)-gons, where 1<=j<=n-1. In other words, we consider dissections of an (sn+2)-gon into pieces which can be further subdivided into (s+2)-gons. This formula generalizes the formulas for classical numbers of polygon dissections: Euler-Catalan number, Fuss number and Kirkman-Cayley number.
Our proof is elementary and does not use the method of generating functions.
Tree Structures: A Variational Approach to Shannon--Wiener Information
Published in "Trends in Quantum Physics", editors Krasnoholovets, Volodymyr; Columbus, Frank. ISBN: 1-59454-000-4. Pub. Date 2004
• Search Publication
Entanglement measures based on a logarithmic functional form naturally emerge in any attempt to quantify the degree of entanglement in the state of a multipartite quantum system. These measures can be regarded as generalizations of the classical Shannon-Wiener information of a probability distribution into the quantum regime. In the present work we introduce a previously unknown approach to the Shannon-Wiener information which provides an intuitive interpretation for its functional form as well as putting all entanglement measures with a similar structure into a new context: By formalizing the process of information gaining in a set-theoretical language we arrive at a mathematical structure which we call ''tree structures'' over a given set. On each tree structure, a tree function can be defined, reflecting the degree of splitting and branching in the given tree. We show in detail that the minimization of the tree function on, possibly constrained, sets of tree structures renders the functional form of the Shannon-Wiener information. This finding demonstrates that entropy-like information measures may themselves be understood as the result of a minimization process on a more general underlying mathematical structure, thus providing an entirely new interpretational framework to entropy-like measures of information and entanglement. We suggest three natural axioms for defining tree structures, which turn out to be related to the axioms describing neighbourhood topologies on a topological space. The same minimization that renders the functional form of the Shannon-Wiener information from the tree function then assigns a preferred topology to the underlying set, hinting at a deep relation between entropy-like measures and neighbourhood topologies.
Counting faces of cubical spheres modulo two
Published
• View Publication
• BIB
Several recent papers have addressed the problem of characterizing the $f$-vectors of cubical polytopes. This is largely motivated by the complete characterization of the $f$-vectors of simplicial polytopes given by Stanley, Billera, and Lee in 1980. Along these lines Blind and Blind have shown that unlike in the simplicial case, there are parity restrictions on the $f$-vectors of cubical polytopes. In particular, except for polygons, all even dimensional cubical polytopes must have an even number of vertices. Here this result is extended to a class of zonotopal complexes which includes simply connected odd dimensional manifolds. This paper then shows that the only modular equations which hold for the $f$-vectors of all d-dimensional cubical polytopes (and hence spheres) are modulo two. Finally, the question of which mod two equations hold for the $f$-vectors of PL cubical spheres is reduced to a question about the Euler characteristics of multiple point loci from codimension one PL immersions into the $d$-sphere. Some results about this topological question are known (Eccles,Herbert,Lannes) and Herbert's result we translate into the cubical setting, thereby removing the PL requirement. A central definition in this paper is that of the derivative complex, which captures the correspondence between cubical spheres and codimension one immersions.
WZ Theory, Chapter II
The impact of the computer on present and especially future mathematics is illustrated by means of the iconic example of WZ theory.
n-Schur Functions and Determinants on an Infinite Grassmannian
A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $τ$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $τ$-functions as a sum with Plucker coordinates as coefficients.
A sefl-dual poset on objects counted by the Catalan numbers
We examine the poset $P$ of 132-avoiding $n$-permutations ordered by descents. We show that this poset is the "coarsening" of the well-studied poset $Q$ of noncrossing partitions . In other words, if $x<y$ in $Q$, then $f(y)<f(x)$ in $P$, where $f$ is the canonical bijection from the set of noncrossing partitions onto that of 132-avoiding permutations. This enables us to prove many properties of $P$.
Semiinvariants of Finite Reflection Groups
Published in J. Algebra 220, 314-326 (1999).
• View Publication
• BIB
Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and χbe a multiplicative character of G. Let Ω^χbe the R-module of χ-invariant differential forms. We define a multiplication in Ω^χand show that under this multiplication Ω^χhas an exterior algebra structure. We also show how to extend the results to vector fields, and exhibit a relationship between χ-invariant forms and logarithmic forms.
Combinatorial Identities Related to Representations of $U_q(\tilde{gl_2})$
Recently N.Jing discovered a certain combinatorial identity from validity of the Serre relations in some vertex representations of quantum Kac-Moody algebras.
We generalize this identity, in particular, extending it from polynomials to elliptic functions, and interprete the obtained identities in terms of tensor products of evaluation representations of the quantum loop algebra $U_q(\tilde{gl_2})$ or the elliptic quantum group $E_{ρ,γ}(sl_2)$.
Composition sums related to the hypergeometric function
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
A short proof that ``proper = unit''
Published
• View Publication
• BIB
A short proof is given that the graphs with proper interval representations are the same as the graphs with unit interval representations.
The saturation conjecture (after A. Knutson and T. Tao)
In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is saturated. The main tool is Knutson and Tao's hive model for Berenstein-Zelevinsky polytopes. In an appendix of W. Fulton it is shown that the hive model is equivalent to the original Littlewood-Richardson rule.
On the volume of a certain polytope
Published
• View Publication
• BIB
Let n >= 2 be an integer and consider the set T_n of n by n permutation matrices pi for which pi_{ij}=0 for j>=i+2. In this paper we study the convex hull of T_n, which we denote by P_n. P_n is a polytope of dimension binom{n}{2}. Our main purpose is to provide evidence for the following conjecture concerning its volume. Let v_n denote the minimum volume of a simplex with vertices in the affine lattice spanned by T_n. Then the volume of P_n is v_n times the product for i varying from 0 to n-2 of frac{1}{i+1} binom{2i}{i}. That is, P_n is the product of v_n and the first n-1 Catalan numbers.
We also give a related result on the Ehrhart polynomial of P_n.
Several Constants Arising in Statistical Mechanics
Published
• View Publication
• BIB
This is a brief survey of certain constants associated with random lattice models, including self-avoiding walks, polyominoes, the Lenz-Ising model, monomers and dimers, ice models, hard squares and hexagons, and percolation models.
Enumeration of tilings of diamonds and hexagons with defects
Published
• View Publication
• BIB
We show how to count tilings of Aztec diamonds and hexagons with defects using determinants. In several cases these determinants can be evaluated in closed form. In particular, we obtain solutions to problems 1, 2, and 10 in James Propp's list of problems on enumeration of matchings.
Another Combinatorial Determinant
Published
• View Publication
• BIB
We present a variation and generalization of a determinant evaluation of Wilf (math.CO/9809120). His result concerns a matrix whose entries are the coefficients of powers of a given power series; we replace the powers by repeated compositions and obtain similar results.
On the Distribution of the Length of the Longest Increasing Subsequence of Random Permutations
Published in J. Amer. Math. Soc. 12 (1999), no. 4, 1119--1178
• View Publication
• BIB
The authors consider the length, $l_N$, of the length of the longest increasing subsequence of a random permutation of $N$ numbers. The main result in this paper is a proof that the distribution function for $l_N$, suitably centered and scaled, converges to the Tracy-Widom distribution [TW1] of the largest eigenvalue of a random GUE matrix. The authors also prove convergence of moments. The proof is based on the steepest decent method for Riemann-Hilbert problems, introduced by Deift and Zhou in 1993 [DZ1] in the context of integrable systems. The applicability of the Riemann-Hilbert technique depends, in turn, on the determinantal formula of Gessel [Ge] for the Poissonization of the distribution function of $l_N$.
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.