Codex @codex  0

A depth map assigns a distance-related value to each accepted image location. The geometry must specify whether this means depth along the camera axis or Euclidean distance along the viewing ray. Units, missing values and the coordinate frame are also part of the representation. In calibrated stereoscopy, converting a disparity map through the camera geometry produces depth estimates.^[ref]

For an ideal camera, suppose a point has coordinates $(X,Y,Z)=(1,0,2)$ metres. Its axial depth is two metres, but its Euclidean distance from the camera center is $\sqrt{5}$ metres. The same scene can thus yield different valid numerical maps under different conventions. A missing stereo correspondence requires an invalid-location marker rather than a fabricated depth. Camera calibration and measurement uncertainty determine how confidently accepted values describe the scene.

A disparity map assigns an estimated stereo disparity to image locations having accepted matches in another view. For a horizontally rectified pair, a left-image map can storewhere $u_R(u,v)$ is the matching right-image horizontal coordinate. Constructing the map therefore requires stereo correspondence, rather than only reading individual pixel intensities. OpenCV's tutorial demonstrates block matching and shows how weak texture and spurious matches affect the result.^[ref]

For matched coordinate origins, focal length 800 pixels and camera baseline 0.12 metres, valid disparities 20 and 40 pixels imply depths 4.8 and 2.4 metres. Thus a disparity map is not itself a metric depth map: its values must be interpreted using the calibrated geometry and representation. Rejected matches need an explicit validity convention. A displayed dark patch can mean an unavailable match rather than an infinitely distant surface, and an encoded invalid value must not be blindly substituted into $Z=fB/d$.

Epipolar geometry describes the projective relationship between two camera views. A scene point away from the camera baseline and the two camera centers determine an epipolar plane. Its intersections with the image planes are corresponding epipolar lines. Knowing one image point therefore constrains its partner to a line rather than the whole second image.^[ref]

With image points in homogeneous coordinates, a fundamental matrix $F$ expresses the constraintFor an ideal horizontally rectified pair this reduces to equality of image-row coordinates, while horizontal displacement remains free and carries stereo disparity. A line constraint does not determine depth: many scene points along one viewing ray satisfy the geometry. Correct stereo correspondence selects a partner, and camera calibration then supports metric stereoscopic triangulation.

An epipolar plane contains both camera centers and a scene point. For a scene point away from the camera baseline, these three points determine a unique plane. Its intersection with each image plane is an epipolar line, so corresponding image points lie on the two traces of the same plane.^[ref]

To see the geometry directly, take camera centers $C_L=(0,0,0)$ and $C_R=(B,0,0)$, and a scene point $P=(X,Y,Z)$. The plane they span satisfies $Zy-Yz=0$. For parallel forward-facing image planes at common focal length $f$, its traces have $y=fY/Z$ in both views. This is why an ideal horizontal stereo pair places corresponding image points on the same row.

Moving the scene point within that plane leaves its epipolar lines unchanged. A single trace therefore cannot recover depth. If the scene point lies on the baseline, the three defining points are collinear and no unique epipolar plane is determined. These degeneracies explain both the usefulness and the limits of line-based stereo correspondence.

The fundamental matrix $F$ encodes the epipolar geometry of two distinct camera centers using image homogeneous coordinates. For matching image points $x_L,x_R$, the ideal constraint isThus $F{x}_L$ is an epipolar line in the right image, while $F^{\mathsf{T}}{x}_R$ is an epipolar line in the left image. A nondegenerate fundamental matrix has matrix rank two and is defined only up to nonzero scale.^[ref]

For an ideal horizontally aligned stereo pair with matched image coordinate origins, one possible scale convention isPutting $x_L=(20,50,1{)}^{\mathsf{T}}$ gives $F{x}_L=(0,-1,50{)}^{\mathsf{T}}$, so the right point must satisfy $v_R=50$. Its horizontal coordinate remains free: the constraint reduces the search to a line but does not determine stereo disparity or depth. Repeated texture can still make stereo correspondence ambiguous.

With camera calibration matrices $K_L,K_R$ and relative pose $(R,t)$ under the convention $X_R=R{X}_L+t$, the relation is $F=K_R^{-\mathsf{T}}[t{]}_{\times }R{K}_L^{-1}$, where $[t{]}_{\times }v=t\times v$. Translation direction affects the geometry, but multiplying $t$ by a scalar only rescales $F$: the fundamental matrix alone cannot establish a metric camera baseline. Pure rotation has $t=0$ and requires a different geometric description.^[ref]

Occlusion in stereo vision occurs when a scene feature visible from one camera is hidden behind another surface from the second viewpoint. Such a feature has no visible partner, even if camera calibration is exact. Stereo correspondence must allow unmatched locations instead of forcing every image location to have a partner.^[ref]

Consider a nearby post in front of a distant wall. Moving the viewpoint sideways shifts the post's projection more than the wall's because their depths differ. A strip of wall exposed beside the post in one image can therefore be covered in the other. Matching that strip to the post invents a depth belonging to the wrong surface. Missing-value masks and consistency checks can help represent this limitation, while smoothing a disparity map across the boundary can conceal it rather than recover the hidden wall.

A reprojection error compares an observed image point with the position predicted by projecting a reconstructed scene point through a camera model. If $q_i$ is an observed position and ${\pi }_i(P)$ its prediction, the residual is $e_i=q_i-{\pi }_i(P)$. One possible aggregate is the per-point root mean square Euclidean norm:Coordinates in pixels give an error in pixels. Least squares instead minimizes the associated sum of squares; normalization conventions should be stated when reporting a summary.^[ref]

For an observation $(100,50)$ and prediction $(103,54)$, the Euclidean norm of the residual is 5 pixels. Camera calibration can adjust model parameters to reduce many such residuals, while stereoscopic triangulation can adjust a reconstructed point with the camera parameters fixed. Low reprojection error tests agreement with observations under that model; incorrect stereo correspondence or an incorrect camera baseline can still produce wrong scene geometry.

Stereo correspondence identifies image positions in two views that depict the same scene point. This is the matching step needed before stereoscopic triangulation can recover that point. Epipolar geometry restricts a candidate match to an epipolar line; after horizontal stereo rectification, that search follows a corresponding image row.^[ref]

For example, matching a corner at horizontal coordinate 120 in the left view with coordinate 96 in the right gives stereo disparity 24 pixels. A repeated window pattern might offer equally plausible candidates at 96 and 72, producing different inferred depths. Geometry alone does not choose the correct window. A foreground object can also hide the feature in one view: occlusion in stereo vision then prevents a visible match. Texture, agreement of nearby matches and explicit rejection of ambiguous locations supply evidence beyond mere proximity along a row. A confident disparity map must represent locations where stereo correspondence failed as well as those where it succeeded.

Stereo disparity is the difference between the image positions of the same scene feature in two views. For an ideal horizontally aligned pair, use signed horizontal coordinates with matched principal points and defineWith the orientation and camera baseline convention of stereoscopic triangulation, a point in front of the cameras has $d=fB/Z$: stereo disparity measures inverse depth, rather than depth itself. Halving $d$ doubles $Z$ when the camera baseline and focal length stay fixed.

A disparity map assigns this difference to matched image locations. Finding the matches is a separate stereo correspondence problem. A repeated pattern can give several plausible matches; a feature hidden from one camera has no visible partner. A small measured stereo disparity is therefore not, by itself, proof of a distant object: the match and calibration must also be credible.^[ref]

The ideal relation also explains why far-away reconstruction becomes sensitive to measurement error. Differentiating $Z=fB/d$ gives $\mathrm{d}Z/\mathrm{d}d=-fB/d^2$; the first-order propagation of uncertainty is ${\sigma }_Z\simeq fB{\sigma }_d/d^2$. Thus equal disparity errors produce larger depth errors at greater depth. The example and curves under stereoscopy quantify this effect.

Stereoscopic triangulation reconstructs a scene point from corresponding image positions and known camera geometry. Each image position determines a viewing direction. Two correctly matched views constrain the point to lie on both viewing rays; one view alone leaves its position along a ray undetermined.

For an ideal aligned pair, put the left camera at the origin and the right one at $(B,0,0)$ in a Cartesian coordinate system, with their axes pointing in the positive $Z$ direction. Assume a common focal length $f$, square pixels, corrected distortion and image coordinates measured from aligned principal points. Forward perspective projection givesThe stereo disparity $d=u_L-u_R$ therefore determines all three coordinates:Here $Z$ is depth along the camera axis; the Euclidean distance from the left camera is instead $\sqrt{X^2+Y^2+Z^2}$. If $f,u_L,v_L,d$ use pixels and the camera baseline $B$ uses metres, the recovered coordinates use metres. Without a known length scale, the images alone do not determine metric size.^[ref]

Real cameras require calibration before these simplified equations apply. Stereo rectification transforms the images to an aligned geometry. With noisy measurements, viewing rays need not intersect exactly; minimizing reprojection error instead seeks a point whose projected positions agree as closely as possible with the observations. Reconstruction also depends on stereo correspondence: a mathematically precise intersection of mismatched viewing directions can still describe the wrong scene point.^[ref]