English
Related papers

Related papers: Advances in Tabulating Carmichael Numbers

200 papers

Range Minimum Query (RMQ) is an important building brick of many compressed data structures and string matching algorithms. Although this problem is essentially solved in theory, with sophisticated data structures allowing for constant time…

Data Structures and Algorithms · Computer Science 2017-07-12 Szymon Grabowski , Tomasz Kowalski

Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous…

Data Structures and Algorithms · Computer Science 2021-10-05 François Le Gall

The input to the Multiway Cut problem is a weighted undirected graph, with nonnegative edge weights, and $k$ designated terminals. The goal is to partition the vertices of the graph into $k$ parts, each containing exactly one of the…

Data Structures and Algorithms · Computer Science 2026-03-31 Joshua Brakensiek , Neng Huang , Aaron Potechin , Uri Zwick

The primary Carmichael numbers were recently introduced as a special subset of the Carmichael numbers. A primary Carmichael number $m$ has the unique property that $s_p(m) = p$ holds for each prime factor $p$, where $s_p(m)$ is the sum of…

Number Theory · Mathematics 2024-06-25 Bernd C. Kellner

We design new approximation algorithms for the Multiway Cut problem, improving the previously known factor of 1.32388 [Buchbinder et al., 2013]. We proceed in three steps. First, we analyze the rounding scheme of Buchbinder et al., 2013 and…

Data Structures and Algorithms · Computer Science 2014-05-13 Ankit Sharma , Jan Vondrák

For a Carmichael number $n$ with prime factors $p_1,\cdots,p_m$, define $$K=GCD[p_1-1,\cdots,p_m-1],$$ and let $C_\nu(X)$ denote the number of Carmichael numbers up to $X$ such that $K=\nu$. Assuming a strong conjecture on the first prime…

Number Theory · Mathematics 2024-10-29 Thomas Wright

We describe how the Hardy-Ramanujan-Rademacher formula can be implemented to allow the partition function $p(n)$ to be computed with softly optimal complexity $O(n^{1/2+o(1)})$ and very little overhead. A new implementation based on these…

Number Theory · Mathematics 2019-02-20 Fredrik Johansson

We prove that for each odd number k, the sequence (k2^n+1)_{n\ge 1} contains only a finite number of Carmichael numbers. We also prove that k=27 is the smallest value for which such a sequence contains some Carmichael number.

Number Theory · Mathematics 2013-05-16 Javer Cilleruelo , Florian Luca , Amalia Pizarro

We show that universal elliptic Carmichael numbers do not exist, answering a question of Silverman. Moreover, we show that the probability that an integer $n$, which is not a prime power, is an elliptic Carmichael number for a random curve…

Number Theory · Mathematics 2019-12-03 Jan-Christoph Schlage-Puchta

In this work we study two families of codes with availability, namely private information retrieval (PIR) codes and batch codes. While the former requires that every information symbol has $k$ mutually disjoint recovering sets, the latter…

Information Theory · Computer Science 2017-06-07 Hilal Asi , Eitan Yaakobi

Recent years have witnessed extensive attention in binary code learning, a.k.a. hashing, for nearest neighbor search problems. It has been seen that high-dimensional data points can be quantized into binary codes to give an efficient…

Computer Vision and Pattern Recognition · Computer Science 2016-11-22 Hong Liu , Rongrong Ji , Yongjian Wu , Feiyue Huang

This paper presents an enhancement to Grover's search algorithm for instances where the number of items (or the size of the search problem) $N$ is not a power of 2. By employing an efficient algorithm for the preparation of uniform quantum…

Quantum Physics · Physics 2025-06-06 Alok Shukla , Prakash Vedula

Let $S\subset R^n$ be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm which takes as input a polynomial system defining $S$ and…

Symbolic Computation · Computer Science 2023-06-12 Pierre Lairez , Marc Mezzarobba , Mohab Safey El Din

We show new lower bounds on the sample complexity of $(\varepsilon, \delta)$-differentially private algorithms that accurately answer large sets of counting queries. A counting query on a database $D \in (\{0,1\}^d)^n$ has the form "What…

Cryptography and Security · Computer Science 2018-10-25 Mark Bun , Jonathan Ullman , Salil Vadhan

Binary codes are widely used to represent the data due to their small storage and efficient computation. However, there exists an ambiguity problem that lots of binary codes share the same Hamming distance to a query. To alleviate the…

Computer Vision and Pattern Recognition · Computer Science 2020-06-12 Zhenyu Weng , Yuesheng Zhu

Multipoint polynomial evaluation and interpolation are fundamental for modern symbolic and numerical computing. The known algorithms solve both problems over any field of constants in nearly linear arithmetic time, but the cost grows to…

Numerical Analysis · Mathematics 2017-04-19 Victor Y. Pan

The PSLQ algorithm is one of the most popular algorithm for finding nontrivial integer relations for several real numbers. In the present work, we present an incremental version of PSLQ. For some applications needing to call PSLQ many…

Symbolic Computation · Computer Science 2014-03-18 Yong Feng , Jingwei Chen , Wenyuan Wu

Drawing on various notions from theoretical computer science, we present a novel numerical approach, motivated by the notion of algorithmic probability, to the problem of approximating the Kolmogorov-Chaitin complexity of short strings. The…

Information Theory · Computer Science 2015-03-13 Fernando Soler-Toscano , Hector Zenil , Jean-Paul Delahaye , Nicolas Gauvrit

This article proposes an PQR search method for probabilistic objects. The main idea of our method is to use a strategy called \textit{pre-approximation} that can reduce the initial problem to a highly simplified version, implying that it…

Databases · Computer Science 2018-07-04 Jack Wang

The purpose of this paper is the formal verification of a counterexample of Santos et al. to the so-called Hirsch Conjecture on the diameter of polytopes (bounded convex polyhedra). In contrast with the pen-and-paper proof, our approach is…

Logic in Computer Science · Computer Science 2023-01-11 Xavier Allamigeon , Quentin Canu , Pierre-Yves Strub