arXiv research

Klainerman, Luk and Rodnianski derived an anisotropic criterion for formation of trapped surfaces in vacuum, extending the original trapped surface formation theorem of Christodoulou. The effort to understand their result led us to study the intersection of a hyperplane with a lightcone in the Minkowski spacetime. For …

Study proves minimality of certain hyperplane intersections in wide cones.

The paper establishes a Miyaoka-Yau type inequality for hyperplane arrangements in complex projective space.

Compact spacelike hypersurface with constant curvature and boundary angles must be part of a hyperboloid.

The paper constructs homotopically non-trivial spheres in complexified spaces.

In hyperbolic space, the angle of intersection and distance classify pairs of totally geodesic hyperplanes. A similar algebraic invariant classifies pairs of hyperplanes in the Einstein universe. In dimension 3, symplectic splittings of a 4-dimensional real symplectic vector space model Einstein hyperplanes and the inv…

New geometric mechanism solves four envelope problems.

Study of Coxeter diagrams and Artin-Tits groups, focusing on normalisers and wall intersections.

We prove that a hyperplane in a CAT(0) cubical complex X has no self-intersections and separates X into two convex complementary components. These facts were originally proved by Sageev. Our argument shows that his theorem is a corollary of Gromov's link condition. We also give new arguments establishing some combinato…

The complement of an arrangement A of a finite number of affine hyperplanes in complex n-space has the structure of a poset of spaces indexed by the intersection poset, L(A). The space corresponding to G in L(A) is homotopy equivalent to the complement of the hyperplanes in the central arrangement A_G normal to G. This…

Let $D_n$ be the $n$-punctured disk. We prove that a family of essential simple arcs starting and ending at the boundary and pairwise intersecting at most twice is of size at most $\binom{n+1}{3}$. On the way, we also show that any nontrivial square complex homeomorphic to a disk whose hyperplanes are simple arcs inter…

The Sample Compression Conjecture of Littlestone & Warmuth has remained unsolved for over two decades. This paper presents a systematic geometric investigation of the compression of finite maximum concept classes. Simple arrangements of hyperplanes in Hyperbolic space, and Piecewise-Linear hyperplane arrangements, are …

Associating distinct groups of objects (clusters) with contiguous regions of high probability density (high-density clusters), is central to many statistical and machine learning approaches to the classification of unlabelled data. We propose a novel hyperplane classifier for clustering and semi-supervised classificati…

The paper examines stable CMC hypersurfaces with boundaries on parallel hyperplanes.

Given 2 points of a smooth hypersurface, their mid-hyperplane is the hyperplane passing through their mid-point and the intersection of their tangent spaces. In this paper we study the envelope of these mid-hyperplanes (EMH) at pairs whose tangent spaces are transversal. We prove that this envelope consists of centers …

Study on minimal hypersurfaces in Schwarzschild manifolds intersecting the horizon orthogonally.

Bordifications of hyperplane arrangements yield complexes with homotopy type of wedges of spheres.

The study shows strong formality in certain complex manifolds.

Conditions for polyhedral Kähler metrics on CP^n with specific singularities.

We study the singularities of the members of the family of height functions on Whitney umbrellas, which is also known as cross-caps, and show that the family of the height functions is a versal unfolding. Moreover, we study local intersections of a Whitney umbrella with a hyperplane through its singular point.

A coordinate cone in R^n is an intersection of some coordinate hyperplanes and open coordinate half-spaces. A semi-monotone set is a defnable in an o-minimal structure over the reals, open bounded subset of R^n such that its intersection with any translation of any coordinate cone is connected. This can be viewed as a …

Let $\mathcal{A}$ be a central hyperplane arrangement in $\mathbb{C}^{n+1}$ and $H_i,i=1,2,...,d$ be the defining equations of the hyperplanes of $\mathcal{A}$. Let $f=\prod_i H_i$. There is a global Milnor fibration $F\hookrightarrow \mathbb{C}^{n+1} \setminus \mathcal{A} \xrightarrow{f} \mathbb{C}^*,$ where $F$ is ca…

The paper extends Busemann's inequalities to complex and quaternionic spaces.

We show that there are minimal graphs in R^{n+1} whose intersection with the portion of the horizontal hyperplane contained in the unit ball has any prescribed geometry, up to a small deformation. The proof hinges on the construction of minimal graphs that are almost flat but have small oscillations whose geometry we c…

A hypersurface $M$ in $\mathbb{R}^n$, $n \geq 4$, has central ovaloid property if $M$ intersects some hyperplane transversally along an ovaloid and every such ovaloid on $M$ has central symmetry. We show that a complete, connected, smooth hypersurface with central ovaloid property must either be a cylinder over a centr…

BN refines local partition geometry in piecewise-affine networks during training.

Let V be a finite dimensional complex vector space and V^* its dual and let X in P(V) be a smooth projective variety of dimension n and degree d at least two. For a generic n-tuple of hyperplanes H_1,...,H_n in P(V^*)^n, the intersection of X with H_1,...,H_n consists of d distinct points. We define the "discriminant o…

We study geometric properties of complete non-compact bounded self-shrinkers and obtain natural restrictions that force these hypersurfaces to be compact. Furthermore, we observe that, to a certain extent, complete self-shrinkers intersect transversally a hyperplane through the origin. When such an intersection is comp…

We present an improved algorithm for {\em quasi-properly} learning convex polyhedra in the realizable PAC setting from data with a margin. Our learning algorithm constructs a consistent polyhedron as an intersection of about $t \log t$ halfspaces with constant-size margins in time polynomial in $t$ (where $t$ is the nu…

We study the localization of sets with constant nonlocal mean curvature and prescribed small volume in a bounded open set with smooth boundary, proving that they are {\em sufficiently close} to critical points of a suitable non-local potential. We then consider the fractional perimeter in half-spaces. We prove the exis…

The interpretation, due to T. Mabuchi, of the classical Futaki invariant of Fano toric manifolds is extended to the case of the Generalized Futaki invariant, introduced by W. Ding and G. Tian, of almost Fano toric varieties. As an application it is shown that the real part of the Generalized Futaki invariant is positiv…

To construct flexible nonlinear predictive distributions, the paper introduces a family of softplus function based regression models that convolve, stack, or combine both operations by convolving countably infinite stacked gamma distributions, whose scales depend on the covariates. Generalizing logistic regression that…

New hyperbolic 3-pseudomanifolds with unique properties.

Surgery, as developed by Browder, Kervaire, Milnor, Novikov, Sullivan, Wall and others is a method for comparing homotopy types of topological spaces with diffeomorphism or homeomorphism types of manifolds of dimension >= 5. In this paper, a modification of this theory is presented, where instead of fixing a homotopy t…

To any semigroup presentation $\mathcal{P}= \langle Σ\mid \mathcal{R} \rangle$ and base word $w \in Σ^+$ may be associated a nonpositively curved cube complex $S(\mathcal{P},w)$, called a Squier complex, whose underlying graph consists of the words of $Σ^+$ equal to $w$ modulo $\mathcal{P}$ where two such words are lin…

Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a reali…

We compute the measure with multiplicity of the set of complex planes intersecting a compact domain in a complex space form. The result is given in terms of the so-called hermitian intrinsic volumes. Moreover, we obtain two different versions for the Gauss-Bonnet-Chern formula in complex space forms. One of them gives …

A particular, yet relevant, particular case of the Penrose inequality involves null shells propagating in the Minkowski spacetime. Despite previous claims in the literature, the validity of this inequality remains open. In this paper we rewrite this inequality in terms of the geometry of the surface obtained by interse…

We consider topological conditions under which a locally invertible map admits a global inverse. Our main theorem states that a local diffeomorphism $f: M \to\mathbb{R}^n$ is bijective if and only if $H_{n-1}(M)=0$ and the pre-image of every affine hyperplane is non-empty and acyclic. The proof is based on some geometr…

Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it …

Survey on hyperplane arrangements and their topology.

Segre varieties' hyperplane sections are unstable under certain conditions.

A graph is Helly if every family of pairwise intersecting combinatorial balls has a nonempty intersection. We show that weak Garside groups of finite type and FC-type Artin groups are Helly, that is, they act geometrically on Helly graphs. In particular, such groups act geometrically on spaces with convex geodesic bico…

We extend the theoretical analysis of a recently proposed single subspace learning algorithm, called Dual Principal Component Pursuit (DPCP), to the case where the data are drawn from of a union of hyperplanes. To gain insight into the properties of the $\ell_1$ non-convex problem associated with DPCP, we develop a geo…

For a given real generic curve $\ga: S^1\to \Bbb {RP}^n$ let $D_\ga$ denote the ruled hypersurface in $\Bbb {RP}^n$ consisting of all osculating subspaces to $\ga$ of codimension 2. A curve $\ga: S^1\to \Bbb {RP}^n$ is called convex if the total number of its intersection points (counted with multiplicities) with any h…

The local geometry of high dimensional neural network loss landscapes can both challenge our cherished theoretical intuitions as well as dramatically impact the practical success of neural network training. Indeed recent works have observed 4 striking local properties of neural loss landscapes on classification tasks: …

The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real …

We prove that the topological complexity of (a motion planning algorithm on) the complement of generic complex essential hyperplane arrangement of $n$ hyperplanes in an $r$-dimensional linear space is min$\{n+1,2r\}$.