arXiv research

New method uses binary quadratic forms to classify Seifert surfaces in 4-ball.

Novel link classification connects quadratic forms and knot theory.

We generalize Conway's approach to integral binary quadratic forms on Q to study integral binary hermitian forms on quadratic imaginary extensions of Q. In Conway's case, an indefinite form that doesn't represent 0 determines a line ("river") in the spine T associated with SL(2,Z) in the hyperbolic plane. In our genera…

New BDEs reveal singular surfaces from line congruences.

We consider a proximal operator given by a quadratic function subject to bound constraints and give an optimization algorithm using the alternating direction method of multipliers (ADMM). The algorithm is particularly efficient to solve a collection of proximal operators that share the same quadratic form, or if the qu…

Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to present a new proof of Markov's theorem using hyperbolic geometry. The main ingr…

We give a graphical theory of integral indefinite binary Hamiltonian forms $f$ analogous to the one by Conway for binary quadratic forms and the one of Bestvina-Savin for binary Hermitian forms. Given a maximal order $\mathcal O$ in a definite quaternion algebra over $\mathbb Q$, we define the waterworld of $f$, analog…

Study Alexander polynomials of modular knots, revealing finite and infinite coefficient properties.

We provide a geometric characterisation of binary sextics with vanishing quadratic invariant.

Paper proposes a QUBO formulation that reduces binary variables in Bayesian network learning.

Research classifies quadratic forms over various fields.

In this paper are given explicit calculations of Laplace operator spectrum for smooth real/complex-valued functions on all connected compact simple rank three Lie groups with biinvariant Riemannian metric and established a connection of obtained formulas with the number theory and integer ternary and binary quadratic f…

New method trains Boltzmann machines without supervision.

We prove that every lens space contains a genus one homologically fibered knot, which is contrast to the fact that some lens spaces contain no genus one fibered knot. In the proof, the Chebotarev density theorem and binary quadratic forms in number theory play a key role. We also discuss the Alexander polynomial of hom…

Classifies quotients of $S^n imes S^n$ by $\mathbb Z_{/p} imes \mathbb Z_{/p}$ actions.

A new test method improves goodness-of-fit tests for copulas.

We introduce a new discriminant analysis method (Empirical Discriminant Analysis or EDA) for binary classification in machine learning. Given a dataset of feature vectors, this method defines an empirical feature map transforming the training and test data into new data with components having Gaussian empirical distrib…

Novel approximation hierarchy for sparse quadratic programs.

We show that there exist infinitely many pairs of distinct knots in the 3-sphere such that each pair can yield homeomorphic lens spaces by the same Dehn surgery. Moreover, each knot of the pair can be chosen to be a torus knot, a satellite knot or a hyperbolic knot, except that both cannot be satellite knots simultaneo…

This paper classifies quadratic form parameters over integers and computes their Witt groups.

It is widely conjectured that the reason that training algorithms for neural networks are successful because all local minima lead to similar performance, for example, see (LeCun et al., 2015, Choromanska et al., 2015, Dauphin et al., 2014). Performance is typically measured in terms of two metrics: training performanc…

Extends quadratic loss for SVM and deep learning to improve pattern correlation.

We realize the simple Lie superalgebra G(3) as supersymmetry of various geometric structures, most importantly super-versions of the Hilbert-Cartan equation (SHC) and Cartan's involutive PDE system that exhibit G(2) symmetry. We provide the symmetries explicitly and compute, via the first Spencer cohomology groups, the…

The paper classifies biharmonic quadratic maps between spheres, proving their energy density properties.

We propose $\ell_1$ norm regularized quadratic surface support vector machine models for binary classification in supervised learning. We establish their desired theoretical properties, including the existence and uniqueness of the optimal solution, reduction to the standard SVMs over (almost) linearly separable data s…

A correspondence between different $Pin$-type structures on a compact surface and quadratic (linear) forms on its homology is constructed. Addition of structures is defined and expressed in terms of these quadratic forms.

Quantum machine learns to clean up blurry images.

Enhances power of covariance matrix tests for high-dimensional data.

The paper develops efficient estimators for semi-parametric binary models in distributed computing.

The F-measure, which has originally been introduced in information retrieval, is nowadays routinely used as a performance metric for problems such as binary classification, multi-label classification, and structured output prediction. Optimizing this measure is a statistically and computationally challenging problem, s…

Quantum algorithm improves sparse vector recovery from noisy measurements.

We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construc…

Study quadratic one-forms on logarithmic Higgs bundles on pointed curves.

New quadratic forms expand and rotate linear endomorphisms in geometric theory.

Let M be a complete Riemannian manifold with negative curvature, and let C_-, C_+ be two properly immersed closed convex subsets of M. We survey the asymptotic behaviour of the number of common perpendiculars of length at most s from C_- to C_+, giving error terms and counting with weights, starting from the work of Hu…

Improves scalability of Bayesian optimization for combinatorial spaces.

Proves non-positivity of Hirzebruch form on stable weights and connects to flat logarithmic connections.

We consider support recovery in the quadratic logistic regression setting - where the target depends on both p linear terms $x_i$ and up to $p^2$ quadratic terms $x_i x_j$. Quadratic terms enable prediction/modeling of higher-order effects between features and the target, but when incorporated naively may involve solvi…

We investigate the asymptotics of the total number of simple $4a+1$-knots with Alexander polynomial of the form $mt^2 +(1-2m) t + m$ for some $m \in [-X, X]$. Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, thi…

Hurwitz transformations are defined as specific automorphisms of a Cayley-Dickson algebra. These transformations generate quadratic and nonquadratic forms. We investigate here the Hurwitz transformations corresponding to Cayley-Dickson algebras of dimensions 2m = 2, 4 and 8. The Hurwitz transformations which lead to qu…

New conic quadratic formulations improve outlier detection in regression models.

Develops a bialgebra theory for post-Lie algebras using geometric interpretations and bilinear forms.

Study links K-stability of certain surfaces to binary forms, proving stability and non-stability conditions.

This paper aims at refined error analysis for binary classification using support vector machine (SVM) with Gaussian kernel and convex loss. Our first result shows that for some loss functions such as the truncated quadratic loss and quadratic loss, SVM with Gaussian kernel can reach the almost optimal learning rate, p…

In this paper, we compute the covolume of the group of units of the quadratic form f_d^n(x) = x_1^2 + x_2^2 + . . . + x_n^2 - d x_{n+1}^2 with d an odd, positive, square-free integer. Mcleod has determined the hyperbolic Coxeter fundamental domain of the reflection subgroup of the group of units of the quadratic form f…

Quadratic points of a surface in the projective 3-space are the points which can be exceptionally well approximated by a quadric. They are also singularities of a 3-web in the elliptic part and of a line field in the hyperbolic part of the surface. We show that generically the index of the 3-web at a quadratic point is…

Unified binary and multiclass margin-based classification methods.

New algorithm for nonparametric IV regression using stochastic gradients.