Source author record

Binzhou Xia

Binzhou Xia appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Cubic Graphical Regular Representations of $\mathrm{PSU}_3(q)$

A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. Towards a proof of the conjecture that only finitely many finite simple groups have no cubic GRR, this paper shows that $\mathrm{PSU}_3(q)$ has a cubic GRR if and only if $q\geq4$. Moreover, a cubic GRR of $\mathrm{PSU}_3(q)$ is constructed for each of these $q$.

preprint2022arXiv

Cubic graphical regular representations of some classical simple groups

A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. In this paper we study cubic GRRs of $\mathrm{PSL}_{n}(q)$ ($n=4, 6, 8$), $\mathrm{PSp}_{n}(q)$ ($n=6, 8$), $\mathrm{P}Ω_{n}^{+}(q)$ ($n=8, 10, 12$) and $\mathrm{P}Ω_{n}^{-}(q)$ ($n=8, 10, 12$), where $q = 2^f$ with $f \ge 1$. We prove that for each of these groups, with probability tending to $1$ as $q \rightarrow \infty$, any element $x$ of odd prime order dividing $2^{ef}-1$ but not $2^{i}-1$ for each $1 \le i < ef$ together with a random involution $y$ gives rise to a cubic GRR, where $e=n-2$ for $\mathrm{P}Ω_{n}^{+}(q)$ and $e=n$ for other groups. Moreover, for sufficiently large $q$, there are elements $x$ satisfying these conditions, and for each of them there exists an involution $y$ such that $\{x,x^{-1},y\}$ produces a cubic GRR. This result together with certain known results in the literature implies that except for $\mathrm{PSL}_2(q)$, $\mathrm{PSL}_3(q)$, $\mathrm{PSU}_3(q)$ and a finite number of other cases, every finite non-abelian simple group contains an element $x$ and an involution $y$ such that $\{x,x^{-1},y\}$ produces a GRR, showing that a modified version of a conjecture by Spiga is true. Our results and several known results together also confirm a conjecture by Fang and Xia which asserts that except for a finite number of cases every finite non-abelian simple group has a cubic GRR.

preprint2020arXiv

On flag-transitive 2-(v,k,2) designs

This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) for some n \geq 3. Alongside this analysis, we give a construction for a flag-transitive 2-(v,k-1,k-2) design from a given flag-transitive 2-(v,k,1) design which induces a 2-transitive action on a line. Taking the design of points and lines of the projective space PG(n-1,3) as input to this construction yields a G-flag-transitive 2-(v,3,2) design where G has socle PSL(n,3) and v=(3^n-1)/2. Apart from these designs, our PSL-classification yields exactly one other example, namely the complement of the Fano plane.

preprint2016arXiv

Factorizations of almost simple groups with a solvable factor, and Cayley graphs of solvable groups

A classification is given for factorizations of almost simple groups with at least one factor solvable, and it is then applied to characterize $s$-arc-transitive Cayley graphs of solvable groups, leading to a striking corollary: Except the cycles, every non-bipartite connected 3-arc-transitive Cayley graph of a solvable group is a cover of the Petersen graph or the Hoffman-Singleton graph.

preprint2016arXiv

On Isomorphisms of Vertex-transitive Graphs

The isomorphism problem of Cayley graphs has been well studied in the literature, such as characterizations of CI (DCI)-graphs and CI (DCI)-groups. In this paper, we generalize these to vertex-transitive graphs and establish parallel results. Some interesting vertex-transitive graphs are given, including a first example of connected symmetric non-Cayley non-GI-graph. Also, we initiate the study for GI and DGI-groups, defined analogously to the concept of CI and DCI-groups.

preprint2015arXiv

Decomposing modular tensor products, and periodicity of `Jordan partitions'

Let $J_r$ denote an $r\times r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$. Suppose $r\leq s$. It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$. The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$, which depends only on $r,s$ and the characteristic $p$ of $F$, has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$-power exceeding $r$. This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$-power exceeding the (potentially large) integer $s$. We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$, and all primes $p$. This generalizes work of K-i. Iima and R. Iwamatsu.

preprint2014arXiv

Decomposing modular tensor products: `Jordan partitions', their parts and p-parts

Determining the Jordan canonical form of the tensor product of Jordan blocks has many applications including to the representation theory of algebraic groups, and to tilting modules. Although there are several algorithms for computing this decomposition in literature, it is difficult to predict the output of these algorithms. We call a decomposition of the form $J_r\otimes J_s=J_{λ_1}\oplus\cdots\oplus J_{λ_b}$ a `Jordan partition'. We prove several deep results concerning the $p$-parts of the $λ_i$ where $p$ is the characteristic of the underlying field. Our main results include the proof of two conjectures made by McFall in 1980, and the proof that ${\rm lcm}(r,s)$ and $\gcd(λ_1,\dots,λ_b)$ have equal $p$-parts. Finally, we establish some explicit formulas for Jordan partitions when $p=2$.