English
Related papers

Related papers: A Levelset Algorithm for 3D-Tarski

200 papers

A saddlepoint of an $n \times n$ matrix $A$ is an entry of $A$ that is a maximum in its row and a minimum in its column. Knuth (1968) gave several different algorithms for finding a saddlepoint. The worst-case running time of these…

Data Structures and Algorithms · Computer Science 2023-10-26 Justin Dallant , Frederik Haagensen , Riko Jacob , László Kozma , Sebastian Wild

We describe a randomized algorithm for producing a near-optimal hierarchical off-diagonal low-rank (HODLR) approximation to an $n\times n$ matrix $\mathbf{A}$, accessible only though matrix-vector products with $\mathbf{A}$ and…

Data Structures and Algorithms · Computer Science 2024-10-25 Tyler Chen , Feyza Duman Keles , Diana Halikias , Cameron Musco , Christopher Musco , David Persson

We use existential Diophantine predicates carefully reinterpreted over the reals and the time complexity of Tarski algebra to show that 3-CNF SAT is in n^O(log^{gamma} n) time for an absolute positive constant gamma.

Computational Complexity · Computer Science 2022-06-10 Bruce Litow

We propose an Adagrad-like algorithm for multi-objective unconstrained optimization that relies on the computation of a common descent direction only. Unlike classical local algorithms for multi-objective optimization, our approach does not…

Optimization and Control · Mathematics 2026-02-06 Marianna De Santis , Gabriele Eichfelder , Margherita Porcelli

We derive new time-space tradeoff lower bounds and algorithms for exactly computing statistics of input data, including frequency moments, element distinctness, and order statistics, that are simple to calculate for sorted data. We develop…

Computational Complexity · Computer Science 2013-09-17 Paul Beame , Raphael Clifford , Widad Machmouchi

In this paper, we present a new Hyperfast Second-Order Method with convergence rate $O(N^{-5})$ up to a logarithmic factor for the convex function with Lipshitz the third derivative. This method based on two ideas. The first comes from the…

Optimization and Control · Mathematics 2020-06-30 Dmitry Kamzolov , Alexander Gasnikov

We propose a simple numerical method which computes an approximate value of the winding number of a mapping from 3D torus~$T^3$ to the unitary group~$U(N)$, when $T^3$ is approximated by discrete lattice points. Our method consists of a…

High Energy Physics - Lattice · Physics 2024-12-12 Okuto Morikawa , Hiroshi Suzuki

The three domatic number problem asks whether a given undirected graph can be partitioned into at least three dominating sets, i.e., sets whose closed neighborhood equals the vertex set of the graph. Since this problem is NP-complete, no…

Computational Complexity · Computer Science 2007-05-23 Tobias Riege , Jörg Rothe

We present a simple and fast algorithm for computing the $N$-th term of a given linearly recurrent sequence. Our new algorithm uses $O(\mathsf{M}(d) \log N)$ arithmetic operations, where $d$ is the order of the recurrence, and…

Symbolic Computation · Computer Science 2020-08-21 Alin Bostan , Ryuhei Mori

The aim of this paper is to study the recovery of a spatially dependent potential in a (sub)diffusion equation from overposed final time data. We construct a monotone operator one of whose fixed points is the unknown potential. The…

Numerical Analysis · Mathematics 2022-01-06 Zhengqi Zhang , Zhidong Zhang , Zhi Zhou

Fourier series of smooth, non-periodic functions on $[-1,1]$ are known to exhibit the Gibbs phenomenon, and exhibit overall slow convergence. One way of overcoming these problems is by using a Fourier series on a larger domain, say $[-T,T]$…

Numerical Analysis · Computer Science 2015-09-02 Roel Matthysen , Daan Huybrechs

We investigate the calibration of estimations to increase performance with an optimal monotone transform on the estimator outputs. We start by studying the traditional square error setting with its weighted variant and show that the optimal…

Machine Learning · Computer Science 2021-11-02 Kaan Gokcesu , Hakan Gokcesu

In this paper we show how to solve the \emph{Maximum Weight Stable Set Problem} in a claw-free graph $G(V, E)$ with $\alpha(G) \le 3$ in time ${\cal O}(|E|\log|V|)$. More precisely, in time ${\cal O}(|E|)$ we check whether $\alpha(G) \le 3$…

Discrete Mathematics · Computer Science 2015-01-26 Paolo Nobili , Antonio Sassano

We design an algorithm which finds an $\epsilon$-approximate stationary point (with $\|\nabla F(x)\|\le \epsilon$) using $O(\epsilon^{-3})$ stochastic gradient and Hessian-vector products, matching guarantees that were previously available…

Machine Learning · Computer Science 2020-06-25 Yossi Arjevani , Yair Carmon , John C. Duchi , Dylan J. Foster , Ayush Sekhari , Karthik Sridharan

In this paper we present the first known deterministic algorithm for the construction of multiple rank-1 lattices for the approximation of periodic functions of many variables. The algorithm works by converting a potentially large…

Numerical Analysis · Mathematics 2020-03-24 Craig Gross , Mark A. Iwen , Lutz Kämmerer , Toni Volkmer

We present a symbolic-numeric approach for the analysis of a given set of noisy data, represented as a finite set $\X$ of limited precision points. Starting from $\X$ and a permitted tolerance $\varepsilon$ on its coordinates, our method…

Commutative Algebra · Mathematics 2012-02-20 Claudia Fassino , Maria-Laura Torrente

Given a set P of n points in the plane, the two-line center problem asks to find two lines that minimize the maximum distance from each point in P to its closer one of the two resulting lines. The currently best algorithm for the problem…

Computational Geometry · Computer Science 2024-09-23 Taehoon Ahn , Sang Won Bae

Placing a dataset $A = \{\mathbf{a}_i\}_{i \in [n]} \subset \mathbb{R}^d$ in radial isotropic position, i.e., finding an invertible $\mathbf{R} \in \mathbb{R}^{d \times d}$ such that the unit vectors $\{(\mathbf{R} \mathbf{a}_i)…

Data Structures and Algorithms · Computer Science 2025-04-09 Arun Jambulapati , Jonathan Li , Kevin Tian

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

Probability · Mathematics 2026-05-20 Saba Lepsveridze , Allen Lin

In this paper, we propose a new zero order optimization method called minibatch stochastic three points (MiSTP) method to solve an unconstrained minimization problem in a setting where only an approximation of the objective function…

Optimization and Control · Mathematics 2022-09-19 Soumia Boucherouite , Grigory Malinovsky , Peter Richtárik , EL Houcine Bergou
‹ Prev 1 8 9 10 Next ›