group
10226 papers tagged with this keyword
The distance function on Coxeter-like graphs and self-dual codes
Let $SGL_n(\mathbb{F}_2)$ be the set of all invertible $n\times n$ symmetric matrices over the binary field $\mathbb{F}_2$. Let $Γ_n$ be the graph with the vertex set $SGL_n(\mathbb{F}_2)$ where a pair of matrices $\{A,B\}$ form an edge if and only if $\textrm{rank}(A-B)=1$. In particular, $Γ_3$ is the well-known Coxeter graph. The distance function $d(A,B)$ in $Γ_n$ is described for all matrices $A,B\in SGL_n(\mathbb{F}_2)$. The diameter of $Γ_n$ is computed. For odd $n\geq 3$, it is shown that each matrix $A\in SGL_n(\mathbb{F}_2)$ such that $d(A,I)=\frac{n+5}{2}$ and $\textrm{rank}(A-I)=\frac{n+1}{2}$ where $I$ is the identity matrix induces a self-dual code in $\mathbb{F}_2^{n+1}$. Conversely, each self-dual code $C$ induces a family ${\cal F}_C$ of such matrices $A$. The families given by distinct self-dual codes are disjoint. The identification $C\leftrightarrow {\cal F}_C$ provides a graph theoretical description of self-dual codes. A result of Janusz (2007) is reproved and strengthened by showing that the orthogonal group ${\cal O}_n(\mathbb{F}_2)$ acts transitively on the set of all self-dual codes in $\mathbb{F}_2^{n+1}$.
Toric wedge induction and toric lifting property for piecewise linear spheres with a few vertices
Published in Journal of the London Mathematical Society, vol. 112, no. 1, 2025, pp. e70231
• View Publication
• BIB
Let $K$ be an $(n-1)$-dimensional piecewise linear sphere on $[m]$, where $m\leq n+4$. There are a canonical action of $m$-dimensional torus $T^m$ on the moment-angle complex $\mathcal{Z}_K$, and a canonical action of $\mathbb{Z}_2^m$ on the real moment-angle complex $\mathbb{R}\mathcal{Z}_K$, where $\mathbb{Z}_2$ is the additive group with two elements. We prove that any subgroup of $\mathbb{Z}_2^m$ acting freely on $\mathbb{R}\mathcal{Z}_K$ is induced by a subtorus of $T^m$ acting freely on $\mathcal{Z}_K$. The proof primarily utilizes a suitably modified method of toric wedge induction and the combinatorial structure of a specific binary matroid of rank $4$.
Dihedral-product groups of nonabelian simple groups
Given a finite group $G$, a group $X$ is called a dihedral-product group of $G$ if $X=GD$ where $D$ is a finite dihedral group. In particular, it is called a dihedral-skew product group of $G$ if $G\cap D=1$ and $D$ has a trivial core in $X$. In this paper, dihedral-skew product groups of all nonabelian simple groups are classified and dihedral-product groups of all nonabelian simple groups are characterized.
Groups with elements of order 8 do not have the DCI property
Let $k$ be odd, and $n$ an odd multiple of $3$. We prove that $C_k \rtimes C_8$ and $(C_n \times C_3)\rtimes C_8$ do not have the Directed Cayley Isomorphism (DCI) property. When $k$ is also prime, $C_k \rtimes C_8$ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups $C_p \rtimes C_8$ (where $p$ is an odd prime) are only the second known infinite family of groups that have the CI property but do not have the DCI property. This also shows that no group with an element of order $8$ has the DCI property.
Derangement Representation of Graphs
A derangement $k$-representation of a graph $G$ is a map $π$ of $V(G)$ to the symmetric group $S_k$, such that for any two vertices $v$ and $u$ of $V(G)$, $v $ and $u$ are adjacent if and only if $π(v)(i) \neq π(u)(i)$ for each $i \in \{1,2,3,\ldots,k\}$. The derangement representation number of $G$ denoted by $drn(G)$, is the minimum of $k$ such that $G$ has a derangement $k$-representation. In this paper, we prove that any graph has a derangement $k$-representation. Also, we obtain some lower and upper bounds for $drn(G)$, in terms of the basic parameters of $G$. Finally, we determine the exact value or give the better bounds of the derangement representation number of some classes of graphs.
Haar graphical representations of finite groups and an application to poset representations
Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be adjacent if and only if $yx^{-1}\in S$. The name Haar graph was coined by Tomaž Pisanski in one of the first investigations on this class of graphs.
For every $g\in R$, the mapping $ρ_g:(x,\varepsilon)\mapsto (xg,\varepsilon)$, $\forall (x,\varepsilon)\in R\times\{-1,1\}$, is an automorphism of $\mathrm{Haar}(R,S)$. In particular, the set $\hat{R}:=\{ρ_g\mid g\in R\}$ is a subgroup of the automorphism group of $\mathrm{Haar}(R,S)$ isomorphic to $R$. In the case that the automorphism group of $\mathrm{Haar}(R,S)$ equals $\hat{R}$, the Haar graph $\mathrm{Haar}(R,S)$ is said to be a Haar graphical representation of the group $R$.
Answering a question of Feng, Kovács, Wang, and Yang, we classify the finite groups admitting a Haar graphical representation. Specifically, we show that every finite group admits a Haar graphical representation, with abelian groups and ten other small groups as the only exceptions.
Our work on Haar graphs allows us to improve a 1980 result of Babai concerning representations of groups on posets, achieving the best possible result in this direction. An improvement to Babai's related result on representations of groups on distributive lattices follows.
A note on Combinatorial Invariance of Kazhdan--Lusztig polynomials
We introduce the concepts of an amazing hypercube decomposition and a double shortcut for it, and use these new ideas to formulate a conjecture implying the Combinatorial Invariance Conjecture of the Kazhdan--Lusztig polynomials for the symmetric group. This conjecture has the advantage of being combinatorial in nature. The appendix by Grant T. Barkley and Christian Gaetz discusses the related notion of double hypercubes and proves an analogous conjecture for these in the case of co-elementary intervals.
Commuting probability for approximate subgroups of a finite group
For subsets X,Y of a finite group G, we write Pr(X,Y) for the probability that two random elements x in X and y in Y commute. This paper addresses the relation between the structure of an approximate subgroup A of G and the probabilities Pr(A,G) and Pr(A,A).
A Mathematical Formalisation of the γ-contraction Problem
Networks play an ubiquitous role in computer science and real-world applications, offering multiple kind of information that can be retrieved with adequate methods. With the continuous growing in the amount of data available, networks are becoming larger day by day. Consequently, the tasks that were easily achievable on smaller networks, often becomes impractical on huge amount of data, either due to the high computational cost or due to the impracticality to visualise corresponding data. Using distinctive node features to group large amount of connected data into a limited number of clusters, hence represented by a representative per cluster, proves to be a valuable approach. The resulting contracted graphs are more manageable in size and can reveal previously hidden characteristics of the original networks. Furthermore, in many real-world use cases, a definition of cluster is intrinsic with the data, eventually obtained with the injection of some expert knowledge represent by a categorical function. Clusters then results in set of connected vertices taking the same values in a finite set C. In the recent literature, Lombardi and Onofri proposed a novel, fast, and easily parallelisable approach under the name of $γ$-contraction to contract a graph given a categorical function. In this work, we formally define such approach by providing a rigorous mathematical definition of the problem, which, to the best of our knowledge, was missing in the existing literature. Specifically, we explore the variadic nature of the contraction operation and use it to introduce the weaker version of the colour contraction, under the name of $β$-contraction, that the algorithmic solution exploits. We finally dive into the details of the algorithm and we provide a full assesment on its convergence complexity relying on two constructive proofs that deeply unveil its mode of operation.
Higher-dimensional grid-imprimitive block-transitive designs
It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions.
On the number of subsequence sums related to the support of a sequence in finite abelian groups
Let $G$ be a finite abelian group and $S$ a sequence with elements of $G$. Let $|S|$ denote the length of $S$ and $\mathrm{supp}(S)$ the set of all the distinct terms in $S$. For an integer $k$ with $k\in [1, |S|]$, let $Σ_{k}(S) \subset G$ denote the set of group elements which can be expressed as a sum of a subsequence of $S$ with length $k$. Let $Σ(S)=\cup_{k=1}^{|S|}Σ_{k}(S)$ and $Σ_{\geq k}(S)=\cup_{t=k}^{|S|}Σ_{t}(S)$. It is known that if $0\not\in Σ(S)$, then $|Σ(S)|\geq |S|+|\mathrm{supp}(S)|-1$. In this paper, we determine the structure of a sequence $S$ satisfying $0\notin Σ(S)$ and $|Σ(S)|= |S|+|\mathrm{supp}(S)|-1$. As a consequence, we can give a counterexample of a conjecture of Gao, Grynkiewicz, and Xia. Moreover, we prove that if $|S|>k$ and $0\not\in Σ_{\geq k}(S)\cup \mathrm{supp}(S)$, then $|Σ_{\geq k}(S)|\geq |S|-k+|\mathrm{supp}(S)|$. Then we can give an alternative proof of a conjecture of Hamidoune, which was first proved by Gao, Grynkiewicz, and Xia.
Koszulity, supersolvability, and Stirling representations
Published in Ann. Represent. Theory 2, No. 2, 173-247 (2025)
• View Publication
• BIB
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.
Improved Exponent for Marton's Conjecture in $\mathbb{F}_2^n$
A conjecture of Marton, widely known as the polynomial Freiman-Ruzsa conjecture, was recently proved by Gowers, Green, Manners and Tao for any bounded-torsion Abelian group $G$. In this paper we show a few simple modifications that improve their bound in $G=\mathbb{F}_2^n$. Specifically, for $G=\mathbb{F}_2^n$, they proved that any set $A\subseteq G$ with $|A+A|\le K|A|$ can be covered by at most $2K^C$ cosets of a subgroup $H$ of $G$ of cardinality at most $|A|$, with $C=12$. In this paper we prove the same statement for $C=9$.
On the geometry of exponential random graphs and applications
In a seminal paper in 2009, Borcea, Brändén, and Liggett described the connection between probability distributions and the geometry of their generating polynomials. Namely, they characterized that stable generating polynomials correspond to distributions with the strongest form of negative dependence. This motivates us to investigate other distributions that can have this property, and our focus is on random graph models. In this article, we will lay the groundwork to investigate Markov random graphs, and more generally exponential random graph models (ERGMs), from this geometric perspective. In particular, by determining when their corresponding generating polynomials are either stable and/or Lorentzian. The Lorentzian property was first described in 2020 by Brändén and Huh and independently by Anari, Oveis-Gharan, and Vinzant where the latter group called it the completely log-concave property. The theory of stable polynomials predates this, and is commonly thought of as the multivariate notion of real-rootedness. Brändén and Huh proved that stable polynomials are always Lorentzian. Although it is a strong condition, verifying stability is not always feasible. We will characterize when certain classes of Markov random graphs are stable and when they are only Lorentzian. We then shift our attention to applications of these properties to real-world networks.
Divisible design graphs from the symplectic graph
A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a (group) divisible design. Divisible design graphs were introduced in 2011 as a generalization of $(v,k,λ)$-graphs. Here we describe four new infinite families that can be obtained from the symplectic strongly regular graph $Sp(2e,q)$ ($q$ odd, $e\geq 2$) by modifying the set of edges. To achieve this we need two kinds of spreads in $PG(2e-1,q)$ with respect to the associated symplectic form: the symplectic spread consisting of totally isotropic subspaces and, when $e=2$, a special spread consisting of lines which are not totally isotropic. Existence of symplectic spreads is known, but the construction of a special spread for every odd prime power $q$ is a major result of this paper. We have included relevant back ground from finite geometry, and when $q=3,5$ and $7$ we worked out all possible special spreads.
Colour-permuting automorphisms of complete Cayley graphs
Let $G$ be a (finite or infinite) group, and let $K_G = \mathrm{Cay} ( G;G \smallsetminus \{1\} )$ be the complete graph with vertex set $G$, considered as a Cayley graph of $G$. Being a Cayley graph, it has a natural edge-colouring by sets of the form $\{s, s^{-1}\}$ for $s \in G$. We prove that every colour-permuting automorphism of $K_G$ is an affine map, unless $G \cong Q_8 \times B$, where $Q_8$ is the quaternion group of order $8$, and $B$ is an abelian group, such that $b^2$ is trivial for all $b \in B$.
We also prove (without any restriction on $G$) that every colour-permuting automorphism of $K_G$ is the composition of a group automorphism and a colour-preserving graph automorphism. This was conjectured by D.P.Byrne, M.J.Donner, and T.Q.Sibley in 2013.
On the structure of graph product von Neumann algebras
We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other.
Quotient sets in nonabelian groups
We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.
Automorphisms of the generalized cluster complex
Published in American Journal of Combinatorics 4 (2025), 23--41
• Search Publication
It is proved that the generalized cluster complex defined by Fomin and Reading has a dihedral symmetry. Together with diagram symmetries, they generate its automorphism group. A consequence is a simple explicit formula for the order of this automorphism group.
Probabilistic estimates of the diameters of the Rubik's Cube groups
The diameter of the Cayley graph of the Rubik's Cube group is the fewest number of turns needed to solve the Cube from the hardest initial configuration. For the 2$\times$2$\times$2 Cube, the diameter is 11 in the half-turn metric, 14 in the quarter-turn metric, 19 in the semi-quarter-turn metric, and 10 in the bi-quarter-turn metric. For the 3$\times$3$\times$3 Cube, the diameter was determined by Rokicki et al. to be 20 in the half-turn metric and 26 in the quarter-turn metric. This study shows that a modified version of the coupon collector's problem in probability theory can predict the diameters correctly for both 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes insofar as the quarter-turn metric is adopted. In the half-turn metric, the diameters are overestimated by one and two, respectively, for the 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes, whereas for the 2$\times$2$\times$2 Cube in the semi-quarter-turn and bi-quarter-turn metrics, they are overestimated by two and underestimated by one, respectively. Invoking the same probabilistic logic, the diameters of the 4$\times$4$\times$4 and 5$\times$5$\times$5 Cubes are predicted to be 48 (41) and 68 (58) in the quarter-turn (half-turn) metric, whose precise determinations are far beyond reach of classical supercomputing. The probabilistically estimated diameter is shown to obey the approximate formula of $\ln N / \ln r + \ln N / r$, where $N$ is the number of configurations and $r$ is the branching ratio.