group
10399 papers tagged with this keyword
Simplicial geometry of unital lattice-ordered abelian groups
Published
• View Publication
• BIB
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder theorem for finitely presented unital $\ell$-groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $\FP$.
The depth of a permutation
Published
• View Publication
• BIB
For the elements of a Coxeter group, we present a statistic called depth, defined in terms of factorizations of the elements into products of reflections. Depth is bounded above by length and below by the average of length and reflection length. In this article, we focus on the case of the symmetric group, where we show that depth is equal to sum_i max{w(i)-i, 0}. We characterize those permutations for which depth equals length: these are the 321-avoiding permutations (and hence are enumerated by the Catalan numbers). We also characterize those permutations for which depth equals reflection length: these are permutations avoiding both 321 and 3412 (also known as boolean permutations, which we can hence also enumerate). In this case, it also happens that length equals reflection length, leading to a new perspective on a result of Edelman.
Metric intersection problems in Cayley graphs and the Stirling recursion
Published
• View Publication
• BIB
In the symmetric group Sym(n) with n at least 5 let H be a conjugacy class of elements of order 2 and let Γbe the Cayley graph whose vertex set is the group G generated by H (so G is Sym(n) or Alt(n)) and whose edge set is determined by H. We are interested in the metric structure of this graph. In particular, for g\in G let B_{r}(g) be the metric ball in Γof radius r and centre g. We show that the intersection numbers Φ(Γ; r, g):=|\,B_{r}(e)\,\cap\,B_{r}(g)\,| are generalized Stirling functions in n and r. The results are motivated by the study of error graphs and related reconstruction problems.
Quasi-Random profinite groups
Published
• View Publication
• BIB
We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our method also delivers a lower bound for the minimal degree of a faithful representation for these groups. Using the suitable machinery from functional analysis, we establish exponential lower and upper bounds for the supremal measure of a product-free measurable subset of the profinite groups $\mathrm{SL}_{k}({\mathbb{Z}_p})$ and $\mathrm{Sp}_{2k}(\mathbb{Z}_p)$. We also obtain analogous bounds for a special subgroup of the automorphism group of a regular tree.
Action of the symmetric groups on the homology of the hypertree posets
Published
• View Publication
• BIB
The set of hypertrees on $n$ vertices can be endowed with a poset structure. J. McCammond and J. Meier computed the dimension of the unique non zero homology group of the hypertree poset. We give another proof of their result and use the theory of species to determine the action of the symmetric group on this homology group, which is linked with the anti-cyclic structure of the $\operatorname{Prelie}$ operad. We also compute the action on the Whitney homology of the poset.
-----
L'ensemble des hyperarbres à $n$ sommets peut être muni d'un ordre partiel. J. McCammond et J. Meier ont calculé la dimension de l'unique groupe d'homologie non trivial du poset des hyperarbres. Après avoir donné une autre preuve de ce résultat, nous utilisons la théorie des espèces pour déterminer l'action du groupe symétrique sur ce groupe, que nous relions à la structure anti-cyclique de l'opérade $\operatorname{Prelie}$. Nous calculons aussi l'action du groupe symétrique sur l'homologie de Whitney du poset.
Tensor invariants for certain subgroups of the orthogonal group
Published
• View Publication
• BIB
Let V be an n-dimensional vector space and let On be the orthogonal group. Motivated by a question of B. Szegedy (B. Szegedy, Edge coloring models and reflection positivity, Journal of the American Mathematical Society Volume 20, Number 4, 2007), about the rank of edge connection matrices of partition functions of vertex models, we give a combinatorial parameterization of tensors in V \otimes k invariant under certain subgroups of the orthogonal group. This allows us to give an answer to this question for vertex models with values in an algebraically closed field of characteristic zero.
Alcoved Polytopes II
Published
• View Publication
• BIB
This is the second of two papers where we study polytopes arising from affine Coxeter arrangements. Our results include a formula for their volumes, and also compatible definitions of hypersimplices, descent numbers and major index for all Weyl groups. We give a q-analogue of Weyl's formula for the order of the Weyl group. For A_n, C_n and D_4, we give a Grobner basis which induces the triangulation of alcoved polytopes.
Record-dependent measures on the symmetric groups
Published
• View Publication
• BIB
A probability measure $P_n$ on the symmetric group ${\mathfrak S}_n$ is said to be record-dependent if $P_n(σ)$ depends only on the set of records of a permutation $σ\in{\mathfrak S}_n$. A sequence $P=(P_n)_{n\in{\mathbb N}}$ of consistent record-dependent measures determines a random order on $\mathbb N$. In this paper we describe the extreme elements of the convex set of such $P$. This problem turns out to be related to the study of asymptotic behavior of permutation-valued growth processes, to random extensions of partial orders, and to the measures on the Young-Fibonacci lattice.
A simple model of trees for unicellular maps
Published in Journal of Combinatorial Theory, Series A 120, 8 (2013) Pages 2064-2092
• View Publication
• BIB
We consider unicellular maps, or polygon gluings, of fixed genus. A few years ago the first author gave a recursive bijection transforming unicellular maps into trees, explaining the presence of Catalan numbers in counting formulas for these objects. In this paper, we give another bijection that explicitly describes the "recursive part" of the first bijection. As a result we obtain a very simple description of unicellular maps as pairs made by a plane tree and a permutation-like structure. All the previously known formulas follow as an immediate corollary or easy exercise, thus giving a bijective proof for each of them, in a unified way. For some of these formulas, this is the first bijective proof, e.g. the Harer-Zagier recurrence formula, the Lehman-Walsh formula and the Goupil-Schaeffer formula. We also discuss several applications of our construction: we obtain a new proof of an identity related to covered maps due to Bernardi and the first author, and thanks to previous work of the second author, we give a new expression for Stanley character polynomials, which evaluate irreducible characters of the symmetric group. Finally, we show that our techniques apply partially to unicellular 3-constellations and to related objects that we call quasi-constellations.
Measure Preserving Words are Primitive
Published in J. Amer. Math. Soc. 28 (2015), 63-97
• View Publication
• BIB
We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distributes uniformly on $G$. It is easy to see that primitive words (words which belong to some basis of the free group) are measure preserving w.r.t. all finite groups, and several authors have conjectured that the two properties are, in fact, equivalent. Here we prove this conjecture. The main ingredients of the proof include random coverings of Stallings graphs, algebraic extensions of free groups, and Möbius inversions. Our methods yield the stronger result that a subgroup of $F_k$ is measure preserving if and only if it is a free factor.
As an interesting corollary of this result we resolve a question on the profinite topology of free groups and show that the primitive elements of $F_k$ form a closed set in this topology.
Charting the Real Four-Qubit Pauli Group via Ovoids of a Hyperbolic Quadric of PG(7,2)
Published in J. Phys. A: Math. Theor. 45 (2012) 295304
• View Publication
• BIB
The geometry of the real four-qubit Pauli group, being embodied in the structure of the symplectic polar space W(7,2), is analyzed in terms of ovoids of a hyperbolic quadric of PG(7,2), the seven-dimensional projective space of order two. The quadric is selected in such a way that it contains all 135 symmetric elements of the group. Under such circumstances, the third element on the line defined by any two points of an ovoid is skew-symmetric, as is the nucleus of the conic defined by any three points of an ovoid. Each ovoid thus yields 36/84 elements of the former/latter type, accounting for all 120 skew-symmetric elements of the group. There are a number of notable types of ovoid-associated subgeometries of the group, of which we mention the following: a subset of 12 skew-symmetric elements lying on four mutually skew lines that span the whole ambient space, a subset of 15 symmetric elements that corresponds to two ovoids sharing three points, a subset of 19 symmetric elements generated by two ovoids on a common point, a subset of 27 symmetric elements that can be partitioned into three ovoids in two unique ways, a subset of 27 skew-symmetric elements that exhibits a 15 + 2 x 6 split reminding that exhibited by an elliptic quadric of PG(5,2), and a subset of seven skew-symmetric elements formed by the nuclei of seven conics having two points in common, which is an analogue of a Conwell heptad of PG(5,2).
The strategy we employed is completely novel and unique in its nature, as are the results obtained. Such a detailed dissection of the geometry of the group in question may, for example, be crucial in getting further insights into the still-puzzling black-hole-qubit correspondence/analogy.
Edge-isoperimetric problem for Cayley graphs and generalized Takagi function
Published
• View Publication
• BIB
Let $G$ be a finite abelian abelian group of exponent $m\ge 2$. For subsets $A,S\subset G$, denote by $\partial_S(A)$ the number of edges from $A$ to its complement $G\setminus A$ in the directed Cayley graph, induced by $S$ on $G$. We show that if $S$ generates $G$, and $A$ is non-empty, then
$$ \partial_S(A) \ge \frac{e}m\,|A|\ln\frac{|G|}{|A|}. $$
Here the coefficient $e=2.718...$ is best possible and cannot be replaced with a number larger than $e$.
For homocyclic groups $G$ of exponent $m$, we find an explicit closed-form expression for $\partial_S(A)$ in the case where $S$ is a "standard" generating subset of $G$, and $A$ is an initial segment of $G$ with respect to the lexicographic order, induced by $S$ on $G$. Namely, we show that in this situation
$$ \partial_S(A) = |G|\,ω_m(|A|/|G|), $$ where $ω_2$ is the Takagi function, and $ω_m$ for $m\ge 3$ is an appropriate generalization thereof. This particular case is of special interest, since for $m\in\{2,3,4\}$ it is known to yield the smallest possible value of $\partial_S(A)$, over all sets $A\subset G$ of given size. We give this classical result a new proof, somewhat different from the standard one.
We also give a new, short proof of the Boros-Pales inequality $$ω_2(\frac{x+y}2) \le \frac{ω_2(x) + ω_2(y)}2 + \frac12\,|y-x|, $$ establish an extremal characterization of the Takagi function as the (pointwise) maximal function, satisfying this inequality and the boundary condition $\max\{ω_2(0),ω_2(1)\}\le 0$, and obtain similar results for the 3-adic analog $ω_3$ of the Takagi function.
Trivalent expanders and hyperbolic surfaces
We introduce a family of trivalent expanders which tessellate compact hyperbolic surfaces with large isometry groups. We compare this family with Platonic graphs and modifications of them and prove topological and spectral properties of these families.
The Cauchy-Davenport Theorem for Finite Groups
The Cauchy-Davenport theorem states that for any two nonempty subsets A and B of Z/pZ we have |A+B| >= min{p,|A|+|B|-1}, where A+B:={a+b (mod p) | a in A, b in B}. We generalize this result from Z/pZ to arbitrary finite (including non-abelian) groups. This result from early in 2006 is independent of Gyula Karolyi's 2005 result.
Bucolic Complexes
Published in Advances in Mathematics 243 (2013) 127-167
• View Publication
• BIB
We introduce and investigate bucolic complexes, a common generalization of systolic complexes and of CAT(0) cubical complexes. They are defined as simply connected prism complexes satisfying some local combinatorial conditions. We study various approaches to bucolic complexes: from graph-theoretic and topological perspective, as well as from the point of view of geometric group theory. In particular, we characterize bucolic complexes by some properties of their 2-skeleta and 1-skeleta (that we call bucolic graphs), by which several known results are generalized. We also show that locally-finite bucolic complexes are contractible, and satisfy some nonpositive-curvature-like properties.
Some Applications of the Hales-Jewett Theorem to Field Arithmetic
Published
• View Publication
• BIB
Let $K$ be a field whose absolute Galois group is finitely generated. If $K$ neither finite nor of characteristic 2, then every hyperelliptic curve over $K$ with all of its Weierstrass points defined over $K$ has infinitely many $K$-points. If, in addition, $K$ is not locally finite, then every elliptic curve over $K$ with all of its 2-torsion rational has infinite rank over $K$. These and similar results are deduced from the Hales-Jewett theorem.
Additive colorings of planar graphs
Published
• View Publication
• BIB
An \emph{additive coloring} of a graph $G$ is an assignment of positive integers $\{1,2,...,k\}$ to the vertices of $G$ such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number $k$ for which there exists an additive coloring of $G$ is denoted by $η(G)$. We prove that $η(G)\leqslant 468$ for every planar graph $G$. This improves a previous bound $η(G)\leqslant 5544$ due to Norin. The proof uses Combinatorial Nullstellensatz and coloring number of planar hypergrahs. We also demonstrate that $η(G)\leqslant 36$ for 3-colorable planar graphs, and $η(G)\leqslant 4$ for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each $r\geqslant 2$ there is an $r$-chromatic graph $G_{r}$ with no additive coloring by elements of any Abelian group of order $r$.
Character deflations and a generalization of the Murnaghan--Nakayama rule
Published
• View Publication
• BIB
Given natural numbers m and n, we define a deflation map from the characters of the symmetric group S_{mn} to the characters of S_n. This map is obtained by first restricting a character of S_{mn} to the wreath product S_m \wr S_n, and then taking the sum of the irreducible constituents of the restricted character on which the base group S_m \times ... \times S_m acts trivially. We prove a combinatorial formula which gives the values of the images of the irreducible characters of S_{mn} under this map. We also prove an analogous result for more general deflation maps in which the base group is not required to act trivially. These results generalize the Murnaghan--Nakayama rule and special cases of the Littlewood--Richardson rule. As a corollary we obtain a new combinatorial formula for the character multiplicities that are the subject of the long-standing Foulkes' Conjecture. Using this formula we verify Foulkes' Conjecture in some new cases.
Comparing Codimension and Absolute Length in Complex Reflection Groups
Published
• View Publication
• BIB
Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. While these partial orders are of independent combinatorial interest, our investigation is motivated by a connection between the codimension order and the algebraic structure of cohomology governing deformations of skew group algebras. In this article, we compare the reflection length and codimension functions and discuss implications for cohomology of skew group algebras. We give algorithms using character theory for computing reflection length, atoms, and poset relations. Using a mixture of theory, explicit examples, and computer calculations in GAP, we show that Coxeter groups and the infinite family G(m,1,n) are the only irreducible complex reflection groups for which the reflection length and codimension orders coincide. We describe the atoms in the codimension order for the infinite family G(m,p,n), which immediately yields an explicit description of generators for cohomology.
The number of self-conjugate core partitions
Published
• View Publication
• BIB
A conjecture on the monotonicity of t-core partitions in an article of Stanton [Open positivity conjectures for integer partitions, Trends Math., 2:19-25, 1999] has been the catalyst for much recent research on t-core partitions. We conjecture Stanton-like monotonicity results comparing self-conjugate (t+2)- and t-core partitions of n.
We obtain partial results toward these conjectures for values of t that are large with respect to n, and an application to the block theory of the symmetric and alternating groups. To this end we prove formulas for the number of self-conjugate t-core partitions of n as a function of the number of self-conjugate partitions of smaller n. Additionally, we discuss the positivity of self-conjugate 6-core partitions and introduce areas for future research in representation theory, asymptotic analysis, unimodality, and numerical identities and inequalities.