Showing 20 papers (Total: 81756 papers, 47371 authors in database)
An alternative ending to "Pleasant extensions retaining algebraic structure''
The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(μ)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(μ) associated to an arbitrary probability-preserving \bbZ^2-system (X,μ,T_1,T_2). This is a special case of the Bergelson-Leibman conjecture on the norm convergence of polynomial nonconventional ergodic averages.
That proof relied on some new machinery for extending probability-preserving $\bbZ^d$-systems to obtain simplified asymptotic behaviour for various nonconventional averages such as the above. The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups (arXiv:1004.4937). That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in (arXiv:0905.0518)), which in turn afforded a much shortened proof of convergence. However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from these other papers, I have recorded it here in case it has some independent interest.
Pleasant extensions retaining algebraic structure, II
Published
• View Publication
• BIB
In this paper we combine the general tools developed in (arXiv:0905.0518) with several ideas taken from earlier work on one-dimensional nonconventional ergodic averages by Furstenberg and Weiss, Host and Kra and Ziegler to study the averages $\frac{1}{N}\sum_{n=1}^N(f_1\circ T^{n\bf{p}_1})(f_2\circ T^{n\bf{p}_2})(f_3\circ T^{n\bf{p}_3})$ for $f_1,f_2,f_3 \in L^\infty(μ)$ associated to a triple of directions $\bf{p}_1,\bf{p}_2,\bf{p}_3 \in \mathbb{Z}^2$ that lie in general position along with $0 \in \mathbb{Z}^2$. We will show how to construct a `pleasant' extension of an initially-given $\mathbb{Z}^2$-system for which these averages admit characteristic factors with a very concrete description, involving one-dimensional isotropy factors and two-step pro-nilsystems.
We also use this analysis to construct pleasant extensions and then prove norm convergence for the polynomial nonconventional ergodic averages $\frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)$ associated to two commuting transformations $T_1$, $T_2$.
Non-cancellable elements in type affine $C$ Coxeter groups
Published in Int. Electron. J. Algebra, 8:191-218, 2010
• Search Publication
Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.
On the excluded minor structure theorem for graphs of large treewidth
Published
• View Publication
• BIB
At the core of the Robertson-Seymour theory of graph minors lies a powerful structure theorem which captures, for any fixed graph H, the common structural features of all the graphs not containing H as a minor. Robertson and Seymour prove several versions of this theorem, each stressing some particular aspects needed at a corresponding stage of the proof of the main result of their theory, the graph minor theorem.
We prove a new version of this structure theorem: one that seeks to combine maximum applicability with a minimum of technical ado, and which might serve as a canonical version for future applications in the broader field of graph minor theory. Our proof departs from a simpler version proved explicitly by Robertson and Seymour. It then uses a combination of traditional methods and new techniques to derive some of the more subtle features of other versions as well as further useful properties, with substantially simplified proofs.
The descent statistic over 123-avoiding permutations
We exploit Krattenthaler's bijection between 123-avoiding permutations and Dyck paths to determine the Eulerian distribution over the set $S_n(123)$ of 123-avoiding permutations in $S_n$. In particular, we show that the descents of a permutation correspond to valleys and triple falls of the associated Dyck path. We get the Eulerian numbers of $S_n(123)$ by studying the joint distribution of these two statistics on Dyck paths.
A classification of H-primes of quantum partial flag varieties
Published
• View Publication
• BIB
We classify the invariant prime ideals of a quantum partial flag variety under the action of the related maximal torus. As a result we construct a bijection between them and the torus orbits of symplectic leaves of the standard Poisson structure on the corresponding flag variety. It was previously shown by K. Goodearl and the author that the latter are precisely the Lusztig strata of the partial flag variety.
The extremal function for partial bipartite tilings
Published in European J. Combin. 33 (2012), no. 5, 807-815
• View Publication
• BIB
For a fixed bipartite graph H and given number c, 0<c<1, we determine the threshold T_H(c) which guarantees that any n-vertex graph with at edge density at least T_H(c) contains $(1-o(1))c/v(H) n$ vertex-disjoint copies of H. In the proof we use a variant of a technique developed by Komlos~\bcolor{[Combinatorica 20 (2000), 203-218}]
Discrete low-discrepancy sequences
Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm yields an extension of Holroyd and Propp's result to the case of discrete probability distributions on infinite sets.
A lower bound technique for triangulations of simplotopes
Published
• View Publication
• BIB
Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangulation, i.e., one without interior vertices. For products of more than two simplices, we produce bounds for products of segments and triangles. Aside from cubes, these are the first known lower bounds for triangulations of simplotopes with three or more factors, and our techniques suggest extensions to products of other kinds of simplices. We also construct a minimal triangulation of size 10 for the product of a triangle and a square using our lower bound.
On Pseudocyclic Association Schemes
Published in Ars Math. Contemp. 5 (2012), no. 1, 1-25
• View Publication
• BIB
The notion of pseudocyclic association scheme is generalized to the non-commutative case. It is proved that any pseudocyclic scheme the rank of which is much more than the valency is the scheme of a Frobenius group and is uniquely determined up to isomorphism by its intersection number array. An immediate corollary of this result is that any scheme of prime degree, valency $k$ and rank at least $k^4$ is schurian.
Exact results for an asymmetric annihilation process with open boundaries
Published in J. Phys. A: Math. Theor. 43 045003 (2010)
• View Publication
• BIB
We consider a nonequilibrium reaction-diffusion model on a finite one dimensional lattice with bulk and boundary dynamics inspired by Glauber dynamics of the Ising model. We show that the model has a rich algebraic structure that we use to calculate its properties. In particular, we show that the Markov dynamics for a system of a given size can be embedded in the dynamics of systems of higher sizes. This remark leads us to devise a technique we call the transfer matrix Ansatz that allows us to determine the steady state distribution and correlation functions. Furthermore, we show that the disorder variables satisfy very simple properties and we give a conjecture for the characteristic polynomial of Markov matrices. Lastly, we compare the transfer matrix Ansatz used here with the matrix product representation of the steady state of one-dimensional stochastic models.
Statistics on Graphs, Exponential Formula and Combinatorial Physics
Published in Journal of Nonlinear Systems and Applications 1, 1 (2010) 58-62
• Search Publication
The concern of this paper is a famous combinatorial formula known under the name "exponential formula". It occurs quite naturally in many contexts (physics, mathematics, computer science). Roughly speaking, it expresses that the exponential generating function of a whole structure is equal to the exponential of those of connected substructures. Keeping this descriptive statement as a guideline, we develop a general framework to handle many different situations in which the exponential formula can be applied.
Sharp threshold functions for the random intersection graph via coupling method?
Published in The Electronic Journal of Combinatorics, 18(1), P36, 2011
• View Publication
• BIB
We will present a new method, which enables us to find threshold functions for many properties in random intersection graphs. This method will be used to establish sharp threshold functions in random intersection graphs for k-connectivity, perfect matching containment and Hamilton cycle containment.
Random tensor theory: extending random matrix theory to random product states
Published in Commun. Math. Phys., vol. 310, no. 1, pp. 25-74 (2012)
• View Publication
• BIB
We consider a problem in random matrix theory that is inspired by quantum information theory: determining the largest eigenvalue of a sum of p random product states in (C^d)^{otimes k}, where k and p/d^k are fixed while d grows. When k=1, the Marcenko-Pastur law determines (up to small corrections) not only the largest eigenvalue ((1+sqrt{p/d^k})^2) but the smallest eigenvalue (min(0,1-sqrt{p/d^k})^2) and the spectral density in between. We use the method of moments to show that for k>1 the largest eigenvalue is still approximately (1+sqrt{p/d^k})^2 and the spectral density approaches that of the Marcenko-Pastur law, generalizing the random matrix theory result to the random tensor case. Our bound on the largest eigenvalue has implications both for sampling from a particular heavy-tailed distribution and for a recently proposed quantum data-hiding and correlation-locking scheme due to Leung and Winter. Since the matrices we consider have neither independent entries nor unitary invariance, we need to develop new techniques for their analysis. The main contribution of this paper is to give three different methods for analyzing mixtures of random product states: a diagrammatic approach based on Gaussian integrals, a combinatorial method that looks at the cycle decompositions of permutations and a recursive method that uses a variant of the Schwinger-Dyson equations.
Degree Distributions in General Random Intersection Graphs
Published in Electronic Journal of Combinatorics vol. 17,2010 , (corrected)
• View Publication
• BIB
We study a variant of the standard random intersection graph model ($G(n,m,F,H)$) in which random weights are assigned to both vertex types in the bipartite structure. Under certain assumptions on the distributions of these weights, the degree of a vertex is shown to depend on the weight of that particular vertex and on the distribution of the weights of the other vertex type.
Optimal Testing of Reed-Muller Codes
Published
• View Publication
• BIB
We consider the problem of testing if a given function f : F_2^n -> F_2 is close to any degree d polynomial in n variables, also known as the Reed-Muller testing problem. The Gowers norm is based on a natural 2^{d+1}-query test for this property. Alon et al. [AKKLR05] rediscovered this test and showed that it accepts every degree d polynomial with probability 1, while it rejects functions that are Omega(1)-far with probability Omega(1/(d 2^{d})). We give an asymptotically optimal analysis of this test, and show that it rejects functions that are (even only) Omega(2^{-d})-far with Omega(1)-probability (so the rejection probability is a universal constant independent of d and n). This implies a tight relationship between the (d+1)st Gowers norm of a function and its maximal correlation with degree d polynomials, when the correlation is close to 1. Our proof works by induction on n and yields a new analysis of even the classical Blum-Luby-Rubinfeld [BLR93] linearity test, for the setting of functions mapping F_2^n to F_2. The optimality follows from a tighter analysis of counterexamples to the "inverse conjecture for the Gowers norm" constructed by [GT09,LMS08]. Our result has several implications. First, it shows that the Gowers norm test is tolerant, in that it also accepts close codewords. Second, it improves the parameters of an XOR lemma for polynomials given by Viola and Wigderson [VW07]. Third, it implies a "query hierarchy" result for property testing of affine-invariant properties. That is, for every function q(n), it gives an affine-invariant property that is testable with O(q(n))-queries, but not with o(q(n))-queries, complementing an analogous result of [GKNR09] for graph properties.
Matching polytopes and Specht modules
Published
• View Publication
• BIB
We prove that the dimension of the Specht module of a forest $G$ is the same as the normalized volume of the matching polytope of $G$. We also associate to $G$ a symmetric function $s_G$ (analogous to the Schur symmetric function $s_λ$ for a partition $λ$) and investigate its combinatorial and representation-theoretic properties in relation to the Specht module and Schur module of $G$. We then use this to define notions of standard and semistandard tableaux for forests.
Block-Transitive Designs in Affine Spaces
Published
• View Publication
• BIB
This paper deals with block-transitive $t$-$(v,k,λ)$ designs in affine spaces for large $t$, with a focus on the important index $λ=1$ case. We prove that there are no non-trivial 5-$(v,k,1)$ designs admitting a block-transitive group of automorphisms that is of affine type. Moreover, we show that the corresponding non-existence result holds for 4-$(v,k,1)$ designs, except possibly when the group is one-dimensional affine. Our approach involves a consideration of the finite 2-homogeneous affine permutation groups.
The centers of gravity of the associahedron and of the permutahedron are the same
Published in Electronic Journal of Combinatorics 17 (1) (2010), R72
• View Publication
• BIB
In this article, we show that Loday's realization of the associahedron has the the same center of gravity than the permutahedron. This proves an observation made by F. Chapoton. We also prove that this result holds for the associahedron and the cyclohedron as realized by the first author and C. Lange.
Tridendriform structure on combinatorial Hopf algebras
Published
• View Publication
• BIB
We extend the definition of tridendriform bialgebra by introducing a weight q. The subspace of primitive elements of a q-tridendriform bialgebra is equipped with an associative product and a natural structure of brace algebra, related by a distributive law. This data is called q-Gerstenhaber-Voronov algebras. We prove the equivalence between the categories of connected q-tridendriform bialgebras and of q-Gerstenhaber-Voronov algebras. The space spanned by surjective maps, as well as the space spanned by parking functions, have natural structures of q-tridendriform bialgebras, denoted ST(q) and PQSym(q)*, in such a way that ST(q) is a sub-tridendriform bialgebra of PQSym(q)*. Finally we show that the bialgebra of M-permutations defined by T. Lam and P. Pylyavskyy may be endowed with a natural structure of q-tridendriform algebra which is a quotient of ST(q).