group
10399 papers tagged with this keyword
A tableau formula for eta polynomials
Published in Math. Annalen 358 (2014), 1005-1029
• View Publication
• BIB
We use the Pieri and Giambelli formulas of arXiv:0809.4966 and arXiv:1109.6669 and the calculus of raising operators developed in arXiv:0811.2781 and arXiv:0812.0639 to prove a tableau formula for eta polynomials of arXiv:1109.6669 and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $W_n$ of type $D_n$. We define the skew elements of $W_n$ and exhibit a bijection between the set of reduced words for any skew element $w$ in $W_n$ and a set of certain standard typed tableaux on a skew shape $λ/μ$ associated to $w$.
Triangulations and Severi varieties
Published in Experimental Mathematics 22, 1 (2013) 60-73
• View Publication
• BIB
We consider the problem of constructing triangulations of projective planes over Hurwitz algebras with minimal numbers of vertices. We observe that the numbers of faces of each dimension must be equal to the dimensions of certain representations of the automorphism groups of the corresponding Severi varieties. We construct a complex involving these representations, which should be considered as a geometric version of the (putative) triangulations.
Vapnik-Chervonenkis density in some theories without the independence property, II
Published in Notre Dame J. Formal Logic 54, nos. 3-4 (2013), 311-363
• View Publication
• BIB
We study the Vapnik-Chervonenkis (VC) density of definable families in certain stable first-order theories. In particular we obtain uniform bounds on VC density of definable families in finite U-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
Tamari Lattices and the symmetric Thompson monoid
Published
• View Publication
• BIB
We investigate the connection between Tamari lattices and the Thompson group F, summarized in the fact that F is a group of fractions for a certain monoid F+sym whose Cayley graph includes all Tamari lattices. Under this correspondence, the Tamari lattice operations are the counterparts of the least common multiple and greatest common divisor operations in F+sym. As an application, we show that, for every n, there exists a length l chain in the nth Tamari lattice whose endpoints are at distance at most 12l/n.
Permutation patterns and statistics
Published
• View Publication
• BIB
Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n(Pi') for all n\ge0. In a recent paper, Sagan and Savage proposed studying a q-analogue of this concept defined as follows. Suppose st:S->N is a permutation statistic where N represents the nonnegative integers. Consider the corresponding generating function, F_n^{st}(Pi;q) = sum_{sigma in Av_n(Pi)} q^{st sigma}, and call Pi,Pi' st-Wilf equivalent if F_n^{st}(Pi;q)=F_n^{st}(Pi';q) for all n\ge0. We present the first in-depth study of this concept for the inv and maj statistics. In particular, we determine all inv- and maj-Wilf equivalences for any Pi containd in S_3. This leads us to consider various q-analogues of the Catalan numbers, Fibonacci numbers, triangular numbers, and powers of two. Our proof techniques use lattice paths, integer partitions, and Foata's fundamental bijection. We also answer a question about Mahonian pairs raised in the Sagan-Savage article.
Commutativity pattern of finite non-abelian $p$-groups determine their orders
Published
• View Publication
• BIB
Let $G$ be a non-abelian group and $Z(G)$ be the center of $G$. Associate a graph $Γ_G$ (called non-commuting graph of $G$) with $G$ as follows: take $G\setminus Z(G)$ as the vertices of $Γ_G$ and join two distinct vertices $x$ and $y$, whenever $xy\neq yx$. Here, we prove that "the commutativity pattern of a finite non-abelian $p$-group determine its order among the class of groups"; this means that if $P$ is a finite non-abelian $p$-group such that $Γ_P\cong Γ_H$ for some group $H$, then $|P|=|H|$.
A Mathematical Approach to Balanced Tanner Graph Enumeration
This paper summarizes our latest understanding and results about the application of the Mathematics Of Enumeration to Tanner Graphs that have a regular structure called Balanced Tanner Graphs. Some preliminaries of permutation groups have been presented followed by various enumeration theorems, and finally our approach for enumeration of Balanced Tanner Graphs has been explained, and several open questions have been raised.
From the Tamari lattice to Cambrian lattices and beyond
Published
• View Publication
• BIB
In this chapter, we trace the path from the Tamari lattice, via lattice congruences of the weak order, to the definition of Cambrian lattices in the context of finite Coxeter groups, and onward to the construction of Cambrian fans. We then present sortable elements, the key combinatorial tool for studying Cambrian lattices and fans. The chapter concludes with a brief description of the applications of Cambrian lattices and sortable elements to Coxeter-Catalan combinatorics and to cluster algebras.
On the algebraic representation of selected optimal non-linear binary codes
Published
• View Publication
• BIB
Revisiting an approach by Conway and Sloane we investigate a collection of optimal non-linear binary codes and represent them as (non-linear) codes over Z4. The Fourier transform will be used in order to analyze these codes, which leads to a new algebraic representation involving subgroups of the group of units in a certain ring.
One of our results is a new representation of Best's (10, 40, 4) code as a coset of a subgroup in the group of invertible elements of the group ring Z4[Z5]. This yields a particularly simple algebraic decoding algorithm for this code.
The technique at hand is further applied to analyze Julin's (12, 144, 4) code and the (12, 24, 12) Hadamard code. It can also be used in order to construct a (non-optimal) binary (14, 56, 6) code.
The number of flags in finite vector spaces: Asymptotic normality and Mahonian statistics
Published in Journal of Algebraic Combinatorics 37 (2013), 361-380
• View Publication
• BIB
We study the generalized Galois numbers which count flags of length r in N-dimensional vector spaces over finite fields. We prove that the coefficients of those polynomials are asymptotically Gaussian normally distributed as N becomes large. Furthermore, we interpret the generalized Galois numbers as weighted inversion statistics on the descent classes of the symmetric group on N elements and identify their asymptotic limit as the Mahonian inversion statistic when r approaches infinity. Finally, we apply our statements to derive further statistical aspects of generalized Rogers-Szegoe polynomials, re-interpret the asymptotic behavior of linear q-ary codes and characters of the symmetric group acting on subspaces over finite fields, and discuss implications for affine Demazure modules and joint probability generating functions of descent-inversion statistics.
Small asymmetric sumsets in elementary abelian 2-groups
Published in Discrete Mathematics, Volume 313, Issue 5, March 2013, Pages 689--692
• View Publication
• BIB
Let A and B be subsets of an elementary abelian 2-group G, none of which are contained in a coset of a proper subgroup. Extending onto potentially distinct summands a result of Hennecart and Plagne, we show that if |A+B|<|A|+|B|, then either A+B=G, or the complement of A+B in G is contained in a coset of a subgroup of index at least 8, whence |A+B| is at least 7/8 |G|. We indicate conditions for the containment to be strict, and establish a refinement in the case where the sizes of A and B differ significantly.
On the diameter of permutation groups
Published
• View Publication
• BIB
Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$.
It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomially bounded in $n$, but the best previously known upper bound was exponential in $\sqrt{n \log n}$. We give a quasipolynomial upper bound, namely, \[\text{diam}(G) = \exp(O((\log n)^4 \log\log n)) = \exp((\log \log |G|)^{O(1)})\] for G = Sym(n) or G = \Alt(n), where the implied constants are absolute. This addresses a key open case of Babai's conjecture on diameters of simple groups. By standard results, our bound also implies a quasipolynomial upper bound on the diameter of all transitive permutation groups of degree $n$.
Zonal Polynomials and Quantum Antisymmetric Matrices
Published in Bull. Inst. Math. Acad. Sinica (New Ser.) 7 (2012), 1-31
• Search Publication
We study the quantum symmetric spaces for quantum general linear groups modulo symplectic groups. We first determine the structure of the quotient quantum group and completely determine the quantum invariants. We then derive the characteristic property for quantum Phaffian as well as its role in the quantum invariant sub-ring. The spherical functions, viewed as Macdonald polynomials, are also studied as the quantum analog of zonal spherical polynomials.
Euler-Mahonian Statistics via Polyhedral Geometry
Published in Advances in Mathematics 244 (2013), 925-954
• View Publication
• BIB
A variety of descent and major-index statistics have been defined for symmetric groups, hyperoctahedral groups, and their generalizations. Typically associated to pairs of such statistics is an Euler--Mahonian distribution, a bivariate generating function identity encoding these statistics. We use techniques from polyhedral geometry to establish new multivariate generalizations for many of the known Euler--Mahonian distributions. The original bivariate distributions are then straightforward specializations of these multivariate identities. A consequence of these new techniques are bijective proofs of the equivalence of the bivariate distributions for various pairs of statistics.
Diameter Perfect Lee Codes
Published in IEEE Transactions on Information Theory, Vol 58, No 8, pp. 5490--5499, August 2012
• View Publication
• BIB
Lee codes have been intensively studied for more than 40 years. Interest in these codes has been triggered by the Golomb-Welch conjecture on the existence of the perfect error-correcting Lee codes. In this paper we deal with the existence and enumeration of diameter perfect Lee codes. As main results we determine all $q$ for which there exists a linear diameter-4 perfect Lee code of word length $n$ over $Z_{q},$ and prove that for each $n\geq 3$ there are uncountable many diameter-4 perfect Lee codes of word length $n$ over $Z.$ This is in a strict contrast with perfect error-correcting Lee codes of word length $n$ over $Z\,$\ as there is a unique such code for $n=3,$ and its is conjectured that this is always the case when $2n+1$ is a prime. We produce diameter perfect Lee codes by an algebraic construction that is based on a group homomorphism. This will allow us to design an efficient algorithm for their decoding. We hope that this construction will turn out to be useful far beyond the scope of this paper.
Stein's method, heat kernel, and linear functions on the orthogonal groups
Published
• View Publication
• BIB
Combining Stein's method with heat kernel techniques, we study the function Tr(AO), where A is a fixed n by n real matrix over such that Tr(AA^t)=n, and O is from the Haar measure of the orthogonal group O(n,R). It is shown that the total variation distance of the random variable Tr(AO) to a standard normal random variable is bounded by 2 * squareroot(2) /(n-1), slightly improving the constant in a bound of Meckes, which was obtained by completely different methods.
On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime
Published in Acta Math. Hungar. 132 (3) (2011), 223--243
• View Publication
• BIB
Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of m(A) over F-free sets A in G, where m is the normalized Haar measure on G. Our main result is that, for any such collection F of forms in at least three variables, the sequence d_F(Z_p) converges to d_F(R/Z) as p tends to infinity over primes. This answers an analogue for Z_p of a question that Ruzsa raised about sets of integers.
A removal lemma for linear configurations in subsets of the circle
Published
• View Publication
• BIB
We obtain a removal lemma for systems of linear equations over the circle group, using a similar result for finite fields due to Král, Serra and Vena, and we discuss some applications.
On the Size of Equifacetted Semi-Regular Polytopes
Published
• View Publication
• BIB
Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.
Semiregular Polytopes and Amalgamated C-groups
Published
• View Publication
• BIB
In the classical setting, a convex polytope is said to be semiregular if its facets are regular and its symmetry group is transitive on vertices. This paper studies semiregular abstract polytopes, which have abstract regular facets, still with combinatorial automorphism group transitive on vertices. We analyze the structure of the automorphism group, focusing in particular on polytopes with two kinds of regular facets occurring in an "alternating" fashion. In particular we use group amalgamations to prove that given two compatible n-polytopes P and Q, there exists a universal abstract semiregular (n+1)-polytope which is obtained by "freely" assembling alternate copies of P and Q. We also employ modular reduction techniques to construct finite semiregular polytopes from reflection groups over finite fields.