We find algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group O(n) in terms of free holomorphic data which lead to formulae for all such harmonic maps. Our work reveals an interesting correspondence between certain harmonic maps and the free Wei…
The paper explores geometric decompositions for Ricci tensors and their applications.
problem Understanding Ricci tensors on compact Riemannian manifolds.
method Utilizes Berger-Ebin and York L2-orthogonal decompositions. result New insights into Ricci almost solitons and harmonic maps.
Adaptive orthogonalization of data for clustering and visualization.
problem Clustering and visualization of data with high specificity.
method Adaptive orthogonalization process using Gromov-Wasserstein feedback.
result Method refines orthogonality of data to achieve high specificity clustering.
Investigates harmonic self-maps' stability on cohomogeneity one manifolds.
problem Stability of harmonic self-maps on cohomogeneity one manifolds.
method Systematic study of Jacobi equation for harmonic self-maps.
result Explicit solutions for specific cases show identity map's stability.
We investigate the connections between the differential-geometric properties of the exponential map from the space of real skew symmetric matrices onto the group of real special orthogonal matrices and the manifold of real orthogonal matrices equipped with the Riemannian structure induced by the Frobenius metric.
The paper characterizes harmonic maps and studies their properties on Riemannian manifolds.
problem Characterizing and analyzing harmonic maps between Riemannian manifolds.
method Analytic and geometric methods, including L2-orthogonal decomposition and energy density analysis.
result A criterion for harmonic submersions and diffeomorphisms, and new results linking harmonic symmetric bilinear forms and metrics.
The study characterizes surfaces with specific harmonic properties in pseudo-conformal geometry.
problem Characterizing surfaces with harmonic properties in pseudo-conformal geometry.
method Investigating sphere congruences, quasi-umbilical surfaces, and constant mean curvature surfaces.
result Generically, Bryant's quartic differential is divergence free if and only if the surface is superconformal or orthogonal to a harmonic congruence of spheres.
We introduce a novel approach to perform first-order optimization with orthogonal and unitary constraints. This approach is based on a parametrization stemming from Lie group theory through the exponential map. The parametrization transforms the constrained optimization problem into an unconstrained one over a Euclidea…
Develops deformation theory for mapping spaces related to Morse theory and Bott-Thom isomorphism.
problem Studying weak homotopy equivalences and decompositions of vector bundles.
method Morse theory on path spaces, deformation theory, Clifford representations, Bott-Thom isomorphism.
result Stable decompositions of vector bundles over sphere bundles derived from Clifford representations.
A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whet…
New exponential map for Lie groups connects to sub-Riemannian geometry.
problem Developing a new exponential map for Lie groups.
method Introducing a new exponential map related to sub-Riemannian geometry.
result New exponential map connects to sub-Riemannian geometry.
A recent theoretical analysis shows the equivalence between non-negative matrix factorization (NMF) and spectral clustering based approach to subspace clustering. As NMF and many of its variants are essentially linear, we introduce a nonlinear NMF with explicit orthogonality and derive general kernel-based orthogonal m…
New algorithm tackles optimization with distributed constraints.
problem Optimization problems with generalized orthogonality constraints in a decentralized setting.
method Introduced a novel algorithm that tracks gradients and Jacobians simultaneously.
result Global convergence with an iteration complexity established.
Method preserves correlations in synthetic data.
problem Preserving dependence structure of original data.
method Orthogonal Procrustes problem for restoring Pearson correlation.
result Restores Pearson correlation structure while preserving feature distributions and downstream tasks performance.
Transformers learn to recall with non-orthogonal embeddings in realistic settings.
problem Understanding how transformers store and retrieve knowledge in practical scenarios.
method Analyzing a single-layer transformer with random embeddings trained on a token-retrieval task.
result Explicit formulas for the model's storage capacity reveal a multiplicative dependence on sample size, embedding dimension, and sequence length.
We give new explicit formulas for the representations of the mapping class group of a genus one surface with one boundary component which arise from Integral TQFT. Our formulas allow one to compute the h-adic expansion of the TQFT-matrix associated to a mapping class in a straightforward way. Truncating the h-adic expa…
This handbook simplifies Grassmann manifold geometry for matrix-based algorithms.
problem Modeling linear subspaces in various applications.
method Expository work on Grassmann manifold geometry, including new algorithms and formulas.
result Improved understanding and computational tools for the Grassmann manifold.
Study shows RFRR's effectiveness with nearly orthogonal data in overparameterized settings.
problem Understanding the effectiveness of random feature regression with nearly orthogonal data.
method Investigates RFRR with nearly orthogonal deterministic unit-length input data vectors in the overparameterized regime.
result Shows high-probability non-asymptotic concentration results for RFRR's training, cross-validation, and generalization errors.
OSA overcomes instability in skipless Transformers.
problem Instability in skipless Transformers using Softmax Self-Attention.
method OSA parametrizes attention matrix to be orthogonal via skew-symmetric matrix exponential.
result OSA allows for training non-causal Transformers without skip connections and normalisation layers.
Finsler space is differentiable manifold for which Minkowski space is the fiber of the tangent bundle. To understand structure of the reference frame in Finsler space, we need to understand the structure of orthonormal basis in Minkowski space. In this paper, I considered the definition of orthonormal basis in Minkowsk…
Bayesian method maps high-dimensional inputs to lower dimensions for efficient multi-fidelity Gaussian Process modeling.
problem Efficiently modeling high-dimensional inputs with low-dimensional latent variables for multi-fidelity Gaussian Processes.
method Bayesian approach with orthonormal projection matrix inference using Markov Chain Monte Carlo (MCMC) and Geodesic Monte Carlo sampling.
result Optimal transformations identified that improve computational efficiency in multi-fidelity Gaussian Process modeling.
Let 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 SO+(p,q)-invariant valuations, generalizing Hadwiger's classification of Euclidean isometry-invari…
Paper solves a conjecture about minimal surfaces using sphere intersections and Weierstrass data.
problem Solving the Fraser-Li conjecture for minimal surfaces.
method Using the Weierstrass representation formula and sphere intersections.
result The conjecture can be translated into problems about the Gauss map.
Conformal Autoencoders infer intrinsic dimensionality and impose invariance.
problem Detecting intrinsic dimensionality and imposing invariance in nonlinear manifold data.
method Imposing orthogonality conditions on latent variables to infer intrinsic dimensionality and build coordinate invariance.
result The method can infer intrinsic dimensionality and build coordinate invariance on submanifolds.
New findings on identifying latent variables in nonlinear ICA models.
problem Identifying latent variables in nonlinear ICA models is challenging due to spurious solutions.
method Proved that conformal maps are identifiable and provided theoretical results on preventing spurious solutions.
result Conformal maps are identifiable in nonlinear ICA models, preventing spurious solutions.
Different neural networks trained on the same dataset often learn similar input-output mappings with very different weights. Is there some correspondence between these neural network solutions? For linear networks, it has been shown that different instances of the same network architecture encode the same representatio…
Survey of twistor lifts of surfaces in 4-dimensional spaces.
problem Understanding the properties of surfaces in 4-dimensional Euclidean space.
method Definitions of Gauss maps and twistor lifts using orthogonal complex structures.
result Holomorphicity and isotropicity of minimal surfaces in E4. This paper explores how Transformers predict next tokens in autoregressive tasks.
problem Understanding the success of Transformers in autoregressive learning.
method Trained a Transformer on a next-token prediction task, focusing on commuting orthogonal matrices.
result Trained Transformers can be seen as implementing gradient descent for a specific objective function.
New algorithm speeds up group equivariant neural networks computations.
problem Challenging computations in group equivariant neural networks.
method Diagrammatic framework based on category theory for matrix multiplication.
result Exponential improvement in time complexity for matrix multiplication.
Develops a new framework for temporal anchoring in deep embedding spaces.
problem Temporal anchoring in deep embedding spaces, especially drift and convergence issues.
method Operator-theoretic framework with drift maps and event-indexed blocks, proving convergence theorems and equivalence theorems.
result Proves convergence theorems and equivalence theorems for the proposed framework.
We give several construction methods and use them to produce many examples of proper biharmonic maps including biharmonic tori of any dimension in Euclidean spheres (Theorem 2.2, Corollaries 2.3, 2.4, and 2.6), biharmonic maps between spheres (Theorem 2.9) and into spheres (Theorem 2.10) via orthogonal multiplications …
The purpose of this paper is to exhibit a quantitative stability result for the class of Möbius transformations of Sn−1 when n≥3. The main estimate is of local nature and asserts that for a Lipschitz map that is apriori close to a Möbius transformation, an average conformal-isoperimetric type of def…
We propose two nonlinear regression methods, named Adversarial Orthogonal Regression (AdOR) for additive noise models and Adversarial Orthogonal Structural Equation Model (AdOSE) for the general case of structural equation models. Both methods try to make the residual of regression independent from regressors while put…
A curve is rectifying if it lies on a moving hyperplane orthogonal to its curvature vector. In this work, we extend the main result of [Chen 2017, Tamkang J. Math. 48, 209] to any space dimension: we prove that rectifying curves are geodesics on hypercones. We later use this association to characterize rectifying curve…
New theory shows EDMD works well in chaotic systems.
problem Uncertainty in EDMD's properties in chaos.
method Developed rigorous theory of EDMD on chaotic maps using OPUC and transfer operator methods.
result EDMD converges to correct limits in chaotic systems with small polynomial dictionaries.
This paper is a rigorous study of two dual pairs of momentum maps arising in the context of fluid equations whose configuration Lie group is the group of automorphism of a trivial principal bundle, generically called here non-abelian fluids. It is shown that the actions involved are mutually completely orthogonal, whic…
Unified framework for rigidity results on (κ,μ)-manifolds.
problem Rigidity of metrics on (κ,μ)-manifolds. method Study of deviations preserving bi-Legendrian structure, orthogonalizing canonical structure.
result Unified rigidity results in both Riemannian and semi-Riemannian categories.
Study spectral flow on a warped cylinder with special boundary conditions.
problem Analyzing spectral flow on a warped cylinder with specific boundary conditions.
method Complexifying the twisting bundle, diagonalizing the orthogonal twist, and regrouping conjugate and reflection-paired blocks.
result Explicit formula for RO(O(2))-valued spectral flow, refining ordinary spectral flow. The study characterizes and constructs polynomial harmonic morphisms on spheres.
problem Characterizing and constructing polynomial harmonic morphisms on spheres.
method Characterization and construction of polynomial harmonic morphisms using eigenfamilies.
result Strong restrictions and classification of polynomial harmonic morphisms in low dimensions.
Synthetic construction of Hopf fibration in 4D space.
problem Visualizing 4D objects in 3D space.
method Double orthogonal projection method to visualize 4D space.
result Direct synthetic construction of 3-sphere fibers from 2-sphere points.
For an (m+1)-dimensional space-time (Xm+1,g), define a mapped null hypersurface to be a smooth map ν:Nm→Xm+1 (that is not necessarily an immersion) such that there exists a smooth field of null lines along ν that are both tangent and g-orthogonal to ν. We study relations between mapped null hyp…
Sheaf Neural Networks improve graph learning with geometric insights.
problem Graph heterophily and over-smoothing issues.
method Inspired by Riemannian geometry, computes sheaves using orthogonal maps.
result Achieves promising results with reduced computational overhead.
Let X and Y be finite complexes. When Y is a nilpotent space, it has a rationalization Y→Y(0) which is well-understood. Early on it was found that the induced map [X,Y]→[X,Y(0)] on sets of mapping classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as…
Let G1 and G2 be Lie groups furnished with bi-invariant metrics and f:G1→G2 be a Lie group homomorphism which is also a minimal isometric immersion. If G1 is compact and connected, we prove that either G1 is isometric to a flat torus or f is unstable as a harmonic map. We also apply this re…
The paper studies connectivity of Schur-Horn map images in real Grassmannians.
problem Connectivity of Schur-Horn map images in real Grassmannians.
method Criterion for pre-images of vectors in \(\mathbb{R}^n\) to be connected.
result Criterion for pre-images of vectors in \(\mathbb{R}^n\) to be connected.
Gradient descent dynamics in quadratic regression models are analyzed, revealing five phases: monotonic, catapult, periodic, chaotic, and divergent.
problem Analyzing the dynamics of gradient descent in quadratic regression models.
method Fine-grained bifurcation analysis of gradient descent dynamics using a cubic map parameterized by the step-size.
result Gradient descent dynamics in quadratic regression models exhibit five distinct phases: monotonic, catapult, periodic, chaotic, and divergent.
Solves a fundamental problem in statistics and imaging with new methods.
problem Generalized Orthogonal Procrustes Problem (GOPP)
method Semidefinite relaxation (SDR) and generalized power method (GPM)
result GPM converges linearly to the global minimizer under large signal-to-noise ratio.
Geometrically, Kostant's Convexity Theorem is extended to submetries with a fat section.
problem Extending Kostant's Convexity Theorem to a broader class of representations.
method Introducing a new concept of 'fat section' and proving the theorem for submetries with this property.
result Kostant's Convexity Theorem is partially extended to submetries with a fat section.