S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation of the braid group into the general linear group of some field. Using this, we deduce from previously known results that the mapping class group of a sphere with punctures and hyperelliptic mapping class groups are linear. I…
The paper provides a concentration result and sample complexity for linear Monge mapping estimation and its application in domain adaptation.
problem Estimating the linear Monge mapping between distributions and its application in domain adaptation.
method The approach involves proving a concentration result and sample complexity for the linear mapping operator, and using it to derive a generalization bound for domain adaptation with optimal transport.
result The method achieves a sample complexity of n−1/2 and approaches the performance of theoretical Bayes predictor under mild conditions. We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations between the cotangent bundles specified by generating functions depending on positio…
Characterizes a general range decreasing group homomorphism.
problem Understanding range decreasing group homomorphisms in the entire mapping group.
method Characterization of a general range decreasing group homomorphism.
result Computes a particular class of homomorphisms and identifies all range decreasing group homomorphisms on specific mapping groups.
We define compactifications of vector spaces which are functorial with respect to certain linear maps. These "many-body" compactifications are manifolds with corners, and the linear maps lift to b-maps in the sense of Melrose. We derive a simple criterion under which the lifted maps are in fact b-fibrations, and identi…
∞-Harmonic maps are a generalization of ∞-harmonic functions. They can be viewed as the limiting cases of p-harmonic maps as p goes to infinity. In this paper, we give complete classifications of linear and quadratic ∞-harmonic maps from and into a sphere, quadratic ∞-harmonic maps between E…
Defines simplicity of non-linear mappings using information geometry.
problem Finding a simple yet effective non-linear mapping from latent to observation space.
method Formalizes simplicity through information geometry, independent of empirical data.
result Proves basic properties of the defined simplicity measure.
Study linearizes 2-Wasserstein space using optimal transport maps.
problem Stability and linearization of the 2-Wasserstein space.
method Explicit embedding of probability measures into a Hilbert space using optimal transport maps.
result The embedding is (bi-)Hölder continuous, with stability results for optimal transport maps.
We derive two types of linearity conditions for mapping class groups of orientable surfaces: one for once-punctured surface, and the other for closed surface, respectively. For the once-punctured case, the condition is described in terms of the action of the mapping class group on the deformation space of linear repres…
Proves conditions for generating families on Lagrangian cobordisms.
problem Existence of generating families on Lagrangian cobordisms.
method Analyzes exact Lagrangian cobordisms and Legendrian submanifolds using generating families.
result Conditions for extending generating families linear at infinity.
Two new transversality theorems for linearly perturbed mappings are proven.
problem Understanding the behavior of mappings under small perturbations.
method Proves two transversality theorems for generic linearly perturbed Cr mappings. result Establishes new theorems for the stability of mappings under small changes.
Proves all harmonic maps from flat to spherical space are unique.
problem Nondegeneracy of harmonic maps from R2 to S2. method Analyzes the linearized operator and bounded kernel maps near harmonic maps.
result Real dimension of bounded kernel space of Lu is 4∣m∣+2. Equivariant neural networks use symmetry to interpret complex data.
problem Interpreting and understanding the behavior of equivariant neural networks.
method Decompose layers into simple representations and analyze nonlinear activation functions.
result Equivariant neural networks can be interpreted using a filtration generalizing Fourier series.
Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.
problem Classifying non-linear proper Fredholm maps between Hilbert spaces.
method Using stable homotopy groups of spheres to classify maps up to proper homotopy.
result Determines the non-trivial kernel of the map from stable homotopy groups to non-linear proper Fredholm maps.
In this paper, we study deformations of Brieskorn polynomials of two variables obtained by adding linear terms consisting of the conjugates of complex variables and prove that the deformed polynomial maps have only indefinite fold and cusp singularities in general. We then estimate the number of cusps appearing in such…
In his celebrated paper "Generic projections", John Mather has shown that almost all linear projections from a submanifold of a vector space into a subspace are transverse with respect to a given modular submanifold. In this paper, an improvement of Mather's result is stated. Namely, we show that almost all linear pert…
We study the linearization of the Dirichlet-to-Neumann map for Poincaré-Einstein metrics in even dimensions on an arbitrary compact manifold with boundary. By fixing a suitable gauge, we make the linearized Einstein equation elliptic. In this gauge the linearization of the Dirichlet-to-Neumann map appears as the scatte…
Study classifies hypersurfaces in 4D Lorentz-Minkowski space using specific operators.
problem Classifying tubular hypersurfaces in 4D Lorentz-Minkowski space.
method Analysis of Gauss map and linearized operators L1 and L2. result Classifications of hypersurfaces with specific types of Gauss maps.
Note on subgaussian bounds for sign-quantized linear maps.
problem Understanding subgaussian behavior of sign-quantized linear maps.
method Developed a dimension-independent subgaussian concentration bound for Gaussian vectors under nonlinear mappings.
result Answered a question about sign-quantized linear maps using a new subgaussian bound.
The paper generalizes equivariant neural networks on homogeneous spaces to the non-linear setting.
problem Equivariant neural networks on homogeneous spaces.
method Deriving generalized steerability constraints for non-linear equivariant layers.
result The universality of the derived construction for non-linear equivariant layers.
Generalizes neural network approximation to infinite-dimensional manifolds and derivatives.
problem Approximating differentiable maps on infinite-dimensional manifolds.
method Proves a weighted Nachbin theorem to establish universal approximation for differentiable maps, including derivatives.
result Linear functions of the signature can approximate path space functionals including their derivatives.
The abstract discusses the linear and smooth structures of mapping spaces.
problem The structure of mapping spaces in differential geometry.
method Proving diffeomorphisms and fibre bundle properties.
result Path spaces and base point preserving mapping spaces are Fréchet spaces.
Proves surjectivity of certain smooth maps with non-properness sets.
problem Surjectivity of linear operators and global diffeomorphisms of semialgebraic maps.
method Analytic proof involving C∞ semialgebraic local diffeomorphisms and linear partial differential operators. result A new analytic conjecture for polynomial local diffeomorphisms of Rn implies known results. Universal approximation theorem for differentiable maps on infinite-dimensional manifolds
problem Approximation of differentiable maps on infinite-dimensional manifolds
method Weighted universal approximation theorem
result Universal approximation theorem for differentiable maps
We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some foundational results regarding the relevant objects from bordered Heegaard Floe…
New model separates images into independent factors quickly and easily.
problem Separating high-dimensional data like images into independent latent factors.
method Combines bijective feature maps with linear ICA model on the Stiefel manifold.
result Models converge quickly and achieve better unsupervised latent factor discovery.
Study of hyperelliptic mapping class groups with applications and profinite completions.
problem Understanding hyperelliptic mapping class groups and their properties.
method Defined and studied hyperelliptic mapping class groups, applied theory to counterexamples, and examined profinite completions.
result Found a counterexample to a conjecture about mapping class groups and extended congruence subgroup property.
Introduces MFVDM for high-dimensional data analysis.
problem Non-linear dimensionality reduction of high-dimensional datasets.
method Combines multiple unitary irreducible representations for nonlinear embeddings.
result Achieves better nearest neighbor search and alignment estimation on noisy data.
ERM performs well in feature learning with minimal feature maps.
problem Empirical risk minimization in feature learning with square loss.
method Asymptotic and non-asymptotic analysis of ERM performance.
result Excess risk quantiles of ERM match those of oracle procedure under certain conditions.
Biharmonic maps between surfaces are studied in this paper. We compute the bitension field of a map between surfaces with conformal metrics in complex coordinates. As applications, we show that a linear map from Euclidean plane into (R2,σ2dwdwˉ) is always biharmonic if the conformal factor σ is bi-a…
A new method for optimization in diffeological spaces using linearizations.
problem Optimization in spaces with low regularity.
method Generalizing linearization to diffeological spaces and constructing smooth paths.
result Achieving weak convergence to minima or critical values in diffeological spaces.
Diffusion Maps improves on Functional PCA for non-linear functional data.
problem Functional PCA's linear manifold assumption fails for non-linear functional data.
method Extends Diffusion Maps to functional data and compares it to Functional PCA.
result Diffusion Maps outperforms Functional PCA in non-linear functional data analysis.
The paper shows pure mapping class groups are linear in certain cases.
problem Understanding linearity of pure mapping class groups.
method Analyzing presentations of pure mapping groups and comparing them to braid groups and Artin groups.
result Pure mapping class groups are linear in specific cases.
No-regret algorithm for contextual RL with GLM mappings.
problem Learning near-optimal policies in episodic MDPs with contextual information.
method Proposes no-regret online RL algorithm using optimistic and randomized exploration methods.
result Improves previous bounds and provides a lower bound for the setting.
Introduces a new model for mapping matrices to matrices, subsuming linear regression.
problem Learning matrix-to-matrix mappings from data.
method Partial trace regression model, leveraging quantum information theory.
result Relevance demonstrated in matrix-to-matrix regression and positive semidefinite matrix completion.
For modelling of various physical processes, geodesic lines and almost geodesic curves serve as a useful tool. Trasformations or mappings between spaces (endowed with a metric or connection) which preserve such curves play an important role in physics, particularly in mechanics, and in geometry as well. Our aim is to c…
Algorithm solves word problem in mapping class group quickly.
problem Word problem in mapping class group of a surface.
method Quasi-linear time algorithm (O(n log^3(n))).
result Solves word problem efficiently.
Let F_n denote the free group generated by n letters. The purpose of this article is to show that Hol(F_2), the holomorph of the free group on two generators, is linear. Consequently, any split group extension of F_2 by a linear group H is linear. This result gives a large linear subgroup of Aut(F_3). A second applicat…
Open and discrete maps with specific branch set images are equivalent to PL branched covers.
problem Understanding the equivalence of open and discrete maps and PL branched covers.
method Demonstrated that an open and discrete map f:SnoSn with a specific branch set image is equivalent to a PL branched cover up to homeomorphism. result Open and discrete maps with a specific branch set image are equivalent to PL branched covers.
Homological stability aids in computing group homology.
problem Computing homology of families of groups.
method Proving homological stability theorems and computing stable homology.
result Computation of Higman-Thompson groups' homology.
We study the space of "link maps": the space of maps of a disjoint union of compact, closed manifolds P_1, . . ., P_k into a manifold N whose images are pairwise disjoint. We apply the manifold calculus of functors developed by Goodwillie and Weiss to study the difference between it and its linear and quadratic approxi…
We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane. Theorem. Let S be a triangulation of a circle with s vertices. Let f be a simplicial map of the graph S to the plane. The map f is approximab…
In this paper, we give complete classifications of linear ∞-harmonic maps between Euclidean and Heisenberg spaces, between Nil and Sol spaces. We also classify all ∞-harmonic linear endomorphisms of Sol space and show that there is a subgroup of ∞-harmonic linear automorphisms in the group of linea…
Unified method for solving extrinsic geometry problems.
problem General equivalence problem of extrinsic geometry.
method Formulation of osculating maps and algorithm for invariants.
result Categorical isomorphism between extrinsic geometries and involutive systems of linear differential equations.
Paper proposes linear transformers for efficient in-context learning without context length limitations.
problem Quadratic complexity of softmax transformers limits data processing speed.
method Investigates linear transformers under domain generalization, showing they learn mappings from context distributions to response functions.
result Linear transformers achieve in-context learning with a linear complexity in context length, offering a dimension-independent convergence rate.
Interval exchange maps are related to geodesic flows on translation surfaces; they correspond to the first return maps of the vertical flow on a transverse segment. The Rauzy-Veech induction on the space of interval exchange maps provides a powerful tool to analyze the Teichmueller geodesic flow on the moduli space of …
The paper explores conditions for lifting maps between graphs to embeddings.
problem Conditions for embedding maps between graphs.
method Combinatorial techniques and satisfiability of 3-CNF formulas.
result Established necessary and sufficient conditions for lifting.
The abstract discusses various open problems in mapping class groups.
problem Open problems in mapping class groups of surfaces.
method Discussion of open problems.
result Various open problems in mapping class groups.