arXiv research

3-manifolds study Hasse norm principle, akin to number fields.

Proof of genus formula for 3-manifolds using arithmetic topology.

We give necessary and sufficient conditions for an integral polynomial without linear factors to be the characteristic polynomial of an isometry of some even, unimodular lattice of given signature. This gives rise to Hasse principle questions, which we answer in a more general setting. As an application, we prove a Has…

Hasse principle applied to area-minimizing submanifolds across different homology types.

Hasse-Weil zeta functions of SL_2-character varieties of arithmetic two bridge link groups are determined. Special values of the zeta functions at s=0,1,2 are also investigated.

It is proved that the Hasse-Weil zeta functions of the canonical components of the ${\rm SL}_2$ (${\rm PSL}_2$)-character varieties of closed orientable complete hyperbolic $3$-manifolds of finite volume are equal to the Dedekind zeta functions of their trace fields (invariant trace fields). When the closed $3$-manifol…

Suppose $K$ is an unknot lying in the 1-skeleton of a triangulated 3-manifold with $t$ tetrahedra. Hass and Lagarias showed there is an upper bound, depending only on $t$, for the minimal number of elementary moves to untangle $K$. We give a simpler proof, utilizing a normal form for surfaces whose boundary is containe…

We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of Agol, Hass, and Thurston [ArXiv, 2002].

Hass and Scott's example of a 4-valent graph on the 3-punctured sphere that cannot be realized by geodesics in any metric of negative curvature is generalized to impossible configurations filling surfaces of genus $n$ with $k$ punctures for any $n$ and $k$.

In this paper we analyze both the scientific activities of Cahit Arf, a Turkish mathematician, and the social context in which he worked. We also discuss his work and social environment leading to the discovery of Arf invariant, Arf rings, Arf closure and Hasse-Arf theorem.

Let $M$ be an orientable 3-manifold with $\partial M$ a single torus. We show that the number of boundary slopes of immersed essential surfaces with genus at most $g$ is bounded by a quadratic function of $g$. In the hyperbolic case, this was proved earlier by Hass, Rubinstein and Wang.

The paper defines minimal norm tensors for curvature and divergence tensors, explaining Weyl and Cotten tensors.

A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is described. A new proof is given of the topological rigidity theorem of Hass and Sc…

In the previous paper, we considered a link diagram invariant of Hass and Nowik type using regular smoothing and unknotting number, to estimate the number of Reidemeister moves needed for unlinking. In this paper, we introduce a new link diagram invariant using irregular smoothing, and give an example of a knot diagram…

We derive new estimates for the first Betti number of compact Riemannian manifolds. Our approach relies on the Birman-Schwinger principle and Schatten norm estimates for semigroup differences. In contrast to previous works we do not require any a priori ultracontractivity estimates and we provide bounds which explicitl…

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that any Euler structure on a smooth oriented closed 3-manifold has a particular rea…

Improved online PCA algorithm learns from evolving norm of parameter vector.

Knot genus problem solved for all 3-manifolds.

It remains a puzzle that why deep neural networks (DNNs), with more parameters than samples, often generalize well. An attempt of understanding this puzzle is to discover implicit biases underlying the training process of DNNs, such as the Frequency Principle (F-Principle), i.e., DNNs often fit target functions from lo…

Study normal curves in sub-Finsler Lie groups with specific norms, focusing on branching and face stability.

We consider geometric flow equations for contracting and expanding normal velocities, including powers of the Gauss curvature, of the mean curvature, and of the norm of the second fundamental form, and ask whether - after appropriate rescaling - closed strictly convex surfaces converge to spheres. To prove this, many a…

Study of 3D vacuum static spaces with specific curvature properties.

We propose a new point of view for regularizing deep neural networks by using the norm of a reproducing kernel Hilbert space (RKHS). Even though this norm cannot be computed, it admits upper and lower approximations leading to various practical strategies. Specifically, this perspective (i) provides a common umbrella f…

We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to cl…

We address the problem of {\it adaptivity} in the framework of reproducing kernel Hilbert space (RKHS) regression. More precisely, we analyze estimators arising from a linear regularization scheme $g_\lam$. In practical applications, an important task is to choose the regularization parameter $\lam$ appropriately, i.e.…

Using unknotting number, we introduce a link diagram invariant of Hass and Nowik type, which changes at most by 2 under a Reidemeister move. As an application, we show that a certain infinite sequence of diagrams of the trivial two-component link need quadratic number of Reidemeister moves for being unknotted with resp…

We show that the number of stabilizations needed to interchange the handlebodies of a Heegaard splitting of a closed 3-manifold by an isotopy is bounded below by the smaller of twice its genus or half its Hempel distance. This is a combinatorial version of a proof by Hass, Thompson and Thurston of a similar theorem, bu…

Optimal hidden-target learning for online inventory optimization on general convex sets.

The paper studies how norms of random vectors are preserved by random projections.

Any Riemannian manifold has a canonical collection of valuations (finitely additive measures) attached to it, known as the intrinsic volumes or Lipschitz-Killing valuations. They date back to the remarkable discovery of H. Weyl that the coefficients of the tube volume polynomial are intrinsic invariants of the metric. …

A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let …

The paper explores how over-parameterized linear regression models generalize without violating learning theory principles.

Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a polynomial-length certificate that can be verified in polynomial time to prove that K…

Extends fractional $L^p$ uncertainty principles with extremizers and stability results.

New optimizer designs respect symmetry, improving deep learning models.

As one of the most popular linear subspace learning methods, the Linear Discriminant Analysis (LDA) method has been widely studied in machine learning community and applied to many scientific applications. Traditional LDA minimizes the ratio of squared L2-norms, which is sensitive to outliers. In recent research, many …

Study on discrepancy principle for learning algorithms in nonparametric regression.

Optimal scaling found to depend on operator norm across large models and datasets.

We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate …

The paper finds the maximum scalar curvature for 3D minimal hypersurfaces in hyperbolic 4-space.

A theorem simplifies mass-minimizing flat chains' regularity.

It is our purpose to study complete self-shrinkers in Euclidean space. By introducing a generalized maximum principle for $\mathcal{L}$-operator, we give estimates on supremum and infimum of the squared norm of the second fundamental form of self-shrinkers without assumption on \emph{polynomial volume growth}, which is…

The paper proposes a novel MKL approach for OCC using $\ell_p$-norm constraints.

Study of complete space-like self-expanders in Minkovski space.

Adversarial training is a principled approach for training robust neural networks. Despite of tremendous successes in practice, its theoretical properties still remain largely unexplored. In this paper, we provide new theoretical insights of gradient descent based adversarial training by studying its computational prop…

The paper classifies special hypersurfaces in space forms.

We study some basic problems of translating solitons: the volume growth, generalized maximum principle, Gauss maps and certain functions related to the Gauss maps, finally we carry out point-wise estimates and integral estimates for the squared norm of the second fundamental form. Those estimates give rigidity theorems…

The paper classifies certain types of Lagrangian translators and self-expanders in complex 2-space.