-
Computing Invariant Zeros of a MIMO Linear System Using State-Space Realization
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
Poles of a multi-input multi-output (MIMO) linear system can be computed by solving an eigenvalue problem; however, the problem of computing its invariant zeros is equivalent to a generalized eigenvalue problem. This paper revisits the problem of computing the invariant zeros by solving an eigenvalue problem. We introduce a realization called the invariant zero form in which the system's invariant…
▽ More
Poles of a multi-input multi-output (MIMO) linear system can be computed by solving an eigenvalue problem; however, the problem of computing its invariant zeros is equivalent to a generalized eigenvalue problem. This paper revisits the problem of computing the invariant zeros by solving an eigenvalue problem. We introduce a realization called the invariant zero form in which the system's invariant zeros are isolated in a partition of the transformed dynamics matrix. It is shown that the invariant zeros are then the eigenvalues of a partition of the transformed dynamics matrix. Although the paper's main result is proved only for square MIMO systems, the technique can be heuristically extended to nonsquare MIMO systems, as shown in the numerical examples.
△ Less
Submitted 28 September, 2025;
originally announced September 2025.
-
Pullbacks and intersections in categories of graphs of groups
Authors:
Jordi Delgado,
Marco Linton,
Jone Lopez de Gamiz Zearra,
Mallika Roy,
Pascal Weil
Abstract:
We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called $\mathbb{A}$-product of two morphisms into a graph of groups $\mathbb{A}$ -- a graph of groups which, within the appropriate categorical setting, captures the intersection of…
▽ More
We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called $\mathbb{A}$-product of two morphisms into a graph of groups $\mathbb{A}$ -- a graph of groups which, within the appropriate categorical setting, captures the intersection of subgroups of the fundamental group of $\mathbb{A}$. We show that, in the category of pointed graphs of groups, pullbacks always exist and correspond precisely to pointed $\mathbb{A}$-products. In contrast, pullbacks do not always exist in the category of unpointed graphs of groups. However, when they do exist, and we show that it is the case, in particular, under certain acylindricity conditions, they are again closely related to $\mathbb{A}$-products. We trace, all along, the parallels with Stallings' classical theory of graph immersions and coverings, in relation to the study of the subgroups of free groups. Our results are useful for studying intersections of subgroups of groups that arise as fundamental groups of graphs of groups. As an example, we carry out an explicit computation of a pullback which results in a classification of the Baumslag--Solitar groups with the finitely generated intersection property.
△ Less
Submitted 6 August, 2025;
originally announced August 2025.
-
Schatten-von Neumann classes of tensors of invariant operators
Authors:
Julio Delgado,
Liliana Posada,
Michael Ruzhansky
Abstract:
In this work we study Schatten-von Neumann classes of tensor products of invariant operators on Hilbert spaces. In the first part we first deduce some spectral properties for tensors of anharmonic oscillators thanks to the knowledge on corresponding Schatten-von Neumann properties. In the second part we specialised on tensors of invariant operators. In the special case where a suitable Fourier ana…
▽ More
In this work we study Schatten-von Neumann classes of tensor products of invariant operators on Hilbert spaces. In the first part we first deduce some spectral properties for tensors of anharmonic oscillators thanks to the knowledge on corresponding Schatten-von Neumann properties. In the second part we specialised on tensors of invariant operators. In the special case where a suitable Fourier analysis associated to a fixed partition of a Hilbert space into finite dimensional subspaces is available we also give the corresponding formulae in terms of symbols. We also give a sufficient condition for Dixmier traceability for a class of finite tensors of pseudo-differential operators on the flat torus.
△ Less
Submitted 20 July, 2025;
originally announced July 2025.
-
Height estimates for surfaces with some constant curvature in $\mathbb{r} \times_{f} \mathbb{r}^{2}$
Authors:
Jairo Delgado,
Haimer A. Trejos,
Carlos Peñafiel
Abstract:
In this paper, we obtain the necessary equations in a conformal parameter induced by the first or second fundamental forms for a surface that is isometrically immersed in the warped product $\mathbb{R} \times_{f} \mathbb{M}^{2}(κ)$ where $\mathbb{M}^{2}(κ)$ denotes the complete, connected, simply connected, two-dimensional space form of constant curvature. The surface we will consider has either p…
▽ More
In this paper, we obtain the necessary equations in a conformal parameter induced by the first or second fundamental forms for a surface that is isometrically immersed in the warped product $\mathbb{R} \times_{f} \mathbb{M}^{2}(κ)$ where $\mathbb{M}^{2}(κ)$ denotes the complete, connected, simply connected, two-dimensional space form of constant curvature. The surface we will consider has either positive extrinsic curvature or positive mean curvature. In each case, we carry out some geometric applications to the theory of constant curvature surfaces immersed in $\mathbb{R} \times_{f} \mathbb{R}^{2}$ under certain conditions on the warping function $f$. Specifically, we derive height estimates for graph-type surfaces with either positive constant extrinsic curvature or positive constant mean curvature. In particular, we classify compact minimal graphs in such warped products. This article extends previous work on the study of constant curvature surfaces immersed in product spaces using conformal parameters, as well as the height estimates for constant curvature surfaces in the warped product $\mathbb{R} \times_{f} \mathbb{R}^{2}$.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
An evaluation algorithm for q-Bézier triangular patches formed by convex combinations
Authors:
Jorge Delgado,
Héctor Orera,
Juan Manuel Peña
Abstract:
An extension to triangular domains of the univariate q-Bernstein basis functions is introduced and analyzed. Some recurrence relations and properties such as partition of unity and degree elevation are proved for them. It is also proved that they form a basis for the space of polynomials of total degree less than or equal to n on a triangle. In addition, it is presented a de Casteljau type evaluat…
▽ More
An extension to triangular domains of the univariate q-Bernstein basis functions is introduced and analyzed. Some recurrence relations and properties such as partition of unity and degree elevation are proved for them. It is also proved that they form a basis for the space of polynomials of total degree less than or equal to n on a triangle. In addition, it is presented a de Casteljau type evaluation algorithm whose steps are all linear convex combinations.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Accurate Bidiagonal Decomposition and Computations with Generalized Pascal Matrices
Authors:
Jorge Delgado,
Héctor Orera,
Juan Manuel Peña
Abstract:
This paper provides an accurate method to obtain the bidiagonal factorization of many generalized Pascal matrices, which in turn can be used to compute with high relative accuracy the eigenvalues, singular values and inverses of these matrices. Numerical examples are included.
This paper provides an accurate method to obtain the bidiagonal factorization of many generalized Pascal matrices, which in turn can be used to compute with high relative accuracy the eigenvalues, singular values and inverses of these matrices. Numerical examples are included.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Optimal properties of tensor product of B-bases
Authors:
Jorge Delgado,
Héctor Orera,
Juan Manuel Peña
Abstract:
It is proved the optimal conditioning for the infinity norm of collocation matrices of the tensor product of normalized B-bases among the tensor product of all normalized totally positive bases of the corresponding space of functions. Bounds for the minimal eigenvalue and singular value and illustrative numerical examples are also included.
It is proved the optimal conditioning for the infinity norm of collocation matrices of the tensor product of normalized B-bases among the tensor product of all normalized totally positive bases of the corresponding space of functions. Bounds for the minimal eigenvalue and singular value and illustrative numerical examples are also included.
△ Less
Submitted 20 January, 2025;
originally announced January 2025.
-
Accurate algorithms for Bessel matrices
Authors:
Jorge Delgado,
Héctor Orera,
Juan Manuel Peña
Abstract:
In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these matrices is obtained and used to compute with high relative accuracy the eigenvalues, singular values and inverses. Similar results for the collocation matrice…
▽ More
In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these matrices is obtained and used to compute with high relative accuracy the eigenvalues, singular values and inverses. Similar results for the collocation matrices for the reverse Bessel polynomials are also obtained. Numerical examples illustrating the theoretical results are included.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
Model-free, Learning-based Control of LGKS Quantum System
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
This paper presents a model-free, learning-based adaptive controller for the density tracking problem in a two-level Lindblad-Gorini-Kossakowski-Sudarshan (LGKS) quantum system. The adaptive controller is based on the continuous-time retrospective cost adaptive control. To preserve the geometric properties of the quantum system, an adaptive PID controller driven and optimized by Ulhmann's fidelity…
▽ More
This paper presents a model-free, learning-based adaptive controller for the density tracking problem in a two-level Lindblad-Gorini-Kossakowski-Sudarshan (LGKS) quantum system. The adaptive controller is based on the continuous-time retrospective cost adaptive control. To preserve the geometric properties of the quantum system, an adaptive PID controller driven and optimized by Ulhmann's fidelity is used. The proposed controller is validated in simulation for a low and a high-entropy density-tracking problem.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Singularity-free Backstepping-based Adaptive Control of a Bicopter with Unknown Mass and Inertia
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
The paper develops a singularity-free backstepping-based adaptive control for stabilizing and tracking the trajectory of a bicopter system. In the bicopter system, the inertial parameters parameterize the input map. Since the classical adaptive backstepping technique requires the inversion of the input map, which contains the estimate of parameter estimates, the stability of the closed-loop system…
▽ More
The paper develops a singularity-free backstepping-based adaptive control for stabilizing and tracking the trajectory of a bicopter system. In the bicopter system, the inertial parameters parameterize the input map. Since the classical adaptive backstepping technique requires the inversion of the input map, which contains the estimate of parameter estimates, the stability of the closed-loop system cannot be guaranteed due to the inversion of parameter estimates. This paper proposes a novel technique to circumvent the inversion of parameter estimates in the control law. The resulting controller requires only the sign of the unknown parameters. The proposed controller is validated in simulation for a smooth and nonsmooth trajectory-tracking problem.
△ Less
Submitted 3 October, 2024; v1 submitted 19 September, 2024;
originally announced September 2024.
-
Nuclearity, Schatten-von Neumann classes, distribution of eigenvalues and $L^p$-$L^q$-boundedness of Fourier integral operators on compact manifolds
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
We link Sogge's type $L^p$-estimates for eigenfunctions of the Laplacian on compact manifolds with the problem of providing criteria for the $r$-nuclearity of Fourier integral operators. The classes of Fourier integral operators $I^μ_{ρ,1-ρ}(X,Y;C)$ considered here are associated with complex canonical relations $C$, i.e. they are parametrised by a complex-valued phase function. Our analysis also…
▽ More
We link Sogge's type $L^p$-estimates for eigenfunctions of the Laplacian on compact manifolds with the problem of providing criteria for the $r$-nuclearity of Fourier integral operators. The classes of Fourier integral operators $I^μ_{ρ,1-ρ}(X,Y;C)$ considered here are associated with complex canonical relations $C$, i.e. they are parametrised by a complex-valued phase function. Our analysis also includes the case of real canonical relations, namely, the class of Fourier integral operators with real-valued phase functions. The nuclear trace in the sense of Grothendieck is investigated for these operators as well as the validity of the Grothendieck-Lidskii formula on Lebesgue spaces. Criteria are presented in terms of the factorisation condition for the complex canonical relation. Necessary and sufficient conditions for the membership of Fourier integral operators in Schatten-von Neumann classes are presented in the case where the Schatten index $r>0$ belongs to the set $\mathbb{N} $ and sharp sufficient conditions are presented in the general case $r>0$. In particular, we establish necessary and sufficient conditions for the membership of Fourier integral operators to the ideal of trace class operators and to the ideal of Hilbert-Schmidt operators on $L^2(X)$. The rate of decay of eigenvalues and the trace of Fourier integral operators is also investigated in both settings, in the Hilbert space case of $L^2(X)$ using Schatten-von Neumann properties and in the context of the Banach spaces $L^p(X),$ $1<p<\infty,$ utilising the notion of $r$-nuclearity.
△ Less
Submitted 13 August, 2024;
originally announced August 2024.
-
Well-posedness for a class of pseudo-differential hyperbolic equations on the torus
Authors:
Duvan Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this paper we establish the well-posedness of the Cauchy problem for a class of pseudo-differential hyperbolic equations on the torus. The class considered here includes a space-like fractional order Laplacians. By applying the toroidal pseudo-differential calculus we establish regularity estimates, existence and uniqueness in the scale of the standard Sobolev spaces on the torus
In this paper we establish the well-posedness of the Cauchy problem for a class of pseudo-differential hyperbolic equations on the torus. The class considered here includes a space-like fractional order Laplacians. By applying the toroidal pseudo-differential calculus we establish regularity estimates, existence and uniqueness in the scale of the standard Sobolev spaces on the torus
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Quotient-saturated groups
Authors:
Jordi Delgado,
Mallika Roy,
Enric Ventura
Abstract:
We introduce the new notion of quotient-saturation as a measure of the immensity of the quotient structure of a group. We present a sufficient condition for a finitely presented group to be quotient-saturated, and use it to deduce that non-elementary finitely presented subgroups of a hyperbolic group (in particular, non-elementary hyperbolic groups themselves) are quotient-saturated. Finally, we e…
▽ More
We introduce the new notion of quotient-saturation as a measure of the immensity of the quotient structure of a group. We present a sufficient condition for a finitely presented group to be quotient-saturated, and use it to deduce that non-elementary finitely presented subgroups of a hyperbolic group (in particular, non-elementary hyperbolic groups themselves) are quotient-saturated. Finally, we elaborate on the previous results to extend the scope of this property to finitely presented acylindrically hyperbolic groups.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Stallings automata
Authors:
Jordi Delgado,
Enric Ventura
Abstract:
This text aims to provide a self-contained, comprehensive, and reasonably detailed presentation of the theory of Stallings automata and some of its main applications.
This text aims to provide a self-contained, comprehensive, and reasonably detailed presentation of the theory of Stallings automata and some of its main applications.
△ Less
Submitted 13 September, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Adaptive Backstepping Control of a Bicopter in Pure Feedback Form with Dynamic Extension
Authors:
Jhon Manuel Portella Delgado,
Mohammad Mirtaba,
Ankit Goel
Abstract:
This paper presents a model-based, adaptive, nonlinear controller for the bicopter stabilization and trajectory-tracking problem. The nonlinear controller is designed using the backstepping technique. Due to the non-invertibility of the input map, the bicopter system is first dynamically extended. However, the resulting dynamically extended system is in the pure feedback form with the uncertainty…
▽ More
This paper presents a model-based, adaptive, nonlinear controller for the bicopter stabilization and trajectory-tracking problem. The nonlinear controller is designed using the backstepping technique. Due to the non-invertibility of the input map, the bicopter system is first dynamically extended. However, the resulting dynamically extended system is in the pure feedback form with the uncertainty appearing in the input map. The adaptive backstepping technique is then extended and applied to design the controller. The proposed controller is validated in simulation for a smooth and nonsmooth trajectory-tracking problem.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Orbit problems for free-abelian times free groups and related families
Authors:
André Carvalho,
Jordi Delgado
Abstract:
We prove that the Brinkmann Problems (BrP & BrCP) and the twisted-conjugacy Problem (TCP) are decidable for any endomorphism of a free-abelian times free (FATF) group Fn x Z^m. Furthermore, we prove the decidability of the two-sided Brinkmann conjugacy problem (2BrCP) for monomorphisms of FATF groups (and combine it with TCP) to derive the decidability of the conjugacy problem for ascending HNN ex…
▽ More
We prove that the Brinkmann Problems (BrP & BrCP) and the twisted-conjugacy Problem (TCP) are decidable for any endomorphism of a free-abelian times free (FATF) group Fn x Z^m. Furthermore, we prove the decidability of the two-sided Brinkmann conjugacy problem (2BrCP) for monomorphisms of FATF groups (and combine it with TCP) to derive the decidability of the conjugacy problem for ascending HNN extensions of FATF groups.
△ Less
Submitted 14 February, 2025; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Anharmonic semigroups and applications to global well-posedness of nonlinear heat equations
Authors:
Duván Cardona,
Marianna Chatzakou,
Julio Delgado,
Vishvesh Kumar,
Michael Ruzhansky
Abstract:
In this work we consider the semigroup $e^{-t\mathcal{A}_{k,\,\ell}^γ}$ for $γ>0$ associated to an anharmonic oscillator of the form $ \mathcal{A}_{k,\,\ell}=(-Δ)^{\ell}+|x|^{2k}$ where $k,\ell$ are integers $\geq 1$. By introducing a suitable Hörmander metric on the phase-space we analyse the semigroup $e^{-t\mathcal{A}_{k,\,\ell}^γ}$ within the framework of Hörmander $S(M,g)$ classes and obtain…
▽ More
In this work we consider the semigroup $e^{-t\mathcal{A}_{k,\,\ell}^γ}$ for $γ>0$ associated to an anharmonic oscillator of the form $ \mathcal{A}_{k,\,\ell}=(-Δ)^{\ell}+|x|^{2k}$ where $k,\ell$ are integers $\geq 1$. By introducing a suitable Hörmander metric on the phase-space we analyse the semigroup $e^{-t\mathcal{A}_{k,\,\ell}^γ}$ within the framework of Hörmander $S(M,g)$ classes and obtain mapping properties in the scale of modulation spaces $M^{p,q},\, 0<p,q\leq \infty,$ with respect to an anharmonic modulation weight. As an application, we apply the obtained bounds to establish the well-posedness for the nonlinear heat equation associated with $\mathcal{A}_{k,\,\ell}^γ$. It is worth noting that the results presented in this paper are novel, even in the case where $γ=1.$
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Free-abelian by free groups: homomorphisms and algorithmic explorations
Authors:
André Carvalho,
Jordi Delgado
Abstract:
We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not coHopfian, and we investigate the isomorphism problem and the Brinkmann Problem for this family of groups. In particular, we prove that the isomorphism problem (…
▽ More
We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not coHopfian, and we investigate the isomorphism problem and the Brinkmann Problem for this family of groups. In particular, we prove that the isomorphism problem (undecidable in general) is decidable when restricted to finite actions, and that the Brinkmann Problem is decidable both for monomorphisms and automorphisms.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
$L^p$-$L^q$ estimates for subelliptic pseudo-differential operators on compact Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Vishvesh Kumar,
Michael Ruzhansky
Abstract:
We establish the $L^p$-$L^q$-boundedness of subelliptic pseudo-differential operators on a compact Lie group $G$. Effectively, we deal with the $L^p$-$L^q$-bounds for operators in the sub-Riemmanian setting because the subelliptic classes are associated to a Hörmander sub-Laplacian. The Riemannian case associated with the Laplacian is also included as a special case. Then, applications to the…
▽ More
We establish the $L^p$-$L^q$-boundedness of subelliptic pseudo-differential operators on a compact Lie group $G$. Effectively, we deal with the $L^p$-$L^q$-bounds for operators in the sub-Riemmanian setting because the subelliptic classes are associated to a Hörmander sub-Laplacian. The Riemannian case associated with the Laplacian is also included as a special case. Then, applications to the $L^p$-$L^q$-boundedness of pseudo-differential operators in the Hörmander classes on $G$ are given in the complete range $0\leq δ\leq ρ\leq 1,$ $δ<1.$ This also gives the $L^p$-$L^q$-bounds in the Riemannian setting, because the later classes are associated with the Laplacian on $G$. In both cases, in the Riemannian and the sub-Riemannian settings, necessary and sufficient conditions for the $L^p$-$L^q$-boundedness of operators are also anaysed.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Decidability of the Brinkmann Problems for endomorphisms of the free group
Authors:
André Carvalho,
Jordi Delgado
Abstract:
We show that both the Brinkmann Problem (BrP) and the Brinkmann Conjugacy Problem (BrCP) are decidable for endomorphisms of the free group Fn.
We show that both the Brinkmann Problem (BrP) and the Brinkmann Conjugacy Problem (BrCP) are decidable for endomorphisms of the free group Fn.
△ Less
Submitted 9 September, 2024; v1 submitted 22 September, 2023;
originally announced October 2023.
-
Computing Invariant Zeros of a Linear System Using State-Space Realization
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
It is well known that zeros and poles of a single-input, single-output system in the transfer function form are the roots of the transfer function's numerator and the denominator polynomial, respectively. However, in the state-space form, where the poles are a subset of the eigenvalue of the dynamics matrix and thus can be computed by solving an eigenvalue problem, the computation of zeros is a no…
▽ More
It is well known that zeros and poles of a single-input, single-output system in the transfer function form are the roots of the transfer function's numerator and the denominator polynomial, respectively. However, in the state-space form, where the poles are a subset of the eigenvalue of the dynamics matrix and thus can be computed by solving an eigenvalue problem, the computation of zeros is a non-trivial problem. This paper presents a realization of a linear system that allows the computation of invariant zeros by solving a simple eigenvalue problem. The result is valid for square multi-input, multi-output (MIMO) systems, is unaffected by lack of observability or controllability, and is easily extended to wide MIMO systems. Finally, the paper illuminates the connection between the zero-subspace form and the normal form to conclude that zeros are the poles of the system's zero dynamics
△ Less
Submitted 5 February, 2024; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Adaptive Nonlinear Control of a Bicopter with Unknown Dynamics
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
This paper presents an adaptive, model-based, nonlinear controller for the bicopter trajectory-tracking problem. The nonlinear controller is constructed by dynamically extending the bicopter model, stabilizing the extended dynamics using input-output linearization, augmenting the controller with a finite-time convergent parameter estimator, and designing a linear tracking controller. Unlike contro…
▽ More
This paper presents an adaptive, model-based, nonlinear controller for the bicopter trajectory-tracking problem. The nonlinear controller is constructed by dynamically extending the bicopter model, stabilizing the extended dynamics using input-output linearization, augmenting the controller with a finite-time convergent parameter estimator, and designing a linear tracking controller. Unlike control systems based on the time separation principle to separate the translational and rotational dynamics, the proposed technique is applied to design a controller for the full nonlinear dynamics of the system to obtain the desired transient performance. The proposed controller is validated in simulation for a smooth and nonsmooth trajectory-tracking problem.
△ Less
Submitted 7 February, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Degenerate Schrödinger equations with irregular potentials
Authors:
Duván Cardona,
Marianna Chatzakou,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we investigate a class of degenerate Schrödinger equations associated to degenerate elliptic operators with irregular potentials on $\Ran$ by introducing a suitable Hörmander metric $g$ and a $g$-weight $m$. We establish the well-posedness for the corresponding degenerate Schrödinger and degenerate parabolic equations. When the subelliticity is available on the degenerate elliptic ope…
▽ More
In this work we investigate a class of degenerate Schrödinger equations associated to degenerate elliptic operators with irregular potentials on $\Ran$ by introducing a suitable Hörmander metric $g$ and a $g$-weight $m$. We establish the well-posedness for the corresponding degenerate Schrödinger and degenerate parabolic equations. When the subelliticity is available on the degenerate elliptic operator we deduce spectral properties for a class of degenerate Hamiltonians. We also study the $L^p$ mapping properties for operators with symbols in the $S(m^{-β},g)$ classes in the spirit of classical Fefferman's $L^p$-bounds for the $(ρ, δ)$ calculus. Finally, within our $S(m,g)$-classes, sharp $L^p$-estimates and Schatten properties for Schrödinger operators for Hörmander sums of squares are also investigated.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
Control of the Cauchy problem on Hilbert spaces: A global approach via symbol criteria
Authors:
Duván Cardona,
Julio Delgado,
Brian Grajales,
Michael Ruzhansky
Abstract:
Let $A$ and $B$ be invariant linear operators with respect to a decomposition $\{H_{j}\}_{j\in \mathbb{N}}$ of a Hilbert space $\mathcal{H}$ in subspaces of finite dimension. We give necessary and sufficient conditions for the controllability of the Cauchy problem $$ u_t=Au+Bv,\,\,u(0)=u_0,$$ in terms of the (global) matrix-valued symbols $σ_A$ and $σ_B$ of $A$ and $B,$ respectively, associated to…
▽ More
Let $A$ and $B$ be invariant linear operators with respect to a decomposition $\{H_{j}\}_{j\in \mathbb{N}}$ of a Hilbert space $\mathcal{H}$ in subspaces of finite dimension. We give necessary and sufficient conditions for the controllability of the Cauchy problem $$ u_t=Au+Bv,\,\,u(0)=u_0,$$ in terms of the (global) matrix-valued symbols $σ_A$ and $σ_B$ of $A$ and $B,$ respectively, associated to the decomposition $\{H_{j}\}_{j\in \mathbb{N}}$. Then, we present some applications including the controllability of the Cauchy problem on compact manifolds for elliptic operators and the controllability of fractional diffusion models for Hörmander sub-Laplacians on compact Lie groups. We also give conditions for the controllibility of wave and Schrödinger equations in these settings.
△ Less
Submitted 21 January, 2023;
originally announced January 2023.
-
Boundedness of the dyadic maximal function on graded Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
Let $1<p\leq \infty$ and let $n\geq 2.$ It was proved independently by C. Calderón, R. Coifman and G. Weiss that the dyadic maximal function \begin{equation*}
\mathcal{M}^{dσ}_Df(x)=\sup_{j\in\mathbb{Z}}\left|\smallint\limits_{\mathbb{S}^{n-1}}f(x-2^jy)dσ(y)\right| \end{equation*} is a bounded operator on $L^p(\mathbb{R}^n)$ where $dσ(y)$ is the surface measure on $\mathbb{S}^{n-1}.$ In this pap…
▽ More
Let $1<p\leq \infty$ and let $n\geq 2.$ It was proved independently by C. Calderón, R. Coifman and G. Weiss that the dyadic maximal function \begin{equation*}
\mathcal{M}^{dσ}_Df(x)=\sup_{j\in\mathbb{Z}}\left|\smallint\limits_{\mathbb{S}^{n-1}}f(x-2^jy)dσ(y)\right| \end{equation*} is a bounded operator on $L^p(\mathbb{R}^n)$ where $dσ(y)$ is the surface measure on $\mathbb{S}^{n-1}.$ In this paper we prove an analogue of this result on arbitrary graded Lie groups. More precisely, to any finite Borel measure $dσ$ with compact support on a graded Lie group $G,$ we associate the corresponding dyadic maximal function $\mathcal{M}_D^{dσ}$ using the homogeneous structure of the group. Then, we prove a criterion in terms of the order (at zero and at infinity) of the group Fourier transform $\widehat{dσ}$ of $dσ$ with respect to a fixed Rockland operator $\mathcal{R}$ on $G$ that assures the boundedness of $\mathcal{M}_D^{dσ}$ on $L^p(G)$ for all $1<p\leq \infty.$
△ Less
Submitted 13 January, 2024; v1 submitted 21 January, 2023;
originally announced January 2023.
-
Bidiagonal Decompositions of Vandermonde-Type Matrices of Arbitrary Rank
Authors:
Jorge Delgado,
Plamen Koev,
Ana Marco,
Jose-Javier Martinez,
Juan Manuel Pena,
Per-Olof Persson,
Steven Spasov
Abstract:
We present a method to derive new explicit expressions for bidiagonal decompositions of Vandermonde and related matrices such as the (q-, h-) Bernstein-Vandermonde ones, among others. These results generalize the existing expressions for nonsingular matrices to matrices of arbitrary rank. For totally nonnegative matrices of the above classes, the new decompositions can be computed efficiently and…
▽ More
We present a method to derive new explicit expressions for bidiagonal decompositions of Vandermonde and related matrices such as the (q-, h-) Bernstein-Vandermonde ones, among others. These results generalize the existing expressions for nonsingular matrices to matrices of arbitrary rank. For totally nonnegative matrices of the above classes, the new decompositions can be computed efficiently and to high relative accuracy componentwise in floating point arithmetic. In turn, matrix computations (e.g., eigenvalue computation) can also be performed efficiently and to high relative accuracy.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
A note on the local Weyl formula on compact Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this note we reformulate the spectral side of the Weyl law in the language of the matrix-valued quantisation on compact Lie groups.
In this note we reformulate the spectral side of the Weyl law in the language of the matrix-valued quantisation on compact Lie groups.
△ Less
Submitted 13 January, 2024; v1 submitted 1 October, 2022;
originally announced October 2022.
-
Estimates for sums of eigenfunctions of elliptic pseudo-differential operators on compact Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
We extend the estimates proved by Donnelly and Fefferman and by Lebeau and Robbiano for sums of eigenfunctions of the Laplacian (on a compact manifold) to estimates for sums of eigenfunctions of any positive and elliptic pseudo-differential operator of positive order on a compact Lie group. Our criteria are imposed in terms of the positivity of the corresponding matrix-valued symbol of the operato…
▽ More
We extend the estimates proved by Donnelly and Fefferman and by Lebeau and Robbiano for sums of eigenfunctions of the Laplacian (on a compact manifold) to estimates for sums of eigenfunctions of any positive and elliptic pseudo-differential operator of positive order on a compact Lie group. Our criteria are imposed in terms of the positivity of the corresponding matrix-valued symbol of the operator. As an application of these inequalities in the control theory, we obtain the null-controllability for diffusion models for elliptic pseudo-differential operators on compact Lie groups.
△ Less
Submitted 7 November, 2022; v1 submitted 24 September, 2022;
originally announced September 2022.
-
A Poincaré determinant on the torus
Authors:
Julio Delgado
Abstract:
In this work we introduce a Poincaré determinant type for operators on the torus $\To^n$. As an application we establish the existence of nontrivial solutions for elliptic equations of the form $(-Δ)^{\fracν{2}}u+Qu=0$ on $\To^n$ by using the Hill's method.
In this work we introduce a Poincaré determinant type for operators on the torus $\To^n$. As an application we establish the existence of nontrivial solutions for elliptic equations of the form $(-Δ)^{\fracν{2}}u+Qu=0$ on $\To^n$ by using the Hill's method.
△ Less
Submitted 28 May, 2022;
originally announced May 2022.
-
Circumventing Unstable Zero Dynamics in Input-Output Linearization of Longitudinal Flight Dynamics
Authors:
Jhon Manuel Portella Delgado,
Ankit Goel
Abstract:
In this paper, we consider the problem of input-output linearization of the longitudinal flight dynamics. In longitudinal flight dynamics, inputs are typically thrust and elevator deflection whereas the outputs are the velocity and the flight path angle. An input-output linearization-based controller can be designed to render the multi-input, multi-output system linear; however, the resulting zero…
▽ More
In this paper, we consider the problem of input-output linearization of the longitudinal flight dynamics. In longitudinal flight dynamics, inputs are typically thrust and elevator deflection whereas the outputs are the velocity and the flight path angle. An input-output linearization-based controller can be designed to render the multi-input, multi-output system linear; however, the resulting zero dynamics turns out to be unstable. In this work, we remove the zero dynamics from the closed-loop dynamics by considering an additional output. Although the additional output makes the system tall, which, in general, means that the input-to-output dynamics can not be linearized, we show that in the case of longitudinal flight dynamics, linearization is possible due to special geometric properties of the nonlinear terms.
△ Less
Submitted 4 September, 2023; v1 submitted 12 May, 2022;
originally announced May 2022.
-
Drift diffusion equations with fractional diffusion on compact Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we investigate the well-posedness for difussion equations associated to subelliptic pseudo-differential operators on compact Lie groups. The diffusion by strongly elliptic operators is considered as a special case and in particular the fractional diffusion with respect to the Laplacian. The general case is studied within the Hörmander classes associated to a sub-Riemannian structure o…
▽ More
In this work we investigate the well-posedness for difussion equations associated to subelliptic pseudo-differential operators on compact Lie groups. The diffusion by strongly elliptic operators is considered as a special case and in particular the fractional diffusion with respect to the Laplacian. The general case is studied within the Hörmander classes associated to a sub-Riemannian structure on the group (encoded by a Hörmander system of vector fields). Applications to diffusion equations for fractional sub-Laplacians, fractional powers of more general subelliptic operators, and the corresponding quasi-geostrophic model with drift $D$ are investigated. Examples on SU(2) for diffusion problems with fractional diffusion are analysed.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Fundamental solution of the Vladimirov-Taibleson operator on noncommutative Vilenkin groups
Authors:
Julio delgado,
Juan Pablo Velasquez-Rodriguez
Abstract:
The fundamental solution and the heat semigroup of the Vladimirov-Taibleson operator on constant-order noncommutative Vilenkin groups are obtained, together with some estimates on the associated heat kernel. We also show the existence of a fundamental solution for the "Vladimirov Laplacian" on the $p$-adic Heisenberg group and the $p$-adic Engel group, and discuss possible extensions of our result…
▽ More
The fundamental solution and the heat semigroup of the Vladimirov-Taibleson operator on constant-order noncommutative Vilenkin groups are obtained, together with some estimates on the associated heat kernel. We also show the existence of a fundamental solution for the "Vladimirov Laplacian" on the $p$-adic Heisenberg group and the $p$-adic Engel group, and discuss possible extensions of our results to more general homogeneous operators on graded $p$-adic Lie groups.
△ Less
Submitted 14 April, 2022;
originally announced April 2022.
-
Autòmats de Stallings, un camí d'anada i tornada
Authors:
Jordi Delgado,
Enric Ventura
Abstract:
In this paper we review some of the fundamental properties of the free group and give a detailed account of Stallings's theory of automata, a geometric interpretation of its subgroups that has been (and still is) immensely fruitful, both as a means of understanding classical results, as as a source of new results. We review some of the most important ones. -- -
En aquest article revisem algunes de…
▽ More
In this paper we review some of the fundamental properties of the free group and give a detailed account of Stallings's theory of automata, a geometric interpretation of its subgroups that has been (and still is) immensely fruitful, both as a means of understanding classical results, as as a source of new results. We review some of the most important ones. -- -
En aquest article revisem algunes de les propietats fonamentals del group lliure i fem una exposició detallada de la teoria dels autòmats de Stallings, una interpretació geomètrica dels seus subgrups que ha estat (i segueix essent) immensament fructífera, tant com a mitjà per entendre resultats clàssics, com com a font de nous resultats. N'expliquem alguns dels més rellevants.
△ Less
Submitted 12 January, 2023; v1 submitted 15 February, 2022;
originally announced February 2022.
-
On a class of anharmonic oscillators II. General case
Authors:
Marianna Chatzakou,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we study a class of anharmonic oscillators on $\mathbb{R}^n$ corresponding to Hamiltonians of the form $A(D)+V(x)$, where $A(ξ)$ and $V(x)$ are
$C^{\infty}$ functions enjoying some regularity conditions. Our class includes fractional relativistic Schrödinger operators and anharmonic oscillators with fractional potentials. By associating a Hörmander metric we obtain spectral properti…
▽ More
In this work we study a class of anharmonic oscillators on $\mathbb{R}^n$ corresponding to Hamiltonians of the form $A(D)+V(x)$, where $A(ξ)$ and $V(x)$ are
$C^{\infty}$ functions enjoying some regularity conditions. Our class includes fractional relativistic Schrödinger operators and anharmonic oscillators with fractional potentials. By associating a Hörmander metric we obtain spectral properties in terms of Schatten-von Neumann classes for their negative powers and derive from them estimates on the rate of growth for the eigenvalues of the operators $A(D)+V(x)$. This extends the analysis in the first part of our work, where the case of polynomial $A$ and $V$ has been analysed.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Analytic functional calculus and Gårding inequality on graded Lie groups with applications to diffusion equations
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this paper we study the Cauchy problem for diffusion equations associated to a class of strongly hypoelliptic pseudo-differential operators on graded Lie groups. To do so, we develop a global complex functional calculus on graded Lie groups in order to analyse the corresponding energy estimates. One of the main aspects of this complex functional calculus is that for the $(ρ,δ)$-Euclidean Hörman…
▽ More
In this paper we study the Cauchy problem for diffusion equations associated to a class of strongly hypoelliptic pseudo-differential operators on graded Lie groups. To do so, we develop a global complex functional calculus on graded Lie groups in order to analyse the corresponding energy estimates. One of the main aspects of this complex functional calculus is that for the $(ρ,δ)$-Euclidean Hörmander classes we recover the standard functional calculus developed by Seeley [38]. In consequence the Gårding inequality that we prove for arbitrary graded Lie groups absorbs the historical 1953's inequality due to Gårding [26].
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
A list of applications of Stallings automata
Authors:
Jordi Delgado,
Enric Ventura
Abstract:
This survey is intended to be a fast (and reasonably updated) reference for the theory of Stallings automata and its applications to the study of subgroups of the free group, with the main accent on algorithmic aspects. Consequently, results concerning finitely generated subgroups have greater prominence in the paper. However, when possible, we try to state the results with more generality, includ…
▽ More
This survey is intended to be a fast (and reasonably updated) reference for the theory of Stallings automata and its applications to the study of subgroups of the free group, with the main accent on algorithmic aspects. Consequently, results concerning finitely generated subgroups have greater prominence in the paper. However, when possible, we try to state the results with more generality, including the usually overlooked non-(finitely-generated) case.
△ Less
Submitted 11 June, 2022; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Intersection configurations in free and free times free-abelian groups
Authors:
Jordi Delgado,
Mallika Roy,
Enric Ventura
Abstract:
In this paper we study intersection configurations -- which describe the behaviour of multiple (finite) intersections of subgroups with respect to finite generability -- in the realm of free and free times free-abelian (FTFA) groups. We say that a configuration is realizable in a group $G$ if there exist subgroups $H_1,\ldots , H_k \leqslant G$ realizing it.
It is well known that free groups…
▽ More
In this paper we study intersection configurations -- which describe the behaviour of multiple (finite) intersections of subgroups with respect to finite generability -- in the realm of free and free times free-abelian (FTFA) groups. We say that a configuration is realizable in a group $G$ if there exist subgroups $H_1,\ldots , H_k \leqslant G$ realizing it.
It is well known that free groups $\mathbb{F}_n$ satisfy the Howson property: the intersection of any two finitely generated subgroups is again finitely generated. We show that the Howson property is indeed the only obstruction for multiple intersection configurations to be realizable within nonabelian free groups.
On the contrary, FTFA groups $\mathbb{F}_n \times \mathbb{Z}^m$ are well known to be non-Howson. We also study multiple intersections within FTFA groups, providing an algorithm to decide, given $k\geq 2$ finitely generated subgroups, whether their intersection is again finitely generated and, in the affirmative case, compute a `basis' for it. We finally prove that any intersection configuration is realizable in a FTFA group $\mathbb{F}_n \times \mathbb{Z}^m$, for $n\geq 2$ and big enough $m$. As a consequence, we exhibit finitely presented groups where every intersection configuration is realizable.
△ Less
Submitted 29 July, 2023; v1 submitted 26 July, 2021;
originally announced July 2021.
-
Dixmier traces, Wodzicki residues, and determinants on compact Lie groups: the paradigm of the global quantisation
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
\begin{abstract} By following the paradigm of the global quantisation, instead of the analysis under changes of coordinates, in this work we establish a global analysis for the explicit computation of the Dixmier trace and the Wodzicki residue of (elliptic and subelliptic) pseudo-differential operators on compact Lie groups. The regularised determinant for the Dixmier trace is also computed. We ob…
▽ More
\begin{abstract} By following the paradigm of the global quantisation, instead of the analysis under changes of coordinates, in this work we establish a global analysis for the explicit computation of the Dixmier trace and the Wodzicki residue of (elliptic and subelliptic) pseudo-differential operators on compact Lie groups. The regularised determinant for the Dixmier trace is also computed. We obtain these formulae in terms of the global symbol of the corresponding operators. In particular, our approach links the Dixmier trace and Wodzicki residue to the representation theory of the group. Although we start by analysing the case of compact Lie groups, we also compute the Dixmier trace and its regularised determinant on arbitrary closed manifolds $M$, for the class of invariant pseudo-differential operators in terms of their matrix-valued symbols. This analysis includes e.g. the family of positive and elliptic pseudo-differential operators on $M$.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
Relative order and spectrum in free and related groups
Authors:
Jordi Delgado,
Enric Ventura,
Alexander Zakharov
Abstract:
In this paper, we consider a natural generalization of the concept of order of an element in a group: an element $g \in G$ is said to have order $k$ in a subgroup $H$ of $G$ (\resp \wrt a coset $Hu$) if $k$ is the first strictly positive integer such that $g^k \in H$ (\resp $g^k \in Hu$). We study this notion and its algorithmic properties in the realm of free groups and some related families.
B…
▽ More
In this paper, we consider a natural generalization of the concept of order of an element in a group: an element $g \in G$ is said to have order $k$ in a subgroup $H$ of $G$ (\resp \wrt a coset $Hu$) if $k$ is the first strictly positive integer such that $g^k \in H$ (\resp $g^k \in Hu$). We study this notion and its algorithmic properties in the realm of free groups and some related families.
Both positive and negative (algorithmic) results emerge in this setting. On the positive side, among other results, we prove that the order of elements, the set of orders (called spectrum), and the set of preorders (\ie the set of elements of a given order) \wrt finitely generated subgroups are always computable in free and free times free-abelian groups. On the negative side, we provide examples of groups and subgroups having essentially any subset of natural numbers as relative spectrum; in particular, non-recursive and even non-recursively enumerable sets of natural numbers. Also, we take advantage of Mikhailova's construction to see that the spectrum membership problem is unsolvable for direct products of nonabelian free groups.
△ Less
Submitted 8 May, 2021;
originally announced May 2021.
-
On the set of Gâteaux differentiability of the $L^1$ norm
Authors:
Julio Delgado,
Andrés F. Muñoz-Tello
Abstract:
Let $(Ω, \mathcal{M}, μ)$ be a measure space. In this paper we establish the set of Gâteaux differentiability for the usual norm of $L^{1}(Ω, μ)$ and the corresponding derivative formulae at each point in this set.
Let $(Ω, \mathcal{M}, μ)$ be a measure space. In this paper we establish the set of Gâteaux differentiability for the usual norm of $L^{1}(Ω, μ)$ and the corresponding derivative formulae at each point in this set.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Determinants and Plemelj-Smithies formulas
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
We establish Plemelj-Smithies formulas for determinants in different algebras of operators. In particular we define a Poincaré type determinant for operators on the torus $\Tn$ and deduce formulas for determinants of periodic pseudo-differential operators in terms of the symbol. On the other hand, by applying a recently introduced notion of invariant operators relative to fixed decompositions of H…
▽ More
We establish Plemelj-Smithies formulas for determinants in different algebras of operators. In particular we define a Poincaré type determinant for operators on the torus $\Tn$ and deduce formulas for determinants of periodic pseudo-differential operators in terms of the symbol. On the other hand, by applying a recently introduced notion of invariant operators relative to fixed decompositions of Hilbert spaces we also obtain formulae for determinants with respect to the trace class. The analysis makes use of the corresponding notion of full matrix-symbol. We also derive explicit formulas for determinants associated to elliptic operators on compact manifolds, compact Lie groups, and on homogeneous vector bundles over compact homogeneous manifolds.
△ Less
Submitted 5 February, 2021; v1 submitted 24 December, 2020;
originally announced December 2020.
-
$L^p$-bounds for pseudo-differential operators on graded Lie groups
Authors:
Duván Cardona,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we obtain sharp $L^p$-estimates for pseudo-differential operators on arbitrary graded Lie groups.
The results are presented within the setting of the global symbolic calculus on graded Lie groups by using the Fourier analysis associated to every graded Lie group which extends the usual one due to Hörmander on $\mathbb{R}^n$. The main result extends the classical Fefferman's sharp th…
▽ More
In this work we obtain sharp $L^p$-estimates for pseudo-differential operators on arbitrary graded Lie groups.
The results are presented within the setting of the global symbolic calculus on graded Lie groups by using the Fourier analysis associated to every graded Lie group which extends the usual one due to Hörmander on $\mathbb{R}^n$. The main result extends the classical Fefferman's sharp theorem on the $L^p$-boundedness of pseudo-differential operators for Hörmander classes on $\mathbb{R}^n$ to general graded Lie groups, also adding the borderline $ρ=δ$ case.
△ Less
Submitted 19 May, 2021; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Stallings automata for free-times-abelian groups: intersections and index
Authors:
Jordi Delgado,
Enric Ventura
Abstract:
We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we obtain an explicit bijection between subgroups and a certain type of such enriched automata, which - as it happens in the free group - is computable in the finitely generated case…
▽ More
We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we obtain an explicit bijection between subgroups and a certain type of such enriched automata, which - as it happens in the free group - is computable in the finitely generated case.
This approach provides a neat geometric description of (even non finitely generated) intersections of finitely generated subgroups within this non-Howson family. In particular, we give a geometric solution to the subgroup intersection problem and the finite index problem, providing recursive bases and transversals respectively.
△ Less
Submitted 10 June, 2022; v1 submitted 13 October, 2019;
originally announced October 2019.
-
On the lattice of subgroups of a free group: complements and rank
Authors:
Jordi Delgado,
Pedro V. Silva
Abstract:
A $\vee$-complement of a subgroup $H \leqslant \mathbb{F}_n$ is a subgroup $K \leqslant \mathbb{F}_n$ such that $H \vee K = \mathbb{F}_n$. If we also ask $K$ to have trivial intersection with $H$, then we say that $K$ is a $\oplus$-complement of $H$. The minimum possible rank of a $\vee$-complement (resp. $\oplus$-complement) of $H$ is called the $\vee$-corank (resp. $\oplus$-corank) of $H$. We us…
▽ More
A $\vee$-complement of a subgroup $H \leqslant \mathbb{F}_n$ is a subgroup $K \leqslant \mathbb{F}_n$ such that $H \vee K = \mathbb{F}_n$. If we also ask $K$ to have trivial intersection with $H$, then we say that $K$ is a $\oplus$-complement of $H$. The minimum possible rank of a $\vee$-complement (resp. $\oplus$-complement) of $H$ is called the $\vee$-corank (resp. $\oplus$-corank) of $H$. We use Stallings automata to study these notions and the relations between them. In particular, we characterize when complements exist, compute the $\vee$-corank, and provide language-theoretical descriptions of the sets of cyclic complements. Finally, we prove that the two notions of corank coincide on subgroups that admit cyclic complements of both kinds.
△ Less
Submitted 28 February, 2020; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Extremal and optimal properties of B-bases Collocation Matrices
Authors:
Jorge Delgado,
J. M. Peña
Abstract:
Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of normalized B-bases. Some results on the optimal conditioning and on extremal properties of the minimal eigenvalue and singular value of the collocation matrices of…
▽ More
Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of normalized B-bases. Some results on the optimal conditioning and on extremal properties of the minimal eigenvalue and singular value of the collocation matrices of normalized B-bases are proved. Numerical examples confirm the theoretical results and answer related questions.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
On a class of anharmonic oscillators
Authors:
Marianna Chatzakou,
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we study a class of anharmonic oscillators within the framework of the Weyl-Hörmander calculus. The anharmonic oscillators arise from several applications in mathematical physics as natural extensions of the harmonic oscillator. A prototype is an operator on $\mathbb{R}^n$ of the form $(-Δ)^{\ell}+|x|^{2k}$ for $k,\ell$ integers $\geq 1$. The simplest case corresponds to Hamiltonians…
▽ More
In this work we study a class of anharmonic oscillators within the framework of the Weyl-Hörmander calculus. The anharmonic oscillators arise from several applications in mathematical physics as natural extensions of the harmonic oscillator. A prototype is an operator on $\mathbb{R}^n$ of the form $(-Δ)^{\ell}+|x|^{2k}$ for $k,\ell$ integers $\geq 1$. The simplest case corresponds to Hamiltonians of the form $|ξ|^2+|x|^{2k}$. Here by associating a Hörmander metric $g$ to a given anharmonic oscillator we investigate several properties of the anharmonic oscillators. We obtain spectral properties in terms of Schatten-von Neumann classes for their negative powers. We also study some examples of anharmonic oscillators arising from the analysis on Lie groups
△ Less
Submitted 16 April, 2021; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Bautin bifurcation in a minimal model of immunoediting
Authors:
Joaquín Delgado,
Eymard Hernández,
Lucía Ivonne Hernández-Martínez
Abstract:
One of the simplest model of immune surveillance and neoplasia was proposed by Delisi and Resigno. Later Liu et al proved the existence of non-degenerate Takens-Bogdanov bifurcations defining a surface in the whole set of five positive parameters. In this paper we prove the existence of Bautin bifurcations completing the scenario of possible codimension two bifurcations that occur in this model. W…
▽ More
One of the simplest model of immune surveillance and neoplasia was proposed by Delisi and Resigno. Later Liu et al proved the existence of non-degenerate Takens-Bogdanov bifurcations defining a surface in the whole set of five positive parameters. In this paper we prove the existence of Bautin bifurcations completing the scenario of possible codimension two bifurcations that occur in this model. We give an interpretation of our results in terms of the three phases immunoediting theory:elimination, equilibrium and escape.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Schatten-von Neumann classes of integral operators
Authors:
Julio Delgado,
Michael Ruzhansky
Abstract:
In this work we establish sharp kernel conditions ensuring that the corresponding integral operators belong to Schatten-von Neumann classes. The conditions are given in terms of the spectral properties of operators acting on the kernel. As applications we establish several criteria in terms of different types of differential operators and their spectral asymptotics in different settings: compact m…
▽ More
In this work we establish sharp kernel conditions ensuring that the corresponding integral operators belong to Schatten-von Neumann classes. The conditions are given in terms of the spectral properties of operators acting on the kernel. As applications we establish several criteria in terms of different types of differential operators and their spectral asymptotics in different settings: compact manifolds, operators on lattices, domains in ${\mathbb R}^n$ of finite measure, and conditions for operators on ${\mathbb R}^n$ given in terms of anharmonic oscillators. We also give examples in the settings of compact sub-Riemannian manifolds, contact manifolds, strictly pseudo-convex CR manifolds, and (sub-)Laplacians on compact Lie groups.
△ Less
Submitted 27 May, 2021; v1 submitted 18 September, 2017;
originally announced September 2017.
-
Intersection problem for Droms RAAGs
Authors:
Jordi Delgado,
Enric Ventura,
Alexander Zakharov
Abstract:
We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type (i.e., with defining graph not containing induced squares or paths of length 3): there is an algorithm which, given finite sets of generators for two subgroups H,K of G, decides whether $H \cap K$ is finitely generated or not, and, in the affirmative case, it computes a set of generators for $H \cap K$. Taking advantage…
▽ More
We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type (i.e., with defining graph not containing induced squares or paths of length 3): there is an algorithm which, given finite sets of generators for two subgroups H,K of G, decides whether $H \cap K$ is finitely generated or not, and, in the affirmative case, it computes a set of generators for $H \cap K$. Taking advantage of the recursive characterization of Droms groups, the proof consists in separately showing that the solvability of SIP passes through free products, and through direct products with free-abelian groups. We note that most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable SIP.
△ Less
Submitted 8 July, 2018; v1 submitted 4 September, 2017;
originally announced September 2017.
-
Fourier multipliers in Hilbert spaces
Authors:
Julio Delgado,
Michael Ruzhansky
Abstract:
This is a survey on a notion of invariant operators, or Fourier multipliers on Hilbert spaces. This concept is defined with respect to a fixed partition of the space into a direct sum of finite dimensional subspaces. In particular this notion can be applied to the important case of $L^2(M)$ where $M$ is a compact manifold $M$ endowed with a positive measure. The partition in this case comes from t…
▽ More
This is a survey on a notion of invariant operators, or Fourier multipliers on Hilbert spaces. This concept is defined with respect to a fixed partition of the space into a direct sum of finite dimensional subspaces. In particular this notion can be applied to the important case of $L^2(M)$ where $M$ is a compact manifold $M$ endowed with a positive measure. The partition in this case comes from the spectral properties of a a fixed elliptic operator $E$.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
