Source author record

Eric Swartz

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

15works
3topics
4close collaborators

Published work

15 publications

preprint2026arXiv

Cliques and independent subgroups of the Birkhoff polytope graph

The Birkhoff polytope ΩnΩ_n is the polytope of doubly stochastic matrices of order nn. The Birkhoff polytope graph G(Ωn)G(Ω_n) is the skeleton of ΩnΩ_n; it is the Cayley graph whose vertex set consists of the elements of the symmetric group Sym(n){\rm Sym}(n) of degree nn, where two permutations are adjacent if one equals the product of the other with a cycle. We study the combinatorial structure of this graph, focusing on its maximal and maximum cliques and on its independent subgroups (subgroups of Sym(n){\rm Sym}(n) whose elements are pairwise nonadjacent in the graph). We obtain maximal subgroups of G(Ωn)G(Ω_n) and establish both a lower bound and an upper bound for its clique number. Especially, we prove that if KK is a subset of Sym(n){\rm Sym}(n) consisting of 3-cycle permutations such that δ1−1δ2δ_1^{-1}δ_2 is a single cycle for all δ1,δ2∈Kδ_1,δ_2\in K, then the maximum size of KK is ⌊(n−1)2/4⌋\lfloor (n-1)^2/4\rfloor, which can be viewed as an Erdős-Ko-Rado-type theorem for Sym(n){\rm Sym}(n).

preprint2022arXiv

Locally s-arc-transitive graphs arising from product action

We study locally ss-arc-transitive graphs arising from the quasiprimitive product action (PA). We prove that, for any locally (G,2)(G,2)-arc-transitive graph with GG acting quasiprimitively with type PA on both GG-orbits of vertices, the group GG does not act primitively on either orbit. Moreover, we construct the first examples of locally ss-arc-transitive graphs of PA type that are not standard double covers of ss-arc-transitive graphs of PA type, answering the existence question for these graphs.

preprint2022arXiv

Null ideals of sets of 3×33 \times 3 similar matrices with irreducible characteristic polynomial

Let FF be a field and Mn(F)M_n(F) the ring of n×nn \times n matrices over FF. Given a subset SS of Mn(F)M_n(F), the null ideal of SS is the set of all polynomials ff with coefficients from Mn(F)M_n(F) such that f(A)=0f(A) = 0 for all A∈SA \in S. We say that SS is core if the null ideal of SS is a two-sided ideal of the polynomial ring Mn(F)[x]M_n(F)[x]. We study sufficient conditions under which SS is core in the case where SS consists of 3×33 \times 3 matrices, all of which share the same irreducible characteristic polynomial. In particular, we show that if FF is finite with qq elements and ∣S∣⩾q3−q2+1|S| \geqslant q^3-q^2+1, then SS is core. As a byproduct of our work, we obtain some results on block Vandermonde matrices, invertible matrix commutators, and graphs defined via an invertible difference relation.

preprint2020arXiv

A classification of finite locally 2-transitive generalized quadrangles

Ostrom and Wagner (1959) proved that if the automorphism group GG of a finite projective plane ππ acts 22-transitively on the points of ππ, then ππ is isomorphic to the Desarguesian projective plane and GG is isomorphic to PΓL(3,q)\mathrm{PΓL}(3,q) (for some prime-power qq). In the more general case of a finite rank 22 irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-transitive generalized quadrangles up to duality. Recently, the authors made progress toward this conjecture by classifying those finite generalized quadrangles which have an automorphism group GG acting transitively on antiflags. In this paper, we take this classification much further by weakening the hypothesis to GG being transitive on ordered pairs of collinear points and ordered pairs of concurrent lines.

preprint2020arXiv

Covering numbers of commutative rings

A cover of a unital, associative (not necessarily commutative) ring RR is a collection of proper subrings of RR whose set-theoretic union equals RR. If such a cover exists, then the covering number σ(R)σ(R) of RR is the cardinality of a minimal cover, and a ring RR is called σσ-elementary if σ(R)<σ(R/I)σ(R) < σ(R/I) for every nonzero two-sided ideal II of RR. In this paper, we show that if RR has a finite covering number, then the calculation of σ(R)σ(R) can be reduced to the case where RR is a finite ring of characteristic pp and the Jacobson radical JJ of RR has nilpotency 2. Our main result is that if RR has a finite covering number and R/JR/J is commutative (even if RR itself is not), then either σ(R)=σ(R/J)σ(R)=σ(R/J), or σ(R)=pd+1σ(R)=p^d+1 for some d⩾1d \geqslant 1. As a byproduct, we classify all commutative σσ-elementary rings with a finite covering number and characterize the integers that occur as the covering number of a commutative ring.

preprint2020arXiv

Graphs that contain multiply transitive matchings

Let ΓΓ be a finite, undirected, connected, simple graph. We say that a matching M\mathcal{M} is a \textit{permutable mm-matching} if M\mathcal{M} contains mm edges and the subgroup of Aut(Γ)\text{Aut}(Γ) that fixes the matching M\mathcal{M} setwise allows the edges of M\mathcal{M} to be permuted in any fashion. A matching M\mathcal{M} is \textit{2-transitive} if the setwise stabilizer of M\mathcal{M} in Aut(Γ)\text{Aut}(Γ) can map any ordered pair of distinct edges of M\mathcal{M} to any other ordered pair of distinct edges of M\mathcal{M}. We provide constructions of graphs with a permutable matching; we show that, if ΓΓ is an arc-transitive graph that contains a permutable mm-matching for m≥4m \ge 4, then the degree of ΓΓ is at least mm; and, when mm is sufficiently large, we characterize the locally primitive, arc-transitive graphs of degree mm that contain a permutable mm-matching. Finally, we classify the graphs that have a 22-transitive perfect matching and also classify graphs that have a permutable perfect matching.

preprint2020arXiv

On the number of reachable pairs in a digraph

A pair (u,v)(u, v) of (not necessarily distinct) vertices in a directed graph DD is called a reachable pair if there exists a directed path from uu to vv. We define the weight of DD to be the number of reachable pairs of DD, which equals the sum of the number of vertices in DD and the number of directed edges in the transitive closure of DD. In this paper, we study the set W(n)W(n) of possible weights of directed graphs on nn labeled vertices. We prove that W(n)W(n) can be determined recursively and describe the integers in the set. Moreover, if b(n)⩾nb(n) \geqslant n is the least integer for which there is no digraph on nn vertices with exactly b(n)+1b(n)+1 reachable pairs, we determine b(n)b(n) exactly through a simple recursive formula and find an explicit function g(n)g(n) such that ∣b(n)−g(n)∣<2n|b(n)-g(n)| < 2n for all n⩾3n \geqslant 3. Using these results, we are able to approximate ∣W(n)∣|W(n)| -- which is quadratic in nn -- with an explicit function that is within 30n30n of ∣W(n)∣|W(n)| for all n⩾3n \geqslant 3, thus answering a question of Rao. Since the weight of a directed graph on nn vertices corresponds to the number of elements in a preorder on an nn element set and the number of containments among the minimal open sets of a topology on an nn point space, our theorems are applicable to preorders and topologies.

preprint2020arXiv

Restrictions on parameters of partial difference sets in nonabelian groups

A partial difference set SS in a finite group GG satisfying 1∉S1 \notin S and S=S−1S = S^{-1} corresponds to an undirected strongly regular Cayley graph Cay(G,S){\rm Cay}(G,S). While the case when GG is abelian has been thoroughly studied, there are comparatively few results when GG is nonabelian. In this paper, we provide restrictions on the parameters of a partial difference set that apply to both abelian and nonabelian groups and are especially effective in groups with a nontrivial center. In particular, these results apply to pp-groups, and we are able to rule out the existence of partial difference sets in many instances.

preprint2016arXiv

On the covering number of symmetric groups of even degree

If a group GG is the union of proper subgroups H1,…,HkH_1, \dots, H_k, we say that the collection {H1,…Hk}\{H_1, \dots H_k \} is a cover of GG, and the size of a minimal cover (supposing one exists) is the covering number of GG, denoted σ(G)σ(G). Maróti showed that σ(Sn)=2n−1σ(S_n) = 2^{n-1} for nn odd and sufficiently large, and he also gave asymptotic bounds for nn even. In this paper, we determine the exact value of σ(Sn)σ(S_n) when nn is divisible by 66.

preprint2015arXiv

A classification of finite antiflag-transitive generalized quadrangles

A generalized quadrangle is a point-line incidence geometry Q\mathcal{Q} such that: (i) any two points lie on at most one line, and (ii) given a line ℓ\ell and a point PP not incident with ℓ\ell, there is a unique point of ℓ\ell collinear with PP. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \emph{antiflag-transitive} quadrangles. An antiflag of a generalized quadrangle is a non-incident point-line pair (P,ℓ)(P, \ell), and we say that the generalized quadrangle Q\mathcal{Q} is antiflag-transitive if the group of collineations is transitive on the set of all antiflags. We prove that if a finite thick generalized quadrangle Q\mathcal{Q} is antiflag-transitive, then Q\mathcal{Q} is either a classical generalized quadrangle or is the unique generalized quadrangle of order (3,5)(3,5) or its dual.

preprint2015arXiv

A note on relative hemisystems of Hermitian generalised quadrangles

In this paper we introduce a set of sufficient criteria for the construction of relative hemisystems of the Hermitian space H(3,q2)\mathrm{H}(3,q^2), unifying all known infinite families. We use these conditions to provide new proofs of the existence of the known infinite families of relative hemisystems. Reproving these results has allowed us to find new relative hemisystems closely related to an infinite family of Cossidente's, and develop techniques that are likely to be useful in finding relative hemisystems in future.

preprint2015arXiv

On 22-arc-transitive graphs of order kpnkp^n

We show that there exist functions cc and gg such that, if kk, nn and dd are positive integers with d>g(n)d> g(n) and ΓΓ is a dd-valent 22-arc-transitive graph of order kpnkp^n with pp a prime, then p⩽kc(d)p\leqslant kc(d). In other words, there are only finitely many dd-valent 2-arc-transitive graphs of order kpnkp^n with d>g(n)d>g(n) and pp prime. This generalises a recent result of Conder, Li and Potočnik.

preprint2014arXiv

AS-configurations and skew-translation generalised quadrangles

The only known skew-translation generalised quadrangles (STGQ) having order (q,q)(q,q), with qq even, are translation generalised quadrangles. Equivalently, the only known groups GG of order q3q^3, qq even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group GG admitting an AS-configuration, (ii) a classification of the STGQ of order (8,8)(8,8), and (iii) a classification of the STGQ of order (q,q)(q,q) for odd qq (using work of Ghinelli and Yoshiara).

preprint2014arXiv

On the Covering Number of Small Symmetric Groups and Some Sporadic Simple Groups

A set of proper subgroups is a covering for a group if its union is the whole group. The minimal number of subgroups needed to cover GG is called the covering number of GG, denoted by σ(G)σ(G). Determining σ(G)σ(G) is an open problem for many non-solvable groups. For symmetric groups SnS_n, Maróti determined σ(Sn)σ(S_n) for odd nn with the exception of n=9n=9 and gave estimates for nn even. In this paper we determine σ(Sn)σ(S_n) for n=8n = 8, 99, 1010 and 1212. In addition we find the covering number for the Mathieu group M12M_{12} and improve an estimate given by Holmes for the Janko group J1J_1.

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.