Showing 1–50 of 114 results for author: García, S

Fractional Parabolic Theory as a High-Dimensional Limit of Fractional Elliptic Theory

Authors: Blair Davey, Mariana Smit Vega Garcia

Abstract: This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operator… ▽ More This paper continues the program that was initiated in \cite{Dav18} and continued in \cite{DSVG24}, where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. The articles \cite{Dav18} and \cite{DSVG24} address the constant-coefficient and variable-coefficient settings, respectively. Here, we focus on fractional operators. As shown in \cite{CS07}, \cite{NS16}, \cite{ST17}, fractional operators may be associated with certain degenerate operators via extension problems, so we study the corresponding class of degenerate operators. Our high-dimensional limiting technique is demonstrated through new proofs of three theorems for degenerate parabolic equations. Specifically, we establish the monotonicity of Almgren-type, Weiss-type, and Alt-Caffarelli-Friedman-type functionals in the degenerate parabolic setting. Each new parabolic proof in this article is based on a (new) related elliptic theorem and a careful limiting argument that is reminiscent of those from \cite{Dav18} and \cite{DSVG24}. Our proof of the degenerate parabolic Weiss-type monotonicity formula additionally uses an epiperimetric inequality for weakly $a$-harmonic functions, which we also prove. To the best of our knowledge, our Alt-Caffarelli-Friedman monotonicity result is new. △ Less

Submitted 17 March, 2025; originally announced March 2025.

A noncommutative generalization of Hunter's positivity theorem

Authors: Stephan Ramon Garcia, Jurij Volčič

Abstract: Hunter proved that the complete homogeneous symmetric polynomials of even degree are positive definite. We prove a noncommutative generalization of this result, in which the scalar variables are replaced with hermitian operators. We provide a sharp lower bound and a sum of hermitian squares representation that are novel even in the scalar case. Hunter proved that the complete homogeneous symmetric polynomials of even degree are positive definite. We prove a noncommutative generalization of this result, in which the scalar variables are replaced with hermitian operators. We provide a sharp lower bound and a sum of hermitian squares representation that are novel even in the scalar case. △ Less

Submitted 16 March, 2025; originally announced March 2025.

Comments: 13 pages

MSC Class: 05E05; 13J30; 15A45; 16S10

Factorization length distribution for affine semigroups V: explicit asymptotic behavior of weighted factorization lengths on numerical semigroups

Authors: Stephan Ramon Garcia, Gabe Udell

Abstract: We describe the asymptotic behavior of weighted factorization lengths on numerical semigroups. Our approach is geometric as opposed to analytic, explains the presence of Curry-Schoenberg B-splines as limiting distributions, and provides explicit error bounds (no implied constants left unspecified). Along the way, we explicitly bound the difference between the vector partition function and the numb… ▽ More We describe the asymptotic behavior of weighted factorization lengths on numerical semigroups. Our approach is geometric as opposed to analytic, explains the presence of Curry-Schoenberg B-splines as limiting distributions, and provides explicit error bounds (no implied constants left unspecified). Along the way, we explicitly bound the difference between the vector partition function and the number of integer points in the variable polytope for a $2 \times k$ matrix. △ Less

Submitted 5 April, 2025; v1 submitted 2 March, 2025; originally announced March 2025.

Comments: 32 pages

MSC Class: 20M14; 05E05

The linear targeting problem

Authors: Kyle Bierly, Stephan Ramon Garcia, Roger A. Horn

Abstract: For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex symmetric, or normal. For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex symmetric, or normal. △ Less

Submitted 24 April, 2025; v1 submitted 19 August, 2024; originally announced August 2024.

Comments: 14 pages

MSC Class: 15A06; 15A10; 15A24

Numerical semigroups from rational matrices II: matricial dimension does not exceed multiplicity

Authors: Arsh Chhabra, Stephan Ramon Garcia, Christopher O'Neill

Abstract: We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight. We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Numerical semigroups from rational matrices I: power-integral matrices and nilpotent representations

Authors: Arsh Chhabra, Stephan Ramon Garcia, Fangqian Zhang, Hechun Zhang

Abstract: Our aim in this paper is to initiate the study of exponent semigroups for rational matrices. We prove that every numerical semigroup is the exponent semigroup of some rational matrix. We also obtain lower bounds on the size of such matrices and discuss the related class of power-integral matrices. Our aim in this paper is to initiate the study of exponent semigroups for rational matrices. We prove that every numerical semigroup is the exponent semigroup of some rational matrix. We also obtain lower bounds on the size of such matrices and discuss the related class of power-integral matrices. △ Less

Submitted 2 September, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 12 pages

Hunter's positivity theorem and random vector norms

Authors: Ludovick Bouthat, Ángel Chávez, Stephan Ramon Garcia

Abstract: A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem suggests a broad generalization: the construction of so-called random vector norms on square complex matrices. This paper surveys these ideas, starting from the fundamental notions and developing the theory to its present… ▽ More A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem suggests a broad generalization: the construction of so-called random vector norms on square complex matrices. This paper surveys these ideas, starting from the fundamental notions and developing the theory to its present state. We study numerous examples and present a host of open problems. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 62 pages

On the impact of measure pre-conditionings on general parametric ML models and transfer learning via domain adaptation

Authors: Joaquín Sánchez García

Abstract: We study a new technique for understanding convergence of learning agents under small modifications of data. We show that such convergence can be understood via an analogue of Fatou's lemma which yields gamma-convergence. We show it's relevance and applications in general machine learning tasks and domain adaptation transfer learning. We study a new technique for understanding convergence of learning agents under small modifications of data. We show that such convergence can be understood via an analogue of Fatou's lemma which yields gamma-convergence. We show it's relevance and applications in general machine learning tasks and domain adaptation transfer learning. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Graded polynomial identities of the infinite-dimensional upper triangular matrices over an arbitrary field

Authors: Micael Said Garcia, Felipe Yukihide Yasumura

Abstract: We compute the graded polynomial identities of the infinite dimensional upper triangular matrix algebra over an arbitrary field. If the grading group is finite, we prove that the set of graded polynomial identities admits a finite basis. We find conditions under which a grading on such an algebra satisfies a nontrivial graded polynomial identity. Finally, we provide examples showing that two nonis… ▽ More We compute the graded polynomial identities of the infinite dimensional upper triangular matrix algebra over an arbitrary field. If the grading group is finite, we prove that the set of graded polynomial identities admits a finite basis. We find conditions under which a grading on such an algebra satisfies a nontrivial graded polynomial identity. Finally, we provide examples showing that two nonisomorphic gradings can have the same set of graded polynomial identities. △ Less

Submitted 16 February, 2024; originally announced February 2024.

An Almgren monotonicity formula for discrete harmonic functions

Authors: Mariana Smit Vega Garcia, Stefan Steinerberger

Abstract: The celebrated Almgren monotonicity formula for harmonic functions $u:\mathbb{R}^n \rightarrow \mathbb{R}$ says that its $L^2-$energy concentrated on a sphere of radius $r$, when measured in a suitable sense, is non-decreasing: if $u$ oscillates at a certain scale, it has even larger oscillations at a larger scale. We prove a discrete analogue of the Almgren monotonicity formula for harmonic funct… ▽ More The celebrated Almgren monotonicity formula for harmonic functions $u:\mathbb{R}^n \rightarrow \mathbb{R}$ says that its $L^2-$energy concentrated on a sphere of radius $r$, when measured in a suitable sense, is non-decreasing: if $u$ oscillates at a certain scale, it has even larger oscillations at a larger scale. We prove a discrete analogue of the Almgren monotonicity formula for harmonic functions on infinite combinatorial graphs $G=(V,E)$. Some applications are discussed. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Norms on complex matrices induced by random vectors II: extension of weakly unitarily invariant norms

Authors: Ángel Chávez, Stephan Ramon Garcia, Jackson Hurley

Abstract: We improve and expand in two directions the theory of norms on complex matrices induced by random vectors. We first provide a simple proof of the classification of weakly unitarily invariant norms on the Hermitian matrices. We use this to extend the main theorem in [7] from exponent $d\geq 2$ to $d \geq 1$. Our proofs are much simpler than the originals: they do not require Lewis' framework for gr… ▽ More We improve and expand in two directions the theory of norms on complex matrices induced by random vectors. We first provide a simple proof of the classification of weakly unitarily invariant norms on the Hermitian matrices. We use this to extend the main theorem in [7] from exponent $d\geq 2$ to $d \geq 1$. Our proofs are much simpler than the originals: they do not require Lewis' framework for group invariance in convex matrix analysis. This clarification puts the entire theory on simpler foundations while extending its range of applicability. △ Less

Submitted 25 October, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

Comments: 10 pages

MSC Class: 47A30; 15A60; 16R30

Symmetric tensor powers of graphs

Authors: Weymar Astaiza, Alexander J. Barrios, Henry Chimal-Dzul, Stephan Ramon Garcia, Jaaziel de la Luz, Victor H. Moll, Yunied Puig, Diego Villamizar

Abstract: The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research. The symmetric tensor power of graphs is introduced and its fundamental properties are explored. A wide range of intriguing phenomena occur when one considers symmetric tensor powers of familiar graphs. A host of open questions are presented, hoping to spur future research. △ Less

Submitted 24 September, 2023; originally announced September 2023.

MSC Class: 05C76; 05C40

Two-phase almost minimizers for a fractional free boundary problem

Authors: Mark Allen, Mariana Smit Vega Garcia

Abstract: In this paper, we study almost minimizers to a fractional Alt-Caffarelli-Friedman type functional. Our main results concern the optimal $C^{0,s}$ regularity of almost minimizers as well as the structure of the free boundary. We first prove that the two free boundaries $F^+(u)=\partial\{u(\cdot,0)>0\}$ and $F^-(u)=\partial\{u(\cdot,0)<0\}$ cannot touch, that is, $F^+(u)\cap F^-(u)=\emptyset$. Lastl… ▽ More In this paper, we study almost minimizers to a fractional Alt-Caffarelli-Friedman type functional. Our main results concern the optimal $C^{0,s}$ regularity of almost minimizers as well as the structure of the free boundary. We first prove that the two free boundaries $F^+(u)=\partial\{u(\cdot,0)>0\}$ and $F^-(u)=\partial\{u(\cdot,0)<0\}$ cannot touch, that is, $F^+(u)\cap F^-(u)=\emptyset$. Lastly, we prove a flatness implies $C^{1,γ}$ result for the free boundary. △ Less

Submitted 28 February, 2024; v1 submitted 11 August, 2023; originally announced August 2023.

Symmetric and Antisymmetric Tensor Products for the Function-Theoretic Operator Theorist

Authors: Stephan Ramon Garcia, Ryan O'Loughlin, Jiahui Yu

Abstract: We study symmetric and antisymmetric tensor products of Hilbert-space operators, focusing on norms and spectra for some well-known classes favored by function-theoretic operator theorists. We pose many open questions that should interest the field. We study symmetric and antisymmetric tensor products of Hilbert-space operators, focusing on norms and spectra for some well-known classes favored by function-theoretic operator theorists. We pose many open questions that should interest the field. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 20 pages

MSC Class: 46B28; 30H10; 47A30; 47A10

Journal ref: Can. J. Math.-J. Can. Math. 77 (2025) 324-346

Mesas of Stirling permutations

Authors: Nicolle González, Pamela E. Harris, Gordon Rojas Kirby, Mariana Smit Vega Garcia, Bridget Eileen Tenner

Abstract: Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational Catalan numbers by providing an explicit bijection between mesa sets and rational Dyck paths. Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational Catalan numbers by providing an explicit bijection between mesa sets and rational Dyck paths. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Comments: 11 pages, 3 figures

MSC Class: 05A05 (Primary); 05A15 (Secondary)

The Reciprocal Schur Inequality

Authors: Albrecht Boettcher, Stephan Ramon Garcia, Mishko Mitkovski

Abstract: Schur's inequality states that the sum of three special terms is always nonnegative. This note is a short review of inequalities for the sum of the reciprocals of these terms and of extensions of the latter inequalities to an arbitrary number of terms and thus to higher-order divided differences. Schur's inequality states that the sum of three special terms is always nonnegative. This note is a short review of inequalities for the sum of the reciprocals of these terms and of extensions of the latter inequalities to an arbitrary number of terms and thus to higher-order divided differences. △ Less

Submitted 16 June, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: 7 pages

MSC Class: 26D15; 05E05; 26A51; 39B62

Variable-coefficient parabolic theory as a high-dimensional limit of elliptic theory

Authors: Blair Davey, Mariana Smit Vega Garcia

Abstract: This paper continues the study initiated in [B. Davey, Parabolic theory as a high-dimensional limit of elliptic theory, Arch Rational Mech Anal 228 (2018)], where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. In this article, we extend these ideas to the variable-coefficient setting. This generalized technique is… ▽ More This paper continues the study initiated in [B. Davey, Parabolic theory as a high-dimensional limit of elliptic theory, Arch Rational Mech Anal 228 (2018)], where a high-dimensional limiting technique was developed and used to prove certain parabolic theorems from their elliptic counterparts. In this article, we extend these ideas to the variable-coefficient setting. This generalized technique is demonstrated through new proofs of three important theorems for variable-coefficient heat operators, one of which establishes a result that is, to the best of our knowledge, also new. Specifically, we give new proofs of $L^2 \to L^2$ Carleman estimates and the monotonicity of Almgren-type frequency functions, and we prove a new monotonicity of Alt-Caffarelli-Friedman-type functions. The proofs in this article rely only on their related elliptic theorems and a limiting argument. That is, each parabolic theorem is proved by taking a high-dimensional limit of a related elliptic result. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 41 pages

MSC Class: 35J15; 35K10

Controlled Lagrangians and Stabilization of Euler--Poincaré Equations with Symmetry Breaking Nonholonomic Constraints

Authors: Jorge S. Garcia, Tomoki Ohsawa

Abstract: We extend the method of Controlled Lagrangians to nonholonomic Euler--Poincaré equations with advected parameters, specifically to those mechanical systems on Lie groups whose symmetry is broken not only by a potential force but also by nonholonomic constraints. We introduce advected-parameter-dependent quasivelocities in order to systematically eliminate the Lagrange multipliers in the nonholonom… ▽ More We extend the method of Controlled Lagrangians to nonholonomic Euler--Poincaré equations with advected parameters, specifically to those mechanical systems on Lie groups whose symmetry is broken not only by a potential force but also by nonholonomic constraints. We introduce advected-parameter-dependent quasivelocities in order to systematically eliminate the Lagrange multipliers in the nonholonomic Euler--Poincaré equations. The quasivelocities facilitate the method of Controlled Lagrangians for these systems, and lead to matching conditions that are similar to those by Bloch, Leonard, and Marsden for the standard holonomic Euler--Poincaré equation. Our motivating example is what we call the pendulum skate, a simple model of a figure skater developed by Gzenda and Putkaradze. We show that the upright spinning of the pendulum skate is stable under certain conditions, whereas the upright sliding equilibrium is always unstable. Using the matching condition, we derive a control law to stabilize the sliding equilibrium. △ Less

Submitted 5 August, 2024; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 29 pages, 5 figures

MSC Class: 34H15; 37J60; 70E17; 70G45; 70F25; 70G65; 93D05; 93D15

Journal ref: Journal of Nonlinear Science, Volume 34, article number 91, (2024)

The strongly Leibniz property and the Gromov--Hausdorff propinquity

Authors: Konrad Aguilar, Stephan Ramon Garcia, Elena Kim, Frederic Latremoliere

Abstract: We construct a new version of the dual Gromov--Hausdorff propinquity that is sensitive to the strongly Leibniz property. In particular, this new distance is complete on the class of strongly Leibniz quantum compact metric spaces. Then, given an inductive limit of C*-algebras for which each C*-algebra of the inductive limit is equipped with a strongly Leibniz L-seminorm, we provide sufficient condi… ▽ More We construct a new version of the dual Gromov--Hausdorff propinquity that is sensitive to the strongly Leibniz property. In particular, this new distance is complete on the class of strongly Leibniz quantum compact metric spaces. Then, given an inductive limit of C*-algebras for which each C*-algebra of the inductive limit is equipped with a strongly Leibniz L-seminorm, we provide sufficient conditions for placing a strongly Leibniz L-seminorm on an inductive limit such that the inductive sequence converges to the inductive limit in this new Gromov--Hausdorff propinquity. As an application, we place new strongly Leibniz L-seminorms on AF-algebras using Frobenius--Rieffel norms, for which we have convergence of the Effros--Shen algebras in the Gromov--Hausdorff propinquity with respect to their irrational parameter. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 22 pages

MSC Class: 46L89; 46L30; 58B34

Journal ref: J. Math. Anal. Appl. 529 (2024), no. 1, Paper No. 127572, 22 pp

Pinnacle sets of signed permutations

Authors: Nicolle González, Pamela E. Harris, Gordon Rojas Kirby, Mariana Smit Vega Garcia, Bridget Eileen Tenner

Abstract: Pinnacle sets record the values of the local maxima for a given family of permutations. They were introduced by Davis-Nelson-Petersen-Tenner as a dual concept to that of peaks, previously defined by Billey-Burdzy-Sagan. In recent years pinnacles and admissible pinnacles sets for the type $A$ symmetric group have been widely studied. In this article we define the pinnacle set of signed permutations… ▽ More Pinnacle sets record the values of the local maxima for a given family of permutations. They were introduced by Davis-Nelson-Petersen-Tenner as a dual concept to that of peaks, previously defined by Billey-Burdzy-Sagan. In recent years pinnacles and admissible pinnacles sets for the type $A$ symmetric group have been widely studied. In this article we define the pinnacle set of signed permutations of types $B$ and $D$. We give a closed formula for the number of type $B$/$D$ admissible pinnacle sets and answer several other related enumerative questions. △ Less

Submitted 24 March, 2023; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: 15 pages, 3 figures, to appear in Discrete Mathematics

MSC Class: 05A05 (Primary); 05A15 (Secondary)

Norms on Complex Matrices Induced by Random Vectors

Authors: Ángel Chávez, Stephan Ramon Garcia, Jackson Hurley

Abstract: We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials. We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 18 pages

MSC Class: 47A30; 15A60; 16R30

Minimizing movement scheme for intrinsic aggregation on compact Riemannian manifolds

Authors: Joaquín Sánchez García

Abstract: Recently solutions to the aggregation equation on compact Riemannian Manifolds have been studied with different techniques. This work demonstrates the small time existence of measure-valued solutions for suitably regular intrinsic potentials. The main tool is the use of the minimizing movement scheme which together with the optimality conditions yield a finite speed of propagation. The main techni… ▽ More Recently solutions to the aggregation equation on compact Riemannian Manifolds have been studied with different techniques. This work demonstrates the small time existence of measure-valued solutions for suitably regular intrinsic potentials. The main tool is the use of the minimizing movement scheme which together with the optimality conditions yield a finite speed of propagation. The main technical difficulty is non-differentiability of the potential in the cut locus which is resolved via the propagation properties of geodesic interpolations of the minimizing movement scheme and passes to the limit as the time step goes to zero. △ Less

Submitted 3 August, 2022; originally announced August 2022.

The error term in the truncated Perron formula for the logarithm of an $L$-function

Authors: Stephan Ramon Garcia, Jeffrey Lagarias, Ethan Simpson Lee

Abstract: We improve upon the traditional error term in the truncated Perron formula for the logarithm of an $L$-function. All our constants are explicit. We improve upon the traditional error term in the truncated Perron formula for the logarithm of an $L$-function. All our constants are explicit. △ Less

Submitted 20 February, 2023; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: 11 pages

MSC Class: 11M06; 11R42; 11M99; 11S40

Branch Points for (Almost-)Minimizers of Two-Phase Free Boundary Problems

Authors: Guy David, Max Engelstein, Mariana Smit Vega Garcia, Tatiana Toro

Abstract: We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have ver… ▽ More We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have very little structure. This last example stands in contrast with recent results of De Philippis- Spolaor-Velichkov on the structure of branch points in the free boundary of stationary solutions. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 30 pages, 5 figures. Comments Welcome!

Multi-Channel Convolutional Analysis Operator Learning for Dual-Energy CT Reconstruction

Authors: Alessandro Perelli, Suxer Alfonso Garcia, Alexandre Bousse, Jean-Pierre Tasu, Nikolaos Efthimiadis, Dimitris Visvikis

Abstract: Objective. Dual-energy computed tomography (DECT) has the potential to improve contrast, reduce artifacts and the ability to perform material decomposition in advanced imaging applications. The increased number or measurements results with a higher radiation dose and it is therefore essential to reduce either number of projections per energy or the source X-ray intensity, but this makes tomographi… ▽ More Objective. Dual-energy computed tomography (DECT) has the potential to improve contrast, reduce artifacts and the ability to perform material decomposition in advanced imaging applications. The increased number or measurements results with a higher radiation dose and it is therefore essential to reduce either number of projections per energy or the source X-ray intensity, but this makes tomographic reconstruction more ill-posed. Approach. We developed the multi-channel convolutional analysis operator learning (MCAOL) method to exploit common spatial features within attenuation images at different energies and we propose an optimization method which jointly reconstructs the attenuation images at low and high energies with a mixed norm regularization on the sparse features obtained by pre-trained convolutional filters through the convolutional analysis operator learning (CAOL) algorithm. Main results. Extensive experiments with simulated and real computed tomography (CT) data were performed to validate the effectiveness of the proposed methods and we reported increased reconstruction accuracy compared to CAOL and iterative methods with single and joint total-variation (TV) regularization. Significance. Qualitative and quantitative results on sparse-views and low-dose DECT demonstrate that the proposed MCAOL method outperforms both CAOL applied on each energy independently and several existing state-of-the-art model-based iterative reconstruction (MBIR) techniques, thus paving the way for dose reduction. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Comments: 23 pages, 11 figures, published in the Physics in Medicine & Biology journal

Journal ref: Phys. Med. Biol., 67, 065001, 2022

Moments of Gaussian Periods and Modified Fermat Curves

Authors: Stephan Ramon Garcia, Brian Lorenz, George Todd

Abstract: We use supercharacter theory to study moments of Gaussian periods. For $p-1=dk$ and fixed $k$, we compute the fourth absolute moments for all but finitely many primes $p$. For $d$ fixed, we relate the fourth absolute moments to the number of rational points on modified Fermat curves. For small $d$, this relation is in terms of a single curve. For larger $d$, we provide both exact formulas using fa… ▽ More We use supercharacter theory to study moments of Gaussian periods. For $p-1=dk$ and fixed $k$, we compute the fourth absolute moments for all but finitely many primes $p$. For $d$ fixed, we relate the fourth absolute moments to the number of rational points on modified Fermat curves. For small $d$, this relation is in terms of a single curve. For larger $d$, we provide both exact formulas using families of modified Fermat curves and bounds via Hasse--Weil. △ Less

Submitted 18 February, 2025; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 18 pages

MSC Class: 11L05; 11L99; 11T22; 11T23; 11T24

Frobenius-Rieffel norms on finite-dimensional C*-algebras

Authors: Konrad Aguilar, Stephan Ramon Garcia, Elena Kim

Abstract: In 2014, Rieffel introduced norms on certain unital C*-algebras built from conditional expectations onto unital C*-subalgebras. We begin by showing that these norms generalize the Frobenius norm, and we provide explicit formulas for certain conditional expectations onto unital C*-subalgebras of finite-dimensional C*-algebras. This allows us compare these norms to the operator norm by finding expli… ▽ More In 2014, Rieffel introduced norms on certain unital C*-algebras built from conditional expectations onto unital C*-subalgebras. We begin by showing that these norms generalize the Frobenius norm, and we provide explicit formulas for certain conditional expectations onto unital C*-subalgebras of finite-dimensional C*-algebras. This allows us compare these norms to the operator norm by finding explicit equivalence constants. In particular, we find equivalence constants for the standard finite-dimensional C*-subalgebras of the Effros-Shen algebras that vary continuously with respect to their given irrational parameters. △ Less

Submitted 1 June, 2022; v1 submitted 24 December, 2021; originally announced December 2021.

Comments: 23 pages

Factorization length distribution for affine semigroups IV: a geometric approach to weighted factorization lengths in three-generator numerical semigroups

Authors: Stephan Ramon Garcia, Christopher O'Neill, Gabe Udell

Abstract: For numerical semigroups with three generators, we study the asymptotic behavior of weighted factorization lengths, that is, linear functionals of the coefficients in the factorizations of semigroup elements. This work generalizes many previous results, provides more natural and intuitive proofs, and yields a completely explicit error bound. For numerical semigroups with three generators, we study the asymptotic behavior of weighted factorization lengths, that is, linear functionals of the coefficients in the factorizations of semigroup elements. This work generalizes many previous results, provides more natural and intuitive proofs, and yields a completely explicit error bound. △ Less

Submitted 13 August, 2021; originally announced August 2021.

Comments: 18 pages

MSC Class: 20M14; 05E05

Norms on complex matrices induced by complete homogeneous symmetric polynomials

Authors: Konrad Aguilar, Ángel Chávez, Stephan Ramon Garcia, Jurij Volčič

Abstract: We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determ… ▽ More We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation. △ Less

Submitted 22 March, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 20 pages

Explicit estimates for Artin $L$-functions: Duke's short-sum theorem and Dedekind Zeta Residues

Authors: Stephan Ramon Garcia, Ethan Simpson Lee

Abstract: Under GRH, we establish a version of Duke's short-sum theorem for entire Artin $L$-functions. This yields corresponding bounds for residues of Dedekind zeta functions. All numerical constants in this work are explicit. Under GRH, we establish a version of Duke's short-sum theorem for entire Artin $L$-functions. This yields corresponding bounds for residues of Dedekind zeta functions. All numerical constants in this work are explicit. △ Less

Submitted 12 November, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 20 pages, to appear in the Journal of Number Theorey

MSC Class: 11R42; 11M06; 11S40

Total Roman 2-domination in graphs

Authors: Suitberto Cabrera Garcia, Abel Cabrera Martinez, Frank A. Hernandez Mira, Ismael G. Yero

Abstract: Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the funct… ▽ More Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the function $f$ is defined as $ω(f)=\sum_{v\in V}f(v)$. The total Roman $\{2\}$-domination number, denoted by $γ_{t\{R2\}}(G)$, is the minimum weight among all total Roman $\{2\}$-dominating functions on $G$. In this article we introduce the concepts above and begin the study of its combinatorial and computational properties. For instance, we give several closed relationships between this parameter and other domination related parameters in graphs. In addition, we prove that the complexity of computing the value $γ_{t\{R2\}}(G)$ is NP-hard, even when restricted to bipartite or chordal graphs. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 23 pages

MSC Class: 05C69; 05C75

A Gallery of Gaussian Periods

Authors: Ellen Eischen, Stephan Ramon Garcia

Abstract: Gaussian periods are certain sums of roots of unity whose study dates back to Gauss's seminal work in algebra and number theory. Recently, large scale plots of Gaussian periods have been revealed to exhibit striking visual patterns, some of which have been explored in the second named author's prior work. In 2020, the first named author produced a new app, \texttt{Gaussian periods}, which allows a… ▽ More Gaussian periods are certain sums of roots of unity whose study dates back to Gauss's seminal work in algebra and number theory. Recently, large scale plots of Gaussian periods have been revealed to exhibit striking visual patterns, some of which have been explored in the second named author's prior work. In 2020, the first named author produced a new app, \texttt{Gaussian periods}, which allows anyone to create these plots much more efficiently and at a larger scale than before. In this paper, we introduce Gaussian periods, present illustrations created with the new app, and summarize how mathematics controls some visual features, including colorings left unexplained in earlier work. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Journal ref: Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. Carolyn Yackel, Robert Bosch, Eve Torrence, and Kristof Fenyvesi, eds., Tessellations Publishing (2020), 243-248

An effective analytic formula for the number of distinct irreducible factors of a polynomial

Authors: Stephan Ramon Garcia, Ethan Simpson Lee, Josh Suh, Jiahui Yu

Abstract: We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb{Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors… ▽ More We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb{Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors of $f$. △ Less

Submitted 9 December, 2020; v1 submitted 5 December, 2020; originally announced December 2020.

Comments: 15 pages

MSC Class: 11C08; 12E05; 11A41

Double domination in lexicographic product graphs

Authors: A. Cabrera Martinez, S. Cabrera Garcia, J. A. Rodriguez-Velazquez

Abstract: In a graph $G$, a vertex dominates itself and its neighbours. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The minimum cardinality among all double dominating sets of $G$ is the double domination number. In this article, we obtain tight bounds and closed formulas for the double domination number of lexicographic produc… ▽ More In a graph $G$, a vertex dominates itself and its neighbours. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The minimum cardinality among all double dominating sets of $G$ is the double domination number. In this article, we obtain tight bounds and closed formulas for the double domination number of lexicographic product graphs $G\circ H$ in terms of invariants of the factor graphs $G$ and $H$. △ Less

Submitted 1 August, 2020; originally announced August 2020.

MSC Class: 05C69; 05C76

Unconditional Explicit Mertens' Theorems for Number Fields and Dedekind Zeta Residue Bounds

Authors: Stephan Ramon Garcia, Ethan Simpson Lee

Abstract: We obtain unconditional, effective number-field analogues of the three Mertens' theorems, all with explicit constants and valid for $x\geq 2$. Our error terms are explicitly bounded in terms of the degree and discriminant of the number field. To this end, we provide unconditional bounds, with explicit constants, for the residue of the corresponding Dedekind zeta function at $s=1$. We obtain unconditional, effective number-field analogues of the three Mertens' theorems, all with explicit constants and valid for $x\geq 2$. Our error terms are explicitly bounded in terms of the degree and discriminant of the number field. To this end, we provide unconditional bounds, with explicit constants, for the residue of the corresponding Dedekind zeta function at $s=1$. △ Less

Submitted 11 March, 2021; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: 19 pages

MSC Class: 11N32; 11N05; 11N13

Almost minimizers for the thin obstacle problem with variable coefficients

Authors: Seongmin Jeon, Arshak Petrosyan, Mariana Smit Vega Garcia

Abstract: We study almost minimizers for the thin obstacle problem with variable Hölder continuous coefficients and zero thin obstacle and establish their $C^{1,β}$ regularity on the either side of the thin space. Under an additional assumption of quasisymmetry, we establish the optimal growth of almost minimizers as well as the regularity of the regular set and a structural theorem on the singular set. The… ▽ More We study almost minimizers for the thin obstacle problem with variable Hölder continuous coefficients and zero thin obstacle and establish their $C^{1,β}$ regularity on the either side of the thin space. Under an additional assumption of quasisymmetry, we establish the optimal growth of almost minimizers as well as the regularity of the regular set and a structural theorem on the singular set. The proofs are based on the generalization of Weiss- and Almgren-type monotonicity formulas for almost minimizers established earlier in the case of constant coefficients. △ Less

Submitted 12 July, 2020; originally announced July 2020.

Comments: 53 pages. arXiv admin note: text overlap with arXiv:1905.11956

MSC Class: 49N60; 35R35

Explicit Mertens' Theorems for Number Fields

Authors: Stephan Ramon Garcia, Ethan Simpson Lee

Abstract: Assuming the Generalized Riemann Hypothesis we obtain uniform, effective number-field analogues of Mertens' theorems. Assuming the Generalized Riemann Hypothesis we obtain uniform, effective number-field analogues of Mertens' theorems. △ Less

Submitted 6 April, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: 8 Pages

MSC Class: 11N32; 11N05; 11N13

Factorization length distribution for affine semigroups III: modular equidistribution for numerical semigroups with arbitrarily many generators

Authors: Stephan Ramon Garcia, Mohamed Omar, Christopher O'Neill, Timothy Wesley

Abstract: For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations. For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations. △ Less

Submitted 1 October, 2020; v1 submitted 29 May, 2020; originally announced June 2020.

Comments: 13 pages

The Prime Number Theorem as a Capstone in a Complex Analysis Course

Authors: Stephan Ramon Garcia

Abstract: We present a detailed proof of the prime number theorem suitable for a typical undergraduate- or graduate-level complex analysis course. Our presentation is particularly useful for any instructor who seeks to use the prime number theorem for a series of capstone lectures, a scaffold for a series of guided exercises, or as a framework for an inquiry-based course. We require almost no knowledge of n… ▽ More We present a detailed proof of the prime number theorem suitable for a typical undergraduate- or graduate-level complex analysis course. Our presentation is particularly useful for any instructor who seeks to use the prime number theorem for a series of capstone lectures, a scaffold for a series of guided exercises, or as a framework for an inquiry-based course. We require almost no knowledge of number theory, for our aim is to make a complete proof of the prime number theorem widely accessible to complex analysis instructors. In particular, we highlight the potential pitfalls and subtleties that may catch the instructor unawares when using more terse sources. △ Less

Submitted 12 July, 2020; v1 submitted 23 May, 2020; originally announced May 2020.

Comments: 26 pages

Journal ref: J. Humanistic Math., 11 (2021), no. 1, 166-203

Multidimensional Schinzel-type theorems for multiplicative functions near prime tuples

Authors: Stephan Ramon Garcia, Gabe Udell, Jiahui Yu

Abstract: Assuming Dickson's conjecture, we obtain multidimensional analogues of recent results on the behavior of certain multiplicative arithmetic functions near twin-prime arguments. This is inspired by analogous unconditional theorems of Schinzel undertaken without primality assumptions. Assuming Dickson's conjecture, we obtain multidimensional analogues of recent results on the behavior of certain multiplicative arithmetic functions near twin-prime arguments. This is inspired by analogous unconditional theorems of Schinzel undertaken without primality assumptions. △ Less

Submitted 11 May, 2020; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 12 pages

Journal ref: J. Number Theory, 219 (2021), 212-227

Weighted Means of B-Splines, Positivity of Divided Differences, and Complete Homogeneous Symmetric Polynomials

Authors: Albrecht Boettcher, Stephan Ramon Garcia, Mohamed Omar, Christopher O'Neill

Abstract: We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Ja… ▽ More We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees $μ$ with $|μ-2p|< 1/2$. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials. △ Less

Submitted 20 January, 2020; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: 13 pages

Journal ref: Lin. Alg. Appl. 608 (2021), 68-83

Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators

Authors: Stephan Ramon Garcia, Mohamed Omar, Christopher O'Neill, Samuel Yih

Abstract: For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak converge… ▽ More For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions. △ Less

Submitted 8 October, 2020; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: 29 pages

Journal ref: J. Combin. Theory Ser. A, 178 (2021), 105358

On a Bernoulli-type overdetermined free boundary problem

Authors: Murat Akman, Agnid Banerjee, Mariana Smit Vega Garcia

Abstract: In this article we study a Bernoulli-type free boundary problem and generalize a work of Henrot and Shahgholian in \cite{HS1} to $\mathcal{A}$-harmonic PDEs. These are quasi-linear elliptic PDEs whose structure is modeled on the $p$-Laplace equation for a fixed $1<p<\infty$. In particular, we show that if $K$ is a bounded convex set satisfying the interior ball condition and $c>0$ is a given const… ▽ More In this article we study a Bernoulli-type free boundary problem and generalize a work of Henrot and Shahgholian in \cite{HS1} to $\mathcal{A}$-harmonic PDEs. These are quasi-linear elliptic PDEs whose structure is modeled on the $p$-Laplace equation for a fixed $1<p<\infty$. In particular, we show that if $K$ is a bounded convex set satisfying the interior ball condition and $c>0$ is a given constant, then there exists a unique convex domain $Ω$ with $K\subset Ω$ and a function $u$ which is $\mathcal{A}$-harmonic in $Ω\setminus K$, has continuous boundary values $1$ on $\partial K$ and $0$ on $\partialΩ$, such that $|\nabla u|=c$ on $\partial Ω$. Moreover, $\partialΩ$ is $C^{1,γ}$ for some $γ>0$, and it is smooth provided $\mathcal{A}$ is smooth in $\mathbb{R}^n \setminus \{0\}$. We also show that the super level sets $\{u>t\}$ are convex for $t\in (0,1)$. △ Less

Submitted 7 November, 2019; originally announced November 2019.

MSC Class: 35R35; 35A01; 35J92; 35J25; 35J70

Regularity for almost-minimizers of variable coefficient Bernoulli-type functionals

Authors: Guy David, Max Engelstein, Mariana Smit Vega Garcia, Tatiana Toro

Abstract: In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and… ▽ More In [David-Toro 15] and [David-Engelstein-Toro 19], (some of) the authors studied almost minimizers for functionals of the type first studied by Alt and Caffarelli in [Alt-Caffarelli 81] and Alt, Caffarelli and Friedman in [Alt-Caffarelli-Friedman 84]. In this paper we study the regularity of almost minimizers to energy functionals with variable coefficients (as opposed to [DT15, DET19. AC 81] and [ACF84] which deal only with the "Laplacian" setting). We prove Lipschitz regularity up to, and across, the free boundary, generalizing the results of [David-Toro 15] to the variable coefficient setting. △ Less

Submitted 20 November, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 41 pages. Revised version has minor corrections and additions. To appear in Math Z

Primitive root bias for twin primes II: Schinzel-type theorems for totient quotients and the sum-of-divisors function

Authors: Stephan Ramon Garcia, Florian Luca, Kye Shi, Gabe Udell

Abstract: Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $φ(p-1) \geq φ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$. We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients… ▽ More Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $φ(p-1) \geq φ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$. We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients $\frac{φ(p+1)}{φ(p-1)}$, as $p,p+2$ range over the twin primes, are dense in the positive reals. We also establish several Schinzel-type theorems, some of them unconditional, about the behavior of $\frac{φ(p+1)}{φ(p)}$ and $\frac{σ(p+1)}{σ(p)}$, in which $σ$ denotes the sum-of-divisors function. △ Less

Submitted 28 August, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 16 pages

MSC Class: 11A07; 11A41; 11N05; 11N37; 11N56

Journal ref: J. Number Theory 208 (2020), 400-417

Partially isometric matrices: a brief and selective survey

Authors: Stephan Ramon Garcia, Matthew Okubo Patterson, William T. Ross

Abstract: We survey a variety of results about partially isometric matrices. We focus primarily on results that are distinctly finite-dimensional. For example, we cover a recent solution to the similarity problem for partial isometries. We also discuss the unitary similarity problem and several other results. We survey a variety of results about partially isometric matrices. We focus primarily on results that are distinctly finite-dimensional. For example, we cover a recent solution to the similarity problem for partial isometries. We also discuss the unitary similarity problem and several other results. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 30 pages

MSC Class: 15B10; 15B99; 15A23; 15A60; 15A18

Stability and steady state of complex cooperative systems: a diakoptic approach

Authors: Philip Greulich, Benjamin D. MacArthur, Cristina Parigini, Rubén J. Sánchez García

Abstract: Cooperative dynamics are common in ecology and population dynamics. However, their commonly high degree of complexity with a large number of coupled degrees of freedom renders them difficult to analyse. Here we present a graph-theoretical criterion, via a diakoptic approach (`divide-and-conquer') to determine a cooperative system's stability by decomposing the system's dependence graph into its st… ▽ More Cooperative dynamics are common in ecology and population dynamics. However, their commonly high degree of complexity with a large number of coupled degrees of freedom renders them difficult to analyse. Here we present a graph-theoretical criterion, via a diakoptic approach (`divide-and-conquer') to determine a cooperative system's stability by decomposing the system's dependence graph into its strongly connected components (SCCs). In particular, we show that a linear cooperative system is Lyapunov stable if the SCCs of the associated dependence graph all have non-positive dominant eigenvalues, and if no SCCs which have dominant eigenvalue zero are connected by a path. △ Less

Submitted 11 June, 2020; v1 submitted 6 March, 2019; originally announced March 2019.

Comments: 18 pages, 2 figures. Major changes (introduction and conclusions rewritten, new proof of Theorem 2)

Journal ref: Royal Society Open Science 6, no. 12 (2019): 191090

$p$-adic quotient sets II: quadratic forms

Authors: Christopher Donnay, Stephan Ramon Garcia, Jeremy Rouse

Abstract: For $A \subseteq \{1,2,\ldots\}$, we consider $R(A) = \{a/a' : a,a' \in A\}$. If $A$ is the set of nonzero values assumed by a quadratic form, when is $R(A)$ dense in the $p$-adic numbers? We show that for a binary quadratic form $Q$, $R(A)$ is dense in $\mathbb{Q}_{p}$ if and only if the discriminant of $Q$ is a nonzero square in $\mathbb{Q}_{p}$, and for a quadratic form in at least three variab… ▽ More For $A \subseteq \{1,2,\ldots\}$, we consider $R(A) = \{a/a' : a,a' \in A\}$. If $A$ is the set of nonzero values assumed by a quadratic form, when is $R(A)$ dense in the $p$-adic numbers? We show that for a binary quadratic form $Q$, $R(A)$ is dense in $\mathbb{Q}_{p}$ if and only if the discriminant of $Q$ is a nonzero square in $\mathbb{Q}_{p}$, and for a quadratic form in at least three variables, $R(A)$ is always dense in $\mathbb{Q}_{p}$. This answers a question posed by several authors in 2017. △ Less

Submitted 13 June, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: 14 pages

Journal ref: J. Number Theory 201 (2019), 23-39

The fractional unstable obstacle problem

Authors: Mark Allen, Mariana Smit Vega Garcia

Abstract: We study a model for combustion on a boundary. Specifically, we study certain generalized solutions of the equation \[ (-Δ)^s u = χ_{\{u>c\}} \] for $0<s<1$ and an arbitrary constant $c$. Our main object of study is the free boundary $\partial\{u>c\}$. We study the behavior of the free boundary and prove an upper bound for the Hausdorff dimension of the singular set. We also show that when… ▽ More We study a model for combustion on a boundary. Specifically, we study certain generalized solutions of the equation \[ (-Δ)^s u = χ_{\{u>c\}} \] for $0<s<1$ and an arbitrary constant $c$. Our main object of study is the free boundary $\partial\{u>c\}$. We study the behavior of the free boundary and prove an upper bound for the Hausdorff dimension of the singular set. We also show that when $s\leq 1/2$ certain symmetric solutions are stable; however, when $s>1/2$ these solutions are not stable and therefore not minimizers of the corresponding functional. △ Less

Submitted 29 November, 2018; originally announced November 2018.

MSC Class: 35R35; 34A08

La espiral áurea, su longitud y rectángulos áureos

Authors: Campo Elías González Pineda, Sandra Milena García

Abstract: In this article we calculate the length of the golden spiral, and we study the golden rectangles. We calculate some measures of interest. We also show that the only rectangles that can be subdivided or that generate sub rectangles indefinitely are the golden rectangles. We emphasize that when subdividing a rectangle into sub rectangles, the Fibonacci sequence naturally appears. In addition, we ide… ▽ More In this article we calculate the length of the golden spiral, and we study the golden rectangles. We calculate some measures of interest. We also show that the only rectangles that can be subdivided or that generate sub rectangles indefinitely are the golden rectangles. We emphasize that when subdividing a rectangle into sub rectangles, the Fibonacci sequence naturally appears. In addition, we identify the rectangles that resemble the golden rectangles. △ Less

Submitted 29 November, 2018; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: in Spanish