New hyperbolic groups found with specific subgroup properties.
problem Finding hyperbolic groups with certain subgroup types.
method Dehn filling from a specific lattice.
result Groups containing subgroups of type F3 but not F4. Researchers classify and characterize Bäcklund transformations for hyperbolic Monge-Ampère systems.
problem Classifying and characterizing Bäcklund transformations for hyperbolic Monge-Ampère systems.
method Completely determined a subclass of Bäcklund transformations for Type A systems and formulated conditions for Type B systems.
result Parametrized Bäcklund transformations for Type A systems and provided an invariant condition for Type B systems.
The paper refines 2-factor homology to a stable homotopy type for planar trivalent graphs with perfect matchings.
problem Developing a stable homotopy type for planar trivalent graphs with perfect matchings.
method Defining a cover functor from the 2-factor flow category to the cube flow category, realizing the 2-factor spectrum, and showing it's an invariant.
result The stable homotopy type of the 2-factor spectrum is an invariant of planar trivalent graphs with perfect matchings.
Natural coordinates for SL3-webs on surfaces are shown to be consistent under triangulation changes.
problem Natural coordinates for SL3-webs on surfaces.
method Showed natural coordinates are consistent under triangulation changes using cluster transformations.
result Natural coordinates for SL3-webs on surfaces are consistent under triangulation changes.
We study finite type invariants of nullhomologous knots in a closed 3-manifold M defined in terms of certain descending filtration {Kn(M)}n≥0 of the vector space K(M) spanned by isotopy classes of nullhomologous knots in M. The filtration {Kn(M)}n≥0 is define…
Unified treatment of two extension problems using heat equation in Heisenberg group.
problem Two extension problems for pseudo-differential operators in Heisenberg group.
method Heat equation, fractional powers, semigroup methods.
result Explicit computation of fundamental solutions for pseudo-differential operators.
This paper improves the approximation of machine learning models by transforming them to better fit locally p-integrable functions.
problem The approximation quality of machine learning models can degrade outside compact subsets of the domain.
method Introduces a canonical transformation to enhance the local Lp-type universal approximation property. result The transformed model class, Fext−tope, is dense in a finer topology Lμ,extstrictp(Rd,RD), improving expressibility. The Liouville theorem and Cα-estimate for Calabi-Yau cones establish uniqueness and asymptotic behavior of metrics.
problem Establishing uniqueness and asymptotic behavior of metrics on Calabi-Yau cones.
method Developed a Liouville theorem and C0,α-estimate for Ricci-flat, conical Kähler manifolds. result Uniformly bounded Kähler metrics on a ball around the apex are asymptotic to the Ricci-flat cone metric with polynomial decay.
Cluster algebras match for specific Lie algebras and surfaces.
problem Matching cluster algebras with upper cluster algebras for certain Lie algebras and surfaces.
method Proof based on moduli space function ring and Wilson lines.
result Cluster algebras match upper cluster algebras for specified Lie algebras and surfaces.
Defined a new graph type for compact surfaces, proving its connectedness and infinite diameter.
problem Understanding the structure of arc graphs on compact surfaces.
method Defining and analyzing the prescribed arc graph A(Σ,Γ) for compact surfaces Σ with boundary and relations Γ. result The prescribed arc graph A(Σ,Γ) is connected and infinite-diameter, with specific conditions for Gromov hyperbolicity. Let M be a connected open Riemann surface. We prove that the space L(M,C2n+1) of all holomorphic Legendrian immersions of M into C2n+1, n≥1, endowed with the standard holomorphic contact structure, is weakly homotopy equivalent to the space C(M,S4n−1) o…
In this work we prove a Baum-Bott type formula for non-compact complex manifold of the form X~=X−D, where X is a complex compact manifold and D is a normal crossing divisor on X. As applications, we provide a Poincaré-Hopf type Theorem and an optimal description for a smooth hypersur…
Establishes scattering theory for de Sitter vacuum solutions in even dimensions.
problem Quantitative nonlinear scattering theory for asymptotically de Sitter vacuum solutions in even spatial dimensions.
method Geometric Littlewood-Paley decomposition of the solution, constructing the scattering map.
result Existence and uniqueness of scattering states, asymptotic completeness, and invertible scattering map with quantitative control.
The paper studies the geometry of G2-moduli spaces and their embeddings.
problem Understanding the geometry and curvatures of G2-moduli spaces. method New immersion of G2-moduli space into a homogeneous space and derivation of a formula for the fourth derivative of the potential. result New insights into the geometry and curvatures of G2-moduli spaces. The paper develops a Feynman-Kac formula for perturbations of order ≤ 1 in noncommutative geometry.
problem Analyzing perturbations of order ≤ 1 in noncommutative geometry.
method Develops a Feynman-Kac formula for differential operators of order ≤ 1 on complex metric vector bundles over Riemannian manifolds.
result Explicit Feynman-Kac type formula for holomorphic semigroups generated by Q. Let Ω be a smooth compact oriented 3-dimensional Riemannian manifold with boundary. A quaternion field is a pair q={α,u} of a function α and a vector field u on Ω. A field q is {\it harmonic} if α,u are continuous in Ω and ∇α=rotu,divu=0 holds into Ω. The space ${\mathscr Q…
Study complex hyperbolic lattices and their subgroups, proving new finiteness properties.
problem Characterize subgroups of complex hyperbolic lattices.
method Analyzing homomorphisms and using arithmetic lattice properties.
result Deep subgroups of complex hyperbolic lattices admit homomorphisms to Z with specific kernel types.
Constructs currents representing Baum-Bott residues for foliations.
problem Calculating Baum-Bott residues for complex foliations.
method Explicit construction of currents with support on singular components.
result Currents represent Baum-Bott residues and are independent under certain conditions.
The paper establishes Pogorelov type estimates for solutions to Hessian quotient equations in hyperbolic space.
problem Estimating solutions to Hessian quotient equations in Lorentz-Minkowski space.
method Using a priori estimates, the paper establishes Pogorelov type estimates for k-convex solutions.
result Pogorelov type estimates for k-convex solutions to Hessian quotient equations in hyperbolic space.
We study the Ozsváth-Szabó-Thurston transverse invariant in combinatorial link Floer homology for certain transverse cables Lp,q of transverse link L in S3. Transverse cables Lp,q are constructed from the grid diagram of L. The main result is θ^(Lp,q)=0 if and only…
New hyperbolic groups exhibit unusual finiteness properties.
problem Finding groups with specific finiteness properties.
method Fibre product construction and homomorphisms to Z and Z2. result Examples of hyperbolic groups with kernels of type Fk but not Fk+1. Let M be a smooth closed orientable surface and F=Fp,q,r be the space of Morse functions on M having exactly p critical points of local minima, q≥1 saddle critical points, and r critical points of local maxima, moreover all the points are fixed. Let Ff be the connected component of a function $f\in …
Optimizes quickest change detection with bounded means under ARL constraint.
problem Quickest detection of changepoints with bounded means under ARL constraint.
method Derives universal lower and upper bounds for detection delay.
result Achieves universal lower bound in the bounded mean detection setting.
Study of J-Hermitian matrices and geometric mean definition.
problem Understanding the cone of J-Hermitian matrices and its geometric mean.
method Analysis of the cone structure, Riemannian structure, and definition of J-geometric mean.
result Uniquely characterized J-geometric mean defined as a solution to a Riccati-type equation.
The paper studies a semigroup generated by finite intervals and characterizes its properties.
problem Characterizing the semigroup generated by finite intervals.
method Analyzing the semigroup BωFn, showing Green relations coincide, isomorphic to partial convex order isomorphisms, and studying shift-continuous topologies. result The semigroup BωFn is isomorphic to the semigroup of partial convex order isomorphisms and admits only Rees congruences. New quantum knot invariants derived from Verma modules.
problem Constructing universal quantum knot invariants from Verma modules.
method Defining level N universal invariants from finite quotients of Verma modules over quotient rings.
result Maximal universal invariants for prime N, interpolating Jones and ADO polynomials.
Classifies algebraic concordance for almost classical knots.
problem Classifying algebraic concordance for almost classical knots.
method Defined virtual algebraic concordance group for almost classical knots.
result Embeds GQ into VGQ and contains non-classical finite-order elements. We propose a general strategy to derive null-homotopy operators for differential complexes based on the Bernstein-Gelfand-Gelfand (BGG) construction and properties of the de Rham complex. Focusing on the elasticity complex, we derive path integral operators P for elasticity satisfying $\mathscr{D}\mathscr{P…
Constructs diffeological moduli stacks for Higgs and flat bundles on Kähler manifolds
problem Establishing an equivalence between diffeological substacks of Higgs and flat bundles
method Using diffeological moduli stacks
result Shows equivalence of categories between semistable Higgs bundles and flat bundles
Compact foliations preserve entropy if leaves are strictly convex projective.
problem Entropy rigidity for foliations by strictly convex projective manifolds.
method Analysis of foliated volume entropies and homeomorphisms.
result Equality in foliated volume entropies implies homothetic leaves.
Study K-theory of Etesi C∗-algebras to understand smooth manifolds.
problem Understanding smooth manifolds through K-theory of Etesi C∗-algebras. method Calculate topological and smooth invariants of manifolds using K-theory of Etesi C∗-algebras. result Smoothings of a manifold form a torsion abelian group isomorphic to the Brauer group of a number field.
Let Y⊂Rn be a triangulable set and let r be either a positive integer or r=∞. We say that Y is a Cr-approximation target space, or a Cr-ats for short, if it has the following universal approximation property: For each m∈N and each loc…
We establish the following Hadamard--Stoker type theorem: Let f:Mn→Hn×R be a complete connected hypersurface with positive definite second fundamental form, where Hn is a Hadamard manifold. If the height function of f has a critical point, then it is an embedding and $…
The paper finds the optimal wealth growth rate in betting games.
problem Optimizing wealth growth in Kelly betting games against arbitrary hypotheses.
method Analyzes the growth rate using KL divergence and proves it equals a specific limit.
result The optimal wealth growth rate is characterized and proven to be achievable.
The paper improves the smoothness of vector fields on manifolds.
problem Improving the regularity of vector fields on manifolds.
method Analyzes vector fields in Zygmund-Hölder spaces and provides conditions for compatibility with a higher regularity structure.
result Necessary and sufficient conditions for Cβ+1 structure on manifolds with Cα+1 structure. The paper explores the geometry and dynamics of free splitting and free factor complexes for groups.
problem Understanding the large scale geometry and dynamics of free splitting and free factor complexes.
method Analyzing the actions of the relative outer automorphism group on these complexes and using tools like the Two Over All Theorem and filling paths.
result Hyperbolicity of the relative free splitting complex and relative free factor complex was proven.
This paper shows how to construct sequential tests with power one against weakly compact sets in Polish spaces.
problem Testing composite null hypotheses involving weakly compact sets in Polish spaces.
method Develops sequential tests for i.i.d. laws in Polish spaces, providing a sufficient condition for power one.
result Power-one sequential tests exist for weakly compact sets against their complements in i.i.d. laws in Polish spaces.
A new DL framework preserves geometric structures for causal predictions.
problem Designing deep learning models for geometrically structured data.
method Introduces a universal causal geometric DL framework.
result DL models can approximate any regular map between metric spaces.
Double vector bundles may be dualized in two distinct ways and these duals are themselves dual. These two dualizations generate a group, denoted DF2, which is the symmetric group S3 on three symbols. In the case of triple vector bundles the authors proved in a previous paper that the correspon…
New 3-manifolds created from 4-regular graphs with unique Eulerian cycles.
problem Creating compact 3-manifolds from specific graph structures. method Defining 3-manifolds via compatible Eulerian cycles in 4-regular graphs. result Each manifold in the class has a unique minimal ideal triangulation with n tetrahedra. This paper extends Euclidean theorems to anisotropic settings for varifolds.
problem Anisotropic mean curvature of codimension-one varifolds.
method Proves perpendicularity and locality of mean curvature for bounded anisotropic mean curvature varifolds.
result Anisotropic mean curvature agrees with the approximate mean curvature on the rectifiable part of the varifold.
We apply Lescop's construction of Z-equivariant perturbative invariant of knots and 3-manifolds to the explicit equivariant propagator of "AL-paths" given in arXiv:1403.8030. We obtain an invariant Z^n of certain equivalence classes of fiberwise Morse functions on a 3-manifold fibered over S1, whi…
We consider a class X of continuous functions on [0,1] that is of interest from two different perspectives. First, it is closely related to sets of functions that have been studied as generalizations of the Takagi function. Second, each function in X admits a linear pathwise quadratic variatio…
In this paper, we introduce a new energy density function Y on the projective bundle P(TM)M for a smooth map f:(M,h)(N,g) between Riemannian manifolds Y=gijfαifβj∑hγδWγWδWαWβ. We get new Hessian estimates to this energy density and obtain various new…
The paper constructs bases for cluster varieties using mSL3-webs and laminations.
problem Cluster varieties associated to mSL3-local systems on surfaces. method Introducing mSL3-laminations, developing quantum and classical trace maps, and constructing bases. result Bases of regular functions on mPGL3 cluster varieties constructed from mSL3-laminations. Classifies embeddings of surfaces in 3D space with product structure.
problem Classifying embeddings of surfaces in Euclidean 3-space with product structure.
method Investigates embeddings of a surface in R2imesR, focusing on critical points and isotopy classes. result Provides necessary and sufficient conditions for realizing certain configurations of curves as crease sets.
Operads help quantify polygon spaces, proving dimensions equal.
problem Quantifying the moduli space of spatial polygons.
method Constructing morphisms of operads fKa¨h and fre. result Proved dimHKa¨h=dimHre in general setting. In response to a 1997 problem of M. Vidyasagar, we state a criterion for PAC learnability of a concept class C under the family of all non-atomic (diffuse) measures on the domain Ω. The uniform Glivenko--Cantelli property with respect to non-atomic measures is no longer a necessary condition, and consisten…