Annals of Mathematics and Physics
Independent Researcher, Nantes, France
Cite this as
Bahbouhi B. A Logarithmic Window Algorithm for Constructive Goldbach Representations near the Centre of Large Even Integers. Ann Math Phys. 2026;9(4):200-214. Available from: 10.17352/amp.000194
Copyright License
© 2026 Bahbouhi B. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Goldbach's conjecture remains one of the oldest unsolved problems in number theory despite substantial theoretical and computational progress over the last three centuries. Classical computational approaches generally rely on exhaustive searches over large portions of the interval [2, E/2], making their complexity increase rapidly with the size of the even integer E. In this work, we introduce a new constructive algorithm based on a centre-deviation representation of Goldbach pairs. Instead of scanning the entire search interval, the proposed method investigates only a logarithmic neighbourhood centred at E/2. Candidate prime pairs are generated according to E = (H − t) + (H + t), where H = E/2 and t denotes the deviation from the centre. The search window is restricted to W = C(log E)^2, where C is an experimentally determined constant.
The proposed framework transforms the classical additive formulation of Goldbach's conjecture into a symmetric search problem around the centre of the even integer. Experimental computations demonstrate that the logarithmic window is sufficient to recover Goldbach representations for a wide range of tested integers, including examples exceeding 10^1300. The algorithm is combined with deterministic primality certification for moderate-size integers and ECPP certification for very large integers.
A theoretical analysis of the computational complexity is presented and compared with brute-force approaches and previously reported computational strategies. Several graphical representations illustrate the geometric interpretation of the method, the logarithmic search window, the distribution of deviations, and the computational gains obtained. Although no proof of Goldbach's conjecture is claimed, the results strongly suggest that symmetric logarithmic neighbourhoods constitute a remarkably efficient region for locating Goldbach representations.
Since its formulation in 1742, Goldbach's conjecture has remained one of the most influential open problems in additive number theory. It states that every even integer greater than two can be expressed as the sum of two prime numbers. Despite enormous progress in analytic number theory, sieve methods, computational verification, and prime distribution theory, a complete proof has not yet been established [1-13].
Several major theoretical advances have considerably strengthened our understanding of the conjecture. Hardy and Littlewood developed their celebrated Circle Method, providing asymptotic formulas describing the expected number of Goldbach representations for sufficiently large even integers [1]. Vinogradov proved that every sufficiently large odd integer can be represented as the sum of three prime numbers [14]. Chen subsequently established that every sufficiently large even integer is representable as the sum of one prime and one almost-prime containing at most two prime factors [15]. These milestones constitute the theoretical foundation of modern additive number theory.
Parallel to these theoretical developments, remarkable computational achievements have extended the verified range of Goldbach's conjecture to extraordinarily large integers through exhaustive computation and distributed prime databases [16,17]. Modern verification algorithms combine efficient segmented sieves, large-scale prime tables, and advanced primality tests to confirm Goldbach representations over vast numerical domains.
Nevertheless, from an algorithmic point of view, most computational methods still rely on examining a substantial fraction of all admissible prime candidates below E/2. Consequently, the computational effort generally increases with the magnitude of the target even integer, motivating the search for more localised strategies capable of reducing the search domain while preserving a high probability of success.
The present work proposes such an alternative computational framework. Instead of viewing Goldbach's conjecture as an unrestricted additive decomposition, we reformulate it as a symmetric search problem centred at the midpoint H = E/2.
Every Goldbach representation may then be written uniquely as E = (H − t) + (H + t), where t represents the deviation from the centre. This simple reformulation, illustrated in Figure 1, transforms the problem into the search for a suitable deviation rather than an unrestricted search over the entire interval.
The principal hypothesis investigated in this article is that successful Goldbach representations are concentrated inside a logarithmic neighbourhood around the centre. More precisely, we investigate the computational efficiency of restricting the search to a window of width W = C(log E)^2, thereby reducing the search space dramatically compared with classical exhaustive methods. The complete algorithmic framework is summarised in Figure 2, while Figure 3 presents an initial comparison with brute-force search.
Extensive computational experiments indicate that this logarithmic window successfully identifies Goldbach representations for all tested examples, including integers of several hundred and even more than one thousand decimal digits. Representative certified examples are listed in Tables 1 and 2, whereas the distribution of the observed deviations is summarised in Table 3. A comparison of the proposed algorithm with classical computational strategies is provided in Table 4, and additional certified prime pairs obtained during this study are presented in Table 5.
The graphical analyses shown in Figures 4–10 further illustrate the empirical behaviour of the logarithmic search window, including the observed deviation distribution, success rate, computational complexity, number of primality tests, and comparisons with brute-force and previously published computational approaches.
The objective of this article is therefore not to propose a proof of Goldbach's conjecture but rather to introduce a computational methodology that substantially reduces the effective search domain while maintaining excellent empirical performance over an exceptionally broad numerical range. The proposed centre-deviation formulation may also provide a useful framework for future theoretical investigations concerning the geometric structure of Goldbach representations and the distribution of symmetric prime pairs.
Goldbach's conjecture states that every even integer E > 2 can be expressed as the sum of two prime numbers, E = p + q, where both p and q are prime. Traditionally, computational algorithms search for candidate primes beginning from the smallest prime and progressively increasing until E/2, or by traversing the complete list of primes less than E. Although this strategy has proved extremely successful for computational verification [16,17], its computational cost inevitably increases with the size of the interval being explored.
The principal objective of the present work is therefore to reformulate the problem in a manner that naturally reduces the search space while preserving every possible Goldbach representation.
Every even integer admits a unique midpoint
H = E / 2
Any Goldbach decomposition may therefore be rewritten uniquely as p = H − t q = H + t, where t is a positive integer measuring the deviation from the centre.
Consequently,
E = (H − t) + (H + t).
This identity, illustrated in Figure 1, transforms Goldbach's conjecture into a symmetric search problem centred on H rather than an additive decomposition over a large interval.
Unlike the classical formulation, the two candidate primes are generated simultaneously, preserving perfect symmetry with respect to the midpoint.
This simple change of viewpoint constitutes the mathematical basis of the proposed algorithm.
For every even integer E = 2H, we define the Goldbach deviation as the distance separating the two primes from the centre.
The set of all admissible deviations is
T(H) = { t ≥ 1 such that H − t and H + t are both prime }.
Whenever Goldbach's conjecture holds, T(H) is non-empty.
The smallest admissible deviation is then defined as g(H) = min T(H).
The function g(H) becomes the central mathematical object of the present study. Instead of asking
"Can E be decomposed into two primes?"
we ask
"How far from the centre must one move before encountering the first symmetric prime pair?"
This reformulation considerably simplifies both the geometric interpretation and the computational search.
Figure 1 provides a geometric visualisation of the proposed representation.
The centre H remains fixed while the deviation t expands symmetrically in both directions. Each candidate corresponds to one symmetric interval [H − t , H + t]. As t increases, the algorithm explores larger concentric neighbourhoods around the centre until both endpoints become prime.
Unlike exhaustive algorithms, which progressively examine almost every prime below E/2, the proposed method explores only symmetric neighbourhoods centred on H.
This interpretation immediately suggests the possibility that only a relatively small neighbourhood around the centre may be sufficient in practice.
The representation possesses several immediate mathematical properties.
Proposition 1.
Every Goldbach representation corresponds to one and only one deviation t.
Proof.
Assume
E = p + q with p ≤ q. Setting H = E/2 gives t = q − H = H − p, which is uniquely determined. Conversely, each positive integer t uniquely generates (H − t , H + t).
Therefore, the correspondence is one-to-one.
Proposition 2.
The search space becomes one-dimensional.
Instead of searching simultaneously over two unknown primes, only the deviation t remains unknown. Thus, every candidate pair is generated by a single integer parameter.
This property substantially simplifies algorithmic implementation.
Proposition 3.
Every candidate automatically satisfies p + q = E.
Unlike classical algorithms, no additional verification of the sum is required.
Only primality testing remains necessary.
The above reformulation immediately changes the computational strategy.
Traditional methods search over candidate primes.
The proposed method searches over deviations.
This distinction is fundamental.
The algorithm generates candidate pairs by increasing values of t, rather than increasing values of p. Consequently, the computational complexity becomes directly related to the maximal deviation explored rather than to the magnitude of E itself.
This observation motivates the logarithmic search window introduced in the next section.
Previous computational verifications of Goldbach's conjecture have primarily relied upon exhaustive searches over extensive prime tables or segmented sieve techniques [16-23].
Although these methods remain extraordinarily efficient for large-scale verification, they generally inspect a substantial fraction of all admissible prime candidates below E/2.
The centre-deviation formulation does not replace these classical methods.
Instead, it provides an alternative parameterisation of the search space in which candidate generation becomes naturally localised around the midpoint.
The resulting logarithmic-window strategy, introduced in Section 3, exploits this localisation to reduce the effective number of candidate pairs requiring primality testing.
The centre-deviation representation constitutes the mathematical foundation of the proposed algorithm.
It replaces the classical additive formulation by a symmetric geometric formulation centred on H = E/2.
The introduction of the Goldbach deviation function g(H) transforms Goldbach's conjecture into the search for the smallest symmetric deviation producing two simultaneous primes.
This representation underlies all subsequent algorithmic developments, complexity analyses, computational experiments, and graphical illustrations presented throughout the remainder of this paper. Figures 1–3 provide the conceptual and algorithmic overview of this formulation, while the experimental consequences are examined in Figures 4–10 and Tables 1–5. The following section introduces the logarithmic-window search strategy built upon this representation.
The principal limitation of traditional computational approaches to Goldbach's conjecture lies in the size of the search interval. For an even integer E, conventional algorithms generally inspect a large proportion of all primes between 2 and E/2. Although sophisticated sieving techniques considerably accelerate this process [16-19], the search interval itself remains proportional to the magnitude of E.
The central idea of the present work is that such an extensive exploration may not be necessary. Instead of examining the entire interval, we investigate only a narrow neighbourhood centred at H = E/2.
The algorithm therefore exploits the centre-deviation representation introduced in the previous section and searches only within a logarithmically growing interval.
This concept is illustrated schematically in Figure 2, while its computational implications are compared with classical exhaustive methods in Figure 3.
Let
H = E/2.
Instead of allowing the deviation t to increase indefinitely, the search is restricted to the interval
1 ≤ t ≤ W(E ) where
W(E) = C(log E)² and C denotes a positive empirical constant. The proposed search window therefore becomes [H − W(E), H + W (E)].
Unlike classical algorithms, whose search interval grows proportionally to E, the proposed window grows only as the square of the logarithm of E. Consequently, even for integers containing hundreds or thousands of decimal digits, the effective search interval remains remarkably small.
This geometric interpretation is illustrated in Figure 1.
For every admissible deviation t = 1,2,3,…, W(E), the algorithm generates the symmetric pair p = H − t q = H + t. Because p + q = E holds identically, no verification of the sum is required.
Only the primality of p and q must be tested.
This property immediately reduces the computational burden compared with unrestricted additive searches.
Before performing expensive primality tests, several elementary arithmetic filters eliminate impossible candidates.
Parity Filter
Since every prime larger than two is odd, both p and q must be odd. Consequently, only deviations compatible with the parity of H are examined.
This immediately removes approximately half of all candidate deviations.
Small Prime Filters
The algorithm next eliminates every deviation satisfying H − t ≡ 0 (mod r) or
H + t ≡ 0 (mod r) for small primes
r = 3, 5, 7, 11, 13, …
These modular conditions eliminate large fractions of composite candidates before any primality testing is performed.
The filtering strategy substantially reduces the total number of expensive primality evaluations and is summarised in Figure 2.
Experimental computations suggest that some deviations appear considerably more frequently than others.
Among the recurrent values observed throughout this study are
105,
210,
315,
420,
525,
630, 735, and several related multiples.
Their observed frequencies are summarised in Table 3.
Consequently, candidate deviations may optionally be explored according to a priority ranking rather than simple numerical order.
This heuristic does not modify the correctness of the algorithm.
Its only objective is to reduce the average search time.
Whenever a candidate pair survives all modular filters, both numbers are submitted to primality testing.
Depending on the size of the integer, several complementary procedures may be employed. For moderate-size integers, deterministic primality testing is sufficient [24]. For larger integers, probabilistic Miller–Rabin screening [25,26] is followed by deterministic certification whenever required.
For the largest examples presented in this work, including integers exceeding one thousand decimal digits, ECPP certification was employed to obtain complete primality certificates. Representative certified examples are listed in Tables 1, 2, and 5.
The complete algorithm may be summarised as follows.
Algorithm 1. Logarithmic Window Goldbach Search
Input
An even integer E.
Output
A Goldbach representation E = p + q.
Step 1
Compute H = E/2.
Step 2
Compute
W(E) = C(log E)².
Step 3
Generate admissible deviations t = 1,…,W(E).
Step 4
Apply parity filtering.
Step 5
Apply modular elimination for small primes.
Step 6: Generate p = H − t and q = H + t.
Step 7
Perform primality testing.
Step 8
If both numbers are prime, return
(p,q) and terminate. Otherwise, continue.
The algorithmic flow is illustrated graphically in Figure 2.
Several important observations immediately follow. First, the search domain depends only upon
(log E)², not upon E itself. Second, candidate generation is entirely deterministic. Third, every generated pair automatically satisfies Goldbach's additive constraint. Finally, only a relatively small number of primality tests is typically required.
These characteristics distinguish the proposed approach from classical exhaustive searches.
A qualitative comparison with brute-force methods, segmented sieves, and previously reported computational strategies is presented in Table 4, while quantitative comparisons are illustrated in Figures 7–10.
The choice of the logarithmic window was not made arbitrarily.
It emerged from extensive computational experiments performed over integers ranging from ordinary machine-size values to numbers containing more than one thousand decimal digits.
For all examples reported in this study, the first certified Goldbach representation was successfully located inside the proposed logarithmic neighbourhood.
The certified examples reported in Tables 1, 2, and 5 include representations for integers up to approximately 10¹³⁰⁰, providing strong experimental support for the efficiency of the proposed search strategy.
Although these computations do not constitute a mathematical proof of Goldbach's conjecture, they strongly motivate the theoretical investigation of logarithmic search windows, which is developed in the following section.
The logarithmic search window introduced in the previous section constitutes the central hypothesis underlying the proposed algorithm. Unlike classical exhaustive methods, which investigate an interval whose length is proportional to E, the present approach restricts the search to a symmetric neighbourhood whose size increases only as W(E) = C(log E)².
The remarkable empirical success of this strategy naturally raises an important theoretical question:
Why should such a remarkably small neighbourhood be sufficient to locate Goldbach representations?
Although a complete mathematical proof is presently unavailable, several fundamental results from analytic number theory strongly suggest that a logarithmic window is a natural computational domain rather than an arbitrary empirical choice.
The objective of this section is therefore to explain why the proposed logarithmic neighbourhood is consistent with classical prime distribution theory.
The Prime Number Theorem states that the density of prime numbers near a large integer x satisfies π( x) ~ x / log(x), or equivalently,
Probability(x is prime) ≈ 1 / log(x) for sufficiently large x [8,11,13,27-29].
Near the center H = E/2, both candidate integers H − t and H + t lie essentially at the same scale. Therefore, their individual probabilities of primality are approximately 1 / log(H ).
Assuming approximate statistical independence (the standard Hardy–Littlewood heuristic), the probability that both numbers are simultaneously prime becomes approximately.
1 /(log(H))².
This simple observation immediately explains why the expected number of Goldbach pairs inside an interval of length L is proportional to L / (log(H))².
Hardy and Littlewood developed a celebrated asymptotic formula describing the expected number of Goldbach representations of large even integers [1]. Ignoring lower-order corrections, their heuristic predicts
Expected representations ≈ Constant × H / (log(H))².
Our algorithm investigates only a very small neighbourhood around the centre rather than the entire interval.
Consequently, the expected number of representations inside a window of length L becomes approximately Expected local representations ≈ Constant × L / (log(H))².
Choosing L = C(log(H))² therefore yields
Expected local representations ≈ Constant × C.
This observation is extremely important.
It suggests that the expected number of Goldbach representations inside the logarithmic window no longer decreases as H increases. Instead, the expectation remains approximately constant.
This theoretical argument provides the principal mathematical motivation for the proposed logarithmic search window.
The figure illustrates this heuristic behaviour schematically.
Every candidate automatically satisfies p + q = E. Consequently, the search problem reduces to finding an admissible deviation t.
The logarithmic window therefore becomes H − C(log(H))² ≤ p ≤ H + C(log(H))².
Figure 5 illustrates this geometric interpretation. Rather than expanding linearly, the search region grows extremely slowly with increasing E.
Suppose E contains N decimal digits. Then log(E) is proportional to N. Consequently, the search window grows approximately as N², whereas exhaustive algorithms investigate intervals proportional to 10ᴺ. The computational difference is therefore enormous.
This comparison is illustrated quantitatively in Figures 7 and 8, where the logarithmic-window algorithm is compared with brute-force enumeration and conventional exhaustive searches.
The corresponding complexity comparison is summarised in Table 4.
Extensive numerical computations performed throughout this study consistently located Goldbach representations inside the logarithmic window.
Representative examples include integers containing hundreds, one thousand, and more than one thousand decimal digits.
Several examples exceeding
101300 are reported in Tables 1, 2, and 5.
Although experimental verification cannot constitute a proof, the remarkable stability of these observations strongly supports the practical relevance of the logarithmic neighbourhood. Furthermore, the deviations observed throughout the computations are far from uniformly distributed. Instead, certain deviations recur with unusually high frequency.
These recurrent deviations are summarised in Table 3 and graphically illustrated in Figure 6.
Large-scale computational verifications by Oliveira e Silva and collaborators relied upon exhaustive enumeration supported by distributed computation and highly optimised prime tables [16,17].
The present approach differs fundamentally. Rather than accelerating exhaustive search, it attempts to reduce the search interval itself. Consequently, the proposed algorithm should be regarded as complementary rather than competitive with previous verification projects.
Large-scale verification demonstrates that Goldbach holds over enormous numerical domains.
The logarithmic-window algorithm attempts to explain why a comparatively tiny neighbourhood around the centre frequently appears sufficient to locate a representation.
Despite the encouraging theoretical arguments presented above, an important distinction must be emphasised.
The Hardy–Littlewood formula provides an expected average number of representations.
It does not prove that every individual even integer possesses a Goldbach representation inside a logarithmic window.
Consequently, the arguments developed in this section remain heuristic.
The empirical success of the algorithm strongly motivates this hypothesis, but a rigorous proof would require establishing that for every sufficiently large even integer E, at least one Goldbach pair lies inside a window of width C(log(E))².
Establishing such a theorem remains an open mathematical problem.
The logarithmic-window algorithm is supported by several complementary observations.
The Prime Number Theorem predicts that prime density decreases only logarithmically.
The Hardy–Littlewood heuristic predicts that the expected number of Goldbach representations inside a logarithmic neighbourhood remains approximately constant.
Extensive computational experiments reported in this work are fully consistent with these theoretical expectations. Taken together, these results suggest that logarithmic neighbourhoods constitute natural computational domains for locating Goldbach representations.
One of the principal motivations behind the proposed logarithmic-window algorithm is the reduction of the effective search space required to locate Goldbach representations. Classical computational approaches generally examine a substantial portion of all candidate primes below E/2, whereas the present method investigates only a narrow symmetric neighbourhood around the centre of the even integer.
The purpose of this section is to compare the computational characteristics of the proposed method with those of conventional exhaustive searches and previously published computational strategies. The comparisons presented here are summarised graphically in Figures 7–10, while the principal complexity estimates are reported in Table 4.
The simplest algorithm proceeds by examining every prime p ≤ E/2 until q = E − p is also prime. Ignoring implementation details, the search interval grows proportionally to E/2. Consequently, the computational effort increases rapidly with the magnitude of the target integer.
Although modern segmented sieves considerably accelerate prime generation, the search interval itself remains proportional to E [16-18].
For integers containing hundreds or thousands of decimal digits, exhaustive exploration rapidly becomes computationally demanding.
The proposed algorithm searches only inside W(E) = C(log E)².
Therefore, the number of candidate deviations examined before primality testing is proportional to
(log E)² rather than E.
This reduction is enormous. For example, an integer containing one thousand decimal digits possesses approximately 2302 natural logarithmic units, yielding a logarithmic window containing only a few million candidate deviations, whereas exhaustive search would theoretically involve numbers of size approximately 10¹⁰⁰⁰.
The difference between both search spaces is illustrated in Figure 7.
The theoretical search window represents only the initial candidate set. Before any primality test is performed, the algorithm successively eliminates candidates divisible by small prime numbers.
Parity immediately removes approximately one half of all deviations.
The filters associated with 3, 17, 5, 7, 11, 13, 17, and additional small primes eliminate a substantial fraction of the remaining candidates. Consequently, only a comparatively small subset reaches the primality testing stage. The corresponding reduction of the effective candidate population is illustrated in Figure 8.
After modular elimination, each surviving candidate pair undergoes primality verification. For moderate-size integers, deterministic primality testing is sufficient [24]. For larger integers, probabilistic Miller–Rabin screening [25,26] provides extremely rapid rejection of composite numbers. Whenever complete certification is required, Elliptic Curve Primality Proving (ECPP) produces deterministic certificates suitable for publication and independent verification [30]. The computational cost therefore depends primarily upon the number of surviving candidates rather than upon the size of the original search interval.
Segmented sieve algorithms remain among the most efficient techniques for generating large collections of prime numbers [18,19,21].
Their principal objective is to produce complete prime tables over large intervals.
The proposed algorithm follows a different philosophy. Rather than generating every prime, it directly constructs candidate Goldbach pairs centred on H = E/2. Consequently, large portions of the search interval are never explored. This distinction is summarised in Table 4. 18 5.7 Comparison with Large-Scale Computational Verification The celebrated computations of Oliveira e Silva and collaborators verified Goldbach's conjecture over extraordinarily large numerical ranges using distributed computation, optimised sieving, and massive prime databases [16,17]. These achievements constitute one of the greatest computational successes in additive number theory.
The objective of the present algorithm is fundamentally different. Rather than extending the verification limit, the proposed method attempts to reduce the number of candidate pairs requiring examination. Accordingly, the proposed logarithmic-window algorithm should be regarded as complementary to exhaustive verification rather than a replacement for it. The qualitative comparison between both approaches is illustrated in Figures 9 and 10.
The computational experiments reported throughout this work indicate that the logarithmic-window algorithm consistently identifies Goldbach representations using only a very small fraction of the candidate space explored by brute-force search. Representative certified examples are presented in Tables 1, 2, and 5. The observed deviations are summarised in Table 3.
Although the exact number of primality tests depends upon the particular even integer considered, the total computational effort remains dramatically smaller than exhaustive exploration. The performance curves shown in Figures 7–10 illustrate this reduction.
One particularly attractive characteristic of the proposed method is its scalability. As the magnitude of the target integer increases, the logarithmic search window expands only quadratically with log(E). Consequently, the growth of the search interval remains extremely slow compared with exhaustive algorithms.
This property explains why the same computational framework successfully handled integers ranging from ordinary machine precision to examples exceeding 10¹³⁰⁰, whose certified Goldbach representations are reported in this study.
Several practical advantages emerge from the proposed approach. First, the search interval remains remarkably small. Second, candidate generation is deterministic and entirely symmetric. Third, the additive constraint p + q = E is automatically satisfied. Fourth, modular filtering removes the overwhelming majority of composite candidates before expensive primality tests are required. Finally, the algorithm naturally supports parallel computation because different deviation intervals may be explored independently.
These properties make the method particularly attractive for investigations involving extremely large even integers.
Despite the significant computational reduction achieved, the present algorithm does not constitute a proof that every Goldbach representation must occur inside a logarithmic window.
Its complexity analysis describes the behaviour of the search procedure, not the mathematical validity of the underlying logarithmic-window hypothesis. Consequently, the computational success reported here should be interpreted as strong experimental evidence rather than a proof of Goldbach's conjecture.
The proposed logarithmic-window algorithm substantially reduces the effective search domain compared with classical exhaustive methods.
By combining centre-deviation symmetry, modular elimination, and modern primality testing, the algorithm efficiently identifies Goldbach representations while examining only a logarithmically growing neighbourhood around the centre of the even integer.
The comparisons presented in Figures 7–10 and Table 4 demonstrate the practical computational advantages of the proposed methodology.
The primary objective of the present work is to evaluate the practical performance of the proposed logarithmic-window algorithm over a broad numerical range extending from ordinary machine-size integers to extremely large numbers containing several hundred or even more than one thousand decimal digits.
Unlike theoretical investigations, the present section focuses on experimentally certified Goldbach representations obtained using the centre-deviation algorithm described in Sections 2–5. Every reported Goldbach pair satisfies E = p + q where both p and q have been independently verified using modern primality-testing procedures. Moderate-size integers were certified using deterministic primality tests, whereas the largest examples were validated using Elliptic Curve Primality Proving (ECPP). The complete list of representative examples is summarised in Tables 1, 2, and 5.
For each selected even integer E, the following procedure was
applied:
The complete workflow is illustrated in Figure 2.
The algorithm successfully identified Goldbach representations for all investigated examples.
The experiments include:
Representative certified pairs are listed in Table 5, while the largest examples are summarised in Table 2.
These computations demonstrate that the proposed logarithmic-window algorithm remains effective over an exceptionally broad numerical range.
One of the most interesting observations concerns the values of the Goldbach deviation t.
Rather than appearing uniformly distributed, certain deviations recur with remarkable frequency.
Among the most frequently observed deviations are:
Their observed frequencies are summarised in Table 3.
The corresponding graphical representation is provided in Figure 6.
This recurrent behaviour motivated the introduction of the concept of recurrent Goldbach deviations, which will be investigated in future theoretical work.
Particular attention was devoted to extremely large integers.
The proposed method successfully produced certified Goldbach pairs for integers containing hundreds and, in several cases, more than one thousand decimal digits.
Among the largest certified examples investigated during this study are integers near:
These examples demonstrate that the logarithmic-window approach remains computationally practical even when exhaustive search would be infeasible.
Figures 7-10 compare the proposed algorithm with brute-force search and conventional computational strategies.
The comparisons highlight:
The corresponding numerical comparison is summarised in Table 4.
Although the present experiments cannot establish a mathematical proof of Goldbach's conjecture, they provide strong computational evidence supporting the efficiency of symmetric logarithmic search neighbourhoods.
The repeated success of the algorithm over integers spanning several orders of magnitude suggests that Goldbach representations frequently occur remarkably close to the centre of the even integer.
This empirical observation motivates further theoretical investigation into the logarithmic-window hypothesis introduced in Section 4.
The experimental results demonstrate that the proposed algorithm successfully identifies certified Goldbach representations across a very broad numerical range while exploring only a logarithmically growing search interval.
The observed recurrence of certain deviations and the consistently successful localisation of Goldbach pairs inside the logarithmic window constitute the principal computational findings of the present work. Observations naturally lead to the broader theoretical questions discussed in the final sections of this paper.
Most computational investigations of Goldbach's conjecture rely on exhaustive exploration of prime numbers up to E/2, supported by highly optimised segmented sieves and distributed computation [16-19]. These methods have achieved spectacular computational verifications over extremely large numerical domains and remain the reference standard for large-scale validation.
The algorithm proposed in the present work follows a fundamentally different philosophy.
Instead of accelerating exhaustive exploration, the search interval itself is drastically reduced by exploiting the symmetry naturally induced by the centre H = E/2.
Every candidate pair automatically satisfies E = (H − t) + (H + t), leaving primality as the only remaining verification.
This transformation reduces the search from a two-variable additive problem to a one-dimensional deviation problem.
One of the principal observations emerging from the present investigation is the remarkable effectiveness of restricting the search to a logarithmic neighbourhood centred on H.
Theoretical arguments based on the Prime Number Theorem [8,11,13,27], together with the Hardy–Littlewood heuristic [1], suggest that the expected number of Goldbach representations inside a window proportional to C(log E)² remains approximately constant.
Although this observation does not constitute a proof, it provides a plausible explanation for the consistently successful numerical experiments reported in Section 6.
The computational achievements of Oliveira e Silva and collaborators [25,26] established one of the largest verifications ever performed for Goldbach's conjecture.
Their objective was exhaustive confirmation over massive numerical intervals.
The objective of the present work is different.
Rather than increasing the verification limit, the proposed algorithm investigates whether Goldbach representations may be located efficiently inside a much smaller search region.
Consequently, both approaches should be regarded as complementary.
The present method may therefore be viewed as a constructive search strategy rather than an exhaustive verification algorithm.
Several characteristics distinguish the proposed algorithm.
First, the search interval grows only logarithmically with the size of the target integer.
Second, every generated candidate automatically satisfies the additive constraint.
Third, modular filtering substantially reduces the number of expensive primality tests.
Fourth, the algorithm naturally supports deterministic certification by ECPP for extremely large integers.
Finally, the computational experiments suggest that symmetric neighbourhoods around the centre possess a surprisingly rich concentration of Goldbach representations.
Despite the encouraging computational results, several limitations must be acknowledged.
The present work does not establish a proof that every Goldbach representation necessarily lies inside a logarithmic window.
The theoretical justification developed in Section 4 remains heuristic and is largely motivated by classical asymptotic results.
Furthermore, although all reported examples were successfully verified, computational validation— even for extremely large integers—cannot replace a mathematical proof.
Consequently, the logarithmic-window hypothesis should presently be regarded as an experimentally supported conjectural framework requiring further theoretical investigation.
The logarithmic-window formulation introduced in this work opens several promising directions for future research.
The first concerns the mathematical justification of the logarithmic window itself.
A rigorous proof establishing that every sufficiently large even integer possesses a Goldbach representation inside a window of width C(log E)² would immediately imply Goldbach's conjecture.
Whether such a theorem can be established remains an open question. A second research direction concerns the function g(H), defined as the smallest deviation producing a symmetric Goldbach representation.
The statistical behaviour of this function may reveal new information concerning the local geometry of prime numbers around the centre of even integers.
Preliminary computational evidence obtained during the present investigation suggests that certain deviations recur much more frequently than others.
This phenomenon motivates the study of recurrent Goldbach deviations, which may constitute a new arithmetic object worthy of independent investigation.
A third direction concerns the relationship between recurrent Goldbach deviations and classical conjectures regarding prime gaps.
Although no formal connection has yet been established, the observed recurrence of particular deviations suggests that the distribution of symmetric prime pairs deserves further analytical investigation.
Future work will therefore focus on the development of a theoretical framework capable of explaining these recurrent deviations and their possible relation to the global distribution of prime numbers.
Finally, the proposed algorithm may find applications beyond Goldbach's conjecture, including constructive searches for symmetric prime configurations, computational additive number theory, and the exploration of large prime constellations [31-51].
This paper introduced a new computational framework for constructing Goldbach representations based on a centre-deviation formulation of even integers.
Instead of exploring the entire interval below E/2, the proposed algorithm investigates only a logarithmic neighbourhood centred on H = E/2.
The resulting search strategy transforms the classical additive formulation of Goldbach's conjecture into a one-dimensional symmetric deviation problem.
A theoretical motivation for the logarithmic search window was presented using classical results from analytic number theory, including the Prime Number Theorem and the Hardy–Littlewood heuristic.
Although these arguments do not constitute a proof of Goldbach's conjecture, they provide a natural explanation for the effectiveness of the proposed computational strategy.
Extensive computational experiments demonstrated the practical efficiency of the algorithm over an exceptionally broad numerical range, including certified Goldbach representations for integers containing more than one thousand decimal digits.
Comparisons with brute-force search and previous computational approaches indicate that the proposed method substantially reduces the effective search interval while maintaining excellent, empirical performance.
The present work therefore contributes a new constructive algorithm together with a geometric interpretation of Goldbach representations centred on the midpoint of even integers.
The logarithmic-window hypothesis and the observed recurrence of Goldbach deviations constitute promising directions for future theoretical investigation.
It is hoped that the ideas developed here may stimulate further research toward a deeper understanding of the computational and mathematical structure underlying Goldbach's conjecture.

PTZ: We're glad you're here. Please click "create a new query" if you are a new visitor to our website and need further information from us.
If you are already a member of our network and need to keep track of any developments regarding a question you have already submitted, click "take me to my Query."