arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2004-10-31 v3
The hyperbolic geometry of random transpositions
Published in Annals of Probability 2006, Vol. 34, No. 2, 429-467 • View Publication • BIB
Turn the set of permutations of $n$ objects into a graph $G_n$ by connecting two permutations that differ by one transposition, and let $σ_t$ be the simple random walk on this graph. In a previous paper, Berestycki and Durrett [In Discrete Random Walks (2005) 17--26] showed that the limiting behavior of the distance from the identity at time $cn/2$ has a phase transition at $c=1$. Here we investigate some consequences of this result for the geometry of $G_n$. Our first result can be interpreted as a breakdown for the Gromov hyperbolicity of the graph as seen by the random walk, which occurs at a critical radius equal to $n/4$. Let $T$ be a triangle formed by the origin and two points sampled independently from the hitting distribution on the sphere of radius $an$ for a constant $0<a<1$. Then when $a<1/4$, if the geodesics are suitably chosen, with high probability $T$ is $δ$-thin for some $δ>0$, whereas it is always O(n)-thick when $a>1/4$. We also show that the hitting distribution of the sphere of radius $an$ is asymptotically singular with respect to the uniform distribution. Finally, we prove that the critical behavior of this Gromov-like hyperbolicity constant persists if the two endpoints are sampled from the uniform measure on the sphere of radius $an$. However, in this case, the critical radius is $a=1-\log2$.
2004-10-31 v2
On the frontiers of polynomial computations in tropical geometry
Published • View Publication • BIB
We study some basic algorithmic problems concerning the intersection of tropical hypersurfaces in general dimension: deciding whether this intersection is nonempty, whether it is a tropical variety, and whether it is connected, as well as counting the number of connected components. We characterize the borderline between tractable and hard computations by proving $\mathcal{NP}$-hardness and #$\mathcal{P}$-hardness results under various strong restrictions of the input data, as well as providing polynomial time algorithms for various other restrictions.
2004-10-31 v2
Standard Bases for Affine SL(n)-Modules
We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector. Our basis arises naturally from the combinatorics of its indexing set, which consists of certain subsets of the integers first specified by the Kyoto school in terms of crystal operators. We give a new way of defining these special sets in terms of a recursive but very simple algorithm, the roof operator, which is analogous to the left-key construction of Lascoux-Schutzenberger. The roof operator is in a sense orthogonal to the crystal operators.
2004-10-31 v5
On umbral extensions of Stirling numbers and Dobinski-like formulas
Published in Adv. Stud. Contemp. Math., Vol 12, no. 1, (2006) 73-100 • Search Publication
Umbral extensions of the stirling numbers of the second kind are considered and the resulting dobinski-like various formulas including new ones are presented. These extensions naturally encompass the two well known q-extensions. The further consecutive umbral extensions q-stirling numbers are therefore realized here in a two-fold way. The fact that the umbral q-extended dobinski formula may also be interpreted as the average of powers of random variable with the q-poisson distribution singles out the q-extensions which appear to be a kind of singular point in the domain of umbral extensions as expressed by corresponding two observations. Other relevant possibilities are tackled with the paper`s closing down questions and suggestions with respect to other already existing extensions while a brief limited survey of these other type extensions is being delivered. There the newton interpolation formula and divided differences appear helpful and inevitable along with umbra symbolic language in describing properties of general exponential polynomials of touchard and their possible generalizations. Exponential structures or algebraically equivalent prefabs with their exponential formula appear to be also naturally relevant.
2004-10-29 v2
A mathematical proof of four color theorem
This paper has been withdrawn by the author due to a crucial error in last part of proof.
2004-10-29
Stein's Method and Minimum Parsimony Distance after Shuffles
Published • View Publication • BIB
Motivated by Bourque and Pevzner's simulation study of the parsimony method for studying genome rearrangement, Berestycki and Durrett used techniques from random graph theory to prove that the minimum parsimony distance after iterating the random transposition shuffle undergoes a transition from Poisson to normal behavior. This paper establishes an analogous result for minimum parsimony distance after iterates of riffle shuffles or iterates of riffle shuffles and cuts. The analysis is elegant and uses different tools: Stein's method and generating functions. A useful technique which emerges is that of making a problem more tractable by adding extra symmetry, then using Stein's method to exploit the symmetry in the modified problem, and from this deducing information about the original problem.
2004-10-28 v2
Hall--Littlewood functions and the A_2 Rogers--Ramanujan identities
Published in Adv. Math. 200 (2006), 403-434 • View Publication • BIB
We prove an identity for Hall--Littlewood symmetric functions labelled by the Lie algebra A_2. Through specialization this yields a simple proof of the A_2 Rogers--Ramanujan identities of Andrews, Schilling and the author.
2004-10-28 v2
Supersymmetry on Graphs and Networks
Published in Int.J.Geom.Meth.Mod.Phys.2:585-596,2005 • View Publication • BIB
We show that graphs, networks and other related discrete model systems carry a natural supersymmetric structure, which, apart from its conceptual importance as to possible physical applications, allows to derive a series of spectral properties for a class of graph operators which typically encode relevant graph characteristics.
2004-10-28
Codimension one decompositions and Chow varieties
Published • View Publication • BIB
A presentation of a degree $d$ form in $n+1$ variables as the sum of homogenous elements ``essentially'' involving $n$ variables is called a {\em codimension one decomposition}. Codimension one decompositions are introduced and the related Waring Problem is stated and solved. Natural schemes describing the codimension one decompositions of a generic form are defined. Dimension and degree formulae for these schemes are derived when the number of summands is the minimal one; in the zero dimensional case the scheme is showed to be reduced. These results are obtained by studying the Chow variety $Δ_{n,s}$ of zero dimensional degree $s$ cycles in $\PP^n$. In particular, an explicit formula for $\degΔ_{n,s}$ is determined.
2004-10-28 v4
Around the Razumov-Stroganov conjecture: proof of a multi-parameter sum rule
Published • View Publication • BIB
We prove that the sum of entries of the suitably normalized groundstate vector of the O(1) loop model with periodic boundary conditions on a periodic strip of size 2n is equal to the total number of n x n alternating sign matrices. This is done by identifying the state sum of a multi-parameter inhomogeneous version of the O(1) model with the partition function of the inhomogeneous six-vertex model on a n x n square grid with domain wall boundary conditions.
2004-10-27
Deformed Bosons: Combinatorics of Normal Ordering
Published • View Publication • BIB
We solve the normal ordering problem for (A* A)^n where A* (resp. A) are one mode deformed bosonic creation (resp. annihilation) operators satisfying [A,A*]=[N+1]-[N]. The solution generalizes results known for canonical and q-bosons. It involves combinatorial polynomials in the number operator N for which the generating functions and explicit expressions are found. Simple deformations provide examples of the method.
2004-10-26 v2
Further developements in finite fibonomial calculus
Primary definitions, notation and general observations of finite fibonomial operator calculus (ffoc) are presented. Kwasniewski's combinatorial interpretation of fibonomial coefficients by the use of fibonacci cobweb poset is given. Some elements of incidence algebra of fibonacci cobweb poset are defined.
Non-interactive correlation distillation, inhomogeneous Markov chains, and the reverse Bonami-Beckner inequality
Published • View Publication • BIB
In this paper we study non-interactive correlation distillation (NICD), a generalization of the study of noise sensitivity of boolean functions. We extend the model to NICD on trees. In this model there is a fixed undirected tree with players at some of the nodes. One node is given a uniformly random string and this string is distributed throughout the network, with the edges of the tree acting as independent binary symmetric channels. The goal of the players is to agree on a shared random bit without communicating. Our new contributions include the following: 1. In the case of a k-leaf star graph, we resolve the open question of whether the success probability must go to zero as k goes to infinity. We show that this is indeed the case and provide matching upper and lower bounds on the asymptotically optimal rate (a slowly-decaying polynomial). 2. In the case of the k-vertex path graph, we show that it is always optimal for all players to use the same 1-bit function. 3. In the general case we show that all players should use monotone functions. 4. For certain trees it is better if not all players use the same function. Our techniques include the use of the reverse Bonami-Beckner inequality.
2004-10-25 v2
On various restricted sumsets
Published • View Publication • BIB
For finite subsets A_1,...,A_n of a field, their sumset is given by {a_1+...+a_n: a_1 in A_1,...,a_n in A_n}. In this paper we study various restricted sumsets of A_1,...,A_n with restrictions of the following forms: a_i-a_j not in S_{ij}, or alpha_ia_i not=alpha_ja_j, or a_i+b_i not=a_j+b_j (mod m_{ij}). Furthermore, we gain an insight into relations among recent results on this area obtained in quite different ways.
2004-10-24 v2
The cd-index of fans and lattices
Published • View Publication • BIB
The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.
2004-10-24 v2
Colored Coalescent Theory
Published • View Publication • BIB
We introduce a colored coalescent process which recovers random colored genealogical trees. Here a colored genealogical tree has its vertices colored black or white. Moving backward along the colored genealogical tree, the color of vertices may change only when two vertice coalesce. The rule that governs the change of color involves a parameter $x$. When $x=1/2$, the colored coalescent process can be derived from a variant of the Wright-Fisher model for a haploid population in population genetics. Explicit computations of the expectation and the cumulative distribution function of the coalescent time are carried out. For example, our calculation shows that when $x=1/2$, for a sample of $n$ colored individuals, the expected time for the colored coalescent process to reach a black MRAC or a white MRAC, respectively, is $3-2/n$. On the other hand, the expected time for the colored coalescent process to reach a MRAC, either black or white, is $2-2/n$, which is the same as that for the standard Kingman coalescent process.
2004-10-22 v2
Orthogonal polynomials with a resolvent-type generating function
Published in Trans. Amer. Math. Soc. 360 (2008), 4125-4143 • View Publication • BIB
The subject of this paper are polynomials in multiple non-commuting variables. For polynomials of this type orthogonal with respect to a state, we prove a Favard-type recursion relation. On the other hand, free Sheffer polynomials are a polynomial family in non-commuting variables with a resolvent-type generating function. Among such families, we describe the ones that are orthogonal. Their recursion relations have a more special form; the best way to describe them is in terms of the free cumulant generating function of the state of orthogonality, which turns out to satisfy a type of second-order difference equation. If the difference equation is in fact first order, and the state is tracial, we show that the state is necessarily a rotation of a free product state. We also describe interesting examples of non-tracial infinitely divisible states with orthogonal free Sheffer polynomials.
2004-10-22
Discrete model of Yang-Mills equations in Minkowski space
Published in Cubo A Mathematical Journal, Vol. 6, No. 2 (2004), pp. 35-50 • Search Publication
Using methods of differential geometry, a discrete analog of the Yang-Mills equations in Minkowski space is constructed. The gauge transformation law in a discrete formulation is given and gauge invariance of discrete Yang-Mills equations is studied. Difference self-dual and anti-self-dual equations with respect to the Lorentz metric are presented.
2004-10-22
Tensor algebras and displacement structure. IV. Invariant kernels
Published • View Publication • BIB
In this paper we investigate the class of invariant positive definite kernels on the free semigroup on N generators. We provide a combinatorial description of the positivity of the kernel in terms of Dyck paths and then we find a displacement equation that encodes the invariance property of the kernel.
2004-10-21
Tropical Linear Spaces
Published • View Publication • BIB
We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated dualization and transverse intersection to be constructible. Our main result that all constructible tropical linear spaces have the same f-vector and are ``series-parallel''. We conjecture that this f-vector is maximal for all tropical linear spaces with equality precisely for the series-parallel tropical linear spaces. We present many partial results towards this conjecture. In addition we relate tropical linear spaces to linear spaces defined over power series fields and give many examples and counter-examples illustrating aspects of this relationship. We describe a family of particularly nice series-parallel linear spaces, which we term tree spaces, that realize the conjectured maximal f-vector and are constructed in a manner similar to the cyclic polytopes.