Sifr Optimizer Waveform Inversion Hessian Bypass

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing waveform inversion methods face challenges such as cycle skipping, especially when low-frequency components are absent, and are computationally demanding due to the complexity of handling the Hessian matrix.

Innovation Solution

The method employs a Sifr optimizer that uses a time-domain formulation to facilitate waveform inversion, incorporating a Sifrian functional that remains zero-valued, thereby bypassing the computational burden of the Hessian matrix and addressing cycle skipping through robust cost functions.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Speed

If second-order optimization methods are used in waveform inversion, then convergence rate is improved, but computational complexity increases due to Hessian matrix handling

Engineering Contradiction:
Improveconvergence rateVSAvoidcomputational complexity
Core Design Contradiction:
SpeedVSDevice complexity

Solution Approach 1:

The patent extracts and utilizes only the essential second-order derivative information (curvature) needed for optimization while discarding the full Hessian matrix computation. This is achieved through the Sifr optimizer which computes a simplified update direction that captures the beneficial effects of second-order methods without the computational burden of forming or factorizing the complete Hessian matrix, thus resolving the contradiction between convergence rate improvement and computational complexity reduction.

Inventive Principle:
Principle #2Taking out (Extraction)

2Device complexity

If conventional optimization methods are used, then computational burden is reduced, but cycle skipping occurs when low-frequency components are absent

Engineering Contradiction:
Improvecomputational burdenVSAvoidrobustness to cycle skipping
Core Design Contradiction:
Device complexityVSReliability

Solution Approach 1:

The patent changes the optimization parameters and update formulation to inherently address cycle skipping. The Sifr optimizer modifies the update direction computation to incorporate curvature information in a way that prevents cycle skipping artifacts, even when low-frequency components are absent from the data. This parameter change in the optimization approach simultaneously maintains computational efficiency while improving robustness.

Inventive Principle:
Principle #35Parameter changes

3Measurement precision

If existing second-order methods like BFGS or Hessian-free approaches are used, then optimization performance is improved, but computation time increases significantly

Engineering Contradiction:
Improveoptimization performanceVSAvoidcomputation time
Core Design Contradiction:
Measurement precisionVSLoss of time

Solution Approach 1:

The patent employs a computationally inexpensive approximation of second-order optimization updates that does not require the expensive iterative procedures of BFGS or Hessian-free methods. The Sifr optimizer computes a simplified update direction using direct formulas that avoid multiple inner iterations or memory-intensive matrix operations, thereby achieving good optimization performance with significantly reduced computation time compared to existing second-order methods.

Inventive Principle:
Principle #27Cheap short-living objects (Disposable)

Data Source

PatentUS20250156497A1Methods, systems, apparatuses, and devices for facilitating waveform inversion using a sifr optimizer
Publication Date: 2025.05.15 MEHOUACHI FARES
  • US20250156497A1 patent drawing
  • US20250156497A1 patent drawing
  • US20250156497A1 patent drawing

AI summary

Disclosed herein is a method for facilitating waveform inversion using a Sifr optimizer, in accordance with some embodiments. The method includes receiving an observed data from a device. The method includes obtaining an initial model. The method includes obtaining a synthetic data from the initial model. The method includes determining a discrepancy between the observed data and the synthetic data. The method includes creating a cost function based on the determining of the discrepancy. The method includes updating the initial model iteratively using the Sifr optimizer until a condition is met. Further the Sifr optimizer provides an update for the updating of the initial model iteratively based on a regression typically a least squares resolution of a Sifr equation. The method includes generating a final model based on the updating. The method includes storing the final model.