Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Crossing and alignments of permutations
Published
• View Publication
• BIB
We introduce the notion of crossings and nestings of a permutation. We compute the generating function of permutations with a fixed number of weak exceedances, crossings and nestings. We link alignments and permutation patterns to these statistics. We generalize to the case of decorated permutations. Finally we show how this is related to the stationary distribution of the Partially ASymmetric Exclusion Process (PASEP) model.
A Little bijection for affine Stanley symmetric functions
David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Schützenberger tree. We generalize this algorithm to affine Stanley symmetric functions.
Product set estimates for non-commutative groups
Published in Combinatorica 28 (2008), 547-594
• View Publication
• BIB
We develop the Plünnecke-Ruzsa and Balog-Szemerédi-Gowers theory of sum set estimates in the non-commutative setting, with discrete, continuous, and metric entropy formulations of these estimates. We also develop a Freiman-type inverse theorem for a special class of 2-step nilpotent groups, namely the Heisenberg groups with no 2-torsion in their centre.
Generic initial ideals and squeezed spheres
Published
• View Publication
• BIB
In 1988 Kalai construct a large class of simplicial spheres, called squeezed spheres, and in 1991 presented a conjectured about generic initial ideals of Stanley--Reisner ideals of squeezed spheres. In the present paper this conjecture will be proved. In order to prove Kalai's conjecture, based on the fact that every squeezed $(d-1)$-sphere is the boundary of a certain $d$-ball, called a squeezed $d$-ball, generic initial ideals of Stanley--Reisner ideals of squeezed balls will be determined. In addition, generic initial ideals of exterior face ideals of squeezed balls are determined. On the other hand, we study the squeezing operation, which assigns to each Gorenstein* complex $Γ$ having the weak Lefschetz property a squeezed sphere $\mathrm{Sq}(Γ)$, and show that this operation increases graded Betti numbers.
The distinguishing number of the direct product and wreath product action
Published
• View Publication
• BIB
Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we consider the distinguishing number of two important product actions, the wreath product and the direct product. Given groups G and H acting on sets X and Y respectively, we characterize the distinguishing number of the wreath product of G and H in terms of the number of distinguishing colorings of X with respect to G and the distinguishing number of the action of H on Y. We also prove a recursive formula for the distinguishing number of the action of the Cartesian product of two symmetric groups S_m x S_n on [m] x [n].
Horocyclic products of trees
Published in J. Eur. Math. Soc. (JEMS) 10 (2008), no. 3, 771--816
• View Publication
• BIB
Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation.
In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases.
On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers.
The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.
Determination of the two-color Rado number for $a_1x_1+...+a_mx_m=x_0$
Published in J. Combin. Theory Ser. A 115(2008), 345-353
• View Publication
• BIB
For positive integers $a_1,a_2,...,a_m$, we determine the least positive integer $R(a_1,...,a_m)$ such that for every 2-coloring of the set $[1,n]={1,...,n}$ with $n\ge R(a_1,...,a_m)$ there exists a monochromatic solution to the equation $a_1x_1+...+a_mx_m=x_0$ with $x_0,...,x_m\in[1,n]$. The precise value of $R(a_1,...,a_m)$ is shown to be $av^2+v-a$, where $a=min{a_1,...,a_m}$ and $v=\sum_{i=1}^{m}a_i$. This confirms a conjecture of B. Hopkins and D. Schaal.
Recurrence matrices
We define recurrence matrices and study a few properties (links with automatic sequences, branch groups etc.) of them.
Generating facets for the cut polytope of a graph by triangular elimination
Published
• View Publication
• BIB
The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of the facets of the cut polytope of the complete bipartite graph or, more generally, the complete k-partite graph. Lifting is a central tool to prove certain inequalities are facet inducing for the cut polytope. In this paper we introduce a lifting operation, named triangular elimination, applicable to the cut polytope of a wide range of graphs. Triangular elimination is a specific combination of zero-lifting and Fourier-Motzkin elimination using the triangle inequality. We prove sufficient conditions for the triangular elimination of facet inducing inequalities to be facet inducing. The proof is based on a variation of the lifting lemma adapted to general graphs. The result can be used to derive facet inducing inequalities of the cut polytope of various graphs from those of the complete graph. We also investigate the symmetry of facet inducing inequalities of the cut polytope of the complete bipartite graph derived by triangular elimination.
The Hilbert-uniformization is real-analytic
In \cite{Boed}, C.-F. Bödigheimer constructed a finite cell-complex $\mf{Par}_{g,n,m}$ and a bijective map $\cH: \mf{Dip}_{g,n,m} \to \mf{Par}_{g,n,m}$ (the Hilbert-uniformization) from the moduli space of dipole functions on Riemann surfaces with $n$ directions and $m$ punctures to $\mf{Par}_{g,n,m}$. In \cite{Boed} and \cite{Eb}, it is proven that $\cH$ is a homeomorphism. The first result of this note is that the space $\mf{Dip}_{g,n,m}$ carries a natural structure of a real-analytic manifold. Our second result is that $\cH$ is real-analytic, at least on the preimage of the top-dimensional open cells of $\mf{Par}_{g,n,m}$.
On an identity due to ((Bump and Diaconis) and (Tracy and Widom))
Published in Canadian Math. Bulletin 54 (2011) no. 2, 255-269
• View Publication
• BIB
A classical question for a Toeplitz matrix with given symbol is to compute asymptotics for the determinants of its reductions to finite rank. One can also consider how those asymptotics are affected when shifting an initial set of rows and columns (or, equivalently, asymptotics of their minors). Bump and Diaconis (Toeplitz minors, J. Combin. Theory Ser. A, 97 (2002), pp. 252--271) obtained a formula for such shifts involving Laguerre polynomials and sums over symmetric groups. They also showed how the Heine identity extends for such minors, which makes this question relevant to Random Matrix Theory. Independently, Tracy and Widom (On the limit of some Toeplitz-like determinants, SIAM J. Matrix Anal. Appl., 23 (2002), pp. 1194--1196) used the Wiener-Hopf factorization to express those shifts in terms of products of infinite matrices. We show directly why those two expressions are equal and uncover some structure in both formulas that was unknown to their authors. We introduce a mysterious differential operator on symmetric functions that is very similar to vertex operators. We show that the Bump-Diaconis-Tracy- Widom identity is a differentiated version of the classical Jacobi-Trudi identity.
The maximum distinguishing number of a group
Published
• View Publication
• BIB
Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we show that if G is nilpotent of class c or supersolvable of length c then G always acts with distinguishing number at most c+1. We obtain that all metacyclic groups act with distinguishing number at most 3; these include all groups of squarefree order. We also prove that the distinguishing number of the action of the general linear group over a field K on the vector space K^n is 2 if K has at least n+1 elements.
The distinguishing number of the augmented cube and hypercube powers
Published
• View Publication
• BIB
The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 < p < n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.
Jacobi's Identity and Synchronized Partitions
We obtain a finite form of Jacobi's identity and present a combinatorial proof based on the structure of synchronized partitions.
The symmetry axioms in Laguerre planes
Published
• View Publication
• BIB
We introduce two axioms in Laguerre geometry and prove that they provide a characterization of miquelian planes over fields of the characteristic different from 2. They allow to describe an involutory automorphism that sheds some new light on a Laguerre inversion as well as on a symmetry with respect to a pair of generators.
A spherical initial ideal for Pfaffians
Published
• View Publication
• BIB
We determine a term order on the monomials in the variables $\varx{i}{j}$, $1 \leq i < j \leq n$, such that corresponding initial ideal of the ideal of Pfaffians of degree $r$ of a generic $n$ by $n$ skew-symmetric matrix is the Stanley-Reisner ideal of a join of a simplicial sphere and a simplex. Moreover, we demonstrate that the Pfaffians of the $2r$ by $2r$ skew-symmetric submatrices form a Gröbner basis for the given term order. The same methods and similar term orders as for the Pfaffians also yield squarefree initial ideals for certain determinantal ideals. Yet, in contrast to the case of Pfaffians, the corresponding simplicial complexes are balls that do not decompose into a join as above.
What power of two divides a weighted Catalan number?
Published
• View Publication
• BIB
Given a sequence of integers b = (b_0,b_1,b_2,...) one gives a Dyck path P of length 2n the weight
wt(P) = b_{h_1} b_{h_2} ... b_{h_n},
where h_i is the height of the ith ascent of P. The corresponding weighted Catalan number is
C_n^b = sum_P wt(P),
where the sum is over all Dyck paths of length 2n. So, in particular, the ordinary Catalan numbers C_n correspond to b_i = 1 for all i >= 0. Let xi(n) stand for the base two exponent of n, i.e., the largest power of 2 dividing n. We give a condition on b which implies that
xi(C_n^b) = xi(C_n).
In the special case b_i=(2i+1)^2, this settles a conjecture of Postnikov about the number of plane Morse links. Our proof generalizes the recent combinatorial proof of Deutsch and Sagan of the classical formula for xi(C_n).
Alcove walks, Hecke algebras, spherical functions, crystals and column strict tableaux
Published
• View Publication
• BIB
This paper makes precise the close connection between the affine Hecke algebra, the path model, and the theory of crystals. Section 2 is a basic pictorial exposition of Weyl groups and affine Weyl groups and Section 5 is an exposition of the theory of (a) symmetric functions, (b) crystals and (c) the path model. Sections 3 and 4 give an exposition of the affine Hecke algebra and recent results regarding the combinatorics of spherical functions on p-adic groups (Hall-Littlewood polynomials). The $q$-analogue of the theory of crystals developed in Section 4 specializes to the path model version of the ``classical'' crystal theory. The connection to the affine Hecke algebra and the approach to spherical functions for a $p$-adic group in Nelsen-Ram was made concrete by C. Schwer who told me that ``the periodic Hecke module encodes the positively folded galleries'' of Gaussent-Littelmann. This paper is a further development of this point of view.
The homotopy type of the complement of a coordinate subspace arrangement
The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy equivalent to a wedge of spheres is described. One consequence is an application in commutative algebra: certain local rings are proved to be Golod, that is, all Massey products in their homology vanish.
Bounded-Degree Graphs have Arbitrarily Large Queue-Number
Published in Discrete Mathematics & Theoretical Computer Science 10(1):27-34, 2008
• View Publication
• BIB
It is proved that there exist graphs of bounded degree with arbitrarily large queue-number. In particular, for all $Δ\geq3$ and for all sufficiently large $n$, there is a simple $Δ$-regular $n$-vertex graph with queue-number at least $c\sqrtΔn^{1/2-1/Δ}$ for some absolute constant $c$.