-
Spectrum of the Laplacian and the Jacobi operator on Generalized rotational minimal hypersurfaces of spheres
Authors:
Oscar Perdomo
Abstract:
Let $M\subset S^{n+1}$ be the hypersurface generated by rotating a hypersurface $M_0$ contained in the interior of the unit ball of $\mathbb{R}^{n-k+1}$. More precisely, $M=\{(\sqrt{1-|m|^2}\, y\, , m):y\in S^k,\, m\in M_0\}$. We deduce the equation for the mean curvature of $M$ in terms of the principal curvatures of $M_0$ and in the particular case when $M_0$ is a surface of revolution in…
▽ More
Let $M\subset S^{n+1}$ be the hypersurface generated by rotating a hypersurface $M_0$ contained in the interior of the unit ball of $\mathbb{R}^{n-k+1}$. More precisely, $M=\{(\sqrt{1-|m|^2}\, y\, , m):y\in S^k,\, m\in M_0\}$. We deduce the equation for the mean curvature of $M$ in terms of the principal curvatures of $M_0$ and in the particular case when $M_0$ is a surface of revolution in $\mathbb{R}^3$, we provide a way to find the eigenvalues of the Laplace and the Stability operators. Numerical examples of embedded minimal hypersurface in $S^{n+1}$ will be provided for several values of $n$. To illustrate the method for finding the eigenvalues, we will compute all the eigenvalues of the Laplace operator smaller than 12 and we compute all non positive eigenvalues of the Stability operators for a particular minimal embedded hypersurface in $S^6$. We show that the stability index (the number of negative eigenvalues of the stability operator counted with multiplicity) for this example is 77 and the nullity (the multiplicity of the eigenvalue $λ=0$ of the Stability operator) is 14. Similar results are found in the case where $M_0$ is a hypersurface in $\mathbb{R}^{l+2}$ of the form $(f_2(u) z, f_1(u))$ with $z$ in the $l$-dimensional unit sphere $S^l$
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Lagrange points of Euler's solutions of the 3-body problem
Authors:
Oscar Perdomo
Abstract:
In this paper we classify the central configurations of the circular restricted 4-body problem with three primaries at the collinear configuration of the 3-body problem and an infinitesimal mass. The case where the three primaries have the same mass, with one of the bodies staying motionless at the center of mass, was considered in 2021 by Llibre. The video \url{https://youtu.be/PWFtqxd4RUA} goes…
▽ More
In this paper we classify the central configurations of the circular restricted 4-body problem with three primaries at the collinear configuration of the 3-body problem and an infinitesimal mass. The case where the three primaries have the same mass, with one of the bodies staying motionless at the center of mass, was considered in 2021 by Llibre. The video \url{https://youtu.be/PWFtqxd4RUA} goes over some of the results in this paper.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Five-qubit states generated by Clifford gates
Authors:
Frederic Latour,
Oscar Perdomo
Abstract:
The Clifford group is the set of gates generated by controlled-Z gates, the phase gate and the Hadamard gate. We will say that a n-qubit state is a Clifford state if it can be prepared using Clifford gates. These states are known as the stabilizer states and they arise in quantum error correction. In this paper we study the set of all 5-qubit Clifford states. By using an exhaustive method we start…
▽ More
The Clifford group is the set of gates generated by controlled-Z gates, the phase gate and the Hadamard gate. We will say that a n-qubit state is a Clifford state if it can be prepared using Clifford gates. These states are known as the stabilizer states and they arise in quantum error correction. In this paper we study the set of all 5-qubit Clifford states. By using an exhaustive method we start by confirming that there are 19388160 states. The main goal of the paper is to understand the action of the controlled-Z gates action on the 5-qubit states. With this goal in mind, we partition the Clifford states into orbits using the equivalence relation: two states are equivalent if they differ by a local Clifford gate. We show that there are 93 orbits, and we label each orbit in such a way that it is easy to see the effect of the controlled-Z gates. Diagrams and tables explaining the action of the CZ gates on all the orbits are presented in the paper. A similar work is done for the real Clifford 5-qubits states, this is, for states that can be prepared with Controlled-Z gates, the Z gate and the Hadamard gate.
△ Less
Submitted 1 August, 2023; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Periodic oscillations in the restricted Hip-Hop 2N+1 body problem
Authors:
Andres Rivera,
Oscar Perdomo,
Nelson Castaneda
Abstract:
We prove the existence of periodic solutions of the restricted $(2N+1)$-body problem when the $2N$-primaries move on a periodic Hip-Hop solution and the massless body moves on the line that contains the center of mass and is perpendicular to the base of the antiprism formed by the $2N$-primaries.
We prove the existence of periodic solutions of the restricted $(2N+1)$-body problem when the $2N$-primaries move on a periodic Hip-Hop solution and the massless body moves on the line that contains the center of mass and is perpendicular to the base of the antiprism formed by the $2N$-primaries.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Deep Semi-Supervised and Self-Supervised Learning for Diabetic Retinopathy Detection
Authors:
Jose Miguel Arrieta Ramos,
Oscar Perdómo,
Fabio A. González
Abstract:
Diabetic retinopathy (DR) is one of the leading causes of blindness in the working-age population of developed countries, caused by a side effect of diabetes that reduces the blood supply to the retina. Deep neural networks have been widely used in automated systems for DR classification on eye fundus images. However, these models need a large number of annotated images. In the medical domain, ann…
▽ More
Diabetic retinopathy (DR) is one of the leading causes of blindness in the working-age population of developed countries, caused by a side effect of diabetes that reduces the blood supply to the retina. Deep neural networks have been widely used in automated systems for DR classification on eye fundus images. However, these models need a large number of annotated images. In the medical domain, annotations from experts are costly, tedious, and time-consuming; as a result, a limited number of annotated images are available. This paper presents a semi-supervised method that leverages unlabeled images and labeled ones to train a model that detects diabetic retinopathy. The proposed method uses unsupervised pretraining via self-supervised learning followed by supervised fine-tuning with a small set of labeled images and knowledge distillation to increase the performance in classification task. This method was evaluated on the EyePACS test and Messidor-2 dataset achieving 0.94 and 0.89 AUC respectively using only 2% of EyePACS train labeled images.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Periodic oscillations in a 2N-body problem
Authors:
Oscar Perdomo,
Andrés Rivera,
John A. Arredondo,
Nelson Castañeda
Abstract:
Hip-Hop solutions of the $2N$-body problem are solutions that satisfy at every instance of time, that the $2N$ bodies with the same mass $m$, are at the vertices of two regular $N$-gons, each one of these $N$-gons are at planes that are equidistant from a fixed plane $Π_0$ forming an antiprism. In this paper, we first prove that for every $N$ and every $m$ there exists a family of periodic hip-hop…
▽ More
Hip-Hop solutions of the $2N$-body problem are solutions that satisfy at every instance of time, that the $2N$ bodies with the same mass $m$, are at the vertices of two regular $N$-gons, each one of these $N$-gons are at planes that are equidistant from a fixed plane $Π_0$ forming an antiprism. In this paper, we first prove that for every $N$ and every $m$ there exists a family of periodic hip-hop solutions. For every solution in these families the oriented distance to the plane $Π_0$, which we call $d(t)$, is an odd function that is also even with respect to $t=T$ for some $T>0.$ For this reason we call solutions in these families, double symmetric solutions. By exploring more carefully our initial set of periodic solutions, we numerically show that some of the branches stablished in our existence theorem have bifurcations that produce branches of solutions with the property that the oriented distance function $d(t)$ is not even with respect to any $T>0$, we call these solutions single symmetry solutions. We prove that no single symmetry solution is a choreography. We also display explicit double symmetric solutions that are choreographies.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Preparation of 3-qubit states
Authors:
Oscar Perdomo,
Nelson Castaneda,
Roger Vogeler
Abstract:
We will call a pure qubit state real if all its amplitudes are real numbers. We show that any real 3-qubit state can be prepared using $R_y(θ)$ gates and at most four controlled-$Z$ gates, and we conjecture that four is optimal. We also present an algorithm -- different from the 2008 algorithm given by Znidaric, Giraud and Georgeot -- that prepares any 3-qubit state using local gates and at most t…
▽ More
We will call a pure qubit state real if all its amplitudes are real numbers. We show that any real 3-qubit state can be prepared using $R_y(θ)$ gates and at most four controlled-$Z$ gates, and we conjecture that four is optimal. We also present an algorithm -- different from the 2008 algorithm given by Znidaric, Giraud and Georgeot -- that prepares any 3-qubit state using local gates and at most three controlled-$Z$ gates. Videos showing how our method works for two- and three-qubit states can be found at https://youtu.be/LIdYSs-rE-o and https://youtu.be/Kne0Vq7gyzQ
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
CMC hypersurfaces with two principal curvatures
Authors:
Oscar Perdomo
Abstract:
This paper explains the construction of all hypersurfaces with constant mean curvature -- cmc -- and exactly two principal curvatures on any space form endowed with a semi-riemannian metric. Here we will consider riemannian hypersurfaces as well as hypersurfaces with semi-riemannian metrics induced by the ambient space. We show explicit immersions for all these hypersurfaces. We will see that for…
▽ More
This paper explains the construction of all hypersurfaces with constant mean curvature -- cmc -- and exactly two principal curvatures on any space form endowed with a semi-riemannian metric. Here we will consider riemannian hypersurfaces as well as hypersurfaces with semi-riemannian metrics induced by the ambient space. We show explicit immersions for all these hypersurfaces. We will see that for any given ambient space, the family of cmc hypersurfaces with two principal curvatures depends on two parameters, $H$ and $C$. We describe the range for all possible $(H,C)$ associated with complete cmc hypersurfaces. We end the paper by finding optimal bounds for the traceless second fundamental form in terms of $H$ and $n$.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
A deep learning model for classification of diabetic retinopathy in eye fundus images based on retinal lesion detection
Authors:
Melissa delaPava,
Hernán Ríos,
Francisco J. Rodríguez,
Oscar J. Perdomo,
Fabio A. González
Abstract:
Diabetic retinopathy (DR) is the result of a complication of diabetes affecting the retina. It can cause blindness, if left undiagnosed and untreated. An ophthalmologist performs the diagnosis by screening each patient and analyzing the retinal lesions via ocular imaging. In practice, such analysis is time-consuming and cumbersome to perform. This paper presents a model for automatic DR classifica…
▽ More
Diabetic retinopathy (DR) is the result of a complication of diabetes affecting the retina. It can cause blindness, if left undiagnosed and untreated. An ophthalmologist performs the diagnosis by screening each patient and analyzing the retinal lesions via ocular imaging. In practice, such analysis is time-consuming and cumbersome to perform. This paper presents a model for automatic DR classification on eye fundus images. The approach identifies the main ocular lesions related to DR and subsequently diagnoses the illness. The proposed method follows the same workflow as the clinicians, providing information that can be interpreted clinically to support the prediction. A subset of the kaggle EyePACS and the Messidor-2 datasets, labeled with ocular lesions, is made publicly available. The kaggle EyePACS subset is used as a training set and the Messidor-2 as a test set for lesions and DR classification models. For DR diagnosis, our model has an area-under-the-curve, sensitivity, and specificity of 0.948, 0.886, and 0.875, respectively, which competes with state-of-the-art approaches.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
A Small Variation of the Circular Hodograph Theorem and the Best Elliptical Trajectory of the Planets
Authors:
Carman Cater,
Oscar Perdomo,
Amanda Valentine
Abstract:
A small variation of the circular shape of the hodograph theorem states that for every elliptical solution of the two-body problem, it is possible to find an appropriate inertial frame such that the speed of the bodies is constant. We use this result and data from the NASA JPL Horizon Web Interface to find the best fitting ellipse for the trajectory of Mercury, Venus, Earth, Mars, and Jupiter. The…
▽ More
A small variation of the circular shape of the hodograph theorem states that for every elliptical solution of the two-body problem, it is possible to find an appropriate inertial frame such that the speed of the bodies is constant. We use this result and data from the NASA JPL Horizon Web Interface to find the best fitting ellipse for the trajectory of Mercury, Venus, Earth, Mars, and Jupiter. The process requires us to find procedures to obtain the plane and ellipse that best fit a collection of points in space. We show that if we aim for the plane that minimizes the sum of the square distances from the given points to the unknown plane, we obtain three planes that appear to divide the set of points equally into octants, one of these being our desired plane of best fit. We provide a detailed proof of the hodograph theorem.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Schmidt representation of 3-qubits with real amplitudes
Authors:
Oscar Perdomo
Abstract:
From the Schmidt representation we have that, up to local gates, every 2-qubit state can be written as $[φ\rangle=λ_1 [00\rangle+λ_2 [11\rangle$ with $λ_1$ and $λ_2$ real numbers. For 3-qubits states, it is known, PRL 2000 85, that up to local gates every 3-qubit state can be written as $[φ\rangle=λ_1 [000\rangle+λ_2 e^{i θ}[100\rangle+λ_3[101\rangle+λ_4[110\rangle+λ_5[111\rangle$ with $λ_i\ge0$ a…
▽ More
From the Schmidt representation we have that, up to local gates, every 2-qubit state can be written as $[φ\rangle=λ_1 [00\rangle+λ_2 [11\rangle$ with $λ_1$ and $λ_2$ real numbers. For 3-qubits states, it is known, PRL 2000 85, that up to local gates every 3-qubit state can be written as $[φ\rangle=λ_1 [000\rangle+λ_2 e^{i θ}[100\rangle+λ_3[101\rangle+λ_4[110\rangle+λ_5[111\rangle$ with $λ_i\ge0$ and $0\le θ\le π$. In this paper, we show that no every 3-qubit state with real amplitudes can be transform in the form $[φ\rangle=λ_1 [000\rangle+λ_2 [100\rangle+λ_3[101\rangle+λ_4[110\rangle+λ_5[111\rangle$ by using local gates in the orthogonal group (the group generated by $R_y(θ)$ and $X$ gates). We also show that, up to local gates in the orthogonal group, every 3-qubit with real amplitudes can be written as $[φ\rangle=λ_1 [000\rangle+λ_2 [011\rangle+λ_3[101\rangle+λ_4[110\rangle+λ_5[111\rangle$ with the $λ_i$ real numbers. An explanation of this result can be found in the youtube video \url{https://youtu.be/gDN20QHzsoQ}
△ Less
Submitted 27 December, 2020;
originally announced December 2020.
-
Bifurcation of periodic orbits for the $N$-body problem, from a non geometrical family of solutions
Authors:
Oscar Perdomo,
Andrés Rivera,
Johann Suárez
Abstract:
Given two positive real numbers $M$ and $m$ and an integer $n>2$, it is well known that we can find a family of solutions of the $(n+1)$-body problem where the body with mass $M$ stays put at the origin and the other $n$ bodies, all with the same mass $m$, move on the $x$-$y$ plane following ellipses with eccentri\-city $e$. It is expected that this geometrical family that depends on $e$, has some…
▽ More
Given two positive real numbers $M$ and $m$ and an integer $n>2$, it is well known that we can find a family of solutions of the $(n+1)$-body problem where the body with mass $M$ stays put at the origin and the other $n$ bodies, all with the same mass $m$, move on the $x$-$y$ plane following ellipses with eccentri\-city $e$. It is expected that this geometrical family that depends on $e$, has some bifurcations that produce solutions where the body in the center moves on the $z$-axis instead of staying put in the origin. By doing an analytic continuation of a periodic numerical solution of the $4$-body problem --the one displayed on the video http://youtu.be/2Wpv6vpOxXk --we surprisingly discovered that the origin of this periodic solution is not part of the geometrical family of elliptical solutions parametrized by the eccentricity $e$. It comes from a not so geometrical but easier to describe family. Having noticed this new family, the authors find an exact formula for the bifurcation point in this new family and use it to show the existence of a non-planar periodic solution for any pair of masses $M$, $m$, and any integer $n$. As a particular example, we find a solution where three bodies with mass $3$ move around a body with mass $7$ that moves up and down.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
Controlled not connectivity in the Clifford group
Authors:
Oscar Perdomo,
Reilly Ratcliffe
Abstract:
The Clifford group is the set of gates generated by the CZ gate, and the two local gates: the Hadamard and the Pi/2 phase shift gate. It is known that, for a two qubit system, the Clifford group C2 is a subgroup of order 92160 of the group of 4 by 4 unitary matrices. It is also known that the local Clifford gates LC2 is a subgroup of order 4608 of the group C2. In order to better understand the se…
▽ More
The Clifford group is the set of gates generated by the CZ gate, and the two local gates: the Hadamard and the Pi/2 phase shift gate. It is known that, for a two qubit system, the Clifford group C2 is a subgroup of order 92160 of the group of 4 by 4 unitary matrices. It is also known that the local Clifford gates LC2 is a subgroup of order 4608 of the group C2. In order to better understand the set C2, we make two matrices U1 and U2 in C2 equivalent if U_1=VU_2 for some V in LC2. We show that this equivalence relation splits C2 into 20 orbits, O1, ..., O20, each with 4608 elements. Moreover, for each orbit Oi, CZOi intersects 9 different orbits Oi1, ...,Oi9. Moreover, the intersection of Oij and CZOi has 512 matrices for each j=1,2, ..., ,9. The link https://www.youtube.com/watch?v=lcYtB2tnXFw&t=685s leads you to a YouTube video that explains the most important results in this paper.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Hybrid Deep Learning Gaussian Process for Diabetic Retinopathy Diagnosis and Uncertainty Quantification
Authors:
Santiago Toledo-Cortés,
Melissa De La Pava,
Oscar Perdómo,
Fabio A. González
Abstract:
Diabetic Retinopathy (DR) is one of the microvascular complications of Diabetes Mellitus, which remains as one of the leading causes of blindness worldwide. Computational models based on Convolutional Neural Networks represent the state of the art for the automatic detection of DR using eye fundus images. Most of the current work address this problem as a binary classification task. However, inclu…
▽ More
Diabetic Retinopathy (DR) is one of the microvascular complications of Diabetes Mellitus, which remains as one of the leading causes of blindness worldwide. Computational models based on Convolutional Neural Networks represent the state of the art for the automatic detection of DR using eye fundus images. Most of the current work address this problem as a binary classification task. However, including the grade estimation and quantification of predictions uncertainty can potentially increase the robustness of the model. In this paper, a hybrid Deep Learning-Gaussian process method for DR diagnosis and uncertainty quantification is presented. This method combines the representational power of deep learning, with the ability to generalize from small datasets of Gaussian process models. The results show that uncertainty quantification in the predictions improves the interpretability of the method as a diagnostic support tool. The source code to replicate the experiments is publicly available at https://github.com/stoledoc/DLGP-DR-Diagnosis.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Constant-speed ramps for a central force field
Authors:
Rafael López,
Óscar Perdomo
Abstract:
We investigate the problem of determining the planar curves that describe ramps where a particle of mass $m$ moves with constant-speed when is subject to the action of the friction force and a force whose magnitude $F(r)$ depends only on the distance $r$ from the origin. In this paper we describe all the constant-speed ramps for the case $F(r)=-m/r$. We show the circles and the logarithmic spirals…
▽ More
We investigate the problem of determining the planar curves that describe ramps where a particle of mass $m$ moves with constant-speed when is subject to the action of the friction force and a force whose magnitude $F(r)$ depends only on the distance $r$ from the origin. In this paper we describe all the constant-speed ramps for the case $F(r)=-m/r$. We show the circles and the logarithmic spirals play an important role. No only they are solutions but every other solution approaches either a circle or a logarithmic spiral.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Four qubits generated by Clifford gates
Authors:
Frederic Latour,
Oscar Perdomo
Abstract:
The Clifford group is the set of gates generated by the controlled not gates, the Hadamard gate and the P={{1,0},{0,i}} gate. We will say that a n-qubit state is a Clifford state if it can be prepared using Clifford gates. In this paper we study the set of all 4-qubit Clifford states. We prove that there are 293760 states and their entanglement entropy must be either 0, 2/3, 1, 4/3 and 5/3. We als…
▽ More
The Clifford group is the set of gates generated by the controlled not gates, the Hadamard gate and the P={{1,0},{0,i}} gate. We will say that a n-qubit state is a Clifford state if it can be prepared using Clifford gates. In this paper we study the set of all 4-qubit Clifford states. We prove that there are 293760 states and their entanglement entropy must be either 0, 2/3, 1, 4/3 and 5/3. We also show that any pair of these states can be connected using local gates and at most 3 CNOT gates. We achieve this by splitting the 293760 states into 18 groups where each pair of states in a group can be connected with a local Clifford gate. We then study how the different CNOT gates act on the 18 groups. We also study the Clifford states with real entries under the action of the subgroup C_R of Clifford gates with real entries. This time we show that every pair of Clifford states with real entries can be connected with at most 5 CNOT gates and local gates in C_R. The link https://youtu.be/42MI6ks2_eU leads to a YouTube video that explains the most important results in this paper.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
Partition of 3-qubits using local gates
Authors:
Oscar Perdomo
Abstract:
It is well known that local gates have smaller error than non-local gates. For this reason it is natural to make two states equivalent if they differ by a local gate. Since two states that differ by a local gate have the same entanglement entropy, then the entanglement entropy defines a function in the quotient space. In this paper we study this equivalence relation on (i) the set…
▽ More
It is well known that local gates have smaller error than non-local gates. For this reason it is natural to make two states equivalent if they differ by a local gate. Since two states that differ by a local gate have the same entanglement entropy, then the entanglement entropy defines a function in the quotient space. In this paper we study this equivalence relation on (i) the set $\mathbb{R}\hbox{Q}(3)$ of 3-qubit states with real amplitudes, (ii) the set $Q\mathcal{C}$ of 3-qubit states that can be prepared with gates on the Clifford group, and (iii) the set $Q\mathbb{R}\mathcal{C}$ of 3-qubit states in $Q\mathcal{C}$ with real amplitudes. We show that the set $Q\mathcal{C}$ has 8460 states and the quotient space has 5 elements. We have $\frac{Q\mathcal{C}}{\sim}=\{S_{0},S_{2/3,1},S_{2/3,2},S_{2/3,3},S_{1}\}$. As usual, we will call the elements in the quotient space, orbits. We have that the orbit $S_0$ contains all the states that differ by a local gate with the state $|000\rangle$. There are 1728 states in $S_0$ and as expected, they have zero entanglement entropy. All the states in the orbits $S_{2/3,1},S_{2/3,2},S_{2/3,3}$ have entanglement entropy $2/3$ and each one of these orbits has 1152 states. Finally, the orbit $S_{1}$ has 3456 elements and all its states have maximum entanglement entropy equal to one. We also study how the controlled not gates $CNOT(1,2)$ and $CNOT(2,3)$ act on these orbits. For example, we show that when we apply a $CNOT(1,2)$ to all the states in $S_0$, then 960 states go back to the same orbit $S_0$ and 768 states go to the orbit $S_{2/3,1}$. Similar results are obtained for $\mathbb{R}Q\mathcal{C}$. We also show that the entanglement entropy function reaches its maximum value 1 in more than one point when acting on $\frac{\hbox{$\mathbb{R}$Q(3)} }{\sim}$.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
Entanglement types for two-qubit states with real amplitudes
Authors:
Oscar Perdomo,
Vicente Leyton-Ortega,
Alejandro Perdomo-Ortiz
Abstract:
We study the set of two-qubit pure states with real amplitudes and their geometrical representation in the three-dimensional sphere. In this representation, we show that the maximally entangled states --those locally equivalent to the Bell States --form two disjoint circles perpendicular to each other. We also show that taking the natural Riemannian metric on the sphere, the set of states connecte…
▽ More
We study the set of two-qubit pure states with real amplitudes and their geometrical representation in the three-dimensional sphere. In this representation, we show that the maximally entangled states --those locally equivalent to the Bell States --form two disjoint circles perpendicular to each other. We also show that taking the natural Riemannian metric on the sphere, the set of states connected by local gates are equidistant to this pair of circles. Moreover, the unentangled, or so-called product states, are $π/4$ units away to the maximally entangled states. This is, the unentangled states are the farthest away to the maximally entangled states. In this way, if we define two states to be equivalent if they are connected by local gates, we have that there are as many equivalent classes as points in the interval $[0,π/4]$ with the point $0$ corresponding to the maximally entangled states. The point $π/4$ corresponds to the unentangled states which geometrically are described by a torus. Finally, for every $0< d < π/4$ the point $d$ corresponds to a disjoint pair of torus. We also show that if a state is $d$ units away from the maximally entangled states, then its entanglement entropy is $S(d) = 1- \log_2 \sqrt{\frac{(1+\sin 2 d)^{1+\sin 2 d}}{(1-\sin 2 d)^{-1+\sin 2 d}}}$. Finally, we also show how this geometrical interpretation allows us to clearly see that any pair of two-qubit states with real amplitudes can be connected with a circuit that only has single-qubit gates and one controlled-Z gate.
△ Less
Submitted 11 December, 2019; v1 submitted 5 March, 2019;
originally announced March 2019.
-
On the index of minimal hypersurfaces of spheres
Authors:
Oscar M. Perdomo
Abstract:
Let $M\subset S^{n+1}\subset\mathbb{R}^{n+2}$ be a compact minimal hypersurface of the $n$-dimensional Euclidean unit sphere. Let us denote by $|A|^2$ the square of the norm of the second fundamental form and $J(f)=-Δf-nf-|A|^2f$ the stability operator. It is known that the index (the number of negative eigenvalues of $J$) is 1 when $M$ is a totally geodesic sphere, and it is $n+3$ when $M$ is a C…
▽ More
Let $M\subset S^{n+1}\subset\mathbb{R}^{n+2}$ be a compact minimal hypersurface of the $n$-dimensional Euclidean unit sphere. Let us denote by $|A|^2$ the square of the norm of the second fundamental form and $J(f)=-Δf-nf-|A|^2f$ the stability operator. It is known that the index (the number of negative eigenvalues of $J$) is 1 when $M$ is a totally geodesic sphere, and it is $n+3$ when $M$ is a Clifford minimal hypersurface. It has been conjectured that for any other minimal hypersurface, the index must be greater than $n+3$. One partial result for this conjecture states that if the index is $n+3$ and $M$ is not Clifford, then $\int_M |A|^2<n|M|$ where $|M|$ is the $n$ dimensional volume of $M$. Somehow this partial result states that if the index of $M$ is $n+3$ then the average of the function $|A|^2$ needs to be small. In this note we prove that this average cannot be very small. We will show that for any pair of positive numbers $δ_1$ and $δ_2$ with $δ_1+δ_2=1$, if $\int_M |A|^2\le δ_2 n|M|$ and $|A|^2(x)\le2nδ_1$ for all $x\in M$, then the index of $M$ is greater than $n+3$.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Spectrum of the Laplacian and the Jacobi operator on rotational cmc hypersurfaces of spheres
Authors:
Oscar Perdomo
Abstract:
Let $M\subset \mathbb{S}^{n+1}\subset\mathbb{R}^{n+2}$ be a compact cmc rotational hypersurface of the $(n+1)$-dimensional Euclidean unit sphere. Denote by $|A|^2$ the square of the norm of the second fundamental form and $J(f)=-Δf-nf-|A|^2f$ the stability or Jacobi operator. In this paper we compute the spectra of their Laplace and Jacobi operators in terms of eigenvalues of second order Hill's e…
▽ More
Let $M\subset \mathbb{S}^{n+1}\subset\mathbb{R}^{n+2}$ be a compact cmc rotational hypersurface of the $(n+1)$-dimensional Euclidean unit sphere. Denote by $|A|^2$ the square of the norm of the second fundamental form and $J(f)=-Δf-nf-|A|^2f$ the stability or Jacobi operator. In this paper we compute the spectra of their Laplace and Jacobi operators in terms of eigenvalues of second order Hill's equations.
For the minimal rotational examples, we prove that the stability index --the numbers of negative eigenvalues of the Jacobi operator counted with multiplicity -- is greater than $3 n+4$ and we also prove that there are at least 2 positive eigenvalues of the Laplacian of $M$ smaller than $n$. When $H$ is not zero, we have that every non-flat CMC rotational immersion is generated by rotating a planar profile curve along a geodesic called the axis of rotation. Let $m$ be the number of points where the maximal distance from this profile curve to the origin is achieved (we assume that the coordinates of the plane containing the profile curve has been set up so that the axis of rotation goes through the origin). Let $l$ be be the wrap** number of the profile curve. We show that the number of negative eigenvalues of the operator $J$ counted with multiplicity is at least $(2l-1)n+(2m-1)$. This result was proven for the case $n=2$ by Rossman and Sultana. They called $m$ the number of bulges or the number of necks. We will slightly change the definition of $l$ to include immersed examples that contain the axis of rotation.
△ Less
Submitted 20 March, 2019; v1 submitted 19 February, 2019;
originally announced February 2019.
-
Robust Implementation of Generative Modeling with Parametrized Quantum Circuits
Authors:
Vicente Leyton-Ortega,
Alejandro Perdomo-Ortiz,
Oscar Perdomo
Abstract:
Although the performance of hybrid quantum-classical algorithms is highly dependent on the selection of the classical optimizer and the circuit ansatz, a robust and thorough assessment on-hardware of such features has been missing to date. From the optimizer perspective, the primary challenge lies in the solver's stochastic nature, and their significant variance over the random initialization. The…
▽ More
Although the performance of hybrid quantum-classical algorithms is highly dependent on the selection of the classical optimizer and the circuit ansatz, a robust and thorough assessment on-hardware of such features has been missing to date. From the optimizer perspective, the primary challenge lies in the solver's stochastic nature, and their significant variance over the random initialization. Therefore, a robust comparison requires that one perform several training curves for each solver before one can reach conclusions about their typical performance. Since each of the training curves requires the execution of thousands of quantum circuits in the quantum computer, such a robust study remained a steep challenge for most hybrid platforms available today. Here, we leverage on Rigetti's Quantum Cloud Services to overcome this implementation barrier, and we study the on-hardware performance of the data-driven quantum circuit learning (DDQCL) for three different state-of-the-art classical solvers, and on two-different circuit ansatze associated to different entangling connectivity graphs for the same task. Additionally, we assess the gains in performance from varying circuit depths. To evaluate the typical performance associated with each of these settings in this benchmark study, we use at least five independent runs of DDQCL towards the generation of quantum generative models capable of capturing the patterns of the canonical Bars and Stripes data set.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
Training of Quantum Circuits on a Hybrid Quantum Computer
Authors:
D. Zhu,
N. M. Linke,
M. Benedetti,
K. A. Landsman,
N. H. Nguyen,
C. H. Alderete,
A. Perdomo-Ortiz,
N. Korda,
A. Garfoot,
C. Brecque,
L. Egan,
O. Perdomo,
C. Monroe
Abstract:
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid m…
▽ More
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid machine. The training proceeds by running parameterized circuits on a trapped ion quantum computer, and feeding the results to a classical optimizer. We apply two separate strategies, Particle Swarm and Bayesian optimization to this task. We show that the convergence of the quantum circuit to the target distribution depends critically on both the quantum hardware and classical optimization strategy. Our study represents the first successful training of a high-dimensional universal quantum circuit, and highlights the promise and challenges associated with hybrid learning schemes.
△ Less
Submitted 31 October, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
A generative modeling approach for benchmarking and training shallow quantum circuits
Authors:
Marcello Benedetti,
Delfina Garcia-Pintos,
Oscar Perdomo,
Vicente Leyton-Ortega,
Yunseong Nam,
Alejandro Perdomo-Ortiz
Abstract:
Hybrid quantum-classical algorithms provide ways to use noisy intermediate-scale quantum computers for practical applications. Expanding the portfolio of such techniques, we propose a quantum circuit learning algorithm that can be used to assist the characterization of quantum devices and to train shallow circuits for generative tasks. The procedure leverages quantum hardware capabilities to its f…
▽ More
Hybrid quantum-classical algorithms provide ways to use noisy intermediate-scale quantum computers for practical applications. Expanding the portfolio of such techniques, we propose a quantum circuit learning algorithm that can be used to assist the characterization of quantum devices and to train shallow circuits for generative tasks. The procedure leverages quantum hardware capabilities to its fullest extent by using native gates and their qubit connectivity. We demonstrate that our approach can learn an optimal preparation of the Greenberger-Horne-Zeilinger states, also known as "cat states". We further demonstrate that our approach can efficiently prepare approximate representations of coherent thermal states, wave functions that encode Boltzmann probabilities in their amplitudes. Finally, complementing proposals to characterize the power or usefulness of near-term quantum devices, such as IBM's quantum volume, we provide a new hardware-independent metric called the qBAS score. It is based on the performance yield in a specific sampling task on one of the canonical machine learning data sets known as Bars and Stripes. We show how entanglement is a key ingredient in encoding the patterns of this data set; an ideal benchmark for testing hardware starting at four qubits and up. We provide experimental results and evaluation of this metric to probe the trade off between several architectural circuit designs and circuit depths on an ion-trap quantum computer.
△ Less
Submitted 2 June, 2019; v1 submitted 23 January, 2018;
originally announced January 2018.
-
Algebraic cmc hypersurface of order 3 in Euclidean spaces
Authors:
Oscar Perdomo,
Vladimir G. Tkachev
Abstract:
We prove that there are not algebraic hypersurfaces of degree 3 in $\mathbb{R}^n$ with non zero constant mean curvature.
We prove that there are not algebraic hypersurfaces of degree 3 in $\mathbb{R}^n$ with non zero constant mean curvature.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
On the period of the periodic orbits of the restricted three body problem
Authors:
Oscar M Perdomo
Abstract:
We will show that the period $T$ of a closed orbit of the planar circular restricted three-body problem (viewed on rotating coordinates) depends on the region it encloses. Roughly speaking, we show that, $2 T=kπ+\int_Ωg$ where $k$ is an integer, $Ω$ is the region enclosed by the periodic orbit and $g:\mathbb{R}^2\to \mathbb{R}$ is a function that only depends on the constant $C$ known as the Jacob…
▽ More
We will show that the period $T$ of a closed orbit of the planar circular restricted three-body problem (viewed on rotating coordinates) depends on the region it encloses. Roughly speaking, we show that, $2 T=kπ+\int_Ωg$ where $k$ is an integer, $Ω$ is the region enclosed by the periodic orbit and $g:\mathbb{R}^2\to \mathbb{R}$ is a function that only depends on the constant $C$ known as the Jacobian integral; it does not depend on $Ω$. This theorem has a Keplerian flavor in the sense that it relates the period with the space "swept" by the orbit. As an application, we prove that there is a neighborhood around $L_4$ such that every periodic solution contained in this neighborhood must move clockwise. The same result holds true for $L_5$.
△ Less
Submitted 22 November, 2016;
originally announced November 2016.
-
Near Periodic solution of the Elliptic RTBP for the Jupiter Sun system
Authors:
Oscar M. Perdomo
Abstract:
Let us consider the elliptic restricted three body problem (Elliptic RTBP) for the Jupiter Sun system with eccentricity $e=0.048$ and $μ=0.000953339$. Let us denote by $T$ the period of their orbits. In this paper we provide initial conditions for the position and velocity for a spacecraft such that after one period $T$ the spacecraft comes back to the same place, with the same velocity, within an…
▽ More
Let us consider the elliptic restricted three body problem (Elliptic RTBP) for the Jupiter Sun system with eccentricity $e=0.048$ and $μ=0.000953339$. Let us denote by $T$ the period of their orbits. In this paper we provide initial conditions for the position and velocity for a spacecraft such that after one period $T$ the spacecraft comes back to the same place, with the same velocity, within an error of 4 meters for the position and 0.2 meters per second for the velocity. Taking this solution as periodic, we present numerical evidence showing that this solution is stable. In order to compare this periodic solution with the motion of celestial bodies in our solar system, we end this paper by providing an ephemeris of the spacecraft motion from February 17, 2017 to December 28, 2028.
△ Less
Submitted 6 June, 2016;
originally announced June 2016.
-
Existence and Stability the Lagrangian point $L_4$ for the Earth-Sun system under a relativistic framework
Authors:
Oscar M. Perdomo
Abstract:
It is well known that, from the Newtonian point of view, the Lagrangian point $L_4$ in the circular restricted three body is stable if $μ< \frac{1}{18}(9-\sqrt{19})\approx 0.03852$. In this paper we will provide a formula that allows us to compute the eigenvalues of the matrix that determines the stability of the equilibrium points of a family of ordinary differential equations. As an application…
▽ More
It is well known that, from the Newtonian point of view, the Lagrangian point $L_4$ in the circular restricted three body is stable if $μ< \frac{1}{18}(9-\sqrt{19})\approx 0.03852$. In this paper we will provide a formula that allows us to compute the eigenvalues of the matrix that determines the stability of the equilibrium points of a family of ordinary differential equations. As an application we will show that, under the relativistic framework, the Lagrangian point $L_4$ is also stable for the Sun-Earth system. Similar arguments show the stability for $L_4$ not only for the Sun-Earth system but for systems coming from a range of values for $μ$ similar to those in the Newtonian restricted three body problem.
△ Less
Submitted 15 May, 2016;
originally announced May 2016.
-
Existence and stability of Lagrangian points in the relativistic restricted three body problem
Authors:
Oscar M Perdomo
Abstract:
It is well known that objects can oscillate around the Lagrangian point L4. In this manuscript we compute the period of these oscillations by computing the exact expression of the characteristic polynomial of the matrix that determined the stability of the Lagrangian point. When we use relativity theory we are supposed to get a small improvement of this period. This paper compares the values of th…
▽ More
It is well known that objects can oscillate around the Lagrangian point L4. In this manuscript we compute the period of these oscillations by computing the exact expression of the characteristic polynomial of the matrix that determined the stability of the Lagrangian point. When we use relativity theory we are supposed to get a small improvement of this period. This paper compares the values of the the characteristic polynomials computed in the following way: 1. Using relativity with an error smaller than 10^{-30}. 2. The characteristic polynomial coming from a paper written in 2002, 3. The characteristic polynomial coming from a paper written in 2006 and 4. The characteristic polynomial obtain without using relativity.
We show that the polynomial 1 is closer to the polynomial 4 than it is to the polynomials 2 and 3. This is, the error in both polynomials that dealt with relativity coming from previous papers is bigger than the error coming from the characteristic polynomial that do not use relativity at all.
We also prove the existence of the Lagrangian point L4 in the Sun-Earth system using the Poincare Miranda theorem.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
A family of periodic solutions of the three body problem. Light version
Authors:
Oscar Perdomo
Abstract:
In this paper we describe a 1-dimensional family of initial conditions Σthat provides reduced periodic solution of the three body problem. This family Σcontains a bifurcation point and extend the periodic solution described in (Perdomo, http://arxiv.longhoe.net/pdf/1507.01100.pdf). This 1-dimensional family is the union of two embedded smooth curves. We will explain how the trajectories of the bodies in t…
▽ More
In this paper we describe a 1-dimensional family of initial conditions Σthat provides reduced periodic solution of the three body problem. This family Σcontains a bifurcation point and extend the periodic solution described in (Perdomo, http://arxiv.longhoe.net/pdf/1507.01100.pdf). This 1-dimensional family is the union of two embedded smooth curves. We will explain how the trajectories of the bodies in the solutions coming from one of the embedded curves have two symmetries while those coming from the other embedded curve only have one symmetry. The Round Taylor Method is a numerical method implemented by the author to keep track of the global error and the round-off error. A second version of this paper, same title with the "light version" part removed, will include analysis of the error of the solutions using the Round Taylor Method.
△ Less
Submitted 16 September, 2015;
originally announced September 2015.
-
A small variation of the Taylor Method and periodic solutions of the 3-body problem
Authors:
Oscar Perdomo
Abstract:
In this paper we define a small variation of the Taylor method and a formula for the global error of this new numerical method that allows us to keep track of the round-off error and does not require previous knowledge of the exact solution. As an application we provide a rigorous proof of the construction/existence of a periodic solution of the three body problem. Some images of this periodic mot…
▽ More
In this paper we define a small variation of the Taylor method and a formula for the global error of this new numerical method that allows us to keep track of the round-off error and does not require previous knowledge of the exact solution. As an application we provide a rigorous proof of the construction/existence of a periodic solution of the three body problem. Some images of this periodic motion can be seen at https://www.youtube.com/watch?v=fSmQyeKcj5k
△ Less
Submitted 4 July, 2015;
originally announced July 2015.
-
A family of Solutions of the N-Body Problem
Authors:
Oscar Perdomo
Abstract:
In this paper we characterize all the solutions of the three body problem on which one body with mass $m_1$ remains in a fixed line and the other two bodies have the same mass $m_2$. We show that all the solutions with negative total energy (potential plus kinetic), never collide. "Explicit" solutions of the motion of all the three bodies are given in term of just one solution of an ordinary diffe…
▽ More
In this paper we characterize all the solutions of the three body problem on which one body with mass $m_1$ remains in a fixed line and the other two bodies have the same mass $m_2$. We show that all the solutions with negative total energy (potential plus kinetic), never collide. "Explicit" solutions of the motion of all the three bodies are given in term of just one solution of an ordinary differential equation of order two of one real value function. We show that the solutions of a big subfamily of this family remains bounded for all time. The same results are shown for the n-body problem. When the body on the line remains constant, we have provide exact formulas for the solutions --for any n-- in the same way as we have for the two body problem. Once we have shown that there are infinitely many periodic solutions, we provide several examples of periodic examples for the 3-Body, 4-Body, 5-Body and 6-Body problem. This is a first version. Comments and suggestions for references are welcome. A YouTube video explaining one of this solutions has been posted on http://youtu.be/2Wpv6vpOxXk
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Equilibrium Shapes of Cylindrical Rotating Liquid Drops
Authors:
Bennett Palmer,
Oscar Perdomo
Abstract:
See http://www.youtube.com/watch?v=izbGXdjvK_I for a YouTube video showing part of the results in this paper.We will consider surfaces whose mean curvature at a point is a linear function of the square of the distance from that point to the vertical axis. We restrict ourselves here to surfaces which are cylinders over a curve in a horizontal plane. We describe the moduli space of the set of soluti…
▽ More
See http://www.youtube.com/watch?v=izbGXdjvK_I for a YouTube video showing part of the results in this paper.We will consider surfaces whose mean curvature at a point is a linear function of the square of the distance from that point to the vertical axis. We restrict ourselves here to surfaces which are cylinders over a curve in a horizontal plane. We describe the moduli space of the set of solutions which includes numerous properly immersed and embedded examples. We also analyze the stability of these cylindrical surfaces.
△ Less
Submitted 10 April, 2014;
originally announced April 2014.
-
Rotating Drops with Helicoidal Symmetry
Authors:
Bennett Palmer,
Oscar Perdomo
Abstract:
See http://youtu.be/Mf4IE8gWcJs for a YouTube video showing part of the results in this paper. We consider helicoidal immersions in the Euclidean space whose axis of symmetry is the z-axis that are solutions of the equation 2 H=Λ_0-a 1/2 R^2 where H is the mean curvature of the surface, R is the distance form the point in the surface to the z-axis and a is a real number. We refer to these surfaces…
▽ More
See http://youtu.be/Mf4IE8gWcJs for a YouTube video showing part of the results in this paper. We consider helicoidal immersions in the Euclidean space whose axis of symmetry is the z-axis that are solutions of the equation 2 H=Λ_0-a 1/2 R^2 where H is the mean curvature of the surface, R is the distance form the point in the surface to the z-axis and a is a real number. We refer to these surfaces as helicoidal rotating drops. We prove the existence of properly immersed solutions that contain the z-axis. We also show the existence of several families of embedded examples. We describe the set of possible solutions and we show that most of these solutions are not properly immerse and are dense in the region bounded by two concentric cylinders. We show that all properly immersed solutions, besides being invariant under a one parameter helicoidal group, they are invariant under a cyclic group of rotations of the variables x and y.
The second variation of energy for the volume constrained problem with Dirichlet boundary conditions is also studied.
△ Less
Submitted 24 March, 2014;
originally announced March 2014.
-
Constant Speed Ramps
Authors:
Oscar M. Perdomo
Abstract:
In this paper we show all possible ramps where an object can move with constant speed under the effect of gravity and friction. The planar ramp are very easy to describe, just rotate a curve with velocity vector (tanh(as),sech(as)). Recall that tanh(as)^2+sech^2(as) = 1. Therefore, the solution of the planar constant speed problem is connected with easy to describe examples of curves with arc-leng…
▽ More
In this paper we show all possible ramps where an object can move with constant speed under the effect of gravity and friction. The planar ramp are very easy to describe, just rotate a curve with velocity vector (tanh(as),sech(as)). Recall that tanh(as)^2+sech^2(as) = 1. Therefore, the solution of the planar constant speed problem is connected with easy to describe examples of curves with arc-length parameter. For ramps in the space, we show that there are as many ramps as tangent unit vector fields in the south hemisphere. A video explaining these results can be found at http://www.youtube.com/watch?v=iBrvbb0efVk
△ Less
Submitted 2 May, 2013;
originally announced May 2013.
-
Rotational Surfaces in S^3 with constant mean curvature
Authors:
Oscar Perdomo
Abstract:
Very recently Ben Andrews and Haizhong Li showed that every embedded cmc torus in the three dimensional sphere is axially symmetric. There is a two-parametric family of axially symmetric cmc surfaces; more precisely, for every real number H and every C > 2 (H+\sqrt{1+H^2}) there is an axially symmetry surface Σ_{H,C} with mean curvature H. In 2010, Perdomo showed that for every H between cot(π/m)…
▽ More
Very recently Ben Andrews and Haizhong Li showed that every embedded cmc torus in the three dimensional sphere is axially symmetric. There is a two-parametric family of axially symmetric cmc surfaces; more precisely, for every real number H and every C > 2 (H+\sqrt{1+H^2}) there is an axially symmetry surface Σ_{H,C} with mean curvature H. In 2010, Perdomo showed that for every H between cot(π/m) and (m^2-2)/(2(m^2-1)^1/2), there exists an embedded axially symmetric example with non constant principal curvatures that is invariant under the ciclic group Z_m. Andrews and Li, showed that these examples are the only non-isoparametric embedded examples in the family when H>0. In this paper we study those examples in the family with H<0. We prove that there are no embedded examples in the family when H<0 and we also prove that for every integer m>2 there is a properly immersed example in this family that contains a great circle and is invariant under the ciclic group Z_m. We will say that these examples contain the axis of symmetry. Finally we show that every non-isoparametric surface Σ_{H,C} is either properly immersed invariant under the ciclic group Z_m for some integer m>1 or it is dense in the region bounded by two isoparametric tori if the surface Σ_{H,C} does not contain the axis of symmetry or it is dense in the region bounded by a totally umbilical surface if the surface Σ_{H,C} contains the axis of symmetry.
△ Less
Submitted 17 September, 2012;
originally announced September 2012.
-
Stability index jump for cmc hypersurfaces of spheres
Authors:
Oscar M. Perdomo,
Aldir Brasil
Abstract:
It is known that the totally umbilical hypersurfaces in the (n+1)-dimensional spheres are characterized as the only hypersurfaces with weak stability index 0. That is, a compact hypersurface with constant mean curvature, cmc, in S^{n+1}, different from an Euclidean sphere, must have stability index greater than or equal to 1. In this paper we prove that the weak stability index of any non-totally…
▽ More
It is known that the totally umbilical hypersurfaces in the (n+1)-dimensional spheres are characterized as the only hypersurfaces with weak stability index 0. That is, a compact hypersurface with constant mean curvature, cmc, in S^{n+1}, different from an Euclidean sphere, must have stability index greater than or equal to 1. In this paper we prove that the weak stability index of any non-totally umbilical compact hypersurface M\subset S^{n+1} with cmc cannot take the values 1,2,3... n.
△ Less
Submitted 9 February, 2012;
originally announced February 2012.
-
The treadmillsled of a curve
Authors:
Oscar M. Perdomo
Abstract:
In a previous paper the author introduced the notion of TreadmillSled of a curve, which is an operator that takes regular curves in R^2 to curves in R^2. This operator turned out to be very useful to describe helicoidal surfaces, for example, it provides an interpretation for the profile curve of helicoidal surfaces with constant mean curvature similar to the well known interpretation of the profi…
▽ More
In a previous paper the author introduced the notion of TreadmillSled of a curve, which is an operator that takes regular curves in R^2 to curves in R^2. This operator turned out to be very useful to describe helicoidal surfaces, for example, it provides an interpretation for the profile curve of helicoidal surfaces with constant mean curvature similar to the well known interpretation of the profile curve of Delaunay's surfaces using conics. Recentely, Palmer and Kuhns used the TreadmillSled to classify all helicoidal surfaces with constant anisotropic mean curvature coming from axially symmetric anisotropic energy density. Also the author proved that an helicoidal surface different from a cylinder has constant Gauss curvature if and only if the TreadmillSled of its profile curve lies in a vertical semi line contained in the lower or upper half plane and not contained in the y-axis... Why not the whole vertical line? and why the semi-line cannot be contained in the y-axis? In this paper we provide several properties of the TreadmillSled operator, in particular we will answer the questions in the previous sentence. Finally, we prove that the TreadmillSled of the profile curve of a minimal helicoidal surface is either a hyperbola or a the x-axis. The latter case occurs only when the surface is a helicoid.
△ Less
Submitted 17 May, 2011;
originally announced May 2011.
-
Algebraic constant mean curvature surfaces in Euclidean space
Authors:
Oscar M. Perdomo
Abstract:
In this paper we prove that the only algebraic constant mean curvature (cmc) surfaces in R^3 of order less than four are the planes, the spheres and the cylinders. The method used heavily depends on the efficiency of algorithms to compute Groebner Bases and also on the memory capacity of the computer used to do the computations. We will also prove that the problem of finding algebraic constant m…
▽ More
In this paper we prove that the only algebraic constant mean curvature (cmc) surfaces in R^3 of order less than four are the planes, the spheres and the cylinders. The method used heavily depends on the efficiency of algorithms to compute Groebner Bases and also on the memory capacity of the computer used to do the computations. We will also prove that the problem of finding algebraic constant mean curvature hypersurfaces in the Euclidean space completely reduces to the problem of solving a system of polynomial equations.
△ Less
Submitted 31 January, 2010;
originally announced February 2010.
-
A dynamical interpretation of the profile curve of cmc Twizzlers surfaces
Authors:
Oscar M. Perdomo
Abstract:
It is known that for any non-zero $M in (-1/4,infty)$, if we roll the conic {(x,y): 4 x^2-y^2/M}=1} on a line in a plane, and then we rotate about this line the trace of a focus, then we obtain a surface of revolution D(M) with mean curvature 1. If M<=0, D(M) is embedded and it is called unduloid, if M>0, D(M) is not embedded and it is called nodoid. These surfaces are called Delaunays and they…
▽ More
It is known that for any non-zero $M in (-1/4,infty)$, if we roll the conic {(x,y): 4 x^2-y^2/M}=1} on a line in a plane, and then we rotate about this line the trace of a focus, then we obtain a surface of revolution D(M) with mean curvature 1. If M<=0, D(M) is embedded and it is called unduloid, if M>0, D(M) is not embedded and it is called nodoid. These surfaces are called Delaunays and they are foliated by circles. The trace of the focus in the construction above is called the profile curve of the Delaunay and it is transversal to the circles. Another well known family of constant mean curvature surfaces are the Twizzlers, they are foliated by helices and we can naturally define a profile curve which is transversal to the helices. To make the presentation in this abstract easier, we will be only considering Twizzlers with mean curvature 1. In this paper we will prove that if we roll the profile curve of a Twizzler on a line in a plane and, simultaneously, we move the points in the line at the same speed, so that the rolling motion of the profile curve looks like if it were placed on a treadmill, then, the trace made by the origin of the profile curve is one of the closed heart-shaped curves HS(M,w)={(x,y) : x^2+y^2+y/(1+w^2 x^2)=M} for some M>-1/4 and w>0. Using this dynamical interpretation we will prove several properties for Twizzlers
△ Less
Submitted 28 January, 2010;
originally announced January 2010.
-
CMC hypersurfaces on riemannian and semi-riemannian manifolds
Authors:
Oscar Perdomo
Abstract:
In this paper we show explicit examples of several families of immersions with constant mean curvature and non constant principal curvatures, in semi-riemannian manifolds with constant sectional curvature. In particular, we prove that every h in [-1,-2 sqrt{n-1}/n) can be realized as the constant curvature of a complete immersion of S_1^{n-1} x R in the (n+1)-dimensional de Sitter space S_1^{n+1…
▽ More
In this paper we show explicit examples of several families of immersions with constant mean curvature and non constant principal curvatures, in semi-riemannian manifolds with constant sectional curvature. In particular, we prove that every h in [-1,-2 sqrt{n-1}/n) can be realized as the constant curvature of a complete immersion of S_1^{n-1} x R in the (n+1)-dimensional de Sitter space S_1^{n+1}. We provide 3 types of immersions with cmc in the Minkowski space, 5 types of immersion with cmc in the de Sitter space and 5 types of immersion with cmc in the anti de Sitter space. At the end of the paper we analyze the families of examples that can be extended to closed hypersurfaces.
△ Less
Submitted 13 April, 2009;
originally announced April 2009.
-
Embedded cmc hypersurfaces on hyperbolic spaces
Authors:
Oscar M. Perdomo
Abstract:
In this paper we will prove that for every integer n>1, there exists a real number H_0<-1 such that every H\in (-\infty,H_0) can be realized as the mean curvature of a embedding of H^{n-1}\times S^1 in the (n+1)-dimensional spaces H^{n+1}. For $n=2$ we explicitly compute the value H_0. For a general value n, we provide function ξ_n defined on (-\infty,-1), which is easy to compute numerically, s…
▽ More
In this paper we will prove that for every integer n>1, there exists a real number H_0<-1 such that every H\in (-\infty,H_0) can be realized as the mean curvature of a embedding of H^{n-1}\times S^1 in the (n+1)-dimensional spaces H^{n+1}. For $n=2$ we explicitly compute the value H_0. For a general value n, we provide function ξ_n defined on (-\infty,-1), which is easy to compute numerically, such that, if ξ_n(H)>-2π, then, H can be realized as the mean curvature of a embedding of H^{n-1}\times S^1 in the (n+1)-dimensional spaces H^{n+1}.
△ Less
Submitted 27 March, 2009;
originally announced March 2009.
-
Algebraic zero mean curvature varieties in semi-riemannian manifolds
Authors:
Oscar Perdomo
Abstract:
In this paper we provide a family of algebraic space-like surfaces in the three dimensional anti de Sitter space that shows that this Lorentzian manifold admits algebraic maximal examples of any order. Then, we classify all the space-like order two algebraic maximal hypersurfaces in the anti de Sitter $N$-dimensional space. Finally, we provide two families of examples of Lorentzian order two alg…
▽ More
In this paper we provide a family of algebraic space-like surfaces in the three dimensional anti de Sitter space that shows that this Lorentzian manifold admits algebraic maximal examples of any order. Then, we classify all the space-like order two algebraic maximal hypersurfaces in the anti de Sitter $N$-dimensional space. Finally, we provide two families of examples of Lorentzian order two algebraic zero mean curvature in the de Sitter space.
△ Less
Submitted 13 March, 2009;
originally announced March 2009.
-
Embedded constant mean curvature hypersurfaces on spheres
Authors:
Oscar Perdomo
Abstract:
Let m>1 and n>1 be any pair of integers. In this paper we prove that if H is between the numbers \cot(\fracπ{m}) and b_{m,n}=\frac{(m^2-2)\sqrt{n-1}}{n\sqrt{m^2-1}}, then, there exists a non isoparametric, compact embedded hypersurface in S^{n+1} with constant mean curvature H that admits the group O(n)x Z_m in their group of isometries, here O(n) is the set of n x n orthogonal matrices and Z_m…
▽ More
Let m>1 and n>1 be any pair of integers. In this paper we prove that if H is between the numbers \cot(\fracπ{m}) and b_{m,n}=\frac{(m^2-2)\sqrt{n-1}}{n\sqrt{m^2-1}}, then, there exists a non isoparametric, compact embedded hypersurface in S^{n+1} with constant mean curvature H that admits the group O(n)x Z_m in their group of isometries, here O(n) is the set of n x n orthogonal matrices and Z_m are the integers mod m. When m=2 and H is close to the boundary value 0, the hypersurfaces look like two very close n-dimensional spheres with two catenoid necks attached, similar to constructions made by Kapouleas. When m>2 and H is close to \cot(\fracπ{m}), the hypersurfaces look like a necklets made out of m spheres with (m+1) catenoid necks attached, similar to constructions made by Butscher and Pacard. In general, when H is close to b_{m,n} the hypersurface is close to an isoparametric hypersurface with the same mean curvature. As a consequence of the expression of these bounds for H, we have that every H different from 0,\pm\frac{1}{\sqrt{3}} can be realized as the mean curvature of a non isoparametric CMC surface in S^3. For hyperbolic spaces we prove that every non negative H can be realized as the mean curvature of an embedded CMC hypersurface in H^{n+1}, moreover we prove that when H>1 this hypersurface admits the group O(n)\times Z in its group of isometries. Here Z are the integer numbers. As a corollary of the properties proven for these hypersurfaces, for any n> 5, we construct non isoparametric compact minimal hypersurfaces in S^{n+1} which cone in R^{n+2} is stable. Also, we will prove that the stability index of every non isoparametric minimal hypersurface with two principal curvatures in S^{n+1} is greater than 2n+5.
△ Less
Submitted 6 March, 2009;
originally announced March 2009.
-
A characterization of quadric constant mean curvature hypersurfaces of spheres
Authors:
Luis J. Alias,
Aldir Brasil Jr.,
Oscar Perdomo
Abstract:
Let $φ:M\to\mathbb{S}^{n+1}\subset\mathbb{R}^{n+2}$ be an immersion of a complete $n$-dimensional oriented manifold. For any $v\in\mathbb{R}^{n+2}$, let us denote by $\ell_v:M\to\mathbb{R}$ the function given by $\ell_v(x)=φ(x),v$ and by $f_v:M\to\mathbb{R}$, the function given by $f_v(x)=ν(x),v$, where $ν:M\to\mathbb{S}^{n}$ is a Gauss map. We will prove that if $M$ has constant mean curvature,…
▽ More
Let $φ:M\to\mathbb{S}^{n+1}\subset\mathbb{R}^{n+2}$ be an immersion of a complete $n$-dimensional oriented manifold. For any $v\in\mathbb{R}^{n+2}$, let us denote by $\ell_v:M\to\mathbb{R}$ the function given by $\ell_v(x)=φ(x),v$ and by $f_v:M\to\mathbb{R}$, the function given by $f_v(x)=ν(x),v$, where $ν:M\to\mathbb{S}^{n}$ is a Gauss map. We will prove that if $M$ has constant mean curvature, and, for some $v\ne{\bf 0}$ and some real number $λ$, we have that $\ell_v=λf_v$, then, $φ(M)$ is either a totally umbilical sphere or a Clifford hypersurface. As an application, we will use this result to prove that the weak stability index of any compact constant mean curvature hypersurface $M^n$ in $\mathbb{S}^{n+1}$ which is neither totally umbilical nor a Clifford hypersurface and has constant scalar curvature is greater than or equal to $2n+4$.
△ Less
Submitted 22 February, 2008;
originally announced February 2008.
-
Minimal tori with low nullity
Authors:
David L. Johnson,
Oscar Perdomo
Abstract:
The nullity of a minimal submanifold $M\subset S^{n}$ is the dimension of the nullspace of the second variation of the area functional. That space contains as a subspace the effect of the group of rigid motions $SO(n+1)$ of the ambient space, modulo those motions which preserve $M$, whose dimension is the Killing nullity $kn(M)$ of $M$. In the case of 2-dimensional tori $M$ in $S^{3}$, there is…
▽ More
The nullity of a minimal submanifold $M\subset S^{n}$ is the dimension of the nullspace of the second variation of the area functional. That space contains as a subspace the effect of the group of rigid motions $SO(n+1)$ of the ambient space, modulo those motions which preserve $M$, whose dimension is the Killing nullity $kn(M)$ of $M$. In the case of 2-dimensional tori $M$ in $S^{3}$, there is an additional naturally-defined 2-dimensional subspace; the dimension of the sum of the action of the rigid motions and this space is the natural nullity $nnt(M)$. In this paper we will study minimal tori in $S^{3}$ with natural nullity less than 8. We construct minimal immersions of the plane $R^{2}$ in $S^{3}$ that contain all possible examples of tori with $nnt(M)<8$. We prove that the examples of Lawson and Hsiang with $kn(M)=5$ also have $nnt(M)=5$, and we prove that if the $nnt(M)\le6$ then the group of isometries of $M$ is not trivial.
△ Less
Submitted 12 November, 2007;
originally announced November 2007.