Showing 1–18 of 18 results for author: Alfonseca, M

On Bezdek's conjecture for high-dimensional convex bodies with an aligned center of symmetry

Authors: M. Angeles Alfonseca, B. Zawalski

Abstract: In 1999, K. Bezdek posed a conjecture stating that among all convex bodies in $\mathbb R^3$, ellipsoids and bodies of revolution are characterized by the fact that all their planar sections have an axis of reflection. We prove Bezdek's conjecture in arbitrary dimension $n\geq 3$, assuming only that sections passing through a fixed point have an axis of reflection, provided that the complementary i… ▽ More In 1999, K. Bezdek posed a conjecture stating that among all convex bodies in $\mathbb R^3$, ellipsoids and bodies of revolution are characterized by the fact that all their planar sections have an axis of reflection. We prove Bezdek's conjecture in arbitrary dimension $n\geq 3$, assuming only that sections passing through a fixed point have an axis of reflection, provided that the complementary invariant subspaces are all parallel to a fixed hyperplane. The result is proven in both orthogonal and affine settings. △ Less

Submitted 10 January, 2025; originally announced January 2025.

MSC Class: Primary 52A20; Secondary 22E45; 52A10;

Characterization of the sphere and of bodies of revolution by means of Larman points

Authors: María Angeles Alfonseca, Michelle Cordier, Jesús Jerónimo-Castro, Efrén Morales-Amaya

Abstract: Let $K\subset \Rn$, $n\geq 3$, be a convex body. A point $p\in \Rn$ is said to be a \textit{Larman point} of $K$ if, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry. If a point $p \in \Rn$ is a Larman point and if, in addition, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry which contains $p$,… ▽ More Let $K\subset \Rn$, $n\geq 3$, be a convex body. A point $p\in \Rn$ is said to be a \textit{Larman point} of $K$ if, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry. If a point $p \in \Rn$ is a Larman point and if, in addition, for every hyperplane $Π$ passing through $p$, the section $Π\cap K$ has a $(n-2)$-plane of symmetry which contains $p$, then we call $p$ a \textit{revolution point} of $K$. In this work we prove that if $K\subset \Rt$ is a strictly convex centrally symmetric body with centre at $o$, $p$ is a Larman point of $K$ and there exists a line $L$ such that $p\notin L$ and, for every plane $Γ$ passing through $p$, the section $Γ\cap K$ has a line of symmetry which intersects $L$, then $K$ is a body of revolution (in some cases, we conclude that $K$ is a sphere). On the other hand, we also prove that if $p$ is a revolution point such that $p\not=o$, then $K$ is a body of revolution. △ Less

Submitted 18 July, 2023; originally announced July 2023.

A solution to the Fifth and the Eighth Busemann-Petty problems in a small neighborhood of the Euclidean ball

Authors: M. Angeles Alfonseca, Fedor Nazarov, Dmitry Ryabogin, Vladyslav Yaskin

Abstract: We show that the fifth and the eighth Busemann-Petty problems have positive solutions for bodies that are sufficiently close to the Euclidean ball in the Banach-Mazur distance. We show that the fifth and the eighth Busemann-Petty problems have positive solutions for bodies that are sufficiently close to the Euclidean ball in the Banach-Mazur distance. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Comments: 25 pages, 2 figures

MSC Class: 52A20

Uniqueness Results for Bodies of Constant Width in the Hyperbolic Plane

Authors: M. Angeles Alfonseca, Michelle Cordier, Dan I. Florentin

Abstract: Following Santaló's approach, we prove several characterizations of a disc among bodies of constant width, constant projections lengths, or constant section lengths on given families of geodesics. Following Santaló's approach, we prove several characterizations of a disc among bodies of constant width, constant projections lengths, or constant section lengths on given families of geodesics. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 16 pages, 10 figures

MSC Class: 28A75; 51M09; 51M10; 51M25; 51F99; 52A38; 52A55; 53A35

On bodies in $\mathbb{R}^5$ with directly congruent projections or sections

Authors: M. Angeles Alfonseca, Michelle Cordier, Dmitry Ryabogin

Abstract: Let $K$ and $L$ be two convex bodies in ${\mathbb R^5}$ with countably many diameters, such that their projections onto all $4$ dimensional subspaces containing one fixed diameter are directly congruent. We show that if these projections have no rotational symmetries, and the projections of $K,L$ on certain 3 dimensional subspaces have no symmetries, then $K=\pm L$ up to a translation. We also pro… ▽ More Let $K$ and $L$ be two convex bodies in ${\mathbb R^5}$ with countably many diameters, such that their projections onto all $4$ dimensional subspaces containing one fixed diameter are directly congruent. We show that if these projections have no rotational symmetries, and the projections of $K,L$ on certain 3 dimensional subspaces have no symmetries, then $K=\pm L$ up to a translation. We also prove the corresponding result for sections of star bodies. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Comments: 18 pages, 2 figures

MSC Class: 52A20

Superintelligence cannot be contained: Lessons from Computability Theory

Authors: Manuel Alfonseca, Manuel Cebrian, Antonio Fernandez Anta, Lorenzo Coviello, Andres Abeliuk, Iyad Rahwan

Abstract: Superintelligence is a hypothetical agent that possesses intelligence far surpassing that of the brightest and most gifted human minds. In light of recent advances in machine intelligence, a number of scientists, philosophers and technologists have revived the discussion about the potential catastrophic risks entailed by such an entity. In this article, we trace the origins and development of the… ▽ More Superintelligence is a hypothetical agent that possesses intelligence far surpassing that of the brightest and most gifted human minds. In light of recent advances in machine intelligence, a number of scientists, philosophers and technologists have revived the discussion about the potential catastrophic risks entailed by such an entity. In this article, we trace the origins and development of the neo-fear of superintelligence, and some of the major proposals for its containment. We argue that such containment is, in principle, impossible, due to fundamental limits inherent to computing itself. Assuming that a superintelligence will contain a program that includes all the programs that can be executed by a universal Turing machine on input potentially as complex as the state of the world, strict containment requires simulations of such a program, something theoretically (and practically) infeasible. △ Less

Submitted 4 July, 2016; originally announced July 2016.

Comments: 7 pages, 5 figures

Journal ref: Journal of Artificial Intelligence Research (JAIR) 70 (2021) 65-76

Counterexamples Related to Rotations of Shadows of Convex Bodies

Authors: M. Angeles Alfonseca, Michelle Cordier

Abstract: We construct examples of two convex bodies $K,L$ in $\mathbb{R}^n$, such that every projection of $K$ onto a $(n-1)$-dimensional subspace can be rotated to be contained in the corresponding projection of $L$, but $K$ itself cannot be rotated to be contained in $L$. We also find necessary conditions on $K$ and $L$ to ensure that $K$ can be rotated to be contained in $L$ if all the $(n-1)$-dimension… ▽ More We construct examples of two convex bodies $K,L$ in $\mathbb{R}^n$, such that every projection of $K$ onto a $(n-1)$-dimensional subspace can be rotated to be contained in the corresponding projection of $L$, but $K$ itself cannot be rotated to be contained in $L$. We also find necessary conditions on $K$ and $L$ to ensure that $K$ can be rotated to be contained in $L$ if all the $(n-1)$-dimensional projections have this property. △ Less

Submitted 21 May, 2015; originally announced May 2015.

Comments: 17 pages, 11 figures

MSC Class: 52A20; 52A38; 44A12

On bodies with directly congruent projections and sections

Authors: M. Angeles Alfonseca, Michelle Cordier, Dmitry Ryabogin

Abstract: Let $K$ and $L$ be two convex bodies in ${\mathbb R^4}$, such that their projections onto all $3$-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfy an additional condition and some projections do not have certain symmetries, then $K$ and $L$ coincide up to translation and an orthogonal transformation. We also show that an analogous statement… ▽ More Let $K$ and $L$ be two convex bodies in ${\mathbb R^4}$, such that their projections onto all $3$-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfy an additional condition and some projections do not have certain symmetries, then $K$ and $L$ coincide up to translation and an orthogonal transformation. We also show that an analogous statement holds for sections of star bodies, and prove the $n$-dimensional versions of these results. △ Less

Submitted 29 September, 2015; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 29 pages, 4 figures

MSC Class: 52A20

Constraints on the general solutions of Einstein cosmological equations by Hubble parameter times cosmic age: a historical perspective

Authors: Julio A. Gonzalo, Manuel Alfonseca

Abstract: In a historical perspective, compact solutions of Einstein's equations, including the cosmological constant and the curvature terms, are obtained, starting from two recent observational estimates of the Hubble's parameter (H0) and the "age" of the universe (t0). Cosmological implications for ΛCDM (Λ Cold Dark Matter), KOFL (k Open Friedman-Lemaitre), plus two mixed solutions are investigated, unde… ▽ More In a historical perspective, compact solutions of Einstein's equations, including the cosmological constant and the curvature terms, are obtained, starting from two recent observational estimates of the Hubble's parameter (H0) and the "age" of the universe (t0). Cosmological implications for ΛCDM (Λ Cold Dark Matter), KOFL (k Open Friedman-Lemaitre), plus two mixed solutions are investigated, under the constraints imposed by the relatively narrow current uncertainties. Quantitative results obtained for the KOFL case seem to be compatible with matter density and the highest observed red-shifts from distant galaxies, while those obtained for the ΛCDM may be more difficult to reconcile. △ Less

Submitted 2 June, 2013; originally announced June 2013.

Comments: 13 pages, 4 figures, 6 tables

On the local convexity of intersection bodies of revolution

Authors: M. Angeles Alfonseca, Jaegil Kim

Abstract: One of the fundamental results in Convex Geometry is Busemann's theorem, which states that the intersection body of a symmetric convex body is convex. Thus, it is only natural to ask if there is a quantitative version of Busemann's theorem, i.e., if the intersection body operation actually improves convexity. In this paper we concentrate on the symmetric bodies of revolution to provide several res… ▽ More One of the fundamental results in Convex Geometry is Busemann's theorem, which states that the intersection body of a symmetric convex body is convex. Thus, it is only natural to ask if there is a quantitative version of Busemann's theorem, i.e., if the intersection body operation actually improves convexity. In this paper we concentrate on the symmetric bodies of revolution to provide several results on the (strict) improvement of convexity under the intersection body operation. It is shown that the intersection body of a symmetric convex body of revolution has the same asymptotic behavior near the equator as the Euclidean ball. We apply this result to show that in sufficiently high dimension the double intersection body of a symmetric convex body of revolution is very close to an ellipsoid in the Banach-Mazur distance. We also prove results on the local convexity at the equator of intersection bodies in the class of star bodies of revolution. △ Less

Submitted 11 April, 2013; originally announced April 2013.

Comments: 22 pages, 2 figures

MSC Class: 52A20; 52A38; 44A12

Journal ref: Can. J. Math.-J. Can. Math. 67 (2015) 3-27

An extension of a result by Lonke to intersection bodies

Authors: M. A. Alfonseca

Abstract: In this paper we prove that intersection bodies cannot be direct sums using Fourier analytic techniques. This extends a result by Lonke. We also prove a necessary regularity condition and a convexity condition for a body of revolution to be an intersection body of a star body. In this paper we prove that intersection bodies cannot be direct sums using Fourier analytic techniques. This extends a result by Lonke. We also prove a necessary regularity condition and a convexity condition for a body of revolution to be an intersection body of a star body. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 20 pages, 5 figures

MSC Class: 52A30

Journal ref: J. Math. Analysis and Applications 371 (2010), no.1, 146-157

Intersection bodies that are not polar zonoids: A flat top condition in dimensions four and six

Authors: M. A. Alfonseca

Abstract: We find general geometric conditions on a convex body of revolution K, in dimensions four and six, so that its intersection body IK is not a polar zonoid. We exhibit several examples of intersection bodies which are are not polar zonoids. We find general geometric conditions on a convex body of revolution K, in dimensions four and six, so that its intersection body IK is not a polar zonoid. We exhibit several examples of intersection bodies which are are not polar zonoids. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: To appear in the Journal of Mathematical Analysis and Applications, 18 pages, 11 figures

MSC Class: 52A21; 52A20

About the Infinite Repetition of Histories in Space

Authors: Francisco José Soler Gil, Manuel Alfonseca

Abstract: This paper analyzes two different proposals, one by Ellis and Brundrit, based on classical relativistic cosmology, the other by Garriga and Vilenkin, based on the DH interpretation of quantum mechanics, both of which conclude that, in an infinite universe, planets and living beings must be repeated an infinite number of times. We point to some possible shortcomings in the arguments of these author… ▽ More This paper analyzes two different proposals, one by Ellis and Brundrit, based on classical relativistic cosmology, the other by Garriga and Vilenkin, based on the DH interpretation of quantum mechanics, both of which conclude that, in an infinite universe, planets and living beings must be repeated an infinite number of times. We point to some possible shortcomings in the arguments of these authors. We conclude that the idea of an infinite repetition of histories in space cannot be considered strictly speaking a consequence of current physics and cosmology. Such ideas should be seen rather as examples of «ironic science» in the terminology of John Horgan. △ Less

Submitted 10 December, 2013; v1 submitted 22 January, 2013; originally announced January 2013.

Comments: 14 pages, no figures. Accepted for publication in slightly different form at THEORIA (http://www.ehu.es/ojs/index.php/THEORIA)

Is the Multiverse Hypothesis capable of explaining the Fine Tuning of Nature Laws and Constants? The Case of Cellular Automata

Authors: Francisco José Soler Gil, Manuel Alfonseca

Abstract: The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark's <<mathematical multiverse>> are too small to explain the fine tuning, so that they merely shift the problem up one level. But the <<mathematical mult… ▽ More The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark's <<mathematical multiverse>> are too small to explain the fine tuning, so that they merely shift the problem up one level. But the <<mathematical multiverse>> is surely too large. To prove this assessment, we have performed a number of experiments with cellular automata of complex behavior, which can be considered as universes in the mathematical multiverse. The analogy between what happens in some automata (in particular Conway's <<Game of Life>>) and the real world is very strong. But if the results of our experiments can be extrapolated to our universe, we should expect to inhabit -- in the context of the multiverse -- a world in which at least some of the laws and constants of nature should show a certain time dependence. Actually, the probability of our existence in a world such as ours would be mathematically equal to zero. In consequence, the results presented in this paper can be considered as an inkling that the hypothesis of the multiverse, whatever its type, does not offer an adequate explanation for the peculiarities of the physical laws in our world. A slightly reduced version of this paper has been published in the Journal for General Philosophy of Science, Springer, March 2013, DOI: 10.1007/s10838-013-9215-7. △ Less

Submitted 30 March, 2013; v1 submitted 21 May, 2011; originally announced May 2011.

Comments: 30 pages, 16 figures, 5 tables. Slightly reduced version published in Journal for General Philosophy of Science

Journal ref: "Fine tuning explained? Multiverses and cellular automata", F.J.Soler Gil, M.Alfonseca. Journal for General Philosophy of Science, Springer, March 2013

Overcoming Problems in the Measurement of Biological Complexity

Authors: Manuel Cebrian, Manuel Alfonseca, Alfonso Ortega

Abstract: In a genetic algorithm, fluctuations of the entropy of a genome over time are interpreted as fluctuations of the information that the genome's organism is storing about its environment, being this reflected in more complex organisms. The computation of this entropy presents technical problems due to the small population sizes used in practice. In this work we propose and test an alternative way of… ▽ More In a genetic algorithm, fluctuations of the entropy of a genome over time are interpreted as fluctuations of the information that the genome's organism is storing about its environment, being this reflected in more complex organisms. The computation of this entropy presents technical problems due to the small population sizes used in practice. In this work we propose and test an alternative way of measuring the entropy variation in a population by means of algorithmic information theory, where the entropy variation between two generational steps is the Kolmogorov complexity of the first step conditioned to the second one. As an example application of this technique, we report experimental differences in entropy evolution between systems in which sexual reproduction is present or absent. △ Less

Submitted 3 November, 2010; originally announced November 2010.

Comments: 4 pages, 5 figures

Grammatical Evolution with Restarts for Fast Fractal Generation

Authors: Manuel Cebrian, Manuel Alfonseca, Alfonso Ortega

Abstract: In a previous work, the authors proposed a Grammatical Evolution algorithm to automatically generate Lindenmayer Systems which represent fractal curves with a pre-determined fractal dimension. This paper gives strong statistical evidence that the probability distributions of the execution time of that algorithm exhibits a heavy tail with an hyperbolic probability decay for long executions, which e… ▽ More In a previous work, the authors proposed a Grammatical Evolution algorithm to automatically generate Lindenmayer Systems which represent fractal curves with a pre-determined fractal dimension. This paper gives strong statistical evidence that the probability distributions of the execution time of that algorithm exhibits a heavy tail with an hyperbolic probability decay for long executions, which explains the erratic performance of different executions of the algorithm. Three different restart strategies have been incorporated in the algorithm to mitigate the problems associated to heavy tail distributions: the first assumes full knowledge of the execution time probability distribution, the second and third assume no knowledge. These strategies exploit the fact that the probability of finding a solution in short executions is non-negligible and yield a severe reduction, both in the expected execution time (up to one order of magnitude) and in its variance, which is reduced from an infinite to a finite value. △ Less

Submitted 15 October, 2010; v1 submitted 12 May, 2008; originally announced May 2008.

Comments: 26 pages, 13 figures, Extended version of the paper presented at ANNIE'04

Analyticity of layer potentials and $L^{2}$ solvability of boundary value problems for divergence form elliptic equations with complex $L^{\infty}$ coefficients

Authors: M. Alfonseca, P. Auscher, A. Axelsson, S. Hofmann, S. Kim

Abstract: We consider divergence form elliptic operators of the form $L=-\dv A(x)\nabla$, defined in $R^{n+1} = \{(x,t)\in R^n \times R \}$, $n \geq 2$, where the $L^{\infty}$ coefficient matrix $A$ is $(n+1)\times(n+1)$, uniformly elliptic, complex and $t$-independent. We show that for such operators, boundedness and invertibility of the corresponding layer potential operators on… ▽ More We consider divergence form elliptic operators of the form $L=-\dv A(x)\nabla$, defined in $R^{n+1} = \{(x,t)\in R^n \times R \}$, $n \geq 2$, where the $L^{\infty}$ coefficient matrix $A$ is $(n+1)\times(n+1)$, uniformly elliptic, complex and $t$-independent. We show that for such operators, boundedness and invertibility of the corresponding layer potential operators on $L^2(\mathbb{R}^{n})=L^2(\partial\mathbb{R}_{+}^{n+1})$, is stable under complex, $L^{\infty}$ perturbations of the coefficient matrix. Using a variant of the $Tb$ Theorem, we also prove that the layer potentials are bounded and invertible on $L^2(\mathbb{R}^n)$ whenever $A(x)$ is real and symmetric (and thus, by our stability result, also when $A$ is complex, $\Vert A-A^0\Vert_{\infty}$ is small enough and $A^0$ is real, symmetric, $L^{\infty}$ and elliptic). In particular, we establish solvability of the Dirichlet and Neumann (and Regularity) problems, with $L^2$ (resp. $\dot{L}^2_1)$ data, for small complex perturbations of a real symmetric matrix. Previously, $L^2$ solvability results for complex (or even real but non-symmetric) coefficients were known to hold only for perturbations of constant matrices (and then only for the Dirichlet problem), or in the special case that the coefficients $A_{j,n+1}=0=A_{n+1,j}$, $1\leq j\leq n$, which corresponds to the Kato square root problem. △ Less

Submitted 6 May, 2007; originally announced May 2007.

MSC Class: 42B20; 42B25; 35J25

Journal ref: Adv. Math. 226 (2011), no. 5, 4533--4606

Automatic Generation of Benchmarks for Plagiarism Detection Tools using Grammatical Evolution

Authors: Manuel Cebrian, Manuel Alfonseca, Alfonso Ortega

Abstract: This paper has been withdrawn by the authors due to a major rewriting. This paper has been withdrawn by the authors due to a major rewriting. △ Less

Submitted 7 January, 2008; v1 submitted 27 March, 2007; originally announced March 2007.

Comments: This paper has been withdrawn

ACM Class: J.1; I.2.2; D.2.8