arXiv research

New MIP approach for efficient change-point detection.

The integer hull of a polyhedron is the convex hull of the integer points contained in it. We show that the vertices of the integer hulls of a rational family of polyhedra of size O(n) have quasipolynomial coordinates. As a corollary, we show that the stable commutator length of elements in a surgery family is a ratio …

The paper studies splitting maps in link Floer homology using skein exact sequences.

Paper develops machine learning algorithms to learn optimal integer weights for clinical risk scores.

We establish a necessary and sufficient condition for pairs of integers to arise as the weights at the fixed points of an effective circle action on a compact almost complex 4-manifold with a discrete fixed point set. As an application, we provide a necessary and sufficient condition for a pair of integers to arise as …

From a fibered link in the 3-sphere may be constructed a field of not everywhere tangent 2-planes; when the fibered link is the link of an isolated critical point of a map from 4-space to the plane, the plane field is essentially the field of kernels of the derivative of the map. Homotopically, such a plane field deter…

Research extends geodesic length function study to three holed sphere.

Regular integer lattices are characterized by k unit vectors that build up their generator matrices. These have rank k for D-lattices, and are rank-deficient for A-lattices, for E_6 and E_7. We count lattice points inside hypercubes centered at the origin for all three types, as if classified by maximum infinity norm i…

Study non-integer power-law potentials for Schrödinger operators using Lie-Rinehart algebras.

Deep neural networks (DNN) are powerful models for many pattern recognition tasks, yet their high computational complexity and memory requirement limit them to applications on high-performance computing platforms. In this paper, we propose a new method to evaluate DNNs trained with 32bit floating point (float32) accura…

Analyzes biased random walks and corrupted intervals in adversarial settings.

The study examines vector fields with integer singularities in 3D balls.

The paper studies non-integer curvature flows and proves convergence to spheres under specific conditions.

We consider functions with isolated critical points on a closed surface. We prove that in a neighborhood of a critical point the function conjugates with Re$z^k$ for the some nonnegative integer k. The full topological invariant of such functions is constructed.

This paper evaluates quantization techniques for deep learning inference.

Study finds conjugate points in geodesics of Kolmogorov flows on torus.

For every finite collection of curves on a surface, we define an associated (semi-)norm on the first homology group of the surface. The unit ball of the dual norm is the convex hull of its integer points. We give an interpretation of these points in terms of certain coorientations of the original collection of curves. …

Given integers b, c, g, and n, we construct a manifold M containing a c-component link L so that there is a bridge surface Sigma for (M,L) of genus g that intersects L in 2b points and has distance at least n. More generally, given two possibly disconnected surfaces S and S', each with some even number (possibly zero) …

IntSGD compresses SGD gradients without floats, converging as SGD.

The study counts critical points in knot cobordisms using abelian and metacyclic invariants.

Bayesian optimization (BO) methods are useful for optimizing functions that are expensive to evaluate, lack an analytical expression and whose evaluations can be contaminated by noise. These methods rely on a probabilistic model of the objective function, typically a Gaussian process (GP), upon which an acquisition fun…

We consider a two-valued function $u$ that is either Dirichlet energy minimizing, $C^{1,μ}$ harmonic, or in $C^{1,μ}$ with an area-stationary graph such that Almgren's frequency (restricted to the singular set) is continuous at a singular point $Y_0$. As a corollary of recent work of Wickramasekera and the author, if t…

The rising popularity of intelligent mobile devices and the daunting computational cost of deep learning-based models call for efficient and accurate on-device inference schemes. We propose a quantization scheme that allows inference to be carried out using integer-only arithmetic, which can be implemented more efficie…

Bayesian Optimization (BO) methods are useful for optimizing functions that are expen- sive to evaluate, lack an analytical expression and whose evaluations can be contaminated by noise. These methods rely on a probabilistic model of the objective function, typically a Gaussian process (GP), upon which an acquisition f…

We prove an asymptotic formula for the number of integer points in a family of bounded domains in the Euclidean space with smooth boundary, which remain unchanged along some linear subspace and stretch out in the directions, orthogonal to this subspace. A more precise estimate for the remainder is obtained in the case …

Study on coloring virtual tangles with integer and modular arithmetic.

Given smooth manifolds $V^n$ and $M^m$, an integer $k$, and an immersion $f:V\looparrowright M$, we have constructed an obstruction for existence of regular homotopy of $f$ to an immersion $f':V\looparrowright M$ without $k$-fold points. This obstruction takes values in certain framed bordism group, and for $(k+1)(n+1)…

The paper calculates critical points of systole function on Teichmüller space.

Special Legendrian Integral Cycles in $S^5$ are the links of the tangent cones to Special Lagrangian integer multiplicity rectifiable currents in Calabi-Yau 3-folds. We show that such Special Legendrian Cycles are smooth except possibly at isolated points.

Study on choosing points on cubic curves, answering some questions about their flexibility.

Develops a PDE approach to constructing nontrivial anisotropic surfaces.

Conventional hardware-friendly quantization methods, such as fixed-point or integer, tend to perform poorly at very low word sizes as their shrinking dynamic ranges cannot adequately capture the wide data distributions commonly seen in sequence transduction models. We present AdaptivFloat, a floating-point inspired num…

Random square-tiled surfaces have normal genus distribution and cover all integer vectors.

In this article we describe cell decompositions of the moduli space of Riemann surfaces and their relationship to a Hurwitz problem. The cells possess natural linear structures and with respect to this they can be described as rational convex polytopes which come equipped with natural integer points and a volume form. …

We prove that 2 dimensional Integral currents (i.e. integer multiplicity 2 dimensional rectifiable currents) which are almost complex cycles in an almost complex manifold admitting locally a compatible symplectic form are smooth surfaces aside from isolated points and therefore are J-holomorphic curves.

Let f be a smooth Morse function on an infinite dimensional separable Hilbert manifold, all of whose critical points have infinite Morse index and co-index. For any critical point x choose an integer a(x) arbitrarily. Then there exists a Riemannian structure on M such that the corresponding gradient flow of f has the f…

We investigate Seiberg-Witten theory in the presence of real structures. Certain conditions are obtained so that integer valued real Seiberg-Witten invariants can be defined. In general we study properties of the real Seiberg-Witten projection map from the point of view of Fredholm map degrees.

We present the min-max construction of critical points of the area using penalization arguments. Precisely, for any immersion of a closed surface $Σ$ into a given closed manifold, we add to the area Lagrangian a term equal to the $L^q$ norm of the second fundamental form of the immersion times a "viscosity" parameter. …

Let T be a torus of dimension at least k and M a T-manifold. M is a GKM_k-manifold if the action is equivariantly formal, has only isolated fixed points, and any k weights of the isotropy representation in the fixed points are linearly independent. In this paper we compute the cohomology rings with real and integer coe…

New algebraic structure helps distinguish braids.

Paper defines a new invariant for surface immersions.

Study on a new class of meanders with tangential intersections.

We investigate the remainder in the asymptotic formula for the number of integer points in a family of bounded domains in the Euclidean space, which remain unchanged along some linear subspace and expand in the directions, orthogonal to this subspace. We prove some estimates for the remainder, imposing additional assum…

David Gabai showed that disk decomposable knot and link complements carry taut foliations of depth one. In an arbitrary sutured 3-manifold M, such foliations F, if they exist at all, are determined up to isotopy by an associated ray [F] issuing from the origin in H^1(M;R) and meeting points of the integer lattice H^1(M…

It is shown that that the rank of the second fundamental form (resp. the Levi form) of a $\mathcal C^2$-smooth convex hypersurface $M$ in $\Bbb R^{n+1}$ (resp. $\Bbb C^{n+1}$) does not exceed an integer constant $k<n$ near a point $p\in M,$ then through any point $q\in M$ near $p$ there exists a real (resp. complex) $(…

A hex sphere is a singular Euclidean sphere with four cones points whose cone angles are (integer) multiples of 2*pi/3 but less than 2*pi. Given a hex sphere M, we consider its Voronoi decomposition centered at the two cone points with greatest cone angles. In this paper we use elementary Euclidean geometry to describe…

We prove that for each integer k of at least 2, there is an open neigborhood ν_k of the identity map of the 2-sphere S^2, in C^1-topology such that: if G is a nilpotent subgroup of Diff^1(S^2) with length k of nilpotency, generated by elements in ν_k, then the natural action on S^2 has non-empty fixed point set. Moreov…

Integral points are potentially dense in character varieties of quasi-projective varieties.