English
Related papers

Related papers: Finding descending sequences through ill-founded l…

200 papers

The Solvability Complexity Index (SCI) provides an extensional limit-height formalism for recovering a target map $\Xi$ from finite samples of an evaluation interface $\Lambda\subseteq\mathbb C^\Omega$ by finite-height towers of pointwise…

Logic · Mathematics 2026-05-15 Christopher Sorg

We develop a line-search second-order algorithmic framework for minimizing finite sums. We do not make any convexity assumptions, but require the terms of the sum to be continuously differentiable and have Lipschitz-continuous gradients.…

Optimization and Control · Mathematics 2022-06-28 Daniela di Serafino , Nataša Krejić , Nataša Krklec Jerinkić , Marco Viola

Randomly initialized first-order optimization algorithms are the method of choice for solving many high-dimensional nonconvex problems in machine learning, yet general theoretical guarantees cannot rule out convergence to critical points of…

Optimization and Control · Mathematics 2018-09-28 Dar Gilboa , Sam Buchanan , John Wright

In this paper, we present a new framework how a PDE with constraints can be formulated into a sequence of PDEs with no constraints, whose solutions are convergent to the solution of the PDE with constraints. This framework is then used to…

Numerical Analysis · Mathematics 2024-05-28 Jiwei Jia , Young Ju Lee , Ruitong Shan

This paper analyzes the structure of the set of positive solutions of a class of one-dimensional superlinear indefinite bvp's. It is a paradigm of how mathematical analysis aids the numerical study of a problem, whereas simultaneously its…

Analysis of PDEs · Mathematics 2021-03-09 Martin Fencl , Julián López-Gómez

A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups…

Mathematical Physics · Physics 2018-05-09 Vladimir A. Dorodnitsyn , Roman Kozlov , Sergey V. Meleshko , Pavel Winternitz

We consider the evaluation of first-order queries over classes of databases that have bounded degree and low degree. More precisely, given a query and a database, we want to efficiently test whether there is a solution, count how many…

Logic in Computer Science · Computer Science 2020-10-08 Alexandre Vigny

We develop in this paper a multi-grade deep learning method for solving nonlinear partial differential equations (PDEs). Deep neural networks (DNNs) have received super performance in solving PDEs in addition to their outstanding success in…

Numerical Analysis · Mathematics 2023-09-15 Yuesheng Xu , Taishan Zeng

The aim of this paper is to obtain the existence of unique solution to nonlinear Cauchy-type problem. We consider the implicit nonlinear Cauchy-type problem with $\psi$-Hilfer fractional derivative. The Banach fixed point theorem is used to…

General Mathematics · Mathematics 2019-10-14 Mohammed S Abdo , S K Panchal , Sandeep P Bhairat

It seems that in the current age, computers, computation, and data have an increasingly important role to play in scientific research and discovery. This is reflected in part by the rise of machine learning and artificial intelligence,…

Machine Learning · Computer Science 2024-05-15 Ronan Keane

For an algebraic number $\alpha$ we consider the orders of the reductions of $\alpha$ in finite fields. In the case where $\alpha$ is an integer, it is known by the work on Artin's primitive root conjecture that the order is "almost always…

Number Theory · Mathematics 2021-06-21 Olli Järviniemi

We study the problem of learning equivariant neural networks via gradient descent. The incorporation of known symmetries ("equivariance") into neural nets has empirically improved the performance of learning pipelines, in domains ranging…

Machine Learning · Computer Science 2024-01-04 Bobak T. Kiani , Thien Le , Hannah Lawrence , Stefanie Jegelka , Melanie Weber

A Dirichlet-type problem is studied for an equation of even order with variable coefficients. A criterion for the uniqueness of a solution is given. The solution is built in the form of a Fourier series. When justifying the convergence of…

Analysis of PDEs · Mathematics 2021-06-01 B. Irgashev

The Lasserre hierarchy is a systematic procedure for constructing a sequence of increasingly tight relaxations that capture the convex formulations used in the best available approximation algorithms for a wide variety of optimization…

Data Structures and Algorithms · Computer Science 2014-04-03 Monaldo Mastrolilli

Iterative algorithms solve problems by taking steps until a solution is reached. Models in the form of Deep Thinking (DT) networks have been demonstrated to learn iterative algorithms in a way that can scale to different sized problems at…

Machine Learning · Computer Science 2024-11-01 Jay Bear , Adam Prügel-Bennett , Jonathon Hare

We study the problem of zero-order optimization of a strongly convex function. The goal is to find the minimizer of the function by a sequential exploration of its values, under measurement noise. We study the impact of higher order…

Machine Learning · Computer Science 2022-11-28 Arya Akhavan , Massimiliano Pontil , Alexandre B. Tsybakov

In this paper, we introduce a class of backward stochastic equations (BSEs) that extend classical BSDEs and include many interesting examples of generalized BSDEs as well as semimartingale backward equations. We show that a BSE can be…

Probability · Mathematics 2017-03-28 Patrick Cheridito , Kihun Nam

In this paper, we consider the Cauchy problem of semi-linear degenerate backward stochastic partial differential equations (BSPDEs in short) under general settings without technical assumptions on the coefficients. For the solution of…

Probability · Mathematics 2011-09-06 Kai Du , Qi Zhang

This work studies constrained stochastic optimization problems where the objective and constraint functions are convex and expressed as compositions of stochastic functions. The problem arises in the context of fair classification, fair…

Machine Learning · Computer Science 2022-09-13 Srujan Teja Thomdapu , Harshvardhan , Ketan Rajawat

We propose a new algorithm for solving parabolic partial differential equations (PDEs) and backward stochastic differential equations (BSDEs) in high dimension, by making an analogy between the BSDE and reinforcement learning with the…

Numerical Analysis · Mathematics 2020-07-14 Weinan E , Jiequn Han , Arnulf Jentzen
‹ Prev 1 4 5 6 7 8 10 Next ›