The paper establishes conditions for Riemannian connections and semi-simplicity of Lie algebras using spray structures.
problem Conditions for Riemannian connections and semi-simplicity of Lie algebras.
method Using almost product structures and spray, the paper provides necessary and sufficient conditions for these properties.
result Equivalence of semi-simplicity of Lie algebras to derived ideal coincidence, interiority of derivations, and adjoint representation semi-simplicity.
Geodesic simplices in pseudo-hyperbolic space get a cohomological treatment.
problem Understanding geodesic simplices in pseudo-hyperbolic space.
method Cohomological interpretation and necessary/sufficient condition formulation.
result Every ideal geodesic polytope in (2,2) pseudo-hyperbolic space has finite volume. We give several new criteria to judge whether a simple convex polytope in a Euclidean space is combinatorially equivalent to a product of simplices. These criteria are mixtures of combinatorial, geometrical and topological conditions that are inspired by the ideas from toric topology.
Framework reduces simplicity bias in NNs, improving OOD generalization and robustness.
problem Simplicity bias in deep learning models leads to biased predictions and poor OOD generalization.
method Proposes a framework that regularizes conditional mutual information to encourage use of diverse features.
result Demonstrates effectiveness in various settings, enhancing OOD generalization and robustness.
We study a natural intrinsic definition of geometric simplices in Riemannian manifolds of arbitrary dimension n, and exploit these simplices to obtain criteria for triangulating compact Riemannian manifolds. These geometric simplices are defined using Karcher means. Given a finite set of vertices in a convex set on t…
A simplicial complex is called negatively curved if all its simplices are isometric to simplices in hyperbolic space, and it satisfies Gromov's Link Condition. We prove that, subject to certain conditions, a compact graph of spaces whose vertex spaces are negatively curved 2-complexes, and whose edge spaces are points …
The paper explores how simplicity leads to better out-of-distribution generalization in models.
problem Understanding the theoretical principles behind out-of-distribution (OOD) generalization in modern models.
method Examining diffusion models in image generation to analyze compositional generalization abilities and develop a theoretical framework for simplicity-based OOD generalization.
result The true, generalizable model corresponds to the simplest among consistent models, and this simplicity can be quantified and used to establish sample complexity guarantees.
In this paper, we provide the necessary and sufficient conditions for the connected sum of knots in S3 to be Legendrian simple.
We prove that the class of topological knot types that are both Legendrian simple and satisfy the uniform thickness property (UTP) is closed under cabling. An immediate application is that all iterated cabling knot types that begin with negative torus knots are Legendrian simple. We also examine, for arbitrary numbers …
The paper develops formulas for hyperbolic simplices based on edge lengths.
problem Understanding the geometry of hyperbolic simplices using only edge lengths.
method Develops geometric formulas for hyperbolic simplices based on edge lengths.
result Distance and projection formulas in hyperbolic simplices.
Simplifies solving noisy SDPs for low rank matrix recovery problems.
problem Solving SDPs with noisy data for low rank matrix recovery problems.
method Identifies conditions called simplicity to limit error in noisy SDP solutions.
result Simple SDPs can be efficiently solved and their approximate solutions trusted.
Estimates dimensions of maximal simplices for rational and irrational trees in Outer space.
problem Understanding the structure of trees in Outer space.
method Associate simplices to R-trees and estimate their dimensions. result Estimates the dimensions of maximal simplices for both rational and irrational trees.
It is proved that the volume of spherical or hyperbolic simplices, when considered as a function of the dihedral angles, can be extended continuously to degenerated simplices.
FNN approximates functions and solves PDEs with periodic BCs.
problem Approximating and solving periodic functions and PDEs.
method Fourier neural network architecture with activation and loss functions.
result FNN can solve PDEs with periodic BCs and is interpretable.
A new method finds DAG models without ground truth.
problem Finding DAG models without ground truth.
method Markov Checker test and Cross-Algorithm Frugality Search (CAFS).
result Models can be chosen without ground truth.
The functional determinant of an elliptic operator with positive, discrete spectrum may be defined as e−Z′(0), where Z(s), the zeta function, is the sum ∑n∞λn−s analytically continued to s around the origin. In this paper Z′(0) is calculated for the Laplace operator with Dirichlet boundary…
By examining knot Floer homology, we extend a result of Ozsváth and Stipsicz and show further infinitely many Legendrian and transversely non-simple knot types among two-bridge knots. We give sufficient conditions of Legendrian and transverse non-simplicity on the continued fraction expansion of the corresponding ratio…
The study confirms conjectures about slopes of knots using knot Floer homology.
problem Verifying conjectures about non-integer characterizing slopes of knots.
method Using knot Floer homology, the study verifies conjectures for specific classes of knots.
result Almost all slopes are characterizing for many knots, and infinitely many for L-space knots. Study PL bordism theories with quantitative bounds on filling simplices.
problem Understanding PL bordism theories with geometric constraints.
method Quantitative analysis of PL manifolds and exotic theories.
result Bounding the number of simplices in fillings of cycles.
The study examines conditions for completeness and simplicity in hom-Lie superalgebras.
problem Conditions for completeness and simplicity in hom-Lie superalgebras.
method Equivalent conditions and derivations analysis.
result Conditions for completeness and simplicity in hom-Lie superalgebras.
Uniswap -- and other constant product markets -- appear to work well in practice despite their simplicity. In this paper, we give a simple formal analysis of constant product markets and their generalizations, showing that, under some common conditions, these markets must closely track the reference market price. We al…
New framework shows C∗-simplicity for groups without certain subalgebras.
problem Characterizing C∗-simplicity of groups. method Introducing confined subalgebras and Uniformly Recurrent States.
result A countable discrete group is C∗-simple if it has no non-trivial amenable confined subalgebras. In this article, we prove a theorem comparing the dihedral angles of simplices in the hyperbolic, spherical and Euclidean geometries.
Projective geodesic extensions for nonholonomic systems are derived under conformal transformations.
problem Deriving conditions for projective geodesic extensions in nonholonomic mechanics.
method Analyzing necessary and sufficient conditions for existence under conformal modifications.
result Conditions for existence of projective geodesic extensions in nonholonomic systems under conformal transformations.
Research reveals simplicity bias in random logistic map, impacting data analysis and forecasting.
problem Simplicity bias in dynamical systems and its impact on data analysis and prediction.
method Examined the logistic map and random logistic map, focusing on simplicity bias and noise effects.
result Simplicity bias is observable in the random logistic map, persisting even with small noise levels.
The Apollonius theorem is generalized for m-simplices, with applications in geometry and optimization.
problem Generalizing the Apollonius theorem for m-simplices.
method Direct generalization of the theorem to m-simplices in n-dimensional space.
result Applications in geometry and optimization, including minimal surface enclosures, simplex thickness, and root-finding methods.
Similar simplices can be inscribed in most smoothly embedded spheres.
problem Inscribing families of similar simplices in spheres.
method Diffeomorphic mapping and techniques from previous work on inscribing triangles.
result A dense family of spheres allows inscribing similar simplices of every pose.
We study prismatics sets analogously to simplical sets except that realization involves prisms, i.e., products of simplices rather than just simplices. Particular examples are the prismatic subdivision of a simplicial set S and the prismatic star of S. Both have the same homotopy type as S and in particular the latter …
Simplicial sets deformation retract onto transverse simplices.
problem Deformation retraction of simplicial sets.
method Showed deformation retraction of singular simplicial set onto transverse simplices.
result Singular simplicial set deformation retracts onto transverse simplices.
We generalize the very well known boundary operator of the ordinary singular homology theory, defined in many books about algebraic topology. We describe a variant of this ordinary simplicial boundary operator where the usual boundary (n-1)-simplices of each n-simplex are replaced by combinations of internal (n-1)- sim…
The study reveals simplicity bias in neural networks leading to better compositional mappings.
problem Understanding when and how to encourage neural networks to learn compositional mappings.
method Examined compositional mappings through coding length and gradient descent dynamics.
result Neural networks tend to learn the simplest bijections, explaining their good generalization.
Study on simplicity of Lie skew braces, proving new results for compact cases.
problem Simplicity of Lie skew braces, focusing on compact connected cases.
method Reviewing correspondence, investigating ideals and rigidity, proving main result for compact Lie skew braces.
result Compact connected simple Lie skew braces are either trivial or have simple underlying Lie groups.
Triangulations of R^n have at least tensor rank of determinant simplices.
problem Understanding the minimum number of simplices in periodic triangulations of R^n.
method Proving lower bounds on the number of simplices in periodic triangulations of R^n.
result Lower bounds on the number of simplices in periodic triangulations of R^n.
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely…
Two-layer networks favor simple features, especially in complex datasets.
problem Simplicity bias in neural networks over-reliing on simple features.
method Characterization of two-layer neural networks with small weights and gradient flow.
result Features learned in middle training stages are more useful for out-of-distribution transfer.
Adam avoids simplicity bias in neural networks, leading to better generalization.
problem Simplicity bias in neural networks trained with SGD.
method Comparison of Adam and GD on binary classification tasks with Gaussian data.
result Adam leads to richer and more diverse features, improving generalization.
Neural nets learn simple distributions first, then more complex ones.
problem Understanding how neural networks generalize from simple to complex functions.
method Stochastic gradient descent training, synthetic data, CIFAR10, ImageNet pre-training.
result Neural networks initially use lower-order statistics, then higher-order ones.
The paper proves eigenvalues are simple for specific operators on bundles.
problem Eigenvalue simplicity for connection Laplacian and G-simplicity on bundles. method Analyzes connections on vector bundles and principal bundles, proving eigenvalue simplicity for a residual set of connections.
result Eigenvalues of the connection Laplacian and Laplace-Beltrami operator are simple for specified conditions.
Paper defines and evaluates DR complex for persistent homology.
problem Computing persistent homology of Euclidean point cloud data.
method Delaunay-Rips complex construction for speed and stability.
result DR produces stable persistence diagrams under point cloud perturbations.
Ancient formula connects volume forms and infinitesimal square volumes in manifolds.
problem Relating volume forms and infinitesimal square volumes in Riemannian manifolds.
method Uses Heron's formula to link these concepts.
result Established a connection between volume forms and infinitesimal square volumes.
Everyone knows that the Euler characteristic of a combinatorial manifold is given by the alternating sum of its numbers of simplices. It is shown that there are other linear combinations of the numbers of simplices which are combinatorial invariants, but that all such invariants are multiples of the Euler characteristi…
Improved DeepONet variants using Transformer cross-conditioning enhance PDE solution efficiency.
problem Solving partial differential equations efficiently and accurately.
method Transformer-inspired DeepONet variants with bidirectional cross-conditioning.
result Improved efficiency and accuracy compared to modified DeepONet, with variant effectiveness tied to PDE characteristics.
We show that the Bruschlinsky group with the winding order is a homeomorphism invariant for a class of one-dimensional inverse limit spaces. In particular we show that if a presentation of an inverse limit space satisfies the Simplicity Condition, then the Bruschlinsky group with the winding order of the inverse limit …
Maps discrete manifolds to partitions to define new manifolds.
problem Creating manifolds from discrete structures.
method Mapping discrete d-manifolds onto (k+1)-partite complexes to define new manifolds.
result Defines a (d-k)-manifold from simplices in G mapped to P.
New method combines CATE and CQTE to estimate treatment effects across different quantiles.
problem Challenges in estimating CQTE due to its dependence on smoothness of individual quantiles.
method Introduces a new estimand, the conditional quantile comparator (CQC), which retains information about the whole treatment distribution and leverages simplicity.
result Demonstrates improved accuracy in estimating treatment effects across different quantiles compared to existing methods.
Compressed imitation learning uses simplicity priors for efficient expert behavior copying.
problem Efficiently learn expert behaviors with minimal data.
method Utilizes policy simplicity as a prior for sample-efficient imitation learning.
result Significantly higher scores achieved with limited expert demonstrations.
The article explores the fundamental gap in Bakry-Emery geometry.
problem The fundamental gap in Bakry-Emery geometry.
method Recalled Bakry-Emery geometry and connected eigenvalues with boundary conditions. Showed a connection between fundamental gap and Bakry-Emery geometry.
result Presented key ideas in Andrews's and Clutterbuck's proof of the fundamental gap conjecture.
We introduce the non-pure versions of simplicial balls and spheres with minimum number of vertices. These are a special type of non-homogeneous balls and spheres (NH-balls and NH-spheres) satisfying a minimality condition on the number of maximal simplices. The main result is that minimal NH-balls and NH-spheres are pr…