English
Related papers

Related papers: An algorithm for finding low degree rational solut…

200 papers

We present a new Frank-Wolfe (FW) type algorithm that is applicable to minimization problems with a nonsmooth convex objective. We provide convergence bounds and show that the scheme yields so-called coreset results for various Machine…

Optimization and Control · Mathematics 2017-08-23 Sathya N. Ravi , Maxwell D. Collins , Vikas Singh

We consider functions $f: \mathbb{Z} \to \mathbb{R}$ and kernels $u: \{-n, \cdots, n\} \to \mathbb{R}$ normalized by $\sum_{\ell = -n}^{n} u(\ell) = 1$, making the convolution $u \ast f$ a "smoother" local average of $f$. We identify which…

Classical Analysis and ODEs · Mathematics 2023-10-17 Sean Richardson

One of the most common problems of scientific applications is computation of the derivative of a function specified by possibly noisy or imprecise experimental data. Application of conventional techniques for numerically calculating…

Functional Analysis · Mathematics 2015-04-14 Ildar R. Muftahov , Denis N. Sidorov , Nikolai A. Sidorov

Let E_n={x_i=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. There is an algorithm that for every computable function f:N->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any integer…

Logic · Mathematics 2014-10-21 Apoloniusz Tyszka

The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary differential equations (ODEs) with coefficients that are…

Symbolic Computation · Computer Science 2011-08-24 Thomas Wolf

Optimization problems under affine constraints appear in various areas of machine learning. We consider the task of minimizing a smooth strongly convex function F(x) under the affine constraint Kx=b, with an oracle providing evaluations of…

Optimization and Control · Mathematics 2022-04-12 Adil Salim , Laurent Condat , Dmitry Kovalev , Peter Richtárik

Let g(t) be the minimum number such that every graph G with average degree d(G) \geq g(t) contains a K_{t}-minor. Such a function is known to exist, as originally shown by Mader. Kostochka and Thomason independently proved that g(t) \in…

Combinatorics · Mathematics 2014-01-07 Vida Dujmović , Daniel J. Harvey , Gwenaël Joret , Bruce Reed , David R. Wood

We deal with approximation of solutions of delay differential equations (DDEs) via the classical Euler algorithm. We investigate the pointwise error of the Euler scheme under nonstandard assumptions imposed on the right-hand side function…

Numerical Analysis · Mathematics 2023-12-13 Natalia Czyżewska , Paweł M. Morkisz , Paweł Przybyłowicz

Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two polynomials. Although they do have a determinantal definition, we…

Symbolic Computation · Computer Science 2007-05-23 Cyril Brunie , Philippe Saux Picart

Let X be the graph in the plane of a pfaffian function f (in the sense of Khovanskii). Suppose X is not algebraic. This note gives an upper bound for the number of rational points on X of height up to X. The bound is uniform in the order…

Number Theory · Mathematics 2007-05-23 Jonathan Pila

We propose and study algorithms to compute minimal models, stable models and answer sets of t-CNF theories, and normal and disjunctive t-programs. We are especially interested in algorithms with non-trivial worst-case performance bounds.…

Logic in Computer Science · Computer Science 2007-05-23 Z. Lonc , M. Truszczynski

Let $f\in \mathbb{Q}(x)$ be a non-constant rational function. We consider "Waring's Problem for $f(x)$," i.e., whether every element of $\bbq$ can be written as a bounded sum of elements of $\{f(a)\mid a\in \mathbb{Q}\}$. For rational…

Number Theory · Mathematics 2018-01-23 Bo-Hae Im , Michael Larsen

We deduce an asymptotic formula with error term for the sum $\sum_{n_1,\ldots,n_k \le x} f([n_1,\ldots, n_k])$, where $[n_1,\ldots, n_k]$ stands for the least common multiple of the positive integers $n_1,\ldots, n_k$ ($k\ge 2$) and $f$…

Number Theory · Mathematics 2016-07-27 Titus Hilberdink , László Tóth

We detail an algorithm that -- for all but a $\frac{1}{\Omega(\log(dH))}$ fraction of $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients in $\{-H,\ldots, H\}$ -- produces an approximate root (in the sense…

Algebraic Geometry · Mathematics 2025-05-07 Emma Boniface , Weixun Deng , J. Maurice Rojas

We present a method to compute high-order derivatives of the total energy which can be used in the framework of density functional theory. We provide a proof of the $2n+1$ theorem for a general class of energy functionals in which the…

Condensed Matter · Physics 2007-05-23 Andrea Dal Corso , Francesco Mauri

Shor's factoring algorithm (SFA) finds the prime factors of a number, $N=p_1 p_2$, exponentially faster than the best known classical algorithm. Responsible for the speed-up is a subroutine called the quantum order finding algorithm (QOFA)…

Quantum Physics · Physics 2015-01-14 Thomas Lawson

In this paper, we construct a family of Bernstein functions using a class of rational parametrization. The new family of rational Bernstein basis on an index $\alpha \in {\left(-\infty \, , \, 0 \right)}\cup {\left(1 \, , \,…

Computational Geometry · Computer Science 2018-04-30 Mohamed Allaoui , AurÉlien Goudjo

In this work we propose and analyze a simple randomized algorithm to find a satisfiable assignment for a Boolean formula in conjunctive normal form (CNF) having at most 3 literals in every clause. Given a k-CNF formula phi on n variables,…

Data Structures and Algorithms · Computer Science 2020-08-11 Subhas Kumar Ghosh , Janardan Misra

We look at the number of solutions of an equation of the form f_1*f_2*...*f_k=a in a finite field, where each f_i is a multilinear polynomial. We use two methods to construct a solution of this problem for the cases a=0, a<>0, and we…

Number Theory · Mathematics 2007-05-23 T. Narayaninsamy , D. -J. Mercier , J. -P. Cherdieu

We prove lower bounds on the complexity of finding $\epsilon$-stationary points (points $x$ such that $\|\nabla f(x)\| \le \epsilon$) of smooth, high-dimensional, and potentially non-convex functions $f$. We consider oracle-based complexity…

Optimization and Control · Mathematics 2019-08-16 Yair Carmon , John C. Duchi , Oliver Hinder , Aaron Sidford
‹ Prev 1 8 9 10 Next ›