符号付き距離関数

符号付き距離関数（ふごうつききょりかんすう、または、SDF）は、与えられた点xから距離空間における集合Ωの境界までのである。xがΩの内部にあるかどうかによって符号が決まる。この関数は、Ωの内部の点xでは正の値を持ち、Ωの境界に近づくにつれて値が減少し、符号付き距離関数がゼロになる場所でΩの境界に達し、Ωの外部では負の値を取る。負の値を内部、正の値を外部とする規約が採用されることもある。

 定義 

を距離空間の部分集合とし、をその境界とする。の点との部分集合との距離は自然に次のように定義される。

ここでは下限を表す。

点からのまでの符号付き距離関数は次のように定義される。

 ユークリッド空間における特性 

Ωがユークリッド空間Rnの区分的に滑らかな境界を持つ部分集合である場合、符号付き距離関数はほとんど至る所で微分可能であり、その勾配はアイコナール方程式を満たす。

Ωの境界がk ≥ 2でCk（滑らかな関数#滑らかさの分類を参照）である場合、dはΩの境界に十分に近い点でCkである。 特に、境界f上においては

を満たす。ここでNは内向きの法ベクトル場である。したがって、符号付き距離関数は法ベクトル場の微分可能な拡張である。特に、Ωの境界における符号付き距離関数のヘッセ行列はを与える。

さらに、Ωの境界に十分に近くfがその上で2回連続的に微分可能である領域Γに対し、符号付き距離関数と最も近い境界点の変数変換のヤコビアンには形作用素Wxを用いた公式が存在する。特に、T(∂Ω, μ)がΩの境界から距離μ以内の点の集合（つまり、半径μの管状近傍）であり、gがΓ上の絶対可積分関数である場合、

が成り立つ。ここでは行列式を示し、dSuは面積分を取ることを示す。

 アルゴリズム 
符号付き距離関数を計算するためのアルゴリズムには、効率的な、Zhao Hongkai. A fast sweeping method for eikonal equations. Mathematics of Computation, 2005, 74. Jg., Nr. 250, S. 603-627. およびより一般的ながある。

ボクセルレンダリング向けには、タクシー幾何学でSDFを計算するためにを使用する高速アルゴリズムが存在する。

 応用 
符号付き距離関数が利用される分野の例としては、、、コンピュータビジョンなどがある。

SDFは2000年代半ばからレイマーチングの実装においてリアルタイムレンダリングにおけるオブジェクトのジオメトリを記述するために使用され始めた。2007年にはValveが、SDFを使用して大きなピクセルサイズ（または高DPI）の滑らかなフォントをGPUアクセラレーションでレンダリングしている。Valveの手法は（連続的な）ベクタ空間での問題を解く計算複雑性を避けるためにラスタ空間で実行されるため完璧ではなく、レンダリングされたテキストは角が丸まってしまうことが多い。2014年には、:en:Behdad Esfahbodによって改良された手法が発表された。BehdadのGLyphyはフォントのベジエ曲線をスプライン曲線で近似し、グリッドベースの離散化手法（遠すぎる点をカリングする）によってリアルタイムで実行する Source Code。

複数のオブジェクトをレンダリングする際のピクセルの侵入エラーを最小化するための損失関数としてSDFの修正版が使われている。オブジェクトに属さないピクセルに対して、それがレンダリング時にオブジェクトの外側にある場合はペナルティは課さず、内部にある場合はその距離に比例した正の値を課すというものである。

2020年には、FOSSのゲームエンジンGodot 4.0がSDFベースのリアルタイムGI（SDFGI）を実装した。既存のボクセルベースのGIよりパフォーマンスは劣るものの、広い空間に適用可能であるためオープンワールドゲームの開発に用いることができる。

2023年には、すべてのUI要素をGPUを使用して描画する「GPUI」UIフレームワークがリリースされ、120 fpsでレンダリングを行うソースコードエディタのZedを開発したと発表された。このフレームワークは多くの部分でSDFを使用し、Inigo QuilezによるSDF向け幾何学図形プリミティブ、Evan Wallace（Figmaの共同創設者）のSDFにおける近似ガウシアンぼかし、および丸みを帯びた長方形のSDFを利用している。

 脚注 

 関連項目 

 距離関数

 アイコナール方程式
 平行曲線


 符号付き測度


Category:応用数学
Category:距離
Category:数学に関する記事