-
A note on connecting multiplicative functions defined on finite groups
Authors:
João Victor Monteiros de Andrade,
Leonardo Santos da Cruz
Abstract:
In the present work we explore relationships between multiplicative functions defined in \cite{Garonzi_2018}, \cite{Lazorec}. To do so, we use other important quotients defined and studied in \cite{ndeg}, \cite{Marius}, thus establishing deeper connections that were previously little or not evaluated in some group families. Furthermore, we extract new characterizations and asymptotic patterns for…
▽ More
In the present work we explore relationships between multiplicative functions defined in \cite{Garonzi_2018}, \cite{Lazorec}. To do so, we use other important quotients defined and studied in \cite{ndeg}, \cite{Marius}, thus establishing deeper connections that were previously little or not evaluated in some group families. Furthermore, we extract new characterizations and asymptotic patterns for some classes of groups.
△ Less
Submitted 11 September, 2025;
originally announced September 2025.
-
On gradient $ρ$-Einstein solitons with Bach tensor radially nonnegative
Authors:
Maria Andrade,
Valter Borges,
Hiuri Reis
Abstract:
In this paper, we study $n$-dimensional gradient $ρ$-Einstein solitons whose Bach tensor is radially nonnegative. Under this assumption, we show that such $ρ$-Einstein solitons are locally warped products of an interval and an Einstein manifold, provided either $ρ\neq0$ or $ρ=0$ and the soliton is rectifiable. We obtain as a consequence that these solitons must have harmonic Weyl tensor and vanish…
▽ More
In this paper, we study $n$-dimensional gradient $ρ$-Einstein solitons whose Bach tensor is radially nonnegative. Under this assumption, we show that such $ρ$-Einstein solitons are locally warped products of an interval and an Einstein manifold, provided either $ρ\neq0$ or $ρ=0$ and the soliton is rectifiable. We obtain as a consequence that these solitons must have harmonic Weyl tensor and vanishing Bach tensor. We also finish the classification of complete locally conformally flat steady $ρ$-Einstein solitons and classify these manifolds when their Bach tensor is radially nonnegative and $n\in\{3,4\}$.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Geometry of Einstein-type manifolds with boundary
Authors:
Maria Andrade
Abstract:
In this article, we consider Einstein-type manifolds with boundary which generalizes important geometric equations, like static vacuum and static perfect fluid. We investigate some geometric inequalities for those manifolds. Then, we established boundary estimates in terms of the first eigenvalue of the Jacobi operator and another one related to the Brown-York mass.
In this article, we consider Einstein-type manifolds with boundary which generalizes important geometric equations, like static vacuum and static perfect fluid. We investigate some geometric inequalities for those manifolds. Then, we established boundary estimates in terms of the first eigenvalue of the Jacobi operator and another one related to the Brown-York mass.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Proportion of Nilpotent Subgroups in Finite Groups and Their Properties
Authors:
João Victor M. de Andrade,
Leonardo Santos da Cruz
Abstract:
This work introduces and investigates the function $J(G) = \frac{\text{Nil}(G)}{L(G)}$, where $\text{Nil}(G)$ denotes the number of nilpotent subgroups and $L(G)$ the total number of subgroups of a finite group $G$. The function $J(G)$, defined over the interval $(0,1]$, serves as a tool to analyze structural patterns in finite groups, particularly within non-nilpotent families such as supersolvab…
▽ More
This work introduces and investigates the function $J(G) = \frac{\text{Nil}(G)}{L(G)}$, where $\text{Nil}(G)$ denotes the number of nilpotent subgroups and $L(G)$ the total number of subgroups of a finite group $G$. The function $J(G)$, defined over the interval $(0,1]$, serves as a tool to analyze structural patterns in finite groups, particularly within non-nilpotent families such as supersolvable and dihedral groups. Analytical results demonstrate the product density of $J(G)$ values in $(0,1]$, highlighting its distribution across products of dihedral groups. Additionally, a probabilistic analysis was conducted, and based on extensive computational simulations, it was conjectured that the sample mean of $J(G)$ values converges in distribution to the standard normal distribution, in accordance with the Central Limit Theorem, as the sample size increases. These findings expand the understanding of multiplicative functions in group theory, offering novel insights into the structural and probabilistic behavior of finite groups.
△ Less
Submitted 25 February, 2025; v1 submitted 20 January, 2025;
originally announced January 2025.
-
Monochromatic Subgraphs in Randomly Colored Dense Multiplex Networks
Authors:
Mauricio Daros Andrade,
Bhaswar B. Bhattacharya
Abstract:
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs…
▽ More
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs $H_1, H_2, \ldots, H_d$ we derive the joint distribution of $(T(H_1, G_n^{(1)}), T(H_2, G_n^{(2)}), \ldots, T(H_d, G_n^{(d)}))$, where $\boldsymbol{G}_n = (G_n^{(1)}, G_n^{(2)}, \ldots, G_n^{(d)})$ is a collection of dense graphs on the same vertex set converging in the joint cut-metric. The limiting distribution is the sum of 2 independent components: a multivariate Gaussian and a sum of independent bivariate stochastic integrals. This extends previous results on the marginal convergence of monochromatic subgraphs in a sequence of graphs to the joint convergence of a finite collection of monochromatic subgraphs in a sequence of multiplex networks. Several applications and examples are discussed.
△ Less
Submitted 17 January, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Rigidity results for Serrin's overdetermined problems in Riemannian manifolds
Authors:
Maria Andrade,
Allan Freitas,
Diego A. Marín
Abstract:
In this work, we are interested in studying Serrin's overdetermined problems in Riemannian manifolds. For manifolds endowed with a conformal vector field, we prove a Pohozoaev-type identity to show a Serrin's type rigidity result using the P-function approach introduced by Weinberger. We proceed with a conformal change to achieve this goal, starting from a geometric Pohozaev identity due to Schoen…
▽ More
In this work, we are interested in studying Serrin's overdetermined problems in Riemannian manifolds. For manifolds endowed with a conformal vector field, we prove a Pohozoaev-type identity to show a Serrin's type rigidity result using the P-function approach introduced by Weinberger. We proceed with a conformal change to achieve this goal, starting from a geometric Pohozaev identity due to Schoen. Moreover, we obtain a symmetry result for the associated Dirichlet problem by using a generalized normalized wall shear stress bound.
△ Less
Submitted 16 October, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Compact Einstein-type manifolds with parallel Ricci tensor
Authors:
Maria Andrade,
Halyson Baltazar,
Christopher Queiroz
Abstract:
In this paper, we deduce a Bochner-type identity for compact gradient Einstein-type manifolds with boundary. As consequence, we are able to show a rigidity result for Einstein-type manifolds assuming the parallel Ricci curvature condition. Moreover, we provide a condition on the norm of the gradient of the potential function in order to classify such structures.
In this paper, we deduce a Bochner-type identity for compact gradient Einstein-type manifolds with boundary. As consequence, we are able to show a rigidity result for Einstein-type manifolds assuming the parallel Ricci curvature condition. Moreover, we provide a condition on the norm of the gradient of the potential function in order to classify such structures.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Geometric contexts and applications to logic
Authors:
Mayk de Andrade,
Hugo Mariano
Abstract:
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras, monoidal categories and linear logic etc. This process can be generalized to a representation of an algebraic structure by a sheaf in a suitable topological space…
▽ More
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras, monoidal categories and linear logic etc. This process can be generalized to a representation of an algebraic structure by a sheaf in a suitable topological space. Recently, Awodey and his contributors constructed a duality between first order logic and topological grupoids from which they have proven some results of completeness. Furthermore, they built a notion of scheme of a first order theory. The attempt of this project is to use the construction of abstract schemes invented by Toen to give an unified approach from which we can generalize the aforementioned results.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Mass and topology of a static stellar model
Authors:
Maria Andrade,
Benedito Leandro,
Thamara Policarpo
Abstract:
This study investigates the topological implications arising from stable (free boundary) minimal surfaces in a static perfect fluid space while ensuring that the fluid satisfies certain energy conditions. Based on the main findings, it has been established the topology of the level set $\{f=c\}$ (the boundary of a stellar model), where $c$ is a positive constant and $f$ is the static potential of…
▽ More
This study investigates the topological implications arising from stable (free boundary) minimal surfaces in a static perfect fluid space while ensuring that the fluid satisfies certain energy conditions. Based on the main findings, it has been established the topology of the level set $\{f=c\}$ (the boundary of a stellar model), where $c$ is a positive constant and $f$ is the static potential of a static perfect fluid space. We prove a non-existence result of stable free boundary minimal surfaces in a static perfect fluid space. An upper bound for the Hawking mass for the level set $\{f=c\}$ in a non-compact static perfect fluid space was derived, and the positivity of Hawking mass is provided in the compact case when the boundary $\{f=c\}$ is a topological sphere. We dedicate a section to revisit the Tolman-Oppenheimer-Volkoff solution, an important procedure for producing static stellar models. We will present a new static stellar model inspired by Witten's black hole (or Hamilton's cigar).
△ Less
Submitted 29 November, 2023; v1 submitted 21 October, 2023;
originally announced October 2023.
-
Some characterizations of compact Einstein-type manifolds
Authors:
Maria Andrade,
Ana Paula de Melo
Abstract:
In this work, we investigate the geometry and topology of compact Einstein-type manifolds with nonempty boundary. First, we prove a sharp boundary estimate, as consequence we obtain under certain hypotheses that the Hawking mass is bounded from bellow in terms of area. Then we give a topological classification for its boundary. Finally, we prove a gap result for a compact Einstein-type manifold wi…
▽ More
In this work, we investigate the geometry and topology of compact Einstein-type manifolds with nonempty boundary. First, we prove a sharp boundary estimate, as consequence we obtain under certain hypotheses that the Hawking mass is bounded from bellow in terms of area. Then we give a topological classification for its boundary. Finally, we prove a gap result for a compact Einstein-type manifold with boundary.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
On the $σ_2$-curvature and volume of compact manifolds
Authors:
Maria Andrade,
Tiarlos Cruz,
Almir Silva Santos
Abstract:
In this work we are interested in studying deformations of the $σ_2$-curvature and the volume. For closed manifolds, we relate critical points of the total $σ_2$-curvature functional to the $σ_2$-Einstein metrics and, as a consequence of results of H. J. Gursky and J. A. Viaclovsky (2001) and Z. Hu and H. Li (2004), we obtain a sufficient and necessary condition for a critical metric to be Einstei…
▽ More
In this work we are interested in studying deformations of the $σ_2$-curvature and the volume. For closed manifolds, we relate critical points of the total $σ_2$-curvature functional to the $σ_2$-Einstein metrics and, as a consequence of results of H. J. Gursky and J. A. Viaclovsky (2001) and Z. Hu and H. Li (2004), we obtain a sufficient and necessary condition for a critical metric to be Einstein. Moreover, we show a volume comparison result for Einstein manifolds with respect to $σ_2$-curvature which shows that the volume can be controlled by the $σ_2$-curvature under certain conditions. Next, for compact manifold with nonempty boundary, we study variational properties of the volume functional restricted to the space of metrics with constant $σ_2$-curvature and with fixed induced metric on the boundary. We characterize the critical points to this functional as the solutions of an equation and show that in space forms they are geodesic balls. Studying second order properties of the volume functional we show that there is a variation for which geodesic balls are indeed local minimum in a natural direction.
△ Less
Submitted 1 July, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
A general formula to solve quintic equation
Authors:
Rodrigo José Martinelli Biglia Andrade
Abstract:
After Abel Ruffini theorem and Galois Theory the search for a method or formula to solve quintic equation ends. This paper discuss about the radical solution of quintic equation using a method that could be proved in some simple steps. A quintic equation as an example was given for understand better this method.
After Abel Ruffini theorem and Galois Theory the search for a method or formula to solve quintic equation ends. This paper discuss about the radical solution of quintic equation using a method that could be proved in some simple steps. A quintic equation as an example was given for understand better this method.
△ Less
Submitted 17 October, 2021;
originally announced October 2021.
-
Studying Pensions Funds Through an Infinite Servers Nodes Network: A Theoretical Problem
Authors:
Manuel Alberto M. Ferreira,
Marina Andrade,
José António Filipe
Abstract:
This study intends to present a representation of a pensions fund through a stochastic network with two infinite servers nodes. With this representation it is allowed to deduce an equilibrium condition of the system with basis on the identity of the random rates expected values, for which the contributions arrive to the fund and the pensions are paid by the fund. In our study a stochastic network…
▽ More
This study intends to present a representation of a pensions fund through a stochastic network with two infinite servers nodes. With this representation it is allowed to deduce an equilibrium condition of the system with basis on the identity of the random rates expected values, for which the contributions arrive to the fund and the pensions are paid by the fund. In our study a stochastic network is constructed where traffic is represented. This network allows to study the equilibrium in the system and it is admissible to get a balance to a pensions fund. A specific case is studied. When the arrivals from outside at two nodes are according to Poisson processes, the system may be seen as a two nodes network where the first node is a MGinf queue and second a MtGinf queue. For this case in the long term the conditions of equilibrium are given by a very simple formula. In this formula it is established a relationship among the two nodes. Several examples are given in the study.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
The Age or Excess of the MGinf Queue Busy Cycle Mean Value
Authors:
Manuel Alberto M. Ferreira,
Marina Andrade,
José António Filipe
Abstract:
In this work, approximate and exact results concerning a performance measure of the MGinf system, the age or the excess of the busy cycle, are presented. It will be seen that it is also a measure of the busy period performance. Service distributions for which it is given for a simple expression and others for which this does not happen are considered. For this last case, bounds are deduced. A spec…
▽ More
In this work, approximate and exact results concerning a performance measure of the MGinf system, the age or the excess of the busy cycle, are presented. It will be seen that it is also a measure of the busy period performance. Service distributions for which it is given for a simple expression and others for which this does not happen are considered. For this last case, bounds are deduced. A special emphasis is given to the exponential distribution and to those related with it, useful in reliability theory.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
On the geometry of electrovacuum spaces in higher dimensions
Authors:
Maria Andrade,
Benedito Leandro,
Róbson Lousa
Abstract:
A classical question in general relativity is about the classification of regular static black hole solutions of the static Einstein-Maxwell equations (or electrovacuum system). In this paper, we prove some classification results for an electrovacuum system such that the electric potential is a smooth function of the lapse function. In particular, we show that an n-dimensional locally conformally…
▽ More
A classical question in general relativity is about the classification of regular static black hole solutions of the static Einstein-Maxwell equations (or electrovacuum system). In this paper, we prove some classification results for an electrovacuum system such that the electric potential is a smooth function of the lapse function. In particular, we show that an n-dimensional locally conformally flat extremal electrovacuum space must be in the Majumdar-Papapetrou class. Also, we prove that any three or four dimensional extremal electrovacuum space must be locally conformally flat. Moreover, we prove that an n-dimensional subextremal electrovacuum space with fourth-order divergence free Weyl tensor and zero radial Weyl curvature such that the electric potential is in the Reissner-Nordström class is locally a warped product manifold with (n-1)-dimensional Einstein fibers. Finally, a three dimensional subextremal electrovacuum space with third-order divergence free Cotton tensor was also classified.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
A formula to solve sextic degree equation
Authors:
Rodrigo Jose Martinelli Biglia Andrade
Abstract:
According to the Abel-Ruffini theorem, equations of degree equal to or greater than 5 cannot, in most cases, be solved by radicals. Due of this theorem we will present a formula that solves specific cases of sixth degree equations using Martinellis polynomial as a base. To better understand how this formula works, we will solve a sixth degree equation as an example. We will also see that all sixth…
▽ More
According to the Abel-Ruffini theorem, equations of degree equal to or greater than 5 cannot, in most cases, be solved by radicals. Due of this theorem we will present a formula that solves specific cases of sixth degree equations using Martinellis polynomial as a base. To better understand how this formula works, we will solve a sixth degree equation as an example. We will also see that all sixth degree equations that meet the coefficient criterion have a resolvent of fifth degree that can be splitted into a second degree and a third degree equation. Throughout the paper we will see a demonstration of the ratio of the coefficients of a sixth degree equation that can be solved with the formula that will be presented this paper
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
Gap results for free boundary CMC surfaces in conformally Euclidean three-balls
Authors:
Maria Andrade,
Ezequiel Barbosa,
Edno Pereira
Abstract:
In this work, we consider $M=(\mathbb{B}^3_r,\bar{g})$ as the Euclidean three-ball with radius $r$ equipped with the metric $\bar{g}=e^{2h}\left\langle , \right\rangle$ conformal to the Euclidean metric. We show that if a free boundary CMC surface $Σ$ in $M$ satisfies a pinching condition on the length of the traceless second fundamental tensor which involves the support function of $Σ$, the posit…
▽ More
In this work, we consider $M=(\mathbb{B}^3_r,\bar{g})$ as the Euclidean three-ball with radius $r$ equipped with the metric $\bar{g}=e^{2h}\left\langle , \right\rangle$ conformal to the Euclidean metric. We show that if a free boundary CMC surface $Σ$ in $M$ satisfies a pinching condition on the length of the traceless second fundamental tensor which involves the support function of $Σ$, the positional conformal vector field $\vec{x}$ and its potential function $σ,$ then either $Σ$ is a disk or $Σ$ is an annulus rotationally symmetric. In a particular case, we construct an example of minimal surface with strictly convex boundary in $M$, when $M$ is the Gaussian space, that illustrate our results. These results extend to the CMC case and to many others different conformally Euclidean spaces the main result obtained by Haizhong Li and Changwei Xiong.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
On the interplay between CPE metrics, vacuum static spaces and $σ_2$-singular spaces
Authors:
Maria Andrade
Abstract:
We call CPE metrics the critical points of the total scalar curvature functional restricted to the space of metrics with constant scalar curvature of unitary volume. In this short note, we give a necessary and sufficient condition for a CPE metric to be Einstein in therms of $σ_2$-singular spaces. Such a result improves our understanding about CPE metrics and Besse's conjecture with a new geometri…
▽ More
We call CPE metrics the critical points of the total scalar curvature functional restricted to the space of metrics with constant scalar curvature of unitary volume. In this short note, we give a necessary and sufficient condition for a CPE metric to be Einstein in therms of $σ_2$-singular spaces. Such a result improves our understanding about CPE metrics and Besse's conjecture with a new geometric point of view. Moreover, we prove that the CPE condition can be replaced by the related vacuum static space condition to characterize closed Einstein manifolds in terms of $σ_2$-singular spaces.
△ Less
Submitted 15 December, 2020; v1 submitted 9 February, 2020;
originally announced February 2020.
-
Deformation of the $σ_2$-curvature
Authors:
Almir Silva Santos,
Maria Andrade
Abstract:
Our main goal in this work is to deal with results concern to the $σ_2$-curvature. First we find a symmetric 2-tensor canonically associated to the $σ_2$-curvature and we present an Almost Schur Type Lemma. Using this tensor we introduce the notion of $σ_2$-singular space and under a certain hypothesis we prove a rigidity result. Also we deal with the relations between flat metrics and $σ_2$-curva…
▽ More
Our main goal in this work is to deal with results concern to the $σ_2$-curvature. First we find a symmetric 2-tensor canonically associated to the $σ_2$-curvature and we present an Almost Schur Type Lemma. Using this tensor we introduce the notion of $σ_2$-singular space and under a certain hypothesis we prove a rigidity result. Also we deal with the relations between flat metrics and $σ_2$-curvature. With a suitable condition on the $σ_2$-curvature we show that a metric has to be flat if it is close to a flat metric. We conclude this paper by proving that the 3-dimensional torus does not admit a metric with constant scalar curvature and non-negative $σ_2$-curvature unless it is flat.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
On p-Parabolicity of Riemannian Submersions
Authors:
Maria Andrade,
Pietro da Silva
Abstract:
We provide some criteria to $p$-parabolicity of Riemannian submersions. In particular, if $N$ is $p$-parabolic and $π:M\to N$ is a Riemannian submersion with uniformly bounded volume of fibers, then $M$ is also $p$-parabolic. In the case of warped manifolds we characterize $p$-parabolicity in terms of a volume growth condition.
We provide some criteria to $p$-parabolicity of Riemannian submersions. In particular, if $N$ is $p$-parabolic and $π:M\to N$ is a Riemannian submersion with uniformly bounded volume of fibers, then $M$ is also $p$-parabolic. In the case of warped manifolds we characterize $p$-parabolicity in terms of a volume growth condition.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
The Magic of Permutation Matrices: Categorizing, Counting and Eigenspectra of Magic Squares
Authors:
Peter Staab,
Charles Fisher,
Mark Maggio,
Michael Andrade,
Erin Farrell,
Haley Schilling
Abstract:
Permutation matrices play an important role in understand the structure of magic squares. In this work, we use a class of symmetric permutation matrices than can be used to categorize magic squares. Many magic squares with a high degree of symmetry are studied, including classes that are generalizations of those categorized by Dudeney in 1917. We show that two classes of such magic squares are sin…
▽ More
Permutation matrices play an important role in understand the structure of magic squares. In this work, we use a class of symmetric permutation matrices than can be used to categorize magic squares. Many magic squares with a high degree of symmetry are studied, including classes that are generalizations of those categorized by Dudeney in 1917. We show that two classes of such magic squares are singular and the eigenspectra of such magic squares are highly structured. Lastly, we prove that natural magic squares of singly-even order of these classes do note exist.
△ Less
Submitted 19 July, 2010;
originally announced July 2010.
