group
10399 papers tagged with this keyword
Near-central Permutation Factorization and Strahov's Generalized Murnaghan-Nakayama Rule
Published
• View Publication
• BIB
The $(p,q,n)$-dipole problem is a map enumeration problem, arising in perturbative Yang-Mills theory, in which the parameters $p$ and $q$, at each vertex, specify the number of edges separating of two distinguished edges. Combinatorially, it is notable for being a permutation factorization problem which does not lie in the centre of $\mathbb{C}[\mathfrak{S}_n]$, rendering the problem inaccessible through the character theoretic methods often employed to study such problems. This paper gives a solution to this problem on all orientable surfaces when $q=n-1$, which is a combinatorially significant special case: it is a \emph{near-central} problem. We give an encoding of the $(p,n-1,n)$-dipole problem as a product of standard basis elements in the centralizer $Z_1(n)$ of the group algebra $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-1}$. The generalized characters arising in the solution to the $(p,n-1,n)$-dipole problem are zonal spherical functions of the Gel'fand pair $(\mathfrak{S}_n\times \mathfrak{S}_{n-1}, \mathrm{diag}(\mathfrak{S}_{n-1}))$ and are evaluated explicitly. This solution is used to prove that, for a given surface, the numbers of $(p,n-1,n)$-dipoles and $(n+1-p,n-1,n)$-dipoles are equal, a fact for which we have no combinatorial explanation. These techniques also give a solution to a near-central analogue of the problem of decomposing a full cycle into two factors of specified cycle type.
Incidence properties of cosets in loops
Published in J. Combinatorial Designs 20 (2012), 161-197
• View Publication
• BIB
We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.
Die Verteilung des Geschlechts zufällig gewählter Origamis (Distribution of the genus of random origamis)
Resultate der Charaktertheorie der symmetrischen Gruppe werden verwendet, um eine Verteilungsfunktion für das Geschlecht zufällig gewählter Origamis zu erhalten.
--
Results from the character theory of the symmetric group are used to obtain the distribution function of the genus of random origamis.)
Additive combinatorics with a view towards computer science and cryptography: An exposition
Published
• View Publication
• BIB
Recently, additive combinatorics has blossomed into a vibrant area in mathematical sciences. But it seems to be a difficult area to define - perhaps because of a blend of ideas and techniques from several seemingly unrelated contexts which are used there. One might say that additive combinatorics is a branch of mathematics concerning the study of combinatorial properties of algebraic objects, for instance, Abelian groups, rings, or fields. This emerging field has seen tremendous advances over the last few years, and has recently become a focus of attention among both mathematicians and computer scientists. This fascinating area has been enriched by its formidable links to combinatorics, number theory, harmonic analysis, ergodic theory, and some other branches; all deeply cross-fertilize each other, holding great promise for all of them! In this exposition, we attempt to provide an overview of some breakthroughs in this field, together with a number of seminal applications to sundry parts of mathematics and some other disciplines, with emphasis on computer science and cryptography.
The thresholds for diameter 2 in random Cayley graphs
Published
• View Publication
• BIB
Given a group G, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p.
In this article we show that for any $ε> 0$ and any family of groups G_k of order n_k for which $n_k \to \infty$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most 2 if $p \geqslant \sqrt{(2 + ε) \frac{\log{n_k}}{n_k}}$ and with high probability has diameter greater than 2 if $p \leqslant \sqrt{(1/4 + ε)\frac{\log{n_k}}{n_k}}$.
We also provide examples of families of graphs which show that both of these results are best possible.
Of particular interest is that for some families of groups, the corresponding random Cayley graphs achieve diameter 2 significantly faster than the Erdős-Renyi random graphs.
Edge Transitive Ramanujan Graphs and Highly Symmetric LDPC Good Codes
Published
• View Publication
• BIB
We present a symmetric LDPC code with constant rate and constant distance (i.e. good LDPC code) that its constraint space is generated by the orbit of one constant weight constraint under a group action. Our construction provides the first symmetric LDPC good codes. This solves the main open problem raised by Kaufman and Wigderson in [4].
Palindromic richness for languages invariant under more symmetries
Published in Theoret. Comput. Sci. 518 (2014), 42-63
• View Publication
• BIB
For a given finite group $G$ consisting of morphisms and antimorphisms of a free monoid $\mathcal{A}^*$, we study infinite words with language closed under the group $G$. We focus on the notion of $G$-richness which describes words rich in generalized palindromic factors, i.e., in factors $w$ satisfying $Θ(w) = w$ for some antimorphism $Θ\in G$. We give several equivalent descriptions which are generalizations of know characterizations of rich words (in the terms of classical palindromes) and show two examples of $G$-rich words.
On short zero-sum subsequences of zero-sum sequences
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, and let $η(G)$ be the smallest integer $d$ such that every sequence over $G$ of length at least $d$ contains a zero-sum subsequence $T$ with length $|T|\in [1,\exp(G)]$. In this paper, we investigate the question whether all non-cyclic finite abelian groups $G$ share with the following property: There exists at least one integer $t\in [\exp(G)+1,η(G)-1]$ such that every zero-sum sequence of length exactly $t$ contains a zero-sum subsequence of length in $[1,\exp(G)]$. Previous results showed that the groups $C_n^2$ ($n\geq 3$) and $C_3^3$ have the property above. In this paper we show that more groups including the groups $C_m\oplus C_n$ with $3\leq m\mid n$, $C_{3^a5^b}^3$, $C_{3\times 2^a}^3$, $C_{3^a}^4$ and $C_{2^b}^r$ ($b\geq 2$) have this property. We also determine all $t\in [\exp(G)+1, η(G)-1]$ with the property above for some groups including the groups of rank two, and some special groups with large exponent.
Galkin Quandles, Pointed Abelian Groups, and Sequence $A000712$
Published
• View Publication
• BIB
For each pointed abelian group $(A,c)$, there is an associated {\em Galkin quandle} $G(A,c)$ which is an algebraic structure defined on $\Bbb Z_3\times A$ that can be used to construct knot invariants. It is known that two finite Galkin quandles are isomorphic if and only if their associated pointed abelian groups are isomorphic. In this paper we classify all finite pointed abelian groups. We show that the number of nonisomorphic pointed abelian groups of order $q^n$ ($q$ prime) is $\sum_{0\le m\le n}p(m)p(n-m)$, where $p(m)$ is the number of partitions of integer $m$.
On the cogrowth of Thompson's group $F$
Published
• View Publication
• BIB
We investigate the cogrowth and distribution of geodesics in R. Thompson's group $F$.
Subword complexes, cluster complexes, and generalized multi-associahedra
Published
• View Publication
• BIB
In this paper, we use subword complexes to provide a uniform approach to finite type cluster complexes and multi-associahedra. We introduce, for any finite Coxeter group and any nonnegative integer k, a spherical subword complex called multi-cluster complex. For k=1, we show that this subword complex is isomorphic to the cluster complex of the given type. We show that multi-cluster complexes of types A and B coincide with known simplicial complexes, namely with the simplicial complexes of multi-triangulations and centrally symmetric multi-triangulations respectively. Furthermore, we show that the multi-cluster complex is universal in the sense that every spherical subword complex can be realized as a link of a face of the multi-cluster complex.
The probability that a pair of elements of a finite group are conjugate
Published
• View Publication
• BIB
Let $G$ be a finite group, and let $κ(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $κ(G) \geq 1/4$, and shows that $G$ is abelian whenever $κ(G)|G| < 7/4$. It is also shown that $κ(G)|G|$ depends only on the isoclinism class of $G$.
Specialising to the symmetric group $S_n$, the paper shows that $κ(S_n) \leq C/n^2$ for an explicitly determined constant $C$. This bound leads to an elementary proof of a result of Flajolet \emph{et al}, that $κ(S_n) \sim A/n^2$ as $n\rightarrow \infty$ for some constant $A$. The same techniques provide analogous results for $ρ(S_n)$, the probability that two elements of the symmetric group have conjugates that commute.
On rainbow tetrahedra in Cayley graphs
Published
• View Publication
• BIB
Let $Γ_n$ be the complete undirected Cayley graph of the odd cyclic group $Z_n$. Connected graphs whose vertices are rainbow tetrahedra in $Γ_n$ are studied, with any two such vertices adjacent if and only if they share (as tetrahedra) precisely two distinct triangles. This yields graphs $G$ of largest degree 6, asymptotic diameter $|V(G)|^{1/3}$ and almost all vertices with degree: {\bf(a)} 6 in $G$; {\bf(b)} 4 in exactly six connected subgraphs of the $(3,6,3,6)$-semi-regular tessellation; and {\bf(c)} 3 in exactly four connected subgraphs of the $\{6,3\}$-regular hexagonal tessellation. These vertices have as closed neighborhoods the union (in a fixed way) of closed neighborhoods in the ten respective resulting tessellations. Generalizing asymptotic results are discussed as well.
Reflection arrangements and ribbon representations
Published
• View Publication
• BIB
Ehrenborg and Jung recently related the order complex for the lattice of d-divisible partitions with the simplicial complex of pointed ordered set partitions via a homotopy equivalence. The latter has top homology naturally identified as a Specht module. Their work unifies that of Calderbank, Hanlon, Robinson, and Wachs. By focusing on the underlying geometry, we strengthen and extend these results from type A to all real reflection groups and the complex reflection groups known as Shephard groups.
Correction of a theorem on the symmetric group generated by transvections
Published
• View Publication
• BIB
Let $V$ denote a vector space over two-element field $\mathbb F_2$ with finite positive dimension and endowed with a symplectic form $B.$ Let ${\rm SL}(V)$ denote the special linear group of $V.$ Let $S$ denote a subset of $V.$ Define $Tv(S)$ as the subgroup of ${\rm SL}(V)$ generated by the transvections with direction $α$ for all $α\in S.$ Define $G(S)$ as the graph whose vertex set is $S$ and where $α,β\in S$ are connected whenever $B(α,β)=1.$ A well-known theorem states that under the assumption that $S$ spans $V,$ the following (i), (ii) are equivalent:
(i) $Tv(S)$ is isomorphic to a symmetric group.
(ii) $G(S)$ is a claw-free block graph.
We give an example which shows that this theorem is not true. We give a modification of this theorem as follows. Assume that $S$ is a linearly independent set of $V$ and no element of $S$ is in the radical of $V.$ Then the above (i), (ii) are equivalent.
Transitive A_6-invariant k-arcs in PG(2,q)
Published
• View Publication
• BIB
For $q=p^r$ with a prime $p\ge 7$ such that $q \equiv 1$ or $19\pmod {30},$ the desarguesian projective plane $PG(2,q)$ of order $q$ has a unique conjugacy class of projectivity groups isomorphic to the alternating group $A_6$ of degree 6. For a projectivity group $Γ\cong A_6$ of $PG(2,q)$, we investigate the geometric properties of the (unique) $Γ$-orbit $\mathcal{O}$ of size 90 such that the 1-point stabilizer of $Γ$ in $\mathcal O$ is a cyclic group of order 4. Here $\mathcal O$ lies either in $PG(2,q)$ or in $PG(2,q^2)$ according as 3 is a square or a non-square element in $GF(q)$. We show that if $q\geq 349$ and $q\neq 421$, then $\mathcal O$ is a 90-arc, which turns out to be complete for $q=349, 409, 529, 601,661.$ Interestingly, $\mathcal O$ is the smallest known complete arc in $PG(2,601)$ and in $PG(2,661).$ Computations are carried out by MAGMA.
An elementary additive doubling inequality
We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a large subset, which has small doubling.
Actions and identities on set partitions
Published in Electron. J. Combin. 19 (2012), no. 1, Research Paper 28
• View Publication
• BIB
A labeled set partition is a partition of a set of integers whose arcs are labeled by nonzero elements of an abelian group $A$. Inspired by the action of the linear characters of the unitriangular group on its supercharacters, we define a group action of $A^n$ on the set of $A$-labeled partitions of an $(n+1)$-set. By investigating the orbit decomposition of various families of set partitions under this action, we derive new combinatorial proofs of Coker's identity for the Narayana polynomial and its type B analogue, and establish a number of other related identities. In return, we also prove some enumerative results concerning André and Neto's supercharacter theories of type B and D.
Generalised quadrangles with a group of automorphisms acting primitively on points and lines
Published
• View Publication
• BIB
We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type.
Symmetric chain decomposition for cyclic quotients of Boolean algebras and relation to cyclic crystals
Published in Int. Math. Res. Notices 2013 (2) 463-473
• View Publication
• BIB
The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the $\mathfrak{sl}_2$ lowering operator in the theory of crystal bases.