-
Group cosets with all elements of equal order
Authors:
Alan R. Camina,
Rachel D. Camina,
Mark L. Lewis,
Emanuele Pacifici,
Lucia Sanus,
Marco Vergani
Abstract:
Let $G$ be a finite group and $N$ a proper, nontrivial, normal subgroup of $G$. If, for every element $x$ of $G$ not lying in $N$, the elements in the coset $xN$ all have the same order as $x$, then we say that $(G,N)$ is an {\it{equal order pair}}. This generalizes the concept of a Camina pair, that was introduced by the first author. In the present paper we study several properties of equal orde…
▽ More
Let $G$ be a finite group and $N$ a proper, nontrivial, normal subgroup of $G$. If, for every element $x$ of $G$ not lying in $N$, the elements in the coset $xN$ all have the same order as $x$, then we say that $(G,N)$ is an {\it{equal order pair}}. This generalizes the concept of a Camina pair, that was introduced by the first author. In the present paper we study several properties of equal order pairs, showing that in many respects they resemble Camina pairs, but with some important differences.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
On the Number of Disconnected Character Degree Graphs Satisfying Pálfy's Inequality
Authors:
Mark L. Lewis,
Andrew Summers
Abstract:
Let $G$ be a finite solvable group with disconnected character degree graph $Δ(G)$. Under these conditions, it follows from a result of Pálfy that $Δ(G)$ consists of two connected components. Another result of Pálfy's gives an inequality relating the sizes of these two connected components. In this paper, we calculate the number of possible component size pairs that satisfy Pálfy's inequality. Add…
▽ More
Let $G$ be a finite solvable group with disconnected character degree graph $Δ(G)$. Under these conditions, it follows from a result of Pálfy that $Δ(G)$ consists of two connected components. Another result of Pálfy's gives an inequality relating the sizes of these two connected components. In this paper, we calculate the number of possible component size pairs that satisfy Pálfy's inequality. Additionally, for a fixed positive integer $n$, the number of distinct graph orders for which exactly $n$ component size pairs satisfy Pálfy's inequality is shown.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
$M$-groups and Codegrees; $M_{p}$-groups and Brauer Character Degrees
Authors:
Xiaoyou Chen,
Mark L. Lewis
Abstract:
Let $G$ be a finite group and $p$ be a prime. We prove that if $G$ has three codegrees, then $G$ is an $M$-group. We prove for some prime $p$ that if every irreducible Brauer character of $G$ is a prime, then for every normal subgroup $N$ of $G$ either $G/N$ or $N$ is an $M_p$-group.
Let $G$ be a finite group and $p$ be a prime. We prove that if $G$ has three codegrees, then $G$ is an $M$-group. We prove for some prime $p$ that if every irreducible Brauer character of $G$ is a prime, then for every normal subgroup $N$ of $G$ either $G/N$ or $N$ is an $M_p$-group.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Triangle-free cyclic conjugacy class graph of a finite group
Authors:
Mark L. Lewis,
Abbas Mohammadian
Abstract:
We generalize the enhanced power graph by replacing elements with conjugacy classes. The main result of this paper is to determine when this graph is triangle-free.
We generalize the enhanced power graph by replacing elements with conjugacy classes. The main result of this paper is to determine when this graph is triangle-free.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Generalizing the enhanced power graph of a group with respect to automorphisms
Authors:
Abbas Mohammadian,
Ismail Guloglu,
Ahmad Erfanian,
Mark L. Lewis
Abstract:
We generalize the enhanced power graph by replacing elements with classes under automorphisms. We show that the connectivity and diameter of this graph is similar to that of the enhanced power graph. We consider the universal vertices of this graph and when this graph is a complete graph. Finally, we classify when this graph is the empty graph.
We generalize the enhanced power graph by replacing elements with classes under automorphisms. We show that the connectivity and diameter of this graph is similar to that of the enhanced power graph. We consider the universal vertices of this graph and when this graph is a complete graph. Finally, we classify when this graph is the empty graph.
△ Less
Submitted 9 March, 2025; v1 submitted 21 February, 2025;
originally announced February 2025.
-
Values of Ducci Periods for Sequences on $\mathbb{Z}_m^n$
Authors:
Mark L. Lewis,
Shannon M. Tefft
Abstract:
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined so that \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] We call $D$ the Ducci function and the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$ for $\mathbf{u} \in \mathbb{Z}_m^n$. Every Ducci sequence enters a cycle, so we can let…
▽ More
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined so that \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] We call $D$ the Ducci function and the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$ for $\mathbf{u} \in \mathbb{Z}_m^n$. Every Ducci sequence enters a cycle, so we can let $\text{Per}(\mathbf{u})$ be the number of tuples in the Ducci cycle of $\mathbf{u}$, or the period of $\mathbf{u}$. In this paper, we will look at what different possible values of $\text{Per}(\mathbf{u})$ we can have and some conditions that if $\mathbf{u}$ meets at least one of them, $\mathbf{u}$ will generate a period smaller than the maximum period.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
Examining $H$-Closed Ducci Sequences on $\mathbb{Z}_m^n$
Authors:
Mark L. Lewis,
Shannon M. Tefft
Abstract:
Let $D$ be an endomorphism on $\mathbb{Z}_m^n$ so that \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] We call the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u} \in \mathbb{Z}_m^n$, which always enters a cycle. Now let $H$ be an endomorphism on $\mathbb{Z}_m^n$ such that \[H(x_1, x_2, ..., x_n)=(…
▽ More
Let $D$ be an endomorphism on $\mathbb{Z}_m^n$ so that \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] We call the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u} \in \mathbb{Z}_m^n$, which always enters a cycle. Now let $H$ be an endomorphism on $\mathbb{Z}_m^n$ such that \[H(x_1, x_2, ..., x_n)=(x_2, x_3, ..., x_n, x_1).\] In this paper, we will talk about a few cases when $\mathbf{u}$ and $H^β(\mathbf{u})$ have the same Ducci cycle for $β> 0$, as well as prove a few cases of $n,m$ where this is guaranteed for every $\mathbf{u} \in \mathbb{Z}_m^n$.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
Neighborhoods, connectivity, and diameter of the nilpotent graph of a finite group
Authors:
Costantino Delizia,
Michele Gaeta,
Mark L. Lewis,
Carmine Monetta
Abstract:
The nilpotent graph of a group $G$ is the simple and undirected graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if they generate a nilpotent subgroup of $G$. Here we discuss some topological properties of the nilpotent graph of a finite group $G$. Indeed, we characterize finite solvable groups whose closed neighborhoods are nilpotent subgroups. Moreover, we stud…
▽ More
The nilpotent graph of a group $G$ is the simple and undirected graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if they generate a nilpotent subgroup of $G$. Here we discuss some topological properties of the nilpotent graph of a finite group $G$. Indeed, we characterize finite solvable groups whose closed neighborhoods are nilpotent subgroups. Moreover, we study the connectivity of the graph $Γ(G)$ obtained removing all universal vertices from the nilpotent graph of $G$. Some upper bounds to the diameter of $Γ(G)$ are provided when $G$ belongs to some classes of groups.
△ Less
Submitted 10 February, 2025; v1 submitted 5 February, 2025;
originally announced February 2025.
-
Semi-extraspecial $p$-groups with automorphisms of large order
Authors:
Sofia Brenner,
Rachel D. Camina,
Mark L. Lewis
Abstract:
In this paper, we consider semi-extraspecial $p$-groups $G$ that have an automorphism of order $|G:G'| - 1$. We prove that these groups are isomorphic to Sylow $p$-subgroups of ${\rm SU}_3 (p^{2a})$ for some integer $a$. If $p$ is odd, this is equivalent to saying that $G$ is isomorphic to a Sylow $p$-subgroup of ${\rm SL}_3 (p^a)$.
In this paper, we consider semi-extraspecial $p$-groups $G$ that have an automorphism of order $|G:G'| - 1$. We prove that these groups are isomorphic to Sylow $p$-subgroups of ${\rm SU}_3 (p^{2a})$ for some integer $a$. If $p$ is odd, this is equivalent to saying that $G$ is isomorphic to a Sylow $p$-subgroup of ${\rm SL}_3 (p^a)$.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
On non self-normalizing subgroups
Authors:
Mariagrazia Bianchi,
Rachel D. Camina,
Mark L. Lewis,
Emanuele Pacifici,
Lucia Sanus
Abstract:
Let $n$ be a non negative integer, and define $D_n$ to be the family of all finite groups having precisely $n$ conjugacy classes of nontrivial subgroups that are not self-normalizing. We are interested in studying the behavior of $D_n$ and its interplay with solvability and nilpotency. We first show that if $G$ belongs to $D_n$ with $n \le 3$, then $G$ is solvable of derived length at most 2. We a…
▽ More
Let $n$ be a non negative integer, and define $D_n$ to be the family of all finite groups having precisely $n$ conjugacy classes of nontrivial subgroups that are not self-normalizing. We are interested in studying the behavior of $D_n$ and its interplay with solvability and nilpotency. We first show that if $G$ belongs to $D_n$ with $n \le 3$, then $G$ is solvable of derived length at most 2. We also show that $A_5$ is the unique nonsolvable group in $D_4$, and that $SL_2(3)$ is the unique solvable group in $D_4$ whose derived length is larger than 2. For a group $G$, we define $D(G)$ to be the number of conjugacy classes of nontrivial subgroups that are not self-normalizing. We determine the relationship between $D(H \times K)$ and $D(H)$ and $D(K)$. We show that if $G$ is nilpotent and lies in $D_n$, then $G$ has nilpotency class at most $n/2$ and its derived length is at most $\log_2 (n/2) + 1$. We consider $D_n$ for several classes of Frobenius groups, and we use this classification to classify the groups in $D_0$, $D_1$, $D_2$, and $D_3$. Finally, we show that if $G$ is solvable and lies in $D_n$ with $n \ge 3$, then $G$ has derived length at most the minimum of $n-1$ and $3 \log_2 (n+1) + 9$.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Groups with a Fixed Character Degree
Authors:
Mark L. Lewis,
Brandon Martin
Abstract:
Let $G$ be a finite group, and let $d$ be the degree of an irreducible character of $G$ such that $|G|=d(d+e)$ for some $e>1$. Consider the case when $G$ is solvable, $d$ is square-free, and $(d,d+e)=1$. We wish to explore an equivalent condition on $G$ when $d\in\text{cd}(G)$. We show that if $d\in\text{cd}(G)$ then there is a sequence of congruences relating the prime power factors of $d+e$ to t…
▽ More
Let $G$ be a finite group, and let $d$ be the degree of an irreducible character of $G$ such that $|G|=d(d+e)$ for some $e>1$. Consider the case when $G$ is solvable, $d$ is square-free, and $(d,d+e)=1$. We wish to explore an equivalent condition on $G$ when $d\in\text{cd}(G)$. We show that if $d\in\text{cd}(G)$ then there is a sequence of congruences relating the prime power factors of $d+e$ to the product of prime factors of $d$ such that the product of the moduli in this sequence of congruences is $d$. Moreover, the argument will hold in both directions.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
The Maximum Length for Ducci Sequences on $\mathbb{}Z_m^n$ when $n$ is Even
Authors:
Mark L. Lewis,
Shannon M. Tefft
Abstract:
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined so \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] $D$ is known as the Ducci function and for $\mathbf{u} \in \mathbb{Z}_m^n$, $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ is the Ducci sequence of $\mathbf{u}$. Every Ducci sequence enters a cycle because $\mathbb{Z}_m^n$ is finite. In…
▽ More
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined so \[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\] $D$ is known as the Ducci function and for $\mathbf{u} \in \mathbb{Z}_m^n$, $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ is the Ducci sequence of $\mathbf{u}$. Every Ducci sequence enters a cycle because $\mathbb{Z}_m^n$ is finite. In this paper, we aim to establish an upper bound for how long it will take for a Ducci sequence in $\mathbb{Z}_m^n$ to enter its cycle when $n$ is even.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
On common zeros of characters of finite groups
Authors:
Mark L. Lewis,
Lucia Morotti,
Emanuele Pacifici,
Lucia Sanus,
Hung P. Tong-Viet
Abstract:
Let $G$ be a finite group, and let $\text{Irr}(G)$ denote the set of the irreducible complex characters of $G$. An element $g\in G$ is called a vanishing element of $G$ if there exists $χ\in\text{Irr}(G)$ such that $χ(g)=0$ (i.e., $g$ is a zero of $χ$) and, in this case, the conjugacy class $g^G$ of $g$ in $G$ is called a vanishing conjugacy class. In this paper we consider several problems concer…
▽ More
Let $G$ be a finite group, and let $\text{Irr}(G)$ denote the set of the irreducible complex characters of $G$. An element $g\in G$ is called a vanishing element of $G$ if there exists $χ\in\text{Irr}(G)$ such that $χ(g)=0$ (i.e., $g$ is a zero of $χ$) and, in this case, the conjugacy class $g^G$ of $g$ in $G$ is called a vanishing conjugacy class. In this paper we consider several problems concerning vanishing elements and vanishing conjugacy classes; in particular, we consider the problem of determining the least number of conjugacy classes of a finite group $G$ such that every non-linear $χ\in\text{Irr}(G)$ vanishes on one of them. We also consider the related problem of determining the minimum number of non-linear irreducible characters of a group such that two of them have a common zero.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
On neighborhoods in the enhanced power graph associated with a finite group
Authors:
Mark L. Lewis,
Carmine Monetta
Abstract:
This article investigates neighborhoods' sizes in the enhanced power graph (as known as the cyclic graph) associated with a finite group. In particular, we characterize finite $p$-groups with the smallest maximum size for neighborhoods of nontrivial element in its enhanced power graph.
This article investigates neighborhoods' sizes in the enhanced power graph (as known as the cyclic graph) associated with a finite group. In particular, we characterize finite $p$-groups with the smallest maximum size for neighborhoods of nontrivial element in its enhanced power graph.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Modeling and solving cascading failures across interdependent infrastructure systems
Authors:
Yijiang Li,
Kibaek Kim,
Sven Leyffer,
Matt Menickelly,
Lawrence Paul Lewis,
Joshua Bergerson
Abstract:
Physical infrastructure systems supply crucial resources to residential, commercial, and industrial activities. These infrastructure systems generally consist of multiple types of infrastructure assets that are interdependent. In the event of a disaster, some of the infrastructure assets can be damaged and disabled, creating failures that propagate to other assets that depend on the disabled asset…
▽ More
Physical infrastructure systems supply crucial resources to residential, commercial, and industrial activities. These infrastructure systems generally consist of multiple types of infrastructure assets that are interdependent. In the event of a disaster, some of the infrastructure assets can be damaged and disabled, creating failures that propagate to other assets that depend on the disabled assets and cause a cascade of failures that may lead to a potential system collapse. We present a bilevel interdiction model in this paper to study this problem of cascading failures in a system of interdependent infrastructure systems with a nondeterministic dependency graph. We also propose a computationally tractable reformulation of the proposed bilevel model and utilize a Benders-type decomposition algorithm to solve the resulting formulation. Computational experiments are performed using infrastructure networks generated from anonymized real-world data to validate the performance of this algorithm.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
A Systematic Methodology for Modeling and Attitude Control of Multi-body Space Telescopes
Authors:
Yaguang Yang,
William Bentz,
Lia Lewis
Abstract:
This paper derives a symbolic multi-body rigid nonlinear model for a space telescope using Stoneking's implementation of Kane's method. This symbolic nonlinear model is linearized using Matlab symbolic functions {\tt diff} and {\tt inv} because the analytic linearization is intractable for manual derivation. The linearized system model is then used to design the controllers using both linear quadr…
▽ More
This paper derives a symbolic multi-body rigid nonlinear model for a space telescope using Stoneking's implementation of Kane's method. This symbolic nonlinear model is linearized using Matlab symbolic functions {\tt diff} and {\tt inv} because the analytic linearization is intractable for manual derivation. The linearized system model is then used to design the controllers using both linear quadratic regulator (LQR) and robust pole assignment methods. The closed-loop systems for the two designs are simulated using both the rigid model as well as a second model containing flexible modes. The performances of the two designs are compared based on the simulation testing results. Our conclusion is that the robust pole assignment design offers better performance than that of the LQR system in terms of actuator usage and pointing accuracy. However, the LQR approach remains an effective first design step that can inform the selection of real eigenvalues for robust pole assignment. The proposed method may be used for the modeling and controller designs for various multi-body systems.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Ducci on $\mathbb{Z}_m^n$ and the Maximum Length for $n$ Odd
Authors:
Mark L. Lewis,
Shannon M. Tefft
Abstract:
Define the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ so \[D(x_1,x_2, ...,x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\]
Call $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$. Because $\mathbb{Z}_m^n$ is finite, every Ducci sequence will enter a cycle. In this paper, we will prove that if $n$ is odd and…
▽ More
Define the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ so \[D(x_1,x_2, ...,x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m).\]
Call $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$. Because $\mathbb{Z}_m^n$ is finite, every Ducci sequence will enter a cycle. In this paper, we will prove that if $n$ is odd and $m=2^lm_1$ where $m_1$ is odd, then the longest it will take for a Ducci sequence to enter its cycle is $l$ iterations. Furthermore, we will prove the set of all tuples in a cycle for $\mathbb{Z}_m^n$ is $\{(x_1, x_2, ..., x_n) \in \mathbb{Z}_m^n \; \mid \; x_1+x_2+ \cdots +x_n \equiv 0 \; \text{mod} \; 2^l\}$.
△ Less
Submitted 29 August, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Some results on the norm of finite groups
Authors:
Mark L. Lewis,
Zhencai Shen,
Quanfu Yan
Abstract:
Let $G$ be a finite group and $N_Ω(G)$ be the intersection of the normalizers of all subgroups belonging to the set $Ω(G),$ where $Ω(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this paper, we show that $N_Ω(G)= Z_{\infty}(G)$ if $Ω(G)$ is one of the following: (i) the set of all self-normalizing subgroups of $G$; (ii) the set of all subgroups of $G$ satisfyi…
▽ More
Let $G$ be a finite group and $N_Ω(G)$ be the intersection of the normalizers of all subgroups belonging to the set $Ω(G),$ where $Ω(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this paper, we show that $N_Ω(G)= Z_{\infty}(G)$ if $Ω(G)$ is one of the following: (i) the set of all self-normalizing subgroups of $G$; (ii) the set of all subgroups of $G$ satisfying the subnormalizer condition in $G$; (iii) the set of all pronormal subgroups of $G$; (iv) the set of all $\mathscr{H}$-subgroups of $G$; (v) the set of all weakly normal subgroups of $G$; (vi) the set of all $NE$-subgroups of $G$.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
On the group pseudo-algebra of finite groups
Authors:
Mark L. Lewis,
Quanfu Yan
Abstract:
Let $G$ be a finite group. The group pseudo-algebra of $G$ is defined as the multi-set $C(G)=\{(d,m_G(d))\mid d\in{\rm Cod}(G)\},$ where $m_G(d)$ is the number of irreducible characters of with codegree $d\in {\rm Cod}(G)$. We show that there exist two finite $p$-groups with distinct orders that have the same group pseudo-algebra, providing an answer to Question 3.2 in \cite{Moreto2023}. In additi…
▽ More
Let $G$ be a finite group. The group pseudo-algebra of $G$ is defined as the multi-set $C(G)=\{(d,m_G(d))\mid d\in{\rm Cod}(G)\},$ where $m_G(d)$ is the number of irreducible characters of with codegree $d\in {\rm Cod}(G)$. We show that there exist two finite $p$-groups with distinct orders that have the same group pseudo-algebra, providing an answer to Question 3.2 in \cite{Moreto2023}. In addition, we also discuss under what hypothesis two $p$-groups with the same group pseudo-algebra will be isomorphic.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
A note on the codegree of finite groups
Authors:
Mark L. Lewis,
Quanfu Yan
Abstract:
Let $χ$ be an irreducible character of a group $G,$ and $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ)$ be the sum of the codegrees of the irreducible characters of $G.$ Write ${\rm fcod} (G)=\frac{S_c(G)}{|G|}.$ We aim to explore the structure of finite groups in terms of ${\rm fcod} (G).$ On the other hand, we determine the lower bound of $S_c(G)$ for nonsolvable groups and prove that if $G$ is no…
▽ More
Let $χ$ be an irreducible character of a group $G,$ and $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ)$ be the sum of the codegrees of the irreducible characters of $G.$ Write ${\rm fcod} (G)=\frac{S_c(G)}{|G|}.$ We aim to explore the structure of finite groups in terms of ${\rm fcod} (G).$ On the other hand, we determine the lower bound of $S_c(G)$ for nonsolvable groups and prove that if $G$ is nonsolvable, then $S_c(G)\geq S_c(A_5)=68,$ with equality if and only if $G\cong A_5.$ Additionally, we show that there is a solvable group so that it has the codegree sum as $A_5.$
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
On the sum of character codegrees of finite groups
Authors:
Mark L. Lewis,
Quanfu Yan
Abstract:
Let $χ$ be an irreducible character of a group $G.$ We denote the sum of the codegrees of the irreducible characters of $G$ by $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ).$ We consider the question if $S_c(G)\leq S_c(C_n)$ is true for any finite group $G,$ where $n=|G|$ and $C_n$ is a cyclic group of order $n.$ We show this inequality holds for many classes of groups. In particular, we provide an…
▽ More
Let $χ$ be an irreducible character of a group $G.$ We denote the sum of the codegrees of the irreducible characters of $G$ by $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ).$ We consider the question if $S_c(G)\leq S_c(C_n)$ is true for any finite group $G,$ where $n=|G|$ and $C_n$ is a cyclic group of order $n.$ We show this inequality holds for many classes of groups. In particular, we provide an affirmative answer for any finite group whose order is divisible by up to 99 primes. However, we show that the question does not hold true in all cases, by evidence of a counterexample.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
A lower bound on the size of maximal abelian subgroups
Authors:
Mark L. Lewis
Abstract:
Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max} \{|cl(g)| : g \in G \setminus Z(G) \},$$ and $p^a = |A:Z(G)|$. Then we show that $a \ge n/(b+l)$.
Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max} \{|cl(g)| : g \in G \setminus Z(G) \},$$ and $p^a = |A:Z(G)|$. Then we show that $a \ge n/(b+l)$.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Ducci on $\mathbb{Z}_m^3$ and the Max Period
Authors:
Mark L. Lewis,
Shannon M Tefft
Abstract:
Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually enter a cycle. If $n=3$, we aim to establish the longest a cycle can be for a given $m$.
Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually enter a cycle. If $n=3$, we aim to establish the longest a cycle can be for a given $m$.
△ Less
Submitted 13 March, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Characterizing finite groups whose enhanced power graphs have universal vertices
Authors:
David G. Costanzo,
Mark L. Lewis,
Stefano Schmidt,
Eyob Tsegaye,
Gabe Udell
Abstract:
Let $G$ be a finite group and construct a graph $Δ(G)$ by taking $G\setminus\{1\}$ as the vertex set of $Δ(G)$ and by drawing an edge between two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. Let $K(G)$ be the set consisting of the universal vertices of $Δ(G)$ along the identity element. For a solvable group $G$, we present a necessary and sufficient conditon for $K(G)$ to be nontrivial.…
▽ More
Let $G$ be a finite group and construct a graph $Δ(G)$ by taking $G\setminus\{1\}$ as the vertex set of $Δ(G)$ and by drawing an edge between two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. Let $K(G)$ be the set consisting of the universal vertices of $Δ(G)$ along the identity element. For a solvable group $G$, we present a necessary and sufficient conditon for $K(G)$ to be nontrivial. We also develop a connection between $Δ(G)$ and $K(G)$ when $|G|$ is divisible by two distinct primes and the diameter of $Δ(G)$ is $2$.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
The Period of Ducci Cycles on $\mathbb{Z}_{2^l}$ for Tuples of Length $2^k$
Authors:
Mark L. Lewis,
Shannon M. Tefft
Abstract:
Let the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined as
\[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)\]
and let the Ducci sequence of $\mathbf{u}$ be the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$.
%In this paper, we will prove that if $n,m$ are powers of $2$, then repeatedly applying $D$ will eventual…
▽ More
Let the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined as
\[D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)\]
and let the Ducci sequence of $\mathbf{u}$ be the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$.
%In this paper, we will prove that if $n,m$ are powers of $2$, then repeatedly applying $D$ will eventually result in $(0,0,...,0)$, as well as establish an upper bound for how many iterations it will take for this to happen.
In this paper, we will provide another proof that for $n=2^k$ and $m=2^l$, that all Ducci sequences will end in $(0,0,...,0)$ and additionally prove that this will happen in at most $2^{k-1}(l+1)$ iterations of $D$.
△ Less
Submitted 29 August, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Finite solvable tidy Groups whose orders are divisible by two primes
Authors:
Nicolas F. Beike,
Rachel Carleton,
David G. Costanzo,
Colin Heath,
Mark L. Lewis,
Kaiwen Lu,
Jamie D. Pearce
Abstract:
In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy.
In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Solvable groups whose monomial, monolithic characters have prime power codegrees
Authors:
Xiaoyou Chen,
Mark L. Lewis
Abstract:
In this note, we prove that if $G$ is solvable and ${\rm cod}(χ)$ is a $p$-power for every nonlinear, monomial, monolithic $χ\in {\rm Irr}(G)$ or every nonlinear, monomial, monolithic $χ\in {\rm IBr} (G)$, then $P$ is normal in $G$, where $p$ is a prime and $P$ is a Sylow $p$-subgroup of $G$.
In this note, we prove that if $G$ is solvable and ${\rm cod}(χ)$ is a $p$-power for every nonlinear, monomial, monolithic $χ\in {\rm Irr}(G)$ or every nonlinear, monomial, monolithic $χ\in {\rm IBr} (G)$, then $P$ is normal in $G$, where $p$ is a prime and $P$ is a Sylow $p$-subgroup of $G$.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
On groups that can be covered by conjugates of finitely many cyclic or procyclic subgroups
Authors:
Yiftach Barnea,
Rachel Camina,
Mikhail Ershov,
Mark L. Lewis
Abstract:
Given a discrete (resp. profinite) group $G$, we define $NCC(G)$ to be the smallest number of cyclic (resp. procyclic) subgroups of $G$ whose conjugates cover $G$. In this paper we determine all residually finite discrete groups with finite NCC and give an almost complete characterization of profinite groups with finite NCC.
Given a discrete (resp. profinite) group $G$, we define $NCC(G)$ to be the smallest number of cyclic (resp. procyclic) subgroups of $G$ whose conjugates cover $G$. In this paper we determine all residually finite discrete groups with finite NCC and give an almost complete characterization of profinite groups with finite NCC.
△ Less
Submitted 5 February, 2025; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Group elements whose character values are roots of unity
Authors:
Mark L. Lewis,
Lucia Morotti,
Hung P. Tong-Viet
Abstract:
We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$.
We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
A Review on Higher Order Spline Techniques for Solving Burgers Equation using B-Spline methods and Variation of B-Spline Techniques
Authors:
Maryam Khazaei Pool,
Lori Lewis
Abstract:
This is a summary of articles based on higher order B-splines methods and the variation of B-spline methods such as Quadratic B-spline Finite Elements Method, Exponential Cubic B-Spline Method Septic B-spline Technique, Quintic B-spline Galerkin Method, and B-spline Galerkin Method based on the Quadratic B-spline Galerkin method (QBGM) and Cubic B-spline Galerkin method (CBGM). In this paper we st…
▽ More
This is a summary of articles based on higher order B-splines methods and the variation of B-spline methods such as Quadratic B-spline Finite Elements Method, Exponential Cubic B-Spline Method Septic B-spline Technique, Quintic B-spline Galerkin Method, and B-spline Galerkin Method based on the Quadratic B-spline Galerkin method (QBGM) and Cubic B-spline Galerkin method (CBGM). In this paper we study the B-spline methods and variations of B-spline techniques to find a numerical solution to the Burgers' equation. A set of fundamental definitions including Burgers equation, spline functions, and B-spline functions are provided. For each method, the main technique is discussed as well as the discretization and stability analysis. A summary of the numerical results is provided and the efficiency of each method presented is discussed. A general conclusion is provided where we look at a comparison between the computational results of all the presented schemes. We describe the effectiveness and advantages of these methods
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
Conjugacy classes of maximal cyclic subgroups of metacyclic $p$-groups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
The Average of Some Irreducible Character Degrees
Authors:
Ramadan Elsharif,
Mark L. Lewis
Abstract:
We are interested in determining the bound of the average of the degrees of the irreducible characters whose degrees are not divisible by some prime $p$ that guarantees a finite group $G$ of odd order is $p$-nilpotent. We find a bound that depends on the prime $p$. If we further restrict our average by fixing a subfield $k$ of the complex numbers and then compute the average of the degrees of the…
▽ More
We are interested in determining the bound of the average of the degrees of the irreducible characters whose degrees are not divisible by some prime $p$ that guarantees a finite group $G$ of odd order is $p$-nilpotent. We find a bound that depends on the prime $p$. If we further restrict our average by fixing a subfield $k$ of the complex numbers and then compute the average of the degrees of the irreducible characters whose degrees are not divisible by $p$ and have values in $k$, then we will see that we obtain a bound that depends on both $p$ and $k$. Moreover, we find examples that make those bounds best possible.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Groups having all elements off a normal subgroup with prime power order
Authors:
Mark L. Lewis
Abstract:
We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either $G$ is a $p$-group or $G = PN$ where $P$ is a Sylow $p$-subgroup and $(G,P,P \cap N)$ is a Frobenius-Wielandt triple. We also prove that if all the elements of…
▽ More
We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either $G$ is a $p$-group or $G = PN$ where $P$ is a Sylow $p$-subgroup and $(G,P,P \cap N)$ is a Frobenius-Wielandt triple. We also prove that if all the elements of $G \setminus N$ have prime power orders and the orders are divisible by two primes $p$ and $q$, then $G$ is a $\{ p, q \}$-group and $G/N$ is either a Frobenius group or a $2$-Frobenius group. If all the elements of $G \setminus N$ have prime power orders and the orders are divisible by at least three primes, then all elements of $G$ have prime power order and $G/N$ is nonsolvable.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Conjugacy classes of maximal cyclic subgroups and nilpotence class of $p$-groups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Conjugacy classes of maximal cyclic subgroups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis,
E. Pacifici
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary…
▽ More
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary abelian $p$-group for some prime $p$, (2) a Frobenius group whose Frobenius kernel is a $p$-group of exponent $p$ and a Frobenius complement has order $q$ for distinct primes $p$ and $q$, or (3) isomorphic to $A_5$.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Learning nonlinear dynamics in synchronization of knowledge-based leader-following networks
Authors:
Shimin Wang,
Xiangyu Meng,
Hongwei Zhang,
Frank L. Lewis
Abstract:
Knowledge-based leader-following synchronization of heterogeneous nonlinear multi-agent systems is a challenging problem since the leader's dynamic information is unknown to any follower node. This paper proposes a learning-based fully distributed observer for a class of nonlinear leader systems, which can simultaneously learn the leader's dynamics and states. This class of leader dynamics is rath…
▽ More
Knowledge-based leader-following synchronization of heterogeneous nonlinear multi-agent systems is a challenging problem since the leader's dynamic information is unknown to any follower node. This paper proposes a learning-based fully distributed observer for a class of nonlinear leader systems, which can simultaneously learn the leader's dynamics and states. This class of leader dynamics is rather general and does not require a bounded Jacobian matrix. Based on this learning-based distributed observer, we further synthesize an adaptive distributed control law for solving the leader-following synchronization problem of multiple Euler-Lagrange systems subject to an uncertain nonlinear leader system. The results are illustrated by a simulation example.
△ Less
Submitted 18 July, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Utilizing gradient approximations to optimize data selection protocols for tumor growth model calibration
Authors:
Allison L. Lewis,
Kathleen M. Storey,
Heyrim Cho,
Anna C. Zittle
Abstract:
The use of mathematical models to make predictions about tumor growth and response to treatment has become increasingly more prevalent in the clinical setting. The level of complexity within these models ranges broadly, and the calibration of more complex models correspondingly requires more detailed clinical data. This raises questions about how much data should be collected and when, in order to…
▽ More
The use of mathematical models to make predictions about tumor growth and response to treatment has become increasingly more prevalent in the clinical setting. The level of complexity within these models ranges broadly, and the calibration of more complex models correspondingly requires more detailed clinical data. This raises questions about how much data should be collected and when, in order to minimize the total amount of data used and the time until a model can be calibrated accurately. To address these questions, we propose a Bayesian information-theoretic procedure, using a gradient-based score function to determine the optimal data collection times for model calibration. The novel score function introduced in this work eliminates the need for a weight parameter used in a previous study's score function, while still yielding accurate and efficient model calibration using even fewer scans on a sample set of synthetic data, simulating tumors of varying levels of radiosensitivity. We also conduct a robust analysis of the calibration accuracy and certainty, using both error and uncertainty metrics. Unlike the error analysis of the previous study, the inclusion of uncertainty analysis in this work|as a means for deciding when the algorithm can be terminated|provides a more realistic option for clinical decision-making, since it does not rely on data that will be collected later in time.
△ Less
Submitted 25 December, 2021;
originally announced December 2021.
-
Quadrature by Parity Asymptotic eXpansions (QPAX) for scattering by high aspect ratio particles
Authors:
Camille Carvalho,
Arnold D. Kim,
Lori Lewis,
Zoïs Moitier
Abstract:
We study scattering by a high aspect ratio particle using boundary integral equation methods. This problem has important applications in nanophotonics problems, including sensing and plasmonic imaging. To illustrate the effect of parity and the need for adapted methods in presence of high aspect ratio particles, we consider the scattering in two dimensions by a sound-hard, high aspect ratio ellips…
▽ More
We study scattering by a high aspect ratio particle using boundary integral equation methods. This problem has important applications in nanophotonics problems, including sensing and plasmonic imaging. To illustrate the effect of parity and the need for adapted methods in presence of high aspect ratio particles, we consider the scattering in two dimensions by a sound-hard, high aspect ratio ellipse. This fundamental problem highlights the main challenge and provide valuable insights to tackle plasmonic problems and general high aspect ratio particles. For this problem, we find that the boundary integral operator is nearly singular due to the collapsing geometry from an ellipse to a line segment. We show that this nearly singular behavior leads to qualitatively different asymptotic behaviors for solutions with different parities. Without explicitly taking this nearly singular behavior and this parity into account, computed solutions incur a large error. To address these challenges, we introduce a new method called Quadrature by Parity Asymptotic eXpansions (QPAX) that effectively and efficiently addresses these issues. We first develop QPAX to solve the Dirichlet problem for Laplace's equation in a high aspect ratio ellipse. Then, we extend QPAX for scattering by a sound-hard, high aspect ratio ellipse. We demonstrate the effectiveness of QPAX through several numerical examples.
△ Less
Submitted 7 September, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
The Cyclic Graph of a $2$-Frobenius Group
Authors:
David G. Costanzo,
Mark L. Lewis
Abstract:
The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected component…
▽ More
The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected components of the cyclic graph of any $2$-Frobenius group.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Extending Morgan and Parker's results about commuting graphs
Authors:
Nicolas F. Beike,
Rachel Carleton,
David G. Costanzo,
Colin Heath,
Mark L. Lewis,
Kaiwen Lu,
Jamie D. Pearce
Abstract:
Morgan and Parker have proved that if $G$ is a group satisfying the condition that $Z(G) = 1$, then the connected components of the commuting graph of $G$ have diameter at most $10$. Parker has proved that if in addition $G$ is solvable, then the commuting graph of $G$ is disconnected if and only if $G$ is a Frobenius group or a $2$-Frobenius group, and if the commuting graph of $G$ is connected,…
▽ More
Morgan and Parker have proved that if $G$ is a group satisfying the condition that $Z(G) = 1$, then the connected components of the commuting graph of $G$ have diameter at most $10$. Parker has proved that if in addition $G$ is solvable, then the commuting graph of $G$ is disconnected if and only if $G$ is a Frobenius group or a $2$-Frobenius group, and if the commuting graph of $G$ is connected, then its diameter is at most $8$. We prove that the hypothesis $Z (G) = 1$ in these results can be replaced with $G' \cap Z(G) = 1$. We also prove that if $G$ is solvable and $G/Z(G)$ is either a Frobenius group or a $2$-Frobenius group, then the commuting graph of $G$ is disconnected.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Partial GVZ-groups
Authors:
Shawn T. Burkett,
Mark L. Lewis
Abstract:
Following the literature, a group $G$ is called a group of central type if $G$ has an irreducible character that vanishes on $G\setminus Z(G)$. Motivated by this definition, we say that a character $χ\in {\rm Irr}(G)$ has central type if $χ$ vanishes on $G\setminus Z(χ)$, where $Z(χ)$ is the center of $χ$. Groups where every irreducible character has central type have been studied previously under…
▽ More
Following the literature, a group $G$ is called a group of central type if $G$ has an irreducible character that vanishes on $G\setminus Z(G)$. Motivated by this definition, we say that a character $χ\in {\rm Irr}(G)$ has central type if $χ$ vanishes on $G\setminus Z(χ)$, where $Z(χ)$ is the center of $χ$. Groups where every irreducible character has central type have been studied previously under the name GVZ-groups (and several other names) in the literature. In this paper, we study the groups $G$ that possess a nontrivial, normal subgroup $N$ such that every character of $G$ either contains $N$ in its kernel or has central type. The structure of these groups is surprisingly limited and has many aspects in common with both central type groups and GVZ-groups.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
A characterization of GVZ groups in terms of fully ramified characters
Authors:
Shawn T. Burkett,
Mark L. Lewis
Abstract:
In this paper, we obtain a characterization of GVZ-groups in terms of commutators and monolithic quotients. This characterization is based on counting formulas due to Gallagher.
In this paper, we obtain a characterization of GVZ-groups in terms of commutators and monolithic quotients. This characterization is based on counting formulas due to Gallagher.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Sequential Convex Programming for Collaboration of Connected and Automated Vehicles
Authors:
Xiaoxue Zhang,
Jun Ma,
Zilong Cheng,
Frank L. Lewis,
Tong Heng Lee
Abstract:
This paper investigates the collaboration of multiple connected and automated vehicles (CAVs) in different scenarios. In general, the collaboration of CAVs can be formulated as a nonlinear and nonconvex model predictive control (MPC) problem. Most of the existing approaches available for utilization to solve such an optimization problem suffer from the drawback of considerable computational burden…
▽ More
This paper investigates the collaboration of multiple connected and automated vehicles (CAVs) in different scenarios. In general, the collaboration of CAVs can be formulated as a nonlinear and nonconvex model predictive control (MPC) problem. Most of the existing approaches available for utilization to solve such an optimization problem suffer from the drawback of considerable computational burden, which hinders the practical implementation in real time. This paper proposes the use of sequential convex programming (SCP), which is a powerful approach to solving the nonlinear and nonconvex MPC problem in real time. To appropriately deploy the methodology, as a first stage, SCP requires linearization and discretization when addressing the nonlinear dynamics of the system model adequately. Based on the linearization and discretization, the original MPC problem can be transformed into a quadratically constrained quadratic programming (QCQP) problem. Besides, SCP also involves convexification to handle the associated nonconvex constraints. Thus, the nonconvex QCQP can be reduced to a quadratic programming (QP) problem that can be solved rather quickly. Therefore, the computational efficiency is suitably improved despite the existence of nonlinear and nonconvex characteristics, whereby the implementation is realized in real time. Furthermore, simulation results in three different scenarios of autonomous driving are presented to validate the effectiveness and efficiency of our proposed approach.
△ Less
Submitted 24 July, 2022; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Bayesian information-theoretic calibration of patient-specific radiotherapy sensitivity parameters for informing effective scanning protocols in cancer
Authors:
Heyrim Cho,
Allison L. Lewis,
Kathleen M. Storey
Abstract:
With new advancements in technology, it is now possible to collect data for a variety of different metrics describing tumor growth, including tumor volume, composition, and vascularity, among others. For any proposed model of tumor growth and treatment, we observe large variability among individual patients' parameter values, particularly those relating to treatment response; thus, exploiting the…
▽ More
With new advancements in technology, it is now possible to collect data for a variety of different metrics describing tumor growth, including tumor volume, composition, and vascularity, among others. For any proposed model of tumor growth and treatment, we observe large variability among individual patients' parameter values, particularly those relating to treatment response; thus, exploiting the use of these various metrics for model calibration can be helpful to infer such patient-specific parameters both accurately and early, so that treatment protocols can be adjusted mid-course for maximum efficacy. However, taking measurements can be costly and invasive, limiting clinicians to a sparse collection schedule. As such, the determination of optimal times and metrics for which to collect data in order to best inform proper treatment protocols could be of great assistance to clinicians. In this investigation, we employ a Bayesian information-theoretic calibration protocol for experimental design in order to identify the optimal times at which to collect data for informing treatment parameters. Within this procedure, data collection times are chosen sequentially to maximize the reduction in parameter uncertainty with each added measurement, ensuring that a budget of $n$ high-fidelity experimental measurements results in maximum information gain about the low-fidelity model parameter values. In addition to investigating the optimal temporal pattern for data collection, we also develop a framework for deciding which metrics should be utilized at each data collection point. We illustrate this framework with a variety of toy examples, each utilizing a radiotherapy treatment regimen. For each scenario, we analyze the dependence of the predictive power of the low-fidelity model upon the measurement budget.
△ Less
Submitted 5 September, 2020;
originally announced September 2020.
-
The Cyclic Graph of a Z-group
Authors:
David G. Costanzo,
Mark L. Lewis,
Stefano Schmidt,
Eyob Tsegaye,
Gabe Udell
Abstract:
For a group $G$, we define a graph $Δ(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. Recall that a $Z$-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $Δ(G)$ for a $Z$-group $G$.
For a group $G$, we define a graph $Δ(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. Recall that a $Z$-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $Δ(G)$ for a $Z$-group $G$.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Toward a Classification of the Supercharacter Theories of $C_p\times C_p$
Authors:
Shawn T. Burkett,
Mark L. Lewis
Abstract:
In this paper, we study the superscharacter theories of elementary abelian $p$-groups of order $p^2$. We show that the supercharacter theories that arise from the direct product construction and the $\ast$-product construction can be obtained from automorphisms. We also prove that any supercharacter theory of an elementary abelian $p$-group of order $p^2$ that has a nonidentity superclass of size…
▽ More
In this paper, we study the superscharacter theories of elementary abelian $p$-groups of order $p^2$. We show that the supercharacter theories that arise from the direct product construction and the $\ast$-product construction can be obtained from automorphisms. We also prove that any supercharacter theory of an elementary abelian $p$-group of order $p^2$ that has a nonidentity superclass of size $1$ or a nonprincipal linear supercharacter must come from either a $\ast$-product or a direct product. Although we are unable to prove results for general primes, we do compute all of the supercharacter theories when $p = 2, 3, 5$, and based on these computations along with particular computations for larger primes, we make several conjectures for a general prime $p$.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
The cyclic graph (deleted enhanced power graph) of a direct product
Authors:
David G. Costanzo,
Mark L. Lewis,
Stefano Schmidt,
Eyob Tsegaye,
Gabe Udell
Abstract:
Let $G$ be a finite group. Define a graph on the set $G^{\#} = G \setminus \{ 1 \}$ by declaring distinct elements $x,y\in G^{\#}$ to be adjacent if and only if $\langle x,y\rangle$ is cyclic. Denote this graph by $Δ(G)$. The graph $Δ(G)$ has appeared in the literature under the names cyclic graph and deleted enhanced power graph. If $G$ and $H$ are nontrivial groups, then $Δ(G\times H)$ is comple…
▽ More
Let $G$ be a finite group. Define a graph on the set $G^{\#} = G \setminus \{ 1 \}$ by declaring distinct elements $x,y\in G^{\#}$ to be adjacent if and only if $\langle x,y\rangle$ is cyclic. Denote this graph by $Δ(G)$. The graph $Δ(G)$ has appeared in the literature under the names cyclic graph and deleted enhanced power graph. If $G$ and $H$ are nontrivial groups, then $Δ(G\times H)$ is completely characterized. In particular, if $Δ(G\times H)$ is connected, then a diameter bound is obtained, along with an example meeting this bound. Also, necessary and sufficient conditions for the disconnectedness of $Δ(G\times H)$ are established.
△ Less
Submitted 2 June, 2020; v1 submitted 12 May, 2020;
originally announced May 2020.
-
On solvable groups with one vanishing class size
Authors:
Mariagrazia Bianchi,
Rachel D. Camina,
Mark L. Lewis,
Emanuele Pacifici
Abstract:
Let $G$ be a finite group, and let cs$(G)$ be the set of conjugacy class sizes of $G$. Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$, we consider one particular subset of cs$(G)$, namely, the set vcs$(G)$ whose elements are the conjugacy class sizes of the vanishing elements of $G$. Motivated by…
▽ More
Let $G$ be a finite group, and let cs$(G)$ be the set of conjugacy class sizes of $G$. Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$, we consider one particular subset of cs$(G)$, namely, the set vcs$(G)$ whose elements are the conjugacy class sizes of the vanishing elements of $G$. Motivated by the results in \cite{BLP}, we describe the class of the finite groups $G$ such that vcs$(G)$ consists of a single element \emph{under the assumption that $G$ is supersolvable or $G$ has a normal Sylow $2$-subgroup} (in particular, groups of odd order are covered). As a particular case, we also get a characterization of finite groups having a single vanishing conjugacy class size \emph{which is either a prime power or square-free}.
△ Less
Submitted 14 August, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Groups that have a Partition by Commuting Subsets
Authors:
Tuval Foguel,
Josh Hiller,
Mark L. Lewis,
A. R. Moghaddamfar
Abstract:
Let $G$ be a nonabelian group. We say that $G$ has an abelian partition, if there exists a partition of $G$ into commuting subsets $A_1, A_2, \ldots, A_n$ of $G$, such that $|A_i|\geqslant 2$ for each $i=1, 2, \ldots, n$. This paper investigates problems relating to group with abelian partitions. Among other results, we show that every finite group is isomorphic to a subgroup of a group with an ab…
▽ More
Let $G$ be a nonabelian group. We say that $G$ has an abelian partition, if there exists a partition of $G$ into commuting subsets $A_1, A_2, \ldots, A_n$ of $G$, such that $|A_i|\geqslant 2$ for each $i=1, 2, \ldots, n$. This paper investigates problems relating to group with abelian partitions. Among other results, we show that every finite group is isomorphic to a subgroup of a group with an abelian partition and also isomorphic to a subgroup of a group with no abelian partition. We also find bounds for the minimum number of partitions for several families of groups which admit abelian partitions -- with exact calculations in some cases. Finally, we examine how the size of partitions with the minimum number of parts behaves with respect to the direct product.
△ Less
Submitted 14 August, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
A Frobenius group analog for Camina triples
Authors:
Shawn T. Burkett,
Mark L. Lewis
Abstract:
Frobenius groups are an object of fundamental importance in finite group theory. As such, several generalizations of these groups have been considered. Some examples include: A Frobenius--Wielandt group is a triple $(G,H,L)$ where $H/L$ is {\it almost} a Frobenius complement for $G$; A Camina pair is a pair $(G,N)$ where $N$ is {\it almost} a Frobenius kernel for $G$; A Camina triple is a triple…
▽ More
Frobenius groups are an object of fundamental importance in finite group theory. As such, several generalizations of these groups have been considered. Some examples include: A Frobenius--Wielandt group is a triple $(G,H,L)$ where $H/L$ is {\it almost} a Frobenius complement for $G$; A Camina pair is a pair $(G,N)$ where $N$ is {\it almost} a Frobenius kernel for $G$; A Camina triple is a triple $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Camina pairs. In this paper we study triples $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Frobenius groups.
△ Less
Submitted 9 February, 2024; v1 submitted 4 April, 2020;
originally announced April 2020.
