-
Probability of Collision with Tethered Spacecraft
Authors:
Yema Paul,
Emmanuel Delande,
Francois Vinet,
Francois Laporte,
Manuel Sanjurjo-Rivo,
Aldo Tonnini,
Joan-Pau Sanchez
Abstract:
This Engineering Note addresses the challenge of estimating the probability of collision for tethered spacecraft during close encounters with other space objects. Standard probability of collision methods, based on spherical hard-body assumptions, tend to be overly conservative when applied to long tether systems. We introduce a method that accounts for the tether's spatial extent and configuratio…
▽ More
This Engineering Note addresses the challenge of estimating the probability of collision for tethered spacecraft during close encounters with other space objects. Standard probability of collision methods, based on spherical hard-body assumptions, tend to be overly conservative when applied to long tether systems. We introduce a method that accounts for the tether's spatial extent and configuration uncertainty by maximizing the probability of collision over all physically admissible tether shapes. Applied to real-world conjunction events involving a kilometer-scale flexible inextensible tether, the method yields more realistic risk estimates. This approach improves the ability to distinguish hazardous from benign encounters, thereby supporting more informed collision avoidance decisions.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Explicit Families of Spinor Representations
Authors:
Jesus Sanchez Jr
Abstract:
We provide a recipe for building explicit representations of the real Clifford algebras once an explicit family is given in dimensions $1$ through $4$. We further give an explicit construction of spin coordinate systems for a given real spinor module and use it to explicitly compute the parallel transport of spinor fields. We further highlight some novelties such as the relationship with the spect…
▽ More
We provide a recipe for building explicit representations of the real Clifford algebras once an explicit family is given in dimensions $1$ through $4$. We further give an explicit construction of spin coordinate systems for a given real spinor module and use it to explicitly compute the parallel transport of spinor fields. We further highlight some novelties such as the relationship with the spectrum of the spinor Dirac operator and the Hodge de Rham operator when a parallel spinor field exists and a brief discussion of spinors along a hypersurface in $\bR^4$. Lastly, we extend our construction to arbitrary signature quadratic forms thus providing a complete and explicit family of spinor representations for all mixed signature Clifford algberas. We show that in all cases the spinor representations can be expressed as tensor products of multi-vectors over the fields $\bR$, $\bC$, and $\bH$.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
A k-Hessian equation with a power nonlinearity source and self-similarity
Authors:
Justino Sánchez
Abstract:
We study existence and uniqueness of spherically symmetric solutions of S_k(D^2v)+beta xi\cdot\nabla v+αv+\abs{v}^{q-1}v=0 in R^n, where α,βare real parameters, n>2,\, q>k\geq 1 and S_k(D^2v) stands for the k-Hessian operator of v. Our results are based mainly on the analysis of an associated dynamical system and energy methods. We derive some properties of the solutions of the above equation for…
▽ More
We study existence and uniqueness of spherically symmetric solutions of S_k(D^2v)+beta xi\cdot\nabla v+αv+\abs{v}^{q-1}v=0 in R^n, where α,βare real parameters, n>2,\, q>k\geq 1 and S_k(D^2v) stands for the k-Hessian operator of v. Our results are based mainly on the analysis of an associated dynamical system and energy methods. We derive some properties of the solutions of the above equation for different ranges of the parameters αand β. In particular, we describe with precision its asymptotic behavior at infinity. Further, according to the position of q with respect to the first critical exponent \frac{(n+2)k}{n} and the Tso critical exponent \frac{(n+2)k}{n-2k} we study the existence of three classes of solutions: crossing, slow decay or fast decay solutions. In particular, if k>1 all the fast decay solutions have a compact support in R^n. The results also apply to construct self-similar solutions of type I to a related nonlinear evolution equation. These are self-similar functions of the form u(t,x)=t^{-α}v(xt^{-β}) with suitable αand β.
△ Less
Submitted 5 March, 2025;
originally announced March 2025.
-
Algebraic aspects of general free skew extensions of rings
Authors:
Vitor O. Ferreira,
Érica Z. Fornaroli,
Javier Sánchez
Abstract:
We consider skew free extensions of rings, also known as free multivariate skew polynomial rings, and explore some of the algebraic aspects of this construction. We give different characterizations of such rings and present conditions for such a ring to be a domain, to be embeddable in a series ring and to be prime.
We consider skew free extensions of rings, also known as free multivariate skew polynomial rings, and explore some of the algebraic aspects of this construction. We give different characterizations of such rings and present conditions for such a ring to be a domain, to be embeddable in a series ring and to be prime.
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
Birational geometry of blowups via Weyl chamber decompositions and actions on curves
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving cu…
▽ More
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving curve class; moreover, if $s\ge n+3$, for any fixed $r$ all these curve classes belong to the same orbit for the Weyl action.
For Mori dream spaces of type $X^n_s$, all such orbits are finite and they allow to reinterpret Mukai's description of the Mori chamber decomposition of the effective cone in terms of $(n-r)$-moving curve classes, unifying previous different approaches.
If $X^n_s$ is not a Mori dream space, there are infinitely many Weyl $r$-planes. These yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors. We pose the question as to whether the nef chamber decomposition can be defined (in the negative part of $\overline{\mathrm{Eff}}(X^n_s)$) and, if this is the case, whether it coincides with the Weyl chamber decomposition. We conjecture that the answer is affirmative for $X^3_8$ and $X^5_9$.
△ Less
Submitted 11 May, 2025; v1 submitted 23 October, 2024;
originally announced October 2024.
-
Classification of $4$-dimensional complex Poisson algebras
Authors:
Hani Abdelwahab,
Elisabete Barreiro,
José María Sánchez
Abstract:
The present paper is devoted to the complete classification of $4$-dimensional complex Poisson algebras, taking into account a classification, up to isomorphism, of the complex commutative associative algebras of dimension $4$, as well as by using a Lie algebra classification, up to isomorphism.
The present paper is devoted to the complete classification of $4$-dimensional complex Poisson algebras, taking into account a classification, up to isomorphism, of the complex commutative associative algebras of dimension $4$, as well as by using a Lie algebra classification, up to isomorphism.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
The Stochastic Gause predator-prey model: noise-induced extinctions and invariance
Authors:
Leon Alexander Valencia,
Ph. D,
Jorge Mario Ramirez Osorio,
Jorge Andres Sanchez
Abstract:
This paper explores a stochastic Gause predator-prey model with bounded or sub-linear functional response. The model, described by a system of stochastic differential equations, captures the influence of stochastic fluctuations on predator-prey dynamics, with particular focus on the stability, extinction, and persistence of populations. We provide sufficient conditions for the existence and bounde…
▽ More
This paper explores a stochastic Gause predator-prey model with bounded or sub-linear functional response. The model, described by a system of stochastic differential equations, captures the influence of stochastic fluctuations on predator-prey dynamics, with particular focus on the stability, extinction, and persistence of populations. We provide sufficient conditions for the existence and boundedness of solutions, analyze noise-induced extinction events, and investigate the existence of unique stationary distributions for the case of Holing Type I functional response. Our analysis highlights the critical role of noise in determining long-term ecological outcomes, demonstrating that even in cases where deterministic models predict stable coexistence, stochastic noise can drive populations to extinction or alter the system's dynamics significantly.
△ Less
Submitted 8 September, 2024;
originally announced September 2024.
-
Groupoid Graded Semisimple Rings
Authors:
Zaqueu Cristiano,
Wellington Marques de Souza,
Javier Sánchez
Abstract:
We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $Γ_0$-artinian. One of our main results is a groupoid graded version of the Wedderburn-Artin Theorem, where we characterize groupoid graded semisimple rings as direct sums of graded…
▽ More
We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $Γ_0$-artinian. One of our main results is a groupoid graded version of the Wedderburn-Artin Theorem, where we characterize groupoid graded semisimple rings as direct sums of graded simple $Γ_0$-artinian rings and we exhibit the structure of this latter class of rings. In this direction, we also prove a groupoid graded version of Jacobson-Chevalley density theorem. We need to define and study properties of groupoid gradings on matrix rings (possibly of infinite size) over groupoid graded rings, and specially over groupoid graded division rings. Because of that, we study groupoid graded division rings and their graded modules. We consider a natural notion of freeness for groupoid graded modules that, when specialized to group graded rings, gives the usual one, and show that for a groupoid graded division ring all graded modules are free (in this sense). Contrary to the group graded case, there are groupoid graded rings for which all graded modules are free according to our definition, but they are not graded division rings. We exhibit an easy example of this kind of rings and characterize such class among groupoid graded semisimple rings. We also relate groupoid graded semisimple rings with the notion of semisimple category defined by B. Mitchell. For that, we show the link between functors from a preadditive category to abelian groups and graded modules over the groupoid graded ring associated to this category, generalizing a result of P. Gabriel. We characterize simple artinian categories and categories for which every functor from them to abelian groups is free in the sense of B. Mitchell.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Exterior boundary-value Poincare problem for elliptic systems of the second order with two independent variables
Authors:
F. Criado-Aldeanueva,
N. Odishelidze,
J. M. Sanchez,
M. Khachidze
Abstract:
This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills condition (3), do not always cause the normal solvability of formulated exterior elliptic problems in the sense of Noether. Nevertheless, from the system of differential equatio…
▽ More
This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills condition (3), do not always cause the normal solvability of formulated exterior elliptic problems in the sense of Noether. Nevertheless, from the system of differential equations with partial derivatives of elliptic type it is possible to choose, under certain additional conditions, classes which are normally solvable in the sense of Noether. This paper also shows that for the so-called decomposed system of differential equations, with partial derivatives of an elliptic type in the case of exterior regions, the Noether theorems are valid.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
The Numerical Solution of the External Dirichlet Generalized Harmonic Problem for a Sphere by the Method of Probabilistic Solution
Authors:
Mamuli Zakradze,
Zaza Tabagari,
Nana Koblishvili,
Tinatin Davitashvili,
Jose Maria Sanchez,
Francisco Criado-Aldeanueva
Abstract:
In the present paper, an algorithm for the numerical solution of the external Dirichlet generalized harmonic problem for a sphere by the method of probabilistic solution (MPS) is given, where generalized indicates that a boundary function has a finite number of first kind discontinuity curves. The algorithm consists of the following main stages: (1) the transition from an infinite domain to a fini…
▽ More
In the present paper, an algorithm for the numerical solution of the external Dirichlet generalized harmonic problem for a sphere by the method of probabilistic solution (MPS) is given, where generalized indicates that a boundary function has a finite number of first kind discontinuity curves. The algorithm consists of the following main stages: (1) the transition from an infinite domain to a finite domain by an inversion; (2) the consideration of a new Dirichlet generalized harmonic problem on the basis of Kelvin theorem for the obtained finite domain; (3) the numerical solution of the new problem for the finite domain by the MPS, which in turn is based on a computer simulation of the Weiner process; (4) finding the probabilistic solution of the posed generalized problem at any fixed points of the infinite domain by the solution of the new problem. For illustration, numerical examples are considered and results are presented.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
On One Generalization of the Multipoint Nonlocal Contact Problem for Elliptic Equation in Rectangular Area
Authors:
Tinatin Davitashvili,
Hamlet Meladze,
Francisco Criado-Aldeanueva,
Jose Maria Sanchez
Abstract:
A nonlocal contact problem for two-dimensional linear elliptic equations is stated and investigated. The method of separation of variables is used to find the solution of a stated problem in case of Poisson's equation. Then the more general problem with nonlocal multipoint contact conditions for elliptic equation with variable coefficients is considered and the iterative method to solve the proble…
▽ More
A nonlocal contact problem for two-dimensional linear elliptic equations is stated and investigated. The method of separation of variables is used to find the solution of a stated problem in case of Poisson's equation. Then the more general problem with nonlocal multipoint contact conditions for elliptic equation with variable coefficients is considered and the iterative method to solve the problem numerically is constructed and investigated. The uniqueness and existence of the regular solution is proved. The iterative method allows to reduce the solution of a nonlocal contact problem to the solution of a sequence of classical boundary value problems.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Modules over linear spaces admitting a multiplicative basis
Authors:
Antonio J. Calderón,
Francisco J. Navarro Izquierdo,
José M. Sánchez
Abstract:
We study the structure of certain modules $V$ over linear spaces $W$ with restrictions neither on the dimensions nor on the base field $\mathbb F$. A basis $\mathfrak B = \{v_i\}_{i\in I}$ of $V$ is called multiplicative respect to the basis $\mathfrak B' = \{w_j\}_{j \in J}$ of $W$ if for any $i \in I, j \in J$ we have either $v_iw_j = 0$ or $0 \neq v_iw_j \in \mathbb Fv_k$ for some $k \in I$. We…
▽ More
We study the structure of certain modules $V$ over linear spaces $W$ with restrictions neither on the dimensions nor on the base field $\mathbb F$. A basis $\mathfrak B = \{v_i\}_{i\in I}$ of $V$ is called multiplicative respect to the basis $\mathfrak B' = \{w_j\}_{j \in J}$ of $W$ if for any $i \in I, j \in J$ we have either $v_iw_j = 0$ or $0 \neq v_iw_j \in \mathbb Fv_k$ for some $k \in I$. We show that if $V$ admits a multiplicative basis then it decomposes as the direct sum $V=\bigoplus_k V_k$ of well-described submodules admitting each one a multiplicative basis. Also the minimality of $V$ is characterized in terms of the multiplicative basis and it is shown that the above direct sum is by means of the family of its minimal submodules, admitting each one a multiplicative basis.
△ Less
Submitted 23 January, 2024;
originally announced March 2024.
-
On the structure of graded Lie superalgebras
Authors:
Antonio J. Calderón,
José M. Sanchez
Abstract:
We study the structure of graded Lie superalgebras with arbitrary dimension and over an arbitrary field ${\mathbb K}$. We show that any of such algebras ${\mathfrak L}$ with a symmetric $G$-support is of the form ${\mathfrak L} = U + \sum\limits_{j}I_{j}$ with $U$ a subspace of ${\mathfrak L}_1$ and any $I_{j}$ a well described graded ideal of ${\mathfrak L}$, satisfying $[I_j,I_k] = 0$ if…
▽ More
We study the structure of graded Lie superalgebras with arbitrary dimension and over an arbitrary field ${\mathbb K}$. We show that any of such algebras ${\mathfrak L}$ with a symmetric $G$-support is of the form ${\mathfrak L} = U + \sum\limits_{j}I_{j}$ with $U$ a subspace of ${\mathfrak L}_1$ and any $I_{j}$ a well described graded ideal of ${\mathfrak L}$, satisfying $[I_j,I_k] = 0$ if $j\neq k$. Under certain conditions, it is shown that ${\mathfrak L} = (\bigoplus\limits_{k \in K} I_k) \oplus (\bigoplus\limits_{q \in Q} I_q),$ where any $I_k$ is a gr-simple graded ideal of ${\mathfrak L}$ and any $I_q$ a completely determined low dimensional non gr-simple graded ideal of ${\mathfrak L}$, satisfying $[I_q,I_{q'}] = 0$ for any $q'\in Q$ with $q \neq q'$.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Zero-shot Imputation with Foundation Inference Models for Dynamical Systems
Authors:
Patrick Seifner,
Kostadin Cvejoski,
Antonia Körner,
Ramsés J. Sánchez
Abstract:
Dynamical systems governed by ordinary differential equations (ODEs) serve as models for a vast number of natural and social phenomena. In this work, we offer a fresh perspective on the classical problem of imputing missing time series data, whose underlying dynamics are assumed to be determined by ODEs. Specifically, we revisit ideas from amortized inference and neural operators, and propose a no…
▽ More
Dynamical systems governed by ordinary differential equations (ODEs) serve as models for a vast number of natural and social phenomena. In this work, we offer a fresh perspective on the classical problem of imputing missing time series data, whose underlying dynamics are assumed to be determined by ODEs. Specifically, we revisit ideas from amortized inference and neural operators, and propose a novel supervised learning framework for zero-shot time series imputation, through parametric functions satisfying some (hidden) ODEs. Our proposal consists of two components. First, a broad probability distribution over the space of ODE solutions, observation times and noise mechanisms, with which we generate a large, synthetic dataset of (hidden) ODE solutions, along with their noisy and sparse observations. Second, a neural recognition model that is trained offline, to map the generated time series onto the spaces of initial conditions and time derivatives of the (hidden) ODE solutions, which we then integrate to impute the missing data. We empirically demonstrate that one and the same (pretrained) recognition model can perform zero-shot imputation across 63 distinct time series with missing values, each sampled from widely different dynamical systems. Likewise, we demonstrate that it can perform zero-shot imputation of missing high-dimensional data in 10 vastly different settings, spanning human motion, air quality, traffic and electricity studies, as well as Navier-Stokes simulations -- without requiring any fine-tuning. What is more, our proposal often outperforms state-of-the-art methods, which are trained on the target datasets.
Our pretrained model, repository and tutorials are available online.
△ Less
Submitted 14 March, 2025; v1 submitted 12 February, 2024;
originally announced February 2024.
-
A characterisation of Euclidean normed planes via bisectors
Authors:
Javier Cabello Sánchez,
Adrián Gordillo-Merino
Abstract:
Our main result states that whenever we have a non-Euclidean norm $\|\cdot\|$ on a two-dimensional vector space $X$, there exists some $x\neq 0$ such that for every $λ\neq 1, λ>0$, there exist $y, z\in X$ verifying that $\|y\|=λ\|x\|$, $z\neq 0$, and $z$ belongs to the bisectors $B(-x,x)$ and $B(-y,y)$. Throughout this paper we also state and prove some other simple but maybe useful results about…
▽ More
Our main result states that whenever we have a non-Euclidean norm $\|\cdot\|$ on a two-dimensional vector space $X$, there exists some $x\neq 0$ such that for every $λ\neq 1, λ>0$, there exist $y, z\in X$ verifying that $\|y\|=λ\|x\|$, $z\neq 0$, and $z$ belongs to the bisectors $B(-x,x)$ and $B(-y,y)$. Throughout this paper we also state and prove some other simple but maybe useful results about the geometry of the unit sphere of strictly convex planes.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
TAC Method for Fitting Exponential Autoregressive Models and Others: Applications in Economy and Finance
Authors:
Javier Cabello Sánchez,
Juan Antonio Fernández Torvisco,
Mariano R. Arias
Abstract:
There are a couple of purposes in this paper: to study a problem of approximation with exponential functions and to show its relevance for the economic science. We present results that completely solve the problem of the best approximation by means of exponential functions and we will be able to determine what kind of data is suitable to be fitted. Data will be approximated using TAC (implemented…
▽ More
There are a couple of purposes in this paper: to study a problem of approximation with exponential functions and to show its relevance for the economic science. We present results that completely solve the problem of the best approximation by means of exponential functions and we will be able to determine what kind of data is suitable to be fitted. Data will be approximated using TAC (implemented in the R-package nlstac), a numerical algorithm for fitting data by exponential patterns without initial guess designed by the authors. We check one more time the robustness of this algorithm by successfully applying it to two very distant areas of economy: demand curves and nonlinear time series. This shows TAC's utility and highlights how far this algorithm could be used.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
nlstac: Non-Gradient Separable Nonlinear Least Squares Fitting
Authors:
J. A. F. Torvisco,
R. Benítez,
M. R. Arias,
J. Cabello Sánchez
Abstract:
A new package for nonlinear least squares fitting is introduced in this paper. This package implements a recently developed algorithm that, for certain types of nonlinear curve fitting, reduces the number of nonlinear parameters to be fitted. One notable feature of this method is the absence of initialization which is typically necessary for nonlinear fitting gradient-based algorithms. Instead, ju…
▽ More
A new package for nonlinear least squares fitting is introduced in this paper. This package implements a recently developed algorithm that, for certain types of nonlinear curve fitting, reduces the number of nonlinear parameters to be fitted. One notable feature of this method is the absence of initialization which is typically necessary for nonlinear fitting gradient-based algorithms. Instead, just some bounds for the nonlinear parameters are required. Even though convergence for this method is guaranteed for exponential decay using the max-norm, the algorithm exhibits remarkable robustness, and its use has been extended to a wide range of functions using the Euclidean norm. Furthermore, this data-fitting package can also serve as a valuable resource for providing accurate initial parameters to other algorithms that rely on them.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
A natural correspondence between quasiconcave functions and fuzzy norms
Authors:
Javier Cabello Sánchez,
Daniel Morales González
Abstract:
In this note we show that the usual notion of fuzzy norm defined on a linear space is equivalent to that of quasiconcave function, in the sense that every fuzzy norm $N:X\times\mathbb{R}[0,1]$ defined on a (real or complex) linear space X is uniquely determined by a quasiconcave function $f:X\to[0, 1]$. We explore the minimum requirements that we need to impose to some quasiconcave function…
▽ More
In this note we show that the usual notion of fuzzy norm defined on a linear space is equivalent to that of quasiconcave function, in the sense that every fuzzy norm $N:X\times\mathbb{R}[0,1]$ defined on a (real or complex) linear space X is uniquely determined by a quasiconcave function $f:X\to[0, 1]$. We explore the minimum requirements that we need to impose to some quasiconcave function $f:X\to[0, 1]$ in order to define a fuzzy norm $N:X\times\mathbb{R}[0,1]$. Later we use this equivalence to prove some properties of fuzzy norms, like a generalisation of the celebrated Decomposition Theorem.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Quadratic symplectic Lie superalgebras over filiform modules
Authors:
Elisabete Barreiro,
Saïd Benayadi,
Rosa M. Navarro,
José M. Sánchez
Abstract:
The present work studies deeply quadratic symplectic Lie superalgebras, obtaining, in particular, that they are all nilpotent. Consequently, we provide classifications in low dimensions and identify the double extensions that maintain symplectic structures. By means of both elementary odd double extensions and generalized double extensions of quadratic symplectic Lie superalgebras, we obtain an in…
▽ More
The present work studies deeply quadratic symplectic Lie superalgebras, obtaining, in particular, that they are all nilpotent. Consequently, we provide classifications in low dimensions and identify the double extensions that maintain symplectic structures. By means of both elementary odd double extensions and generalized double extensions of quadratic symplectic Lie superalgebras, we obtain an inductive description of quadratic symplectic Lie superalgebras of filiform type.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
On split regular Hom-Lie superalgebras
Authors:
Helena Albuquerque,
Elisabete Barreiro,
Antonio J. Calderón,
José M. Sánchez
Abstract:
We introduce the class of split regular Hom-Lie superalgebras as the natural extension of the one of split Hom-Lie algebras and Lie superalgebras, and study its structure by showing that an arbitrary split regular Hom-Lie superalgebra ${\frak L}$ is of the form ${\frak L} = U + \sum_j I_j$ with $U$ a linear subspace of a maximal abelian graded subalgebra $H$ and any $I_j$ a well described (split)…
▽ More
We introduce the class of split regular Hom-Lie superalgebras as the natural extension of the one of split Hom-Lie algebras and Lie superalgebras, and study its structure by showing that an arbitrary split regular Hom-Lie superalgebra ${\frak L}$ is of the form ${\frak L} = U + \sum_j I_j$ with $U$ a linear subspace of a maximal abelian graded subalgebra $H$ and any $I_j$ a well described (split) ideal of ${\frak L}$ satisfying $[I_j,I_k] = 0$ if $j \neq k$. Under certain conditions, the simplicity of ${\frak L}$ is characterized and it is shown that ${\frak L}$ is the direct sum of the family of its simple ideals.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Leibniz algebras and graphs
Authors:
Elisabete Barreiro,
Antonio J. Calderón,
Samuel Lopes,
J. M. Sánchez
Abstract:
We consider a Leibniz algebra ${\mathfrak L} = {\mathfrak I} \oplus {\mathfrak V}$ over an arbitrary base field $\mathbb{F}$, being ${\mathfrak I}$ the ideal generated by the products $[x,x], x \in {\mathfrak L}$. This ideal has a fundamental role in the study presented in our paper. A basis $\B=\{v_i\}_{i \in I}$ of ${\mathfrak L}$ is called multiplicative if for any $i,j \in I$ we have that…
▽ More
We consider a Leibniz algebra ${\mathfrak L} = {\mathfrak I} \oplus {\mathfrak V}$ over an arbitrary base field $\mathbb{F}$, being ${\mathfrak I}$ the ideal generated by the products $[x,x], x \in {\mathfrak L}$. This ideal has a fundamental role in the study presented in our paper. A basis $\B=\{v_i\}_{i \in I}$ of ${\mathfrak L}$ is called multiplicative if for any $i,j \in I$ we have that $[v_i,v_j] \in {\mathbb F}v_k$ for some $k \in I$. We associate an adequate graph $Γ({\mathfrak L},\B)$ to ${\mathfrak L}$ relative to $\B$. By arguing on this graph we show that ${\mathfrak L}$ decomposes as a direct sum of ideals, each one being associated to one connected component of $Γ({\mathfrak L},\B)$. Also the minimality of ${\mathfrak L}$ and the division property of ${\mathfrak L}$ are characterized in terms of the weak symmetry of the defined subgraphs $Γ({\mathfrak L},\B_{\mathfrak I})$ and $Γ({\mathfrak L},\B_{\mathfrak V})$.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Odd-quadratic Lie superalgebras with a weak filiform module as an odd part
Authors:
Elisabete Barreiro,
Saïd Benayadi,
Rosa M. Navarro,
J. M. Sánchez
Abstract:
The aim of this work is to study a very special family of odd-quadratic Lie superalgebras ${\mathfrak g}={\mathfrak g}_{\bar 0}\oplus {\mathfrak g}_{\bar 1}$ such that ${\mathfrak g}_{\bar 1}$ is a weak filiform ${\mathfrak g}_{\bar 0}$-module (weak filiform type). We introduce this concept after having proved that the unique non-zero odd-quadratic Lie superalgebra $({\mathfrak g},B)$ with…
▽ More
The aim of this work is to study a very special family of odd-quadratic Lie superalgebras ${\mathfrak g}={\mathfrak g}_{\bar 0}\oplus {\mathfrak g}_{\bar 1}$ such that ${\mathfrak g}_{\bar 1}$ is a weak filiform ${\mathfrak g}_{\bar 0}$-module (weak filiform type). We introduce this concept after having proved that the unique non-zero odd-quadratic Lie superalgebra $({\mathfrak g},B)$ with ${\mathfrak g}_{\bar 1}$ a filiform ${\mathfrak g}_{\bar 0}$-module is the abelian $2$-dimensional Lie superalgebra ${\mathfrak g}={\mathfrak g}_{\bar 0} \oplus {\mathfrak g}_{\bar 1}$ such that $\mbox{\rm dim }{\mathfrak g}_{\bar 0}=\mbox{\rm dim }{\mathfrak g}_{\bar 1}=1$. Let us note that in this context the role of the center of ${\mathfrak g}$ is crucial. Thus, we obtain an inductive description of odd-quadratic Lie superalgebras of weak filiform type via generalized odd double extensions. Moreover, we obtain the classification, up to isomorphism, for the smallest possible dimensions, that is, six and eight.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
On naturally graded Lie and Leibniz superalgebras
Authors:
Luisa Camacho,
Rosa M. Navarro,
J. M. Sánchez
Abstract:
In general, the study of gradations has always represented a cornerstone in algebra theory. In particular, \textit{naturally graded} seems to be the first and the most relevant gradation when it comes to nilpotent algebras, a large class of solvable ones. In fact, many families of relevant solvable algebras have been obtained by extensions of naturally graded nilpotent algebras, i.e. solvable alge…
▽ More
In general, the study of gradations has always represented a cornerstone in algebra theory. In particular, \textit{naturally graded} seems to be the first and the most relevant gradation when it comes to nilpotent algebras, a large class of solvable ones. In fact, many families of relevant solvable algebras have been obtained by extensions of naturally graded nilpotent algebras, i.e. solvable algebras with a well-structured nilradical. Thus, the aim of this work is introducing the concept of naturally graded for superalgebra structures such as Lie and (non-Lie) Leibniz. After having defined naturally graded Lie and Leibniz superalgebras, we characterize natural gradations on a very important class of each of them, that is, those with maximal super-nilindex.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Decompositions of linear operators on pre-euclidean spaces by means of graphs
Authors:
Hani Abdelwahab,
Elisabete Barreiro,
Antonio J. Calderón,
José M. Sánchez
Abstract:
In this work we study a linear operator $f$ on a pre-euclidean space $\mathcal{V}$ by using properties of a corresponding graph. Given a basis $\B$ of $\mathcal{V}$, we present a decomposition of $\mathcal{V}$ as an orthogonal direct sum of certain linear subspaces $\{U_i\}_{i \in I}$, each one admitting a basis inherited from $\B$, in such way that $f = \sum_{i \in I}f_i$, being each $f_i$ a line…
▽ More
In this work we study a linear operator $f$ on a pre-euclidean space $\mathcal{V}$ by using properties of a corresponding graph. Given a basis $\B$ of $\mathcal{V}$, we present a decomposition of $\mathcal{V}$ as an orthogonal direct sum of certain linear subspaces $\{U_i\}_{i \in I}$, each one admitting a basis inherited from $\B$, in such way that $f = \sum_{i \in I}f_i$, being each $f_i$ a linear operator satisfying certain conditions respect with $U_i$. Considering new hypothesis, we assure the existence of an isomorphism between the graphs associated to $f$ relative to two different bases. We also study the minimality of $\mathcal{V}$ by using the graph associated to $f$ relative to $\B$.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Weight modules over split Lie algebras
Authors:
Antonio J. Calderón,
José M. Sánchez
Abstract:
We study the structure of weight modules $V$ with restrictions neither on the dimension nor on the base field, over split Lie algebras $L$. We show that if $L$ is perfect and $V$ satisfies $LV=V$ and ${\mathcal Z}(V)=0$, then $$\hbox{$L =\bigoplus\limits_{i\in I} I_{i}$ and $V = \bigoplus\limits_{j \in J} V_{j}$}$$ with any $I_{i}$ an ideal of $L$ satisfying $[I_{i},I_{k}]=0$ if $i \neq k…
▽ More
We study the structure of weight modules $V$ with restrictions neither on the dimension nor on the base field, over split Lie algebras $L$. We show that if $L$ is perfect and $V$ satisfies $LV=V$ and ${\mathcal Z}(V)=0$, then $$\hbox{$L =\bigoplus\limits_{i\in I} I_{i}$ and $V = \bigoplus\limits_{j \in J} V_{j}$}$$ with any $I_{i}$ an ideal of $L$ satisfying $[I_{i},I_{k}]=0$ if $i \neq k$, and any $V_{j}$ a (weight) submodule of $V$ in such a way that for any $j \in J$ there exists a unique $i \in I$ such that $I_iV_j \neq 0,$ being $V_j$ a weight module over $I_i$. Under certain conditions, it is shown that the above decomposition of $V$ is by means of the family of its minimal submodules, each one being a simple (weight) submodule.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Graded pseudo-H-rings
Authors:
Antonio J. Calderón,
Antonio Díaz,
Marina Haralampidou,
José M. Sánchez
Abstract:
Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that it has the form $E = cl(U + \sum_j I_j)$ with $U$ a closed subspace of $E_1$ (the summand associated to the unit element in $G$), and any $I_j$ runs over a well…
▽ More
Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that it has the form $E = cl(U + \sum_j I_j)$ with $U$ a closed subspace of $E_1$ (the summand associated to the unit element in $G$), and any $I_j$ runs over a well described closed graded ideal of $E$, satisfying $I_jI_k = 0$ if $j \neq k$. We also give a context in which graded simplicity of $E$ is characterized. Moreover, the second Wedderburn-type theorem is given for certain graded pseudo-$H$-rings.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
On split Leibniz superalgebras
Authors:
Antonio J. Calderón,
José M. Sánchez
Abstract:
We study the structure of arbitrary split Leibniz superalgebras. We show that any of such superalgebras ${\frak L}$ is of the form ${\frak L} = {\mathcal U} + \sum_jI_j$ with ${\mathcal U}$ a subspace of an abelian (graded) subalgebra $H$ and any $I_j$ a well described (graded) ideal of ${\frak L}$ satisfying $[I_j,I_k] = 0$ if $j \neq k$. In the case of ${\frak L}$ being of maximal length, the si…
▽ More
We study the structure of arbitrary split Leibniz superalgebras. We show that any of such superalgebras ${\frak L}$ is of the form ${\frak L} = {\mathcal U} + \sum_jI_j$ with ${\mathcal U}$ a subspace of an abelian (graded) subalgebra $H$ and any $I_j$ a well described (graded) ideal of ${\frak L}$ satisfying $[I_j,I_k] = 0$ if $j \neq k$. In the case of ${\frak L}$ being of maximal length, the simplicity of ${\frak L}$ is also characterized in terms of connections of roots.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
A greedy heuristic for graph burning
Authors:
Jesús García-Díaz,
José Alejandro Cornejo-Acosta,
Joel Trejo Sánchez
Abstract:
Given a graph $G$, the optimization version of the graph burning problem seeks for a sequence of vertices, $(u_1,u_2,...,u_p) \in V(G)^p$, with minimum $p$ and such that every $v \in V(G)$ has distance at most $p-i$ to some vertex $u_i$. The length $p$ of the optimal solution is known as the burning number and is denoted by $b(G)$, an invariant that helps quantify the graph's vulnerability to cont…
▽ More
Given a graph $G$, the optimization version of the graph burning problem seeks for a sequence of vertices, $(u_1,u_2,...,u_p) \in V(G)^p$, with minimum $p$ and such that every $v \in V(G)$ has distance at most $p-i$ to some vertex $u_i$. The length $p$ of the optimal solution is known as the burning number and is denoted by $b(G)$, an invariant that helps quantify the graph's vulnerability to contagion. This paper explores the advantages and limitations of an $\mathcal{O}(mn + pn^2)$ deterministic greedy heuristic for this problem, where $n$ is the graph's order, $m$ is the graph's size, and $p$ is a guess on $b(G)$. This heuristic is based on the relationship between the graph burning problem and the clustered maximum coverage problem, and despite having limitations on paths and cycles, it found most of the optimal and best-known solutions of benchmark and synthetic graphs with up to 102400 vertices. Beyond practical advantages, our work unveils some of the fundamental aspects of graph burning: its relationship with a generalization of a classical coverage problem and compact integer programs. With this knowledge, better algorithms might be designed in the future.
△ Less
Submitted 15 September, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
-
The Geometry of Mehlers Kernel
Authors:
Jesus Sanchez Jr
Abstract:
We study the relationship between the Getzler calculus of a spin Riemannian manifold and the Riemannian geometry of the corresponding principal spin bundle. We then use the calculus of Gaussian-Grassmann integrals developed by Berline--Vergne to compute the Getzler symbol of the spinor heat flow.
We study the relationship between the Getzler calculus of a spin Riemannian manifold and the Riemannian geometry of the corresponding principal spin bundle. We then use the calculus of Gaussian-Grassmann integrals developed by Berline--Vergne to compute the Getzler symbol of the spinor heat flow.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
On $p$-Frobenius of affine semigroups
Authors:
Evelia R. García Barroso,
Juan Ignacio García-García,
Luis José Santana Sánchez,
Alberto Vigneron-Tenorio
Abstract:
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Overcoming the Fear of the Dark: Occlusion-Aware Model-Predictive Planning for Automated Vehicles Using Risk Fields
Authors:
Chris van der Ploeg,
Truls Nyberg,
José Manuel Gaspar Sánchez,
Emilia Silvas,
Nathan van de Wouw
Abstract:
As vehicle automation advances, motion planning algorithms face escalating challenges in achieving safe and efficient navigation. Existing Advanced Driver Assistance Systems (ADAS) primarily focus on basic tasks, leaving unexpected scenarios for human intervention, which can be error-prone. Motion planning approaches for higher levels of automation in the state-of-the-art are primarily oriented to…
▽ More
As vehicle automation advances, motion planning algorithms face escalating challenges in achieving safe and efficient navigation. Existing Advanced Driver Assistance Systems (ADAS) primarily focus on basic tasks, leaving unexpected scenarios for human intervention, which can be error-prone. Motion planning approaches for higher levels of automation in the state-of-the-art are primarily oriented toward the use of risk- or anti-collision constraints, using over-approximates of the shapes and sizes of other road users to prevent collisions. These methods however suffer from conservative behavior and the risk of infeasibility in high-risk initial conditions. In contrast, our work introduces a novel multi-objective trajectory generation approach. We propose an innovative method for constructing risk fields that accommodates diverse entity shapes and sizes, which allows us to also account for the presence of potentially occluded objects. This methodology is integrated into an occlusion-aware trajectory generator, enabling dynamic and safe maneuvering through intricate environments while anticipating (potentially hidden) road users and traveling along the infrastructure toward a specific goal. Through theoretical underpinnings and simulations, we validate the effectiveness of our approach. This paper bridges crucial gaps in motion planning for automated vehicles, offering a pathway toward safer and more adaptable autonomous navigation in complex urban contexts.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
A fixed-point formula for Dirac operators on Lie groupoids
Authors:
Ahmad Reza Haj Saeedi Sadegh,
Shiqi Liu,
Yiannis Loizides,
Jesus Sanchez
Abstract:
We study equivariant families of Dirac operators on the source fibers of a Lie groupoid with a closed space of units and equipped with an action of an auxiliary compact Lie group. We use the Getzler rescaling method to derive a fixed-point formula for the pairing of a trace with the K-theory class of such a family. For the pair groupoid of a closed manifold, our formula reduces to the standard fix…
▽ More
We study equivariant families of Dirac operators on the source fibers of a Lie groupoid with a closed space of units and equipped with an action of an auxiliary compact Lie group. We use the Getzler rescaling method to derive a fixed-point formula for the pairing of a trace with the K-theory class of such a family. For the pair groupoid of a closed manifold, our formula reduces to the standard fixed-point formula for the equivariant index of a Dirac operator. Further examples involve foliations and manifolds equipped with a normal crossing divisor.
△ Less
Submitted 22 July, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Existence of solutions for a $k$-Hessian equation and its connection with self-similar solutions
Authors:
Justino Sánchez
Abstract:
Let $α,β$ be real parameters and let $a>0$. We study radially symmetric solutions of \begin{equation*} S_k(D^2v)+αv+βξ\cdot\nabla v=0,\, v>0\;\; \mbox{in}\;\; \mathbb{R}^n,\; v(0)=a, \end{equation*} where $S_k(D^2v)$ denotes the $k$-Hessian operator of $v$. For $α\leq\frac{β(n-2k)}{k}\;\;\mbox{and}\;\;β>0$, we prove the existence of a unique solution to this problem, without using the phase plane…
▽ More
Let $α,β$ be real parameters and let $a>0$. We study radially symmetric solutions of \begin{equation*} S_k(D^2v)+αv+βξ\cdot\nabla v=0,\, v>0\;\; \mbox{in}\;\; \mathbb{R}^n,\; v(0)=a, \end{equation*} where $S_k(D^2v)$ denotes the $k$-Hessian operator of $v$. For $α\leq\frac{β(n-2k)}{k}\;\;\mbox{and}\;\;β>0$, we prove the existence of a unique solution to this problem, without using the phase plane method. We also prove existence and properties of the solutions of the above equation for other ranges of the parameters $α$ and $β$. These results are then applied to construct different types of explicit solutions, in self-similar forms, to a related evolution equation. In particular, for the heat equation, we have found a new family of self-similar solutions of type II which blows up in finite time. These solutions are represented as a power series, called the Kummer function.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Duality and polyhedrality of cones for Mori dream spaces
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interes…
▽ More
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds.
△ Less
Submitted 21 February, 2025; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Chebyshev approximation of exponential data
Authors:
Mariano Rodríguez-Arias Fernández,
Javier Cabello Sánchez,
Juan Antonio Fernández Torvisco
Abstract:
In this paper we present an algorithm to fit data via exponentials when the error is measured using the max-norm. We prove the necesssary results to show that the algorithm will converge to the best approximation no matter the dataset.
In this paper we present an algorithm to fit data via exponentials when the error is measured using the max-norm. We prove the necesssary results to show that the algorithm will converge to the best approximation no matter the dataset.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
Efficient parallel optimization for approximating CAD curves featuring super-convergence
Authors:
Julia Docampo Sánchez
Abstract:
We present an efficient, parallel, constrained optimization technique for approximating CAD curves with super-convergent rates.
The optimization function is a disparity measure in terms of a piece-wise polynomial approximation and a curve re-parametrization.
The constrained problem solves the disparity functional fixing the mesh element interfaces.
We have numerical evidence that the constra…
▽ More
We present an efficient, parallel, constrained optimization technique for approximating CAD curves with super-convergent rates.
The optimization function is a disparity measure in terms of a piece-wise polynomial approximation and a curve re-parametrization.
The constrained problem solves the disparity functional fixing the mesh element interfaces.
We have numerical evidence that the constrained disparity preserves the original super-convergence: ${2p}$ order for planar curves and $\lfloor\frac 32(p-1)\rfloor + 2$ for 3D curves, $p$ being the mesh polynomial degree.
Our optimization scheme consists of a globalized Newton method with a nonmonotone line search, and a log barrier function preventing element inversion in the curve re-parameterization. Moreover, we introduce a \emph{Julia} interface to the EGADS geometry kernel and a parallel optimization algorithm. We test the potential of our curve mesh generation tool on a computer cluster using several aircraft CAD models. We conclude that the solver is well-suited for parallel computing, producing super-convergent approximations to CAD curves.
△ Less
Submitted 18 November, 2022;
originally announced December 2022.
-
Dynamics of the semigroup of contractive automorphisms of Banach spaces
Authors:
Félix Cabello Sánchez,
Javier Cabello Sánchez
Abstract:
Motivated by some recent twaddles on Mazur rotations problem, we study the "dynamics" of the semigroup of contractive automorphisms of Banach spaces, mostly in finite-dimensional spaces. We focus on the metric aspects of the "action" of such semigroups, the size of the orbits and semitransitivity properties, and their impact on the geometry of the unit ball of the underlying space.
Motivated by some recent twaddles on Mazur rotations problem, we study the "dynamics" of the semigroup of contractive automorphisms of Banach spaces, mostly in finite-dimensional spaces. We focus on the metric aspects of the "action" of such semigroups, the size of the orbits and semitransitivity properties, and their impact on the geometry of the unit ball of the underlying space.
△ Less
Submitted 10 September, 2022;
originally announced September 2022.
-
Conductors of Abhyankar-Moh semigroups of even degrees
Authors:
Evelia R. GarcÍa Barroso,
Juan Ignacio GarcÍa-GarcÍa,
Luis José Santana SÁnchez,
Alberto Vigneron-Tenorio
Abstract:
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyank…
▽ More
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyankar-Moh semigroups. They described such semigroups with the maximum conductor. In this paper we prove that all possible conductor values are achieved for the Abhyankar-Moh semigroups of even degree. Our proof is constructive, explicitly describing families that achieve a given value as its conductor.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
On Perrot's index cocycles
Authors:
Jonathan Block,
Nigel Higson,
Jesus Sanchez Jr
Abstract:
We shall present a simplified version of a construction due to Denis Perrot that recovers the Todd class of the complexified tangent bundle from a JLO-type cyclic cocycle. The construction takes place within an algebraic framework, rather than the customary functional-analytic framework for the JLO theory. The series expansion for the exponential function is used in place of the heat kernel from t…
▽ More
We shall present a simplified version of a construction due to Denis Perrot that recovers the Todd class of the complexified tangent bundle from a JLO-type cyclic cocycle. The construction takes place within an algebraic framework, rather than the customary functional-analytic framework for the JLO theory. The series expansion for the exponential function is used in place of the heat kernel from the functional-analytic theory; the Dirac operator chosen is far from elliptic; and a remarkable new trace discovered by Perrot replaces the operator trace. In its full form Perrot's theory constitutes a wholly new approach to index theory. The account presented here covers most but not all of this approach.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
Existence, multiplicity and classification results for solutions to $k$-Hessian equations with general weights
Authors:
João Marcos do Ó,
Justino Sánchez,
Evelina Shamarova
Abstract:
The aim of this paper is to study negative classical solutions to a $k$-Hessian equation involving a nonlinearity with a general weight \begin{equation} \label{Eq:Ma:0} \tag{$P$} \begin{cases} S_k(D^2u)= λρ(|x|) (1-u)^q &\mbox{in }\;\; B,\\ u=0 &\mbox{on }\partial B. \end{cases} \end{equation} Here, $B$ denotes the unit ball in $\mathbb R^n\!$, $n>2k$, $λ$ is a positive parameter and $q>k$ with…
▽ More
The aim of this paper is to study negative classical solutions to a $k$-Hessian equation involving a nonlinearity with a general weight \begin{equation} \label{Eq:Ma:0} \tag{$P$} \begin{cases} S_k(D^2u)= λρ(|x|) (1-u)^q &\mbox{in }\;\; B,\\ u=0 &\mbox{on }\partial B. \end{cases} \end{equation} Here, $B$ denotes the unit ball in $\mathbb R^n\!$, $n>2k$, $λ$ is a positive parameter and $q>k$ with $k\in \mathbb N$. The function $rρ'(r)/ρ(r)$ satisfies very general conditions in the radial direction $r=|x|$. We show the existence, nonexistence, and multiplicity of solutions to Problem \eqref{Eq:Ma:0}. The main technique used for the proofs is a phase-plane analysis related to a non-autonomous dynamical system associated to the equation in \eqref{Eq:Ma:0}. Further, using the aforementioned non-autonomous system, we give a comprehensive characterization of $P_2$-, $P_3^+$-, $P_4^+$-solutions to the related problem \begin{equation*} \begin{cases} S_k(D^2 w)= ρ(|x|) (-w)^q, \\ w<0, \end{cases} \end{equation*} given on the entire space $\mathbb R^n\!$. In particular, we describe new classes of solutions: fast decay $P^+_3$-solutions and $P_4^+$-solutions.
△ Less
Submitted 25 July, 2022; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Split Malcev-Poisson-Jordan algebras
Authors:
Elisabete Barreiro,
Jose M Sanchez
Abstract:
We introduce the class of split Malcev-Poisson-Jordan algebras as the natural extension of the one of split Malcev Poisson algebras, and therefore split (non-commutative) Poisson algebras. We show that a split Malcev-Poisson-Jordan algebra $P$ can be written as a direct sum $P = \oplus_{j \in J}I_j$ with any $I_j$ a non-zero ideal of $P$ in such a way that satisfies…
▽ More
We introduce the class of split Malcev-Poisson-Jordan algebras as the natural extension of the one of split Malcev Poisson algebras, and therefore split (non-commutative) Poisson algebras. We show that a split Malcev-Poisson-Jordan algebra $P$ can be written as a direct sum $P = \oplus_{j \in J}I_j$ with any $I_j$ a non-zero ideal of $P$ in such a way that satisfies $[I_{j_1},I_{j_2}] = I_{j_1} \circ I_{j_2} = 0$ for $j_1 \neq j_2.$ Under certain conditions, it is shown that the above decomposition of $P$ is by means of the family of its simple ideals.
△ Less
Submitted 11 June, 2022;
originally announced June 2022.
-
On linear systems with multiple points on a rational normal curve
Authors:
Antonio Laface,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varietie…
▽ More
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Hopf cocycles associated to pointed and copointed deformations over S3
Authors:
Agustin Garcia Iglesias,
Jose Ignacio Sanchez
Abstract:
We present an explicit description of the Hopf 2-cocycles involved in the classification of finite dimensional pointed and copointed Hopf algebras over the symmetric group on three letters. We determine which cocycles are exponentials of Hochschild 2-cocycles and which ones are pure.
We present an explicit description of the Hopf 2-cocycles involved in the classification of finite dimensional pointed and copointed Hopf algebras over the symmetric group on three letters. We determine which cocycles are exponentials of Hochschild 2-cocycles and which ones are pure.
△ Less
Submitted 12 June, 2024; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Manoeuvre detection in Low Earth Orbit with Radar Data
Authors:
Jose M. Montilla,
Julio C. Sanchez,
Rafael Vazquez,
Jorge Galan-Vioque,
Javier Rey Benayas,
Jan Siminski
Abstract:
This work outlines and assesses several methods for the detection of manoeuvres in Low Earth Orbit (LEO) from surveillance radar data. To be able to detect manoeuvres, the main starting assumption is that the object under analysis has an orbit known with a sufficient degree of precision. Based on the precise (a posteriori) orbit and radar data, several manoeuvre detection methods are presented; on…
▽ More
This work outlines and assesses several methods for the detection of manoeuvres in Low Earth Orbit (LEO) from surveillance radar data. To be able to detect manoeuvres, the main starting assumption is that the object under analysis has an orbit known with a sufficient degree of precision. Based on the precise (a posteriori) orbit and radar data, several manoeuvre detection methods are presented; one is based on unscented Kalman filtering, whereas two others algorithms are based on reachability analysis of the state, which correlates its prediction set with the next track from the radar. The filtering algorithm can be extended for several radar tracks, whereas the reachability-based methods are more precise in detecting manoeuvres. Then, to inherit the best properties of both classes of algorithms, a manoeuvre detection filter that combines both concepts is finally presented. Manoeuvre detection results are presented first for simulated scenarios -- for validation and calibration purposes -- and later for real data. Radar information comes from the Spanish Space Surveillance Radar (S3TSR), with real manoeuvre information and high-quality ephemerides. The results show promise, taking into account that a single surveillance radar is the only source of data, obtaining manoeuvre detection rates of more than 50% and false positive rates of less than 10%.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Graded Lie-Rinehart algebras
Authors:
Elisabete Barreiro,
Antonio J. Calderón,
Rosa M. Navarro,
José M. Sánchez
Abstract:
We introduce the class of graded Lie-Rinehart algebras as a natural generalization of the one of graded Lie algebras. For $G$ an abelian group, we show that if $L$ is a tight $G$-graded Lie-Rinehart algebra over an associative and commutative $G$-graded algebra $A$ then $L$ and $A$ decompose as the orthogonal direct sums $L = \bigoplus_{i \in I}I_i$ and $A = \bigoplus_{j \in J}A_j$, where any…
▽ More
We introduce the class of graded Lie-Rinehart algebras as a natural generalization of the one of graded Lie algebras. For $G$ an abelian group, we show that if $L$ is a tight $G$-graded Lie-Rinehart algebra over an associative and commutative $G$-graded algebra $A$ then $L$ and $A$ decompose as the orthogonal direct sums $L = \bigoplus_{i \in I}I_i$ and $A = \bigoplus_{j \in J}A_j$, where any $I_i$ is a non-zero ideal of $L$, any $A_j$ is a non-zero ideal of $A$, and both decompositions satisfy that for any $i \in I$ there exists a unique $j \in J$ such that $A_jI_i \neq 0$. Furthermore, any $I_i$ is a graded Lie-Rinehart algebra over $A_j$. Also, under mild conditions, it is shown that the above decompositions of $L$ and $A$ are by means of the family of their, respective, gr-simple ideals.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Some results for semi-stable radial solutions of $k$-Hessian equations
Authors:
Miguel Angel Navarro,
Justino Sanchez
Abstract:
We devote this paper to study semi-stable nonconstant radial solutions of $S_k(D^2u) = w(|x|)g(u)$ on the Euclidean space $R^n$. We establish pointwise estimates and necessary conditions for the existence of such solutions (not necessarily bounded) for this equation. For bounded solutions we estimate their asymptotic behavior at infinity. All the estimates are given in terms of the spatial dimensi…
▽ More
We devote this paper to study semi-stable nonconstant radial solutions of $S_k(D^2u) = w(|x|)g(u)$ on the Euclidean space $R^n$. We establish pointwise estimates and necessary conditions for the existence of such solutions (not necessarily bounded) for this equation. For bounded solutions we estimate their asymptotic behavior at infinity. All the estimates are given in terms of the spatial dimension $n$, the values of $k$ and the behavior at infinity of the growth rate function of $w$.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Existence and nonexistence of traveling waves for the Gross-Pitaevskii equation in tori
Authors:
Francisco Javier Martínez Sánchez,
David Ruiz
Abstract:
In this paper we consider traveling waves for the Gross-Pitaevskii equation which are T-periodic in each variable. We prove that if T is large enough, there exists a solution as a global minimizer of the corresponding action functional. In the subsonic case, we can use variational methods to prove the existence of a mountain-pass solution. Moreover, we show that for small T the problem admits only…
▽ More
In this paper we consider traveling waves for the Gross-Pitaevskii equation which are T-periodic in each variable. We prove that if T is large enough, there exists a solution as a global minimizer of the corresponding action functional. In the subsonic case, we can use variational methods to prove the existence of a mountain-pass solution. Moreover, we show that for small T the problem admits only constant solutions.
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
On the concept of non-ultrametric non-Archimedean analysis
Authors:
Javier Cabello Sánchez,
Francisco J. Carmona Fuertes
Abstract:
Given some non-Archimedean field $\mathbb{K}$ and some $\mathbb{K}$-linear space $X$, the usual way to define a norm over $X$ involves the {\em ultrametric inequality} $\|x+y\|\leq\max\{\|x\|,\|y\|\}$. In this note we will try to analyse the convenience of considering a wider variety of norms. The main result of the present note is a characterisation of the isometries between finite-dimensional li…
▽ More
Given some non-Archimedean field $\mathbb{K}$ and some $\mathbb{K}$-linear space $X$, the usual way to define a norm over $X$ involves the {\em ultrametric inequality} $\|x+y\|\leq\max\{\|x\|,\|y\|\}$. In this note we will try to analyse the convenience of considering a wider variety of norms. The main result of the present note is a characterisation of the isometries between finite-dimensional linear spaces over some valued field endowed with the norm $\|\,\cdot\,\|_1$, a result that can be seen as the closest to a Mazur--Ulam Theorem in non-Archimedean analysis.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
On the computation of Hopf 2-cocycles, with an example of diagonal type
Authors:
Agustín García Iglesias,
José Ignacio Sánchez
Abstract:
We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials.
As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles in…
▽ More
We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials.
As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{\text{-1}}}(\mathfrak{sl}_3)$. We show that these cocycles are generically pure, that is they are not cohomologous to exponentials of Hochschild 2-cocycles.
△ Less
Submitted 21 November, 2021; v1 submitted 25 August, 2021;
originally announced August 2021.
-
Isometries of ultrametric normed spaces
Authors:
Javier Cabello Sánchez,
José Navarro Garmendia
Abstract:
We show that the group of isometries of an ultrametric normed space can be seen as a kind of a fractal. Then, we apply this description to study ultrametric counterparts of some classical problems in Archimedean analysis, such as the so called Problème des rotations de Mazur or Tingley's problem.
In particular, it turns out that, in contrast with the case of real normed spaces, isometries betwee…
▽ More
We show that the group of isometries of an ultrametric normed space can be seen as a kind of a fractal. Then, we apply this description to study ultrametric counterparts of some classical problems in Archimedean analysis, such as the so called Problème des rotations de Mazur or Tingley's problem.
In particular, it turns out that, in contrast with the case of real normed spaces, isometries between ultrametric normed spaces can be very far from being linear.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.