We prove lower bounds for the complexity of deciding several relations in imaginary, normEuclidean quadratic integer rings, where computations are assumed to be relative to a basis of piecewise-linear operations. In particular, we establish lower bounds for deciding coprimality in these rings, which yield lower bounds for gcd computations. In each imaginary, norm-Euclidean quadratic integer rin...

The task of determining the greatest common divisors (GCD) for several polynomials which arises in image compression, computer algebra and speech encoding can be formulated as a low rank approximation problem with Sylvester matrix. This paper demonstrates a method based on structured total least norm (STLN) algorithm for matrices with Sylvester structure. We demonstrate the algorithm to compute...

This paper describes the first algorithm to compute the greatest common divisor (GCD) of two n-bit integers using a modular representation for intermediate values U , V and also for the result. It is based on a reduction step, similar to one used in the accelerated algorithm [T. Jebelean, A generalization of the binary GCD algorithm, in: ISSAC ’93: International Symposium on Symbolic and Algebr...

where θ = 1 + √ d 2 if d mod 4 = 1 and θ = √ d if d mod 4 = 2, 3. The purpose of this paper is to compute the extended gcd of to quadratic integers in ring Z[θ]. We assume throughout that Z[θ] is principal ideal ring, but not necessarily an euclidean ring. If [a, b+ cθ] is the module {ax+(b+ cθ)y, x, y ∈ Z}, it can be shown [3] that I is an ideal of Z[θ] if and only if I = [a, b+ cθ]; where a, ...

In this correspondence, a new viewpoint is proposed for estimating an image from its distorted versions in presence of noise without the a priori knowledge of the distortion functions. In z-domain, the desired image can be regarded as the greatest common polynomial divisor among the distorted versions. With the assumption that the distortion filters are finite impulse response (FIR) and relativ...

BACKGROUND AND PURPOSE There is recent evidence of various types of morphological changes in the hippocampus of a rodent model of medial temporal lobe epilepsy (mTLE). However, little is known about such changes in humans. We examined the histological changes [i.e., neuronal loss, cell genesis, and granule cell dispersion (GCD)] in surgical hippocampal specimens taken from patients with mTLE. ...

Given two polynomials F and G in R[x1, . . . , xn], we are going to find the nontrivial approximate GCD C and polynomials F , G ∈ R[x1, . . . , xn] such that ||F − CF ′|| < and ||G − CG′|| < , for some and some well defined norm. Many papers 1,2,3,5,8,10,11,13,15 have already discussed the problem in the case n = 1. Few of them 2,10,11 mentioned the case n > 1. Approximate GCD computation of un...

We investigate how symmetry and topological order are coupled in the ${2+1}$d $\mathbb{Z}_{N}$ rank-2 toric code for general $N$, which is an exactly solvable point Higgs phase of a symmetric $U(1)$ gauge theory. The enriched present has non-trivial realization square-lattice translation (and rotation/reflection) symmetry, where anyons on different lattice sites have types belong to superselect...

A positive integer n is called cyclic if there is a unique group of order n, which is necessarily cyclic. Using a characterisation of the cyclic integers as those n satisfying gcd(n, φ(n)) = 1, P. Erdős (1947) proved that the number of cyclic integers n ≤ x is asymptotic to z(x) = e−γ x log log log x , as x→∞, where γ is Euler’s constant. An ordered pair of integers (m,n) is called singular if ...

Let A be a semigroup whose only invertible element is 0. For an A-homogeneous ideal we discuss the notions of simple i-syzygies and simple minimal free resolutions of R/I. When I is a lattice ideal, the simple 0-syzygies of R/I are the binomials in I. We show that for an appropriate choice of bases every A-homogeneous minimal free resolution of R/I is simple. We introduce the gcd-complex ∆gcd(b...