-
On the bracket of integrable derivations
Authors:
Luis Narváez-Macarro,
María de la Paz Tirado Hernández
Abstract:
We prove that any multi-variate Hasse-Schmidt derivation can be decomposed in terms of substitution maps and uni-variate Hasse-Schmidt derivations. As a consequence we prove that the bracket of two $m$-integrable derivations is also $m$-integrable, for $m$ a positive integer or infinity.
We prove that any multi-variate Hasse-Schmidt derivation can be decomposed in terms of substitution maps and uni-variate Hasse-Schmidt derivations. As a consequence we prove that the bracket of two $m$-integrable derivations is also $m$-integrable, for $m$ a positive integer or infinity.
△ Less
Submitted 17 July, 2021; v1 submitted 25 December, 2019;
originally announced December 2019.
-
On the behavior of modules of $m$-integrable derivations in the sense of Hasse-Schmidt under base change
Authors:
María de la Paz Tirado Hernández
Abstract:
We study the behavior of modules of $m$-integrable derivations of a commutative finitely generated algebra in the sense of Hasse-Schmidt under base change. We focus on the case of separable ring extensions over a field of positive characteristic and on the case where the extension is a polynomial ring in an arbitrary number of variables.
We study the behavior of modules of $m$-integrable derivations of a commutative finitely generated algebra in the sense of Hasse-Schmidt under base change. We focus on the case of separable ring extensions over a field of positive characteristic and on the case where the extension is a polynomial ring in an arbitrary number of variables.
△ Less
Submitted 5 May, 2019;
originally announced May 2019.
-
Leaps of modules of integrable derivations in the sense of Hasse-Schmidt
Authors:
María de la Paz Tirado Hernández
Abstract:
Let k be a commutative ring of characteristic p > 0. We prove that leaps of chain formed by modules of integrable derivations in the sense of Hasse-Schmidt of a k-algebra only occur at powers of p.
Let k be a commutative ring of characteristic p > 0. We prove that leaps of chain formed by modules of integrable derivations in the sense of Hasse-Schmidt of a k-algebra only occur at powers of p.
△ Less
Submitted 11 January, 2019;
originally announced January 2019.
-
Consensus and Sectioning-based ADMM with Norm-1 Regularization for Imaging with a Compressive Reflector Antenna
Authors:
Juan Heredia-Juesas,
Ali Molaei,
Luis Tirado,
Jose A. Martinez-Lorenzo
Abstract:
This paper presents three distributed techniques to find a sparse solution of the underdetermined linear problem $\textbf{g}=\textbf{Hu}$ with a norm-1 regularization, based on the Alternating Direction Method of Multipliers (ADMM). These techniques divide the matrix $\textbf{H}$ in submatrices by rows, columns, or both rows and columns, leading to the so-called consensus-based ADMM, sectioning-ba…
▽ More
This paper presents three distributed techniques to find a sparse solution of the underdetermined linear problem $\textbf{g}=\textbf{Hu}$ with a norm-1 regularization, based on the Alternating Direction Method of Multipliers (ADMM). These techniques divide the matrix $\textbf{H}$ in submatrices by rows, columns, or both rows and columns, leading to the so-called consensus-based ADMM, sectioning-based ADMM, and consensus and sectioning-based ADMM, respectively. These techniques are applied particularly for millimeter-wave imaging through the use of a Compressive Reflector Antenna (CRA). The CRA is a hardware designed to increase the sensing capacity of an imaging system and reduce the mutual information among measurements, allowing an effective imaging of sparse targets with the use of Compressive Sensing (CS) techniques. Consensus-based ADMM has been proved to accelerate the imaging process and sectioning-based ADMM has shown to highly reduce the amount of information to be exchange among the computational nodes. In this paper, the mathematical formulation and graphical interpretation of these two techniques, together with the consensus and sectioning-based ADMM approach, are presented. The imaging quality, the imaging time, the convergence, and the communication efficiency among the nodes are analyzed and compared. The distributed capabitities of the ADMM-based approaches, together with the high sensing capacity of the CRA, allow the imaging of metallic targets in a 3D domain in quasi-real time with a reduced amount of information exchanged among the nodes.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Experimental Results of a 3D Millimeter-Wave Compressive-Reflector-Antenna Imaging System
Authors:
Weite Zhang,
Ali Molaei,
Juan Heredia-Juesas,
Luis Tirado,
Katherine Graham,
A. Bisulco,
Hipolito Gomez-Sousa,
Jose A. Martinez-Lorenzo
Abstract:
This letter presents the first experimental results of our three-dimensional (3D) millimeter-wave (mm-wave) Compressive-Reflector-Antenna (CRA) imaging system. In this prototype, the CRA is 3D-printed and coated with a metallic spray to easily introduce pseudo-random scatterers on the surface of a traditional reflector antenna (TRA). The CRA performs a pseudo random coding of the incident wavefron…
▽ More
This letter presents the first experimental results of our three-dimensional (3D) millimeter-wave (mm-wave) Compressive-Reflector-Antenna (CRA) imaging system. In this prototype, the CRA is 3D-printed and coated with a metallic spray to easily introduce pseudo-random scatterers on the surface of a traditional reflector antenna (TRA). The CRA performs a pseudo random coding of the incident wavefront, thus adding spatial diversity in the imaging region and enabling the effective use of compressive sensing (CS) and imaging techniques. The CRA is fed with a multiple-input-multiple-output (MIMO) radar, which consists of four transmitting and four receiving ports. Consequently, the mechanical scanning parts and phase shifters, which are necessary in conventional physical or synthetic aperture arrays, are not needed in this system. Experimental results show the effectiveness of the prototype to perform a successful 3D reconstruction of a T-shaped metallic target.
△ Less
Submitted 28 July, 2018;
originally announced August 2018.
-
Integrable derivations in the sense of Hasse-Schmidt for some binomial plane curve
Authors:
María de la Paz Tirado Hernández
Abstract:
We describe the module of integrable derivations in the sense of Hasse-Schmidt of the quotient of the polinomial ring in two variables over an ideal generated by the equation x^n-y^q.
We describe the module of integrable derivations in the sense of Hasse-Schmidt of the quotient of the polinomial ring in two variables over an ideal generated by the equation x^n-y^q.
△ Less
Submitted 27 July, 2018;
originally announced July 2018.
-
Norm-1 Regularized Consensus-based ADMM for Imaging with a Compressive Antenna
Authors:
Juan Heredia Juesas,
Ali Molaei,
Luis Tirado,
William Blackwell,
Jose A Martinez Lorenzo
Abstract:
This paper presents a novel norm-one-regularized, consensus-based imaging algorithm, based on the Alternating Direction Method of Multipliers (ADMM). This algorithm is capable of imaging composite dielectric and metallic targets by using limited amount of data. The distributed capabilities of the ADMM accelerates the convergence of the imaging. Recently, a Compressive Reflector Antenna (CRA) has b…
▽ More
This paper presents a novel norm-one-regularized, consensus-based imaging algorithm, based on the Alternating Direction Method of Multipliers (ADMM). This algorithm is capable of imaging composite dielectric and metallic targets by using limited amount of data. The distributed capabilities of the ADMM accelerates the convergence of the imaging. Recently, a Compressive Reflector Antenna (CRA) has been proposed as a way to provide high-sensing-capacity with a minimum cost and complexity in the hardware architecture. The ADMM algorithm applied to the imaging capabilities of the Compressive Antenna (CA) outperforms current state of the art iterative reconstruction algorithms, such as Nesterov-based methods, in terms of computational cost; and it ultimately enables the use of a CA in quasi-real-time, compressive sensing imaging applications.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.