group
10226 papers tagged with this keyword
Bounding $s$ for vertex-primitive $s$-arc-transitive digraphs of alternating and symmetric groups
Published
• View Publication
• BIB
Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that $s\leqslant 2$ in the case where the group is an alternating or symmetric group.
The computation of the number of unequivalent states of the Rubik's Revenge
After having translated the problem of solving the Rubik's Revenge in terms of group actions, we use the result of the structure of the legal transformations (Larsen) to count the states of the Rubik's Revenge modulo legal and indistinguishable transformations, in the presence and absence of mechanical constraints. We also find by a new method the computation made by Bonzio, Loi and Peruzzi of the probability of being able to solve the Rubik's Revenge after having assembled it randomly, once again in the presence and absence of mechanical constraints.
Cohomology of quasi-abelianized braid groups
Published
• View Publication
• BIB
We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincaré dualities for them and prove a stabilization property for the infinite series of reflection groups.
Subgroup sum graphs of finite abelian groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $Γ^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.
Optimal Discrete Morse Theory Simplification (Expository Survey)
A central problem in topological data analysis is that of computing the homology of a given simplicial complex. Said complexes can have arbitrary large number of simplices, as can happen, for example, if the space is the Rips-Vietoris or Cech complex of a large data cloud. Thus, pre-processing the simplicial complex to get a smaller complex with the same homology groups and then applying the homology algorithm to the smaller one, has been an active research topic in the last years. In this survey, we discuss some recent papers that examine the complexity of this simplification via Discrete Morse Theory. This survey was prepared as a final project for a course on Computational Topology at The Ohio State University.
On the small measure expansion phenomenon in connected noncompact nonabelian groups
Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $μ$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ μ(A^2) < K μ(A) $ with $K>1$ a fixed constant, our first result shows that there is a continuous surjective group homomorphism $χ: G\to L$ with compact kernel, where $L$ is a Lie group with $$\dim(L) \leq \lfloor\log K\rfloor(\lfloor\log K\rfloor+1)/2.$$ We also demonstrate that this dimension bound is sharp, establish the relationship between $A$ and its image under the quotient map, and obtain a more general version of this result for the product set $AB$ without assuming unimodularity.
Our second result classifies $G,A,B$ where $A,B$ have nearly minimal expansions (when $G$ is unimodular, this just means $μ(AB)$ is close to $μ(A)+μ(B)$). This answers a question suggested by Griesmer and Tao, and completes the last open case of the inverse Kemperman problem.
The proofs of both results involve a new analysis of locally compact group $G$ with bounded $n-h$, where $n-h$ is an invariant of $G$ appearing in the recently developed nonabelian Brunn-Minkowski inequality. We also generalize Ruzsa's distance and related results to possibly nonunimodular locally compact groups.
Zero-sum partitions of Abelian groups of order $2^n$
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (March 1, 2023) dmtcs:9914
• View Publication
• BIB
The following problem has been known since the 80's. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $S_i$, $1 \leq i \leq t$, such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $i$, $1 \leq i \leq t$. It is easy to check that $m_i\geq 2$ (for every $i$, $1 \leq i \leq t$) and $|I(Γ)|\neq 1$ are necessary conditions for the existence of such partitions, where $I(Γ)$ is the set of involutions of $Γ$. It was proved that the condition $m_i\geq 2$ is sufficient if and only if $|I(Γ)|\in\{0,3\}$. For other groups (i.e., for which $|I(Γ)|\neq 3$ and $|I(Γ)|>1$), only the case of any group $Γ$ with $Γ\cong(Z_2)^n$ for some positive integer $n$ has been analyzed completely so far, and it was shown independently by several authors that $m_i\geq 3$ is sufficient in this case. Moreover, recently Cichacz and Tuza proved that, if $|Γ|$ is large enough and $|I(Γ)|>1$, then $m_i\geq 4$ is sufficient. In this paper we generalize this result for every Abelian group of order $2^n$. Namely, we show that the condition $m_i\geq 3$ is sufficient for $Γ$ such that $|I(Γ)|>1$ and $|Γ|=2^n$, for every positive integer $n$. We also present some applications of this result to graph magic- and anti-magic-type labelings.
Homology group of branched cyclic covering over a 2-bridge knot of genus two
The structure of the first homology group of a cyclic covering of a knot is an important invariant well known in the knot theory. In the last century, H. Seifert developed a general approach to compute the homology group of the covering. Based on his ideas R. Fox found explicit form for $H_{1}(M_{n},\mathbb{Z}),$ where $M_{n}$ is an $n$-fold cyclic covering over a knot $K$ admitting genus one Seifert surface.
The aim of the present paper is to find the structure of $H_{1}(M_{n},\mathbb{Z})$ for $2$-bridge knots admitting genus two Seifert surface. The result is given explicitly in terms of Alexander polynomial of the knot.
On Jacobian group and complexity of the Y-graph
In the present paper we suggest a simple approach for counting Jacobian group of the $Y$-graph $Y(n; k, l, m).$ In the case $Y(n; 1, 1, 1)$ the structure of the Jacobian group will be find explicitly. Also, we obtain a closed formula for the number of spanning trees of $Y$-graph in terms of Chebyshev polynomials and give its asymtotics.
Equivalences of biprojective almost perfect nonlinear functions
Published
• View Publication
• BIB
Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence problem for all known biprojective APN functions. Furthermore, we give a new family of biprojective APN functions. Using our method, we count the number of inequivalent APN functions in all known biprojective APN families and show that the new family found in this paper gives exponentially many new inequivalent APN functions. Quite recently, the Taniguchi family of APN functions was shown to contain an exponential number of inequivalent APN functions by Kaspers and Zhou (J. Cryptol. 34 (1), 2021) which improved their previous count (J. Comb. Th. A 186, 2022) for the Zhou-Pott family. Our group theoretic method substantially simplifies the work required for proving those results and provides a generic natural method for every family in the large super-class of biprojective APN functions that contains these two family along with many others.
No Hilton-Milner type results for linear groups of degree two
A set of permutations $\mathcal{F}$ of a finite transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is \emph{intersecting} if any pair of elements of $\mathcal{F}$ agree on an element of $Ω$. We say that $G$ has the \emph{EKR property} if an intersecting set of $G$ has size at most the order of a point stabilizer. Moreover, $G$ has the \emph{strict-EKR} property whenever $G$ has the EKR property and any intersecting set of maximum size is a coset of a point stabilizer of $G$.
It is known that the permutation group $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q := \mathbb{F}_q^2\setminus\{0\}$ has the EKR property, but does not have the strict-EKR property since the stabilizer of a hyperplane is a maximum intersecting set. In this paper, it is proved that the Hilton-Milner type result does not hold for $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $Ω_q$. Precisely, it is shown that a maximal intersecting set of $\operatorname{GL}_2(\mathbb{F}_q)$ is of maximum size. As a result, we prove the Complete Erdős-Ko-Rado theorem for $\operatorname{GL}_2(\mathbb{F}_{q})$.
New bound for Roth's theorem with generalized coefficients
Published in Discrete Analysis, 2022:16, 21 pp
• View Publication
• BIB
We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do this, we adapt the proof of the recent breakthrough by Bloom and Sisask on sets without three-term arithmetic progressions, to handle more general equations of the form $T_1a_1+T_2a_2+T_3a_3 = 0$ in a finite abelian group $G$, where the $T_i$'s are automorphisms of $G$.
Lattice Packings of Cross-polytopes from Reed-Solomon Codes and Sidon Sets
Published in Bull. London Math. Soc., vol. 54, no. 6, pp. 2372-2378, 2022
• View Publication
• BIB
Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $.
On symbolic group varieties and dual surjunctivity
Published
• View Publication
• BIB
Let $G$ be a group. Let $X$ be an algebraic group over an algebraically closed field $K$. Denote by $A=X(K)$ the set of rational points of $X$. We study algebraic group cellular automata $τ\colon A^G \to A^G$ whose local defining map is induced by a homomorphism of algebraic groups $X^M \to X$ where $M$ is a finite memory. When $G$ is sofic and $K$ is uncountable, we show that if $τ$ is post-surjective then it is weakly pre-injective. Our result extends the dual version of Gottschalk's Conjecture for finite alphabets proposed by Capobianco, Kari, and Taati. When $G$ is amenable, we prove that if $τ$ is surjective then it is weakly pre-injective, and conversely, if $τ$ is pre-injective then it is surjective. Hence, we obtain a complete answer to a question of Gromov on the Garden of Eden theorem in the case of algebraic group cellular automata.
An inequality for the compositions of convex functions with convolutions and an alternative proof of the Brunn-Minkowski-Kemperman inequality
Published
• View Publication
• BIB
Let $m(G)$ be the infimum of the volumes of all open subgroups of a unimodular locally compact group $G$. Suppose integrable functions $φ_1 , φ_2 \colon G \to [0,1]$ satisfy $\| φ_1 \| \leq \| φ_2 \|$ and $\| φ_1 \| + \| φ_2 \| \leq m (G)$, where $\| \cdot \|$ denotes the $L^1$-norm with respect to a Haar measure $dg$ on $G$. We have the following inequality for any convex function $f \colon [0, \| φ_1 \| ] \to \mathbb{R}$ with $f(0) = 0$: \begin{align*} \int_{G}^{} f \circ ( φ_1 * φ_2 ) (g) dg \leq 2 \int_{0}^{\| φ_1 \|} f(y) dy + ( \| φ_2 \| - \| φ_1 \| ) f( \| φ_1 \| ). \end{align*} As a corollary, we have a slightly stronger version of Brunn-Minkowski-Kemperman inequality. That is, we have \begin{align*} \mathrm{vol}_* ( B_1 B_2 ) \geq \mathrm{vol} ( \{ g \in G \mid 1_{B_1} * 1_{B_2} (g) > 0 \} ) \geq \mathrm{vol} (B_1) + \mathrm{vol} (B_2) \end{align*} for any non-null measurable sets $B_1 , B_2 \subset G$ with $\mathrm{vol} (B_1) + \mathrm{vol} (B_2) \leq m(G)$, where $\mathrm{vol}_*$ denotes the inner measure and $1_B$ the characteristic function of $B$.
Hopf structures in the representation theory of direct products
Published
• View Publication
• BIB
Combinatorial Hopf algebras give a linear algebraic structure to infinite families of combinatorial objects, a technique further enriched by the categorification of these structure via the representation theory of families of algebras. This paper examines a fundamental construction in group theory, the direct product, and how it can be used to build representation theoretic Hopf algebras out of towers of groups. A key special case gives us the noncommutative symmetric functions NSym, but there are many things that we can say for the general Hopf algebras, including the structure of their character groups and a formula for the antipode.
Legendre pairs of lengths $\ell\equiv0$ (mod 5)
Published in Special Matrices 2023; 11: 20230105
• View Publication
• BIB
By assuming a type of balance for length $\ell=87$ and non-trivial subgroups of multiplier groups of Legendre pairs (LPs) for length $\ell=85$, we find LPs of these lengths. We then study the power spectral density (PSD) values of m-compressions of LPs of length 5m. We also formulate a conjecture for Legendre pairs of lengths $\ell \equiv 0$ (mod 5) and demonstrate how it can be used to decrease the search space and storage requirements for finding such LPs. The newly found LPs decrease the number of integers in the range $\leq 200$ for which the existence question of LPs remains unsolved from 12 to 10.
Totally $2$-closed finite groups with trivial Fitting subgroup
Published
• View Publication
• BIB
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
Higher-order generalizations of stability and arithmetic regularity
We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes the arithmetic regularity lemma for stable subsets of $\mathbb{F}_p^n$, proved in earlier work of the authors, to the realm of higher-order Fourier analysis.
This result is strictly stronger than the structure theorem for sets of bounded $\mathrm{VC}_2$-dimension, first proved by the authors in earlier versions of this paper and now available as a separate manuscript arXiv:2510.12867. Taken together, these results provide group theoretic analogues of results obtained for 3-uniform hypergraphs in arXiv:2111.01737.
On pseudofrobenius imprimitive association schemes
Published
• View Publication
• BIB
An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes.