arXiv research

The perturbative Chern-Simons theory is studied in a finite-dimensional version or assuming that the propagator satisfies certain properties (as is the case, e.g., with the propagator defined by Axelrod and Singer). It turns out that the effective BV action is a function on cohomology (with shifted degrees) that solves…

Rewriting theory applied to diagrammatic algebras for categorification.

Upper bound on Jones polynomials density modulo primes.

Generally speaking, the goal of constructive learning could be seen as, given an example set of structured objects, to generate novel objects with similar properties. From a statistical-relational learning (SRL) viewpoint, the task can be interpreted as a constraint satisfaction problem, i.e. the generated objects must…

New framework detects model weaknesses in decision tree ensembles.

For every n-component ribbon link L we prove that the Jones polynomial V(L) is divisible by the polynomial V(O^n) of the trivial link. This integrality property allows us to define a generalized determinant det V(L) := [V(L)/V(O^n)]_(t=-1), for which we derive congruences reminiscent of the Arf invariant: every ribbon …

Criteria found for graph drawings on surfaces.

The paper combines several fortunate mini miracles to achieve its two objectives. These were woven together in a several year's effort to answer a question raised by Iz Singer a decade ago. Our answer is accessible to the topologist, to the differential geometer and to the analyst who appreciates the statement of the I…

In this paper we describe the well studied process of renormalization of quadratic polynomials from the point of view of their natural extensions. In particular, we describe the topology of the inverse limit of infinitely renormalizable quadratic polynomials and prove that when they satisfy a-priori bounds, the topolog…

In view of the result of Kontsevich, now often called ``the fundamental theorem of Vassiliev theory'', identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the ``4T-relation'' (and in the unframed case, th…

In this paper, we first define the equivariant infinitesimal $η$-form, then we compare it with the equivariant $η$-form, modulo exact forms, by a locally computable form. As a consequence, we obtain the singular behavior of the equivariant $η$-form, modulo exact forms, as a function on the acting Lie group. This result…

Drinfeld associator is a key tool in computing the Kontsevich integral of knots. A Drinfeld associator is a series in two non-commuting variables, satisfying highly complicated algebraic equations - hexagon and pentagon. The logarithm of a Drinfeld associator lives in the Lie algbera L generated by the symbols a,b,c mo…

New operators help focus on specific areas in complex math problems.

New evidence refutes old conjectures about knot homology ranks, suggesting new congruences.

The paper studies dynamical properties in semigroups modulo ideals.

We say that a cover of surfaces S -> X has the Birman--Hilden property if the subgroup of the mapping class group of X consisting of mapping classes that have representatives that lift to S embeds in the mapping class group of S modulo the group of deck transformations. We identify one necessary condition and one suffi…

I. Hambleton, A. Korzeniewski and A. Ranicki proved that the signature of a fibre bundle of closed, connected, compatibly oriented PL manifolds is always multiplicative modulo 4. In this paper, we consider the Hirzebruch $χ_y$-genera for odd integers $y$ for a smooth fiber bundle such that the base, fibre, and total sp…

With a view to constructing a Morse/Floer homology theory for CMC hypersurfaces, we prove a compactness result modulo broken trajectories for eternal mean curvature flows with forcing term in compact, hyperbolic manifolds.

Study infinitesimal deformations of Lie algebroid pairs.

We prove existence results for Dirac-harmonic maps using index theoretical tools. They are mainly interesting if the source manifold has dimension 1 or 2 modulo 8. Our solutions are uncoupled in the sense that the underlying map between the source and target manifolds is a harmonic map.

We demonstrate the agreement between the Higgs branches of two N=2 theories proposed by Argyres and Seiberg to be S-dual, namely the SU(3) gauge theory with six quarks, and the SU(2) gauge theory with one pair of quarks coupled to the superconformal theory with E_6 flavor symmetry. In mathematical terms, we demonstrate…

Modulo-SK outperforms Deepcode in error probability and feedback rounds.

Constructs 3D topological field theories from a specific quantum group, linking to physics invariants.

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about kno…

Using the lamination theory developed by Colding and Minicozzi for sequences of embedded, finite genus minimal surfaces with boundaries going to infinity \cite{CM5}, we show that the space of genus-one helicoids is compact (modulo rigid motions and homotheties). This generalizes a result of Hoffman and White \cite{HW}.

$R$-coloured knot polynomials for $m$-strand torus knots $Torus_{[m,n]}$ are described by the Rosso-Jones formula, which is an example of evolution in $n$ with Lyapunov exponents, labelled by Young diagrams from $R^{\otimes m}$. This means that they satisfy a finite-difference equation (recursion) of finite degree. For…

In this article we show that if a knot diagram admits a non-trivial coloring modulo 13 then there is an equivalent diagram which can be colored with 5 colors. Leaning on known results, this implies that the minimum number of colors modulo 13 is 5.

We analyze two braid group representations and their reductions modulo p.

Any strictly pseudoconvex domain in C2 carries a complete Kahler-Einstein metric, the Cheng-Yau metric, with ``conformal infinity'' the CR structure of the boundary. It is well known that not all CR structures on the 3-sphere arise in this way. In this paper, we study CR structures on the 3-sphere satisfying a differen…

This paper recovers smooth functions from noisy modulo samples using a three-stage strategy.

Quantization, a commonly used technique to reduce the memory footprint of a neural network for edge computing, entails reducing the precision of the floating-point representation used for the parameters of the network. The impact of such rounding-off errors on the overall performance of the neural network is estimated …

We show that the adjacency matrices of the intersection graphs of chord diagrams satisfy the 2-term relations of Bar-Natan and Garoufalides [bg], and hence give rise to weight systems. Among these weight systems are those associated with the Conway and HOMFLYPT polynomials. We extend these ideas to looking at a space o…

We construct a local action of the group of rational maps from $S^2$ to $GL(n,C)$ on local solutions of flows of the ZS-AKNS $sl(n,C)$-hierarchy. We show that the actions of simple elements (linear fractional transformations) give local Bäcklund transformations, and we derive a permutability formula from different fact…

We use the heat flow on the loop space of a closed Riemannian manifold to construct an algebraic chain complex. The chain groups are generated by perturbed closed geodesics. The boundary operator is defined in the spirit of Floer theory by counting, modulo time shift, heat flow trajectories that converge asymptotically…

This thesis is concerned with the residues modulo 4 and 8 of the signature of a 4k-dimensional oriented geometric Poincare complex. The Z_8-valued Brown-Kervaire invariant of Z_4-valued quadratic forms is used to prove that if the signature is divisible by 4, the divisibility by 8 is detected by the Arf invariant of a …

We consider the problem of reconstructing a signal from under-determined modulo observations (or measurements). This observation model is inspired by a (relatively) less well-known imaging mechanism called modulo imaging, which can be used to extend the dynamic range of imaging systems; variations of this model have al…

Developing deformation theory for Calabi-Yau 3-folds with boundary.

In previous work, we defined the intersection graph of a chord diagram associated with a string link (as in the theory of finite type invariants). In this paper, we look at the case when this graph is a tree, and we show that in many cases these trees determine the chord diagram (modulo the usual 1-term and 4-term rela…

We show an integrality of the quantum SU(2)-invariant associated with a non-trivial first cohomology class modulo two.

It was proved by Chern, Hirzebruch and Serre that the signature of a fibre bundle is multiplicative if the fundamental group of the base acts trivially on the cohomology ring of the fibre with real coefficients, in which case the signature of the total space equals the product of the signatures of base and fibre. Hambl…

Determinant modulo 8 classifies virtual knots based on polynomial coefficients.

This paper contains the constructions of a real manifold version of relative K-theory, and of an extension of Karoubi's multiplicative K-theory suggested by U. Bunke (which I call ``free multiplicative K-theory'' in the sequel). Chern-Simons-Nadel type classes on relative K-theory are constructed, while it is proved th…

For asymptotically flat initial data of Einstein's equations satisfying an energy condition, we show that the Penrose inequality holds between the ADM mass and the area of an outermost apparent horizon, if the data are restricted suitably. We prove this by generalizing Geroch's proof of monotonicity of the Hawking mass…

We lift the characteristic-2 totally twisted Khovanov homology of Roberts and Jaeger to a theory with integer coefficients. The result is a complex computing reduced odd Khovanov homology for knots. This complex is equivalent to a spanning-tree complex whose differential is explicit modulo a sign ambiguity coming from …

The purpose of this paper is to establish an upper bound on the distance between two pants decompositions in the pants complex for a closed surface of genus g >= 2. This is done by use of graph theory. First distance is found in the pants graph modulo the action of the mapping class group, and then between pants decomp…

New analysis improves denoising of modulo signals on graphs.

A one-relator group is a group $G_r$ that admits a presentation $\langle S \mid r \rangle$ with a single relation $r$. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If $r \in F(S)'$, the commutator subgroup of $F(S)$, we introduce the simplicial volume of $\| G_r \|$. We …

Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the main challenges behind automated verification of real-world programs which often contain many loops. In this paper, we present Continuous L…