Source author record

Binzhou Xia

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
4topics
4close collaborators

Published work

12 publications

preprint2022arXiv

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

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

preprint2022arXiv

Cubic graphical regular representations of some classical simple groups

A graphical regular representation (GRR) of a group GG is a Cayley graph of GG whose full automorphism group is equal to the right regular permutation representation of GG. In this paper we study cubic GRRs of PSLn(q)\mathrm{PSL}_{n}(q) (n=4,6,8n=4, 6, 8), PSpn(q)\mathrm{PSp}_{n}(q) (n=6,8n=6, 8), PΩn+(q)\mathrm{P}Ω_{n}^{+}(q) (n=8,10,12n=8, 10, 12) and PΩn−(q)\mathrm{P}Ω_{n}^{-}(q) (n=8,10,12n=8, 10, 12), where q=2fq = 2^f with f≥1f \ge 1. We prove that for each of these groups, with probability tending to 11 as q→∞q \rightarrow \infty, any element xx of odd prime order dividing 2ef−12^{ef}-1 but not 2i−12^{i}-1 for each 1≤i<ef1 \le i < ef together with a random involution yy gives rise to a cubic GRR, where e=n−2e=n-2 for PΩn+(q)\mathrm{P}Ω_{n}^{+}(q) and e=ne=n for other groups. Moreover, for sufficiently large qq, there are elements xx satisfying these conditions, and for each of them there exists an involution yy such that {x,x−1,y}\{x,x^{-1},y\} produces a cubic GRR. This result together with certain known results in the literature implies that except for PSL2(q)\mathrm{PSL}_2(q), PSL3(q)\mathrm{PSL}_3(q), PSU3(q)\mathrm{PSU}_3(q) and a finite number of other cases, every finite non-abelian simple group contains an element xx and an involution yy such that {x,x−1,y}\{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 ss-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 JrJ_r denote an r×rr\times r matrix over a finite field FF with minimal and characteristic polynomials (t−1)r(t-1)^r. Suppose r≤sr\leq s. It is not hard to show that the Jordan canonical form of Jr⊗JsJ_r\otimes J_s is similar to Jλ1⊕⋯⊕JλrJ_{λ_1}\oplus\cdots\oplus J_{λ_r} where λ1≥⋯≥λr>0λ_1\geq\cdots\geqλ_r>0 and ∑i=1rλi=rs\sum_{i=1}^rλ_i=rs. The partition λ(r,s,p):=(λ1,…,λr)λ(r,s,p):=(λ_1,\dots,λ_r) of rsrs, which depends only on r,sr,s and the characteristic pp of FF, has many applications including to the study of algebraic groups. We prove new periodicity and duality results for λ(r,s,p)λ(r,s,p) that depend on the smallest pp-power exceeding rr. This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest pp-power exceeding the (potentially large) integer ss. We show that for fixed rr we can construct a finite table allowing the computation of λ(r,s,p)λ(r,s,p) for all ss with s≥rs\geq r, and all primes pp. 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 Jr⊗Js=Jλ1⊕⋯⊕JλbJ_r\otimes J_s=J_{λ_1}\oplus\cdots\oplus J_{λ_b} a `Jordan partition'. We prove several deep results concerning the pp-parts of the λiλ_i where pp 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 lcm(r,s){\rm lcm}(r,s) and gcd⁡(λ1,…,λb)\gcd(λ_1,\dots,λ_b) have equal pp-parts. Finally, we establish some explicit formulas for Jordan partitions when p=2p=2.

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.