Related papers: Open descent and strong approximation
Faithfully flat descent of pseudo-coherent complexes in rigid geometry was proved by Mathew. In this paper, we generalize the result of Mathew to quasi-coherent complexes on rigid analytic varieties, which have been introduced by Clausen…
We consider a class of generalized nonexpansive mappings introduced by Karapinar [5] and seen as a generalization of Suzuki (C)-condition. We prove some weak and strong convergence theorems for approximating fixed points of such mappings…
The restricted strong convexity is an effective tool for deriving globally linear convergence rates of descent methods in convex minimization. Recently, the global error bound and quadratic growth properties appeared as new competitors. In…
In a recent paper, J.-B. Bost establishes a criterion for certain ``formal subvarieties'' of algebraic varieties to be algebraic. His theorem unifies and generalizes results of Chudnovsky's and Y. Andr\'e, motivated by an arithmetic…
We discuss several open problems in Diophantine approximation. Among them there are famous Littlewood's and Zaremba's conjectures as well as some new and not so famous problems.
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
We establish the geometric Bogomolov conjecture for semiabelian varieties over function fields. We show a closed subvariety contains Zariski dense sets of small points, if and only if, after modulo its stabilizer, it is a torsion translate…
In this paper we present a new approach to prove effective results in Diophantine approximation. We then use it to prove an effective theorem on the simultaneous approximation of two algebraic numbers satisfying an algebraic equation with…
We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…
In this manuscript, we address continuous unconstrained multi-objective optimization problems and we discuss descent type methods for the reconstruction of the Pareto set. Specifically, we analyze the class of Front Descent methods, which…
This is a handbook of simple proofs of the convergence of gradient and stochastic gradient descent type methods. We consider functions that are Lipschitz, smooth, convex, strongly convex, and/or Polyak-{\L}ojasiewicz functions. Our focus is…
We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by…
We show that strong approximate lattices in higher-rank semi-simple algebraic groups are arithmetic.
Steepest descent is central in variational mathematics. We present a new transparent existence proof for curves of near-maximal slope --- an influential notion of steepest descent in a nonsmooth setting. We moreover show that for…
We establish a new generalization of an $L^2$ extension theorem of Ohsawa-Takegoshi type. The improvement in the theorem is that it allows the usual curvature assumptions to be significantly weakened in certain favorable settings. The…
In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…
The purpose of this paper is to study holomorphic approximation and approximation of $\bar\partial$-closed forms in complex manifolds of complex dimension $n\geq 1$. We consider extensions of the classical Runge theorem and the Mergelyan…
In this paper we discuss and prove some new strong convergence theorems for partial sums and Fej\'er means with respect to the Vilenkin system.
We give a review of the exact renormalization group (ERG) approach and illustrate its applications in scalar and fermionic theories. The derivative expansion and approximations based on the derivative expansion with further truncation in…
We provide a criterion for a vertex operator superalgebra homomorphism from an affine vertex algebra to another vertex superalgebra to be conformal, and an additional criterion that guarantees that this homomorphism is surjective. This…