arXiv research

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

Paper proves vanishing homology groups for certain hyperbolic groups.

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

Paper estimates differences in conditional independence graphs from time-dependent data.

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.

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…

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

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…

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…

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.

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 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.

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 …

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…

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…

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…

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

The paper presents a new framework for complex Support Vector Regression as well as Support Vector Machines for quaternary classification. The method exploits the notion of widely linear estimation to model the input-out relation for complex-valued data and considers two cases: a) the complex data are split into their …

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…

Study embedding calculus and link invariants using functor calculus.

A new deep learning model improves phase retrieval performance.

Embedding calculus proves convergence for surfaces.

Study geometric characterization of asymptotic pseudodifferential calculus on spinor bundles.

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topol…

Secondary Calculus formalizes PDEs using cohomology, simplifying their study.

In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus.

Extends differential calculus to triole algebras.

Introduces tractors for basic examples and modern differential calculus.

A diagrammatic language for 3D manifolds with boundary.

Unified Lie structures in homotopy and isotopy calculus.

We examine the N-Koszul calculus for the N-symmetric algebras. The case N=2 corresponds to the Elie Cartan calculus. We conjecture that, as in the case N=2, the N-Cartan calculus extends to manifolds when N>2, which would provide a new type of noncommutative differential geometry.

This paper is concerned with pseudodifferential calculus on manifolds with fibred corners. Following work of Connes, Monthubert, Skandalis and Androulidakis, we associate to every manifold with fibred corners a longitudinally smooth groupoid which algebraic and differential structure is explicitely described. This grou…

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