Showing 1–14 of 14 results for author: Garcia, J L

Identifiability of directed-cycle and catenary linear compartment models

Authors: Saber Ahmed, Natasha Crepeau, Paul R. Dessauer Jr., Alexis Edozie, Odalys Garcia-Lopez, Tanisha Grimsley, Jordy Lopez Garcia, Viridiana Neri, Anne Shiu

Abstract: A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete char… ▽ More A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete characterization of the directed-cycle models for which every parameter is (generically locally) identifiable. Additionally, for catenary models, we give a formula for their input-output equations. Such equations are used to analyze identifiability, so we expect our formula to support future analyses into the identifiability of catenary models. Our proofs rely on prior results on input-output equations, and we also use techniques from linear algebra and graph theory. △ Less

Submitted 6 July, 2025; v1 submitted 14 November, 2024; originally announced December 2024.

Comments: 43 pages, 12 figures; updated in response to referee comments, improved exposition throughout, updated two figures, edited title

MSC Class: 93B30; 37N25; 92C45; 34A30; 34A55; 05C50

$\mathbb{A}^1$-Brouwer degrees in Macaulay2

Authors: Nikita Borisov, Thomas Brazelton, Frenly Espino, Thomas Hagedorn, Zhaobo Han, Jordy Lopez Garcia, Joel Louwsma, Wern Juin Gabriel Ong, Andrew R. Tawfeek

Abstract: We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of characteristic not equal to 2. We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over the complex numbers, the real numbers, the rational numbers, and finite fields of characteristic not equal to 2. △ Less

Submitted 23 July, 2024; v1 submitted 30 November, 2023; originally announced December 2023.

Comments: 12 pages, 1 figure. Comments welcome!

MSC Class: 14F42; 14-04; 68W30; 11E04; 55M25; 14N10

Journal ref: J. Softw. Alg. Geom. 14 (2024) 175-187

Deficiency of chemical reaction networks: The effect of operations that preserve multistationarity and periodic orbits

Authors: Awildo Gutierrez, Elijah Leake, Caelyn Rivas-Sobie, Jordy Lopez Garcia, Anne Shiu

Abstract: We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is ze… ▽ More We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is zero. It is therefore natural to conjecture that the deficiency never decreases when any of the six aforementioned network operations are performed. We prove that this is indeed the case, and moreover, we characterize the numerical difference in deficiency after performing each network operation. △ Less

Submitted 29 November, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: Reorganized Section 3, improved exposition throughout, made several edits in response to referee suggestions

MSC Class: 37N25; 05C90; 05C76; 15A03

Additive Invariants of Open Petri Nets

Authors: Benjamin Merlin Bumpus, Sophie Libkind, Jordy Lopez Garcia, Layla Sorkatti, Samuel Tenka

Abstract: We classify all additive invariants of open Petri nets: these are $\mathbb{N}$-valued invariants which are additive with respect to sequential and parallel composition of open Petri nets. In particular, we prove two classification theorems: one for open Petri nets and one for monically open Petri nets (i.e. open Petri nets whose interfaces are specified by monic maps). Our results can be summarize… ▽ More We classify all additive invariants of open Petri nets: these are $\mathbb{N}$-valued invariants which are additive with respect to sequential and parallel composition of open Petri nets. In particular, we prove two classification theorems: one for open Petri nets and one for monically open Petri nets (i.e. open Petri nets whose interfaces are specified by monic maps). Our results can be summarized as follows. The additive invariants of open Petri nets are completely determined by their values on a particular class of single-transition Petri nets. However, for monically open Petri nets, the additive invariants are determined by their values on transitionless Petri nets and all single-transition Petri nets. Our results confirm a conjecture of John Baez (stated during the AMS' 2022 Mathematical Research Communities workshop). △ Less

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

Comments: 20 pages

Irreducibility of the Dispersion Polynomial for Periodic Graphs

Authors: Matthew Faust, Jordy Lopez Garcia

Abstract: We use methods from algebra and discrete geometry to study the irreducibility of the dispersion polynomial of a discrete periodic operator associated to a periodic graph after changing the period lattice. We provide numerous applications of these results to discrete periodic operators associated to families of graphs which include dense periodic graphs, and a family containing the hexagonal and di… ▽ More We use methods from algebra and discrete geometry to study the irreducibility of the dispersion polynomial of a discrete periodic operator associated to a periodic graph after changing the period lattice. We provide numerous applications of these results to discrete periodic operators associated to families of graphs which include dense periodic graphs, and a family containing the hexagonal and diamond lattices. △ Less

Submitted 10 November, 2024; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 27 pages

MSC Class: 47A75 (Primary) 14M25; 52B20 (Secondary)

Critical Perturbations for Second Order Elliptic Operators. Part II: Non-tangential maximal function estimates

Authors: Simon Bortz, Steve Hofmann, José Luis Luna Garcia, Svitlana Mayboroda, Bruno Poggi

Abstract: This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet… ▽ More This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet, Neumann and regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. Due to the lack of the classical De Giorgi-Nash-Moser theory in our setting, our method to prove the non-tangential maximal function estimates relies on a completely new argument: We obtain a certain weak-$L^p$ ''$N<S$'' estimate, which we eventually couple with square function bounds, weighted extrapolation theory, and a bootstrapping argument to recover the full $L^2$ bound. Finally, we show the existence and uniqueness of solutions in a relatively broad class. As a corollary, we claim the first results in an unbounded domain concerning the $L^p$-solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. △ Less

Submitted 6 February, 2023; originally announced February 2023.

MSC Class: 35J25 (primary); 42B37; 42B25; 35J10; 35J57; 35Q60 (secondary)

Stability of Weighted Norm Inequalities

Authors: Michel Alexis, José Luis Luna Garcia, Eric Sawyer, Ignacio Uriarte-Tuero

Abstract: We show that while individual Riesz transforms are two weight norm stable under biLipschitz change of variables on $A_{\infty}$ weights, they are two weight norm unstable under even rotational change of variables on doubling weights. More precisely, we show that individual Riesz transforms are unstable under a set of rotations having full measure, which includes rotations arbitrarily close to the… ▽ More We show that while individual Riesz transforms are two weight norm stable under biLipschitz change of variables on $A_{\infty}$ weights, they are two weight norm unstable under even rotational change of variables on doubling weights. More precisely, we show that individual Riesz transforms are unstable under a set of rotations having full measure, which includes rotations arbitrarily close to the identity. This provides an operator theoretic distinction between $A_{\infty}$ weights and doubling weights. More generally, all iterated Riesz transforms of odd order are rotationally unstable on pairs of doubling weights, thus demonstrating the need for characterizations of iterated Riesz transform inequalities using testing conditions for doubling measures, as opposed to the typically stable 'bump' conditions. △ Less

Submitted 12 June, 2024; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: 43 pages, followed by 8 pages of appendices and references. Several proofs are corrected, including circumventing an error found in a previous version of the T1 theorem of[AlSaUr]. Futhermore, an additional subsection is added to the appendix relating stability and sparse operators. Main results unchanged. To appear in Revista Matemática Iberoamericana

MSC Class: 42B20

Real solutions to systems of polynomial equations in Macaulay2

Authors: Jordy Lopez Garcia, Kelly Maluccio, Frank Sottile, Thomas Yahl

Abstract: The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and descriptions of the RealRoots package, giving examples which illustrate some of its implemented methods. We also prove a general version of Sylvester's Theorem… ▽ More The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and descriptions of the RealRoots package, giving examples which illustrate some of its implemented methods. We also prove a general version of Sylvester's Theorem whose statement and proof we could not find in the literature. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 9 pages, 2 figures

MSC Class: 14Q30

Journal ref: J. Softw. Alg. Geom. 14 (2024) 87-95

Parabolic Singular Integrals with Nonhomogeneous Kernels

Authors: Simon Bortz, John Hoffman, Steve Hofmann, Jose-Luis Luna Garcia, Kaj Nystrom

Abstract: We establish $L^2$ boundedness of all "nice" parabolic singular integrals on "Good Parabolic Graphs", aka {\em regular} Lip(1,1/2) graphs. The novelty here is that we include non-homogeneous kernels, which are relevant to the theory of parabolic uniform rectifiability. Previously, the third named author had treated the case of homogeneous kernels. The present proof combines the methods of that wor… ▽ More We establish $L^2$ boundedness of all "nice" parabolic singular integrals on "Good Parabolic Graphs", aka {\em regular} Lip(1,1/2) graphs. The novelty here is that we include non-homogeneous kernels, which are relevant to the theory of parabolic uniform rectifiability. Previously, the third named author had treated the case of homogeneous kernels. The present proof combines the methods of that work (which in turn was based on methods described in Christ's CBMS lecture notes), with the techniques of Coifman-David-Meyer. △ Less

Submitted 4 June, 2025; v1 submitted 23 March, 2021; originally announced March 2021.

MSC Class: 42B20; 28A75

Carleson measure estimates for caloric functions and parabolic uniformly rectifiable sets

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: Let $E \subset \mathbb R^{n+1}$ be a parabolic uniformly rectifiable set. We prove that every bounded solution $u$ to $$\partial_tu- Δu=0, \quad \text{in} \quad \mathbb R^{n+1}\setminus E$$ satisfies a Carleson measure estimate condition. An important technical novelty of our work is that we develop a corona domain approximation scheme for $E$ in terms of regular Lip(1/2,1) graph domains. This app… ▽ More Let $E \subset \mathbb R^{n+1}$ be a parabolic uniformly rectifiable set. We prove that every bounded solution $u$ to $$\partial_tu- Δu=0, \quad \text{in} \quad \mathbb R^{n+1}\setminus E$$ satisfies a Carleson measure estimate condition. An important technical novelty of our work is that we develop a corona domain approximation scheme for $E$ in terms of regular Lip(1/2,1) graph domains. This approximation scheme has an analogous elliptic version which is an improvement of the known results in that setting. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Journal ref: Analysis & PDE 16 (2023) 1061-1088

Corona Decompositions for Parabolic Uniformly Rectifiable Sets

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: We prove that parabolic uniformly rectifiable sets admit (bilateral) corona decompositions with respect to regular Lip(1,1/2) graphs. Together with our previous work, this allows us to conclude that if $Σ\subset\mathbb{R}^{n+1}$ is parabolic Ahlfors-David regular, then the following statements are equivalent. (1) $Σ$ is parabolic uniformly rectifiable. (2) $Σ$ admits a corona decomposition wit… ▽ More We prove that parabolic uniformly rectifiable sets admit (bilateral) corona decompositions with respect to regular Lip(1,1/2) graphs. Together with our previous work, this allows us to conclude that if $Σ\subset\mathbb{R}^{n+1}$ is parabolic Ahlfors-David regular, then the following statements are equivalent. (1) $Σ$ is parabolic uniformly rectifiable. (2) $Σ$ admits a corona decomposition with respect to regular Lip(1,1/2) graphs. (3) $Σ$ admits a bilateral corona decomposition with respect to regular Lip(1,1/2) graphs. (4) $Σ$ is big pieces squared of regular Lip(1,1/2) graphs. △ Less

Submitted 7 February, 2023; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: We have improved the exposition in section 4. In particular, we have treated the case where `contact set' in the Whitney-type construction is empty. This case seemed to be overlooked in David and Semmes' original construction, but only required a modest fix. We have also corrected the (egregious) typo in what is now equation (4.42), which now has $ε$ rather than $δ$

Coronizations and big pieces in metric spaces

Authors: Simon Bortz, John Hoffman, Steve Hofmann, José Luis Luna Garcia, Kaj Nyström

Abstract: We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are… ▽ More We prove that coronizations with respect to arbitrary d-regular sets (not necessarily graphs) imply big pieces squared of these (approximating) sets. This is known (and due to David and Semmes in the case of sufficiently large co-dimension, and to Azzam and Schul in general) in the (classical) setting of Euclidean spaces with Hausdorff measure of integer dimension, where the approximating sets are Lipschitz graphs. Our result is a far reaching generalization of these results and we prove that coronizations imply big pieces squared is a generic property. In particular, our result applies, when suitably interpreted, in metric spaces having a fixed positive (perhaps non-integer) dimension, equipped with a Borel regular measure and with arbitrary approximating sets. As a novel application we highlight how to utilize this general setting in the context of parabolic uniform rectifiability. △ Less

Submitted 9 September, 2020; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: Observation 4.19 added

Phase space learning with neural networks

Authors: Jaime Lopez Garcia, Angel Rivero Jimenez

Abstract: This work proposes an autoencoder neural network as a non-linear generalization of projection-based methods for solving Partial Differential Equations (PDEs). The proposed deep learning architecture presented is capable of generating the dynamics of PDEs by integrating them completely in a very reduced latent space without intermediate reconstructions, to then decode the latent solution back to th… ▽ More This work proposes an autoencoder neural network as a non-linear generalization of projection-based methods for solving Partial Differential Equations (PDEs). The proposed deep learning architecture presented is capable of generating the dynamics of PDEs by integrating them completely in a very reduced latent space without intermediate reconstructions, to then decode the latent solution back to the original space. The learned latent trajectories are represented and their physical plausibility is analyzed. It is shown the reliability of properly regularized neural networks to learn the global characteristics of a dynamical system's phase space from the sample data of a single path, as well as its ability to predict unseen bifurcations. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

Authors: Simon Bortz, Steve Hofmann, José Luis Luna Garcia, Svitlana Mayboroda, Bruno Poggi

Abstract: This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermit… ▽ More This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper. △ Less

Submitted 1 February, 2023; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: 71 pages, corrected some typographical errors

Journal ref: Analysis & PDE 15 (2022) 1215-1286