Related papers: Strong Pseudo Primes to Base 2
We introduce a definition of strong hyperbolicity for second order partial differential equations using second order pencils. We show that this definition is equivalent to the standard one, derived by reducing the equations to first order…
The Frobenius primality test is based on the properties of the Frobenius automorphism of the quadratic extension of the residue field. Although it is probabilistic, we show that is "very rarely wrong". To date there are no counterexamples…
In this paper, following the methods of http://arxiv.org/abs/1305.7449v2, we show that the double covering groups of the symmetric and alternating groups have p-basic sets for any odd prime p.
We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. The resulting logic can speak of consistency in more discriminating ways, but introduces new possibilities for trivializing paradoxes.
Higher-order exceptional points in the spectrum of non-Hermitian Hamiltonians describing open quantum or wave systems have a variety of potential applications in particular in optics and photonics. However, the experimental realization is…
The familiar second derivative test for convexity, combined with resolvent calculus, is shown to yield a useful tool for the study of convex matrix-valued functions. We demonstrate the applicability of this approach on a number of theorems…
We present a deterministic algorithm that, given a prime $p$ and a solution $x \in \mathbb Z$ to the discrete logarithm problem $a^x \equiv b \pmod p$ with $p\nmid a$, efficiently lifts it to a solution modulo $p^k$, i.e., $a^x \equiv b…
Let G be a finite group and let p be a prime. A module for G over a field of characteristic p is called algebraic if it satisfies a polynomial, with addition and multiplication given by direct sum and tensor product. In some sense, having…
We derive novel conditions that guarantee convergence of the Sum-Product algorithm (also known as Loopy Belief Propagation or simply Belief Propagation) to a unique fixed point, irrespective of the initial messages. The computational…
We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if…
We summarize some results in 4d, N=1 supersymmetric SU(2) gauge theories: the exact effective superpotentials, the vacuum structure, and the exact effective Abelian couplings for arbitrary bare masses and Yukawa couplings.
We present quantum circuits with a brick wall structure using the optimal number of parameters and two-qubit gates to parametrize $SU(2^n)$, and provide evidence that these circuits are universal for $n\leq 5$. For this, we successfully…
Changes of variables giving the dual model are constructed explicitly for sigma-models without isotropy. In particular, the jacobian is calculated to give the known results. The global aspects of the abelian case as well as some of those of…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
Proofs (sequent calculus, natural deduction) and imperative algorithms (pseudocodes) are two well-known coexisting concepts. Then what is their relationship? Our answer is that \[ imperative\ algorithms\ =\ proofs\ with\ cuts \] This…
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group…
We study additive properties of consecutive prime numbers and the primality of the sums they generate. For a given prime number $p_n$, we consider the sums \[ S_k(p_n) = p_n + p_{n+1} + \cdots + p_{n+k-1}, \] where $k \ge 3$ is an odd…
This note collects several results on the capability of $p$-groups of class two and prime exponent. Among the new results, we settle the 4-generator case for this class.
We give examples of pseudoconvex domains of finite type in $\mathbb{C}^2$ where the Kohn algorithm for subelliptic estimates fails to yield an effective lower bound for the order of subellipticity in terms of the type. We show how to modify…
Bases of finite-dimensional Hilbert spaces (in dimension d) of relevance for quantum information and quantum computation are constructed from angular momentum theory and su(2) Lie algebraic methods. We report on a formula for deriving in…