This paper introduces a novel partial differential equation (PDE) framework for single-image dehazing. We embed the atmospheric scattering model into a PDE featuring edge-preserving diffusion and a nonlocal operator to maintain both local details and global structures. A key innovation is an adaptive regularization mechanism guided by the dark channel prior, which adjusts smoothing strength based on haze density. The framework's mathematical well-posedness is rigorously established by proving the existence and uniqueness of its weak solution in $H_0^1(Ω)$. An efficient, GPU-accelerated fixed-point solver is used for implementation. Experiments confirm our method achieves effective haze removal while preserving high image fidelity, offering a principled alternative to purely data-driven techniques.
Paper ID : 2506.08793Title : A PDE-Based Image Dehazing Method via Atmospheric Scattering TheoryAuthors : Liubing Hu, Pu Wang, Guangwei Gao, Chunyan Wang, Zhuoran ZhengCategories : cs.CV (Computer Vision), eess.IV (Image and Video Processing)Publication Date : 2025 (arXiv preprint)Paper Link : https://arxiv.org/abs/2506.08793 This paper proposes a novel single-image dehazing framework based on partial differential equations (PDEs). The method embeds the atmospheric scattering model into a PDE incorporating edge-preserving diffusion and nonlocal operators to maintain local details and global structure. A key innovation is an adaptive regularization mechanism based on dark channel priors, which adjusts smoothing strength according to haze density. The mathematical well-posedness of the framework is rigorously established by proving the existence and uniqueness of weak solutions in the H₀¹(Ω) space. An efficient GPU-accelerated fixed-point solver is employed for implementation. Experiments confirm that the method effectively removes haze while maintaining high image fidelity, providing a principled alternative to purely data-driven techniques.
Image dehazing is a critical challenge in computer vision, addressing image degradation caused by atmospheric scattering. Hazy images follow the atmospheric scattering model: I(x) = J(x)t(x) + A(1-t(x)), where I(x) is the observed hazy image, J(x) is the clear image, t(x) is the transmission map, and A is the atmospheric light value.
Practical Application Demands : Hazy weather severely impacts outdoor vision system performance, such as autonomous driving and surveillance systemsImage Quality Enhancement : Dehazing significantly improves image contrast and visibilityFoundation for Subsequent Processing : Provides high-quality inputs for advanced vision tasks such as object detection and scene understandingTraditional Physics-Based Methods :Dark channel prior (DCP) fails in sky regions and uniform scenes Results in inaccurate transmission map estimation Data-Driven Methods :Require large amounts of annotated data Lack interpretability Perform poorly under out-of-distribution haze conditions Combine physical modeling with mathematical rigor to provide a dehazing framework that offers both theoretical guarantees and practical effectiveness, bridging the gap between traditional methods and deep learning approaches.
Innovative PDE Framework : First to embed the atmospheric scattering model into a PDE with edge-preserving diffusion and nonlocal operatorsAdaptive Regularization Mechanism : Adaptive regularization parameters based on dark channel priors that dynamically adjust smoothing strength according to haze densityMathematical Theoretical Guarantees : Rigorously proves the existence and uniqueness of weak solutions to the PDE in the H₀¹(Ω) spaceEfficient Implementation : GPU-accelerated fixed-point iterative solver enabling real-time processingSuperior Performance : Achieves state-of-the-art performance on multiple no-reference image quality assessment metricsInput : Hazy image I(x) ∈ ℝᴴˣᵂˣ³
Output : Dehazed image u(x) ∈ ℝᴴˣᵂˣ³
Constraints : Comply with atmospheric scattering physics model, preserve image structure and details
The reconstruction operator is defined as:
Φ(I, t, A) = (I - A(1-t)) / max(t, t₀)
where t₀ > 0 is a small threshold to avoid numerical instability.
-div(D(∇u)∇u) + λ(t)G(u) = Φ(I, t, A)
Components :
Edge-Preserving Diffusion Term : -div(D(∇u)∇u)Nonlocal Regularization Term : λ(t)G(u)Data Fidelity Term : Φ(I, t, A)The diffusion coefficient is designed as:
where ε = 10⁻³. This design ensures:
Suppression of diffusion at strong edges (large gradients) Promotion of diffusion in smooth regions (small gradients) Gaussian convolution operator:
G(u)(x) = ∫_Ω K(x,y)u(y)dy
Gaussian kernel:
K(x,y) = (1/2πσ²)exp(-‖x-y‖²/2σ²)
Adaptive parameter based on dark channel priors:
where λ₀ = 0.5, β = 3.0. This design ensures:
Dense haze regions (small t values): Strong regularization Clear regions (large t values): Weak regularization, preserving details Physical Consistency : Directly embeds the atmospheric scattering model into PDE constraints, ensuring physical validityAdaptivity : Dynamically adjusts regularization strength according to local haze concentrationMulti-Scale Processing : Combines local diffusion and nonlocal operators to handle both local details and global structureMathematical Rigor : Provides complete theoretical analysis proving existence and uniqueness of solutionsReal-World Datasets : Containing diverse hazy imagesScene Types : Urban streets, natural landscapes, buildingsHaze Concentration : Ranging from light to severeEvaluation Approach : No-reference image quality assessment due to lack of real corresponding clear imagesSix widely recognized no-reference image quality assessment (NR-IQA) metrics are employed:
NIQE , BRISQUE , PIQE , FADE : Lower is betterDHQI , NRBP : Higher is betterTraditional Methods : DCP, CAP, Color-Lines, ICAP, BCCRFusion Methods : VarFusionDeep Learning Methods : CORUN, DiffDehazePlatform : Python + PyTorch, NVIDIA RTX 4090 GPUParameter Settings :
Dark channel block size: 15×15 Diffusion stability term: ε = 10⁻³ Gaussian kernel: 5×5, σ = 2.0 Relaxation parameter: τ = 0.2 Adaptive parameters: λ₀ = 0.5, β = 3.0 The proposed method achieves best performance on 5 out of 6 NR-IQA metrics:
Method NIQE↓ BRISQUE↓ PIQE↓ FADE↓ DHQI↑ NRBP↑ DCP 5.34 32.97 48.09 48.81 55.73 24.08 DiffDehaze 4.85 30.15 39.50 43.55 56.20 74.32 Ours 4.51 28.46 35.68 50.66 57.85 76.82
Systematic removal of components validates their contributions:
Model Variant NIQE↓ BRISQUE↓ PIQE↓ NRBP↑ Without PDE Optimization 5.032 31.71 37.64 41.49 Without Nonlocal Regularization 8.25 43.58 36.92 39.87 Without Adaptive Regularization 8.41 33.43 36.67 40.15 Complete Model 4.51 28.46 35.68 76.82
Key Findings:
Removing PDE optimization causes NRBP to drop from 76.82 to 41.49 Nonlocal regularization and edge-preserving terms are critical for image naturalness Participants : 5 experts + 16 general observersEvaluation Dimensions : Haze removal degree, detail clarity, color naturalnessResults : The proposed method received 62% of "best visual quality" votes, significantly outperforming other methodsQualitative results demonstrate:
Traditional methods (DCP, CAP) tend to produce color shifts and artifacts Deep learning methods occasionally fail to preserve details The proposed method consistently produces visually superior results with effective haze removal and natural color preservation Physics-Model-Based Methods : Utilizing atmospheric scattering models and various priors (dark channel, color attenuation, etc.)Data-Driven Methods : CNNs, attention mechanisms, generative adversarial networksHybrid Methods : Combining physical constraints and learned representationsCompared to existing work:
Provides a PDE framework with mathematical theoretical guarantees Adaptive regularization mechanism outperforms fixed-parameter methods Stronger physical consistency than purely data-driven methods Higher computational efficiency than complex deep networks Successfully embeds atmospheric scattering theory into a mathematically rigorous PDE framework Adaptive regularization mechanism significantly improves dehazing performance Achieves state-of-the-art performance in multiple objective and subjective evaluations Provides a principled alternative to data-driven methods Computational Complexity : PDE solving requires iterative optimization, potentially slower than direct CNN inferenceParameter Sensitivity : Multiple hyperparameters require tuning, potentially affecting generalizationExtreme Conditions : May fail under extremely heavy haze or special scenesDark Channel Assumption : Still relies on the validity of dark channel priorsHybrid Architecture : Combining PDE framework with deep learning for end-to-end trainingReal-Time Optimization : Developing more efficient solving algorithmsMulti-Modal Fusion : Incorporating information from other sensors (depth, polarization)Theoretical Extension : Generalizing the framework to other image restoration tasksTheoretical Innovation : First to provide mathematically rigorous analysis of dehazing PDE, including existence and uniqueness proofsMethod Design : Skillfully combines physical models, mathematical theory, and computational implementationComprehensive Experiments : Includes quantitative comparisons, ablation studies, user evaluations, and multi-dimensional verificationPractical Value : GPU-accelerated implementation has potential for real-world applicationsComputational Efficiency : Iterative solving may be slower compared to end-to-end deep networksGeneralization Ability : Robustness in diverse real-world scenarios requires further verificationParameter Tuning : Multiple hyperparameter settings may require optimization for different scenariosBaseline Comparison : Lacks sufficient comparison with latest SOTA deep learning methodsAcademic Contribution : Provides a new mathematical framework for image dehazing, potentially inspiring related researchMethodological Value : Demonstrates how to rigorously embed physical models into PDE frameworksPractical Prospects : Advantageous in application scenarios requiring high interpretabilityReproducibility : Provides detailed implementation details and parameter settingsResearch Applications : Research scenarios requiring theoretical guarantees and interpretabilityReal-Time Systems : Systems with certain computational efficiency requirements but needing stable performanceSpecial Environments : Scenarios with scarce training data but applicable physical modelsHybrid Systems : As a supplement or initialization for deep learning methodsThe paper cites 25 relevant references covering multiple aspects including image dehazing, PDE methods, and deep learning, providing a solid theoretical foundation and comparison benchmarks for this research.
Overall Assessment : This is a high-quality paper with significant contributions in both theory and practice. The authors successfully combine physical models, mathematical theory, and computational implementation to provide a novel and rigorous solution to the image dehazing problem. While there is room for improvement in computational efficiency and generalization ability, its theoretical innovations and experimental validation meet very high standards.