arXiv research

Study of $p$-adic simplicial volumes and their properties.

Duality result connects bounded cohomology to relative Gromov seminorm.

Unified framework for solving fixed-point equations in deterministic and stochastic settings.

We show that the Thurston seminorms of all finite covers of an aspherical 3-manifold determine whether it is a graph manifold, a mixed 3-manifold or hyperbolic.

The analysis of classical consensus algorithms relies on contraction properties of adjoints of Markov operators, with respect to Hilbert's projective metric or to a related family of seminorms (Hopf's oscillation or Hilbert's seminorm). We generalize these properties to abstract consensus operators over normal cones, w…

Signed seminorms linked to real tropical spaces and matroids.

We consider pairs of a non-empty compact connected and locally connected Hausdorff space and a real-valued continuous function. Our aim is to measure the difference between this kind of the pairs. In this notes we introduce new pseudodistances between pairs associated with reparametrization invariant seminorms. We fini…

Characterizes when differential forms have weak exterior derivatives based on limiting behavior of integration over simplices.

Geometric analysis on real analytic manifolds using seminorms.

We describe a method to compute the Culler-Shalen seminorms of a knot, using the (-3,3,4) pretzel knot as an illustrative example. We deduce that the SL2(C)-character variety of this knot consists of three algebraic curves and that it admits no non-trivial cyclic or finite surgeries. We also summarize similar results f…

We show that the SL(2,C)-character variety of the (-2,3,n) pretzel knot consists of two (respectively three) algebraic curves when 3 does not divide n (respectively 3 divides n) and give an explicit calculation of the Culler-Shalen seminorms of these curves. Using this calculation, we describe the fundamental polygon a…

Researchers found abnormal extremals on specific Lie groups.

We determine the total Culler-Shalen seminorms for the 3-manifolds W_{p/q}:=W(p/q,-) obtained by Dehn filling with slope p/q on one boundary component of the Whitehead link exterior W when p is odd. As part of the proof, we use an explicit parametrization of the eigenvalue variety of W to find a one-variable polynomial…

Study finds abnormal paths on specific Lie groups using algebraic structures.

An explicit seminorm $||f||_{#}$ on the vector space of Chow vectors of projective varieties is introduced, and shown to be a generalized Mabuchi energy functional for Chow varieties. The singularities of the Chow varieties give rise to currents supported on their singular loci, while the regular parts are shown to rep…

New Q-learning method achieves optimal sample complexity for average-reward problems.

Study shows global invertibility in nonlinear elasticity with vanishing self-repulsion term.

Consider the exterior M of a hyperbolic knot lying in a closed, connected, orientable 3-manifold. Culler and Shalen defined norm on H_1(dM;R) using the SL(2,C) character variety of pi_1(M). The Culler-Shalen norm encodes many topological properties of M; in particular it provides information about Dehn fillings of M. T…

Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide algebraically on the category of CW-complexes. It is the aim of this paper to prove that…

Introduces HTV to measure function complexity in learning schemes.

We present a new proof of Thurston's theorem that the unit ball of a seminorm on $\mathbf{R}^d$ taking integer values on $\mathbf{Z}^d$ is a polyhedra defined by finitely many inequalities with integer coefficients.

The stable 4-genus of a knot K in 3-space is the limiting value of g_4(nK)/n, where g_4 denotes the 4-genus and n goes to infinity. This induces a seminorm on CQ, the concordance group tensored with the rational numbers. Basic properties of the stable genus are developed, as are examples focused on understanding the un…

We classify Dehn surgeries on (p,q,r) pretzel knots resulting in a manifold M(s) having cyclic fundamental group and analyze those leading to a finite fundamental group. The proof uses the theory of cyclic and finite surgeries developed by Culler, Shalen, Boyer, and Zhang. In particular, Culler-Shalen seminorms play a …

This study reveals fundamental trade-offs between memorization and robustness in neural networks.

The paper provides a new uniform tail bound for empirical processes.

Constructs Serre spectral sequence for bounded cohomology.

We show that the Grothendieck group associated to integral polytopes in $\mathbb{R}^n$ is free-abelian by providing an explicit basis. Moreover, we identify the involution on this polytope group given by reflection about the origin as a sum of Euler characteristic type. We also compute the kernel of the norm map sendin…

Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular hom…

Deep neural networks perform well on real world data but are prone to adversarial perturbations: small changes in the input easily lead to misclassification. In this work, we propose an attack methodology not only for cases where the perturbations are measured by $\ell_p$ norms, but in fact any adversarial dissimilarit…

Let $X$ be a topological space admitting an amenable cover of multiplicity $k\in\mathbb{N}$. We show that, for every $n\geq k$ and every $α\in H_n(X;\mathbb{R})$, the image of $α$ in the $\ell^1$-homology module $H_n^{\ell^1}(X;\mathbb{R})$ vanishes. This strenghtens previous results by Gromov and Ivanov, who proved, u…

The Thurston norm is derived from polytopes and applied to group cohomology.

The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles are given. It is proved that quandle rings of left or right orderable quandles which are semi-latin have no zero-divisors. …

Lie-Rinehart algebras over $C^\infty$-rings defined and studied.

A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids. Basic properties of the Poisson K-ring are proved and the Poisson K-rings are calcul…

Investigates differential smoothness of 3D skew polynomial rings.

We define a notion of stability for chiral ring of four dimensional N=1 theory by introducing test chiral rings and generalized a maximization. We conjecture that a chiral ring is the chiral ring of a superconformal field theory if and only if it is stable. We then study N=1 field theory derived from D3 branes probing …

A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring, in…

The paper examines differential smoothness in skew PBW extensions over polynomial rings.

Criteria for smoothness of ambiskew polynomial rings.

This paper calculates the skein algebra of the Borromean rings complement.

The paper explores idempotents in quandle rings and their connections to quandle coverings.

Defines vector fields and differential forms on local C-infinity-ringed spaces.

Researchers found only one hyperbolic structure for Borromean rings.

New argument for 3-manifold cohomology with $\mathbb{F}_2$ coefficients.

Paper computes hyperbolic structure of Borromean rings complement.

New hyperbolic manifolds found with same trace ring.

We calculate the intersection ring of three-dimensional graph manifolds with rational coefficients and give an algebraic characterization of these rings when the manifold's underlying graph is a tree. We are able to use this characterization to show that the intersection ring obstructs arbitrary three-manifolds from be…

Homological algebra used to study local equivalence of complex rings.