Showing 20 papers (Total: 82901 papers, 47900 authors in database)
The orbifold transform and its applications
Published
• View Publication
• BIB
We discuss the notion of the orbifold transform, and illustrate it on simple examples. The basic properties of the transform are presented, including transitivity and the exponential formula for symmetric products. The connection with the theory of permutation orbifolds is addressed, and the general results illustrated on the example of torus partition functions.
Uniqueness of polynomial canonical representations
Published
• View Publication
• BIB
Let P(z) and Q(y) be polynomials of the same degree k>=1 in the complex variables z and y, respectively. In this extended abstract we study the non-linear functional equation P(z)=Q(y(z)), where y(z) is restricted to be analytic in a neighborhood of z=0. We provide sufficient conditions to ensure that all the roots of Q(y) are contained within the range of y(z) as well as to have y(z)=z as the unique analytic solution of the non-linear equation. Our results are motivated from uniqueness considerations of polynomial canonical representations of the phase or amplitude terms of oscillatory integrals encountered in the asymptotic analysis of the coefficients of mixed powers and multivariable generating functions via saddle-point methods. Uniqueness shall prove important for developing algorithms to determine the Taylor coefficients of the terms appearing in these representations. The uniqueness of Levinson's polynomial canonical representations of analytic functions in several variables follows as a corollary of our one-complex variables results.
Misere quotients for impartial games: Supplementary material
We provide supplementary appendices to the paper Misere quotients for impartial games. These include detailed solutions to many of the octal games discussed in the paper, and descriptions of the algorithms used to compute most of our solutions.
The asymptotic volume of the Birkhoff polytope
Published
• View Publication
• BIB
Let m,n be positive integers. Define T(m,n) to be the transportation polytope consisting of the m x n non-negative real matrices whose rows each sum to 1 and whose columns each sum to m/n. The special case B(n)=T(n,n) is the much-studied Birkhoff-von Neumann polytope of doubly-stochastic matrices. Using a recent asymptotic enumeration of non-negative integer matrices (Canfield and McKay, 2007), we determine the asymptotic volume of T(m,n) as n goes to infinity, with m=m(n) such that m/n neither decreases nor increases too quickly. In particular, we give an asymptotic formula for the volume of B(n).
A tight bound on the collection of edges in MSTs of induced subgraphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a complete $n$-vertex graph with distinct positive edge weights. We prove that for $k\in\{1,2,...,n-1\}$, the set consisting of the edges of all minimum spanning trees (MSTs) over induced subgraphs of $G$ with $n-k+1$ vertices has at most $nk-\binom{k+1}{2}$ elements. This proves a conjecture of Goemans and Vondrak \cite{GV2005}. We also show that the result is a generalization of Mader's Theorem, which bounds the number of edges in any edge-minimal $k$-connected graph.
Cyclotomic factors of the descent set polynomial
Published in Journal of Combinatorial Theory Series A 116 (2009), no. 2, 247--264
• View Publication
• BIB
We introduce the notion of the descent set polynomial as an alternative way of encoding the sizes of descent classes of permutations. Descent set polynomials exhibit interesting factorization patterns. We explore the question of when particular cyclotomic factors divide these polynomials. As an instance we deduce that the proportion of odd entries in the descent set statistics in the symmetric group S_n only depends on the number on 1's in the binary expansion of n. We observe similar properties for the signed descent set statistics.
Discontinuity and Involutions on Countable Sets
Published in Annales Mathematics Silesianae 17 (2003), 7 - 8
• Search Publication
For any infinite subset $X$ of the rationals and a subset $F \subseteq X$ which has no isolated points in $X$ we construct a function $f: X \to X$ such that $f(f(x))=x$ for each $x\in X$ and $F $ is the set of discontinuity points of $f$.
Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach
We study the integral and measure theory of the ultraproduct of finite sets. As a main application we construct limit objects for hypergraph sequences. We give a new proof for the Hypergraph Removal Lemma and the Hypergraph Regularity Lemma.
Combinatorial Hopf algebras and K-homology of Grassmanians
Published
• View Publication
• BIB
Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical ``square'' of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of permutations. In addition, we develop a theory of set-valued P-partitions and study three new families of symmetric functions which are weight generating functions of reverse plane partitions, weak set-valued tableaux and valued-set tableaux.
Set theoretic solutions of the Yang-Baxter equation, graphs and computations
Published
• View Publication
• BIB
We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of solutions and use our graphical methods for the computation of solutions of finite order and their automorphisms. Results include a detailed study of solutions of multipermutation level 2.
Necessary Conditions for Geometric Realizability of Simplicial Complexes
Published
• View Publication
• BIB
We associate with any simplicial complex $\K$ and any integer $m$ a system of linear equations and inequalities. If $\K$ has a simplicial embedding in $\R^m$ then the system has an integer solution. This result extends the work of I. Novik (2000).
Transversals in trees
Published in Journal of Graph Theory 73 (2013), 32 -- 43
• View Publication
• BIB
A transversal in a rooted tree is any set of nodes that meets every path from the root to a leaf. We let c(T,k) denote the number of transversals of size k in a rooted tree T. We define a partial order on the set of all rooted trees with n nodes by saying that a tree T succeeds a tree T' if c(T,k) is at least c(T',k) for all k and strictly greater than c(T',k) for at least one k. We prove that, for every choice of positive integers d and n, the set of all rooted trees on n nodes where each node has at most d children has a unique minimal element with respect to this partial order and we describe this tree.
The Cauchy Operator for Basic Hypergeometric Series
Published
• View Publication
• BIB
We introduce the Cauchy augmentation operator for basic hypergeometric series. Heine's ${}_2φ_1$ transformation formula and Sears' ${}_3φ_2$ transformation formula can be easily obtained by the symmetric property of some parameters in operator identities. The Cauchy operator involves two parameters, and it can be considered as a generalization of the operator $T(bD_q)$. Using this operator, we obtain extensions of the Askey-Wilson integral, the Askey-Roy integral, Sears' two-term summation formula, as well as the $q$-analogues of Barnes' lemmas. Finally, we find that the Cauchy operator is also suitable for the study of the bivariate Rogers-Szegö polynomials, or the continuous big $q$-Hermite polynomials.
Decomposition and Enumeration of Triangulated Surfaces
Published in Experiment. Math. 17-2 (2008) 153-166
• View Publication
• BIB
We describe some theoretical results on triangulations of surfaces and we develop a theory on roots, decompositions and genus-surfaces. We apply this theory to describe an algorithm to list all triangulations of closed surfaces with at most a fixed number of vertices. We specialize the theory for the case where the number of vertices is at most 11 and we get theoretical restrictions on genus-surfaces allowing us to get the list of triangulations of closed surfaces with at most 11 vertices.
A new integral basis for the centre of the Hecke algebra of type A
Published
• View Publication
• BIB
We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of monomial symmetric polynomials of Jucys--Murphy elements.
Quantum cohomology of G/P and homology of affine Grassmannian
Published
• View Publication
• BIB
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi.
For the case G = B, we use the Mihalcea's equivariant quantum Chevalley formula for QH^*(G/B), together with relationships between the quantum Bruhat graph of Brenti, Fomin and Postnikov and the Bruhat order on the affine Weyl group. As byproducts we obtain formulae for affine Schubert homology classes in terms of quantum Schubert polynomials. We give some applications in quantum cohomology.
Our main results extend to the torus-equivariant setting.
A simple uniform approach to complexes arising from forests
Published
• View Publication
• BIB
In this paper we present a unifying approach to study the homotopy type of several complexes arising from forests. We show that this method applies uniformly to many complexes that have been extensively studied.
Small clones and the projection property
Published
• View Publication
• BIB
In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a "small" clone of one of the five types. From it we deduce, in part, an earlier result, namely that if $\mathcal C$ is a clone on a universe $A$ with at least two elements, that contains all constant operations, then all binary idempotent operations are projections and some $m$-ary idempotent operation is not a projection some $m\geq 3$ if and only if there is a Boolean group $G$ on $A$ for which $\mathcal C$ is the set of all operations $f(x_1,..., x_n)$ of the form $a+\sum_{i\in I}x_i$ for $a\in A$ and $I\subseteq \{1,..., n\}$.
The Rotor-Router Model on Regular Trees
Published in Journal of Combinatorial Theory, Series A 116(2), 421--433, 2009
• View Publication
• BIB
The rotor-router model is a deterministic analogue of random walk. It can be used to define a deterministic growth model analogous to internal DLA. We show that the set of occupied sites for this model on an infinite regular tree is a perfect ball whenever it can be, provided the initial rotor configuration is acyclic (that is, no two neighboring vertices have rotors pointing to one another). This is proved by defining the rotor-router group of a graph, which we show is isomorphic to the sandpile group. We also address the question of recurrence and transience: We give two rotor configurations on the infinite ternary tree, one for which chips exactly alternate escaping to infinity with returning to the origin, and one for which every chip returns to the origin. Further, we characterize the possible "escape sequences" for the ternary tree, that is, binary words a_1 ... a_n for which there exists a rotor configuration so that the k-th chip escapes to infinity if and only if a_k=1.
A simple solution to Ulam's liar game with one lie
Published
• View Publication
• BIB
Ulam asked for the maximum number of questions required to determine an integer between one and one million by asking questions whose answer is `Yes' or `No' and where one untruthful answer is allowed. Pelc showed that the number of questions required is 25. Here we give a simple proof of this result.