group
10275 papers tagged with this keyword
Almost simple groups with socle $L_n(q)$ acting on Steiner quadruple systems
Published
• View Publication
• BIB
Let $N=L_n(q)$, {$n \geq 2$}, $q$ a prime power, be a projective linear simple group. We classify all Steiner quadruple systems admitting a group $G$ with $N \leq G \leq \Aut(N)$. In particular, we show that $G$ cannot act as a group of automorphisms on any Steiner quadruple system for $n>2$.
Approximate groups, II: the solvable linear case
Published
• View Publication
• BIB
We describe the structure of "K-approximate subgroups'' of solvable subgroups of GL_n(C), showing that they have a large nilpotent piece. By combining this with the main result of our recent paper on approximate subgroups of torsion-free nilpotent groups, we show that such approximate subgroups are efficiently controlled by nilpotent progressions.
Criteria for rational smoothness of some symmetric orbit closures
Published
• View Publication
• BIB
Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric.
In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.
Words and polynomial invariants of finite groups in non-commutative variables
Published
• View Publication
• BIB
Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.
On the group of rational spectral units with finite order
The problem of phase retrieval is a difficult one which remains far from solved. Two homometric sets are always connected by way of a convolution product by some spectral unit, though not necessarily in a unique way. Here we elucidate one small aspect, the subgroup of spectral units with finite order. Its elements are completely characterized by relations between their eigenvalues. This sheds some light on the beltway problem.
On the possible orders of a basis for a finite cyclic group
Published
• View Publication
• BIB
We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order greater than n/k, then the order of A is within c_k of n/l for some integer l \in [1,k]. The proof makes use of various results in additive number theory concerning the growth of sumsets.
Twisted duality for embedded graphs
Published in Trans. Amer. Math. Soc. 364 (2012), 1529-1569
• View Publication
• BIB
We consider two operations on an edge of an embedded graph (or equivalently a ribbon graph): giving a half-twist to the edge and taking the partial dual with respect to the edge. These two operations give rise to an action of S_3^{|E(G)|}, the ribbon group, on G. The action of the ribbon group on embedded graphs extends the concepts of duality, partial duality and Petrie duality. We show that this ribbon group action gives a complete characterization of duality in that if G is any cellularly embedded graph with medial graph G_m, then the orbit of G under the group action is precisely the set of all graphs with medial graphs isomorphic (as abstract graphs) to G_m. We provide characterizations of special sets of twisted duals, such as the partial duals, of embedded graphs in terms of medial graphs and we show how different kinds of graph isomorphism give rise to these various notions of duality. The ribbon group action then leads to a deeper understanding of the properties of, and relationships among, various graph polynomials via the generalized transition polynomial which interacts naturally with the ribbon group action.
An Asymptotic Version of a Theorem of Knuth
Published
• View Publication
• BIB
Let $S(d,N)$ denote the number of permutations in the symmetric group on $[N]$ which have no decreasing subsequence of length $d+1.$ We prove that $S(d,dn)$ is asymptotically equal to the number of standard Young tableaux of rectangular shape $R(d,2n)$ in the limit $n \to \infty,$ with $d$ fixed.
Diameter of reduced words
Published
• View Publication
• BIB
For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.
A Short Proof of Gamas's Theorem
Published in Linear Algebra and its Applications Volume 430, Issues 2-3, 15 January 2009, Pages 791-794
• View Publication
• BIB
If χ^λis the irreducible character of the symmetric group S_n corresponding to the partition λof n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by χ^λ. Gamas's theorem states that the result is not zero if and only if we can partition the set {v_i} into linearly independent sets whose sizes are the parts of the transpose of λ. We give a short and self-contained proof of this fact.
Sumset and inverse sumset theorems for Shannon entropy
Published in Combin. Probab. Comput. 19 (2010), no. 4, 603-639
• View Publication
• BIB
Let $G = (G,+)$ be an additive group. The sumset theory of Plünnecke and Ruzsa gives several relations between the size of sumsets $A+B$ of finite sets $A, B$, and related objects such as iterated sumsets $kA$ and difference sets $A-B$, while the inverse sumset theory of Freiman, Ruzsa, and others characterises those finite sets $A$ for which $A+A$ is small. In this paper we establish analogous results in which the finite set $A \subset G$ is replaced by a discrete random variable $X$ taking values in $G$, and the cardinality $|A|$ is replaced by the Shannon entropy $\mathrm{Ent}(X)$. In particular, we classify the random variable $X$ which have small doubling in the sense that $\mathrm{Ent}(X_1+X_2) = \mathrm{Ent}(X)+O(1)$ when $X_1,X_2$ are independent copies of $X$, by showing that they factorise as $X = U+Z$ where $U$ is uniformly distributed on a coset progression of bounded rank, and $\mathrm{Ent}(Z) = O(1)$.
When $G$ is torsion-free, we also establish the sharp lower bound $\mathrm{Ent}(X+X) \geq \mathrm{Ent}(X) + {1/2} \log 2 - o(1)$, where $o(1)$ goes to zero as $\mathrm{Ent}(X) \to \infty$.
The twisted Grassmann graph is the block graph of a design
Published in Innov. Incidence Geom. 12 (2011), 1-6
• View Publication
• BIB
In this note, we show that the twisted Grassmann graph constructed by van Dam and Koolen is the block graph of the design constructed by Jungnickel and Tonchev. We also show that the full automorphism group of the design is isomorphic to the full automorphism group of the twisted Grassmann graph.
Essential hyperbolic Coxeter polytopes
Published in Israel J. Math. 199 (2014), 113-161
• View Publication
• BIB
We introduce a notion of essential hyperbolic Coxeter polytope as a polytope which fits some minimality conditions. The problem of classification of hyperbolic reflection groups can be easily reduced to classification of essential Coxeter polytopes. We determine a potentially large combinatorial class of polytopes containing, in particular, all the compact hyperbolic Coxeter polytopes of dimension at least 6 which are known to be essential, and prove that this class contains finitely many polytopes only. We also construct an effective algorithm of classifying polytopes from this class, realize it in four-dimensional case, and formulate a conjecture on finiteness of the number of essential polytopes.
Approximate groups, I: the torsion-free nilpotent case
Published
• View Publication
• BIB
We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups.
Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related issues. We comment briefly on some of the connections between these papers.
Block-diagonalized rigidity matrices of symmetric frameworks and applications
In this paper, we give a complete self-contained proof that the rigidity matrix of a symmetric bar and joint framework (as well as its transpose) can be transformed into a block-diagonalized form using techniques from group representation theory. This theorem is basic to a number of useful and interesting results concerning the rigidity and flexibility of symmetric frameworks. As an example, we use this theorem to prove a generalization of the Fowler-Guest symmetry extension of Maxwell's rule which can be applied to both injective and non-injective realizations in all dimensions.
Freiman's theorem for solvable groups
Published
• View Publication
• BIB
Freiman's theorem asserts, roughly speaking, if that a finite set in a torsion-free abelian group has small doubling, then it can be efficiently contained in (or controlled by) a generalised arithmetic progression. This was generalised by Green and Ruzsa to arbitrary abelian groups, where the controlling object is now a coset progression. We extend these results further to solvable groups of bounded derived length, in which the coset progressions are replaced by the more complicated notion of a "coset nilprogression". As one consequence of this result, any subset of such a solvable group of small doubling is is controlled by a set whose iterated products grow polynomially, and which are contained inside a virtually nilpotent group. As another application we establish a strengthening of the Milnor-Wolf theorem that all solvable groups of polynomial growth are virtually nilpotent, in which only one large ball needs to be of polynomial size. This result complements recent work of Breulliard-Green, Fisher-Katz-Peng, and Sanders.
An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm
Published
• View Publication
• BIB
We establish a correspondence between inverse sumset theorems (which can be viewed as classifications of approximate (abelian) groups) and inverse theorems for the Gowers norms (which can be viewed as classifications of approximate polynomials). In particular, we show that the inverse sumset theorems of Freiman type are equivalent to the known inverse results for the Gowers U^3 norms, and moreover that the conjectured polynomial strengthening of the former is also equivalent to the polynomial strengthening of the latter. We establish this equivalence in two model settings, namely that of the finite field vector spaces F_2^n, and of the cyclic groups Z/NZ.
In both cases the argument involves clarifying the structure of certain types of approximate homomorphism.
Rank-determining sets of metric graphs
Published in Journal of Combinatorial Theory, Series A 118, 1775-1793 (2011)
• View Publication
• BIB
A metric graph is a geometric realization of a finite graph by identifying each edge with a real interval. A divisor on a metric graph $Γ$ is an element of the free abelian group on $Γ$. The rank of a divisor on a metric graph is a concept appearing in the Riemann-Roch theorem for metric graphs (or tropical curves) due to Gathmann and Kerber, and Mikhalkin and Zharkov. We define a \emph{rank-determining set} of a metric graph $Γ$ to be a subset $A$ of $Γ$ such that the rank of a divisor $D$ on $Γ$ is always equal to the rank of $D$ restricted on $A$. We show constructively in this paper that there exist finite rank-determining sets. In addition, we investigate the properties of rank-determining sets in general and formulate a criterion for rank-determining sets. Our analysis is a based on an algorithm to derive the $v_0$-reduced divisor from any effective divisor in the same linear system.
Sandpile groups and spanning trees of directed line graphs
Published
• View Publication
• BIB
We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpile group of LG by its k-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs.
A Geometric Interpretation of the Characteristic Polynomial of Reflection Arrangements
Published
• View Publication
• BIB
We consider projections of points onto fundamental chambers of finite real reflection groups. Our main result shows that for groups of type $A_n$, $B_n$, and $D_n$, the coefficients of the characteristic polynomial of the reflection arrangement are proportional to the spherical volumes of the sets of points that are projected onto faces of a given dimension. We also provide strong evidence that the same connection holds for the exceptional, and thus all, reflection groups. These results naturally extend those of De Concini and Procesi, Stembridge, and Denham which establish the relationship for 0-dimensional projections. This work is also of interest for the field of order-restricted statistical inference, where projections of random points play an important role.