Related papers: Complete solving the quadratic equation mod $2^n$
Under the 3x+1 problem, classified the number into four kind by mod 4. The four kind number can form a cycle base on 3x+b1 problem. Base on this cycle, if the number of kind number is zero the 3x+1 will be proofed.
We study the Isomorphism of Polynomial (IP2S) problem with m=2 homogeneous quadratic polynomials of n variables over a finite field of odd characteristic: given two quadratic polynomials (a, b) on n variables, we find two bijective linear…
In the present work we show how different ways to solve biquadratic equations can lead us to different representations of its solutions. A particular equation which has the golden ratio and its reciprocal as solutions is shown as an…
Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2)…
We systematically investigate the complexity of counting subgraph patterns modulo fixed integers. For example, it is known that the parity of the number of $k$-matchings can be determined in polynomial time by a simple reduction to the…
We consider the problem of describing all non-negative integer solutions to a linear congruence in many variables. This question may be reduced to solving the congruence $x_1 + 2x_2 + 3x_3 + ... + (n-1)x_{n-1} \equiv 0 \pmod n$ where values…
We present a method to obtain congruences modulo powers of 2 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Fu\ss-Catalan numbers, and to subgroup counting functions…
InfoMod is a new software and application devoted to the modular group, PSL2(Z). It has algorithms that deals with the classical correspondences among continued fractions, geodesics on the modular surface and binary quadratic forms. In…
We calculate all symmetries of the Dirac-Pauli equation in two-dimensional and three-dimensional Euclidean space. Further, we use our results for an investigation of the issue of zero mode degeneracy. We construct explicitly a class of…
We show that a quartic $p$-adic form with at least $3192$ variables possesses a non-trivial zero. We also prove new results on systems of cubic, quadratic and linear forms. As an example, we show that for a system comprising two cubic forms…
Let $f(x_1,\ldots,x_n)$ be a regular indefinite integral quadratic form with $n\ge 9$, and let $t$ be an integer. It is established that $f(x_1,\ldots,x_n)=t$ has solutions in prime variables if there are no local obstructions.
The system of equations \[ u_1p_1^2 + \ldots + u_sp_s^2 = 0 \] \[ v_1p_1^3 + \ldots + v_sp_s^3 = 0 \] has prime solutions $(p_1, \ldots, p_s)$ for $s \geq 12$, assuming that the system has solutions modulo each prime $p$. This is proved via…
We obtained the formulas for the quantities of positive, negative and zero values of the Mobius function for any real x in terms of the Mobius function values for square root of x - similar to the identities we found earlier for the Mertens…
We analyze the problem of determining Waring decompositions of the powers of any quadratic form over the field of complex numbers. Our main goal is to provide information about their rank and also to obtain decompositions whose size is as…
The main outcomes of the paper are divided into two parts. First, we present a new dual for quadratic programs, in which, the dual variables are affine functions, and we prove strong duality. Since the new dual is intractable, we consider a…
A new type of exact solvability is reported. We study the general central polynomial potentials (with 2q anharmonic terms) which satisfy the Magyari's partial exact solvability conditions (this means that they possess a…
In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove…
Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example,…
This note shows that we can recover a complex vector x in C^n exactly from on the order of n quadratic equations of the form |<a_i, x>|^2 = b_i, i = 1, ..., m, by using a semidefinite program known as PhaseLift. This improves upon earlier…
The coordinate-free solutions of the multivector equation $ax+xb=c$ are discussed and presented for the Clifford algebras $Cl_{p,q}$ when $p+q\le 3$.