arXiv research

This paper determines nonhyperbolicity conditions for P/P and P/SF knots.

We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in ${\sf NP}$ under the same assumption, and t…

This paper classifies knots with simple curves in genus 2 handlebodies.

As groupoids generalize groups, motivated by group extensions we consider a kind of fibrations of Lie groupoids, called locally topological product Lie groupoid fibrations with fiber $\sf A$, i.e., \[ 1\rightarrow {\sf A} \rightarrow {\sf G} \rightarrow {\sf K}\rightarrow 1 \] where $\sf A,\sf G$ and $\sf K$ are Lie gr…

The paper studies quandles from symmetric group automorphisms and finds a correspondence with conjugacy classes.

For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomi…

Harmonic maps between specific metric spaces are studied with Lipschitz estimates and variational principles.

SF-DQN improves RL transfer by learning successor features.

We study the community detection and recovery problem in partially-labeled stochastic block models (SBM). We develop a fast linearized message-passing algorithm to reconstruct labels for SBM (with $n$ nodes, $k$ blocks, $p,q$ intra and inter block connectivity) when $δ$ proportion of node labels are revealed. The signa…

New optimizer SF-NorMuon matches tuned AdamW across various horizons.

We show that on every ${\sf RCD}$ spaces it is possible to introduce, by a distributional-like approach, a Riemann curvature tensor. Since after the works of Petrunin and Zhang-Zhu we know that finite dimensional Alexandrov spaces are ${\sf RCD}$ spaces, our construction applies in particular to the Alexandrov setting.…

Real analytic ($\mathcal{C}^ω$) surfaces $S^2$ in $\mathbb{R}^3 \ni (x,y,u)$ graphed as $\big\{ u = F(x,y) \big\}$ with $F_{xx} \neq 0$ whose Gaussian curvature vanishes identically: \[ 0 \,\equiv\, F_{xx}\,F_{yy} - F_{xy}^2, \] possess, under the action of the affine transformation group ${\sf Aff}_3(\mathbb{R}) = {\s…

We study compact and simply-connected Riemannian manifolds with positive sectional curvature $K\ge 1.$ For a non-trivial homology class of lowest dimension in the space of loops based at a point $p$ or in the free loop space one can define a critical length ${\sf crl}_p\left(M,g\right)$ resp. ${\sf crl}\left(M,g\right)…

Recent research on Software-Defined Networking (SDN) strongly promotes the adoption of distributed controller architectures. To achieve high network performance, designing a scheduling function (SF) to properly dispatch requests from each switch to suitable controllers becomes critical. However, existing literature ten…

We give a complete classification of umbilical submanifolds of arbitrary dimension and codimension of $\Sf^n\times \R$, extending the classification of umbilical surfaces in $\Sf^2\times \R$ by Rabah-Souam and Toubiana as well as the local description of umbilical hypersurfaces in $\Sf^n\times \R$ by Van der Veken and …

Scoring functions (SFs), which measure the plausibility of triplets in knowledge graph (KG), have become the crux of KG embedding. Lots of SFs, which target at capturing different kinds of relations in KGs, have been designed by humans in recent years. However, as relations can exhibit complex patterns that are hard to…

This paper studies an acceleration technique for incremental aggregated gradient ({\sf IAG}) method through the use of \emph{curvature} information for solving strongly convex finite sum optimization problems. These optimization problems of interest arise in large-scale learning applications. Our technique utilizes a c…

Gradient descent with error feedback performs better than vanilla when features are rare.

Sharp log-Sobolev inequalities proved for ${\sf CD}(0,N)$ spaces.

A new category generates 1D tangle invariants.

We classify the hypersurfaces of $\Sf^n\times \R$ and $\Hy^n\times \R$ with constant sectional curvature and dimension $n\geq 3$.

New method SF-AdamW trains large models without decay phases or memory overhead.

SFS-DA method statistically tests FS reliability under domain adaptation.

We study the local equivalence problem for real-analytic ($\mathcal{C}^ω$) hypersurfaces $M^5 \subset \mathbb{C}^3$ which, in coordinates $(z_1, z_2, w) \in \mathbb{C}^3$ with $w = u+i\, v$, are rigid: \[ u \,=\, F\big(z_1,z_2,\overline{z}_1,\overline{z}_2\big), \] with $F$ independent of $v$. Specifically, we study th…

We give a complete description of all hypersurfaces of the product spaces $\Sf^n\times \R$ and $\Hy^n\times \R$ that have flat normal bundle when regarded as submanifolds with codimension two of the underlying flat spaces $\R^{n+2}\supset \Sf^n\times \R$ and $\Le^{n+2}\supset \Hy^n\times \R$. We prove that any such hyp…

New example shows noncontractible fiberings for a 3-manifold.

We study smooth {\sf traversing} vector fields $v$ on compact manifolds $X$ with boundary. A traversing $v$ admits a Lyapunov function $f: X \to \Bbb R$ such that $df(v) > 0$. We show that the trajectory spaces $\mathcal T(v)$ of {\sf traversally generic} $v$-flows are {\sf Whitney stratified spaces}, and thus admit tr…

Mondino and Naber recently proved that finite dimensional $\sf RCD$ spaces are rectifiable. Here we show that the push-forward of the reference measure under the charts built by them is absolutely continuous with respect to the Lebesgue measure. This result, read in conjunction with another recent work of us, has relev…

Gluon optimizes LMO-based methods for large-scale tasks, improving performance and theory-practice gap.

Study minimizers of quasi-perimeters in RCD spaces with volume constraints.

Harmonic maps pull convex functions on metric spaces to subharmonic ones.

The interplay between computational efficiency and statistical accuracy in high-dimensional inference has drawn increasing attention in the literature. In this paper, we study computational and statistical boundaries for submatrix localization. Given one observation of (one or multiple non-overlapping) signal submatrix…

New algorithm reduces communication costs in distributed deep learning.

The class ${\sf IV}_2$ of $2$-nondegenerate constant Levi rank $1$ hypersurfaces $M^5 \subset \mathbb{C}^3$ is governed by Pocchiola's two primary invariants $W_0$ and $J_0$. Their vanishing characterizes equivalence of such a hypersurface $M^5$ to the tube $M_{\sf LC}^5$ over the real light cone in $\mathbb{R}^3$. Whe…

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $Σ$ ($M=X\cup_Σ Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula tak…

UK universities pension scheme valuation study shows high dependence on gilt yields.

Given a large data matrix $A\in\mathbb{R}^{n\times n}$, we consider the problem of determining whether its entries are i.i.d. with some known marginal distribution $A_{ij}\sim P_0$, or instead $A$ contains a principal submatrix $A_{{\sf Q},{\sf Q}}$ whose entries have marginal distribution $A_{ij}\sim P_1\neq P_0$. As …

This paper tackles combinatorial pure exploration for dueling bandits, aiming to find the best candidate-position match.

Study heat content on RCD(K,N) spaces with specific boundary conditions.

Positive representations of surface groups in PO(p,q) form connected components of character varieties.

New algorithm for differentially private distributed optimization of smooth, non-convex problems.

The paper introduces SRFs and I-Poisson manifolds, linking foliations to Riemannian geometry.

We give a complete classification of submanifolds with parallel second fundamental form of a product of two space forms. We also reduce the classification of umbilical submanifolds with dimension $m\geq 3$ of a product $\Q_{k_1}^{n_1}\times \Q_{k_2}^{n_2}$ of two space forms whose curvatures satisfy $k_1+k_2\neq 0$ to …

New bounds link Schwarzian derivative to hyperbolic geometry.

Develops a more powerful selective inference method for stepwise feature selection.

Improved analysis for nonconvex SGD methods with flexible sampling.

CG-EnKF and NS-EnKF outperform deep learning-based SF in data assimilation.

Suffering from the multi-view data diversity and complexity for semi-supervised classification, most of existing graph convolutional networks focus on the networks architecture construction or the salient graph structure preservation, and ignore the the complete graph structure for semi-supervised classification contri…