English
Related papers

Related papers: The em-convex rewrite system

200 papers

In this paper, is introduced a new proposal of resolvent for equilibrium problems in terms of the Busemann's function. A great advantage of this new proposal is that, in addition to be a natural extension of the proposal in the linear…

Optimization and Control · Mathematics 2021-11-09 G. C. Bento , J. X. Cruz Neto , I. D. L. Melo

In this paper we introduce an enhanced notion of extremal systems for sets in locally convex topological vector spaces and obtain efficient conditions for set extremality in the convex case. Then we apply this machinery to deriving new…

Optimization and Control · Mathematics 2016-10-03 Boris Mordukhovich , Nguyen Mau Nam

We introduce a new method for studying murmurations, based on random matrix theory. With this method, we exhibit murmurations or similar phenomena: assuming ratios conjectures, for elliptic curves ordered by height, quadratic twists of a…

Number Theory · Mathematics 2025-04-23 Alex Cowan

In this paper, we are interested in investigating a weighted variant of Hermite-Hadamard type inequalities involving convex functionals. The approach undertaken makes it possible to refine and reverse certain inequalities already known in…

Functional Analysis · Mathematics 2024-05-21 Mustapha Raissouli , Mohamed Chergui , Lahcen Tarik

Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their `concavity index', $m$. Such polygons are called \emph{$m$-convex} polygons and are characterised by…

Combinatorics · Mathematics 2007-10-26 W. R. G. James , I. Jensen , A. J. Guttmann

Forward-backward methods are a very useful tool for the minimization of a functional given by the sum of a differentiable term and a nondifferentiable one and their investigation has experienced several efforts from many researchers in the…

Numerical Analysis · Mathematics 2015-06-10 Silvia Bonettini , Federica Porta , Valeria Ruggiero

We introduce $\mathsf{LEM}$, a type-assignment system for the linear $ \lambda $-calculus that extends second-order $\mathsf{IMLL}_2$, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract…

Logic in Computer Science · Computer Science 2020-05-14 Gianluca Curzi , Luca Roversi

These lecture notes evolve around mathematical concepts arising in inverse problems. We start by introducing inverse problems through examples such as differentiation, deconvolution, computed tomography and phase retrieval. This then leads…

Numerical Analysis · Mathematics 2025-08-26 Danielle Bednarski , Tim Roith

In this paper, we establish some integral inequalities for functions whose second derivatives in absolute value are ({\alpha},m)- convex.

Classical Analysis and ODEs · Mathematics 2011-08-16 M. Emin Özdemir , Merve Avci , Havva Kavurmaci

In this paper, we consider several geometric inverse problems for linear elliptic systems. We prove uniqueness and stability results. In particular, we show the way that the observation depends on the perturbations of the domain. In some…

Analysis of PDEs · Mathematics 2024-02-02 Raul K. C. Araújo , Enrique Fernández-Cara , Diego A. Souza

The $\lambda$$\Pi$-calculus modulo theory is an extension of simply typed $\lambda$-calculus with dependent types and user-defined rewrite rules. We show that it is possible to replace the rewrite rules of a theory of the…

Logic in Computer Science · Computer Science 2024-02-15 Valentin Blot , Gilles Dowek , Thomas Traversié , Théo Winterhalter

Reverse Mathematics is a program in the foundations of mathematics which provides an elegant classification of theorems of ordinary mathematics based on computability. Our aim is to provide an alternative classification of theorems based on…

Logic · Mathematics 2015-02-25 Sam Sanders

In this study, Firstly, we will write two new convex functions for $-1<n-\alpha \leq 1\ $and two new lemmas. Then we will find the relevance of the two new lemmas to Caputo-left-sided derivatives under additional conditions and draw…

Functional Analysis · Mathematics 2024-07-24 M. Emin Özdemir

In this article we develop convergence theory for a class of goal-oriented adaptive finite element algorithms for second order nonsymmetric linear elliptic equations. In particular, we establish contraction results for a method of this type…

Numerical Analysis · Mathematics 2013-08-09 Michael Holst , Sara Pollock

We provide a new proof of the linear convergence of the alternating direction method of multipliers (ADMM) when one of the objective terms is strongly convex. Our proof is based on a framework for analyzing optimization algorithms…

Optimization and Control · Mathematics 2015-05-20 Robert Nishihara , Laurent Lessard , Benjamin Recht , Andrew Packard , Michael I. Jordan

This work is about ME, the Method of Ellipcenters. ME was recently introduced by these very authors as a first order accelerated scheme for unconstrained minimization. Its iterates are all centers of ellipses carefully designed to somehow…

Optimization and Control · Mathematics 2026-05-14 Roger Behling , Ramyro Correa , Eduarda Ferreira , Vincent Guigues

We present a cohomological interpretation of the middle convolution functor MC and find an explicit Riemann-Hilbert correspondence for MC_\lambda. This leads to an algorithm for the construction of Fuchsian systems which correspond to…

Algebraic Geometry · Mathematics 2007-05-23 Michael Dettweiler , Stefan Reiter

In this paper, we consider the problem of finding geodesics in a series of left-invariant problems endowed with sub-Lorentzian and Finsler structures. Explicit formulas for extremals are obtained in terms of convex trigonometric functions.…

Optimization and Control · Mathematics 2025-07-02 E. A. Ladeishchikov , L. V. Lokutsievskiy , N. V. Prilepin

In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating…

Differential Geometry · Mathematics 2012-05-09 Carlos Beltrán , Jean-Pierre Dedieu , Gregorio Malajovich , Mike Shub

In a previous paper (called "Rectangular random matrices. Related covolution"), we defined, for $\lambda \in [0,1]$, the rectangular free convolution with ratio $\lambda$. Here, we investigate the related notion of infinite divisiblity,…

Operator Algebras · Mathematics 2007-05-23 Florent Benaych-Georges