Search arXivSearch

arXiv · 2607.10321

Discontinuous Prior-Mode Sections and the Geometry of Ambiguity in Intrinsic Image Decomposition

Abstract

The viral 2015 photograph known as "The Dress" divides observers into two camps because it is ambiguous: the same image colors can be explained either as a blue-black surface under one illuminant or as a white-gold surface under another. We propose a geometric account in which the ambiguity arises from a singularity in intrinsic image decomposition, the inverse problem of separating an observed image into reflectance and illumination. Our central claim is that the prior-mode section, i.e. the prior-preferred decomposition, switches across an ambiguity boundary in image space, and that any smooth learned model can only approximate this discontinuous switch by forming a thin transition layer. This predicts two observable signatures, where $Δ$ is the jump between branches of the prior-mode section and $λ$ is the regularization strength: for inverse decomposers, an albedo Jacobian scaling as $|Δ|/\sqrtλ$; and for forward encoders, the Fernet curvature that blows up on a scale of $1/\sqrtλ$. On CGIntrinsics ($N=1998$ images, $n=2\times 10^7$ pixels), the color-temperature albedo Jacobian of Careaga DPT has partial Spearman correlation $r=0.41$ with dense ground-truth albedo error, compared with $r=0.087$ and $r=0.021$ for brightness and saturation controls. On "The Dress", CLIP ViT-L/14 exhibits a latent curvature peak of $κ=73.03$ at $6473\,\mathrm{K}$, one sampled step from D65 daylight, while a control dress image peaks at $κ=34.75$ with no comparable feature near D65. The same characteristic appears across architectures (U-Net inverter, diffusion inverter, ViT encoder) and datasets (rendered indoor scenes, web photograph), each measured with the observable appropriate to its model class.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ziheng Chen, Liangchen Liu, Qishi Zhan, Minxuan Hu, Liang Geng. 2026-07-11. Discontinuous Prior-Mode Sections and the Geometry of Ambiguity in Intrinsic Image Decomposition. https://arxiv.org/abs/2607.10321

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Classification of compact manifolds with positive isotropic curvature

We show the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or a quotient manifold of $\mathbb{S}^{n-1}\times \mathbb{R}$ by a cocompact discrete subgroup of the isometry group of the round cylinder $\mathbb{S}^{n-1}\times \mathbb{R}$, or a connected sum of a finite number of such manifolds. This extends previous works of Brendle and Chen-Tang-Zhu, and improves a work of Huang. The proof uses Ricci flow with surgery on compact orbifolds, with the help of the ambient isotopy uniqueness of closed tubular neighborhoods of an isolated singular point in an orbifold.

math.DG

Isoparametric foliations and bounded geometry

We prove that there are only finitely many isoparametrically foliated closed connected Riemannian manifolds with bounded geometry, fixed dimension $n\neq5$, and finite fundamental group, up to foliated diffeomorphism. In addition, we construct various infinite families of isoparametric foliations that are mutually not foliated diffeomorphic, for instance on a fixed sphere.

math.DG

Minimal foliations, codimension-one stable norms, and a question of Bangert

We compute the codimension-one stable norm for a natural class of cohomogeneity-one metrics on tori. In every dimension $n\ge3$, the formula yields smooth nonflat metrics for which each primitive codimension-one homology class is represented by a foliation of calibrated tori, giving a negative answer to a question of Bangert. On $\mathbb T^3$, we construct an infinite-dimensional family of nonflat metrics whose codimension-one stable norm agrees exactly with that of the unit cubic flat torus and whose total volume is fixed. An explicit two-parameter subfamily contains pairwise non-isometric metrics. These examples also show that the Euclidean-stable-norm-and-volume data are not locally injective near the cubic flat metric. Conversely, among smooth metrics on $\mathbb T^3$ admitting a free isometric circle action and having the cubic Euclidean codimension-one stable norm, we prove that volume is at most one, with equality only for the cubic flat metric up to an isometry isotopic to the identity.

math.DG