arXiv research

Lower bound for complexity of finding flex points on cubic curves.

No nontrivial automorphisms for cubic surfaces moduli space.

According to our previous results, the conjugacy class of the involution induced by the complex conjugation in the homology of a real non-singular cubic fourfold determines the fourfold up to projective equivalence and deformation. Here, we show how to eliminate the projective equivalence and to obtain a pure deformati…

The study shows that certain cubical presentations lead to aspherical spaces.

We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 o…

We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally $\mathrm{CAT}(0)$ cubical complex $T_{X}$ and an acyclic map $t_{X} : T_{X} \to X$ such tha…

We consider closed simplicial and cubical $n$-complexes in terms of link of their $(n-2)$-faces. Especially, we consider the case, when this link has size 3 or 4, i.e., every $(n-2)$-face is contained in 3 or 4 $n$-faces. Such simplicial complexes with {\em short} (i.e. of length 3 or 4) links are completely classified…

Study PL topology theorems for cubical complexes, solving Habegger and Funar's conjecture.

Cubic complexes appear in the theory of finite type invariants so often that one can ascribe them to basic notions of the theory. In this paper we begin the exposition of finite type invariants from the `cubic' point of view. Finite type invariants of knots and homology 3-spheres fit perfectly into this conception. In …

Sphere-bases for simplicial and cubical complexes are constructed and analyzed.

Let $Γ$ be an irreducible lattice of $\Q$-rank $\geq 2$ in a semisimple Lie group of noncompact type. We prove that any action of $Γ$ on a $\CAT(0)$ cubical complex has a global fixed point.

We prove a geometric model for HHS hierarchies as CAT(0) cube complexes.

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…

New cube complexes disprove Kalai's conjecture about sphere facets.

We describe topologically the discriminant locus of a smooth cubic surface in the complex projective space ${\mathbb{CP}}^3$ that contains 5 fibres of the projection ${\mathbb{CP}}^3 \longrightarrow S^4$.

We propose a sample efficient stochastic variance-reduced cubic regularization (Lite-SVRC) algorithm for finding the local minimum efficiently in nonconvex optimization. The proposed algorithm achieves a lower sample complexity of Hessian matrix computation than existing cubic regularization based methods. At the heart…

The aim of this paper is to define two link invariants satisfying cubic skein relations. In the hierarchy of polynomial invariants determined by explicit skein relations they are the next level of complexity after Jones, HOMFLY, Kauffman and Kuperberg's $G_2$ quantum invariants. Our method consists in the study of Mark…

Stochastic Variance-Reduced Cubic regularization (SVRC) algorithms have received increasing attention due to its improved gradient/Hessian complexities (i.e., number of queries to stochastic gradient/Hessian oracles) to find local minima for nonconvex finite-sum optimization. However, it is unclear whether existing SVR…

Two new algorithms improve reinforcement learning by avoiding saddle points.

We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. …

Approximating complex curves with simple parametric curves is widely used in CAGD, CG, and CNC. This paper presents an algorithm to compute a certified approximation to a given parametric space curve with cubic B-spline curves. By certified, we mean that the approximation can approximate the given curve to any given pr…

We study real nonsingular projective cubic fourfolds up to deformation equivalence combined with projective equivalence and prove that they are classified by the conjugacy classes of involutions induced by the complex conjugation in the middle homology. Moreover, we provide a graph whose vertices represent the equivale…

The contact graph of a CAT(0) cubical complex has unbounded structure and a Gaussian CLT for random walks.

The paper proves spaces associated to certain cubical presentations are aspherical.

We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it…

We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This map arises from the construction of a complete hyperbolic affine sphere with pres…

Let $ρ:(D^2)^m\to I^m$ be the orbit map for the diagonal action of the torus $T^m$ on the unit poly-disk $(D^2)^m$, $I^m=[0,1]^m$ is the unit cube. Let $C$ be a cubical subcomplex in $I^m$. The moment-angle complex $\ma(C)$ is a $T^m$-invariant bigraded cellular decomposition of the subset $ρ^{-1}(C)\subset(D^2)^m$ wit…

Cubic regularization (CR) is an optimization method with emerging popularity due to its capability to escape saddle points and converge to second-order stationary solutions for nonconvex optimization. However, CR encounters a high sample complexity issue for finite-sum problems with a large data size. %Various inexact …

Study of dynamics on cubic surfaces and their connection to Painlevé 6 Equation.

We prove that the quotient of the group algebra of the braid group on 5 strands by a generic cubic relation has finite rank. This was conjectured in 1998 by Broué, Malle and Rouquier and has for consequence that this algebra is a flat deformation of the group algebra of the complex reflection group $G_{32}$, of order 1…

Study large-scale geometry of graph braid groups via cubical structures.

CuMPerLay vectorizes CMP for deep learning, improving image analysis.

Planar pure braids form a group that acts on a CAT(0) cubical complex.

We describe the action of the automorphism group of the complex cubic x^2+y^2+z^2-xyz-2 on the homology of its fibers. This action includes the action of the mapping class group of a punctured torus on the subvarieties of its SL(2,C) character variety given by fixing the trace of the peripheral element (so-called "rela…

Study rigidity of real moment-angle manifolds using cubical geometry.

New groups with special properties found.

A normalizing flow models a complex probability density as an invertible transformation of a simple density. The invertibility means that we can evaluate densities and generate samples from a flow. In practice, autoregressive flow-based models are slow to invert, making either density estimation or sample generation sl…

Every cubic graph is a bridge trisection's 1-skeleton for a knotted surface.

We consider the minimization of non-convex functions that typically arise in machine learning. Specifically, we focus our attention on a variant of trust region methods known as cubic regularization. This approach is particularly attractive because it escapes strict saddle points and it provides stronger convergence gu…

Each of the four critical Severi varieties arises from a minimal holomorphic nilpotent orbit in a simple regular rank 3 hermitian Lie algebra and each such variety lies as singular locus in a cubic--the chordal variety--in the corresponding complex projective space; the cubic and projective space are identified in term…

{\em Riemannian cubics} are curves in a manifold $M$ that satisfy a variational condition appropriate for interpolation problems. When $M$ is the rotation group SO(3), Riemannian cubics are track-summands of {\em Riemannian cubic splines}, used for motion planning of rigid bodies. Partial integrability results are know…

Proves hyperbolized groups are virtually compact special and linear.

In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a numb…

We prove that a Kähler group which is cubulable, i.e. which acts properly discontinuously and cocompactly on a CAT(0) cubical complex, has a finite index subgroup isomorphic to a direct product of surface groups, possibly with a free Abelian factor. Similarly, we prove that a closed aspherical Kähler manifold with a cu…

The article studies conic connections on complex manifolds and their geometric properties.

Paper shows faster convergence to local-minimizers in over-parametrized models under interpolation-like conditions.

Sub-Riemannian cubics are a generalisation of Riemannian cubics to a sub-Riemannian manifold. Cubics are curves which minimise the integral of the norm squared of the covariant acceleration. Sub-Riemannian cubics are cubics which are restricted to move in a horizontal subspace of the tangent space. When the sub-Riemann…

Modeling financial bubbles and crashes with a cubic momentum function.