Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Vector partition function and generalized Dahmen-Micchelli spaces
Published
• View Publication
• BIB
This is the first of two papers on partition functions and the index theory of transversally elliptic operators. In this paper we only discuss algebraic and combinatorial issues related to partition functions. The applications to index theory will appear in a subsequent paper.
Applications of Klee's Dehn-Sommerville relations
Published
• View Publication
• BIB
We use Klee's Dehn-Sommerville relations and other results on face numbers of homology manifolds without boundary to (i) prove Kalai's conjecture providing lower bounds on the f-vectors of an even-dimensional manifold with all but the middle Betti number vanishing, (ii) verify Kühnel's conjecture that gives an upper bound on the middle Betti number of a 2k-dimensional manifold in terms of k and the number of vertices, and (iii) partially prove Kühnel's conjecture providing upper bounds on other Betti numbers of odd- and even-dimensional manifolds. For manifolds with boundary, we derive an extension of Klee's Dehn-Sommerville relations and strengthen Kalai's result on the number of their edges.
Adjoint functors and tree duality
Published in Discrete Math. Theor. Comput. Sci., 11(2), pp. 97-110, 2009
• View Publication
• BIB
A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H is said to have tree duality if there exists a complete set of obstructions T consisting of orientations of trees. We show that if H has tree duality, then its arc graph delta H also has tree duality, and we derive a family of tree obstructions for delta H from the obstructions for H.
Furthermore we generalise our result to right adjoint functors on categories of relational structures. We show that these functors always preserve tree duality, as well as polynomial CSPs and the existence of near-unanimity functions.
Cops and robbers in random graphs
We consider the pursuit and evasion game on finite, connected, undirected graphs known as cops and robbers. Meyniel conjectured that for every graph on n vertices a rootish number of cops can win the game. We prove that this holds up to a log(n) factor for random graphs G(n,p) if p is not very small, and this is close to be tight unless the graph is very dense. We analyze the area-defending strategy (used by Aigner in case of planar graphs) and show examples where it can not be too efficient.
Intersections of base rings associated to transversal polymatroids
The discrete polymatroids and their base rings are studied recently in many papers (see \cite{HH}, \cite{HHV}, \cite{V1}, \cite{V2}). It is important to give conditions when the base ring associated to a transversal polymatroid is Gorenstein (see \cite{HH}). In \cite{SA} we introduced a class of such base rings. In this paper we note that an intersection of such base rings (introduced in \cite{SA}) is Gorenstein and give necessary and sufficient conditions for the intersection of two base rings from \cite{SA} to be still a base ring of a transversal polymatroid. Also, we compute the $a$-invariant of those base rings. The results presented were discovered by extensive computer algebra experiments performed with {\it{Normaliz}} \cite{BK}.
Disjointness of representations arising in harmonic analysis on the infinite-dimensional unitary group
Published in Funct. Anal. Appl. , 44 (2010), no. 2, 92-105
• View Publication
• BIB
We prove pairwise disjointness of representations T_{z,w} of the infinite-dimensional unitary group. These representations provide a natural generalization of the regular representation for the case of "big" group U(\infty). They were introduced and studied by G.Olshanski and A.Borodin.
Disjointness of the representations can be reduced to disjointness of certain probability measures on the space of paths in the Gelfand-Tsetlin graph. We prove the latter disjointness using probabilistic and combinatorial methods.
Implicit higher derivatives, and a formula of Comtet and Fiolet
Let F(x,y) be a function of two variables, and suppose y = f(x) satisfies F(x,y)=0 in some range. Then dy/dx = -Fx/Fy, where Fx and Fy denote the partial derivatives of F with respect to x and y. It is natural to seek a general expression for the higher derivatives d^ny/dx^n, in terms of partial derivatives of F, and such an expression was given in 1974 by L. Comtet and M. Fiolet. Their formula, however, contains some errors. In this note, we give a corrected expression. We give a derivation using Lagrange inversion and also an elementary proof by induction. We further correct a minor error in Comtet and Fiolet's expression for the number of terms in their formula.
A Quasi Curtis-Tits-Phan theorem for the symplectic group
Published
• View Publication
• BIB
We obtain the symplectic group $\SP(V)$ as the universal completion of an amalgam of low rank subgroups akin to Levi components. We let $\SP(V)$ act flag-transitively on the geometry of maximal rank subspaces of $V$. We show that this geometry and its rank $\ge 3$ residues are simply connected with few exceptions. The main exceptional residue is described in some detail. The amalgamation result is then obtained by applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups.
An improved estimate on sums of product sets
In a recent paper \cite{Gl} A. Glibichuk proved that if $A,B$ are subsets of an arbitrary finite filed $\F_q$, such that $|A||B|>q$, then $16AB = \F_q$. We improve this to $10AB = \F_q.$
Hook lengths and 3-cores
Published
• View Publication
• BIB
Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions, for the coefficients of certain power series. In the course of this investigation, he conjectured that $A000731(n)=0$ if and only if $A033687(n)=0$. The numbers $A000731(n)$ are given in terms of hook lengths of partitions, while $A033687(n)$ equals the number of 3-core partitions of $n$. Here we prove this conjecture.
Discovering hook length formulas by expansion technique
Published
• View Publication
• BIB
We introduce the hook length expansion technique and explain how to discover old and new hook length formulas for partitions and plane trees. The new hook length formulas for trees obtained by our method can be proved rather easily, whereas those for partitions are much more difficult and some of them still remain open conjectures. We also develop a Maple package HookExp for computing the hook length expansion. The paper can be seen as a collection of hook length formulas for partitons and plane trees. All examples are illustrated by HookExp and, for many easy cases, expained by well-known combinatorial arguments.
Schröder Paths and Pattern Avoiding Partitions
In this paper, we show that both 12312-avoiding partitions and 12321-avoiding partitions of the set $[n+1]$ are in one-to-one correspondence with Schröder paths of semilength $n$ without peaks at even level. As a consequence, the refined enumeration of 12312-avoiding (resp. 12321-avoiding) partitions according to the number of blocks can be reduced to the enumeration of certain Schröder paths according to the number of peaks. Furthermore, we get the enumeration of irreducible 12312-avoiding (resp. 12321-avoiding) partitions, which are closely related to skew Dyck paths.
Combinatorial cube packings in cube and torus
We consider sequential random packing of cubes $z+[0,1]^n$ with $z\in \frac{1}{N}\ZZ^n$ into the cube $[0,2]^n$ and the torus $\QuotS{\RR^n}{2\ZZ^n}$ as $N\to\infty$. In the cube case $[0,2]^n$ as $N\to\infty$ the random cube packings thus obtained are reduced to a single cube with probability $1-O(\frac{1}{N})$. In the torus case the situation is different: for $n\leq 2$, sequential random cube packing yields cube tilings, but for $n\geq 3$ with strictly positive probability, one obtains non-extensible cube packings.
So, we introduce the notion of combinatorial cube packing, which instead of depending on $N$ depend on some parameters. We use use them to derive an expansion of the packing density in powers of $\frac{1}{N}$. The explicit computation is done in the cube case. In the torus case, the situation is more complicate and we restrict ourselves to the case $N\to\infty$ of strictly positive probability. We prove the following results for torus combinatorial cube packings: We give a general Cartesian product construction. We prove that the number of parameters is at least $\frac{n(n+1)}{2}$ and we conjecture it to be at most $2^n-1$. We prove that cube packings with at least $2^n-3$ cubes are extensible. We find the minimal number of cubes in non-extensible cube packings for $n$ odd and $n\leq 6$.
On Two Related Questions of Wilf Concerning Standard Young Tableaux
We consider two questions of Wilf related to Standard Young Tableaux. We provide a partial answer to one question, and that will lead us to a more general answer to the other question. Our answers are purely combinatorial.
Mass formula for self-orthogonal codes over Z_{p^2}
Published in Journal of combinatorics, information & system sciences 34 (2009), 51--66
• Search Publication
In this note, we establish a mass formula for self-orthogonal codes over Z_{p^2}, where p is a prime. As a consequence, an alternative proof of the known mass formulas for self-dual codes over Z_{p^2} is obtained. We also establish a mass formula for even quaternary codes, which includes a mass formula for Type II quaternary codes as a special case.
Totally free arrangements of hyperplanes
Published in Proc. AMS 137 (2009), 1405-1410
• View Publication
• BIB
A central arrangement $\A$ of hyperplanes in an $\ell$-dimensional vector space $V$ is said to be {\it totally free} if a multiarrangement $(\A, m)$ is free for any multiplicity $ m : \A\to \Z_{> 0}$. It has been known that $\A$ is totally free whenever $\ell \le 2$. In this article, we will prove that there does not exist any totally free arrangement other than the obvious ones, that is, a product of one-dimensional arrangements and two-dimensional ones.
The three-point function of planar quadrangulations
Published in J. Stat. Mech. (2008) P07020
• View Publication
• BIB
We compute the generating function of random planar quadrangulations with three marked vertices at prescribed pairwise distances. In the scaling limit of large quadrangulations, this discrete three-point function converges to a simple universal scaling function, which is the continuous three-point function of pure 2D quantum gravity. We give explicit expressions for this universal three-point function both in the grand-canonical and canonical ensembles. Various limiting regimes are studied when some of the distances become large or small. By considering the case where the marked vertices are aligned, we also obtain the probability law for the number of geodesic points, namely vertices that lie on a geodesic path between two given vertices, and at prescribed distances from these vertices.
Eulerian quasisymmetric functions and poset topology
We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which have the property of specializing to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts such as in MacMahon's study of multiset derangements, in work of Procesi and Stanley on toric varieties of Coxeter complexes and in Stanley's work on symmetric chromatic polynomials. Here we present yet another occurence in connection with the homology of a poset introduced by Björner and Welker.
Alternating, pattern-avoiding permutations
Published in Electronic J. Combinatorics, 16:N7, 2009
• View Publication
• BIB
We study the problem of counting alternating permutations avoiding collections of permutation patterns including 132. We construct a bijection between the set S_n(132) of 132-avoiding permutations and the set A_{2n + 1}(132) of alternating, 132-avoiding permutations. For every set p_1, ..., p_k of patterns and certain related patterns q_1, ..., q_k, our bijection restricts to a bijection between S_n(132, p_1, ..., p_k), the set of permutations avoiding 132 and the p_i, and A_{2n + 1}(132, q_1, ..., q_k), the set of alternating permutations avoiding 132 and the q_i. This reduces the enumeration of the latter set to that of the former.
On filling families of finite subsets of the Cantor set
Published in Mathematical Proceedings of the Cambridge Phil. Society 145 (2008), 165-175
• View Publication
• BIB
Let $\ee>0$ and $\fff$ be a family of finite subsets of the Cantor set $\ccc$. Following D. H. Fremlin, we say that $\fff$ is $\ee$-filling over $\ccc$ if $\fff$ is hereditary and for every $F\subseteq\ccc$ finite there exists $G\subseteq F$ such that $G\in\fff$ and $|G|\geq\ee |F|$. We show that if $\fff$ is $\ee$-filling over $\ccc$ and $C$-measurable in $[\ccc]^{<ω}$, then for every $P\subseteq\ccc$ perfect there exists $Q\subseteq P$ perfect with $[Q]^{<ω}\subseteq\fff$. A similar result for weaker versions of density is also obtained.