English
Related papers

Related papers: Martin's conjecture for regressive functions on th…

200 papers

Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…

Logic · Mathematics 2024-03-21 Dag Normann , Sam Sanders

Subgradient methods comprise a fundamental class of nonsmooth optimization algorithms. Classical results show that certain subgradient methods converge sublinearly for general Lipschitz convex functions and converge linearly for convex…

Optimization and Control · Mathematics 2022-01-13 Vasileios Charisopoulos , Damek Davis

We resolve Manin's conjecture for all Ch\^atelet surfaces over $\mathbb{Q}$.

Number Theory · Mathematics 2024-09-27 Katharine Woo

In this paper, we first prove the coefficient conjecture of Clunie and Sheil-Small for a class of univalent harmonic functions which includes functions convex in some direction. Next, we prove growth and covering theorems and some related…

Complex Variables · Mathematics 2014-03-25 S. Ponnusamy , A. Sairam Kaliraj

In this short note we prove that every Jordan derivation of triangular algebras is a derivation.

Rings and Algebras · Mathematics 2007-06-14 Xuehan Cheng , Wu Jing

We prove minimax theorems for lower semicontinuous functions defined on a Hilbert space. The main tool is the theory of $\Phi$-convex functions and sufficient and necessary conditions for the minimax equality to hold for $\Phi$-convex…

Optimization and Control · Mathematics 2016-06-29 Ewa M. Bednarczuk , Monika Syga

We prove the $P=W$ conjecture for $\mathrm{GL}_n$ for all ranks $n$ and curves of arbitrary genus $g\geq 2$. The proof combines a strong perversity result on tautological classes with the curious Hard Lefschetz theorem of Mellit. For the…

Algebraic Geometry · Mathematics 2024-05-20 Davesh Maulik , Junliang Shen

Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…

Functional Analysis · Mathematics 2024-07-18 Silvano Delladio

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

Logic in Computer Science · Computer Science 2023-09-08 Richard Statman , Gilles Dowek

We study the problem of finding the global Riemannian center of mass of a set of data points on a Riemannian manifold. Specifically, we investigate the convergence of constant step-size gradient descent algorithms for solving this problem.…

Differential Geometry · Mathematics 2012-01-05 Bijan Afsari , Roberto Tron , René Vidal

We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by G\"odel and Kleene. We show that this class of functions can also be…

Logic in Computer Science · Computer Science 2020-10-05 Keng Meng Ng , Nazanin R. Tavana , Yue Yang

In this note we provide a full conjugacy and subdifferential calculus for convex convex-composite functions in finite-dimensional space. Our approach, based on infimal convolution and cone-convexity, is straightforward and yields the…

Optimization and Control · Mathematics 2019-08-22 James V. Burke , Tim Hoheisel , Quang V. Nguyen

Even though Zaremba's conjecture remains open, Bourgain and Kontorovich solved the problem for a full density subset. Nevertheless, there are only a handful of explicit sequences known to satisfy the strong version of the conjecture, all of…

Number Theory · Mathematics 2026-01-28 Elias Dubno

A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the…

Functional Analysis · Mathematics 2024-11-19 Andrea Colesanti , Monika Ludwig , Fabian Mussnig

We study the Mathieu Conjecture for $SU(2)$ using the matrix elements of its unitary irreducible representations. We state a conjecture for the particular case $SU(2)$ implying the Mathieu Conjecture for $SU(2)$.

Representation Theory · Mathematics 2015-07-14 Teun Dings , Erik Koelink

We show that for each computable ordinal $\alpha>0$ it is possible to find in each Martin-L\"of random $\Delta^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $\alpha$, while ensuring that the sequences that inductively witness $R$'s…

Logic · Mathematics 2020-02-19 Rupert Hölzl , Christopher P. Porter

We propose a new, conjectural recursion solution for Hurwitz numbers at all genera. This conjecture is based on recent progress in solving type B topological string theory on the mirrors of toric Calabi-Yau manifolds, which we briefly…

Algebraic Geometry · Mathematics 2008-12-04 Vincent Bouchard , Marcos Marino

We will prove the Brannan conjecture for particular values of the parameter. The basic tool of the study is an integral representation published in a recent work [3].

Complex Variables · Mathematics 2017-10-26 Róbert Szász

Motivated by Ridgway's proof of the perceptron algorithm, we study a simple subgradient method for convex inequality systems in Hilbert space. Assuming strict feasibility and bounded subgradients, we establish finite termination for several…

Optimization and Control · Mathematics 2026-04-27 Heinz H. Bauschke , Tran Thanh Tung

In this paper we give a complete proof of the Brumer-Stark conjecture over $\mathbf{Z}$.

Number Theory · Mathematics 2023-10-26 Samit Dasgupta , Mahesh Kakde , Jesse Silliman , Jiuya Wang