arXiv research

Robust STAP with coprime arrays reduces clutter using sparse modeling.

New q-deformed integers help compute Jones polynomials efficiently.

A polynomial f(t) with rational coefficients is strongly irreducible if f(t^k) is irreducible for all positive integers k. Likewise, two polynomials f and g are strongly coprime if f(t^k) and g(t^l) are relatively prime for all positive integers k and l. We provide some sufficient conditions for strong irreducibility a…

We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $ρ$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each …

Given a knot $K$ we may construct a group $G_n(K)$ from the fundamental group of $K$ by adjoining an $n$th root of the meridian that commutes with the corresponding longitude. For $n\geq2$ these "generalised knot groups" determine $K$ up to reflection (Nelson and Neumann, 2008; arXiv:0804.0807). The second author has s…

Paper distinguishes 2-knots with circle actions using fundamental groups.

Simple geodesics on spherical tetrahedra identified for specific angles.

The AJ conjecture is verified for certain connected sums of torus knots.

Improves magnetic field mapping using an array of magnetometers with noisy input.

Simpler proof for non-basic sets in 2D.

Paper improves DOA estimation in sparse arrays using Siamese neural networks.

In this paper we prove that the Casson-Gordon invariants of the connected sum of two knots split when the Alexander polynomials of the knots are coprime. As one application, for any knot K, all but finitely many algebraically slice twisted doubles of K are linearly independent in the knot concordance group.

Direction of arrival (DoA) estimation of targets improves with the number of elements employed by a phased array radar antenna. Since larger arrays have high associated cost, area and computational load, there is recent interest in thinning the antenna arrays without loss of far-field DoA accuracy. In this context, a c…

Physical activity levels are an important predictor of cardiovascular health and increasingly being measured by sensors, like accelerometers. Accelerometers produce rich multivariate data that can inform important clinical decisions related to individual patients and public health. The CHAMPION study, a study of youth …

We show that if the connected sum of two knots with coprime Alexander polynomials has vanishing von Neumann rho-invariants associated with certain metabelian representations then so do both knots. As an application, we give a new example of an infinite family of knots which are linearly independent in the knot concorda…

Analog arrays are a promising upcoming hardware technology with the potential to drastically speed up deep learning. Their main advantage is that they compute matrix-vector products in constant time, irrespective of the size of the matrix. However, early convolution layers in ConvNets map very unfavorably onto analog a…

Moduli spaces of semi-stable real and quaternionic vector bundles of a fixed topological type admit a presentation as Lagrangian quotients, and can be embedded into the symplectic quotient corresponding to the moduli variety of semi-stable holomorphic vector bundles of fixed rank and degree on a smooth complex projecti…

We study the representation spaces $R(K;\bf{i})$ as appearing in Kronheimer and Mrowka's framed instanton knot Floer homology, for a class of pretzel knots. In particular, for pretzel knots $P(p,q,r)$ with $p, q, r$ pairwise coprime, these appear to be non-degenerate and comprise representations in SU(2) that are not b…

We show that, for any prime p, a knot K in the 3-sphere is determined by its p-fold cyclic unbranched covering. We also investigate when the m-fold cyclic unbranched covering of a knot coincides with the n-fold cyclic unbranched covering of another knot, for different coprime integers m and n.

Novel CNN array for sign language recognition using wearable IMUs.

Scoring systems are linear classification models that only require users to add, subtract and multiply a few small numbers in order to make a prediction. These models are in widespread use by the medical community, but are difficult to learn from data because they need to be accurate and sparse, have coprime integer co…

Massive MIMO is a variant of multiuser MIMO where the number of base-station antennas $M$ is very large (typically 100), and generally much larger than the number of spatially multiplexed data streams (typically 10). Unfortunately, the front-end A/D conversion necessary to drive hundreds of antennas, with a signal band…

Missing data is an important challenge when dealing with high dimensional data arranged in the form of an array. In this paper, we propose methods for estimation of the parameters of array variate normal probability model from partially observed multiway data. The methods developed here are useful for missing data impu…

We show that if the connected sum of two knots with coprime Alexander polynomials is doubly slice, then the Ozsváth-Szabó correction terms as smooth double sliceness obstructions vanish for both knots. Recently, Jeffrey Meier gave smoothly slice knots that are topologically doubly slice, but not smoothly doubly slice. …

We classify the Seifert fibrations of any given lens space L(p,q). We give an algorithmic construction of a Seifert fibration of L(p,q) over the base orbifold S^2(m,n) with the coprime parts of m and n arbitrarily prescribed. This algorithm produces all possible Seifert fibrations, and the equivalences between the resu…

Using the L^2 norm of the Higgs field as a Morse function, we study the moduli spaces of U(p,q)-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on (p,q). A key step is the identification of the function's local minima as moduli spaces of holomorph…

A neural network, IHT-Net, improves DOA estimation with sparse arrays.

The harmonic knot $\H(a,b,c)$ is parametrized as $K(t)= (T_a(t) ,T_b (t), T_c (t))$ where $a$, $b$ and $c$ are pairwise coprime integers and $T_n$ is the degree $n$ Chebyshev polynomial of the first kind. We classify the harmonic knots $\H(a,b,c)$ for $a \le 4.$ We study the knots $\H (2n-1, 2n, 2n+1),$ the knots $\H…

A Chebyshev knot is a knot which admits a parametrization of the form $x(t)=T_a(t); \ y(t)=T_b(t) ; \ z(t)= T_c(t + φ),$ where $a,b,c$ are pairwise coprime, $T_n(t)$ is the Chebyshev polynomial of degree $n,$ and $φ\in \RR .$ Chebyshev knots are non compact analogues of the classical Lissajous knots. We show that the…

We propose the Neural Logic Machine (NLM), a neural-symbolic architecture for both inductive learning and logic reasoning. NLMs exploit the power of both neural networks---as function approximators, and logic programming---as a symbolic processor for objects with properties, relations, logic connectives, and quantifier…

We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingred…

Paper proposes a learning-based sparse Bayesian method for accurate off-grid DOA estimation.

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,…

We present a system for the automatic differentiation of a higher-order functional array-processing language. The core functional language underlying this system simultaneously supports both source-to-source automatic differentiation and global optimizations such as loop transformations. Thanks to this feature, we demo…

Infinite Tucker Decomposition (InfTucker) and random function prior models, as nonparametric Bayesian models on infinite exchangeable arrays, are more powerful models than widely-used multilinear factorization methods including Tucker and PARAFAC decomposition, (partly) due to their capability of modeling nonlinear rel…

TQFT signatures linked to trace fields of knots.

Proved boundary Dehn twist is exotic for Milnor fibers with specific conditions.

We augment the nonnegative matrix factorization method for audio source separation with cues about directionality of sound propagation. This improves separation quality greatly and removes the need for training data, with only a twofold increase in run time. This is the first method which can exploit directional inform…

Hardware architectures composed of resistive cross-point device arrays can provide significant power and speed benefits for deep neural network training workloads using stochastic gradient descent (SGD) and backpropagation (BP) algorithm. The training accuracy on this imminent analog hardware however strongly depends o…

We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection …

Anomaly detection is one of the frequent and important subroutines deployed in large-scale data processing systems. Even being a well-studied topic, existing techniques for unsupervised anomaly detection require storing significant amounts of data, which is prohibitive from memory and latency perspective. In the big-da…

We give a sufficient condition under which vanishing property of Cochran-Orr-Teichner knot concordance obstructions splits under connected sum. The condition is described in terms of self-annihilating submodules with respect to higher-order Blanchfield linking forms. This extends results of Levine and the authors on di…

This paper proposes a learning framework for n-bit quantized neural networks that improves accuracy and speed on FPGAs.

We consider two eigenvalue problems for Laplacian on some specific doubly connected domain. In particular, we study the following two eigenvalue problems. Let $B_1$ be an open ball in $\mathbb{R}^n$ and $B_0$ be a ball contained in $B_1$. Let $ν$ be the outward unit normal on $\partial B_1$. Then the first eigenvalue o…

Sorting an array is a fundamental routine in machine learning, one that is used to compute rank-based statistics, cumulative distribution functions (CDFs), quantiles, or to select closest neighbors and labels. The sorting function is however piece-wise constant (the sorting permutation of a vector does not change if th…

Jones polynomial for twisted torus knots is trivial if and only if the knot is trivial.

In this paper we prove the following geometric inequality in the hyperbolic space $\H^n$ ($n\ge 5)$, which is a hyperbolic Alexandrov-Fenchel inequality, \[\begin{array}{rcl} \ds \int_Σ\s_4 d μ\ge \ds\vs C_{n-1}^4ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} \right)^\frac 12 + \left(\frac{|Σ|}{ω_{n-1}} \right)^{\frac 12\frac…

The paper proves existence of solutions for mean field equations on compact Riemann surfaces.