-
On quantitative structure of symplectic groups
Authors:
Seyed Hassan Alavi,
Ashraf Daneshkhah,
Hosein Parvizi Mosaed
Abstract:
The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the set of the number of elements of the same order. This result links to the well-known J. G. Thompson's problem (1987) for finite simple groups.
The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the set of the number of elements of the same order. This result links to the well-known J. G. Thompson's problem (1987) for finite simple groups.
△ Less
Submitted 31 August, 2022; v1 submitted 28 August, 2022;
originally announced August 2022.
-
ARRIVAL: Next Stop in CLS
Authors:
Bernd Gärtner,
Thomas Dueholm Hansen,
Pavel Hubáček,
Karel Král,
Hagar Mosaad,
Veronika Slívová
Abstract:
We study the computational complexity of ARRIVAL, a zero-player game on $n$-vertex switch graphs introduced by Dohrau, Gärtner, Kohler, Matoušek, and Welzl. They showed that the problem of deciding termination of this game is contained in $\text{NP} \cap \text{coNP}$. Karthik C. S. recently introduced a search variant of ARRIVAL and showed that it is in the complexity class PLS. In this work, we s…
▽ More
We study the computational complexity of ARRIVAL, a zero-player game on $n$-vertex switch graphs introduced by Dohrau, Gärtner, Kohler, Matoušek, and Welzl. They showed that the problem of deciding termination of this game is contained in $\text{NP} \cap \text{coNP}$. Karthik C. S. recently introduced a search variant of ARRIVAL and showed that it is in the complexity class PLS. In this work, we significantly improve the known upper bounds for both the decision and the search variants of ARRIVAL.
First, we resolve a question suggested by Dohrau et al. and show that the decision variant of ARRIVAL is in $\text{UP} \cap \text{coUP}$. Second, we prove that the search variant of ARRIVAL is contained in CLS. Third, we give a randomized $\mathcal{O}(1.4143^n)$-time algorithm to solve both variants.
Our main technical contributions are (a) an efficiently verifiable characterization of the unique witness for termination of the ARRIVAL game, and (b) an efficient way of sampling from the state space of the game. We show that the problem of finding the unique witness is contained in CLS, whereas it was previously conjectured to be FPSPACE-complete. The efficient sampling procedure yields the first algorithm for the problem that has expected runtime $\mathcal{O}(c^n)$ with $c<2$.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
On quantitative structure of small Ree groups
Authors:
Seyed Hassan Alavi,
Ashraf Daneshkhah,
Hosein Parvizi Mosaed
Abstract:
The main aim of this article is to study quantitative structure of small Ree Groups $^{2}G_{2}(q)$. Here, we prove that small Ree groups are uniquely determined by their orders and the set of the number of elements of the same order. As a consequence, we give a positive answer to J. G. Thompson's problem for simple groups $^{2}G_{2}(q)$.
The main aim of this article is to study quantitative structure of small Ree Groups $^{2}G_{2}(q)$. Here, we prove that small Ree groups are uniquely determined by their orders and the set of the number of elements of the same order. As a consequence, we give a positive answer to J. G. Thompson's problem for simple groups $^{2}G_{2}(q)$.
△ Less
Submitted 31 May, 2016;
originally announced June 2016.
-
Finite groups of the same type as Suzuki groups
Authors:
Seyed Hassan Alavi,
Ashraf Daneshkhah,
Hosein Parvizi Mosaed
Abstract:
For a finite group $G$ and a positive integer $n$, let $G(n)$ be the set of all elements in $G$ such that $x^{n}=1$. The groups $G$ and $H$ are said to be of the same (order) type if $G(n)=H(n)$, for all $n$. The main aim of this paper is to show that if $G$ is a finite group of the same type as Suzuki groups $Sz(q)$, where $q=2^{2m+1}\geq 8$, then $G$ is isomorphic to $Sz(q)$. This addresses the…
▽ More
For a finite group $G$ and a positive integer $n$, let $G(n)$ be the set of all elements in $G$ such that $x^{n}=1$. The groups $G$ and $H$ are said to be of the same (order) type if $G(n)=H(n)$, for all $n$. The main aim of this paper is to show that if $G$ is a finite group of the same type as Suzuki groups $Sz(q)$, where $q=2^{2m+1}\geq 8$, then $G$ is isomorphic to $Sz(q)$. This addresses the well-known J. G. Thompson's problem (1987) for simple groups.
△ Less
Submitted 31 May, 2016;
originally announced June 2016.