-
Unconditionally stable space-time isogeometric method for the linear Schrödinger equation
Authors:
Matteo Ferrari,
Sergio Gómez
Abstract:
We propose and analyze a space-time isogeometric finite element method based on splines with maximal regularity in time for the linear time-dependent Schrödinger equation with a spatially varying potential. We investigate the stability and conservation properties of the method, demonstrating that it preserves both mass and energy at the final time, and it is unconditionally stable. Numerical exper…
▽ More
We propose and analyze a space-time isogeometric finite element method based on splines with maximal regularity in time for the linear time-dependent Schrödinger equation with a spatially varying potential. We investigate the stability and conservation properties of the method, demonstrating that it preserves both mass and energy at the final time, and it is unconditionally stable. Numerical experiments confirm our theoretical findings and illustrate the convergence behavior of the scheme. Incidentally, our analysis also provides an alternative proof of unconditional stability of the first-order-in-time isogeometric method for the wave equation proposed in (M. Ferrari, S. Fraschini, G. Loli and I. Perugia (2025)), eliminating the need for the numerical verifications required in the previous analysis.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
What is and is not inside a Cayley graph?
Authors:
Kolja Knauer,
Alvaro Soto Gomez
Abstract:
In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L…
▽ More
In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2, 1994].
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Codimension-Two Spacelike Submanifolds with Umbilical Lightlike Normal Sections and Their Relationship to Lightlike Hypersurfaces
Authors:
Juan S. Gómez
Abstract:
We study codimension-two spacelike submanifolds in Lorentzian spacetimes that admit umbilical lightlike normal directions. We show that such submanifolds are subject to strong geometric and topological constraints, establishing explicit relationships between extrinsic geometry, mean curvature, and shear-isotropy. In the compact case, we obtain sharp restrictions on their topology. We precisely cha…
▽ More
We study codimension-two spacelike submanifolds in Lorentzian spacetimes that admit umbilical lightlike normal directions. We show that such submanifolds are subject to strong geometric and topological constraints, establishing explicit relationships between extrinsic geometry, mean curvature, and shear-isotropy. In the compact case, we obtain sharp restrictions on their topology. We precisely characterize when the umbilical lightlike normal vector field can be rescaled to be parallel, in terms of the curvature tensor of the ambient spacetime, and prove that this property is conformally invariant. Our main result is a factorization theorem: any such submanifold is contained in a lightlike hypersurface, which is totally umbilical whenever the lightlike normal direction is umbilical. We also provide explicit conformal relations between the induced metrics on the family of spacelike leaves generated by the lightlike normal flow, with consequences for isometry, parallelism of lightlike normal directions, volume evolution, and variational properties. These results yield a detailed geometric framework relevant to the mathematical study of horizons and lightlike structures in general relativity.
△ Less
Submitted 25 June, 2025; v1 submitted 9 June, 2025;
originally announced June 2025.
-
From Persistence to Resilience: New Betti Numbers for Analyzing Robustness in Simplicial Complex Networks
Authors:
Pablo Hernández-García,
Daniel Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Persistent homology is a fundamental tool in topological data analysis; however, it lacks methods to quantify the fragility or fineness of cycles, anticipate their formation or disappearance, or evaluate their stability beyond persistence. Furthermore, classical Betti numbers fail to capture key structural properties such as simplicial dimensions and higher-order adjacencies. In this work, we inve…
▽ More
Persistent homology is a fundamental tool in topological data analysis; however, it lacks methods to quantify the fragility or fineness of cycles, anticipate their formation or disappearance, or evaluate their stability beyond persistence. Furthermore, classical Betti numbers fail to capture key structural properties such as simplicial dimensions and higher-order adjacencies. In this work, we investigate the robustness of simplicial networks by analyzing cycle thickness and their resilience to failures or attacks. To address these limitations, we draw inspiration from persistent homology to introduce filtrations that model distinct simplicial elimination rules, leading to the definition of two novel Betti number families: thick and cohesive Betti numbers. These improved invariants capture richer structural information, enabling the measurement of the thickness of the links in the homology cycle and the assessment of the strength of their connections. This enhances and refines classical topological descriptors and our approach provides deeper insights into the structural dynamics of simplicial complexes and establishes a theoretical framework for assessing robustness in higher-order networks. Finally, we establish that the resilience of topological features to simplicial attacks can be systematically examined through biparameter persistence modules, wherein one parameter encodes the progression of the attack, and the other captures structural refinements informed by thickness or cohesiveness.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
A structure-preserving LDG discretization of the Fisher-Kolmogorov equation for modeling neurodegenerative diseases
Authors:
Paola F. Antonietti,
Mattia Corti,
Sergio Gómez,
Ilaria Perugia
Abstract:
This work presents a structure-preserving, high-order, unconditionally stable numerical method for approximating the solution to the Fisher-Kolmogorov equation on polytopic meshes, with a particular focus on its application in simulating misfolded protein spreading in neurodegenerative diseases. The model problem is reformulated using an entropy variable to guarantee solution positivity, boundedne…
▽ More
This work presents a structure-preserving, high-order, unconditionally stable numerical method for approximating the solution to the Fisher-Kolmogorov equation on polytopic meshes, with a particular focus on its application in simulating misfolded protein spreading in neurodegenerative diseases. The model problem is reformulated using an entropy variable to guarantee solution positivity, boundedness, and satisfaction of a discrete entropy-stability inequality at the numerical level. The scheme combines a local discontinuous Galerkin method on polytopal meshes for the space discretization with a $ν$-step backward differentiation formula for the time integration. Implementation details are discussed, including a detailed derivation of the linear systems arising from Newton's iteration. The accuracy and robustness of the proposed method are demonstrated through extensive numerical tests. Finally, the method's practical performance is demonstrated through simulations of \textalpha{}-synuclein propagation in a two-dimensional brain geometry segmented from MRI data, providing a relevant computational framework for modeling synucleopathies (such as Parkinson's disease) and, more generally, neurodegenerative diseases.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Fully and semi-implicit robust space-time DG methods for the incompressible Navier-Stokes equations
Authors:
L. Beirão da Veiga,
F. Dassi,
S. Gómez
Abstract:
We carry out a stability and convergence analysis of a fully discrete scheme for the time-dependent Navier-Stokes equations resulting from combining an $H(\mathrm{div}, Ω)$-conforming discontinuous Galerkin spatial discretization, and a discontinuous Galerkin time stepping scheme. Such a scheme is proven to be pressure robust and Reynolds semi-robust. Standard techniques can be used to analyze onl…
▽ More
We carry out a stability and convergence analysis of a fully discrete scheme for the time-dependent Navier-Stokes equations resulting from combining an $H(\mathrm{div}, Ω)$-conforming discontinuous Galerkin spatial discretization, and a discontinuous Galerkin time stepping scheme. Such a scheme is proven to be pressure robust and Reynolds semi-robust. Standard techniques can be used to analyze only the case of lowest-order approximations in time. Therefore, we use some nonstandard test functions to prove existence of discrete solutions, unconditional stability, and quasi-optimal convergence rates for any degree of approximation in time. In particular, a continuous dependence of the discrete solution on the data of the problem, and quasi-optimal convergence rates for low and high Reynolds numbers are proven in an energy norm including the term $L^{\infty}(0, T; L^2(Ω)^d)$ for the velocity. In addition to the standard discontinuous Galerkin time stepping scheme, which is fully implicit, we propose and analyze a novel high-order semi-implicit version that avoids the need of solving nonlinear systems of equations after the first time slab, thus significantly improving the efficiency of the method. Some numerical experiments validating our theoretical results are presented.
△ Less
Submitted 15 May, 2025; v1 submitted 26 February, 2025;
originally announced February 2025.
-
A variational approach to the analysis of the continuous space-time FEM for the wave equation
Authors:
Sergio Gómez
Abstract:
We present a stability and convergence analysis of the space-time continuous finite element method for the Hamiltonian formulation of the wave equation. More precisely, we prove a continuous dependence of the discrete solution on the data in a $C^0([0, T]; X)$-type energy norm, which does not require any restriction on the meshsize or the time steps. Such stability estimates are then used to deriv…
▽ More
We present a stability and convergence analysis of the space-time continuous finite element method for the Hamiltonian formulation of the wave equation. More precisely, we prove a continuous dependence of the discrete solution on the data in a $C^0([0, T]; X)$-type energy norm, which does not require any restriction on the meshsize or the time steps. Such stability estimates are then used to derive a priori error estimates with quasi-optimal convergence rates, where a suitable treatment of possible nonhomogeneous Dirichlet boundary conditions is pivotal to avoid loss of accuracy. Moreover, based on the properties of a postprocessed approximation, we derive a constant-free, reliable a posteriori error estimate in the $C^0([0, T]; L^2(Ω))$-norm for the semidiscrete-in-time formulation. Several numerical experiments are presented to validate our theoretical findings.
△ Less
Submitted 20 January, 2025;
originally announced January 2025.
-
Combined DG-CG finite element method for the Westervelt equation
Authors:
Sergio Gómez,
Vanja Nikolić
Abstract:
We propose and analyze a space-time finite element method for Westervelt's quasilinear model of ultrasound waves in second-order formulation. The method combines conforming finite element spatial discretizations with a discontinuous-continuous Galerkin time stepping. Its analysis is challenged by the fact that standard Galerkin testing approaches for wave problems do not allow for bounding the dis…
▽ More
We propose and analyze a space-time finite element method for Westervelt's quasilinear model of ultrasound waves in second-order formulation. The method combines conforming finite element spatial discretizations with a discontinuous-continuous Galerkin time stepping. Its analysis is challenged by the fact that standard Galerkin testing approaches for wave problems do not allow for bounding the discrete energy at all times. By means of redesigned energy arguments for a linearized problem combined with Banach's fixed-point argument, we show the well-posedness of the scheme, \emph{a priori} error estimates, and robustness with respect to the strong damping parameter $δ$. Moreover, the scheme preserves the asymptotic preserving property of the continuous problem; more precisely, we prove that the discrete solutions corresponding to $δ>0$ converge, in the singular vanishing dissipation limit, to the solution of the discrete inviscid problem. We use several numerical experiments in $(2 + 1)$ dimensions to validate our theoretical results.
△ Less
Submitted 18 June, 2025; v1 submitted 12 December, 2024;
originally announced December 2024.
-
Inf-sup stable space-time Local Discontinuous Galerkin method for the heat equation
Authors:
Sergio Gómez,
Chiara Perinati,
Paul Stocker
Abstract:
We propose and analyze a space-time Local Discontinuous Galerkin method for the approximation of the solution to parabolic problems. The method allows for very general discrete spaces and prismatic space-time meshes. Existence and uniqueness of a discrete solution are shown by means of an inf-sup condition, whose proof does not rely on polynomial inverse estimates. Moreover, for piecewise polynomi…
▽ More
We propose and analyze a space-time Local Discontinuous Galerkin method for the approximation of the solution to parabolic problems. The method allows for very general discrete spaces and prismatic space-time meshes. Existence and uniqueness of a discrete solution are shown by means of an inf-sup condition, whose proof does not rely on polynomial inverse estimates. Moreover, for piecewise polynomial spaces satisfying an additional mild condition, we show a second inf-sup condition that provides an additional control of the time derivative of the discrete solution. We derive hp-a priori error bounds based on these inf-sup conditions, which we use to prove convergence rates for standard, tensor-product, and quasi-Trefftz polynomial spaces. Numerical experiments validate our theoretical results.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Canal Classes and Cheeger Sets
Authors:
Nico Lombardi,
Christian Richter,
Eugenia Saorín Gómez
Abstract:
Giannopoulos, Hartzoulaki and Paouris asked in \cite{GHP} whether the best ratio between volume and surface area of convex bodies sharing a given orthogonal projection onto a fixed hyperplane is attained in the limit by a cylinder over the given projection. The answer to the question is known to be negative. In this paper, we prove a characterization of the positive answer in dimension $3$, using…
▽ More
Giannopoulos, Hartzoulaki and Paouris asked in \cite{GHP} whether the best ratio between volume and surface area of convex bodies sharing a given orthogonal projection onto a fixed hyperplane is attained in the limit by a cylinder over the given projection. The answer to the question is known to be negative. In this paper, we prove a characterization of the positive answer in dimension $3$, using the Cheeger set of the common projection. A partial characterization is given in higher dimensions. We also prove that certain canal classes of convex bodies provide families of convex bodies satisfying a closely related inequality for a similar ratio.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
SUPG-stabilized time-DG finite and virtual elements for the time-dependent advection-diffusion equation
Authors:
Lourenço Beirão Da Veiga,
Franco Dassi,
Sergio Gómez
Abstract:
We carry out a stability and convergence analysis for the fully discrete scheme obtained by combining a finite or virtual element spatial discretization with the upwind-discontinuous Galerkin time-stepping applied to the time-dependent advection-diffusion equation. A space-time streamline-upwind Petrov-Galerkin term is used to stabilize the method. More precisely, we show that the method is inf-su…
▽ More
We carry out a stability and convergence analysis for the fully discrete scheme obtained by combining a finite or virtual element spatial discretization with the upwind-discontinuous Galerkin time-stepping applied to the time-dependent advection-diffusion equation. A space-time streamline-upwind Petrov-Galerkin term is used to stabilize the method. More precisely, we show that the method is inf-sup stable with constant independent of the diffusion coefficient, which ensures the robustness of the method in the convection- and diffusion-dominated regimes. Moreover, we prove optimal convergence rates in both regimes for the error in the energy norm. An important feature of the presented analysis is the control in the full $L^2(0,T;L^2(Ω))$ norm without the need of introducing an artificial reaction term in the model. We finally present some numerical experiments in $(3 + 1)$-dimensions that validate our theoretical results.
△ Less
Submitted 4 December, 2024; v1 submitted 17 October, 2024;
originally announced October 2024.
-
Structure-preserving Local Discontinuous Galerkin method for nonlinear cross-diffusion systems
Authors:
Sergio Gómez,
Ansgar Jüngel,
Ilaria Perugia
Abstract:
We present and analyze a structure-preserving method for the approximation of solutions to nonlinear cross-diffusion systems, which combines a Local Discontinuous Galerkin spatial discretization with the backward Euler time stepping scheme. The proposed method makes use of the underlying entropy structure of the system, expressing the main unknown in terms of the entropy variable by means of a non…
▽ More
We present and analyze a structure-preserving method for the approximation of solutions to nonlinear cross-diffusion systems, which combines a Local Discontinuous Galerkin spatial discretization with the backward Euler time stepping scheme. The proposed method makes use of the underlying entropy structure of the system, expressing the main unknown in terms of the entropy variable by means of a nonlinear transformation. Such a transformation allows for imposing the physical positivity or boundedness constraints on the approximate solution in a strong sense. Moreover, nonlinearities do not appear explicitly within differential operators or interface terms in the scheme, which significantly improves its efficiency and ease its implementation. We prove the existence of discrete solutions and their asymptotic convergence to a weak solution to the continuous problem. Numerical results for some one- and two-dimensional problems illustrate the accuracy and entropy stability of the proposed method.
△ Less
Submitted 20 July, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Estimation of ill-conditioned models using penalized sums of squares of the residuals
Authors:
Román Salmerón Gómez,
Catalina B. García García
Abstract:
This paper analyzes the estimation of econometric models by penalizing the sum of squares of the residuals with a factor that makes the model estimates approximate those that would be obtained when considering the possible simple regressions between the dependent variable of the econometric model and each of its independent variables. It is shown that the ridge estimator is a particular case of th…
▽ More
This paper analyzes the estimation of econometric models by penalizing the sum of squares of the residuals with a factor that makes the model estimates approximate those that would be obtained when considering the possible simple regressions between the dependent variable of the econometric model and each of its independent variables. It is shown that the ridge estimator is a particular case of the penalized estimator obtained, which, upon analysis of its main characteristics, presents better properties than the ridge especially in reference to the individual boostrap inference of the coefficients of the model and the numerical stability of the estimates obtained. This improvement is due to the fact that instead of shrinking the estimator towards zero, the estimator shrinks towards the estimates of the coefficients of the simple regressions discussed above.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Asymptotic-preserving hybridizable discontinuous Galerkin method for the Westervelt quasilinear wave equation
Authors:
Sergio Gómez,
Mostafa Meliani
Abstract:
We discuss the asymptotic-preserving properties of a hybridizable discontinuous Galerkin method for the Westervelt model of ultrasound waves. More precisely, we show that the proposed method is robust with respect to small values of the sound diffusivity damping parameter $δ$ by deriving low- and high-order energy stability estimates, and \emph{a priori} error bounds that are independent of $δ$. S…
▽ More
We discuss the asymptotic-preserving properties of a hybridizable discontinuous Galerkin method for the Westervelt model of ultrasound waves. More precisely, we show that the proposed method is robust with respect to small values of the sound diffusivity damping parameter $δ$ by deriving low- and high-order energy stability estimates, and \emph{a priori} error bounds that are independent of $δ$. Such bounds are then used to show that, when $δ\rightarrow 0^+$, the method remains stable and the discrete acoustic velocity potential $ψ_h^{(δ)}$ converges to $ψ_h^{(0)}$, where the latter is the singular vanishing dissipation limit. Moreover, we prove optimal convergence rates for the approximation of the acoustic particle velocity variable $\boldsymbol{v} = \nabla ψ$. The established theoretical results are illustrated with some numerical experiments.
△ Less
Submitted 9 September, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
On Koszul complex of a supermodule
Authors:
Darío Sánchez Gómez,
Fernando Sancho de Salas
Abstract:
This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.
This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Spatio-Temporal Weighted Regression Model with Fractional-Colored Noise: Parameter estimation and consistency
Authors:
Héctor Araya,
Lisandro Fermín,
Silfrido Gómez,
Tania Roa,
Soledad Torres
Abstract:
Geographical and Temporal Weighted Regression (GTWR) model is an important local technique for exploring spatial heterogeneity in data relationships, as well as temporal dependence due to its high fitting capacity when it comes to real data. In this article, we consider a GTWR model driven by a spatio-temporal noise, colored in space and fractional in time. Concerning the covariates, we consider t…
▽ More
Geographical and Temporal Weighted Regression (GTWR) model is an important local technique for exploring spatial heterogeneity in data relationships, as well as temporal dependence due to its high fitting capacity when it comes to real data. In this article, we consider a GTWR model driven by a spatio-temporal noise, colored in space and fractional in time. Concerning the covariates, we consider that they are correlated, taking into account two interaction types between covariates, weak and strong interaction. Under these assumptions, Weighted Least Squares Estimator (WLS) is obtained, as well as its rate of convergence. In order to evidence the good performance of the estimator studied, it is provided a simulation study of four different scenarios, where it is observed that the residuals oscillate with small variation around zero. The STARMA package of the R software allows obtaining a variant of the $R^{2}$ coefficient, with values very close to 1, which means that most of the variability is explained by the model.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Pattern formation and bifurcation analysis of delay induced fractional-order epidemic spreading on networks
Authors:
Jiaying Zhou,
Yong Ye,
Alex Arenas,
Sergio Gómez,
Yi Zhao
Abstract:
The spontaneous emergence of ordered structures, known as Turing patterns, in complex networks is a phenomenon that holds potential applications across diverse scientific fields, including biology, chemistry, and physics. Here, we present a novel delayed fractional-order susceptible-infected-recovered-susceptible (SIRS) reaction-diffusion model functioning on a network, which is typically used to…
▽ More
The spontaneous emergence of ordered structures, known as Turing patterns, in complex networks is a phenomenon that holds potential applications across diverse scientific fields, including biology, chemistry, and physics. Here, we present a novel delayed fractional-order susceptible-infected-recovered-susceptible (SIRS) reaction-diffusion model functioning on a network, which is typically used to simulate disease transmission but can also model rumor propagation in social contexts. Our theoretical analysis establishes the Turing instability resulting from delay, and we support our conclusions through numerical experiments. We identify the unique impacts of delay, average network degree, and diffusion rate on pattern formation. The primary outcomes of our study are: (i) Delays cause system instability, mainly evidenced by periodic temporal fluctuations; (ii) The average network degree produces periodic oscillatory states in uneven spatial distributions; (iii) The combined influence of diffusion rate and delay results in irregular oscillations in both time and space. However, we also find that fractional-order can suppress the formation of spatiotemporal patterns. These findings are crucial for comprehending the impact of network structure on the dynamics of fractional-order systems.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
On polynomial Trefftz spaces for the linear time-dependent Schrödinger equation
Authors:
Sergio Gómez,
Andrea Moiola,
Ilaria Perugia,
Paul Stocker
Abstract:
We study the approximation properties of complex-valued polynomial Trefftz spaces for the $(d+1)$-dimensional linear time-dependent Schrödinger equation. More precisely, we prove that for the space-time Trefftz discontinuous Galerkin variational formulation proposed by Gómez, Moiola (SIAM. J. Num. Anal. 60(2): 688-714, 2022), the same $h$-convergence rates as for polynomials of degree $p$ in…
▽ More
We study the approximation properties of complex-valued polynomial Trefftz spaces for the $(d+1)$-dimensional linear time-dependent Schrödinger equation. More precisely, we prove that for the space-time Trefftz discontinuous Galerkin variational formulation proposed by Gómez, Moiola (SIAM. J. Num. Anal. 60(2): 688-714, 2022), the same $h$-convergence rates as for polynomials of degree $p$ in $(d + 1)$ variables can be obtained in a mesh-dependent norm by using a space of Trefftz polynomials of anisotropic degree. For such a space, the dimension is equal to that of the space of polynomials of degree $2p$ in $d$ variables, and bases are easily constructed.
△ Less
Submitted 8 August, 2023; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Design and performance of a space-time virtual element method for the heat equation on prismatic meshes
Authors:
Sergio Gómez,
Lorenzo Mascotto,
Ilaria Perugia
Abstract:
We present a space-time virtual element method for the discretization of the heat equation, which is defined on general prismatic meshes and variable degrees of accuracy. Strategies to handle efficiently the space-time mesh structure are discussed. We perform convergence tests for the $h$- and $hp$-versions of the method in case of smooth and singular solutions, and test space-time adaptive mesh r…
▽ More
We present a space-time virtual element method for the discretization of the heat equation, which is defined on general prismatic meshes and variable degrees of accuracy. Strategies to handle efficiently the space-time mesh structure are discussed. We perform convergence tests for the $h$- and $hp$-versions of the method in case of smooth and singular solutions, and test space-time adaptive mesh refinements driven by a residual-type error indicator.
△ Less
Submitted 8 August, 2023; v1 submitted 15 June, 2023;
originally announced June 2023.
-
A space-time DG method for the Schrödinger equation with variable potential
Authors:
Sergio Gómez,
Andrea Moiola
Abstract:
We present a space-time ultra-weak discontinuous Galerkin discretization of the linear Schrödinger equation with variable potential. The proposed method is well-posed and quasi-optimal in mesh-dependent norms for very general discrete spaces. Optimal $h$-convergence error estimates are derived for the method when test and trial spaces are chosen either as piecewise polynomials, or as a novel quasi…
▽ More
We present a space-time ultra-weak discontinuous Galerkin discretization of the linear Schrödinger equation with variable potential. The proposed method is well-posed and quasi-optimal in mesh-dependent norms for very general discrete spaces. Optimal $h$-convergence error estimates are derived for the method when test and trial spaces are chosen either as piecewise polynomials, or as a novel quasi-Trefftz polynomial space. The latter allows for a substantial reduction of the number of degrees of freedom and admits piecewise-smooth potentials. Several numerical experiments validate the accuracy and advantages of the proposed method.
△ Less
Submitted 10 November, 2023; v1 submitted 9 June, 2023;
originally announced June 2023.
-
Space-time virtual elements for the heat equation
Authors:
Sergio Gómez,
Lorenzo Mascotto,
Andrea Moiola,
Ilaria Perugia
Abstract:
We propose and analyze a space-time virtual element method for the discretization of the heat equation in a space-time cylinder, based on a standard Petrov-Galerkin formulation. Local discrete functions are solutions to a heat equation problem with polynomial data. Global virtual element spaces are nonconforming in space, so that the analysis and the design of the method are independent of the spa…
▽ More
We propose and analyze a space-time virtual element method for the discretization of the heat equation in a space-time cylinder, based on a standard Petrov-Galerkin formulation. Local discrete functions are solutions to a heat equation problem with polynomial data. Global virtual element spaces are nonconforming in space, so that the analysis and the design of the method are independent of the spatial dimension. The information between time slabs is transmitted by means of upwind terms involving polynomial projections of the discrete functions. We prove well posedness and optimal error estimates for the scheme, and validate them with several numerical tests.
△ Less
Submitted 3 September, 2023; v1 submitted 10 December, 2022;
originally announced December 2022.
-
Bifurcation analysis of the Microscopic Markov Chain Approach to contact-based epidemic spreading in networks
Authors:
Alex Arenas,
Antonio Garijo,
Sergio Gómez,
Jordi Villadelprat
Abstract:
The dynamics of many epidemic compartmental models for infectious diseases that spread in a single host population present a second-order phase transition. This transition occurs as a function of the infectivity parameter, from the absence of infected individuals to an endemic state. Here, we study this transition, from the perspective of dynamical systems, for a discrete-time compartmental epidem…
▽ More
The dynamics of many epidemic compartmental models for infectious diseases that spread in a single host population present a second-order phase transition. This transition occurs as a function of the infectivity parameter, from the absence of infected individuals to an endemic state. Here, we study this transition, from the perspective of dynamical systems, for a discrete-time compartmental epidemic model known as Microscopic Markov Chain Approach, whose applicability for forecasting future scenarios of epidemic spreading has been proved very useful during the COVID-19 pandemic. We show that there is an endemic state which is stable and a global attractor and that its existence is a consequence of a transcritical bifurcation. This mathematical analysis grounds the results of the model in practical applications.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
High-order interpolatory Serendipity Virtual Element Method for semilinear parabolic problems
Authors:
Sergio Gómez
Abstract:
We propose an efficient method for the numerical approximation of a general class of two dimensional semilinear parabolic problems on polygonal meshes. The proposed approach takes advantage of the properties of the serendipity version of the Virtual Element Method, which not only reduces the number of degrees of freedom compared to the original Virtual Element Method, but also allows the introduct…
▽ More
We propose an efficient method for the numerical approximation of a general class of two dimensional semilinear parabolic problems on polygonal meshes. The proposed approach takes advantage of the properties of the serendipity version of the Virtual Element Method, which not only reduces the number of degrees of freedom compared to the original Virtual Element Method, but also allows the introduction of an approximation of the nonlinear term that is computable from the degrees of freedom of the discrete solution with a low computational cost, thus significantly improving the efficiency of the method. An error analysis for the semi-discrete formulation is carried out, and an optimal estimate for the error in the $L_2$-norm is obtained. The accuracy and efficiency of the proposed method when combined with a second order Strang operator splitting time discretization is illustrated in our numerical experiments, with approximations up to order $6$.
△ Less
Submitted 6 May, 2022; v1 submitted 30 June, 2021;
originally announced June 2021.
-
A space-time Trefftz discontinuous Galerkin method for the linear Schrödinger equation
Authors:
Sergio Gómez,
Andrea Moiola
Abstract:
A space-time Trefftz discontinuous Galerkin method for the Schrödinger equation with piecewise-constant potential is proposed and analyzed. Following the spirit of Trefftz methods, trial and test spaces are spanned by non-polynomial complex wave functions that satisfy the Schroödinger equation locally on each element of the space-time mesh. This allows for a significant reduction in the number of…
▽ More
A space-time Trefftz discontinuous Galerkin method for the Schrödinger equation with piecewise-constant potential is proposed and analyzed. Following the spirit of Trefftz methods, trial and test spaces are spanned by non-polynomial complex wave functions that satisfy the Schroödinger equation locally on each element of the space-time mesh. This allows for a significant reduction in the number of degrees of freedom in comparison with full polynomial spaces. We prove well-posedness and stability of the method, and, for the one- and two- dimensional cases, optimal, high-order, h-convergence error estimates in a skeleton norm. Some numerical experiments validate the theoretical results presented.
△ Less
Submitted 23 November, 2021; v1 submitted 8 June, 2021;
originally announced June 2021.
-
On the monotonicity of the isoperimetric quotient for parallel bodies
Authors:
Christian Richter,
Eugenia Saorín Gómez
Abstract:
The isoperimetric quotient of the whole family of inner and outer parallel bodies of a convex body is shown to be decreasing in the parameter of definition of parallel bodies, along with a characterization of those convex bodies for which that quotient happens to be constant on some interval within its domain. This is obtained relative to arbitrary gauge bodies, having the classical Euclidean sett…
▽ More
The isoperimetric quotient of the whole family of inner and outer parallel bodies of a convex body is shown to be decreasing in the parameter of definition of parallel bodies, along with a characterization of those convex bodies for which that quotient happens to be constant on some interval within its domain. This is obtained relative to arbitrary gauge bodies, having the classical Euclidean setting as a particular case. Similar results are established for different families of Wulff shapes that are closely related to parallel bodies. These give rise to solutions of isoperimetric-type problems. Furthermore, new results on the monotonicity of quotients of other quermassintegrals different from surface area and volume, for the family of parallel bodies, are obtained.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Isoperimetric relations for inner parallel bodies
Authors:
María A. Hernández Cifre,
Eugenia Saorín Gómez
Abstract:
We analyze aspects of the behavior of the family of inner parallel bodies of a convex body for the isoperimetric quotient and deficit of arbitrary quermassintegrals. By means of technical boundary properties of the so-called form body of a convex body and similar constructions for inner parallel bodies, we point out an erroneous use of a relation between the latter bodies in two different works. W…
▽ More
We analyze aspects of the behavior of the family of inner parallel bodies of a convex body for the isoperimetric quotient and deficit of arbitrary quermassintegrals. By means of technical boundary properties of the so-called form body of a convex body and similar constructions for inner parallel bodies, we point out an erroneous use of a relation between the latter bodies in two different works. We correct these results, limiting them to convex bodies having a very precise boundary structure.
△ Less
Submitted 11 October, 2019;
originally announced October 2019.
-
Centrality measures in simplicial complexes: applications of Topological Data Analysis to Network Science
Authors:
Daniel Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree…
▽ More
Many real networks in social sciences, biological and biomedical sciences or computer science have an inherent structure of simplicial complexes reflecting many-body interactions. Therefore, to analyse topological and dynamical properties of simplicial complex networks centrality measures for simplices need to be proposed. Many of the classical complex networks centralities are based on the degree of a node, so in order to define degree centrality measures for simplices (which would characterise the relevance of a simplicial community in a simplicial network), a different definition of adjacency between simplices is required. The aim of these notes is threefold: first we will use the recently introduced notions of higher order simplicial degrees to propose new degree based centrality measures in simplicial complexes. These theoretical centrality measures, such as the simplicial degree centrality or the eigenvector centrality would allow not only to study the relevance of a simplicial community and the quality of its higher-order connections in a simplicial network, but also they might help to elucidate topological and dynamical properties of simplicial networks; sencond, we define notions of walks and distances in simplicial complexes in order to study connectivity of simplicial networks and to generalise, to the simplicial case, the well known closeness and betweenness centralities (needed for instance to study the relevance of a simplicial community in terms of its ability of transmitting information); third, we propose a new clustering coefficient for simplices in a simplicial network, different from the one knows so far and which generalises the standard graph clustering of a vertex. This measure should be essential to know the density of a simplicial network in terms of its simplicial communities.
△ Less
Submitted 15 April, 2020; v1 submitted 8 August, 2019;
originally announced August 2019.
-
Algebraic structures and deformed Schrödinger equations from groups entropies
Authors:
Ignacio S. Gomez,
Ernesto P. Borges
Abstract:
Motivated by the group entropy theory, in this work we generalize the algebra of real numbers (that we called G-algebra), from which we develop an associated G-differential calculus. Thus, the algebraic structures corresponding to the Tsallis and Kappa statistics are obtained as special cases when the Tsallis and Kappa group classes are chosen. We employ the G-algebra to formulate a generalized G-…
▽ More
Motivated by the group entropy theory, in this work we generalize the algebra of real numbers (that we called G-algebra), from which we develop an associated G-differential calculus. Thus, the algebraic structures corresponding to the Tsallis and Kappa statistics are obtained as special cases when the Tsallis and Kappa group classes are chosen. We employ the G-algebra to formulate a generalized G-deformed Schrödinger equation and we illustrate it with the infinite potential well, where the effective mass is related with the G-algebra structure and the $q$-deformed (standard) Schrödinger equation results an special case for the Tsallis (Boltzmann-Gibbs) group class. The non-uniform zeros spacing of the G-deformed eigenfunctions is expressed in terms of the generalized sum of the G-algebra.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Simplicial degree in complex networks. Applications of Topological Data Analysis to Network Science
Authors:
Daniel Hernández Serrano,
Juan Hernández Serrano,
Darío Sánchez Gómez
Abstract:
Network Science provides a universal formalism for modelling and studying complex systems based on pairwise interactions between agents. However, many real networks in the social, biological or computer sciences involve interactions among more than two agents, having thus an inherent structure of a simplicial complex. We propose new notions of higher-order degrees of adjacency for simplices in a s…
▽ More
Network Science provides a universal formalism for modelling and studying complex systems based on pairwise interactions between agents. However, many real networks in the social, biological or computer sciences involve interactions among more than two agents, having thus an inherent structure of a simplicial complex. We propose new notions of higher-order degrees of adjacency for simplices in a simplicial complex, allowing any dimensional comparison among them and their faces, which as far as we know were lacked in the literature. We introduce multi-parameter boundary and coboundary operators in an oriented simplicial complex and also a novel multi-combinatorial Laplacian is defined, which generalises the graph and combinatorial Laplacian. To illustrate the potential applications of these theoretical results, we perform a structural analysis of higher-order connectivity in simplicial-complex networks by studying the associated distributions with these simplicial degrees in 17 real-world datasets coming from different domains such as coauthor networks, cosponsoring Congress bills, contacts in schools, drug abuse warning networks, e-mail networks or publications and users in online forums. We find rich and diverse higher-order connectivity structures and observe that datasets of the same type reflect similar higher-order collaboration patterns. Furthermore, we show that if we use what we have called the maximal simplicial degree (which counts the distinct maximal communities in which our simplex and all its strict sub-communities are contained), then its degree distribution is, in general, surprisingly different from the classical node degree distribution.
△ Less
Submitted 14 April, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Properties of an infinite dimensional Banach space over the field with two elements
Authors:
Samuel Gomez,
James Rose,
Ryan Maguire
Abstract:
A banach space X is a normed vector space, which is complete with respect to the metric induced by the norm. Given a bounded linear operator T acting on a banach space X, T is said to attain its norm if there is a unit vector z in X, such that the norm of Tz equals the norm of T. The existence of an infinite dimensional banach space X, in which each bounded linear operator acting on X attains its…
▽ More
A banach space X is a normed vector space, which is complete with respect to the metric induced by the norm. Given a bounded linear operator T acting on a banach space X, T is said to attain its norm if there is a unit vector z in X, such that the norm of Tz equals the norm of T. The existence of an infinite dimensional banach space X, in which each bounded linear operator acting on X attains its norm, is still undetermined. This question was posed by M.I. Ostrovskii at St. John's University. In this paper we show that if an infinite dimensional banach space is considered over GF(2), then it is possible for every bounded linear operator to attain its norm.
△ Less
Submitted 27 July, 2019;
originally announced July 2019.
-
On a reverse isoperimetric inequality for relative outer parallel bodies
Authors:
Eugenia Saorín Gómez,
Jesús Yepes Nicolás
Abstract:
We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of Minkowski sums we also prove further inequalities.
We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of Minkowski sums we also prove further inequalities.
△ Less
Submitted 25 February, 2020; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Uniqueness of the Gaussian Orthogonal Ensemble
Authors:
Jose Angel Sanchez Gomez,
Victor Amaya Carvajal
Abstract:
A known result in random matrix theory states the following: Given a random Wigner matrix $X$ which belongs to the Gaussian Orthogonal Ensemble (GOE), then such matrix $X$ has an invariant distribution under orthogonal conjugations. The goal of this work is to prove the converse, that is, if $X$ is a symmetric random matrix such that it is invariant under orthogonal conjugations, then such matrix…
▽ More
A known result in random matrix theory states the following: Given a random Wigner matrix $X$ which belongs to the Gaussian Orthogonal Ensemble (GOE), then such matrix $X$ has an invariant distribution under orthogonal conjugations. The goal of this work is to prove the converse, that is, if $X$ is a symmetric random matrix such that it is invariant under orthogonal conjugations, then such matrix $X$ belongs to the GOE. We will prove this using some elementary properties of the characteristic function of random variables.
△ Less
Submitted 1 October, 2019; v1 submitted 26 January, 2019;
originally announced January 2019.
-
Notions of the ergodic hierarchy for curved statistical manifolds
Authors:
Ignacio S. Gomez
Abstract:
We present an extension of the ergodic, mixing, and Bernoulli levels of the ergodic hierarchy for statistical models on curved manifolds, making use of elements of the information geometry. This extension focuses on the notion of statistical independence between the microscopical variables of the system. Moreover, we establish an intimately relationship between statistical models and family of pro…
▽ More
We present an extension of the ergodic, mixing, and Bernoulli levels of the ergodic hierarchy for statistical models on curved manifolds, making use of elements of the information geometry. This extension focuses on the notion of statistical independence between the microscopical variables of the system. Moreover, we establish an intimately relationship between statistical models and family of probability distributions belonging to the canonical ensemble, which for the case of the quadratic Hamiltonian systems provides a closed form for the correlations between the microvariables in terms of the temperature of the heat bath as a power law. From this we obtain an information geometric method for studying Hamiltonian dynamics in the canonical ensemble. We illustrate the results with two examples: a pair of interacting harmonic oscillators presenting phase transitions and the 2x2 Gaussian ensembles. In both examples the scalar curvature results a global indicator of the dynamics.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Minkowski additive operators under volume constraints
Authors:
Judit Abardia-Evéquoz,
Andrea Colesanti,
Eugenia Saorín Gómez
Abstract:
We investigate Minkowski additive, continuous, and translation invariant operators $Φ:\mathcal{K}^n\to\mathcal{K}^n$ defined on the family of convex bodies such that the volume of the image $Φ(K)$ is bounded from above and below by multiples of the volume of the convex body $K$, uniformly in $K$. We obtain a representation result for an infinite subcone contained in the cone formed by this type of…
▽ More
We investigate Minkowski additive, continuous, and translation invariant operators $Φ:\mathcal{K}^n\to\mathcal{K}^n$ defined on the family of convex bodies such that the volume of the image $Φ(K)$ is bounded from above and below by multiples of the volume of the convex body $K$, uniformly in $K$. We obtain a representation result for an infinite subcone contained in the cone formed by this type of operators. Under the additional assumption of monotonicity or $SO(n)$-equivariance, we obtain new characterization results for the difference body operator.
△ Less
Submitted 14 February, 2017;
originally announced February 2017.
-
Minkowski valuations under volume constraints
Authors:
Judit Abardia-Evéquoz,
Andrea Colesanti,
Eugenia Saorín Gómez
Abstract:
We provide a description of the space of continuous and translation invariant Minkowski valuations $Φ:\mathcal{K}^n\to\mathcal{K}^n$ for which there is an upper and a lower bound for the volume of $Φ(K)$ in terms of the volume of the convex body $K$ itself. Although no invariance with respect to a group acting on the space of convex bodies is imposed, we prove that only two types of operators appe…
▽ More
We provide a description of the space of continuous and translation invariant Minkowski valuations $Φ:\mathcal{K}^n\to\mathcal{K}^n$ for which there is an upper and a lower bound for the volume of $Φ(K)$ in terms of the volume of the convex body $K$ itself. Although no invariance with respect to a group acting on the space of convex bodies is imposed, we prove that only two types of operators appear: a family of operators having only cylinders over $(n-1)$-dimensional convex bodies as images, and a second family consisting essentially of 1-homogeneous operators. Using this description, we give improvements of some known characterization results for the difference body.
△ Less
Submitted 15 February, 2017; v1 submitted 10 February, 2016;
originally announced February 2016.
-
The role of the Rogers-Shephard inequality in the characterization of the difference body
Authors:
Judit Abardia,
Eugenia Saorín Gómez
Abstract:
The difference body operator enjoys different characterization results relying on its basic properties such as continuity, SL(n)-covariance, Minkowski valuation or symmetric image. The Rogers-Shephard and the Brunn-Minkowski inequalities provide upper and lower bounds for the volume of the difference body in terms of the volume of the body itself. In this paper we aim to understand the role of the…
▽ More
The difference body operator enjoys different characterization results relying on its basic properties such as continuity, SL(n)-covariance, Minkowski valuation or symmetric image. The Rogers-Shephard and the Brunn-Minkowski inequalities provide upper and lower bounds for the volume of the difference body in terms of the volume of the body itself. In this paper we aim to understand the role of the Rogers-Shephard inequality in characterization results of the difference body and, at the same time, to study the interplay among the different properties. Among others, we prove that the difference body operator is the only continuous and GL(n)-covariant operator from the space of convex bodies to the origin-symmetric ones which satisfies a Rogers-Shephard type inequality while every continuous and GL(n)-covariant operator satisfies a Brunn-Minkowski type inequality.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
How do difference bodies in complex vector spaces look like? A geometrical approach
Authors:
Judit Abardia,
Eugenia Saorín Gómez
Abstract:
We investigate geometrical properties and inequalities satisfied by the complex difference body, in the sense of studying which of the classical ones for the difference body have an analog in the complex framework. Among others we give an equivalent expression for the support function of the complex difference body and prove that, unlike the classical case, the dimension of the complex difference…
▽ More
We investigate geometrical properties and inequalities satisfied by the complex difference body, in the sense of studying which of the classical ones for the difference body have an analog in the complex framework. Among others we give an equivalent expression for the support function of the complex difference body and prove that, unlike the classical case, the dimension of the complex difference body depends on the position of the body with respect to the complex structure of the vector space. We use spherical harmonics to characterize the bodies for which the complex difference body is a ball, we prove that it is a polytope if and only if the two bodies involved in the construction are polytopes and provide several inequalities for classical magnitudes of the complex difference body, as volume, quermassintegrals and diameter, in terms of the corresponding ones for the involved bodies.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Euler Sequence and Koszul complex of a module
Authors:
Bjorn Andreas,
Darío Sánchez Gómez,
Fernando Sancho de Salas
Abstract:
We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a projective bundle. In particular we generalize Bott's formula for the projective space to a projective bundle over a scheme of characteristic zero.
We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a projective bundle. In particular we generalize Bott's formula for the projective space to a projective bundle over a scheme of characteristic zero.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
On a linear refinement of the Prékopa-Leindler inequality
Authors:
Andrea Colesanti,
Eugenia Saorín Gómez,
Jesús Yepes Nicolás
Abstract:
If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable functions, then the Prékopa-Leindler inequality asserts that the integral of the Asplund sum (provided that it is measurable) is greater or equal than the $0$-mean of the integrals of $f$ and $g$. In this paper we prove that under the sole assumption that $f$ and $g$ have a common projection onto a hyperplane, the P…
▽ More
If $f,g:\mathbb{R}^n\longrightarrow\mathbb{R}_{\geq0}$ are non-negative measurable functions, then the Prékopa-Leindler inequality asserts that the integral of the Asplund sum (provided that it is measurable) is greater or equal than the $0$-mean of the integrals of $f$ and $g$. In this paper we prove that under the sole assumption that $f$ and $g$ have a common projection onto a hyperplane, the Prékopa-Leindler inequality admits a linear refinement. Moreover, the same inequality can be obtained when assuming that both projections (not necessarily equal as functions) have the same integral. An analogous approach may be also carried out for the so-called Borell-Brascamp-Lieb inequality.
△ Less
Submitted 28 March, 2015;
originally announced March 2015.
-
Least Squares Shadowing for Sensitivity Analysis of Turbulent Fluid Flows
Authors:
Patrick Blonigan,
Steven Gomez,
Qiqi Wang
Abstract:
Computational methods for sensitivity analysis are invaluable tools for aerodynamics research and engineering design. However, traditional sensitivity analysis methods break down when applied to long-time averaged quantities in turbulent fluid flow fields, specifically those obtained using high-fidelity turbulence simulations. This is because of a number of dynamical properties of turbulent and ch…
▽ More
Computational methods for sensitivity analysis are invaluable tools for aerodynamics research and engineering design. However, traditional sensitivity analysis methods break down when applied to long-time averaged quantities in turbulent fluid flow fields, specifically those obtained using high-fidelity turbulence simulations. This is because of a number of dynamical properties of turbulent and chaotic fluid flows, most importantly high sensitivity of the initial value problem, popularly known as the "butterfly effect".
The recently developed least squares shadowing (LSS) method avoids the issues encountered by traditional sensitivity analysis methods by approximating the "shadow trajectory" in phase space, avoiding the high sensitivity of the initial value problem. The following paper discusses how the least squares problem associated with LSS is solved. Two methods are presented and are demonstrated on a simulation of homogeneous isotropic turbulence and the Kuramoto-Sivashinsky (KS) equation, a 4th order chaotic partial differential equation. We find that while LSS computes fairly accurate gradients, faster, more efficient linear solvers are needed to apply both LSS methods presented in this paper to larger simulations.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
Towards Scalable Parallel-in-Time Turbulent Flow Simulations
Authors:
Qiqi Wang,
Steven Gomez,
Patrick Blonigan,
Alastair Gregory,
Elizabeth Qian
Abstract:
We present a reformulation of unsteady turbulent flow simulations. The initial condition is relaxed and information is allowed to propagate both forward and backward in time. Simulations of chaotic dynamical systems with this reformulation can be proven to be well-conditioned time domain boundary value problems. The reformulation can enable scalable parallel-in-time simulation of turbulent flows.
We present a reformulation of unsteady turbulent flow simulations. The initial condition is relaxed and information is allowed to propagate both forward and backward in time. Simulations of chaotic dynamical systems with this reformulation can be proven to be well-conditioned time domain boundary value problems. The reformulation can enable scalable parallel-in-time simulation of turbulent flows.
△ Less
Submitted 18 July, 2013; v1 submitted 11 November, 2012;
originally announced November 2012.
-
A characterization of some mixed volumes via the Brunn-Minkowski inequality
Authors:
Andrea Colesanti,
Daniel Hug,
Eugenia Saorin Gomez
Abstract:
We consider a functional $\mathcal F$ on the space of convex bodies in $\R^n$ defined as follows: ${\mathcal F}(K)$ is the integral over the unit sphere of a fixed continuous functions $f$ with respect to the area measure of the convex body $K$. We prove that if $\mathcal F$ satisfies an inequality of Brunn--Minkowski type, then $f$ is the support function of a convex body, i.e., $\mathcal F$ is a…
▽ More
We consider a functional $\mathcal F$ on the space of convex bodies in $\R^n$ defined as follows: ${\mathcal F}(K)$ is the integral over the unit sphere of a fixed continuous functions $f$ with respect to the area measure of the convex body $K$. We prove that if $\mathcal F$ satisfies an inequality of Brunn--Minkowski type, then $f$ is the support function of a convex body, i.e., $\mathcal F$ is a mixed volume. As a consequence, we obtain a characterization of translation invariant, continuous valuations which are homogeneous of degree $n-1$ and satisfy a Brunn--Minkowski type inequality.
△ Less
Submitted 10 September, 2012; v1 submitted 10 February, 2012;
originally announced February 2012.
-
MultiDendrograms: Variable-Group Agglomerative Hierarchical Clusterings
Authors:
Sergio Gomez,
Justo Montiel,
David Torres,
Alberto Fernandez
Abstract:
MultiDendrograms is a Java-written application that computes agglomerative hierarchical clusterings of data. Starting from a distances (or weights) matrix, MultiDendrograms is able to calculate its dendrograms using the most common agglomerative hierarchical clustering methods. The application implements a variable-group algorithm that solves the non-uniqueness problem found in the standard pair-g…
▽ More
MultiDendrograms is a Java-written application that computes agglomerative hierarchical clusterings of data. Starting from a distances (or weights) matrix, MultiDendrograms is able to calculate its dendrograms using the most common agglomerative hierarchical clustering methods. The application implements a variable-group algorithm that solves the non-uniqueness problem found in the standard pair-group algorithm. This problem arises when two or more minimum distances between different clusters are equal during the agglomerative process, because then different output clusterings are possible depending on the criterion used to break ties between distances. MultiDendrograms solves this problem implementing a variable-group algorithm that groups more than two clusters at the same time when ties occur.
△ Less
Submitted 4 December, 2012; v1 submitted 8 January, 2012;
originally announced January 2012.
-
Relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano fibrations
Authors:
Ana Cristina López Martín,
Darío Sánchez Gómez,
Carlos Tejero Prieto
Abstract:
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre produ…
▽ More
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determine the group of relative Fourier-Mukai transforms and we prove that the number of relative Fourier-Mukai partners of a given abelian scheme over a normal base is finite.
△ Less
Submitted 22 November, 2012; v1 submitted 8 November, 2010;
originally announced November 2010.
-
Moduli Spaces of Semistable Sheaves on Singular Genus One Curves
Authors:
Daniel Hernández Ruipérez,
Ana Cristina López Martín,
Darío Sánchez Gómez,
Carlos Tejero Prieto
Abstract:
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only…
▽ More
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only a finite number of non-isomorphic spaces. We prove similar results for the relative semistable moduli spaces on an arbitrary genus one fibration with no conditions either on the base or on the total space. For a cycle $E_N$ of projective lines, we show that the unique degree 0 stable sheaves are the line bundles having degree 0 on every irreducible component and the sheaves $\mathcal{O}(-1)$ supported on one irreducible component. We also prove that the connected component of the moduli space that contains vector bundles of rank $r$ is isomorphic to the $r$-th symmetric product of the rational curve with one node.
△ Less
Submitted 3 June, 2009; v1 submitted 12 June, 2008;
originally announced June 2008.
-
A Characterization of Jacobians by the Existence of Picard Bundles
Authors:
Ana Cristina López Martín,
Ernesto Carlo Mistretta,
Darío Sánchez Gómez
Abstract:
Based on the Matsusaka-Ran criterion we give a criterion to characterize when a principal polarized abelian variety is a Jacobian by the existence of Picard bundles.
Based on the Matsusaka-Ran criterion we give a criterion to characterize when a principal polarized abelian variety is a Jacobian by the existence of Picard bundles.
△ Less
Submitted 25 February, 2008;
originally announced February 2008.
-
Stable Sheaves Over K3 Fibrations
Authors:
Bjorn Andreas,
Daniel Hernandez Ruiperez,
Dario Sanchez Gomez
Abstract:
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves…
▽ More
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.
△ Less
Submitted 25 November, 2008; v1 submitted 20 February, 2008;
originally announced February 2008.
-
Solving non-uniqueness in agglomerative hierarchical clustering using multidendrograms
Authors:
Alberto Fernandez,
Sergio Gomez
Abstract:
In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters coincide during the amalgamation process. The traditional approach for solving this drawback has been to take any arbitrary criterion in order to break ties between distances, which results in different hierarchical classifications depending o…
▽ More
In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters coincide during the amalgamation process. The traditional approach for solving this drawback has been to take any arbitrary criterion in order to break ties between distances, which results in different hierarchical classifications depending on the criterion followed. In this article we propose a variable-group algorithm that consists in grouping more than two clusters at the same time when ties occur. We give a tree representation for the results of the algorithm, which we call a multidendrogram, as well as a generalization of the Lance and Williams' formula which enables the implementation of the algorithm in a recursive way.
△ Less
Submitted 10 June, 2009; v1 submitted 8 August, 2006;
originally announced August 2006.
