English
Related papers

Related papers: Novel performant primality test on a Pell's cubic

200 papers

In this note, we are going to introduce some recurrence divisibility tests for all primes except than 2 and 5.

General Mathematics · Mathematics 2007-05-23 Mehdi Hassani

A positive integer is expressed as a sum of squares of positive integers in a unique way applying a special technique. The expression, thus obtained is resolved into two factors using the concept of the Clifford algebra. This technique is…

General Mathematics · Mathematics 2012-09-19 Amitabha Chanda

As progress on experimental quantum processors continues to advance, the problem of verifying the correct operation of such devices is becoming a pressing concern. The recent discovery of protocols for verifying computation performed by…

Quantum Physics · Physics 2015-12-03 Michal Hajdušek , Carlos A. Pérez-Delgado , Joseph F. Fitzsimons

Verifying the quality of a random number generator involves performing computationally intensive statistical tests on large data sets commonly in the range of gigabytes. Limitations on computing power can restrict an end-user's ability to…

We established a physically utilizable Bell inequality based on the Peres-Horodecki criterion. The new quadratic probabilistic Bell inequality naturally provides us a necessary and sufficient way to test all entangled two-qubit or…

Quantum Physics · Physics 2007-06-22 Jing-Ling Chen , Ming-Guang Hu

This paper introduces an approach for detecting differences in the first-order structures of spatial point patterns. The proposed approach leverages the kernel mean embedding in a novel way by introducing its approximate version tailored to…

Methodology · Statistics 2020-06-15 Raif M. Rustamov , James T. Klosowski

A new integer deterministic factorization algorithm, rated at arithmetic operations to $O(N^{1/6+\varepsilon})$ arithmetic operations, is presented in this note. Equivalently, given the least $(\log N)/6$ bits of a factor of the balanced…

Data Structures and Algorithms · Computer Science 2022-04-25 N. A. Carella

We introduce a new deterministic factoring algorithm, which could be described in the cryptographically fashionable term of "factoring with hints": we show that, given the knowledge of the factorisations of $O(N^{1/3+\epsilon})$ terms…

Number Theory · Mathematics 2017-08-09 Francesco Sica

Probabilistic independence is a useful concept for describing the result of random sampling---a basic operation in all probabilistic languages---and for reasoning about groups of random variables. Nevertheless, existing verification methods…

Programming Languages · Computer Science 2020-07-21 Gilles Barthe , Justin Hsu , Kevin Liao

Bell experiments can be used to generate private random numbers. An ideal Bell experiment would involve measuring a state of two maximally entangled qubits, but in practice any state produced is subject to noise. Here we consider how the…

Quantum Physics · Physics 2014-12-12 Jean-Daniel Bancal , Valerio Scarani

Quantum logic gates can perform calculations much more efficiently than their classical counterparts. However, the level of control needed to obtain a reliable quantum operation is correspondingly higher. In order to evaluate the…

Quantum Physics · Physics 2009-11-13 Holger F. Hofmann , Ryo Okamoto , Shigeki Takeuchi

Mutation testing is a widely recognized technique for assessing and enhancing the effectiveness of software test suites by introducing deliberate code mutations. However, its application often results in overly large test suites, as…

Software Engineering · Computer Science 2025-05-12 Mohamed Salah Bouafif , Mohammad Hamdaqa , Edward Zulkoski

Simulation-based calibration (SBC) is a method for validating inference algorithms and model implementations through repeated inference on data simulated from a generative model. For a model to be generative, one must specify proper priors.…

Methodology · Statistics 2025-05-26 Luna Fazio , Maximilian Scholz , Javier Enrique Aguilar , Paul-Christian Bürkner

For an elliptic curve with CM by $K$ defined over its Hilbert class field, $E/H$, we extend Lenstra's finite fields test to generators of norms of certain ideals in $\mathcal{O}_H$, yielding a sufficient $\widetilde{O}(\log^3 N)$ primality…

Number Theory · Mathematics 2022-12-23 Tejas Rao

We give Deterministic Primality tests for large families of numbers. These tests were inspired in the recent and celebrated Agrawal-Kayal-Saxena (AKS) test. The AKS test has proved polynomial complexity O ((log n)^12) and they expect it to…

Number Theory · Mathematics 2007-05-23 Pedro Berrizbeitia

In many simple integral domains, such as $\mathbb{Z}$ or $\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact…

Logic · Mathematics 2018-05-23 Damir D. Dzhafarov , Joseph R. Mileti

The goal of self-testing is to characterize an a priori unknown quantum system based solely on measurement statistics, i.e. using an uncharacterized measurement device. Here we develop self-testing methods for quantum prepare-and-measure…

Quantum Physics · Physics 2018-12-10 Armin Tavakoli , Jędrzej Kaniewski , Tamás Vértesi , Denis Rosset , Nicolas Brunner

In Wilson's Theorem the primality of a number hinges on a congruence. We present a similar test where the primality of a number m hinges, instead, on the indivisibility of 4(m-5)! by m. One implication of this theorem is a necessary and…

Number Theory · Mathematics 2009-12-04 M. Chaves

Genuine randomness can be certified from Bell tests without any detailed assumptions on the working of the devices with which the test is implemented. An important class of experiments for implementing such tests is optical setups based on…

We analyze algorithms for computing the $n$th prime $p_n$ and establish asymptotic bounds for several approaches. Using existing results on the complexity of evaluating the prime-counting function $\pi(x)$, we show that the binary search…

Number Theory · Mathematics 2025-10-21 Ansh Aggarwal