group
10275 papers tagged with this keyword
Non-abelian representations of the slim dense near hexagons on 81 and 243 points
Published
• View Publication
• BIB
We prove that the near hexagon $Q(5,2) \times \mathbb{L}_3$ has a non-abelian representation in the extra-special 2-group $2^{1+12}_+$ and that the near hexagon $Q(5,2) \otimes Q(5,2)$ has a non-abelian representation in the extra-special 2-group $2^{1+18}_-$. The description of the non-abelian representation of $Q(5,2) \otimes Q(5,2)$ makes use of a new combinatorial construction of this near hexagon.
Intrinsic energy is a loop Schur function
Published
• View Publication
• BIB
We give an explicit subtraction-free formula for the energy function in tensor products of Kirillov-Reshetikhin crystals for symmetric powers of the standard representation of U_q'(\hat sl_n). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups.
Geometric Combinatorics of Weyl Groupoids
Published
• View Publication
• BIB
We extend properties of the weak order on finite Coxeter groups to Weyl groupoids admitting a finite root system. In particular, we determine the topological structure of intervals with respect to weak order, and show that the set of morphisms with fixed target object forms an ortho-complemented meet semilattice. We define the Coxeter complex of a Weyl groupoid with finite root system and show that it coincides with the triangulation of a sphere cut out by a simplicial hyperplane arrangement. As a consequence, one obtains an algebraic interpretation of many hyperplane arrangements that are not reflection arrangements.
A probabilistic technique for finding almost-periods of convolutions
Published
• View Publication
• BIB
We introduce a new probabilistic technique for finding 'almost-periods' of convolutions of subsets of groups. This gives results similar to the Bogolyubov-type estimates established by Fourier analysis on abelian groups but without the need for a nice Fourier transform to exist. We also present applications, some of which are new even in the abelian setting. These include a probabilistic proof of Roth's theorem on three-term arithmetic progressions and a proof of a variant of the Bourgain-Green theorem on the existence of long arithmetic progressions in sumsets A+B that works with sparser subsets of {1, ..., N} than previously possible. In the non-abelian setting we exhibit analogues of the Bogolyubov-Freiman-Halberstam-Ruzsa-type results of additive combinatorics, showing that product sets A B C and A^2 A^{-2} are rather structured, in the sense that they contain very large iterated product sets. This is particularly so when the sets in question satisfy small-doubling conditions or high multiplicative energy conditions. We also present results on structures in product sets A B. Our results are 'local' in nature, meaning that it is not necessary for the sets under consideration to be dense in the ambient group. In particular, our results apply to finite subsets of infinite groups provided they 'interact nicely' with some other set.
A Frucht's theorem for quantum graphs
Published
• View Publication
• BIB
A celebrated theorem due to R. Frucht states that, roughly speaking, each group is isomorphic to the symmetry group of some graph. By "symmetry group" the group of all graph automorphisms is meant. We provide an analogue of this result for quantum graphs, i.e., for Schrödinger equations on a metric graph, after suitably defining the notion of symmetry.
Centerpole sets for colorings of Abelian groups
Published in Journal of Algebraic Combinatorics, 34:2 (2011) 267--300
• View Publication
• BIB
Given a topological group $G$ we calculate or evaluate the cardinal characteristic $c_k(G)$ (and $c_k^B(G)$) equal to the smallest cardinality of a $k$-centerpole subset $C\subset G$ for (Borel) colorings of $G$. A subset $C\subset G$ of a topological group $G$ is called {\em $k$-centerpole} if for each (Borel) $k$-coloring of $G$ there is an unbounded monochromatic subset $G$, which is symmetric with respect to a point $c\in C$ in the sense that $S=cS^{-1}c$.
Locally $s$-distance transitive graphs
Published
• View Publication
• BIB
We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance $i$ from $v$, for each $i$ from 1 to $s$. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for $s\geq 2$, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph, or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups.
On weighted zero-sum sequences
Published
• View Publication
• BIB
Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer $m$, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0.
When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most $\lceil D(G)/|A|\rceil+exp(G)-1$ if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible.
In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of $exp(G)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems.
Some additional more specific values and results related to s_{1,-1}(G) are also computed.
On the existence of block-transitive combinatorial designs
Published
• View Publication
• BIB
Block-transitive Steiner $t$-designs form a central part of the study of highly symmetric combinatorial configurations at the interface of several disciplines, including group theory, geometry, combinatorics, coding and information theory, and cryptography. The main result of the paper settles an important open question: There exist no non-trivial examples with $t=7$ (or larger). The proof is based on the classification of the finite 3-homogeneous permutation groups, itself relying on the finite simple group classification.
Counting walks in a quadrant: a unified approach via boundary value problems
Published in Journal of the European Mathematical Society 14 (2012) 749-777
• View Publication
• BIB
The aim of this article is to introduce a unified method to obtain explicit integral representations of the trivariate generating function counting the walks with small steps which are confined to a quarter plane. For many models, this yields for the first time an explicit expression of the counting generating function. Moreover, the nature of the integrand of the integral formulations is shown to be directly dependent on the finiteness of a naturally attached group of birational transformations as well as on the sign of the covariance of the walk
Decompositions of functions based on arity gap
Published in Discrete Math. 312 (2012) 238-247
• View Publication
• BIB
We study the arity gap of functions of several variables defined on an arbitrary set A and valued in another set B. The arity gap of such a function is the minimum decrease in the number of essential variables when variables are identified. We establish a complete classification of functions according to their arity gap, extending existing results for finite functions. This classification is refined when the codomain B has a group structure, by providing unique decompositions into sums of functions of a prescribed form. As an application of the unique decompositions, in the case of finite sets we count, for each n and p, the number of n-ary functions that depend on all of their variables and have arity gap p.
Cutting up graphs revisited - a short proof of Stallings' structure theorem
This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This was first done in "Cutting up graphs" by M.J. Dunwoody. The main ideas are based on the paper "Vertex cuts" by M.J. Dunwoody and the author. We extend the theorem to a detailed combinatorial proof of J.R. Stallings' theorem on the structure of finitely generated groups with more than one end.
Partition functions of the Ising model on some self-similar Schreier graphs
Published in Progress in Probability: Random Walks, Boundaries and Spectra (D.Lenz, F. Sobieczky and W. Woess editors), 64 (2011), 277-304, Springer Basel
• Search Publication
We study partition functions and thermodynamic limits for the Ising model on three families of finite graphs converging to infinite self-similar graphs. They are provided by three well-known groups realized as automorphism groups of regular rooted trees: the first Grigorchuk's group of intermediate growth; the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group; and the Hanoi Towers group $H^{(3)}$ closely related to the Sierpinsky gasket.
Moment polytopes, semigroup of representations and Kazarnovskii's theorem
Published
• View Publication
• BIB
Two representations of a reductive group G are spectrally equivalent if the same irreducible representations appear in both of them. The semigroup of finite dimensional representations of G with tensor product and up to spectral equivalence is a rather complicated object. We show that the Grothendieck group of this semigroup is more tractable and give a description of it in terms of moment polytopes of representations. As a corollary, we give a proof of the Kazarnovskii theorem on the number of solutions in G of a system f_1(x) = ... = f_m(x) = 0, where m=dim(G) and each f_i is a generic function in the space of matrix elements of a representation pi_i of G.
The diameters of commuting graphs of linear groups and matrix rings over the integers modulo m
The commuting graph of a group G, denoted by Gamma(G), is the simple undirected graph whose vertices are the non-central elements of G and two distinct vertices are adjacent if and only if they commute. Let Z_m be the commutative ring of equivalence classes of integers modulo m. In this paper we investigate the connectivity and diameters of the commuting graphs of GL(n,Z_m) to contribute to the conjecture that there is a universal upper bound on diam(Gamma(G)) for any finite group G when Gamma(G) is connected. For any composite m, it is shown that Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) are connected and diam(Gamma(GL(n,Z_m))) = diam(Gamma(M(n,Z_m))) = 3. For m a prime, the instances of connectedness and absolute bounds on the diameters of Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) when they are connected are concluded from previous results.
Note on the Calculation of Groebner-Shirshov Bases for Affine Weyl Groups
In this work we will consider the calculation of Groebner-Shirshov bases of Coxeter groups. This will be the main focus of the work. In \cite{Bokut-Shiao}, Bokut & Shiao gave the Groebner-Shirshov bases of positive definite classical Coxeter groups $A_l, B_l, D_l$ by using the techniques of Elimination of Leading Word.
We will give a counter example to a hypothesis which is introduced by Bokut & Shiao in \cite{Bokut-Shiao} and we will calculate the Groebner-Shirshov bases of the positive degenerate infinite affine Weyl group $\widetilde{A}_n $ which is isomorphic to semi-direct product group $Σ_n \ltimes {\mathbb Z}^{n-1}$, and further we classify all the reduced elements of the group by using the Composition Diamond Lemma.
On the Connectivity of the Sylow Graph of a Finite Group
Published in Advances in Pure Mathematics, Vol. 02, No. 6, 2012, pp.373-378
• View Publication
• BIB
The Sylow graph $Γ(G)$ of a finite group $G$ originated from recent investigations on the so--called $\mathbf{N}$--closed classes of groups. The connectivity of $Γ(G)$ was proved only few years ago, involving the classification of finite simple groups, and the structure of $G$ may be strongly restricted, once information on $Γ(G)$ are given. The first result of the present paper deals with a condition on $\mathbf{N}$--closed classes of groups. The second result deals with a computational criterion, related to the connectivity of $Γ(G)$.
Multilateral basic hypergeometric summation identities and hyperoctahedral group symmetries
We give new proofs for certain bilateral basic hypergeometric summation formulas using the symmetries of the corresponding series. In particular, we present a proof for Bailey's $_3ψ_3$ summation formula as an application. We also prove a multiple series analogue of this identity by considering hyperoctahedral group symmetries of higher ranks.
A bideterminant basis for a reductive monoid
Published
• View Publication
• BIB
We use the rational tableaux introduced by Stembridge to give a bideterminant basis for a normal reductive monoid and for its variety of noninvertible elements. We also obtain a bideterminant basis for the full coordinate ring of the general linear group and for all its truncations with respect to saturated sets. Finally, we deduce an alternative proof of the double centraliser theorem for the rational Schur algebra and the walled Brauer algebra over an arbitrary infinite base field which was first obtained by Dipper, Doty and Stoll.
Cohomological Ramsey Theory
We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and developed a Hom complex theory. We generalize the Hom complexes to Ramsey complexes.
The main theorem states that if certain cohomology groups of the Ramsey complex Ram(dDelta_{p^k}, Sigma) are trivial, then the vertices of the simplicial complex Sigma cannot be n-colored such that every color correspond to a face of Sigma. In a corollary, we give an explicit description of the Ramsey complexes used for upper bounds on Ramsey numbers.