-
Points on $\operatorname{SO}(3)$ with low logarithmic energy
Authors:
Carlos Beltrán,
Federico Carrasco,
Damir Ferizović,
Pedro R. López-Gómez
Abstract:
We describe several randomized collections of $3\times 3$ rotation matrices and analyze their associated logarithmic energy. The best one (i.e. the one attaining the lowest expected logarithmic energy) is constructed by choosing $r$ spherical points, which come from the zeros of a randomly chosen degree $r$ polynomial, and considering at each of these points a set of $s$ evenly distributed rotatio…
▽ More
We describe several randomized collections of $3\times 3$ rotation matrices and analyze their associated logarithmic energy. The best one (i.e. the one attaining the lowest expected logarithmic energy) is constructed by choosing $r$ spherical points, which come from the zeros of a randomly chosen degree $r$ polynomial, and considering at each of these points a set of $s$ evenly distributed rotation matrices. This construction yields a new upper bound on the minimal logarithmic energy of $n=rs$ rotation matrices.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Exploiting Monotonicity to Design an Adaptive PI Passivity-Based Controller for a Fuel-Cell System
Authors:
Carlo A. Beltran,
Rafael Cisneros,
Diego Langarica-Cordoba,
Romeo Ortega,
Luis H. Diaz-Saldierna
Abstract:
We present a controller for a power electronic system composed of a fuel cell (FC) connected to a boost converter which feeds a resistive load. The controller aims to regulate the output voltage of the converter regardless of the uncertainty of the load. Leveraging the monotonicity feature of the fuel cell polarization curve we prove that the nonlinear system can be controlled by means of a passiv…
▽ More
We present a controller for a power electronic system composed of a fuel cell (FC) connected to a boost converter which feeds a resistive load. The controller aims to regulate the output voltage of the converter regardless of the uncertainty of the load. Leveraging the monotonicity feature of the fuel cell polarization curve we prove that the nonlinear system can be controlled by means of a passivity-based proportional-integral approach. We afterward extend the result to an adaptive version, allowing the controller to deal with parameter uncertainties, such as inductor parasitic resistance, load, and FC polarization curve parameters. This adaptive design is based on an indirect control approach with online parameter identification performed by a ``hybrid'' estimator which combines two techniques: the gradient-descent and immersion-and-invariance algorithms. The overall system is proved to be stable with the output voltage regulated to its reference. Experimental results validate our proposal under two real-life scenarios: pulsating load and output voltage reference changes.
△ Less
Submitted 30 August, 2024; v1 submitted 8 June, 2024;
originally announced June 2024.
-
On-line Parameter Estimation of the Polarization Curve of a Fuel Cell with Guaranteed Convergence Properties: Theoretical and Experimental Results
Authors:
Carlo Beltran,
Alexey Bobtsov,
Romeo Ortega,
Diego Langarica-Cordoba,
Rafael Cisneros,
Luis H. Diaz-Saldierna
Abstract:
In this paper, we address the problem of online parameter estimation of a Proton Exchange Membrane Fuel Cell (PEMFC) polarization curve, that is the static relation between the voltage and the current of the PEMFC. The task of designing this estimator -- even off-line -- is complicated by the fact that the uncertain parameters enter the curve in a highly nonlinear fashion, namely in the form of no…
▽ More
In this paper, we address the problem of online parameter estimation of a Proton Exchange Membrane Fuel Cell (PEMFC) polarization curve, that is the static relation between the voltage and the current of the PEMFC. The task of designing this estimator -- even off-line -- is complicated by the fact that the uncertain parameters enter the curve in a highly nonlinear fashion, namely in the form of nonseparable nonlinearities. We consider several scenarios for the model of the polarization curve, starting from the standard full model and including several popular simplifications to this complicated mathematical function. In all cases, we derive separable regression equations -- either linearly or nonlinearly parameterized -- which are instrumental for the implementation of the parameter estimators. We concentrate our attention on on-line estimation schemes for which, under suitable excitation conditions, global parameter convergence is ensured. Due to these global convergence properties, the estimators are robust to unavoidable additive noise and structural uncertainty. Moreover, their on-line nature endows the schemes with the ability to track (slow) parameter variations, that occur during the operation of the PEMFC. These two features -- unavailable in time-consuming off-line data-fitting procedures -- make the proposed estimators helpful for on-line time-saving characterization of a given PEMFC, and the implementation of fault-detection procedures and model-based adaptive control strategies. Simulation and experimental results that validate the theoretical claims are presented.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Measure-preserving mappings from the unit cube to some symmetric spaces
Authors:
Carlos Beltrán,
Damir Ferizović,
Pedro R. López-Gómez
Abstract:
We construct measure-preserving mappings from the $d$-dimensional unit cube to the $d$-dimensional unit ball and the compact rank one symmetric spaces, namely the $d$-dimensional sphere, the real, complex, and quaternionic projective spaces, and the Cayley plane. We also give a procedure to generate measure-preserving mappings from the $d$-dimensional unit cube to product spaces and fiber bundles…
▽ More
We construct measure-preserving mappings from the $d$-dimensional unit cube to the $d$-dimensional unit ball and the compact rank one symmetric spaces, namely the $d$-dimensional sphere, the real, complex, and quaternionic projective spaces, and the Cayley plane. We also give a procedure to generate measure-preserving mappings from the $d$-dimensional unit cube to product spaces and fiber bundles under certain conditions.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Output Voltage Regulation of a Fuel Cell/Boost Converter System: A PI-PBC Approach
Authors:
Rafael Cisneros,
Romeo Ortega,
Carlo A. Beltrán,
Diego Langarica-Córdoba,
Luis H. Díaz-Saldierna
Abstract:
In this paper we consider the problem of voltage regulation of a proton exchange membrane fuel cell connected to an uncertain load through a boost converter. We show that, in spite of the inherent nonlinearities in the current-voltage behaviour of the fuel cell, the voltage of a fuel cell/boost converter system can be regulated with a simple proportional-integral (PI) action designed following the…
▽ More
In this paper we consider the problem of voltage regulation of a proton exchange membrane fuel cell connected to an uncertain load through a boost converter. We show that, in spite of the inherent nonlinearities in the current-voltage behaviour of the fuel cell, the voltage of a fuel cell/boost converter system can be regulated with a simple proportional-integral (PI) action designed following the {Passivity-based Control (PBC) approach. The system under consideration consists of a DC-DC converter interfacing a fuel cell with a resistive load. We show that the output voltage of the converter converges to its desired constant value for all the systems initial conditions -- with convergence ensured for all positive values of the PI gains. This latter feature facilitates the, usually difficult, task of tuning the gains of the PI. An Immersion and Invariance parameter estimator is afterwards proposed which allows the operation of the PI-PBC when the load is unknown, maintaining the output voltage at the desired level. The stable operation of the overall system is proved and the approach is validated with extensive numerical simulations considering real-life scenarios, where a robust behavior in spite of load variations is obtained.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Lower bound for the Green energy of point configurations in harmonic manifolds
Authors:
Carlos Beltrán,
Víctor de la Torre,
Fátima Lizarte
Abstract:
In this paper, we get the sharpest known to date lower bounds for the minimal Green energy of the compact harmonic manifolds of any dimension.
In this paper, we get the sharpest known to date lower bounds for the minimal Green energy of the compact harmonic manifolds of any dimension.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Ion Chamber Collection Efficiencies for Proton Spot Scanning Calibration
Authors:
Keith M. Furutani,
Nicholas N. Remmes,
Jon J. Kruse,
Michael G. Herman,
Jiajian Shen,
Chris J. Beltran
Abstract:
Charge accumulation was measured under calibration conditions in the spread-out Bragg peak (SOBP) using the calibration bias as well as a range of voltages from 10V to 500V and a Farmer-style ion chamber. Collection efficiency was determined by extrapolating to infinite voltage. Similar measurements were taken in an identical dose distribution with a much shorter spot duration. The impact of each…
▽ More
Charge accumulation was measured under calibration conditions in the spread-out Bragg peak (SOBP) using the calibration bias as well as a range of voltages from 10V to 500V and a Farmer-style ion chamber. Collection efficiency was determined by extrapolating to infinite voltage. Similar measurements were taken in an identical dose distribution with a much shorter spot duration. The impact of each of the three models on calibration was then quantified using the TRS-398 protocol. The collection efficiency for the standard calibration was determined to agree well with the prediction of a continuous beam recombination correction. The standard calibration field was found to persistently agree with a continuous beam recombination correction for much lower operating biases. The collection efficiency result for the short spot duration field did not agree with either the continuous or pulsed-beam correction. Using the incorrect recombination model under the standard calibration conditions resulted in a 0.5% calibration difference. We have determined that our spot scanning system would be most appropriately calibrated using a recombination correction with continuous beam model. Physicists responsible for the calibration of such systems are advised to take measurements described here to correctly identify the applicable recombination model for their clinics.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Statistical characterization of the chordal product determinant of Grassmannian codes
Authors:
Javier Álvarez-Vizoso,
Carlos Beltrán,
Diego Cuevas,
Ignacio Santamarıa,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal cho…
▽ More
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal chordal product and related energy of such collections.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Constellations on the Sphere with Efficient Encoding-Decoding for Noncoherent Communications
Authors:
Javier Álvarez-Vizoso,
Carlos Beltrán,
Ignacio Santamaria,
Vit Tucek,
Gunnar Peters
Abstract:
In this paper, we propose a new structured Grassmannian constellation for noncoherent communications over single-input multiple-output (SIMO) Rayleigh block-fading channels. The constellation, which we call Grass-Lattice, is based on a measure preserving mapping from the unit hypercube to the Grassmannian of lines. The constellation structure allows for on-the-fly symbol generation, low-complexity…
▽ More
In this paper, we propose a new structured Grassmannian constellation for noncoherent communications over single-input multiple-output (SIMO) Rayleigh block-fading channels. The constellation, which we call Grass-Lattice, is based on a measure preserving mapping from the unit hypercube to the Grassmannian of lines. The constellation structure allows for on-the-fly symbol generation, low-complexity decoding, and simple bit-to-symbol Gray coding. Simulation results show that Grass-Lattice has symbol and bit error rate performance close to that of a numerically optimized unstructured constellation, and is more power efficient than other structured constellations proposed in the literature and a coherent pilot-based scheme.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Constrained Riemannian Noncoherent Constellations for the MIMO Multiple Access Channel
Authors:
Javier Álvarez-Vizoso,
Diego Cuevas,
Carlos Beltrán,
Ignacio Santamaria,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+…
▽ More
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+1)M, the proposed constellation design criterion is based on the asymptotic expression of the multiuser pairwise error probability (PEP) derived by Brehler and Varanasi. In non-full diversity scenarios, for which the previous PEP expression is no longer valid, the proposed design criteria are based on proxies of the PEP recently proposed by Ngo and Yang. Although both the PEP expression and its bounds or proxies were previously considered intractable for optimization, in this work we derive their respective unconstrained gradients. These gradients are in turn used in the optimization of the proposed cost functions in different Riemannian manifolds representing different power constraints. In particular, in addition to the standard unitary space-time modulation (USTM) leading to optimization on the Grassmann manifold, we consider a more relaxed per-codeword power constraint leading to optimization on the so-called oblique manifold, and an average power constraint leading to optimization on the so-called trace manifold. Equipped with these theoretical tools, we design multiuser constellations for the MIMO MAC in full-diversity and non-full-diversity scenarios with state-of-the-art performance in terms of symbol error rate (SER).
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
A discretization of Holst's action for general relativity
Authors:
Carlos E. Beltrán,
José A. Zapata
Abstract:
We present a simplicial model for gravity written in terms of a discretized Lorentz connection and a discretized tetrad field. The continuum limit of its action is Holst's action for general relativity. With the intention of using it to construct spin foam modes for quantum gravity, we write two other equivalent models written in terms of a discretized and constrained $B$ field. The differences be…
▽ More
We present a simplicial model for gravity written in terms of a discretized Lorentz connection and a discretized tetrad field. The continuum limit of its action is Holst's action for general relativity. With the intention of using it to construct spin foam modes for quantum gravity, we write two other equivalent models written in terms of a discretized and constrained $B$ field. The differences between our model and existing models are most likely inessential in the sense that a quantization would lead to equivalent quantum theories in the Wilsonian continuum limit. Nevertheless, we mention two features leading to possible advantages: Curvature degrees of freedom are described at the level of each 4-simplex. Our model offers a picture of bulk geometry leading to actions for matter couplings that split as a sum over 4-simplices.
△ Less
Submitted 21 June, 2023; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Low energy points on the sphere and the real projective plane
Authors:
Carlos Beltrán,
Ujué Etayo,
Pedro R. López-Gómez
Abstract:
We present a generalization of a family of points on $\mathbb{S}^2$, the Diamond ensemble, containing collections of $N$ points on $\mathbb{S}^2$ with very small logarithmic energy for all $N\in\mathbb{N}$. We extend this construction to the real projective plane $\mathbb{RP}^2$ and we obtain upper and lower bounds with explicit constants for the Green and logarithmic energy on this last space.
We present a generalization of a family of points on $\mathbb{S}^2$, the Diamond ensemble, containing collections of $N$ points on $\mathbb{S}^2$ with very small logarithmic energy for all $N\in\mathbb{N}$. We extend this construction to the real projective plane $\mathbb{RP}^2$ and we obtain upper and lower bounds with explicit constants for the Green and logarithmic energy on this last space.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
A lower bound for the logarithmic energy on $\mathbb{S}^2$ and for the Green energy on $\mathbb{S}^n$
Authors:
Carlos Beltrán,
Fátima Lizarte
Abstract:
We show an alternative proof of the sharpest known lower bound for the logarithmic energy on the unit sphere $\mathbb{S}^2$. We then generalize this proof to get new lower bounds for the Green energy on the unit $n$-sphere $\mathbb{S}^n$.
We show an alternative proof of the sharpest known lower bound for the logarithmic energy on the unit sphere $\mathbb{S}^2$. We then generalize this proof to get new lower bounds for the Green energy on the unit $n$-sphere $\mathbb{S}^n$.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
Submegahertz spectral width photon pair source based on fused silica microspheres
Authors:
Erasto Ortiz Ricardo,
Cesar Bertoni Ocampo,
Mónica Maldonado Terrón,
Arturo Sanchez Zurita,
Roberto Ramirez Alarcón,
Héctor Cruz Ramírez,
Rigoberto Castro Beltran,
Alfred B. U'Ren
Abstract:
High efficiency, sub-MHz bandwidth photon pair generators will enable the field of quantum technology to transition from laboratory demonstrations to transformational applications involving information transfer from photons to atoms. While spontaneous parametric processes are able to achieve high efficiency photon pair generation, the spectral bandwidth tends to be relatively large, as defined by…
▽ More
High efficiency, sub-MHz bandwidth photon pair generators will enable the field of quantum technology to transition from laboratory demonstrations to transformational applications involving information transfer from photons to atoms. While spontaneous parametric processes are able to achieve high efficiency photon pair generation, the spectral bandwidth tends to be relatively large, as defined by phase-matching constraints. To solve this fundamental limitation, we use an ultra-high quality factor (Q) fused silica microsphere resonant cavity to form a photon pair generator. We present the full theory for the SWM process in these devices, fully taking into account all relevant source characteristics in our experiments. The exceptionally narrow (down to kHz-scale) linewidths of these devices in combination with the device size results in a reduction in the bandwidth of the photon pair generation, allowing sub-MHz spectral bandwidth to be achieved. Specifically, using a pump source centered around 1550nm, photon pairs with the signal and idler modes at wavelengths close to 1540nm and 1560nm, respectively, are demonstrated. We herald a single idler-mode photon by detecting the corresponding signal photon, filtered via transmission through a wavelength division multiplexing channel of choice. We demonstrate the extraction of the spectral profile of a single peak in the single-photon frequency comb from a measurement of the signal-idler time of emission distribution. These improvements in device design and experimental methods enabled the narrowest spectral width (366kHz) to date in a heralded single photon source basedon SFWM.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
On Gegenbauer Point Processes on the unit interval
Authors:
Carlos Beltrán,
Antonia M. Delgado,
Lidia Fernández,
Joaquín F. Sánchez Lara
Abstract:
In this note we compute the logarithmic energy of points in the unit interval $[-1,1]$ chosen from different Gegenbauer Determinantal Point Processes. We check that all the different families of Gegenbauer polynomials yield the same asymptotic result to third order, we compute exactly the value for Chebyshev polynomials and we give a closed expresion for the minimal possible logarithmic energy. Th…
▽ More
In this note we compute the logarithmic energy of points in the unit interval $[-1,1]$ chosen from different Gegenbauer Determinantal Point Processes. We check that all the different families of Gegenbauer polynomials yield the same asymptotic result to third order, we compute exactly the value for Chebyshev polynomials and we give a closed expresion for the minimal possible logarithmic energy. The comparison suggests that DPPs cannot match the value of the minimum beyond the third asymptotic term.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
When can forward stable algorithms be composed stably?
Authors:
Carlos Beltrán,
Vanni Noferini,
Nick Vannieuwenhoven
Abstract:
We state some widely satisfied hypotheses, depending only on two functions $g$ and $h$, under which the composition of a stable algorithm for $g$ and a stable algorithm for $h$ is a stable algorithm for the composition $g \circ h$.
We state some widely satisfied hypotheses, depending only on two functions $g$ and $h$, under which the composition of a stable algorithm for $g$ and a stable algorithm for $h$ is a stable algorithm for the composition $g \circ h$.
△ Less
Submitted 25 May, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
How well-conditioned can the eigenvalue problem be?
Authors:
Carlos Beltrán,
Laurent Bétermin,
Peter Grabner,
Stefan Steinerberger
Abstract:
The condition number for eigenvalue computations is a well--studied
quantity. But how small can we expect it to be? Namely, which is a perfectly
conditioned matrix w.r.t. eigenvalue computations? In this note we answer
this question with exact first order asymptotic.
The condition number for eigenvalue computations is a well--studied
quantity. But how small can we expect it to be? Namely, which is a perfectly
conditioned matrix w.r.t. eigenvalue computations? In this note we answer
this question with exact first order asymptotic.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
On the minimum value of the condition number of polynomials
Authors:
Carlos Beltrán,
Fátima Lizarte
Abstract:
In 1993, Shub and Smale posed the problem of finding a sequence of univariate polynomials of degree $N$ with condition number bounded above by $N$. In a previous paper by C. Beltán, U. Etayo, J. Marzo and J. Ortega-Cerdà, it was proved that the optimal value of the condition number is of the form $O(\sqrt{N})$, and the sequence demanded by Shub and Smale was described by a closed formula (for larg…
▽ More
In 1993, Shub and Smale posed the problem of finding a sequence of univariate polynomials of degree $N$ with condition number bounded above by $N$. In a previous paper by C. Beltán, U. Etayo, J. Marzo and J. Ortega-Cerdà, it was proved that the optimal value of the condition number is of the form $O(\sqrt{N})$, and the sequence demanded by Shub and Smale was described by a closed formula (for large enough $N\geqslant N_0$ with $N_0$ unknown) and by a search algorithm for the rest of the cases. In this paper we find concrete estimates for the constant hidden in the $O(\sqrt{N})$ term and we describe a simple formula for a sequence of polynomials whose condition number is at most $N$, valid for all $N=4M^2$, with $M$ a positive integer.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
SKA LFAA Station Design Report
Authors:
Eloy de Lera Acedo,
Hardie Pienaar,
Nima Razavi Ghods,
Jens Abraham,
Edgar Colin Beltran,
Ben Mort,
Fred Dulwich,
Giuseppe Virone,
Benedetta Fiorelli,
Michiel Arts,
Christophe Craeye,
Bui van Ha,
Keith Grainge,
Peter Dewdney,
Jeff Wagg,
Maria Grazia Labate,
Andrew Faulkner,
Jan Geralt bij de Vaate,
Marchel Gerbers
Abstract:
This report was submitted as part of the SKA Low Frequency Aperture Array Critical Design Review describing the design of the SKA1-LOW station that took place between 2013 and 2018.
The SKA1 LOW field station is inscribed in a circular area having an effective station diameter (centre to centre) of 38 meters and has 256 SKALA4 elements. This document describes the electromagnetic design of the f…
▽ More
This report was submitted as part of the SKA Low Frequency Aperture Array Critical Design Review describing the design of the SKA1-LOW station that took place between 2013 and 2018.
The SKA1 LOW field station is inscribed in a circular area having an effective station diameter (centre to centre) of 38 meters and has 256 SKALA4 elements. This document describes the electromagnetic design of the field station. In particular it describes the layout design and the electromagnetic modelling and characteristics of the station. This document describes the effects associated with the layout and array such as mutual coupling effects, side lobe pattern and beam shape (eg. smoothness, calibration models) and presents the state of the art of our ability to measure the array performance and validate the simulation work. The current LFAA field node requirements, derived from the SKA L1 requirements, have evolved over the last years since the LFAA PDR and the System Baseline Design. The SKA1 LOW field station has been designed to meet those requirements and has therefore tracked their evolution (eg. sensitivity requirements, array diameter, etc.). The aforementioned requirements represent a very tight space with a desire for very high sensitivity over a large frequency range (7 to 1) and wide field of view (90 degrees cone around zenith) while keeping the station diameter to a minimum, so as the filling factor but at the same time allowing for sufficient space between antennas to allow for easy maintenances, amongst many others. This results in a complex design.
△ Less
Submitted 23 April, 2020; v1 submitted 28 March, 2020;
originally announced March 2020.
-
Applying Knowledge Transfer for Water Body Segmentation in Peru
Authors:
Jessenia Gonzalez,
Debjani Bhowmick,
Cesar Beltran,
Kris Sankaran,
Yoshua Bengio
Abstract:
In this work, we present the application of convolutional neural networks for segmenting water bodies in satellite images. We first use a variant of the U-Net model to segment rivers and lakes from very high-resolution images from Peru. To circumvent the issue of scarce labelled data, we investigate the applicability of a knowledge transfer-based model that learns the mapping from high-resolution…
▽ More
In this work, we present the application of convolutional neural networks for segmenting water bodies in satellite images. We first use a variant of the U-Net model to segment rivers and lakes from very high-resolution images from Peru. To circumvent the issue of scarce labelled data, we investigate the applicability of a knowledge transfer-based model that learns the mapping from high-resolution labelled images and combines it with the very high-resolution mapping so that better segmentation can be achieved. We train this model in a single process, end-to-end. Our preliminary results show that adding the information from the available high-resolution images does not help out-of-the-box, and in fact worsen results. This leads us to infer that the high-resolution data could be from a different distribution, and its addition leads to increased variance in our results.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Monte-Carlo-based 4D robust optimization using physical and temporal uncertainties for intensity-modulated proton therapy
Authors:
Mark D. Pepin,
Erik Tryggestad,
Hok Seum Wan Chan Tseung,
Jiasen Ma,
Abdou Abdel Rehim,
Jedediah E. Johnson,
Michael G. Herman,
Chris Beltran
Abstract:
Purpose: Respiratory motion and the interplay effect cause the dose delivered to a patient with spot-scanned proton therapy to differ from the dose planned for during optimization. A new 4D robust optimization methodology was developed which incorporates patient breathing and the interplay effect, as well as their uncertainties, into the optimization process... Methods: The 4D robust optimizer use…
▽ More
Purpose: Respiratory motion and the interplay effect cause the dose delivered to a patient with spot-scanned proton therapy to differ from the dose planned for during optimization. A new 4D robust optimization methodology was developed which incorporates patient breathing and the interplay effect, as well as their uncertainties, into the optimization process... Methods: The 4D robust optimizer used a 4DCT image set to obtain information regarding patient breathing and included a beam-delivery simulation to incorporate the interplay effect. The doses from potential spots were calculated on all breathing phases using Monte Carlo simulation, deformed to a reference phase using deformable image registration, and then added in a weighted sum. The weights for the different phases were based on the beam-delivery simulation. Robustness was added to the optimization by considering range and setup uncertainties as physical-uncertainty scenarios and uncertainties in the patient breathing and treatment delivery as temporal uncertainty scenarios... Results: The 4D robustly optimized plans exhibited improved target coverage with an average increase in the dose to 98% of the target volume of 4.9%, improved homogeneity with an average decrease in the homogeneity index of 6.0%, and improved robustness with decreased ranges in coverage and homogeneity amongst all uncertainty scenarios by averages of 35.0% and 52.5%, respectively... Conclusions: A 4D robust optimizer was developed which included the interplay effect and did not depend on the synchronization of breathing and delivery...
△ Less
Submitted 30 July, 2019; v1 submitted 26 July, 2019;
originally announced July 2019.
-
The average condition number of most tensor rank decomposition problems is infinite
Authors:
Carlos Beltrán,
Paul Breiding,
Nick Vannieuwenhoven
Abstract:
The tensor rank decomposition, or canonical polyadic decomposition, is the decomposition of a tensor into a sum of rank-1 tensors. The condition number of the tensor rank decomposition measures the sensitivity of the rank-1 summands with respect to structured perturbations. Those are perturbations preserving the rank of the tensor that is decomposed. On the other hand, the angular condition number…
▽ More
The tensor rank decomposition, or canonical polyadic decomposition, is the decomposition of a tensor into a sum of rank-1 tensors. The condition number of the tensor rank decomposition measures the sensitivity of the rank-1 summands with respect to structured perturbations. Those are perturbations preserving the rank of the tensor that is decomposed. On the other hand, the angular condition number measures the perturbations of the rank-1 summands up to scaling.
We show for random rank-2 tensors that the expected value of the condition number is infinite for a wide range of choices of the density. Under a mild additional assumption, we show that the same is true for most higher ranks $r\geq 3$ as well. In fact, as the dimensions of the tensor tend to infinity, asymptotically all ranks are covered by our analysis. On the contrary, we show that rank-2 tensors have finite expected angular condition number. Based on numerical experiments, we conjecture that this could also be true for higher ranks.
Our results underline the high computational complexity of computing tensor rank decompositions. We discuss consequences of our results for algorithm design and for testing algorithms computing tensor rank decompositions.
△ Less
Submitted 20 September, 2022; v1 submitted 13 March, 2019;
originally announced March 2019.
-
A sequence of polynomials with optimal condition number
Authors:
Carlos Beltrán,
Ujué Etayo,
Jordi Marzo,
Joaquim Ortega-Cerdà
Abstract:
We find an explicit sequence of univariate polynomials of arbitrary degree with optimal condition number. This solves a problem posed by Michael Shub and Stephen Smale in 1993.
We find an explicit sequence of univariate polynomials of arbitrary degree with optimal condition number. This solves a problem posed by Michael Shub and Stephen Smale in 1993.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
Approximation to uniform distribution in SO(3)
Authors:
Carlos Beltrán,
Damir Ferizović
Abstract:
Using the theory of determinantal point processes we give upper bounds for the Green and Riesz energies for the rotation group SO(3), with Riesz parameter up to 3. The Green function is computed explicitly, and a lower bound for the Green energy is established, enabling comparison of uniform point constructions on SO(3). The variance of rotation matrices sampled by the determinantal point process…
▽ More
Using the theory of determinantal point processes we give upper bounds for the Green and Riesz energies for the rotation group SO(3), with Riesz parameter up to 3. The Green function is computed explicitly, and a lower bound for the Green energy is established, enabling comparison of uniform point constructions on SO(3). The variance of rotation matrices sampled by the determinantal point process is estimated, and formulas for the L2 -norm of Gegenbauer polynomials with index 2 are deduced, which might be of independent interest. Also a simple but effective algorithm to sample points in SO(3) is given.
△ Less
Submitted 30 January, 2019;
originally announced January 2019.
-
The Diamond ensemble: a constructive set of points with small logarithmic energy
Authors:
Carlos Beltrán,
Ujué Etayo
Abstract:
We define a family of random sets of points, the Diamond ensemble, on the sphere $\mathbb{S}^{2}$ depending on several parameters. Its most important property is that, for some of these parameters, the asymptotic expected value of the logarithmic energy of the points can be computed rigorously and shown to attain very small values, quite close to the conjectured minimal value.
We define a family of random sets of points, the Diamond ensemble, on the sphere $\mathbb{S}^{2}$ depending on several parameters. Its most important property is that, for some of these parameters, the asymptotic expected value of the logarithmic energy of the points can be computed rigorously and shown to attain very small values, quite close to the conjectured minimal value.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
A Monte-Carlo-based and GPU-accelerated 4D-dose calculator for a pencil-beam scanning proton therapy system
Authors:
Mark D. Pepin,
Erik Tryggestad,
H. Wan Chan Tseung,
Jedediah E. Johnson,
Michael G. Herman,
Chris Beltran
Abstract:
Purpose: The presence of respiratory motion during radiation treatment leads to degradation of the expected dose distribution, both for target coverage and healthy-tissue sparing, particularly for techniques like pencil-beam scanning proton therapy which have dynamic delivery systems. While tools exist to estimate this degraded four-dimensional (4D) dose, they typically have one or more deficienci…
▽ More
Purpose: The presence of respiratory motion during radiation treatment leads to degradation of the expected dose distribution, both for target coverage and healthy-tissue sparing, particularly for techniques like pencil-beam scanning proton therapy which have dynamic delivery systems. While tools exist to estimate this degraded four-dimensional (4D) dose, they typically have one or more deficiencies such as ...
Methods: To quickly compute the 4D-dose, the three main tasks of the calculator were run on graphics processing units (GPUs). These tasks were: simulating the delivery of the plan using measured delivery parameters to distribute the plan amongst 4DCT phases characterizing the patient breathing, using an in-house Monte Carlo simulation (MC) dose calculator to determine the dose delivered to each breathing phase, and accumulating the doses from the various breathing phases onto a single phase for evaluation. The accumulation was performed by individually transferring the energy and mass of dose-grid subvoxels, a technique models the transfer of dose in a more physically realistic manner. The calculator was run ...
Results: 4D doses were successfully computed for the three test cases with computation times ranging from 4-6 min on a server with eight NVIDIA Titan X graphics cards; the most time-consuming component was the MC dose engine. The subvoxel-based dose-accumulation technique produced stable 4D-dose distributions at subvoxel scales of 0.5-1.0 mm without impairing the total computation time. The uncertainties in the beam-delivery simulation ...
Conclusions: A MC-based and GPU-accelerated 4D-dose calculator was developed to estimate the effects of respiratory motion on pencil-beam scanning proton therapy treatments. The calculator can currently be used ...
△ Less
Submitted 13 September, 2018; v1 submitted 11 September, 2018;
originally announced September 2018.
-
Pencil-based algorithms for tensor rank decomposition are not stable
Authors:
Carlos Beltrán,
Paul Breiding,
Nick Vannieuwenhoven
Abstract:
We prove the existence of an open set of $n_1\times n_2 \times n_3$ tensors of rank $r$ on which a popular and efficient class of algorithms for computing tensor rank decompositions based on a reduction to a linear matrix pencil, typically followed by a generalized eigendecomposition, is arbitrarily numerically forward unstable. Our analysis shows that this problem is caused by the fact that the c…
▽ More
We prove the existence of an open set of $n_1\times n_2 \times n_3$ tensors of rank $r$ on which a popular and efficient class of algorithms for computing tensor rank decompositions based on a reduction to a linear matrix pencil, typically followed by a generalized eigendecomposition, is arbitrarily numerically forward unstable. Our analysis shows that this problem is caused by the fact that the condition number of the tensor rank decomposition can be much larger for $n_1 \times n_2 \times 2$ tensors than for the $n_1\times n_2 \times n_3$ input tensor. Moreover, we present a lower bound for the limiting distribution of the condition number of random tensor rank decompositions of third-order tensors. The numerical experiments illustrate that for random tensor rank decompositions one should anticipate a loss of precision of a few digits.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
A generalization of the spherical ensemble to even-dimensional spheres
Authors:
Carlos Beltrán,
Ujué Etayo
Abstract:
In a recent article, Alishahi and Zamani discuss the spherical ensemble, a rotationally invariant determinantal point process on the 2-sphere. In this paper we extend this process in a natural way to the 2d-dimensional sphere. We prove that the expected value of the Riesz s-energy associated to this determinantal point process has a reasonably low value compared to the known asymptotic expansion o…
▽ More
In a recent article, Alishahi and Zamani discuss the spherical ensemble, a rotationally invariant determinantal point process on the 2-sphere. In this paper we extend this process in a natural way to the 2d-dimensional sphere. We prove that the expected value of the Riesz s-energy associated to this determinantal point process has a reasonably low value compared to the known asymptotic expansion of the minimal Riesz s-energy.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
Energy of the Coulomb gas on the sphere at low temperature
Authors:
Carlos Beltrán,
Adrien Hardy
Abstract:
We consider the Coulomb gas of $N$ particles on the sphere and show that the logarithmic energy of the configurations approaches the minimal energy up to an error of order $\log N$, with exponentially high probability and on average, provided the temperature is $\mathcal O(1/N)$.
We consider the Coulomb gas of $N$ particles on the sphere and show that the logarithmic energy of the configurations approaches the minimal energy up to an error of order $\log N$, with exponentially high probability and on average, provided the temperature is $\mathcal O(1/N)$.
△ Less
Submitted 3 September, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
The real polynomial eigenvalue problem is well conditioned on the average
Authors:
Carlos Beltran,
Khazhgali Kozhasov
Abstract:
We study the average condition number for polynomial eigenvalues of collections of matrices drawn from various random matrix ensembles. In particular, we prove that polynomial eigenvalue problems defined by matrices with Gaussian entries are very well-conditioned on the average.
We study the average condition number for polynomial eigenvalues of collections of matrices drawn from various random matrix ensembles. In particular, we prove that polynomial eigenvalue problems defined by matrices with Gaussian entries are very well-conditioned on the average.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
The polynomial eigenvalue problem is well conditioned for random inputs
Authors:
Carlos Beltrán,
Diego Armentano
Abstract:
We compute the exact value of the squared condition number for the polynomial eigenvalue problem, when the input matrices have entries coming from the standard complex Gaussian distribution, showing that in general this problem is quite well conditioned.
We compute the exact value of the squared condition number for the polynomial eigenvalue problem, when the input matrices have entries coming from the standard complex Gaussian distribution, showing that in general this problem is quite well conditioned.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
The projective ensemble and distribution of points in odd-dimensional spheres
Authors:
Carlos Beltrán,
Ujué Etayo
Abstract:
We define a determinantal point process on the complex projective space that reduces to the so-called spherical ensemble for complex dimension 1 under identification of the 2-sphere with the Riemann sphere. Through this determinantal point process we propose a point processs in odd-dimensional spheres that produces fairly well-distributed points, in the sense that the expected value of the Riesz 2…
▽ More
We define a determinantal point process on the complex projective space that reduces to the so-called spherical ensemble for complex dimension 1 under identification of the 2-sphere with the Riemann sphere. Through this determinantal point process we propose a point processs in odd-dimensional spheres that produces fairly well-distributed points, in the sense that the expected value of the Riesz 2-energy for these collections of points is smaller than all previously known bounds.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.
-
Discrete and Continuous Green Energy on Compact Manifolds
Authors:
Carlos Beltrán,
Nuria Corral,
Juan G. Criado del Rey
Abstract:
In this article we study the role of the Green function for the Laplacian in a compact Riemannian manifold as a tool for obtaining well-distributed points. In particular, we prove that a sequence of minimizers for the Green energy is asymptotically uniformly distributed. We pay special attention to the case of locally harmonic manifolds.
In this article we study the role of the Green function for the Laplacian in a compact Riemannian manifold as a tool for obtaining well-distributed points. In particular, we prove that a sequence of minimizers for the Green energy is asymptotically uniformly distributed. We pay special attention to the case of locally harmonic manifolds.
△ Less
Submitted 2 February, 2017;
originally announced February 2017.
-
Intrinsic potentials in locally harmonic manifolds
Authors:
Carlos Beltrán,
Nuria Corral,
Juan G. Criado del Rey
Abstract:
We consider the problem of allocating a finite number of heat sources in the n-dimensional sphere. When only one such source -assumed to be of infinite temperature- is placed and assuming a constant cooling rate in the sphere, we prove that a (essentially) unique solution exists: the Constant Laplacian potential (CL-potential). Actually, this potential can be defined intrinsically in any CROSS (su…
▽ More
We consider the problem of allocating a finite number of heat sources in the n-dimensional sphere. When only one such source -assumed to be of infinite temperature- is placed and assuming a constant cooling rate in the sphere, we prove that a (essentially) unique solution exists: the Constant Laplacian potential (CL-potential). Actually, this potential can be defined intrinsically in any CROSS (such as the real or complex projective spaces), providing a natural alternative to Riesz's potentials in manifolds lacking a standard isometric embedding into some Euclidean space. We describe an integral form of the corresponding CL-energy for the case of the sphere and prove a relation of minimizing configurations with separation distance and cap discrepancy. It follows that minimal configurations for the Riesz energy are asymptotically minimizing for the CL-energy.
△ Less
Submitted 28 September, 2016; v1 submitted 26 July, 2016;
originally announced July 2016.
-
Clinically applicable Monte Carlo-based biological dose optimization for the treatment of head and neck cancers with spot-scanning proton therapy
Authors:
H. Wan Chan Tseung,
J. Ma,
C. R. Kreofsky,
D. Ma,
C. Beltran
Abstract:
Purpose: To demonstrate the feasibility of fast Monte Carlo (MC) based inverse biological planning for the treatment of head and neck tumors in spot-scanning proton therapy. Methods: Recently, a fast and accurate Graphics Processor Unit (GPU)-based MC simulation of proton transport was developed and used as the dose calculation engine in a GPU-accelerated IMPT optimizer. Besides dose, the dose-ave…
▽ More
Purpose: To demonstrate the feasibility of fast Monte Carlo (MC) based inverse biological planning for the treatment of head and neck tumors in spot-scanning proton therapy. Methods: Recently, a fast and accurate Graphics Processor Unit (GPU)-based MC simulation of proton transport was developed and used as the dose calculation engine in a GPU-accelerated IMPT optimizer. Besides dose, the dose-averaged linear energy transfer (LETd) can be simultaneously scored, which makes biological dose (BD) optimization possible. To convert from LETd to BD, a linear relation was assumed. Using this novel optimizer, inverse biological planning was applied to 4 patients: 2 small and 1 large thyroid tumor targets, and 1 glioma case. To create these plans, constraints were placed to maintain the physical dose (PD) within 1.25 times the prescription while maximizing target BD. For comparison, conventional IMRT and IMPT plans were created for each case in Eclipse (Varian, Inc). The same critical structure PD constraints were used for the IMRT, IMPT and bio-optimized plans. The BD for the IMPT plans were obtained through MC re-calculations. Results: Compared to standard IMPT, the bio-optimal plans for patients with small tumor targets displayed a BD escalation that was around twice the PD increase. Dose sparing to critical structures was improved compared to both IMRT and IMPT. No significant BD increase could be achieved for the large thyroid case, and when the presence of critical structures mitigated the contribution of additional fields. The calculation of the bio-optimized plans can be completed in a clinically viable time (<30 minutes) on a 24-GPU system. Conclusion: By exploiting GPU acceleration, MC-based, biologically optimized plans were created for small-target tumor patients. This optimizer will be used in an upcoming feasibility trial on LETd painting for radio-resistant tumors.
△ Less
Submitted 11 April, 2016; v1 submitted 9 March, 2016;
originally announced March 2016.
-
Energy and discrepancy of rotationally invariant determinantal point processes in high dimensional spheres
Authors:
Carlos Beltrán,
Jordi Marzo,
Joaquim Ortega-Cerdà
Abstract:
We study expected Riesz s-energies and linear statistics of some determinantal processes on the sphere. In particular, we compute the expected Riesz and logarithmic energies of the determinantal processes given by the reproducing kernel of the space of spherical harmonics. This kernel defines the so called harmonic ensemble on the sphere. With these computations we improve previous estimates for t…
▽ More
We study expected Riesz s-energies and linear statistics of some determinantal processes on the sphere. In particular, we compute the expected Riesz and logarithmic energies of the determinantal processes given by the reproducing kernel of the space of spherical harmonics. This kernel defines the so called harmonic ensemble on the sphere. With these computations we improve previous estimates for the discrete minimal energy of configurations of points in the sphere. We prove a comparison result for Riesz 2-energies of points defined through determinantal point processes associated to isotropic kernels. As a corollary we get that the Riesz 2-energy of the harmonic ensemble is optimal among ensembles defined by isotropic kernels with the same trace. Finally, we study the variance of smooth and rough linear statistics for the harmonic ensemble and compare the results with the variance for the spherical ensemble.
△ Less
Submitted 19 July, 2016; v1 submitted 8 November, 2015;
originally announced November 2015.
-
Condition length and complexity for the solution of polynomial systems
Authors:
Diego Armentano,
Carlos Beltrán,
Peter Bürgisser,
Felipe Cucker,
Michael Shub
Abstract:
Smale's 17th problem asks for an algorithm which finds an approximate zero of polynomial systems in average polynomial time (see Smale 2000). The main progress on Smale's problem is Beltrán-Pardo (2011) and Bürgisser-Cucker (2010). In this paper we will improve on both approaches and we prove an important intermediate result. Our main results are Theorem 1 on the complexity of a randomized algorit…
▽ More
Smale's 17th problem asks for an algorithm which finds an approximate zero of polynomial systems in average polynomial time (see Smale 2000). The main progress on Smale's problem is Beltrán-Pardo (2011) and Bürgisser-Cucker (2010). In this paper we will improve on both approaches and we prove an important intermediate result. Our main results are Theorem 1 on the complexity of a randomized algorithm which improves the result of Beltrán-Pardo (2011), Theorem 2 on the average of the condition number of polynomial systems which improves the estimate found in Bürgisser-Cucker (2010), and Theorem 3 on the complexity of finding a single zero of polynomial systems. This last Theorem is the main result of Bürgisser-Cucker (2010). We give a proof of it relying only on homotopy methods, thus removing the need for the elimination theory methods used in Bürgisser-Cucker (2010). We build on methods developed in Armentano et al. (2015).
△ Less
Submitted 14 July, 2015;
originally announced July 2015.
-
A stable, polynomial-time algorithm for the eigenpair problem
Authors:
Diego Armentano,
Carlos Beltrán,
Peter Bürgisser,
Felipe Cucker,
Michael Shub
Abstract:
We describe algorithms for computing eigenpairs (eigenvalue-eigenvector pairs) of a complex $n\times n$ matrix $A$. These algorithms are numerically stable, strongly accurate, and theoretically efficient (i.e., polynomial-time). We do not believe they outperform in practice the algorithms currently used for this computational problem. The merit of our paper is to give a positive answer to a long-s…
▽ More
We describe algorithms for computing eigenpairs (eigenvalue-eigenvector pairs) of a complex $n\times n$ matrix $A$. These algorithms are numerically stable, strongly accurate, and theoretically efficient (i.e., polynomial-time). We do not believe they outperform in practice the algorithms currently used for this computational problem. The merit of our paper is to give a positive answer to a long-standing open problem in numerical linear algebra.
△ Less
Submitted 13 May, 2015;
originally announced May 2015.
-
Composite Bulges: The Coexistence of Classical Bulges and Disky Pseudobulges in S0 and Spiral Galaxies
Authors:
Peter Erwin,
Roberto P. Saglia,
Maximilian Fabricius,
Jens Thomas,
Nina Nowak,
Stephanie Rusli,
Ralf Bender,
Juan Carlos Vega Beltran,
John E. Beckman
Abstract:
We study nine S0-Sb galaxies with (photometric) bulges consisting of two distinct components. The outer component is a flattened, kinematically cool, disklike structure: a "disky pseudobulge". Embedded inside is a rounder, kinematically hot spheroid: a "classical bulge". This indicates that pseudobulges and classical bulges are not mutually exclusive: some galaxies have both.
The disky pseudobul…
▽ More
We study nine S0-Sb galaxies with (photometric) bulges consisting of two distinct components. The outer component is a flattened, kinematically cool, disklike structure: a "disky pseudobulge". Embedded inside is a rounder, kinematically hot spheroid: a "classical bulge". This indicates that pseudobulges and classical bulges are not mutually exclusive: some galaxies have both.
The disky pseudobulges almost always have an exponential disk (scale lengths = 125-870 pc, mean $\sim 440$ pc) with disk-related subcomponents: nuclear rings, bars, and/or spiral arms. They constitute 11-59% of the galaxy stellar mass (mean PB/T = 0.33), with stellar masses $\sim 7 \times 10^{9}$-$9 \times 10^{10} M_{\odot}$. Classical-bulge components have Sersic indices of 0.9-2.2, effective radii of 25-430 pc and stellar masses of $5 \times 10^{8}$-$3 \times 10^{10} M_{\odot}$ (usually < 10% of the galaxy's stellar mass; mean B/T = 0.06). The classical bulges show rotation, but are kinematically hotter than the disky pseudobulges. Dynamical modeling of three systems indicates that velocity dispersions are isotropic in the classical bulges and equatorially biased in the disky pseudobulges.
In the mass--radius and mass--stellar mass density planes, classical-bulge components follow sequences defined by ellipticals and (larger) classical bulges. Disky pseudobulges also fall on this sequence; they are more compact than similar-mass large-scale disks. Although some classical bulges are quite compact, they are distinct from nuclear star clusters in both size and mass, and coexist with nuclear clusters in at least two galaxies.
Since almost all the galaxies in this study are barred, they probably also host boxy/peanut-shaped bulges (vertically thickened inner parts of bars). NGC 3368 shows evidence for such a zone outside its disky pseudobulge, making it a galaxy with all three types of "bulge".
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Average polynomial time for eigenvector computations
Authors:
Diego Armentano,
Carlos Beltrán,
Michael Shub
Abstract:
We describe two algorithms for the eigenvalue, eigenvector problem which, on input a Gaussian matrix with complex entries, finish with probability 1 and in average polynomial time.
We describe two algorithms for the eigenvalue, eigenvector problem which, on input a Gaussian matrix with complex entries, finish with probability 1 and in average polynomial time.
△ Less
Submitted 8 October, 2014;
originally announced October 2014.
-
A fast GPU-based Monte Carlo simulation of proton transport with detailed modeling of non-elastic interactions
Authors:
H. Wan Chan Tseung,
J. Ma,
C. Beltran
Abstract:
Purpose: Very fast Monte Carlo (MC) simulations of proton transport have been implemented recently on GPUs. However, these usually use simplified models for non-elastic (NE) proton-nucleus interactions. Our primary goal is to build a GPU-based proton transport MC with detailed modeling of elastic and NE collisions. Methods: Using CUDA, we implemented GPU kernels for these tasks: (1) Simulation of…
▽ More
Purpose: Very fast Monte Carlo (MC) simulations of proton transport have been implemented recently on GPUs. However, these usually use simplified models for non-elastic (NE) proton-nucleus interactions. Our primary goal is to build a GPU-based proton transport MC with detailed modeling of elastic and NE collisions. Methods: Using CUDA, we implemented GPU kernels for these tasks: (1) Simulation of spots from our scanning nozzle configurations, (2) Proton propagation through CT geometry, considering nuclear elastic scattering, multiple scattering, and energy loss straggling, (3) Modeling of the intranuclear cascade stage of NE interactions, (4) Nuclear evaporation simulation, and (5) Statistical error estimates on the dose. To validate our MC, we performed: (1) Secondary particle yield calculations in NE collisions, (2) Dose calculations in homogeneous phantoms, (3) Re-calculations of head and neck plans from a commercial treatment planning system (TPS), and compared with Geant4.9.6p2/TOPAS. Results: Yields, energy and angular distributions of secondaries from NE collisions on various nuclei agree well with the Geant4 Bertini and Binary cascade models. The 3D-gamma pass rate at 2\%-2 mm for treatment plan simulations is typically 98\%. The net calculation time on a NVIDIA GTX680 card, including all data transfers, is $\sim$20 s for $1\times10^7$ proton histories. Conclusions: Our GPU-based MC is the first of its kind to include a detailed nuclear model to handle NE interactions of protons with any nucleus. Dosimetric calculations are in very good agreement with Geant4/TOPAS. Our MC is being used to perform fast routine clinical QA of pencil-beam based treatment plans, and has also been adopted as the dose engine in a clinically-applicable MC-based IMPT TPS. The detailed nuclear modeling will allow us to perform very fast linear energy transfer and neutron dose estimates on the GPU.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Using 3D Spectroscopy to Probe the Orbital Structure of Composite Bulges
Authors:
Peter Erwin,
Roberto Saglia,
Jens Thomas,
Maximilian Fabricius,
Ralf Bender,
Stephanie Rusli,
Nina Nowak,
John E. Beckman,
Juan Carlos Vega Beltrán
Abstract:
Detailed imaging and spectroscopic analysis of the centers of nearby S0 and spiral galaxies shows the existence of "composite bulges", where both classical bulges and disky pseudobulges coexist in the same galaxy. As part of a search for supermassive black holes in nearby galaxy nuclei, we obtained VLT-SINFONI observations in adaptive-optics mode of several of these galaxies. Schwarzschild dynamic…
▽ More
Detailed imaging and spectroscopic analysis of the centers of nearby S0 and spiral galaxies shows the existence of "composite bulges", where both classical bulges and disky pseudobulges coexist in the same galaxy. As part of a search for supermassive black holes in nearby galaxy nuclei, we obtained VLT-SINFONI observations in adaptive-optics mode of several of these galaxies. Schwarzschild dynamical modeling enables us to disentangle the stellar orbital structure of the different central components, and to distinguish the differing contributions of kinematically hot (classical bulge) and kinematically cool (pseudobulge) components in the same galaxy.
△ Less
Submitted 28 September, 2014;
originally announced September 2014.
-
A graphics processor-based intranuclear cascade and evaporation simulation
Authors:
H. Wan Chan Tseung,
C. Beltran
Abstract:
Monte Carlo simulations of the transport of protons in human tissue have been deployed on graphics processing units (GPUs) with impressive results. To provide a more complete treatment of non-elastic nuclear interactions in these simulations, we developed a fast intranuclear cascade-evaporation simulation for the GPU. This can be used to model non-elastic proton collisions on any therapeutically r…
▽ More
Monte Carlo simulations of the transport of protons in human tissue have been deployed on graphics processing units (GPUs) with impressive results. To provide a more complete treatment of non-elastic nuclear interactions in these simulations, we developed a fast intranuclear cascade-evaporation simulation for the GPU. This can be used to model non-elastic proton collisions on any therapeutically relevant nuclei at incident energies between 20 and 250 MeV. Predictions are in good agreement with Geant4.9.6p2. It takes approximately 2 s to calculate $1\times 10^6$ 200 MeV proton-$^{16}$O interactions on a NVIDIA GTX680 GPU. A speed-up factor of $\sim$20 relative to one Intel i7-3820 core processor thread was achieved.
△ Less
Submitted 18 February, 2014; v1 submitted 30 September, 2013;
originally announced September 2013.
-
On the Number of Interference Alignment Solutions for the K-User MIMO Channel with Constant Coefficients
Authors:
Óscar González,
Carlos Beltrán,
Ignacio Santamaría
Abstract:
In this paper, we study the number of different interference alignment (IA) solutions in a K-user multiple-input multiple-output (MIMO) interference channel, when the alignment is performed via beamforming and no symbol extensions are allowed. We focus on the case where the number of IA equations matches the number of variables. In this situation, the number of IA solutions is finite and constant…
▽ More
In this paper, we study the number of different interference alignment (IA) solutions in a K-user multiple-input multiple-output (MIMO) interference channel, when the alignment is performed via beamforming and no symbol extensions are allowed. We focus on the case where the number of IA equations matches the number of variables. In this situation, the number of IA solutions is finite and constant for any channel realization out of a zero-measure set and, as we prove in the paper, it is given by an integral formula that can be numerically approximated using Monte Carlo integration methods. More precisely, the number of alignment solutions is the scaled average of the determinant of a certain Hermitian matrix related to the geometry of the problem. Interestingly, while the value of this determinant at an arbitrary point can be used to check the feasibility of the IA problem, its average (properly scaled) gives the number of solutions. For single-beam systems the asymptotic growth rate of the number of solutions is analyzed and some connections with classical combinatorial problems are presented. Nonetheless, our results can be applied to arbitrary interference MIMO networks, with any number of users, antennas and streams per user.
△ Less
Submitted 29 May, 2014; v1 submitted 25 January, 2013;
originally announced January 2013.
-
The complexity and geometry of numerically solving polynomial systems
Authors:
Carlos Beltran,
Michael Shub
Abstract:
These pages contain a short overview on the state of the art of efficient numerical analysis methods that solve systems of multivariate polynomial equations. We focus on the work of Steve Smale who initiated this research framework, and on the collaboration between Stephen Smale and Michael Shub, which set the foundations of this approach to polynomial system--solving, culminating in the more rece…
▽ More
These pages contain a short overview on the state of the art of efficient numerical analysis methods that solve systems of multivariate polynomial equations. We focus on the work of Steve Smale who initiated this research framework, and on the collaboration between Stephen Smale and Michael Shub, which set the foundations of this approach to polynomial system--solving, culminating in the more recent advances of Carlos Beltran, Luis Miguel Pardo, Peter Buergisser and Felipe Cucker.
△ Less
Submitted 7 November, 2012;
originally announced November 2012.
-
A Feasibility Test for Linear Interference Alignment in MIMO Channels with Constant Coefficients
Authors:
Oscar Gonzalez,
Carlos Beltran,
Ignacio Santamaria
Abstract:
In this paper, we consider the feasibility of linear interference alignment (IA) for multiple-input multiple-output (MIMO) channels with constant coefficients for any number of users, antennas and streams per user; and propose a polynomial-time test for this problem. Combining algebraic geometry techniques with differential topology ones, we first prove a result that generalizes those previously p…
▽ More
In this paper, we consider the feasibility of linear interference alignment (IA) for multiple-input multiple-output (MIMO) channels with constant coefficients for any number of users, antennas and streams per user; and propose a polynomial-time test for this problem. Combining algebraic geometry techniques with differential topology ones, we first prove a result that generalizes those previously published on this topic. Specifically, we consider the input set (complex projective space of MIMO interference channels), the output set (precoder and decoder Grassmannians) and the solution set (channels, decoders and precoders satisfying the IA polynomial equations), not only as algebraic sets but also as smooth compact manifolds. Using this mathematical framework, we prove that the linear alignment problem is feasible when the algebraic dimension of the solution variety is larger than or equal to the dimension of the input space and the linear mapping between the tangent spaces of both smooth manifolds given by the first projection is generically surjective. If that mapping is not surjective, then the solution variety projects into the input space in a singular way and the projection is a zero-measure set. This result naturally yields a simple feasibility test, which amounts to checking the rank of a matrix. We also provide an exact arithmetic version of the test, which proves that testing the feasibility of IA for generic MIMO channels belongs to the bounded-error probabilistic polynomial (BPP) complexity class.
△ Less
Submitted 15 January, 2014; v1 submitted 1 February, 2012;
originally announced February 2012.
-
Robust certified numerical homotopy tracking
Authors:
Carlos Beltrán,
Anton Leykin
Abstract:
We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equations. If the coordinates of the input systems and the initial zero are rational our algorithm involves only rational computations and if the homotopy is well posed an approximate zero with integer coordinates of the target…
▽ More
We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equations. If the coordinates of the input systems and the initial zero are rational our algorithm involves only rational computations and if the homotopy is well posed an approximate zero with integer coordinates of the target system is obtained. The total bit complexity is linear in the length of the path in the condition metric, and polynomial in the logarithm of the maximum of the condition number along the path, and in the size of the input.
△ Less
Submitted 29 October, 2012; v1 submitted 30 May, 2011;
originally announced May 2011.
-
Certified numerical homotopy tracking
Authors:
Carlos Beltrán,
Anton Leykin
Abstract:
Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical al…
▽ More
Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical algebraic geometry package of Macaulay2 demonstrate the practicality of the algorithm. In particular, we confirm the theoretical results for random linear homotopies and illustrate the plausibility of a conjecture by Shub and Smale on a good initial pair.
△ Less
Submitted 17 December, 2010; v1 submitted 4 December, 2009;
originally announced December 2009.
-
Convexity properties of the condition number II
Authors:
Carlos Beltrán,
Jean-Pierre Dedieu,
Gregorio Malajovich,
Mike Shub
Abstract:
In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating geodesics in such a nonsmooth structure, we show that the inverse of the smallest singular value of a matrix is a log-convex function along geodesics (Theorem 1)…
▽ More
In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating geodesics in such a nonsmooth structure, we show that the inverse of the smallest singular value of a matrix is a log-convex function along geodesics (Theorem 1).
We also show that a similar result holds for the solution variety of linear systems (Theorem 31).
Some of our intermediate results, such as Theorem 12, on the second covariant derivative or Hessian of a function with symmetries on a manifold, and Theorem 29 on piecewise self-convex functions, are of independent interest.
Those results were motivated by our investigations on the com- plexity of path-following algorithms for solving polynomial systems.
△ Less
Submitted 7 May, 2012; v1 submitted 30 October, 2009;
originally announced October 2009.
-
Convexity properties of the condition number
Authors:
Carlos Beltrán,
Jean-Pierre Dedieu,
Gregorio Malajovich,
Mike Shub
Abstract:
We define in the space of n by m matrices of rank n, n less or equal than m, the condition Riemannian structure as follows: For a given matrix A the tangent space of A is equipped with the Hermitian inner product obtained by multiplying the usual Frobenius inner product by the inverse of the square of the smallest singular value of A denoted sigma_n(A). When this smallest singular value has mult…
▽ More
We define in the space of n by m matrices of rank n, n less or equal than m, the condition Riemannian structure as follows: For a given matrix A the tangent space of A is equipped with the Hermitian inner product obtained by multiplying the usual Frobenius inner product by the inverse of the square of the smallest singular value of A denoted sigma_n(A). When this smallest singular value has multiplicity 1, the function A -> log (sigma_n(A)^(-2)) is a convex function with respect to the condition Riemannian structure that is t -> log (sigma_n(A(t))^(-2)) is convex, in the usual sense for any geodesic A(t). In a more abstract setting, a function alpha defined on a Riemannian manifold (M,<,>) is said to be self-convex when log alpha (gamma(t)) is convex for any geodesic in (M,<,>). Necessary and sufficient conditions for self-convexity are given when alpha is C^2. When alpha(x) = d(x,N)^(-2) where d(x,N) is the distance from x to a C^2 submanifold N of R^j we prove that alpha is self-convex when restricted to the largest open set of points x where there is a unique closest point in N to x. We also show, using this more general notion, that the square of the condition number ||A|||_F / sigma_n(A) is self-convex in projective space and the solution variety.
△ Less
Submitted 5 October, 2009; v1 submitted 2 June, 2008;
originally announced June 2008.
