-
Adaptive multipliers for extrapolation in frequency
Authors:
Diego Castelli Lacunza,
Carlos A. Sing Long
Abstract:
Resolving the details of an object from coarse-scale measurements is a classical problem in applied mathematics. This problem is usually formulated as extrapolating the Fourier transform of the object from a bounded region to the entire space, that is, in terms of performing extrapolation in frequency. This problem is ill-posed unless one assumes that the object has some additional structure. When…
▽ More
Resolving the details of an object from coarse-scale measurements is a classical problem in applied mathematics. This problem is usually formulated as extrapolating the Fourier transform of the object from a bounded region to the entire space, that is, in terms of performing extrapolation in frequency. This problem is ill-posed unless one assumes that the object has some additional structure. When the object is compactly supported, then it is well-known that its Fourier transform can be extended to the entire space. However, it is also well-known that this problem is severely ill-conditioned.
In this work, we assume that the object is known to belong to a collection of compactly supported functions and, instead performing extrapolation in frequency to the entire space, we study the problem of extrapolating to a larger bounded set using dilations in frequency and a single Fourier multiplier. This is reminiscent of the refinement equation in multiresolution analysis. Under suitable conditions, we prove the existence of a worst-case optimal multiplier over the entire collection, and we show that all such multipliers share the same canonical structure. When the collection is finite, we show that any worst-case optimal multiplier can be represented in terms of an Hermitian matrix. This allows us to introduce a fixed-point iteration to find the optimal multiplier. This leads us to introduce a family of multipliers, which we call $Σ$-multipliers, that can be used to perform extrapolation in frequency. We establish connections between $Σ$-multipliers and multiresolution analysis. We conclude with some numerical experiments illustrating the practical consequences of our results.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Longest Path and Cycle Transversals in Chordal Graphs
Authors:
James A. Long Jr.,
Kevin G. Milans,
Michael C. Wigal
Abstract:
We show that if $G$ is a $n$-vertex connected chordal graph, then it admits a longest path transversal of size $O(\log^2 n)$. Under the stronger assumption of 2-connectivity, we show $G$ admits a longest cycle transversal of size $O(\log n)$. We also provide longest path and longest cycle transversals which are bounded by the leafage of the chordal graph.
We show that if $G$ is a $n$-vertex connected chordal graph, then it admits a longest path transversal of size $O(\log^2 n)$. Under the stronger assumption of 2-connectivity, we show $G$ admits a longest cycle transversal of size $O(\log n)$. We also provide longest path and longest cycle transversals which are bounded by the leafage of the chordal graph.
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
InVAErt networks for amortized inference and identifiability analysis of lumped parameter hemodynamic models
Authors:
Guoxiang Grayson Tong,
Carlos A. Sing Long,
Daniele E. Schiavazzi
Abstract:
Estimation of cardiovascular model parameters from electronic health records (EHR) poses a significant challenge primarily due to lack of identifiability. Structural non-identifiability arises when a manifold in the space of parameters is mapped to a common output, while practical non-identifiability can result due to limited data, model misspecification, or noise corruption. To address the result…
▽ More
Estimation of cardiovascular model parameters from electronic health records (EHR) poses a significant challenge primarily due to lack of identifiability. Structural non-identifiability arises when a manifold in the space of parameters is mapped to a common output, while practical non-identifiability can result due to limited data, model misspecification, or noise corruption. To address the resulting ill-posed inverse problem, optimization-based or Bayesian inference approaches typically use regularization, thereby limiting the possibility of discovering multiple solutions. In this study, we use inVAErt networks, a neural network-based, data-driven framework for enhanced digital twin analysis of stiff dynamical systems. We demonstrate the flexibility and effectiveness of inVAErt networks in the context of physiological inversion of a six-compartment lumped parameter hemodynamic model from synthetic data to real data with missing components.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
InVAErt networks: a data-driven framework for model synthesis and identifiability analysis
Authors:
Guoxiang Grayson Tong,
Carlos A. Sing Long,
Daniele E. Schiavazzi
Abstract:
Use of generative models and deep learning for physics-based systems is currently dominated by the task of emulation. However, the remarkable flexibility offered by data-driven architectures would suggest to extend this representation to other aspects of system synthesis including model inversion and identifiability. We introduce inVAErt (pronounced "invert") networks, a comprehensive framework fo…
▽ More
Use of generative models and deep learning for physics-based systems is currently dominated by the task of emulation. However, the remarkable flexibility offered by data-driven architectures would suggest to extend this representation to other aspects of system synthesis including model inversion and identifiability. We introduce inVAErt (pronounced "invert") networks, a comprehensive framework for data-driven analysis and synthesis of parametric physical systems which uses a deterministic encoder and decoder to represent the forward and inverse solution maps, a normalizing flow to capture the probabilistic distribution of system outputs, and a variational encoder designed to learn a compact latent representation for the lack of bijectivity between inputs and outputs. We formally investigate the selection of penalty coefficients in the loss function and strategies for latent space sampling, since we find that these significantly affect both training and testing performance. We validate our framework through extensive numerical examples, including simple linear, nonlinear, and periodic maps, dynamical systems, and spatio-temporal PDEs.
△ Less
Submitted 11 September, 2023; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Non-empty intersection of longest paths in $H$-free graphs
Authors:
James A. Long Jr.,
Kevin G. Milans,
Andrea Munaro
Abstract:
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number…
▽ More
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number $α(G)$ satisfies $α(G) \le κ(G) + 2$, then each vertex of maximum degree forms a longest path transversal of size $1$.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
On Examples and Classification of Frobenius Objects in Rel
Authors:
Ivan Contreras,
Adele Long,
Sophia Marx,
Rajan Amit Mehta
Abstract:
We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs.
We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
On Dependent Dirichlet Processes for General Polish Spaces
Authors:
Andres Iturriaga,
Carlos A. Sing Long,
Alejandro Jara
Abstract:
We study Dirichlet process-based models for sets of predictor-dependent probability distributions, where the domain and predictor space are general Polish spaces. We generalize the definition of dependent Dirichlet processes, originally constructed on Euclidean spaces, to more general Polish spaces. We provide sufficient conditions under which dependent Dirichlet processes have appealing propertie…
▽ More
We study Dirichlet process-based models for sets of predictor-dependent probability distributions, where the domain and predictor space are general Polish spaces. We generalize the definition of dependent Dirichlet processes, originally constructed on Euclidean spaces, to more general Polish spaces. We provide sufficient conditions under which dependent Dirichlet processes have appealing properties regarding continuity (weak and strong), association structure, and support (under different topologies). We also provide sufficient conditions under which mixture models induced by dependent Dirichlet processes have appealing properties regarding strong continuity, association structure, support, and weak consistency under i.i.d. sampling of both responses and predictors. The results can be easily extended to more general dependent stick-breaking processes.
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
Automorphisms of the fine curve graph
Authors:
Adele Long,
Dan Margalit,
Anna Pham,
Yvon Verberne,
Claudia Yao
Abstract:
Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended mapping class group of the corresponding surface.
Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended mapping class group of the corresponding surface.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
Sublinear Longest Path Transversals
Authors:
James A. Long Jr.,
Kevin G. Milans,
Andrea Munaro
Abstract:
We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit longest path transversals of constant size. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals.
We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit longest path transversals of constant size. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals.
△ Less
Submitted 14 February, 2023; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Modified Potra-Pták method to determine the multiple zeros of nonlinear equations
Authors:
S. Sharifi,
M. Ferrara,
N. M. A. Nik Long,
M. Salimi
Abstract:
In this paper, we present a third-order iterative method based on Potra-Pt{á}k method to compute the approximate multiple roots of nonlinear equations. The method requires two evaluations of the function and one evaluation of its first derivative per iteration and it has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed methods along with nume…
▽ More
In this paper, we present a third-order iterative method based on Potra-Pt{á}k method to compute the approximate multiple roots of nonlinear equations. The method requires two evaluations of the function and one evaluation of its first derivative per iteration and it has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed methods along with numerical experiments including comparison with existing methods. Moreover, the attraction basins are shown and compared with other existing methods.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
Walking dynamics are symmetric (enough)
Authors:
M. Mert Ankaralı,
Shahin Sefati,
Manu S. Madhav,
Andrew Long,
Amy J. Bastian,
Noah J. Cowan
Abstract:
Many biological phenomena such as locomotion, circadian cycles, and breathing are rhythmic in nature and can be modeled as rhythmic dynamical systems. Dynamical systems modeling often involves neglecting certain characteristics of a physical system as a modeling convenience. For example, human locomotion is frequently treated as symmetric about the sagittal plane. In this work, we test this assump…
▽ More
Many biological phenomena such as locomotion, circadian cycles, and breathing are rhythmic in nature and can be modeled as rhythmic dynamical systems. Dynamical systems modeling often involves neglecting certain characteristics of a physical system as a modeling convenience. For example, human locomotion is frequently treated as symmetric about the sagittal plane. In this work, we test this assumption by examining human walking dynamics around the steady-state (limit-cycle). Here we adapt statistical cross validation in order to examine whether there are statistically significant asymmetries, and even if so, test the consequences of assuming bilateral symmetry anyway. Indeed, we identify significant asymmetries in the dynamics of human walking, but nevertheless show that ignoring these asymmetries results in a more consistent and predictive model. In general, neglecting evident characteristics of a system can be more than a modeling convenience---it can produce a better model.
△ Less
Submitted 23 May, 2015; v1 submitted 31 July, 2014;
originally announced July 2014.
