arXiv research

We establish the Thom isomorphism in twisted K-theory for any real vector bundle and develop the push-forward map in twisted K-theory for any differentiable proper map $f: X\to Y$ (not necessarily K-oriented). The push-forward map generalizes the push-forward map in ordinary K-theory for any $K$-oriented differentiable…

We study the maximal entropy per unit generator of push-point mapping classes on the punctured disk. Our work is motivated by fluid mixing by rods in a planar domain. If a single rod moves among N-fixed obstacles, the resulting fluid diffeomorphism is in the push-point mapping class associated with the loop in π_1(D^2 …

We show that the minimum of asymptotic translation lengths of all point-pushing pseudo-Anosov maps on any one punctured Riemann surface is one.

Study of point-pushing actions on manifolds with boundary.

This paper explores the nonconvexity of push-forward constraints in machine learning.

Study of codimension-1 embeddings in 3-manifolds using twist maps and push maps.

Let $S$ be a closed Riemann surface of genus $p>1$ with one point removed. In this paper, we identify those point-pushing pseudo-Anosov maps on $S$ that preserve at least one bi-infinite geodesic in the curve complex.

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove t…

We give an infinite presentation for the mapping class group of a non-orientable surface. The generating set consists of all Dehn twists and all crosscap pushing maps along simple loops.

Study embeddings between Barron spaces with various activation functions, focusing on RePU.

Study finds anomalies in high-frequency S&P 500 price changes.

Skilled robotic manipulation benefits from complex synergies between non-prehensile (e.g. pushing) and prehensile (e.g. grasping) actions: pushing can help rearrange cluttered objects to make space for arms and fingers; likewise, grasping can help displace objects to make pushing movements more precise and collision-fr…

In this note, we reconcile two approaches that have been used to construct stringy multiplications. The pushing forward after pulling back that has been used to give a global stringy extension of the functors K_0,K^{top},A^*,H^* [CR, FG, AGV, JKK2], and the pulling back after having pushed forward, which we have previo…

New Seifert surfaces in 4-ball differ even when pushed in.

It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, …

Let f: P-->W be an embedding of a compact polyhedron in a closed oriented manifold W, let T be a regular neighborhood of P in W and let C:=closure(W-T) be its complement. Then W is the homotopy push-out of a diagram C<--dT-->P. This homotopy push-out square is an example of what is called a Poincare embedding. We study…

In this note we apply heat kernels to derive some localization formula in sympletcic geometry, to study moduli spaces of flat connections on a Riemann surface, to obtain the push-forward measures for certain maps between Lie groups and to solve equations in finite groups.

Push-SAGA is a decentralized algorithm for directed graphs that converges linearly.

We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute low…

The purpose of this paper is to study the action of the mapping class group on the moduli space of representations of the fundamental group of a non-orientable surface into SU(2). The action is shown to be ergodic with respect to a natural measure. This measure is defined using the push-forward measure associated to a …

It is well-known that a paracompact space $X$ is of covering dimension at most $n$ if and only if any map $f\colon X\to K$ from $X$ to a simplicial complex $K$ can be pushed into its $n$-skeleton $K^{(n)}$. We use the same idea to characterize asymptotic dimension in the coarse category of arbitrary coarse spaces. Cont…

We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show that, if the principal symbol class of such an elliptic operator on the boundary of …

Pushing a little forward an approach proposed by Villani, we are going to prove that in the Riemannian setting the condition $\nabla^2 f< g$ implies that $f$ is $c$-concave with respect to the quadratic cost as soon as it has a sufficiently small $C^1$-norm. From this, we deduce a sufficient condition for the optimalit…

Smoothly isotopic 3-discs in 4-sphere become identical after 5-dimensional push.

We discuss the fundamental (relative) 3-classes of knots (or hyperbolic links), and provide diagrammatic descriptions of the push-forwards with respect to every link-group representation. The point is an observation of a bridge between the relative group homology and quandle homology from the viewpoints of Inoue--Kabay…

The paper shows how Sobolev maps affect currents in metric spaces.

Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative an…

The Cannon-Thurston map's pushed measures on the circle are singular with respect to sphere measures.

Paper converts deep networks to flat, equivalent kernel machines.

We define a new homology theory we call symbol homology by using decorated moduli spaces of Whitney polygons. By decorating different types of moduli spaces we obtain different flavors of this homology theory together with morphisms between them. Each of these flavors encodes the properties of a different type of Heega…

Using optimal transport we study some dynamical properties of expanding circle maps acting on measures by push-forward. Using the definition of the tangent space to the space of measures introduced by Gigli, their derivative at the unique absolutely continuous invariant measure is computed. In particular it is shown th…

This paper presents a data-driven approach to model planar pushing interaction to predict both the most likely outcome of a push and its expected variability. The learned models rely on a variation of Gaussian processes with input-dependent noise called Variational Heteroscedastic Gaussian processes (VHGP) that capture…

Study measures complexity of surfaces using a new graph to prove group properties.

Let $f:M^m\longrightarrow \Bbb R^{m+k}$ be an immersion where $M$ is a smooth connected $m$-dimensional manifold without boundary. Then we construct a subspace $Ω(f)$ of $\mathbb{R}^k$, namely push-out space. which corresponds to a set of embedded manifolds which are either parallel to $f$, tubes around $f$ or, in…

Let $G$ be a Lie group, and let $(M,ω)$ be a symplectic manifold. If $G$ admits a Hamiltonian action on $(M,ω)$ with momentum map $μ$, then $M$, the zero-level set of $μ$, the orbit space, and the corresponding symplectic quotient all have induced stratifications. We push this setting into the language of differential …

Let G be a compact, simply connected Lie group. We develop a `quantization functor' from pre-quantized quasi-Hamiltonian G-spaces at level k to the fusion ring (Verlinde algebra) R_k(G). The quantization Q(M) is defined as a push-forward in twisted equivariant K-homology. It may be computed by a fixed point formula, si…

Deep RL trains a robust humanoid push-recovery policy.

Given a closed surface endowed with a volume form, we equip the space of compatible Riemannian structures with the structure of an infinite-dimensional symplectic manifold. We show that the natural action of the group of volume-preserving diffeomorphisms by push-forward has a group-valued momentum map that assigns to a…

Unified framework for stability and generalization of Push-Sum in decentralized learning over directed graphs.

A filling curve $γ$ on a based surface $S$ determines a pseudo-Anosov homeomorphism $P(γ)$ of $S$ via the process of "point-pushing along $γ$." We consider the relationship between the self-intersection number $i(γ)$ of $γ$ and the dilatation of $P(γ)$; our main result is that the dilatation is bounded between $(i(γ)+1…

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As…

Push-forward models struggle to fit multimodal distributions due to high Lipschitz constants.

A new method uses normalizing flows to approximate optimal transport between empirical distributions.

This paper continues a series of studies devoted to analysis of the bivariate probability distribution P(x,y) of two consecutive price increments x (push) and y (response) at intraday timescales for a group of stocks. Besides the asymmetry properties of P(x,y) such as Market Mill dependence patterns described in preced…

A new algorithm for optimizing probability distributions converges linearly.

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct a push-forward map in differential equivariant K-theory. Finally, we construct …

Researchers examine various causal structures for spacetimes with continuous metrics.

Let $\mathrm{SO}^+(p,q)$ denote the identity connected component of the real orthogonal group with signature $(p,q)$. We give a complete description of the spaces of continuous and generalized translation- and $\mathrm{SO}^+(p,q)$-invariant valuations, generalizing Hadwiger's classification of Euclidean isometry-invari…