arXiv research

4D theorem for disks, generalizing previous work.

We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $π_1(X^4)$ has no $2$-torsion and one of $R$ or $R'$ has a transverse sphere, then $R$ and $R'$ are concordant. When $π_1…

New 4-manifold examples show necessary conditions for 4D Light Bulb Theorem.

In this note I present my understanding of, that is to say the way I look at, David Gabai's proof of his recent 4-Dimensional Light Bulb Theorem (4D-LBT). His construction, entirely smooth, is an ingenious amalgam of classical moves, and represents the first new hands-on advance in constructive smooth 4-manifold theory…

New smoothing techniques for topological surfaces in 4-manifolds.

The article examines how many stabilizations are needed to transform 5D s-cobordisms into product cobordisms.

For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\BZ_2$-torsion in the fundamental group. This gives a generalization of the classical light bulb trick to 4-dimensions, the uniqueness of spanning discs for a simple close…

In this note, we combine the recent 4-dimensional light bulb theorem of David Gabai and a recent construction of concordances for knots in $S^2\times S^1$ due to Eylem Zeliha Yildiz to construct a concordance between the standard surface of genus $g$ in $S^2\times S^2$ and any homologous surface.

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Ki…

If $Σ$ and $Σ'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense of adding genus). This naturally gives rise to two integer-valued notions of distance bet…

David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman and Frank Quinn gives the complete obstruction to "homotopy implies isotopy" fo…

We prove a concordance version of the 4-dimensional light bulb theorem for $π_1$-negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if $F_0$ and $F_1$ are such surfaces in a 4-manifold $X$ that are homotopic and there exists an immersed framed…

We show that the only way of changing the framing of a link by ambient isotopy in an oriented $3$-manifold is when the manifold has a properly embedded non-separating $S^2$. This change of framing is given by the Dirac trick, also known as the light bulb trick. The main tool we use is based on McCullough's work on the …

The paper simplifies embedding spaces in manifolds by attaching handles.

New method for classifying disk embeddings in 4-manifolds.

New phenomena in 4-manifolds show discs with special properties.

The study proves that certain constant mean curvature surfaces in a specific cone are either spheres or horospheres.

Detects exotic surfaces without smooth invariants, providing first example of knotted RP².

With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first …

New algorithm reduces runtime for robust sparse mean estimation.

In this paper we prove several multiplicity results of $t$-periodic light rays in conformally stationary spacetimes using the Fermat metric and the extensions of the classical theorems of Gromoll-Meyer and Bangert-Hingston to Finsler manifolds. Moreover, we exhibit some stationary spacetimes with a finite number of $t$…

Calabi and Cheng-Yau's Bernstein-type theorem asserts that an entire zero mean curvature graph in Lorentz-Minkowski $(n+1)$-space $\boldsymbol R^{n+1}_1$ which admits only space-like points is a hyperplane. Recently, the third and fourth authors proved a line theorem for hypersurfaces at their degenerate light-like poi…

We study the weighted ray transform of integrating functions on a Lorentzian manifold over lightlike geodesics. We prove support theorems if the manifold and the weight are analytic.

Consider a constant mean curvature immersion $F:U(\subset \boldsymbol{R}^n)\to M$ into an arbitrary Lorentzian $(n+1)$-manifold $M$. A point $o\in U$ is called a light-like point if the first fundamental form $ds^2$ of $F$ degenerates at $o$. We denote by $B_F$ the determinant function of the symmetric matrix associate…

The paper classifies submanifolds in a specific Lorentz-Minkowski space.

A novel circuit motif uses sister cells for inference with correlated priors.

A reconstruction theorem in terms of the topology and geometrical structures on the spaces of light rays and skies of a given space-time is discussed. This result can be seen as part of Penrose and Low's programme intending to describe the causal structure of a space-time $M$ in terms of the topological and geometrical…

We formulate several conjectures on mean convex domains in the Euclidean spaces, as well as in more general spaces with lower bonds on their scalar curvatures, and prove a few theorems motivating these conjectures.

The paper solves isotopy problems on 4-manifolds and classifies symplectic structures.

We consider the problem of enumerating relevant features hidden in other irrelevant information for multi-labeled data, which is formalized as learning juntas. A $k$-junta function is a function which depends on only $k$ coordinates of the input. For relatively small $k$ w.r.t. the input size $n$, learning $k$-junta fu…

The paper extends gluing theorems for gravitational fields in higher dimensions.

Study rigidity by logarithmic capacity and related functions.

Researchers prove a nonlinear gluing theorem for gravitational fields near static backgrounds.

The Gannon-Lee singularity theorems give well-known restrictions on the spatial topology of singularity-free (i.e., nonspacelike geodesically complete), globally hyperbolic spacetimes. In this paper, we revisit these classic results in the light of recent developments, especially the failure in higher dimensions of a c…

Lean 4 formalizes Stokes' theorem for smooth singular cubes.

We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We …

In this paper we shall give an analytic proof of the fact that the Liouville energy on a topological two sphere is bounded from below. Our proof does not rely on the uniformization theorem and the Onofri inequality, thus it is essentially needed in the alternative proof of the uniformization theorem via the Calabi flow…

The paper extends gluing theorems for linearized gravitational fields in static spacetimes with cosmological constant.

New theory shows perishable goods markets are more stable and efficient.

The works of William Rowan Hamilton in Geometrical Optics are presented, with emphasis on the Malus-Dupin theorem. According to that theorem, a family of light rays depending on two parameters can be focused to a single point by an optical instrument made of reflecting or refracting surfaces if and only if, before ente…

Calabi's Bernstein-type theorem asserts that a zero mean curvature entire graph in Lorentz-Minkowski space $\boldsymbol L^3$ which admits only space-like points is a space-like plane. Using the fluid mechanical duality between minimal surfaces in Euclidean 3-space $\boldsymbol E^3$ and maximal surfaces in Lorentz-Minko…

We give concentration bounds for martingales that are uniform over finite times and extend classical Hoeffding and Bernstein inequalities. We also demonstrate our concentration bounds to be optimal with a matching anti-concentration inequality, proved using the same method. Together these constitute a finite-time versi…

We provide a general construction of time-consistent sublinear expectations on the space of continuous paths. It yields the existence of the conditional G-expectation of a Borel-measurable (rather than quasi-continuous) random variable, a generalization of the random G-expectation, and an optional sampling theorem that…

Extends Euler class formula to general connections with metric.

The paper proves stability of the positive mass theorem using intrinsic flat convergence.

We prove that the boundary of the future of a surface $K$ consists precisely of the points $p$ that lie on a null geodesic orthogonal to $K$ such that between $K$ and $p$ there are no points conjugate to $K$ nor intersections with another such geodesic. Our theorem has applications to holographic screens and their asso…

New theorem links symmetries to first integrals in plasma physics.

We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension $2$. We prove a Mertens counting formula for the rational points over a definite quat…