A Communication-Free Parallel Screened Poisson Solver for Incompressible Navier–Stokes ^†

Abstract

Pressure projection often limits the scalability of incompressible Navier–Stokes solvers because exact incompressibility requires a globally coupled Poisson solve. We develop Locality-Certified Screened Projection (LCSP), which replaces the classical projection with a screened pressure correction and combines exponentially localized tile solves with face-correction overlap–restrict (FCOR) assembly on a staggered grid. The screening parameter sets the localization length and makes the residual divergence explicit. For a spectrally commensurate class of two-dimensional periodic flows, each patch spans one spatial subperiod, so the assembled local correction reproduces the global screened solution without iterative interface communication. Double-precision tests on ${512}^2$ and ${1024}^2$ grids give assembly errors below $3.30\times {10}^{-15}$, velocity errors below $9.83\times {10}^{-3}$ relative to the classical projection, and compatible-divergence ratios below $4.83\times {10}^{-2}$. Time-dependent tests remain stable to $T=2$ and agree with the global screened reference to roundoff. Communication traces record no inter-rank exchange, collective operation, or global reduction during the local correction, and a fixed-work batch attains a speedup of $3.99$ on four graphics processing units (GPUs). These results establish a mathematically controlled communication-free screened pressure correction for this periodic class.

1. Introduction

Projection methods decouple momentum advancement from incompressibility enforcement. Given a provisional velocity ${\mathit{u}}^{\ast }$, the classical correction solves a pressure Poisson equation (PPE) and removes the irrotational component through a gradient update [1,2,3,4,5]. The predictor involves local differential stencils, whereas the pressure inverse is nonlocal. In parallel implementations, this global dependence appears as distributed transposes, repeated halo exchanges, coarse-grid synchronization, or Krylov reductions, depending on the elliptic solver [6,7,8,9].

Multigrid, fast Fourier transform (FFT) solvers, and communication-avoiding Krylov methods reduce the cost of the pressure step but retain a globally coupled inverse. Classical Schwarz decompositions likewise require trace iteration or a coarse correction to propagate long-range pressure information [10,11]. Local pressure-correction methods reduce global work by combining local projections with a coarse global component [12]; a one-pass local Poisson solve alone has no intrinsic decay scale and cannot, in general, reproduce a global projection.

Let $\kappa >0$ denote the screening parameter in the modified operator $-\mathrm{\Delta }+{\kappa }^{2}I$, where I is the identity. If $\rho$ denotes radial distance, its free-space Green function decays exponentially; in two dimensions, it is proportional to $K_0\left(\kappa \rho \right)$ and satisfies $K_0\left(\kappa \rho \right)\sim {(\pi /2\kappa \rho )}^{1/2}{e}^{-\kappa \rho }$ as $\rho \to \infty$ [13]. The associated screening length ${\ell }_{\kappa }={\kappa }^{-1}$ quantifies the range of the pressure response. Helmholtz-type pressure corrections and related incompressibility relaxations have appeared in artificial-compressibility and penalty-projection formulations [14,15,16]. In LCSP, the zero-order term is used specifically to create a controllable localization scale for the pressure correction.

The local screened potentials are differentiated on their patches, and the resulting staggered-face corrections are inserted through FCOR. This construction avoids forming a discontinuous piecewise pressure. Exact local-to-global consistency follows on a spectrally commensurate periodic subspace: each patch spans one complete spatial subperiod, so translation invariance and uniqueness identify the local and global screened solutions. For general boundary perturbations, a discrete barrier estimate quantifies attenuation into the patch interior.

The study addresses how screening changes the pressure-projection operator and when its local corrections can be assembled without iterative inter-tile synchronization. Its contributions are threefold: (i) a screened projection analysis that quantifies divergence filtering, contraction, and convergence to the classical PPE limit; (ii) a compatible marker-and-cell discretization with face-owned FCOR assembly and an exact commensurate local-to-global result; and (iii) static, dynamic, and communication experiments that separate screening error from assembly error and verify the communication pattern of the local correction.

Section 2 develops the continuous and discrete formulations, the commensurability result, and the localization estimate. Section 3 presents the numerical and parallel results. Section 4 discusses the balance between incompressibility and localization, and Section 5 concludes the paper.

2. Materials and Methods

2.1. Classical and Screened Pressure Corrections

Let $\mathrm{\Omega }={\mathbb{T}}_{{\ell }_{\mathrm{\Omega }}}^2={(0,{\ell }_{\mathrm{\Omega }})}^2$ be the two-dimensional periodic domain, with side length ${\ell }_{\mathrm{\Omega }}=2\pi$. At time $t_n=n\mathrm{\Delta }t$, $n\in {\mathbb{N}}_0$, let ${\mathit{u}}^n$ be the corrected velocity, ${\mathit{u}}^{\ast }$ the provisional velocity produced by the momentum step, and $\mathrm{\Delta }t>0$ the time-step size. Set $d^{\ast }=\nabla ·{\mathit{u}}^{\ast }$. The classical projection is

$${\mathit{u}}_{\mathrm{PPE}}^{n+1}={\mathit{u}}^{\ast }-\mathrm{\Delta }t\nabla \varphi ,-\mathrm{\Delta }\varphi =-\mathrm{\Delta }{t}^{-1}{d}^{\ast },$$

(1)

where $\varphi$ is the zero-mean classical pressure potential. The screened potential is denoted by ${\psi }_{\kappa }$, $\eta >0$ is the penalty coefficient, and $\kappa ={(\eta /\mathrm{\Delta }t)}^{1/2}$ is the screening parameter. LCSP replaces the exact constraint by

$${\mathit{u}}_{\kappa }^{n+1}={\mathit{u}}^{\ast }-\mathrm{\Delta }t\nabla {\psi }_{\kappa },\nabla ·{\mathit{u}}_{\kappa }^{n+1}+\eta {\psi }_{\kappa }=0,$$

(2)

which yields

$$(-\mathrm{\Delta }+{\kappa }^{2}I){\psi }_{\kappa }=-\mathrm{\Delta }{t}^{-1}{d}^{\ast }.$$

(3)

For a Fourier mode $\xi \in {\mathbb{Z}}^2$,

$$\widehat{\nabla ·{\mathit{u}}_{\kappa }^{n+1}}\left(\xi \right)={\displaystyle \frac{{\kappa }^2}{{\left|\xi \right|}^2+{\kappa }^2}}{\hat{d}}^{\ast }\left(\xi \right).$$

(4)

Thus, the pressure update is no longer an exact orthogonal projection, but its divergence residual is explicit. Here, $L^2\left(\mathrm{\Omega }\right)$ and $H^2\left(\mathrm{\Omega }\right)$ denote the standard Lebesgue and Sobolev spaces, respectively, and ${\parallel ·\parallel }_2$ is the $L^2\left(\mathrm{\Omega }\right)$ norm. The following result records well-posedness and the classical limit.

Theorem 1

(Screened filter and Poisson limit). Let ${\mathit{u}}^{\ast }\in L^2{\left(\mathrm{\Omega }\right)}^2$ and $d^{\ast }=\nabla ·{\mathit{u}}^{\ast }\in L^2\left(\mathrm{\Omega }\right)$. For every $\kappa >0$, Equation (3) has a unique periodic solution ${\psi }_{\kappa }\in H^2\left(\mathrm{\Omega }\right)$. Moreover,

$$\parallel \nabla ·{\mathit{u}}_{\kappa }^{n+1}{\parallel }_2\le \parallel d^{\ast }{\parallel }_2,\parallel {\mathrm{\Pi }}_{\ge K}\nabla ·{\mathit{u}}_{\kappa }^{n+1}{\parallel }_2\le {\displaystyle \frac{{\kappa }^2}{K^2+{\kappa }^2}}{\parallel {\mathrm{\Pi }}_{\ge K}{d}^{\ast }\parallel }_2,$$

(5)

where $K>0$ is a frequency cutoff and ${\mathrm{\Pi }}_{\ge K}$ retains modes with $\left|\xi \right|\ge K$. If ϕ is the zero-mean solution of the classical PPE, then

$$\parallel \nabla ({\psi }_{\kappa }-\varphi ){\parallel }_2\le {\displaystyle \frac{{\kappa }^2}{\mathrm{\Delta }t(1+{\kappa }^2)}}\parallel {\mathit{u}}^{\ast }{\parallel }_2,\parallel {\mathit{u}}_{\kappa }^{n+1}-{\mathit{u}}_{\mathrm{PPE}}^{n+1}{\parallel }_2\le {\displaystyle \frac{{\kappa }^2}{1+{\kappa }^2}}{\parallel {\mathit{u}}^{\ast }\parallel }_2,$$

(6)

and hence the screened correction converges to the classical projection in $L^2$ as $\kappa \to 0$.

Proof. 

The symbol of $-\mathrm{\Delta }+{\kappa }^{2}I$ is ${\left|\xi \right|}^2+{\kappa }^2>0$, which gives existence, uniqueness, and the first identity in Equation (4). Parseval’s identity yields (5). Since a periodic divergence has zero mean, for $\xi \ne 0$,

$$\widehat{\nabla ({\psi }_{\kappa }-\varphi )}\left(\xi \right)={\displaystyle \frac{i\xi {\kappa }^2}{{\mathrm{\Delta }t\left|\xi \right|}^2{\left(\right|\xi |}^2+{\kappa }^2)}}{\widehat{d}}^{\ast }\left(\xi \right).$$

(7)

Using ${\widehat{d}}^{\ast }\left(\xi \right)=i\xi ·\widehat{{\mathit{u}}^{\ast }}\left(\xi \right)$ and $\left|\xi \right|\ge 1$ for nonzero modes on ${(0,2\pi )}^2$ yields Equation (6); convergence follows immediately. □

The parameter $\kappa$ therefore controls both the residual divergence and the localization length.

Corollary 1

(Contractive screened projection). Let ${\mathcal{P}}_{\kappa }{\mathit{u}}^{\ast }={\mathit{u}}_{\kappa }^{n+1}$. For every nonzero Fourier mode, write $\widehat{{\mathit{u}}^{\ast }}={\widehat{{\mathit{u}}^{\ast }}}_{\perp }+{\widehat{{\mathit{u}}^{\ast }}}_{\Vert }$, where the two components are orthogonal and the second is parallel to ξ. Then,

$$\widehat{{\mathcal{P}}_{\kappa }{\mathit{u}}^{\ast }}\left(\xi \right)={\widehat{{\mathit{u}}^{\ast }}}_{\perp }\left(\xi \right)+{\displaystyle \frac{{\kappa }^2}{{\left|\xi \right|}^2+{\kappa }^2}}{\widehat{{\mathit{u}}^{\ast }}}_{\Vert }\left(\xi \right).$$

(8)

Consequently, ${\mathcal{P}}_{\kappa }$ is self-adjoint, positive, and contractive in $L^2$, and it converges strongly to the Leray projector as $\kappa \to 0$.

Proof. 

Substituting ${\widehat{d}}^{\ast }=i\xi ·\widehat{{\mathit{u}}^{\ast }}$ into the velocity update shows that the solenoidal component is unchanged and the longitudinal component is multiplied by ${\kappa }^2/{\left(\right|\xi |}^2+{\kappa }^2)\in (0,1)$. The asserted properties follow mode by mode from Parseval’s identity. □

The spectral representation shows that screening replaces the orthogonal projection with a positive contraction: the divergence-free component is unchanged, whereas the gradient component is continuously attenuated. The principal notation used below is summarized in

Table 1. Principal notation used in the formulation and experiments.

Symbol	Meaning	Symbol	Meaning
$\mathrm{\Omega },{\ell }_{\mathrm{\Omega }}$	Periodic domain and side length	$t_n,n,\mathrm{\Delta }t$	Time level, index, and time step
${\mathit{u}}^n,{\mathit{u}}^{\ast }$	Corrected and provisional velocities	$\varphi ,{\psi }_{\kappa }$	Classical and screened pressure potentials
$\eta ,\kappa ,{\ell }_{\kappa }$	Penalty coefficient, screening parameter, and screening length	$d^{\ast }$	Divergence of the provisional velocity
$D_h,G_h,A_{\kappa ,h}$	Discrete divergence, gradient, and screened operator	$N,h$	Cells per direction and grid spacing
$n_c,r,n_p$	Core width, halo width in grid layers, and patch width	$K,{\mathrm{\Pi }}_{\ge K}$	Frequency cutoff and high-mode projector
$L^2,H^2$	Lebesgue and Sobolev spaces	$\nu ,T$	Kinematic viscosity and final time

.

2.2. Compatible Marker-And-Cell Discretization and FCOR

Let N be the number of cells in each coordinate direction while $h={\ell }_{\mathrm{\Omega }}/N$ is the grid spacing. The pressure correction ${\psi }_h$ is cell-centered, while the components of ${\mathit{u}}_h=(u_h,v_h)$ are stored on the corresponding faces of a marker-and-cell (MAC) grid. With periodic indexing,

$${\left(G_x\psi \right)}_{ij}={\displaystyle \frac{{\psi }_{ij}-{\psi }_{i,j-1}}{h}},{\left(G_y\psi \right)}_{ij}={\displaystyle \frac{{\psi }_{ij}-{\psi }_{i-1,j}}{h}},{\left(D_h\mathit{u}\right)}_{ij}={\displaystyle \frac{u_{i,j+1}-u_{ij}+v_{i+1,j}-v_{ij}}{h}}.$$

(9)

The compatible discrete screened operator is

$$A_{\kappa ,h}=-D_h{G}_h+{\kappa }^{2}I,$$

(10)

with $D_h=-G_h^{\ast }$ in the periodic grid inner product. Consequently, the exact discrete screened correction satisfies

$$\widehat{D_h{\mathit{u}}_{\kappa ,h}^{n+1}}\left(\mathit{m}\right)={\displaystyle \frac{{\kappa }^2}{{\lambda }_h\left(\mathit{m}\right)+{\kappa }^2}}\widehat{d_h^{\ast }}\left(\mathit{m}\right),{\lambda }_h\left(\mathit{m}\right)={\displaystyle \frac{4}{h^2}}{\displaystyle \sum _{j=1}^2}{sin}^2\left({\displaystyle \frac{m_{j}h}{2}}\right).$$

(11)

The domain is decomposed into disjoint cores, each enlarged by a halo. A periodic screened problem is solved on every patch. Rather than restricting cell-centered pressure, FCOR differentiates the local potential and assigns every global velocity face to a unique core:

$${\mathit{u}}_h^{n+1}={\mathit{u}}_h^{\ast }-\mathrm{\Delta }t\sum _p{E}_p^f{R}_p^f{G}_{p,h}{\psi }_{p,h},$$

(12)

where $R_p^f$ selects the faces owned by patch p and $E_p^f$ inserts them in the global staggered field. The local solves and the face insertion require neither trace iteration nor a global reduction.

2.3. Spectral Commensurability

Define

$${\mathcal{S}}_4=\{q:q(x+\pi /2,y)=q(x,y),q(x,y+\pi /2)=q(x,y)\},$$

(13)

whose Fourier support is contained in $4{\mathbb{Z}}^2$. On a grid with N divisible by 16, let $n_c$ be the core width in cells, r the halo width in grid layers, and $n_p$ the patch width. The decomposition is

$$n_c=N/8,r=N/16,n_p=n_c+2r=N/4.$$

(14)

The patch width is therefore $n_{p}h=\pi /2$, exactly one period of (13); the two-dimensional overlap redundancy is four. Figure 1 summarizes the geometry, staggered-face ownership, and active Fourier lattice.

Let ${\tau }_x^c,{\tau }_y^c$ denote translations of cell arrays by $N/4$ entries in the coordinate directions, and let ${\tau }_x^f,{\tau }_y^f$ denote the corresponding shifts of staggered face arrays. The discrete invariant spaces are

$${\mathcal{S}}_{4,h}^c=\{q_h:{\tau }_x^c{q}_h={\tau }_y^c{q}_h=q_h\},{\mathcal{S}}_{4,h}^f=\{{\mathit{w}}_h:{\tau }_x^f{\mathit{w}}_h={\tau }_y^f{\mathit{w}}_h={\mathit{w}}_h\}.$$

(15)

Proposition 1

(Exact commensurate assembly). If $b_h=-\mathrm{\Delta }{t}^{-1}{D}_h{\mathit{u}}_h^{\ast }\in {\mathcal{S}}_{4,h}^c$, each $N/4$-cell periodic patch uses the same compatible stencil and grid spacing as the global problem, and the patch right-hand side is obtained by periodic extraction, then every local screened potential equals the corresponding restriction of the global screened potential. The FCOR velocity correction is therefore identical to the global screened correction in exact arithmetic.

Proof. 

The compatible operators commute with the $N/4$-cell translations:

$$D_h{\tau }_{\ell }^f={\tau }_{\ell }^c{D}_h,G_h{\tau }_{\ell }^c={\tau }_{\ell }^f{G}_h,A_{\kappa ,h}{\tau }_{\ell }^c={\tau }_{\ell }^c{A}_{\kappa ,h},\ell =x,y.$$

(16)

If $b_h\in {\mathcal{S}}_{4,h}^c$, uniqueness gives ${\tau }_x^c{\psi }_h={\tau }_y^c{\psi }_h={\psi }_h$. Opposite traces of every $N/4$-cell segment therefore agree. The restriction of the global solution satisfies the local wraparound equations, and coercivity of $A_{\kappa ,h}$ gives uniqueness on each patch. The local face gradients coincide with the global gradient, and unique face ownership inserts every correction exactly once. □

2.4. Localization Outside the Commensurate Class

For a cut rectangular patch with prescribed boundary data, a standard discrete barrier argument supplies an explicit decay estimate [17].

Proposition 2

(Discrete interior localization). Let $e_{p,h}$ be the difference between the local and global screened solutions on patch p, with $A_{\kappa ,h}{e}_{p,h}=0$ in the patch interior. If its core $C_p$ lies at least r grid layers from the artificial boundary and $M_p={\parallel e_{p,h}\parallel }_{{\ell }^{\infty }(\partial {\mathrm{\Omega }}_{p,h})}$, then

$$\parallel e_{p,h}{\parallel }_{{\ell }^{\infty }\left(C_p\right)}\le 4e^{-\alpha rh}{M}_p,{\displaystyle \frac{2\left(\cosh \right(\alpha h)-1)}{h^2}}<{\kappa }^2,\alpha >0.$$

(17)

Proof. 

For a translated patch $[0,a_x]\times [0,a_y]$, where $a_x$ and $a_y$ are its side lengths, set

$$\phi =e^{-\alpha x}+e^{-\alpha (a_x-x)}+e^{-\alpha y}+e^{-\alpha (a_y-y)}.$$

(18)

Then, $\phi \ge 1$ on the boundary, $\phi \le 4e^{-\alpha rh}$ in the core, and the stated condition gives $A_{\kappa ,h}\phi \ge 0$. The discrete maximum principle applied to $\pm e_{p,h}-M_p\phi$ proves the estimate. □

Combining Equation (17) with the stencil estimate $\parallel D_h{G}_h{e\parallel }_{2,h}\le C{h}^{-2}{\parallel e\parallel }_{2,h}$ gives the a priori budget

$$\parallel D_h{\mathit{u}}_h^{n+1,\mathrm{FCOR}}{\parallel }_{2,h}\le \mathrm{\Delta }t{\kappa }^2{\parallel {\psi }_h\parallel }_{2,h}+C\mathrm{\Delta }t{h}^{-2}{e}^{-\alpha rh}{\left(\sum _p{M}_p^2{\left|C_p\right|}_h\right)}^{1/2}.$$

(19)

The first term is the screened-projection residual and the second is the propagated artificial-boundary error; $|C_p{|}_h$ denotes the discrete area of core $C_p$. Their balance links the screening strength to the required physical overlap.

2.5. Numerical Experiments

The experiments use $\mathrm{\Omega }={[0,2\pi )}^2$, the compatible MAC operator, $\kappa {\ell }_{\mathrm{\Omega }}=8$, 64-bit floating-point (FP64) arithmetic, and the geometry in (14). Static tests comprise phase-shifted single modes, mixed modes, and spectrally generated fields at $N=512$ and 1024. Dynamic tests use a wavenumber-four Taylor–Green vortex and a forced two-mode vortex lattice with kinematic viscosity $\nu =0.01$; both are evolved to the final time $T=2$ by a projected second-order Runge–Kutta method. Global periodic FFT solves provide the classical and screened references.

For a grid field q and a staggered velocity $\mathit{w}$, define the RMS norms

$${\parallel q\parallel }_R={\left(N^{-2}\sum _{ij}{q}_{ij}^2\right)}^{1/2},{\parallel \mathit{w}\parallel }_R={\left(N^{-2}\sum _{ij}(u_{ij}^2+v_{ij}^2)\right)}^{1/2}.$$

(20)

The reported quantities are the relative assembly error $E_{\mathrm{asm}}=\parallel {\mathit{u}}_{\mathrm{FCOR}}-{\mathit{u}}_{\kappa }{\parallel }_R/{\parallel {\mathit{u}}_{\kappa }\parallel }_R$, the total error $E_{\mathrm{tot}}=\parallel {\mathit{u}}_{\mathrm{FCOR}}-{\mathit{u}}_{\mathrm{PPE}}{\parallel }_R/{\parallel {\mathit{u}}_{\mathrm{PPE}}\parallel }_R$, and the compatible-divergence ratio $R_{\mathrm{div}}=\parallel D_h{\mathit{u}}_{\mathrm{FCOR}}{\parallel }_R/{\parallel D_h{\mathit{u}}^{\ast }\parallel }_R$. The interface diagnostic $E_{\mathrm{seam}}$ measures the FCOR–global-screened assembly discrepancy in a two-cell strip surrounding core interfaces. Further details of the time discretization and test fields are collected in Appendix A.

3. Results

3.1. Static Consistency

Figure 2 summarizes the FP64 errors over the static test set. The assembly error remains at roundoff, with a maximum of $3.296\times {10}^{-15}$. The maximum velocity error relative to the classical projection is $9.830\times {10}^{-3}$, whereas the compatible-divergence ratio remains below $4.823\times {10}^{-2}$. The seam error is at most $2.659\times {10}^{-12}$. Within ${\mathcal{S}}_{4,h}$, the observed discrepancy is therefore governed by the screened relaxation rather than by overlap assembly.

The maximum static and dynamic errors are summarized in

Table 2. Maximum errors in the static and dynamic experiments. Energy and enstrophy deviations are measured relative to the global screened trajectory.

Metric	Static States	Dynamic Trajectories
$E_{\mathrm{asm}}$	$3.2960\times {10}^{-15}$	$6.9655\times {10}^{-15}$
$E_{\mathrm{tot}}$	$9.8295\times {10}^{-3}$	$5.2545\times {10}^{-4}$
$R_{\mathrm{div}}$	$4.8227\times {10}^{-2}$	$4.6773\times {10}^{-2}$
Seam error	$2.6589\times {10}^{-12}$	$1.0280\times {10}^{-10}$
Relative energy deviation	–	$2.9561\times {10}^{-16}$
Relative enstrophy deviation	–	$2.7646\times {10}^{-16}$

.

3.2. Dynamic Periodic Flows

All Taylor–Green and forced two-mode trajectories reach $T=2$ without a global pressure reset. In the Taylor–Green tests, the FCOR and global screened trajectories remain indistinguishable to roundoff, while their difference from the classical projection reflects the prescribed screened relaxation. Figure 3 shows the velocity errors, compatible-divergence ratio, and decay of kinetic energy and enstrophy for $N=512$ and 1024. Spectral power outside $4{\mathbb{Z}}^2$ remains below $5.01\times {10}^{-29}$, consistent with invariance of the commensurate subspace.

The forced two-mode lattice provides a nonstationary test within the same Fourier sublattice. Its vorticity decays smoothly while the divergence retains the expected screened pattern (Figure 4). The maximum velocity difference between FCOR and the global screened reference is again at roundoff, confirming the preservation of the invariant Fourier sublattice by the nonlinear, forced discrete evolution.

3.3. Communication and Parallel Execution

Communication tracing of the local pressure correction records no point-to-point message, collective operation, distributed transpose, global reduction, or trace exchange. An independent system-level trace confirms this result. Figure 5 contrasts this execution pattern with representative distributed FFT and preconditioned conjugate-gradient (PCG) pressure solves. On a fixed batch of 256 local patches, the measured speedups on one, two, and four graphics processing units (GPUs) are $1.00$, $1.94$, and $3.99$, corresponding to a four-GPU efficiency of $0.998$.

The timing interval begins after patch formation and ends after face insertion; momentum prediction and patch formation are excluded.

3.4. Noncommensurate Comparison

A wavenumber-one Taylor–Green trajectory uses the same grid, screening parameter, and patch geometry but does not belong to ${\mathcal{S}}_{4,h}$. Its periodic patch traces are not equivalent. Figure 6 shows the resulting separation from the global screened solution: the final compatible-divergence ratio is $1.138$, and the seam error is approximately $1.16$. The comparison marks the limit of exact periodic-patch equivalence. Proposition 2 controls prescribed boundary perturbations, but it does not make incompatible periodic wraparound data consistent.

4. Discussion

Two distinct mechanisms govern the local error. Screening provides exponential decay for general boundary perturbations, as expressed by (17), while spectral commensurability yields exact periodic patch equivalence. The near-roundoff assembly errors arise from the second mechanism and are therefore a commensurability result, not an observed generic overlap-convergence rate.

The screened projection also exposes a fundamental trade-off. From (11), decreasing $\kappa$ brings the corrected velocity closer to the strictly divergence-free projection. At the same time, the localization length ${\ell }_{\kappa }={\kappa }^{-1}$ increases, and the admissible decay exponent in (17) decreases. A practical choice of $\kappa$ and overlap must therefore balance the global screening residual against the artificial-boundary contribution. In the commensurate class, the latter vanishes algebraically, allowing this trade-off to be observed without interface contamination.

The noncommensurate comparison in Figure 6 isolates the role of the periodic sublattice and indicates where additional interface treatment is required.

The parallel result follows from the operator decomposition rather than from a particular iterative acceleration. Each local screened problem is coercive and independent; FCOR inserts each face once. Consequently, the correction has no iterative communication path. The present measurements establish this property on a single multi-GPU node. Extension to nonperiodic boundaries, noncommensurate spectra, and multi-node flow simulations requires additional numerical and performance analysis.

5. Conclusions

LCSP replaces the globally coupled pressure Poisson correction by a screened problem with an intrinsic localization length. A compatible MAC discretization and face-owned overlap–restrict assembly convert the pressure update into independent local solves. For the spectrally commensurate two-dimensional periodic class studied here, translation invariance makes the assembled correction identical to the global screened solution up to roundoff. The dynamic tests preserve this equivalence, while communication traces confirm that the local correction contains no inter-rank exchange or global synchronization. This construction makes the balance between incompressibility accuracy and spatial locality explicit and removes communication from the local screened correction.