We study complexities of 3-manifolds defined from triangulations, Heegaard splittings, and surgery presentations. We show that these complexities are related by linear inequalities, by presenting explicit geometric constructions. We also show that our linear inequalities are asymptotically optimal. Our results are used…
We construct a cubical CW-complex CK(M^3) whose rational cohomology algebra contains Vassiliev invariants of knots in the 3-manifold M^3. We construct \bar{CK}(R^3) by attaching cells to CK(R^3) for every degenerate 1-singular and 2-singular knot, and we show that π_1(\bar{CK}(R^3))=1 and π_2(\bar{CK}(R^3))=Z. We give …
CK simplifies ML model deployment and reproducibility with open APIs and DevOps.
problem Making ML models reproducible and deployable across different environments.
method Decompose complex systems into reusable sub-components with unified APIs and DevOps principles.
result Automatically co-design and optimize ML models for speed, accuracy, energy, and size.
We study spectral behavior of the complex Laplacian on forms with values in the kth tensor power of a holomorphic line bundle over a smoothly bounded domain with degenerated boundary in a complex manifold. In particular, we prove that in the two dimensional case, a pseudoconvex domain is of finite type if a…
The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nont…
Study of eigenvalues in nonlinear kernels for classification of separable data.
problem Understanding the applicability of linear equivalents in nonlinearly separable data classification.
method Analysis of conjugate kernels and their quadratic equivalents for a canonical nonlinearly separable dataset (XOR problem).
result Identification of regimes where nonlinear kernels deviate from linear equivalents, leading to label-aligned eigenspaces.
The paper studies neural networks with wide layers and finds a deformed semicircle law.
problem Investigating spectral distributions of neural networks in the ultra-wide regime.
method Analyzes empirical kernel matrices, proves deformed semicircle law, provides nonlinear Hanson-Wright inequality.
result Emergence of a deformed semicircle law in the ultra-wide neural network regime.
Study eigenvalue distributions of neural kernels for linear-width networks.
problem Eigenvalue distributions of neural kernels in linear-width networks.
method Asymptotic analysis of Conjugate Kernel and Neural Tangent Kernel under random initialization and approximate orthogonality.
result Eigenvalue distributions converge to deterministic limits, described by recursive fixed-point equations.
Study eigenvalues and eigenvectors in neural networks, focusing on signal propagation.
problem Characterize signal eigenvalues and eigenvectors in neural networks.
method Characterizes signal eigenvalues and eigenvectors for a nonlinear spiked covariance model.
result Provides precise quantitative characterizations of signal eigenvalues and eigenvectors in neural networks.
Final revision. To appear in the Journal of Differential Geometry. This paper studies knots that are transversal to the standard contact structure in R3, bringing techniques from topological knot theory to bear on their transversal classification. We say that a transversal knot type $\cTK$ is {\it transversally…
DEQs and explicit networks are nearly equivalent for Gaussian mixtures.
problem Understanding the equivalence between DEQs and explicit neural networks.
method Random matrix theory and analysis of kernel matrices.
result A shallow explicit network can mimic the kernel of a DEQ.
Researchers derived Kauffman bracket polynomial for Celtic link shadows using two methods.
problem Calculating the Kauffman bracket polynomial for Celtic link shadows.
method Two complementary approaches: recursive relation and 4-tangle algebra.
result Derived Kauffman bracket polynomial for CK42n shadows. Are neural networks biased toward simple functions? Does depth always help learn more complex features? Is training the last layer of a network as good as training all layers? How to set the range for learning rate tuning? These questions seem unrelated at face value, but in this work we give all of them a common treat…
We consider canonical metrics on Fano manifolds. First we introduce a norm-type functional on Fano manifolds, which has Kahler-Einstein or Kahler-Ricci soliton as its critical point and the Kahler-Ricci flow can be viewed as its (reduced) gradient flow. We then obtain a natural lower bound of this functional. As an app…
The harmonic oscillator as a distinguished dynamical system can be defined not only on the Euclidean plane but also on the sphere and on the hyperbolic plane, and more generally on any configuration space with constant curvature and with a metric of any signature, either Riemannian (definite positive) or Lorentzian (in…
The twisting technique creates infinite links.
problem Creating infinite links from given ones.
method Applying the twisting technique to adequate, homogeneous, or alternative links.
result These three classes of links are infinite.
Based on a well-known fact that there are no Einstein hypersurfaces in a non-flat complex space form, in this article we study the quasi-Einstein condition, which is a generalization of an Einstein metric, on the real hyersurface of a non-flat complex space form. For the real hypersurface with quasi-Einstein metric of …
Study finds new minimal surfaces in Schwarzschild space.
problem Existence of non-totally geodesic minimal surfaces in Schwarzschild space.
method Family of properly embedded free boundary minimal hypersurfaces of revolution.
result Existence of new minimal surfaces with circular boundaries in Schwarzschild space.
Given (M, g0) we consider the problem -ε^2Delta_{g0+h}u + u = (u+)^{p-1} with (ε, h) \in (0, ε0) \times Bρ. Here Bρ is a ball centered at 0 with radius ρ in the Banach space of all Ck symmetric covariant 2-tensors on M. Using the Poincaré polynomial of M, we give an estimate on the number of nonconstant solutions with …
A hypercomplex manifold M is a manifold with a triple I,J,K of complex structure operators satisfying quaternionic relations. For each quaternion L=aI +bJ+cK, L^2=-1, L is also a complex structure operator on M, called an induced complex structure. We are studying compact complex subvarieties of (M,L), when L is a gene…
Solves linearity problem for acyclic groups, bounds Cheeger-Gromov ρ-invariants.
problem Linearity problem for acyclic groups and Cheeger-Gromov ρ-invariants.
method Quantitative algebraic and geometric techniques over simplicial classifying spaces.
result Universal linear bound for Cheeger-Gromov ρ-invariants of PL (4k-1)-manifolds.
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a certain rank two free subgroup of MCG(T,2) with a standard element only depending on …
In this paper, we consider a Riemannian manifold (M, g) endowed with a Riemannian flow and we study the curvature term in the Bochner-Weitzenb{ö}ck formula of the basic Laplacian on M. We prove that this term splits into two parts. The first part depends mainly on the curvature operator of the underlying manifold M and…
Twistor space of hypercomplex manifolds is never Moishezon.
problem Characterize the twistor space of compact hypercomplex manifolds.
method Analyzing the twistor family and its total space.
result The twistor space of a compact hypercomplex manifold is never Moishezon.
By and large the behavior of stochastic gradient is regarded as a challenging problem, and it is often presented in the framework of statistical machine learning. This paper offers a novel view on the analysis of on-line models of learning that arises when dealing with a generalized version of stochastic gradient that …
In this paper, we show that the Lie superalgebra spo(2l+2∣n) is into the intersection of Lie superalgebra of contact vector fields K(2l+1∣n) and the Lie superalgebra of projective vector fields pgl(2l+2∣n). We use mainly the embedding used by P. Mathonet and F. Radoux in "\textit{ …
Limited annotated data available for the recognition of facial expression and action units embarrasses the training of deep networks, which can learn disentangled invariant features. However, a linear model with just several parameters normally is not demanding in terms of training data. In this paper, we propose an el…
The isoperimetric inequality and related inequalities are explored.
problem Proving the isoperimetric inequality and related inequalities.
method Discussing classical and recent proofs.
result Various proofs of the isoperimetric inequality and Sobolev inequality.
New proof of Willmore inequality using geometric divergence inequality.
problem Proving the Willmore inequality for bounded domains.
method Using a parametric geometric inequality derived from a divergence form geometric differential inequality.
result New proofs of quantitative Willmore-type and weighted Minkowski inequalities.
Lorentz-Finsler geometry reveals new and old inequalities.
problem Finding new inequalities using Lorentz-Finsler geometry.
method Applying reverse Cauchy-Schwarz and reverse triangle inequalities in Lorentz-Finsler geometry.
result Proved new and refined inequalities, including refinements of Aczél's inequality.
The paper derives new inequalities on manifolds and applies them to convex hypersurfaces.
problem Deriving new inequalities on manifolds and convex hypersurfaces.
method Using Fourier theory and geometric implications of Poincare-type inequalities.
result Sharp Minkowski-type inequalities, including stability and Alexandrov-Fenchel inequalities.
The paper proves inequalities on Finsler manifolds under Ricci curvature bounds.
problem Proving (p,q)-Sobolev and Nash inequalities on Finsler metric measure manifolds. method Global p-Poincaré inequality, (p,q)-Sobolev inequality, Nash inequality derivation. result Established global optimal (p,q)-Sobolev inequality with a sharp constant. New inequality on sphere generalizes circle inequality.
problem Generalizing circle inequality to sphere.
method Develops a new inequality on the sphere that incorporates mass center deviation.
result Improves Aubin's inequality and Onofri's inequality.
Paper proves anisotropic Minkowski inequality and related inequalities.
problem Proving anisotropic Minkowski inequality and related inequalities.
method Utilizes a nonlinear potential theoretic approach.
result Sharp anisotropic Minkowski inequality and related inequalities proved.
Explains geometric inequalities for minimal hypersurfaces.
problem Geometric inequalities for minimal hypersurfaces.
method Expository discussion of known inequalities.
result Discussion of classical inequalities for minimal hypersurfaces.
The paper finds new inequalities for convex polygons.
problem Finding precise inequalities for convex polygons.
method Analytic isoperimetric inequalities based on Schur convex functions, followed by Bonnesen-style and inverse Bonnesen-style inequalities.
result Sharp discrete isoperimetric inequalities for planar convex polygons.
The study improves Bochner inequality on Finsler manifolds to derive important inequalities.
problem Improving Bochner inequality on Finsler manifolds to derive new inequalities.
method Using improved Bochner inequality and its integrated form, the study derives a sharp Poincaré-Lichnerowicz inequality, a new proof for logarithmic Sobolev inequality, and an estimate of geodesic ball volumes.
result Derivation of new inequalities and estimates on Finsler manifolds.
The paper proves various inequalities on gradient shrinking Ricci solitons.
problem Understanding geometric inequalities on gradient shrinking Ricci solitons.
method Proving multiple inequalities equivalent on complete gradient shrinking Ricci solitons.
result Various inequalities (Sobolev, logarithmic Sobolev, Schrödinger, etc.) are equivalent on gradient shrinking Ricci solitons.
Sharp inequality found on three-balls for fourth order Sobolev traces.
problem Fourth order Sobolev trace inequality on three-balls.
method Established through equivalence to a third order Sobolev inequality on two-spheres.
result Sharp fourth order Sobolev trace inequality on three-balls.
Sharp inequalities for star bodies in 2D space.
problem Understanding star bodies in 2D space.
method Sharp inequalities for star bodies in R2. result New inequalities and proofs for star bodies.
The paper develops inequalities for log-concave functions and related surface areas.
problem Understanding log-concave functions and their inequalities.
method Establishing new inequalities through f-divergences and functional affine surface areas.
result New inequalities on functional affine surface area and bounds for Kullback-Leibler divergence.
Study on functional inequalities on simple edge spaces.
problem Whether classical functional inequalities hold in simple edge spaces.
method Analyzing Sobolev and Poincaré inequalities, proving optimality of Sobolev constant.
result Optimality result concerning the B-constant of the Sobolev inequality.
Proves inequalities on curved spaces with positive curvature.
problem Proving inequalities on manifolds with nonnegative Ricci curvature.
method Analyzes manifolds with nonnegative Ricci curvature and Euclidean volume growth.
result Proves Heisenberg-Pauli-Weyl, Hardy-Sobolev, and Caffarelli-Kohn-Nirenberg inequalities.
The paper derives inequalities on Finsler manifolds, influenced by their curvatures.
problem Deriving inequalities on Finsler manifolds.
method Local and global geometric inequalities on Riemannian and Finsler manifolds.
result Generalized Caffarelli-Kohn-Nirenberg and Hardy type inequalities on Finsler manifolds.
Paper refines Talagrand inequality on Euclidean spaces.
problem Improving Talagrand inequality for Euclidean spaces.
method Symmetrization and alternative proof methods.
result Several refined functional inequalities derived.
New inequalities for convex curves with multiple geometric factors.
problem Establishing inequalities for convex curves with multiple geometric factors.
method Parametric isoperimetric-type inequalities for closed convex curves with parameter conditions and equality conditions.
result Derived new inequalities and improved versions of existing inequalities.
Alternative proofs for various inequalities on Riemannian manifolds.
problem Various functional inequalities on Riemannian manifolds.
method Generic functional inequality, Riccati pairs, solving Riccati-type ODE.
result Alternative proofs for multiple inequalities, including Hardy-type and Caccioppoli inequalities.
The paper establishes inequalities and gradient estimates for harmonic functions on Finsler measure spaces.
problem Functional and geometric inequalities on Finsler measure spaces.
method Local uniform Poincaré and Sobolev inequalities, mean value inequality, Harnack inequalities, and gradient estimates.
result Global gradient estimates for positive harmonic functions on Finsler measure spaces.