Showing 1–12 of 12 results for author: Bracho, J

The 10 antipodal pairings of strongly involutive polyhedra

Authors: Javier Bracho, Eric Paulí Pérez, Luis Montejano, Jorge Luis Ramírez-Alfonsín

Abstract: It is known that strongly involutive polyhedra are closely related to self-dual maps where the antipodal function acts as duality isomorphism. Such a family of polyhedra appears in different combinatorial, topological and geometric contexts, and is thus attractive to be studied. In this note, we determine the 10 antipodal pairings among the classification of the 24 self-dual pairings… ▽ More It is known that strongly involutive polyhedra are closely related to self-dual maps where the antipodal function acts as duality isomorphism. Such a family of polyhedra appears in different combinatorial, topological and geometric contexts, and is thus attractive to be studied. In this note, we determine the 10 antipodal pairings among the classification of the 24 self-dual pairings $Dual(G)\rhd Aut(G)$ of self-dual maps G. We also present the orbifold associated to each antipodal pairing and describe explicitly the corresponding fundamental regions. We finally explain how to construct two infinite families of strongly involutive polyhedra (one of them new) by using their doodles and the action of the corresponding orbifolds. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Comments: 16 pages, 21 figures, 1 table

Complex homothetic sections and projections through a Helly type Theorem for cosets of $§^1$

Authors: Jorge Luis Arocha, Javier Bracho, Luis Montejano

Abstract: We prove that two closed subsets of complex space $\C^n$ with corresponding complex homothetic sections (projections) are complex homothetic. The proof uses a new Helly-type theorem for cosets of closed subgroups of $§^1$. We prove that two closed subsets of complex space $\C^n$ with corresponding complex homothetic sections (projections) are complex homothetic. The proof uses a new Helly-type theorem for cosets of closed subgroups of $§^1$. △ Less

Submitted 9 October, 2023; originally announced October 2023.

An overview of complex ellipsoids

Authors: Jorge Luis Arocha, Javier Bracho, Luis Montejano

Abstract: An ellipsoid is the image of a ball under an affine transformation. If this affine transformation is over the complex numbers, we refer to it as a complex ellipsoid. Characterizations of real ellipsoids have received much attention over the years however, characterizations of complex ellipsoids have been studied very little. This paper is a review of what is known about complex ellipsoids from the… ▽ More An ellipsoid is the image of a ball under an affine transformation. If this affine transformation is over the complex numbers, we refer to it as a complex ellipsoid. Characterizations of real ellipsoids have received much attention over the years however, characterizations of complex ellipsoids have been studied very little. This paper is a review of what is known about complex ellipsoids from the point of view of convex geometry. In particular, the proof of the Complex Banach Conjecture. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2111.14280

Reflections of convex bodies and their sections

Authors: Jorge L. Arocha, Javier Bracho, Luis Montejano

Abstract: The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms… ▽ More The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms of their reflections and, on the other hand, to prove a result deeply related to a conjecture due to K. Bezdek. △ Less

Submitted 5 August, 2022; originally announced August 2022.

MSC Class: 52A20

Complex ellipsoids and complex symmetry

Authors: Jorge Arocha, Javier Bracho, Luis Montejano

Abstract: Several characterizations of complex ellipsoids among convex bodies in Cn, in terms of their sections and projections are proved. Characterizing complex symmetry in similar terms is an important tool. Several characterizations of complex ellipsoids among convex bodies in Cn, in terms of their sections and projections are proved. Characterizing complex symmetry in similar terms is an important tool. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Comments: 10 pages, 1 figure

MSC Class: 52A05

Extremal inscribed and circumscribed complex ellipsoids

Authors: Jorge L. Arocha, Javier Bracho, Luis Montejano

Abstract: We prove that if a convex set in Cn contains two inscribed complex ellipsoid of maximal volume then one is a translate of the other. On the other hand, the circumscribed complex elipsoid of minimal volume is unique. As application we prove the complex analoge of Brunn's characterization of ellipsods. We prove that if a convex set in Cn contains two inscribed complex ellipsoid of maximal volume then one is a translate of the other. On the other hand, the circumscribed complex elipsoid of minimal volume is unique. As application we prove the complex analoge of Brunn's characterization of ellipsods. △ Less

Submitted 29 December, 2020; originally announced December 2020.

Comments: 10 pages

MSC Class: 52A40

On the complex Banach conjecture

Authors: Javier Bracho, Luis Montejano

Abstract: The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4. The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4. △ Less

Submitted 30 May, 2020; originally announced June 2020.

MSC Class: 22E15; 52A21; 55R25

Strongly involutive self-dual polyhedra

Authors: Javier Bracho, Luis Montejano, Eric Pauli, Jorge Luis Ramirez Alfonsin

Abstract: A polyhedron is a graph $G$ which is simple, planar and 3-connected. In this note, we classify the family of strongly involutive self-dual polyhedra. The latter is done by using a well-known result due to Tutte characterizing 3-connected graphs. We also show that this special class of polyhedra self-duality behaves topologically as the antipodal map**. These self-dual polyhedra are related with… ▽ More A polyhedron is a graph $G$ which is simple, planar and 3-connected. In this note, we classify the family of strongly involutive self-dual polyhedra. The latter is done by using a well-known result due to Tutte characterizing 3-connected graphs. We also show that this special class of polyhedra self-duality behaves topologically as the antipodal map**. These self-dual polyhedra are related with several problems in convex and discrete geometry including the Vázsonyi problem. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Rotors in triangles and tethrahedra

Authors: Luis Montejano, Javier Bracho

Abstract: A polytope $P$ is circumscribed about a convex body $Φ\subset \mathbb{R}^n$ if $Φ\subset P$ and each facet of $P$ is contained in a support hyperplane of $Φ$. We say that a convex body $Φ\subset \mathbb{R}^n$ is a rotor of a polytope $P$ if for each rotation $ρ$ of $\mathbb{R}^n$ there exist a translation $τ$ so that $P$ is circumscribed about $τρΦ$. In this paper we shall prove that if $P$ is a… ▽ More A polytope $P$ is circumscribed about a convex body $Φ\subset \mathbb{R}^n$ if $Φ\subset P$ and each facet of $P$ is contained in a support hyperplane of $Φ$. We say that a convex body $Φ\subset \mathbb{R}^n$ is a rotor of a polytope $P$ if for each rotation $ρ$ of $\mathbb{R}^n$ there exist a translation $τ$ so that $P$ is circumscribed about $τρΦ$. In this paper we shall prove that if $P$ is a triangle, then there is a baricentric formula that describes the curvature of bd$Φ$ at the contact points, $\{A_1, A_2,A_3\}$. We prove also that if $Φ\subset \mathbb{R}^3$ is a convex body which is a rotor in a tetrahedron $T$ and if $Φ$ intersects the faces of $T$ at the points $\{x_1, \dots, x_4\}$, then the normal lines of $Φ$ at the contact points with $T$, $\{x_1, \dots, x_4\}$ generically belong to one ruling of a quadric surface. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Reconstructing surface triangulations by their intersection matrices

Authors: Jorge Arocha, Javier Bracho, Natalia García-Colín, Isabel Hubard

Abstract: The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism. The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism. △ Less

Submitted 24 February, 2014; originally announced February 2014.

A finite chiral 4-polytope in $\mathbb{R}^4$

Authors: Javier Bracho, Isabel Hubard, Daniel Pellicer

Abstract: In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2]. In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2]. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Comments: 7 pages, 6 figures

A characterization of triangulations of closed surfaces

Authors: Jorge Arocha, Javier Bracho, Natalia Garcia-Colin, Isabel Hubard

Abstract: In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$. In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: Submitted to EUROCOMB 2013