Strong bolicity helps prove Baum-Connes conjecture for certain hyperbolic groups.
problem Proving the Baum-Connes conjecture for relatively hyperbolic groups.
method Constructing a strongly bolic metric and using masks for random coset representatives.
result Deduced the Baum-Connes conjecture for groups satisfying (RD) and certain parabolics.
In this paper, we give an optimal inequality relating the relative Yamabe invariant of a certain compactification of a conformally compact Poin-car{é}-Einstein manifold with the Yamabe invariant of its boundary at infinity. As an application, we obtain an elementary proof of the rigidity of the hyper-bolic space as the…
Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzia…
On a compact complex manifold we study the behaviour of strong Kähler with torsion (strong KT) structures under small deformations of the complex structure and the problem of extension of a strong KT metric. In this context we obtain the analogous result of Miyaoka extension theorem. Studying the blow-up of a strong KT…
The paper characterizes strong Hamel functions using symmetries and proves their preservation properties.
problem Characterizing strong Hamel functions and their symmetries in Finsler spaces.
method Analyzing geodesic spray, strong dual symmetries, and strong dynamical symmetries.
result Strong Hamel functions can be characterized in terms of strong dual symmetries and strong dynamical symmetries.
Strong corks derived from previous work are proven.
problem Understanding and constructing strong corks.
method Instanton-theoretic invariant and linear combinations of previous corks.
result Proves nontrivial linear combinations of previous corks are strong corks.
Study on compact strong HKT manifolds and their properties.
problem Characterizing the structure of compact strong HKT manifolds.
method Geometric analysis, rigidity theorems, classification, and properties of Ricci foliations.
result Compact strong HKT manifolds are Hopf fibrations over compact 4-dimensional orbifolds.
We study a class of 3-manifolds called strong L-spaces, which by definition admit a certain type of Heegaard diagram that is particularly simple from the perspective of Heegaard Floer homology. We provide evidence for the possibility that every strong L-space is the branched double cover of an alternating link in the t…
RAVEN improves weak-to-strong generalization under distribution shifts.
problem Weak models fail to supervise strong models effectively under distribution shifts.
method RAVEN dynamically learns optimal combinations of weak models and strong model parameters.
result RAVEN outperforms existing methods by over 30% on out-of-distribution tasks.
The study connects hypergraphs to strong homotopy Lie algebras.
problem Characterizing hypergraphs with a system of distinct representatives.
method Describing a procedure to attach nilpotent strong homotopy Lie algebras to hypergraphs.
result Isomorphic hypergraphs correspond to isomorphic strong homotopy Lie algebras.
Optimal algorithm converts weak to strong learner with less data.
problem Constructing a strong learner from a weak learner with minimal data.
method New algorithm that uses less training data than AdaBoost.
result Optimal sample complexity for converting weak to strong learner.
The study explores the strengths and weaknesses of models that generalize from weak to strong supervision.
problem Understanding the limitations and capabilities of models that generalize from weak to strong supervision.
method Theoretical analysis and experimental validation in both classification and regression settings.
result Theoretical bounds reveal the importance of strong generalization and calibration of the weak model and a careful balance in the training process.
New model shows weak teachers can help strong students learn even with imperfect labels.
problem Improving strong student's performance with weak teacher's imperfect pseudolabels.
method Stylized overparameterized spiked covariance model with Gaussian covariates, proving two phases of generalization.
result Provable successful and random guessing phases of strong student's generalization.
We introduce the notion of a strong L-space, a closed, oriented rational homology 3-sphere whose Heegaard Floer homology can be determined at the chain level. We prove that the fundamental group of a strong L-space is not left-orderable. Examples of strong L-spaces include the double branched covers of alternating link…
The strong symmetric genus of a finite group is the minimum genus of a compact Riemann surface on which the group acts as a group of automorphisms preserving orientation. A characterization of the infinite number of groups with strong symmetric genus zero and one is well-known and the problem is finite for each strong …
Study strong Nielsen equivalence on punctured disc homeomorphisms.
problem Characterize strong Nielsen equivalence of periodic points in punctured disc homeomorphisms.
method Braid theory and trace formula application.
result Necessary and sufficient conditions for strong Nielsen equivalence of periodic points.
Survey on strong closing lemmas in Hamiltonian dynamics.
problem Understanding dynamics in Hamiltonian systems.
method Use spectral invariants in symplectic geometry.
result Proofs of strong closing lemmas in various dimensions.
The study proves strong cosmic censorship violation for spherically symmetric dust clouds.
problem Violation of strong cosmic censorship for spherically symmetric dust clouds.
method Derived an ordinary differential equation for light rays and used it to prove strong cosmic censorship violation.
result Generic violation of strong cosmic censorship for spherically symmetric dust clouds.
Strong geodesic convex function and strong monotone vector field of order m on Riemannian manifolds have been established. A characterization of strong geodesic convex function of order m for the continuously differentiable functions has been discussed. The relation between the solution of a new variational inequal…
The study shows strong formality in certain complex manifolds.
problem Investigating strong formality in complex manifolds.
method Adapting s-strong formality from Fernandez and Muñoz to the pluripotential setting. result Compact Kähler manifolds and generalized complete intersections are strongly formal.
Formalizes weak and strong verification for LLMs, controlling errors without assumptions.
problem Balancing cost and reliability in reasoning with LLMs.
method Formalizes weak-strong verification policies, introduces metrics, develops online algorithm.
result Optimal policies admit a two-threshold structure, and calibration and sharpness govern value of weak verifiers.
Study strong inversions on knots using Khovanov homology.
problem Understanding strong inversions on knots using Khovanov homology.
method Computed reduced Khovanov homology for knots with up to 9 crossings.
result Provided a counterexample and refined earlier conjectures.
The paper proves strong holomorphic Morse inequalities on complex manifolds with optimal estimates.
problem Holomorphic Morse inequalities on non-compact complex manifolds with optimal fundamental estimates.
method Established strong holomorphic Morse inequalities under optimal fundamental estimates.
result Strong holomorphic Morse inequalities hold true on non-compact complex manifolds with optimal fundamental estimates.
Strong Frankel theorem for shrinkers in all dimensions.
problem Intersection of shrinkers in large balls.
method Proof using strong Bernstein theorem for stable Gaussian surfaces.
result Shrinkers are connected in all large balls.
Random feature models can outperform a weak teacher with early stopping.
problem Generalization from a weak to a strong model in random feature networks.
method Random feature models, early stopping, proving weak-to-strong generalization.
result Random feature models can outperform a weak teacher with early stopping.
The paper classifies algebraic curves in 4-balls and their boundaries.
problem Understanding algebraic curves in 4-dimensional balls and their boundaries.
method Analyzing algebraic curves in complex 2-space and their intersections with 4-balls.
result Classification of algebraic curves with up to 5 crossings.
We show that, under some technical conditions, the Strong Slope Conjecture proposed by Kalfagianni and Tran is closed under connect sums and cabling. As an application, we establish the Strong Slope Conjecture for graph knots.
Existence of strong randomized equilibria in mean-field games with common noise.
problem Existence of strong solutions in mean-field games of optimal stopping.
method Connection with Bank-El Karoui's representation problem and continuity assumptions.
result Existence of strong randomized mean-field equilibrium under certain conditions.
We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the following bizarre situation. Čech cohomology is an invariant of shape, and a fortiori …
Study shows strong min-max principle for phase transitions.
problem Understanding nodal sets near minimal hypersurfaces.
method Analogous to White's principle, applies to Allen-Cahn energy.
result Strong min-max principle for phase transitions.
We provide new conditions for the Strong Atiyah conjecture to lift to finite group extensions. In particular, we show cocompact special groups satisfy these conditions, so the Strong Atiyah conjecture holds for virtually cocompact special groups.
Study on interest rate model with jumps, proving strong convergence in simulations.
problem Analytical solutions for complex interest rate models with jumps are difficult.
method Employed truncated Euler-Maruyama techniques to prove strong convergence.
result Justified strong convergence for Monte Carlo calibration and valuation.
Short proof of Strong Haken Theorem for 3-manifolds.
problem Proving Scharlemann's Strong Haken Theorem for 3-manifolds.
method Short proof using sphere complexes.
result Short proof of Scharlemann's Strong Haken Theorem.
Paper analyzes weak-to-strong generalization in CNNs, identifying data-scarce and data-abundant regimes.
problem Weak-to-strong generalization in CNNs trained on weak models.
method Formal analysis of gradient descent dynamics in data-scarce and data-abundant regimes.
result Identifies two regimes and distinct mechanisms of generalization in each.
New examples show strong Kato limits can be branching and not satisfy known conditions.
problem Exploring the boundaries of strong Kato limits and their properties.
method Constructing specific examples of non-collapsed strong Kato limits.
result Found examples of strong Kato limits that are branching and do not satisfy CD(K,∞) or MCP(K,N) conditions. In this paper we construct six-dimensional compact non-Kähler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to th…
In this paper, we investigate special curves on a strong r-helix submanifold in Euclidean n-space E n. Also, we give the important relations between strong r-helix submanifolds and the special curves such as line of curvature, geodesic and slant helix.
FastAdaBelief improves convergence rate of AdaBelief by exploiting strong convexity.
problem Improving convergence rate of AdaBelief without sacrificing generalization ability.
method Designing FastAdaBelief that adjusts step size considering strong convexity.
result Proves O(logT) regret bound for FastAdaBelief. Regularization plays an important role in generalization of deep neural networks, which are often prone to overfitting with their numerous parameters. L1 and L2 regularizers are common regularization tools in machine learning with their simplicity and effectiveness. However, we observe that imposing strong L1 or L2 reg…
Study shows how a strong model can learn a task's feature while retaining other capabilities.
problem How to align superhuman AI systems using weak-to-strong generalization.
method Two-layer neural networks, reward-model learning, multi-step SGD, feature learning.
result The strong model efficiently learns task features while retaining general capabilities.
New framework transfers latent knowledge from weak to strong models.
problem Aligning superhuman LLMs with human feedback.
method Transfer learning framework using refinement approach.
result Proves weak-to-strong generalization is possible.
The study examines different types of equilibria for stopping problems in one-dimensional diffusion processes.
problem Characterizing and comparing different types of equilibria for time-inconsistent stopping problems.
method Analyzes log sub-additive discount functions and one-dimensional diffusion processes to derive necessary and sufficient conditions for weak equilibria and other types of equilibria.
result Conditions for weak equilibria and their implications for other types of equilibria are provided.
New Poisson manifolds created over 2-tori.
problem Creating Poisson manifolds over 2-tori.
method Modified construction using K3 surfaces and strongly integral affine 2-tori.
result New class of Poisson manifolds with 2-torus as leaf space.
The strong symmetric genus of a finite group G is the smallest genus of a closed orientable topological surface on which G acts faithfully as a group of orientation preserving automorphisms. In this paper we complete the calculation of the strong symmetric genus for each finite Coxeter group excluding the group E8.
For a polarized algebraic manifold (X,L), let T be an algebraic torus in the group of all holomorphic automorphisms of X. Then strong relative K-stability will be shown to imply asymptotic relative Chow-stability. In particular, by taking T to be trivial, we see that asymptotic Chow-stability follows from stron…
Survey on strong convergence in random matrices and its applications.
problem Understanding convergence of random matrices to operators.
method Analysis of operator norms of noncommutative polynomials.
result New insights and applications in random graphs, geometry, and operator algebras.
Study confirms equivalence in Heisenberg groups between curvature-dimension conditions and strong Brunn-Minkowski inequalities.
problem Equivalence between curvature-dimension conditions and strong Brunn-Minkowski inequalities in Heisenberg groups.
method Optimal transport and approximation techniques in sub-Riemannian Heisenberg group Hn, combined with previous works.
result Confirms the equivalence in Heisenberg groups between curvature-dimension conditions and strong Brunn-Minkowski inequalities.
Study improves understanding of solutions to complex equations in geometry.
problem Understanding solutions to fully nonlinear elliptic equations.
method Obtained local second derivative estimates for strong solutions.
result Improved estimates for W2,p-strong solutions.