arXiv research

A mathematical paradox shows secant planes don't always form a tangent plane, but some analogies hold with a specific vector product.

Fix a straight line L in Euclidean 3-space and consider the fibration of the complement of L by half-planes. A generic knot K in the complement of L has neither fiber quadrisecants nor fiber extreme secants such that K touches the corresponding half-plane at 2 points. Both types of secants occur in generic isotopies of…

We introduce a method to produce bounds for the non secant defectivity of an arbitrary irreducible projective variety, once we know how its osculating spaces behave in families and when the linear projections from them are generically finite. Then we analyze the relative dimension of osculating projections of Grassmann…

A new invariant for braids and knots uses secants and trisecants.

The secant caustic of a planar curve $M$ is the image of the singular set of the secant map of $M$. We analyse the geometrical properties of the secant caustic of a planar curve, i.e. the number of branches of the secant caustic, the parity of the number of cusps and the number of inflexion points in each branch of thi…

We investigate the secant dimensions and the identifiablity of flag varieties parametrizing flag of sub vector spaces of a fixed vector space. We give numerical conditions ensuring that secant varieties of flag varieties have the expected dimension, and that a general point on these secant varieties is identifiable.

A new method improves density ratio estimation with fewer function evaluations.

The paper studies flow lines on Higgs bundle moduli spaces, classifying them via secant varieties.

New approach uses secants to improve sensor placement and feature selection for nonlinear systems.

New GP-based MIL method using Hyperbolic Secant distribution.

Dimensionality-reduction methods are a fundamental tool in the analysis of large data sets. These algorithms work on the assumption that the "intrinsic dimension" of the data is generally much smaller than the ambient dimension in which it is collected. Alongside their usual purpose of mapping data into a smaller dimen…

A quadrisecant line is one which intersects a curve in at least four points, while an essential secant captures something about the knottedness of a knot. This survey article gives a brief history of these ideas, and shows how they may be applied to questions about the geometry of a knot via the total curvature, ropele…

Paper proves PI consensus algorithm converges exponentially under restricted secant inequality.

Plots show miscalibration directly as slopes of secant lines.

We study the local differential geometry of varieties $X^n\subset \Bbb C\Bbb P^{n+a}$ with degenerate secant and tangential varieties. We show that the second fundamental form of a smooth variety with degenerate tangential variety is subject to certain rank restrictions. The rank restrictions imply a slightly refined v…

Withdrawn by the authors, the main theorem is incorrect

Study explores geometric structure and prior for beta-logistic distribution.

We consider projective varieties with degenerate Gauss image whose focal hypersurfaces are non-reduced schemes. Examples of this situation are provided by the secant varieties of Severi and Scorza varieties. The Severi varieties are moreover characterized by a uniqueness property.

New method models portfolios with leptokurtic risk factors using Gram-Charlier expansions.

New proof of divisibility property for certain algebraic varieties.

A lightweight framework improves convergence and stability of PINNs for complex PDEs.

We show that the scalar curvature of a steady gradient Ricci soliton satisfying that the ratio between the square norm of the Ricci tensor and the square of the scalar curvature is bounded by one half, is boundend from below by the hyperbolic secant of one half the distance function from a fixed point.

We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential varieties of homogeneous varieties already constructed. Our algorithms make no referenc…

Let $SV^{\pmb n}_{\pmb d}$ be the Segre-Veronese given as the image of the embedding induced by the line bundle $\mathcal{O}_{\mathbb{P}^{n_1}\times\dots\times\mathbb{P}^{n_r}}(d_1,\dots, d_r)$. We prove that asymptotically $SV^{\pmb n}_{\pmb d}$ is not $h$-defective for $h\leq n_1^{\lfloor \log_2(d-1)\rfloor}$.

The main result of this paper is a construction of solutions to the reverse Yang-Mills-Higgs flow converging in the $C^\infty$ topology to a critical point. The construction uses only the complex gauge group action, which leads to an algebraic classification of the isomorphism classes of points in the unstable set of a…

The distortion of a curve measures the maximum arc/chord length ratio. Gromov showed any closed curve has distortion at least pi/2 and asked about the distortion of knots. Here, we prove that any nontrivial tame knot has distortion at least 5pi/3; examples show that distortion under 7.16 suffices to build a trefoil kno…

Proposes a new method for optimizing large-scale models using Nyström approximation of the Hessian.

A quadrisecant of a knot is a straight line intersecting the knot at four points. If a knot has finitely many quadrisecants, one can replace each subarc between two adjacent secant points by the line segment between them to get the quadrisecant approximation of the original knot. It was conjectured that the quadrisecan…

Advances in Koszul modules and syzygies of algebraic varieties.

The restricted Boltzmann machine is a graphical model for binary random variables. Based on a complete bipartite graph separating hidden and observed variables, it is the binary analog to the factor analysis model. We study this graphical model from the perspectives of algebraic statistics and tropical geometry, starti…

This manuscript proposes a probabilistic framework for algorithms that iteratively solve unconstrained linear problems $Bx = b$ with positive definite $B$ for $x$. The goal is to replace the point estimates returned by existing methods with a Gaussian posterior belief over the elements of the inverse of $B$, which can …

This is an expanded and updated version of a lecture series I gave at Seoul National University in September 1997. It is in some sense an update of the 1979 Griffiths and Harris paper with a similar title. I discuss: Homogeneous varieties, Topology and consequences Projective differential invariants, Varieties with deg…

Let $X$ be a smooth irreducible nondegenerate projective variety and let $X^*$ denote its dual variety. It is well known that $σ_2(X)^*$, the dual of the 2-secant variety of $X$, is a component of the singular locus of $X^*$. The locus of bitangent hyperplanes, i.e. hyperplanes tangent to at least two points of $X$, is…

Stochastic gradient algorithms have been the main focus of large-scale learning problems and they led to important successes in machine learning. The convergence of SGD depends on the careful choice of learning rate and the amount of the noise in stochastic estimates of the gradients. In this paper, we propose a new ad…

In this paper, we study the interplay between modules and sub-objects in holomorphic Poisson geometry. In particular, we define a new notion of "residue" for a Poisson module, analogous to the Poincaré residue of a meromorphic volume form. Of particular interest is the interaction between the residues of the canonical …

Quantized Stochastic Primal-Dual Methods for Distributed Optimization

Using symplectic topology and the Radon transform, we prove that smooth 4-dimensional projective planes are diffeomorphic to $\mathbb{CP}^2$. We define the notion of a plane curve in a smooth projective plane, show that plane curves in high dimensional regular planes are lines, prove that homeomorphisms preserving plan…

We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way.

The study classifies semiaffine stable planes into affine, projective, or punctured projective planes.

Stable planes are locally isomorphic to classical projective planes.

Only vertical planes are asymptotic to other planes in 3D space.

Study of elementary planes in Apollonian orbifold with unusual equidistribution.

New bounds found for optimizing non-convex functions with noisy data.

Generic smooth plane-to-plane map germs are topologically equivalent to cones of mappings of the circle. We carry out a complete topological classification of smooth stable mappings of the circle and show how this classification leads, via the result mentioned above, to a topological classification of finitely determin…

Criteria for sharksfin and deltoid singularities from plane to plane, with applications.

HiSS sampling overcomes local mode traps in rugged discrete spaces.

We study two types of isotropic planes: weakly isotropic and strongly isotropic planes. We prove that a Riemannian manifold of indefinite metric is conformally flat if and only if its curvature tensor vanishes on all the strongly isotropic planes. We specialize the plane axiom for Riemannian manifolds of indefinite met…

The study explores conformal planes with finite areas.