-
Computing almost commuting bases of ODOs and Gelfand-Dikey hierarchies
Authors:
Rafael Delgado,
Rafael Hernández Heredero,
Antonio Jiménez-Pastor,
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
Almost commuting operators were introduced in 1985 by George Wilson to present generalizations the Korteweg-de Vries hierarchy, nowadays known as Gelfand-Dikey (GD) hierarchies. In this paper, we review the formal construction of the vector space of almost commuting operators with a given ordinary differential operator (ODO), with the ultimate goal of obtaining a basis by computational routines, u…
▽ More
Almost commuting operators were introduced in 1985 by George Wilson to present generalizations the Korteweg-de Vries hierarchy, nowadays known as Gelfand-Dikey (GD) hierarchies. In this paper, we review the formal construction of the vector space of almost commuting operators with a given ordinary differential operator (ODO), with the ultimate goal of obtaining a basis by computational routines, using the language of differential polynomials. We use Wilson's results on weigheted ODOs to guarantee the solvability of the triangular system that allows to compute the homogeneous almost commuting operator of a given order in the ring of ODOs. As a consequence the computation of the equations of the GD hierarchies is obtained without using pseudo-differential operators. The algorithms to calculate the almost commuting basis and the GD hierarchies in the ring of ODOs are implemented in SageMath, and explicit examples are provided.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
A Ritt-Kreiss condition: spectral localization and norm estimates
Authors:
Alejandro Mahillo,
Silvia Rueda
Abstract:
A new condition is introduced by generalizing the Ritt and Kreiss operators named $(α, β)$-RK condition. Geometrical properties of the spectrum for the case $β< 1$ are studied, moreover it is shown that in that case if $α+ β= 1$ the operator is Ritt. Estimates for the power and power differences norms for this type of operators are also studied. Lastly we apply this theory to obtain and interpolat…
▽ More
A new condition is introduced by generalizing the Ritt and Kreiss operators named $(α, β)$-RK condition. Geometrical properties of the spectrum for the case $β< 1$ are studied, moreover it is shown that in that case if $α+ β= 1$ the operator is Ritt. Estimates for the power and power differences norms for this type of operators are also studied. Lastly we apply this theory to obtain and interpolation result over Ritt and Kreiss operator on $L^p$ spaces.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$
Authors:
Yosef Berman,
Joshua Forrest,
Matthew Grote,
Alexey Ovchinnikov,
Sonia Rueda
Abstract:
Determining unknown parameter values in dynamic models is crucial for accurate analysis of the dynamics across the different scientific disciplines. Discrete-time dynamic models are widely used to model biological processes, but it is often difficult to determine these parameters. In this paper, we propose a robust symbolic-numeric approach for parameter estimation in discrete-time models that inv…
▽ More
Determining unknown parameter values in dynamic models is crucial for accurate analysis of the dynamics across the different scientific disciplines. Discrete-time dynamic models are widely used to model biological processes, but it is often difficult to determine these parameters. In this paper, we propose a robust symbolic-numeric approach for parameter estimation in discrete-time models that involve non-algebraic functions such as exp. We illustrate the performance (precision) of our approach by applying our approach to the flour beetle (LPA) model, an archetypal discrete-time model in biology. Unlike optimization-based methods, our algorithm guarantees to find all solutions of the parameter values given time-series data for the measured variables.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Computing defining ideals of space spectral curves for algebro-geometric third order ODOs
Authors:
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
Commuting pairs of ordinary differential operators (ODOs) have been related to plane algebraic curves since the work of Burchnall and Chaundy a century ago. We introduce now the concept of Burchnall-Chaundy (BC) ideal of a commuting pair, as the ideal of all constant coefficient bivariate polynomials satisfied by the pair. We prove this prime ideal to be equal to the radical of a differential elim…
▽ More
Commuting pairs of ordinary differential operators (ODOs) have been related to plane algebraic curves since the work of Burchnall and Chaundy a century ago. We introduce now the concept of Burchnall-Chaundy (BC) ideal of a commuting pair, as the ideal of all constant coefficient bivariate polynomials satisfied by the pair. We prove this prime ideal to be equal to the radical of a differential elimination ideal and the defining ideal of a plane algebraic curve, the spectral curve of a commuting pair.
The ODOs of this work have coefficients in an arbitrary differential field with field of constants algebraically closed and of characteristic zero. Motivated by the extension of the recently introduced Picard-Vessiot theory for spectral problems $L(y)=λy$, where $λ$ is an algebraic parameter, we also define the BC ideal of an algebro-geometric third order operator $L$. This allows a constructive proof of a famous theorem by I. Schur, establishing an isomorphism between the centralizer of $L$ and the coordinate ring of a space algebraic curve, that we define as the spectral curve of $L$ and whose defining ideal is the BC ideal of $L$. We provide the first explicit example of a non-planar spectral curve. We compute a set of generators of the defining ideal of this curve by means of differential resultants and define a new coefficient field determined by the spectral curve, to effectively compute an intrinsic right factor of $L-λ$.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
A new twist on PIFE: photoisomerisation-related fluorescence enhancement
Authors:
Evelyn Ploetz,
Benjamin Ambrose,
Anders Barth,
Richard Börner,
Felix Erichson,
Achillefs N. Kapanidis,
Harold D. Kim,
Marcia Levitus,
Timothy M. Lohman,
Abhishek Mazumder,
David S. Rueda,
Fabio D. Steffen,
Thorben Cordes,
Steven W. Magennis,
Eitan Lerner
Abstract:
PIFE was first used as an acronym for protein-induced fluorescence enhancement, which refers to the increase in fluorescence observed upon the interaction of a fluorophore, such as a cyanine, with a protein. This fluorescence enhancement is due to changes in the rate of cis/trans photoisomerisation. It is clear now that this mechanism is generally applicable to interactions with any biomolecule an…
▽ More
PIFE was first used as an acronym for protein-induced fluorescence enhancement, which refers to the increase in fluorescence observed upon the interaction of a fluorophore, such as a cyanine, with a protein. This fluorescence enhancement is due to changes in the rate of cis/trans photoisomerisation. It is clear now that this mechanism is generally applicable to interactions with any biomolecule and, in this review, we propose that PIFE is thereby renamed according to its fundamental working principle as photoisomerisation-related fluorescence enhancement, kee** the PIFE acronym intact. We discuss the photochemistry of cyanine fluorophores, the mechanism of PIFE, its advantages and limitations, and recent approaches to turn PIFE into a quantitative assay. We provide an overview of its current applications to different biomolecules and discuss potential future uses, including the study of protein-protein interactions, protein-ligand interactions and conformational changes in biomolecules.
△ Less
Submitted 10 July, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot Theory
Authors:
Emma Previato,
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
Burchnall and Chaundy showed that if two ODOs $P$, $Q$ with analytic coefficients commute there exists a polynomial $f(λ,μ)$ with complex coefficients such that $f(P,Q)=0$, called the BC-polynomial. This polynomial can be computed using the differential resultant for ODOs. In this work we extend this result to matrix ordinary differential operators, MODOs. Matrices have entries in a differential f…
▽ More
Burchnall and Chaundy showed that if two ODOs $P$, $Q$ with analytic coefficients commute there exists a polynomial $f(λ,μ)$ with complex coefficients such that $f(P,Q)=0$, called the BC-polynomial. This polynomial can be computed using the differential resultant for ODOs. In this work we extend this result to matrix ordinary differential operators, MODOs. Matrices have entries in a differential field $K$, whose field of constants $C$ is algebraically closed and of zero characteristic. We restrict to the case of order one operators $P$, with invertible leading coefficient. A new differential elimination tool is defined, the matrix differential resultant. It is used to compute the BC-polynomial $f$ of a pair of commuting MODOs and proved to have constant coefficients. This resultant provides the necessary and sufficient condition for the spectral problem $PY=λY \ , \ QY=μY$ to have a solution. Techniques from differential algebra and Picard-Vessiot theory allow us to describe explicitly isomorphisms between commutative rings of MODOs $C[P,Q]$ and a finite product of rings of irreducible algebraic curves.
△ Less
Submitted 23 May, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
First steps on modelling wave propagation in isotropic-heterogeneous media: Numerical simulation of P-SV waves
Authors:
Gabriela Landinez,
Santiago Rueda,
Fabio D. Lora-Clavijo
Abstract:
In geophysics, wave propagation in elastic media is a crucial subject. In this context, seismology has made significant progress as a result of numerous advances, among these stands out the advancement of numerical methods such as the finite-difference one. Usually, seismic wave propagation in elastic media results in complex systems of partial differential equations, whose solutions cannot be obt…
▽ More
In geophysics, wave propagation in elastic media is a crucial subject. In this context, seismology has made significant progress as a result of numerous advances, among these stands out the advancement of numerical methods such as the finite-difference one. Usually, seismic wave propagation in elastic media results in complex systems of partial differential equations, whose solutions cannot be obtained in an analytical way, especially when dealing with heterogeneous media. In consequence, there exists a necessity to implement numerical methods. However, the available information about the construction of a numerical solution of these equations is not as explicit as it should be. Our main goal is to provide pedagogical instructions for undergraduate students who want to improve their computational skills as well as their knowledge of the subject. The last through current teaching methods involving challenging problems and transversal tools. Particularly, we provide a brief description of the equations and a detailed description of the numerical solution of the seismic wave equation. Furthermore, we model two different seismic explosive sources in both homogeneous and heterogeneous media as an illustrative example. In the results, we include velocity maps showing wave propagation in the x-z plane, and the z-velocity as a function of time measured in a series of detectors distributed in the numerical domain.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Factoring Third Order Ordinary Differential Operators over Spectral Curves
Authors:
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
We consider the classical factorization problem of a third order ordinary differential operator $L-λ$, for a spectral parameter $λ$. It is assumed that $L$ is an algebro-geometric operator, that it has a nontrivial centralizer, which can be seen as the affine ring of curve, the famous "spectral curve" $Γ$. In this work we explicitly describe the ring structure of the centralizer of $L$ and, as a c…
▽ More
We consider the classical factorization problem of a third order ordinary differential operator $L-λ$, for a spectral parameter $λ$. It is assumed that $L$ is an algebro-geometric operator, that it has a nontrivial centralizer, which can be seen as the affine ring of curve, the famous "spectral curve" $Γ$. In this work we explicitly describe the ring structure of the centralizer of $L$ and, as a consequence, we prove that $Γ$ is a space curve. In this context, the first computed example of a non-planar spectral curve arises, for an operator of this type. Based on the structure of the centralizer, we give a symbolic algorithm, using differential subresultants, to factor $L-λ_0$ for all but a finite number of points $P=(λ_0 , μ_0 , γ_0)$ of the spectral curve .
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
ROS2Learn: a reinforcement learning framework for ROS 2
Authors:
Yue Leire Erro Nuin,
Nestor Gonzalez Lopez,
Elias Barba Moral,
Lander Usategui San Juan,
Alejandro Solano Rueda,
Víctor Mayoral Vilches,
Risto Kojcev
Abstract:
We propose a novel framework for Deep Reinforcement Learning (DRL) in modular robotics to train a robot directly from joint states, using traditional robotic tools. We use an state-of-the-art implementation of the Proximal Policy Optimization, Trust Region Policy Optimization and Actor-Critic Kronecker-Factored Trust Region algorithms to learn policies in four different Modular Articulated Robotic…
▽ More
We propose a novel framework for Deep Reinforcement Learning (DRL) in modular robotics to train a robot directly from joint states, using traditional robotic tools. We use an state-of-the-art implementation of the Proximal Policy Optimization, Trust Region Policy Optimization and Actor-Critic Kronecker-Factored Trust Region algorithms to learn policies in four different Modular Articulated Robotic Arm (MARA) environments. We support this process using a framework that communicates with typical tools used in robotics, such as Gazebo and Robot Operating System 2 (ROS 2). We evaluate several algorithms in modular robots with an empirical study in simulation.
△ Less
Submitted 18 March, 2019; v1 submitted 14 March, 2019;
originally announced March 2019.
-
gym-gazebo2, a toolkit for reinforcement learning using ROS 2 and Gazebo
Authors:
Nestor Gonzalez Lopez,
Yue Leire Erro Nuin,
Elias Barba Moral,
Lander Usategui San Juan,
Alejandro Solano Rueda,
Víctor Mayoral Vilches,
Risto Kojcev
Abstract:
This paper presents an upgraded, real world application oriented version of gym-gazebo, the Robot Operating System (ROS) and Gazebo based Reinforcement Learning (RL) toolkit, which complies with OpenAI Gym. The content discusses the new ROS 2 based software architecture and summarizes the results obtained using Proximal Policy Optimization (PPO). Ultimately, the output of this work presents a benc…
▽ More
This paper presents an upgraded, real world application oriented version of gym-gazebo, the Robot Operating System (ROS) and Gazebo based Reinforcement Learning (RL) toolkit, which complies with OpenAI Gym. The content discusses the new ROS 2 based software architecture and summarizes the results obtained using Proximal Policy Optimization (PPO). Ultimately, the output of this work presents a benchmarking system for robotics that allows different techniques and algorithms to be compared using the same virtual conditions. We have evaluated environments with different levels of complexity of the Modular Articulated Robotic Arm (MARA), reaching accuracies in the millimeter scale. The converged results show the feasibility and usefulness of the gym-gazebo 2 toolkit, its potential and applicability in industrial use cases, using modular robots.
△ Less
Submitted 18 March, 2019; v1 submitted 14 March, 2019;
originally announced March 2019.
-
Factorization of KdV Schrödinger operators using differential subresultants
Authors:
Juan J. Morales-Ruiz,
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
We address the classical factorization problem of a one dimensional Schrödinger operator $-\partial^2+u-λ$, for a stationary potential $u$ of the KdV hierarchy but, in this occasion, a "parameter" $λ$. Inspired by the more effective approach of Gesztesy and Holden to the "direct" spectral problem, we give a symbolic algorithm by means of differential elimination tools to achieve the aimed factoriz…
▽ More
We address the classical factorization problem of a one dimensional Schrödinger operator $-\partial^2+u-λ$, for a stationary potential $u$ of the KdV hierarchy but, in this occasion, a "parameter" $λ$. Inspired by the more effective approach of Gesztesy and Holden to the "direct" spectral problem, we give a symbolic algorithm by means of differential elimination tools to achieve the aimed factorization. Differential resultants are used for computing spectral curves, and differential subresultants to obtain the first order common factor. To make our method fully effective, we design a symbolic algorithm to compute the integration constants of the KdV hierarchy, in the case of KdV potentials that become rational under a Hamiltonian change of variable. Explicit computations are carried for Schrödinger operators with solitonic potentials.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Commuting Ordinary Differential Operators and the Dixmier Test
Authors:
Emma Previato,
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
The Burchnall-Chaundy problem is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial coefficients, while the classification of commutative subalgebras of the Weyl algebra is in itself…
▽ More
The Burchnall-Chaundy problem is classical in differential algebra, seeking to describe all commutative subalgebras of a ring of ordinary differential operators whose coefficients are functions in a given class. It received less attention when posed in the (first) Weyl algebra, namely for polynomial coefficients, while the classification of commutative subalgebras of the Weyl algebra is in itself an important open problem. Centralizers are maximal-commutative subalgebras, and we review the properties of a basis of the centralizer of an operator $L$ in normal form, following the approach of K.R. Goodearl, with the ultimate goal of obtaining such bases by computational routines. Our first step is to establish the Dixmier test, based on a lemma by J. Dixmier and the choice of a suitable filtration, to give necessary conditions for an operator $M$ to be in the centralizer of $L$. Whenever the centralizer equals the algebra generated by $L$ and $M$, we call $L$, $M$ a Burchnall-Chaundy (BC) pair. A construction of BC pairs is presented for operators of order $4$ in the first Weyl algebra. Moreover, for true rank $r$ pairs, by means of differential subresultants, we effectively compute the fiber of the rank $r$ spectral sheaf over their spectral curve.
△ Less
Submitted 3 January, 2020; v1 submitted 4 February, 2019;
originally announced February 2019.
-
Spectral Picard-Vessiot fields for Algebro-geometric Schrödinger operators
Authors:
Juan J. Morales-Ruiz,
Sonia L. Rueda,
Maria-Angeles Zurro
Abstract:
This work is a galoisian study of the spectral problem $LΨ=λΨ$, for algebro-geometric second order differential operators $L$, with coefficients in a differential field, whose field of constants $C$ is algebraically closed and of characteristic zero. Our approach regards the spectral parameter $λ$ an algebraic variable over $C$, forcing the consideration of a new field of coefficients for $L-λ$, w…
▽ More
This work is a galoisian study of the spectral problem $LΨ=λΨ$, for algebro-geometric second order differential operators $L$, with coefficients in a differential field, whose field of constants $C$ is algebraically closed and of characteristic zero. Our approach regards the spectral parameter $λ$ an algebraic variable over $C$, forcing the consideration of a new field of coefficients for $L-λ$, whose field of constants is the field $C(Γ)$ of the spectral curve $Γ$. Since $C(Γ)$ is no longer algebraically closed, the need arises of a new algebraic structure, generated by the solutions of the spectral problem over $Γ$, called "Spectral Picard-Vessiot field" of $L-λ$. An existence theorem is proved using differential algebra, allowing to recover classical Picard-Vessiot theory for each $ λ= λ_0 $. For rational spectral curves, the appropriate algebraic setting is established to solve $LΨ=λΨ$ analitically and to use symbolic integration. We illustrate our results for Rosen-Morse solitons.
△ Less
Submitted 9 February, 2021; v1 submitted 1 August, 2017;
originally announced August 2017.
-
Differential elimination by differential specialization of Sylvester style matrices
Authors:
Sonia L. Rueda
Abstract:
Differential resultant formulas are defined, for a system $\mathcal{P}$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials obtained from $\mathcal{P}$ through derivations and multiplications by Laurent monomials. To start, through derivations, a system $ps(\mathcal{P})$ of $L$ polynom…
▽ More
Differential resultant formulas are defined, for a system $\mathcal{P}$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials obtained from $\mathcal{P}$ through derivations and multiplications by Laurent monomials. To start, through derivations, a system $ps(\mathcal{P})$ of $L$ polynomials in $L-1$ algebraic variables is obtained, which is non sparse in the order of derivation. This enables the use of existing formulas for the computation of algebraic resultants, of the multivariate sparse algebraic polynomials in $ps(\mathcal{P})$, to obtain polynomials in the differential elimination ideal generated by $\mathcal{P}$. The formulas obtained are multiples of the sparse differential resultant defined by Li, Yuan and Gao, and provide order and degree bounds in terms of mixed volumes in the generic case.
△ Less
Submitted 6 September, 2014; v1 submitted 8 October, 2013;
originally announced October 2013.
-
Rational Hausdorff Divisors: a New approach to the Approximate Parametrization of Curves
Authors:
Sonia L. Rueda,
Juana Sendra,
J. Rafael Sendra
Abstract:
In this paper we introduce the notion of rational Hausdorff divisor, we analyze the dimension and irreducibility of its associated linear system of curves, and we prove that all irreducible real curves belonging to the linear system are rational and are at finite Hausdorff distance among them. As a consequence, we provide a projective linear subspace where all (irreducible) elements are solutions…
▽ More
In this paper we introduce the notion of rational Hausdorff divisor, we analyze the dimension and irreducibility of its associated linear system of curves, and we prove that all irreducible real curves belonging to the linear system are rational and are at finite Hausdorff distance among them. As a consequence, we provide a projective linear subspace where all (irreducible) elements are solutions to the approximate parametrization problem for a given algebraic plane curve. Furthermore, we identify the linear system with a plane curve that is shown to be rational and we develop algorithms to parametrize it analyzing its fields of parametrization. Therefore, we present a generic answer to the approximate parametrization problem. In addition, we introduce the notion of Hausdorff curve, and we prove that every irreducible Hausdorff curve can always be parametrized with a generic rational parametrization having coefficients depending on as many parameters as the degree of the input curve.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
JPCam: A 1.2Gpixel camera for the J-PAS survey
Authors:
K. Taylor,
A. Marin-Franch,
R. Laporte,
F. G. Santoro,
L. Marrara,
J. Cepa,
A. J. Cenarro,
S. Chueca,
D. Cristobal-Hornillos,
A. Ederoclite,
N. Gruel,
M. Moles,
F. Rueda,
S. Rueda,
J. Varela,
A. Yanes,
N. Benitez,
R. Dupke,
A. Fernandez-Soto,
P. Jorden,
G. Lousberg,
A. Molino Benito,
I. Palmer,
C. Mendes de Oliveira,
L. Sodre Jr
Abstract:
JPCam is a 14-CCD mosaic camera, using the new e2v 9k-by-9k 10microm-pixel 16-channel detectors, to be deployed on a dedicated 2.55m wide-field telescope at the OAJ (Observatorio Astrofisico de Javalambre) in Aragon, Spain. The camera is designed to perform a Baryon Acoustic Oscillations (BAO) survey of the northern sky. The J-PAS survey strategy will use 54 relatively narrow-band (~13.8nm) filter…
▽ More
JPCam is a 14-CCD mosaic camera, using the new e2v 9k-by-9k 10microm-pixel 16-channel detectors, to be deployed on a dedicated 2.55m wide-field telescope at the OAJ (Observatorio Astrofisico de Javalambre) in Aragon, Spain. The camera is designed to perform a Baryon Acoustic Oscillations (BAO) survey of the northern sky. The J-PAS survey strategy will use 54 relatively narrow-band (~13.8nm) filters equi-spaced between 370 and 920nm plus 3 broad-band filters to achieve unprecedented photometric red-shift accuracies for faint galaxies over ~8000 square degrees of sky. The cryostat, detector mosaic and read electronics is being supplied by e2v under contract to J-PAS while the mechanical structure, housing the shutter and filter assembly, is being designed and constructed by a Brazilian consortium led by INPE (Instituto Nacional de Pesquisas Espaciais). Four sets of 14 filters are placed in the ambient environment, just above the dewar window but directly in line with the detectors, leading to a mosaic having ~10mm gaps between each CCD. The massive 500mm aperture shutter is expected to be supplied by the Argelander-Institut fur Astronomie, Bonn. We will present an overview of JPCam, from the filter configuration through to the CCD mosaic camera. A brief outline of the main J-PAS science projects will be included.
△ Less
Submitted 17 January, 2013;
originally announced January 2013.
-
Linear sparse differential resultant formulas
Authors:
Sonia L. Rueda
Abstract:
Let $\cP$ be a system of $n$ linear nonhomogeneous ordinary differential polynomials in a set $U$ of $n-1$ differential indeterminates. Differential resultant formulas are presented to eliminate the differential indeterminates in $U$ from $\cP$. These formulas are determinants of coefficient matrices of appropriate sets of derivatives of the differential polynomials in $\cP$, or in a linear pertur…
▽ More
Let $\cP$ be a system of $n$ linear nonhomogeneous ordinary differential polynomials in a set $U$ of $n-1$ differential indeterminates. Differential resultant formulas are presented to eliminate the differential indeterminates in $U$ from $\cP$. These formulas are determinants of coefficient matrices of appropriate sets of derivatives of the differential polynomials in $\cP$, or in a linear perturbation $\cP_{\varepsilon}$ of $\cP$. In particular, the formula $\dfres(\cP)$ is the determinant of a matrix $\cM(\cP)$ having no zero columns if the system $\cP$ is "super essential". As an application, if the system $\frak{P}$ is sparse generic, such formulas can be used to compute the differential resultant $\dres(\frak{P})$ introduced by Li, Gao and Yuan in (Proceedings of the ISSAC'2011).
△ Less
Submitted 27 July, 2012; v1 submitted 16 December, 2011;
originally announced December 2011.
-
Approximate Parametrization of Space Algebraic Curves
Authors:
Sonia L. Rueda,
Juana Sendra,
J. Rafael Sendra
Abstract:
Given a non-rational real space curve and a tolerance $ε>0$, we present an algorithm to approximately parametrize the curve. The algorithm checks whether a planar projection of the space curve is $ε$-rational and, in the affirmative case, generates a planar parametrization that is lifted to an space parametrization. This output rational space curve is of the same degree as the input curve, both ha…
▽ More
Given a non-rational real space curve and a tolerance $ε>0$, we present an algorithm to approximately parametrize the curve. The algorithm checks whether a planar projection of the space curve is $ε$-rational and, in the affirmative case, generates a planar parametrization that is lifted to an space parametrization. This output rational space curve is of the same degree as the input curve, both have the same structure at infinity, and the Hausdorff distance between them is always finite.
△ Less
Submitted 24 September, 2012; v1 submitted 8 July, 2011;
originally announced July 2011.
-
Parametrization of $ε$-rational curves: error analysis
Authors:
Sonia L. Rueda,
Juana Sendra
Abstract:
In [Computer Aided Geometric Design 27 (2010), 212-231] the authors present an algorithm to parametrize approximately $ε$-rational curves, and they show in 2 examples that the Hausdorff distance, w.r.t. to the Euclidean distance, between the input and output curves is small. In this paper, we analyze this distance for a whole family of curves randomly generated and we automatize the strategy used…
▽ More
In [Computer Aided Geometric Design 27 (2010), 212-231] the authors present an algorithm to parametrize approximately $ε$-rational curves, and they show in 2 examples that the Hausdorff distance, w.r.t. to the Euclidean distance, between the input and output curves is small. In this paper, we analyze this distance for a whole family of curves randomly generated and we automatize the strategy used in [Computer Aided Geometric Design 27 (2010), 212-231]. We find a reasonable upper bound of the Hausdorff distance between each input and output curve of the family.
△ Less
Submitted 13 April, 2010;
originally announced April 2010.
-
A perturbed differential resultant based implicitization algorithm for linear DPPEs
Authors:
Sonia L. Rueda
Abstract:
Let $\bbK$ be an ordinary differential field with derivation $\partial$. Let $\cP$ be a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters with implicit ideal $\id$. Given a nonzero linear differential polynomial $A$ in $\id$ we give necessary and sufficient conditions on $A$ for $\cP$ to be $n-1$ dimensional. We prove the existence of a linear pertu…
▽ More
Let $\bbK$ be an ordinary differential field with derivation $\partial$. Let $\cP$ be a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters with implicit ideal $\id$. Given a nonzero linear differential polynomial $A$ in $\id$ we give necessary and sufficient conditions on $A$ for $\cP$ to be $n-1$ dimensional. We prove the existence of a linear perturbation $\cP_φ$ of $\cP$ so that the linear complete differential resultant $\dcres_φ$ associated to $\cP_φ$ is nonzero. A nonzero linear differential polynomial in $\id$ is obtained from the lowest degree term of $\dcres_φ$ and used to provide an implicitization algorithm for $\cP$.
△ Less
Submitted 23 March, 2010;
originally announced March 2010.
-
Approximate Parametrization of Plane Algebraic Curves by Linear Systems of Curves
Authors:
Sonia Perez-Diaz,
Sonia L. Rueda,
Juana Sendra,
J. Rafael Sendra
Abstract:
It is well known that an irreducible algebraic curve is rational (i.e. parametric) if and only if its genus is zero. In this paper, given a tolerance $ε>0$ and an $ε$-irreducible algebraic affine plane curve $\mathcal C$ of proper degree $d$, we introduce the notion of $ε$-rationality, and we provide an algorithm to parametrize approximately affine $ε$-rational plane curves, without exact singul…
▽ More
It is well known that an irreducible algebraic curve is rational (i.e. parametric) if and only if its genus is zero. In this paper, given a tolerance $ε>0$ and an $ε$-irreducible algebraic affine plane curve $\mathcal C$ of proper degree $d$, we introduce the notion of $ε$-rationality, and we provide an algorithm to parametrize approximately affine $ε$-rational plane curves, without exact singularities at infinity, by means of linear systems of $(d-2)$-degree curves. The algorithm outputs a rational parametrization of a rational curve $\bar{\mathcal C}$ of degree at most $d$ which has the same points at infinity as $\mathcal C$. Moreover, although we do not provide a theoretical analysis, our empirical analysis shows that $\bar{\mathcal C}$ and $\mathcal C$ are close in practice.
△ Less
Submitted 3 January, 2009;
originally announced January 2009.
-
Linear Complete Differential Resultants and the Implicitization of Linear DPPEs
Authors:
Sonia L. Rueda,
J. Rafael Sendra
Abstract:
The linear complete differential resultant of a finite set of linear ordinary differential polynomials is defined. We study the computation by linear complete differential resultants of the implicit equation of a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters. We give necessary conditions to ensure properness of the system of differential polyn…
▽ More
The linear complete differential resultant of a finite set of linear ordinary differential polynomials is defined. We study the computation by linear complete differential resultants of the implicit equation of a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters. We give necessary conditions to ensure properness of the system of differential polynomial parametric equations.
△ Less
Submitted 11 July, 2008; v1 submitted 5 December, 2007;
originally announced December 2007.
-
On the computation of graded components of Laurent polynomial rings
Authors:
Sonia L. Rueda
Abstract:
In this paper, we present several algorithms for dealing with graded components of Laurent polynomial rings. To be more precise, let $S$ be the Laurent polynomial ring $k[x_1,...,x_{r},x_{r+1}^{\pm 1},..., x_n^{\pm 1}]$, $k$ algebraicaly closed field of characteristic 0. We define the multigrading of $S$ by an arbitrary finitely generated abelian group $A$. We construct a set of fans compatible…
▽ More
In this paper, we present several algorithms for dealing with graded components of Laurent polynomial rings. To be more precise, let $S$ be the Laurent polynomial ring $k[x_1,...,x_{r},x_{r+1}^{\pm 1},..., x_n^{\pm 1}]$, $k$ algebraicaly closed field of characteristic 0. We define the multigrading of $S$ by an arbitrary finitely generated abelian group $A$. We construct a set of fans compatible with the multigrading and use this fans to compute the graded components of $S$ using polytopes. We give an algorithm to check whether the graded components of $S$ are finite dimensional. Regardless of the dimension, we determine a finite set of generators of each graded component as a module over the component of homogeneous polynomials of degree 0.
△ Less
Submitted 21 May, 2006;
originally announced May 2006.
-
Finite dimensional representations of invariant differential operators
Authors:
Ian M. Musson,
Sonia L. Rueda
Abstract:
Let $k$ be an algebraically closed field of characteristic 0, $Y=k^{r}\times {(k^{\times})}^{s}$ and let $G$ be an algebraic torus acting diagonally on the ring of differential operators $\cD (Y)^G$. We give necessary and sufficient conditions for $\cD (Y)^G$ to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimen…
▽ More
Let $k$ be an algebraically closed field of characteristic 0, $Y=k^{r}\times {(k^{\times})}^{s}$ and let $G$ be an algebraic torus acting diagonally on the ring of differential operators $\cD (Y)^G$. We give necessary and sufficient conditions for $\cD (Y)^G$ to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimensional representations is zero. As an application we show that if $K\longrightarrow GL(V)$ is a representation of a reductive group $K$ and if zero is not a weight of a maximal torus of $K$ on $V$, then $\cD (V)^K$ has enough finite dimensional representations. We also construct examples of FCR- algebras with any GK dimension $\geq 3$.
△ Less
Submitted 19 May, 2003;
originally announced May 2003.