arXiv research

We study the phase retrieval problem, which solves quadratic system of equations, i.e., recovers a vector $\boldsymbol{x}\in \mathbb{R}^n$ from its magnitude measurements $y_i=|\langle \boldsymbol{a}_i, \boldsymbol{x}\rangle|, i=1,..., m$. We develop a gradient-like algorithm (referred to as RWF representing reshaped W…

Hadamard Wirtinger Flow recovers sparse signals from fewer measurements.

Over-the-air computation (AirComp) shows great promise to support fast data fusion in Internet-of-Things (IoT) networks. AirComp typically computes desired functions of distributed sensing data by exploiting superposed data transmission in multiple access channels. To overcome its reliance on channel station informatio…

We consider the robust phase retrieval problem of recovering the unknown signal from the magnitude-only measurements, where the measurements can be contaminated by both sparse arbitrary corruption and bounded random noise. We propose a new nonconvex algorithm for robust phase retrieval, namely Robust Wirtinger Flow to …

The paper connects complex normalizing flows to Kähler-Ricci flows using geometric and statistical perspectives.

This paper considers the noisy sparse phase retrieval problem: recovering a sparse signal $x \in \mathbb{R}^p$ from noisy quadratic measurements $y_j = (a_j' x )^2 + ε_j$, $j=1, \ldots, m$, with independent sub-exponential noise $ε_j$. The goals are to understand the effect of the sparsity of $x$ on the estimation prec…

Paper proves vanishing homology groups for certain hyperbolic groups.

A generalization of the affine-geometric Wirtinger inequality for curves to hypersurfaces is given.

The Wirtinger number of a virtual link is the minimum number of generators of the link group over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a virtual link equals its virtual bridge number. Since the Wirtinger number…

We define the Wirtinger width of a knot. Then we prove the Wirtinger width of a knot equals its Gabai width. The algorithmic nature of the Wirtinger width leads to an efficient technique for establishing upper bounds on Gabai width. As an application, we use this technique to calculate the Gabai width of approximately …

We define the {\it Wirtinger number} of a link, an invariant closely related to the meridional rank. The Wirtinger number is the minimum number of generators of the fundamental group of the link complement over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. …

The computation of the fundamental group of the complement of an algebraic plane curve has been theoretically solved since Zariski-van Kampen, but actual computations are usually cumbersome. In this work, we describe the notion of Wirtinger presentation of such a group relying on the real picture of the curve and with …

Sharp bounds for curve isoperimetric deficit derived.

A new deep learning model improves phase retrieval performance.

Considering Wirtinger's inequality for piece-wise equipartite functions we find a discrete version of this classical inequality. The main tool we use is the theorem of classification of isometries. Our approach provides a new elementary proof of Wirtinger's inequality that also allows to study the case of equality. Mor…

Paper tackles phase retrieval with robust gradient descent for noisy data.

New method calculates bridge indices of spatial graphs using diagram colorings and Wirtinger number.

New formula for knot group representations and hyperbolic structures.

We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds t…

Existing nonconvex statistical optimization theory and methods crucially rely on the correct specification of the underlying "true" statistical models. To address this issue, we take a first step towards taming model misspecification by studying the high-dimensional sparse phase retrieval problem with misspecified link…

Study on weakly G-slim complexes and non-positive immersions for group presentations.

For any subvariety of a compact holomorphic symplectic Kaehler manifold, we define the number W(X), which we call Wirtinger number. We show that $W(X)\leq 1$, and the equality is reached if and only if the subvariety $X\subset M$ is trianalytic, i. e. compactible with the hyperkaehler structure on M. For a sequence $X_…

New theory classifies knotted spheres in 4D space.

Paper introduces danceability index as a new bridge index definition.

The paper proves existence and uniqueness of slant immersions in complex space forms.

We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric construction related to the discrete isoperimetric problem on the surface of a cone. In…

Link's sphere number equals its bridge number.

This research explores complex-valued neural networks and their implementation.

We consider the problem of demixing a sequence of source signals from the sum of noisy bilinear measurements. It is a generalized mathematical model for blind demixing with blind deconvolution, which is prevalent across the areas of dictionary learning, image processing, and communications. However, state-of- the-art c…

This paper solves quadratic systems with sparse or generative priors.

New method for quandle presentations of surface knots in 4-manifolds.

The paper presents fundamental groups of complements of shadows in 4-balls.

Free surface-links are shown to be ribbon links.

We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph Reidemeister moves, generalizing the Dehn presentation of the knot group analogously to…

This paper presents a new algorithm, termed \emph{truncated amplitude flow} (TAF), to recover an unknown vector $\bm{x}$ from a system of quadratic equations of the form $y_i=|\langle\bm{a}_i,\bm{x}\rangle|^2$, where $\bm{a}_i$'s are given random measurement vectors. This problem is known to be \emph{NP-hard} in genera…

A classical link in 3-space can be represented by a Gauss paragraph encoding a link diagram in a combinatorial way. A Gauss paragraph may code not a classical link diagram, but a diagram with virtual crossings. We present a criterion and a linear algorithm detecting whether a Gauss paragraph encodes a classical link. W…

We prove the meridional rank conjecture for twisted links and arborescent links associated to bipartite trees with even weights. These links are substantial generalizations of pretzels and two-bridge links, respectively. Lower bounds on meridional rank are obtained via Coxeter quotients of the groups of link complement…

This paper considers the problem of solving systems of quadratic equations, namely, recovering an object of interest $\mathbf{x}^{\natural}\in\mathbb{R}^{n}$ from $m$ quadratic equations/samples $y_{i}=(\mathbf{a}_{i}^{\top}\mathbf{x}^{\natural})^{2}$, $1\leq i\leq m$. This problem, also dubbed as phase retrieval, span…

New algorithms handle phase retrieval with rank d measurements, revealing phase transitions.

In this paper, a regional knot invariant is constructed. Like the Wirtinger presentation of a knot group, each planar region contributes a generator, and each crossing contributes a relation. The invariant is call a tridle of the link. As in the quandle theory, one can define Alexander quandle and get Alexander polynom…

Continuous-time mirror descent solves sparse phase retrieval efficiently.

Study calculates fundamental groups of torus knots using algebraic topology.

New groups defined from knot diagrams, invariant under Reidemeister moves.

Following an idea of Dadok, Harvey and Lawson, we apply the triality property of SO(8) to study the comass of certain self-dual 4-forms on R^8. In particular, we prove that the Cayley 4-form has comass 1 and that any self-dual 4-form realizing the maximal Wirtinger ratio is SO(8)-conjugate to the Cayley 4-form. We also…

A {\em word labeled oriented graph} (WLOG) is an oriented graph $\cal G$ on vertices $X=\{ x_1,\ldots ,x_k\}$, where each oriented edge is labeled by a word in $X^{\pm1}$. WLOGs give rise to presentations which generalize Wirtinger presentations of knots. WLOG presentations, where the underlying graph is a tree are of …

The paper derives new inequalities on manifolds and applies them to convex hypersurfaces.

New approach to quantify posterior concentration rates using Wasserstein dynamics.

A classical result of H. S. M. Coxeter asserts that a certain quotient $B(m,n)$ of the braid group $B(m)$ on $m$ strands is finite if and only if $(m,n)$ corresponds to the type of one of the five Platonic solids. If ${\bf k}$ is a knot or virtual knot, one can study similar quotients $G({\bf k}, n)$ for the correspond…