Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On uniquely k-determined permutations
There are several approaches to study occurrences of consecutive patterns in permutations such as the inclusion-exclusion method, the tree representations of permutations, the spectral approach and others. We propose yet another approach to study occurrences of consecutive patterns in permutations. The approach is based on considering the graph of patterns overlaps, which is a certain subgraph of the de Bruijn graph.
While applying our approach, the notion of a uniquely $k$-determined permutation appears. We give two criteria for a permutation to be uniquely $k$-determined: one in terms of the distance between two consecutive elements in a permutation, and the other one in terms of directed hamiltonian paths in the certain graphs called path-schemes. Moreover, we describe a finite set of prohibitions that gives the set of uniquely $k$-determined permutations. Those prohibitions make applying the transfer matrix method possible for determining the number of uniquely $k$-determined permutations.
A Tight Bound for the Lamplighter Problem
We settle an open problem, raised by Y. Peres and D. Revelle, concerning the $L^2$ mixing time of the random walk on the lamplighter graph. We also provide general bounds relating the entropy decay of a Markov chain to the separation distance of the chain, and show that the lamplighter graphs once again provide examples of tightness of our results.
Sums of squares from elliptic pfaffians
Published in International Journal of Number Theory 4 (2008), 873-902
• View Publication
• BIB
We give a new proof of Milne's formulas for the number of representations of an integer as a sum of 4m^2 and 4m(m+1) squares. The proof is based on explicit evaluation of pfaffians with elliptic function entries, and relates Milne's formulas to Schur Q-polynomials and to correlation functions for continuous dual Hahn polynomials. We also state a new formula for 2m^2 squares.
Parametrizing Complex Hadamard Matrices
The purpose of this paper is to introduce new parametric families of complex Hadamard matrices in two different ways. First, we prove that every real Hadamard matrix of order N>=4 admits an affine orbit. This settles a recent open problem of Tadej and Zyczkowski, who asked whether a real Hadamard matrix can be isolated among complex ones. In particular, we apply our construction to the only (up to equivalence) real Hadamard matrix of order 12 and show that the arising affine family is different from all previously known examples. Second, we recall a well-known construction related to real conference matrices, and show how to introduce an affine parameter in the arising complex Hadamard matrices. This leads to new parametric families of orders 10 and 14. An interesting feature of both of our constructions is that the arising families cannot be obtained via Dita's general method. Our results extend the recent catalogue of complex Hadamard matrices, and may lead to direct applications in quantum-information theory.
A quantum type deformation of the cohomology ring of flag manifolds
Let q_1, ..., q_n be some variables and set K:=Z[q_1, ..., q_n]/(q_1q_2...q_n). We show that there exists a K-bilinear product \star on H^*(F_n;Z)\otimes K which is uniquely determined by some quantum cohomology like properties (most importantly, a degree two relation involving the generators and an analogue of the flatness of the Dubrovin connection). Then we prove that \star satisfies the Frobenius property with respect to the Poincaré pairing of H^*(F_n;Z); this leads immediately to the orthogonality of the corresponding Schubert type polynomials. We also note that if we pick k\in {1,...,n} and we formally replace q_k by 0, the ring (H^*(F_n;Z)\otimes K,\star) becomes isomorphic to the usual small quantum cohomology ring of F_n, by an isomorphism which is described precisely.
The Euler characteristic of a category
Published in Documenta Mathematica 13 (2008), 21-49
• View Publication
• BIB
The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Mobius-Rota inversion from posets to categories.
Boxicity and Maximum degree
Published
• View Publication
• BIB
An axis-parallel $d$--dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_d$ where $R_i$ (for $1 \le i \le d$) is a closed interval of the form $[a_i, b_i]$ on the real line. For a graph $G$, its \emph{boxicity} $\boxi(G)$ is the minimum dimension $d$, such that $G$ is representable as the intersection graph of (axis--parallel) boxes in $d$--dimensional space. The concept of boxicity finds applications in various areas such as ecology, operation research etc. We show that for any graph $G$ with maximum degree $Δ$, $\boxi(G) \le 2 Δ^2 + 2$. That the bound does not depend on the number of vertices is a bit surprising considering the fact that there are highly connected bounded degree graphs such as expander graphs. Our proof is very short and constructive. We conjecture that $\boxi(G)$ is $O(Δ)$.
Bounds on the number of inference functions of a graphical model
Directed and undirected graphical models, also called Bayesian networks and Markov random fields, respectively, are important statistical tools in a wide variety of fields, ranging from computational biology to probabilistic artificial intelligence. We give an upper bound on the number of inference functions of any graphical model. This bound is polynomial on the size of the model, for a fixed number of parameters, thus improving the exponential upper bound given by Pachter and Sturmfels. We also show that our bound is tight up to a constant factor, by constructing a family of hidden Markov models whose number of inference functions agrees asymptotically with the upper bound. Finally, we apply this bound to a model for sequence alignment that is used in computational biology.
Restricted Dumont permutations, Dyck paths, and noncrossing partitions
Published in Discrete Mathematics 306 (2006), 2851 to 2869
• View Publication
• BIB
We complete the enumeration of Dumont permutations of the second kind avoiding a pattern of length 4 which is itself a Dumont permutation of the second kind. We also consider some combinatorial statistics on Dumont permutations avoiding certain patterns of length 3 and 4 and give a natural bijection between 3142-avoiding Dumont permutations of the second kind and noncrossing partitions that uses cycle decomposition, as well as bijections between 132-, 231- and 321-avoiding Dumont permutations and Dyck paths. Finally, we enumerate Dumont permutations of the first kind simultaneously avoiding certain pairs of 4-letter patterns and another pattern of arbitrary length.
A bijection between 2-triangulations and pairs of non-crossing Dyck paths
Published
• View Publication
• BIB
A k-triangulation of a convex polygon is a maximal set of diagonals so that no k+1 of them mutually cross in their interiors. We present a bijection between 2-triangulations of a convex n-gon and pairs of non-crossing Dyck paths of length 2(n-4). This solves the problem of finding a bijective proof of a result of Jonsson for the case k=2. We obtain the bijection by constructing isomorphic generating trees for the sets of 2-triangulations and pairs of non-crossing Dyck paths.
Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials
Published in Discrete Mathematics 305 (2005), 170--189
• View Publication
• BIB
We say that a permutation $π$ is a Motzkin permutation if it avoids 132 and there do not exist $a<b$ such that $π_a<π_b<π_{b+1}$. We study the distribution of several statistics in Motzkin permutations, including the length of the longest increasing and decreasing subsequences and the number of rises and descents. We also enumerate Motzkin permutations with additional restrictions, and study the distribution of occurrences of fairly general patterns in this class of permutations.
Generic Hecke Algebras for Monomial Groups
Published
• View Publication
• BIB
In this paper we define a two-variable, generic Hecke algebra, H, for each complex reflection group G(b,1,n). The algebra H specializes to the group algebra of G(b,1,n) and also to an endomorphism algebra of a representation of GL(n,q) induced from a solvable subgroup. We construct Kazhdan-Lusztig "R-polynomials" for H and show that they may be used to define a partial order on G(b,1,n). Using a generalization of Deodhar's notion of distinguished subexpressions we give a closed formula for the R-polynomials. After passing to a one-variable quotient of the ring of scalars, we construct Kazhdan-Lusztig polynomials for H that reduce to the usual Kazhdan-Lusztig polynomials for the symmetric group when b=1.
Actions on permutations and unimodality of descent polynomials
Published in European J. Combin. 29 (2008), no. 2, 514-531
• View Publication
• BIB
We study a group action on permutations due to Foata and Strehl and use it to prove that the descent generating polynomial of certain sets of permutations has a nonnegative expansion in the basis $\{t^i(1+t)^{n-1-2i}\}_{i=0}^m$, $m=\lfloor (n-1)/2 \rfloor$. This property implies symmetry and unimodality. We prove that the action is invariant under stack-sorting which strengthens recent unimodality results of Bóna. We prove that the generalized permutation patterns $(13-2)$ and $(2-31)$ are invariant under the action and use this to prove unimodality properties for a $q$-analog of the Eulerian numbers recently studied by Corteel, Postnikov, Steingrímsson and Williams.
We also extend the action to linear extensions of sign-graded posets to give a new proof of the unimodality of the $(P,ω)$-Eulerian polynomials of sign-graded posets and a combinatorial interpretations (in terms of Stembridge's peak polynomials) of the corresponding coefficients when expanded in the above basis.
Finally, we prove that the statistic defined as the number of vertices of even height in the unordered decreasing tree of a permutation has the same distribution as the number of descents on any set of permutations invariant under the action. When restricted to the set of stack-sortable permutations we recover a result of Kreweras.
Monomial ideals arising from flag complexes whose generic initial ideals do not depend on term orders
We will study monomial ideals $I$ in the exterior algebra as well as in the polynomial ring whose generic initial ideal is constant for all term orders up to permutations of variables. First, in the exterior algebra, we determine all graphs and all flag complexes whose exterior face ideal satisfies the above condition. Second, in the polynomial ring, it will be shown that the generic initial ideal $\gin_σ(I(G))$ of the edge ideal $I(G)$ of a graph $G$ is constant for all term orders $σ$ up to permutations of variables if and only if $G$ is a complete bipartite graph.
Central limit theorems for Gaussian polytopes
Choose $n$ random, independent points in $\R^d$ according to the standard normal distribution. Their convex hull $K_n$ is the {\sl Gaussian random polytope}. We prove that the volume and the number of faces of $K_n$ satisfy the central limit theorem, settling a well known conjecture in the field.
A Positive Semidefinite Approximation of the Symmetric Traveling Salesman Polytope
Published
• View Publication
• BIB
For a convex body B in a vector space V, we construct its approximation P_k, k=1, 2, . . . using an intersection of a cone of positive semidefinite quadratic forms with an affine subspace. We show that P_k is contained in B for each k. When B is the Symmetric Traveling Salesman Polytope on n cities T_n, we show that the scaling of P_k by n/k+ O(1/n) contains T_n for k no more than n/2. Membership for P_k is computable in time polynomial in n (of degree linear in k).
We discuss facets of T_n that lie on the boundary of P_k. We introduce a new measure on each facet defining inequality for T_n in terms of the eigenvalues of a quadratic form. Using these eigenvalues of facets, we show that the scaling of P_1 by n^(1/2) has all of the facets of T_n defined by the subtour elimination constraints either in its interior or lying on its boundary.
Subset sums in $\BZ_p$
Let $\BZ_p$ be the finite field of prime order $p$ and $A$ be a subset of $\BZ_p$. We prove several sharp results about the following two basic questions:
(1) When can one represent zero as a sum of distinct elements of $A$ ?
(2) When can one represent every element of $\BZ_p$ as a sum of distinct elements of $A$ ?
Functional centrality in graphs
Published in Linear and Multilinear Algebra 55 (3) (2007) 293-302.
• View Publication
• BIB
In this paper we introduce the functional centrality as a generalization of the subgraph centrality. We propose a general method for characterizing nodes in the graph according to the number of closed walks starting and ending at the node. Closed walks are appropriately weighted according to the topological features that we need to measure.
Structure of large incomplete sets in abelian groups
Let $G$ be a finite abelian group and $A$ be a subset of $G$. We say that $A$ is complete if every element of $G$ can be represented as a sum of different elements of $A$. In this paper, we study the following question: {\it What is the structure of a large incomplete set ?} The typical answer is that such a set is essentially contained in a maximal subgroup. As a by-product, we obtain a new proof for several earlier results.
Supercharacter formulas for pattern groups
Published
• View Publication
• BIB
C. Andre and N. Yan introduced the idea of a supercharacter theory to give a tractable substitute for character theory in wild groups such as the unipotent uppertriangular group $U_n(F_q)$. In this theory superclasses are certain unions of conjugacy classes, and supercharacters are a set of characters which are constant on superclasses. This paper gives a character formula for a supercharacter evaluated at a superclass for pattern groups and more generally for algebra groups.