Caustic (optics)

Last updated
Caustics produced by a glass of water Kaustik.jpg
Caustics produced by a glass of water

In optics, a caustic or caustic network [1] is the envelope of light rays which have been reflected or refracted by a curved surface or object, or the projection of that envelope of rays on another surface. [2] The caustic is a curve or surface to which each of the light rays is tangent, defining a boundary of an envelope of rays as a curve of concentrated light. [2] Therefore, in the photo to the right, caustics can be seen as patches of light or their bright edges. These shapes often have cusp singularities.

Contents

Nephroid caustic at the bottom of a teacup Caustic00.jpg
Nephroid caustic at the bottom of a teacup
Caustics made by the surface of water Great Barracuda, corals, sea urchin and Caustic (optics) in Kona, Hawaii 2009.jpg
Caustics made by the surface of water
Caustics in shallow water

Explanation

The rays refracted by a non-flat surface form caustics where many of them cross. Caustics.gif
The rays refracted by a non-flat surface form caustics where many of them cross.

Concentration of light, especially sunlight, can burn. The word caustic, in fact, comes from the Greek καυστός, burnt, via the Latin causticus, burning.

A common situation where caustics are visible is when light shines on a drinking glass. The glass casts a shadow, but also produces a curved region of bright light. In ideal circumstances (including perfectly parallel rays, as if from a point source at infinity), a nephroid-shaped patch of light can be produced. [3] [4] Rippling caustics are commonly formed when light shines through waves on a body of water.

Another familiar caustic is the rainbow. [5] [6] Scattering of light by raindrops causes different wavelengths of light to be refracted into arcs of differing radius, producing the bow.

Computer graphics

Photograph of a typical wine glass caustic Wine glass caustic example.jpg
Photograph of a typical wine glass caustic
Computer rendering of a wine glass caustic Computer rendering of a wine glass caustic.png
Computer rendering of a wine glass caustic

In computer graphics, most modern rendering systems support caustics. Some of them even support volumetric caustics. This is accomplished by raytracing the possible paths of a light beam, accounting for the refraction and reflection. Photon mapping is one implementation of this. Volumetric caustics can also be achieved by volumetric path tracing. Some computer graphic systems work by "forward ray tracing" wherein photons are modeled as coming from a light source and bouncing around the environment according to rules. Caustics are formed in the regions where sufficient photons strike a surface causing it to be brighter than the average area in the scene. “Backward ray tracing” works in the reverse manner beginning at the surface and determining if there is a direct path to the light source. [7] Some examples of 3D ray-traced caustics can be found here.

The focus of most computer graphics systems is aesthetics rather than physical accuracy. This is especially true when it comes to real-time graphics in computer games [8] where generic pre-calculated textures are mostly used instead of physically correct calculations.

Caustic engineering

Caustic engineering describes the process of solving the inverse problem to computer graphics. That is, given a specific image, to determine a surface whose refracted or reflected light forms this image.

In the discrete version of this problem, the surface is divided into several micro-surfaces which are assumed smooth, i.e. the light reflected/refracted by each micro-surface forms a Gaussian caustic. Gaussian caustic means that each micro-surface obey Gaussian distribution. The position and orientation of each of the micro-surfaces are then obtained using a combination of Poisson integration and simulated annealing. [9]

There have been many different approaches to address the continuous problem. One approach uses an idea from transportation theory called optimal transport [10] to find a mapping between incoming light rays and the target surface. After obtaining such a mapping, the surface is optimized by adapting it iteratively using Snell's law of refraction. [11] [12]

Optimal-transport-based caustic pattern design

Basic principle

Controlling caustic pattern is rather a challenging problem as very minor changes of the surface will significantly affect the quality of the pattern since light ray directions might be interfered by other light rays as they intersect with and refract through the material. This will lead to a scattered, discontinuous pattern. To tackle this problem, optimal-transport-based is one of the existing proposed methods to control caustic pattern by redirecting light's directions as it propagates through the surface of a certain transparent material. This is done by solving an inverse optimization problem based on optimal transport. [13] [14] Given a reference image of an object/pattern, the target is to formulate the mathematical description of the material surface through which light refracts and converges to the similar pattern of the reference image. This is done by rearranging/recomputing the initial light intensity until the minimum of the optimization problem is reached.

Design pipeline

Here considering only refractive caustic, the objective can be determined as follows (similar principle for reflective caustic with different output):

Input: image of pattern to be obtained after propagating lights through the material, given the light source position.

Output: caustic geometry on the receiver (flat solid surface, e.g.: floor, wall, etc...)

In order to achieve the target pattern, the surface where light refracts through and exits to the outer environment must be manufactured into certain shape to achieve desired pattern on the other side of the material.

As mentioned, given an input image, this process will produce the similar caustic pattern as the output. In principle, there are two core stages with each includes two sub-stages:

  • Optimal-transport-based caustic design CausOptim.png
    Optimal-transport-based caustic design
    Solving Optimal Transport Problem
    1. Compute Target Light Distribution
    2. Compute Mapping from Initial Distribution to Target Distribution
  • Optimizing Target Surface
    1. Compute Normal Representation of Surface
    2. Surface Refinement

Solving optimal transport problem

As the case refraction occurs through a transparent surface, for instance the patterns appearing under clear water surface, 3 main phenomena can be observed:

  • Very bright (condensed light intensity) points (so-called singularity)
  • Curve-like objects that connect the points
  • Regions with low light intensity

To perform computation, the following 3 quantities are being respectively introduced to describe the geometric characteristics of the pattern: point singularity (measuring light intensity at certain highly concentrated light-point), curve singularity (measuring light intensity at/around a light-curve), and irradiance measure (measuring intensity in a certain poorly concentrated light-area). Putting them altogether, the following function defines the total radiant flux measure at a certain section Ω on the target surface:

After this step, there are two existing measures of the radiant flux measures of the source (uniform distribution, by initialization) and the target (computed in previous step). What remains to compute is the mapping from the source to target. In order to do this, there are several quantities to be defined. Firstly, two light intensities evaluated by probabilities: (light intensity evaluated by dividing by the flux of the union region between and ), (light intensity evaluated by dividing by the flux of the union region between and ) are defined. Secondly, the source mesh is generated as multiple sites , which is later being deformed. Next, a power diagram (a set of power cells) is defined on this set of sites weighted by a weight vector . Finally, the goal is to decide whether which power cells are going to be move. Considering all vertices on the surface, finding the minimizer of the following convex function will produce the matched power diagram for the target:

Optimizing target surface

Computation process TarOptim.png
Computation process

After solving optimal transport problem, the vertices are achieved. However, this gives no information about what the final surface should look like. To achieve the desired target surface given the incoming light ray , outgoing light ray and power diagram from the step above, the surface normals representation can be computed according to Snell's law as:

where,

: refraction coefficient
: target position obtained from solving above optimal transport problem

As the normal representation is obtained, surface refinement is then achieved by minimizing the following compound energy function:

where,

is the integration energy that aligns the vertex normals obtained from the Optimal Transport with the target normals obtained from the Snell's law computation above.
as mesh generated in step Solving Optimal Transport cannot adapt to the sharp instances from the discontinuities, this energy is to penalize the vertices to not change significantly from the incoming light ray.
is the energy measuring the flux over the triangle in the mesh.
is the energy that regularizes the shape of the triangles to maintain its well-shapedness.
is barrier energy to ensure that surface does not deform beyond a certain distance threshold .

Differentiable inverse rendering caustic pattern design

Basic principle

Inverse graphics is a method of observing the data from an image and inferring all possible properties including 3D geometry, lighting, materials, and motion in order to generate a realistic image. [15] In conventional computer graphics, to render an image with desired appearance and effects, it is given all the relevant properties/characteristics. This could be described as the forward method. On the contrary, in caustic design, the properties and characteristics of objects (especially the material surface) are not trivial. The given constraint is the target image to obtain. Therefore, the goal is to obtain its properties and characteristics by observing and inferring the target image. This can be considered the inverse/backward method.

The following is the basic loss function explaining how to optimize the parameters:

where,

L(c): loss function, mean square error of the rendered image and the target
c: contains elements which can influence the generated image
I: target image

Designed pipeline

Differentiable inverse rendering caustic design Cam-geo-app.png
Differentiable inverse rendering caustic design

At first, the target pattern is designed and the forward pass computed to get the synthetic pattern. It's compared to the target pattern and get the loss. The objection is to let the synthetic pattern is similar to the target pattern as much as possible. And then do the back propagation to get the optimized properties need to use in caustic manufacturing.

Elements contributing to generated image

  • Appearance (): per-pixel surface appearance is modeled as product of mipmapped texture and per-pixel brightness.
  • Geometry (): assume a 3D scene to be approximated by triangles, parameterized by vertices .
  • Camera (): focal length, the point of view, the center of the camera.

There could be more elements, for example albedo and refraction coefficient.

General differentiable framework

Introduce U as an intermediate variable indicating 2D projected vertex coordinate positions. The gradient of these properties can be derived by chain rule indirectly.

After applying the stochastic gradient descent, the optimal , and could be achieved. Subsequently, these quantities are used to carve or mill the material to generate the target pattern.

Implementation

One common approach is to utilize the ability to perform differential operations in various deep learning auto-differentiation frameworks/libraries such as: Tensorflow, PyTorch, Theano.

One more approach is to make use of the OpenDR [16] framework to build a forward graphics model and to automatically obtain derivatives with respect to the model parameters for optimization. As optimization properties are obtained, the target image can be generated. OpenDR provides a local optimization method that can be incorporated into probabilistic programming frameworks. This can be used to solve the problem of caustic.

Manufacturing

Design and manufacturing process Diffren.png
Design and manufacturing process

Once the caustic pattern has been designed computationally, the processed data will be then sent to the manufacturing stage to get the final product. The most common approach is subtractive manufacturing (machining).

Various materials can be used depending on the desired quality, the effort it takes to manufacture, and the available manufacturing method.

Architecture Screenshot from 2020-01-29 13-57-56.png
Architecture

Caustic pattern design has many real-world applications, for example in:

See also

Related Research Articles

In physics, the cross section is a measure of the probability that a specific process will take place in a collision of two particles. For example, the Rutherford cross-section is a measure of probability that an alpha particle will be deflected by a given angle during an interaction with an atomic nucleus. Cross section is typically denoted σ (sigma) and is expressed in units of area, more specifically in barns. In a way, it can be thought of as the size of the object that the excitation must hit in order for the process to occur, but more exactly, it is a parameter of a stochastic process.

<span class="mw-page-title-main">Phase velocity</span> Rate at which the phase of the wave propagates in space

The phase velocity of a wave is the rate at which the wave propagates in any medium. This is the velocity at which the phase of any one frequency component of the wave travels. For such a component, any given phase of the wave will appear to travel at the phase velocity. The phase velocity is given in terms of the wavelength λ (lambda) and time period T as

In vector calculus, the divergence theorem, also known as Gauss's theorem or Ostrogradsky's theorem, is a theorem relating the flux of a vector field through a closed surface to the divergence of the field in the volume enclosed.

<span class="mw-page-title-main">Dispersion (optics)</span> Dependence of phase velocity on frequency

In optics and in wave propagation in general, dispersion is the phenomenon in which the phase velocity of a wave depends on its frequency; sometimes the term chromatic dispersion is used for specificity to optics in particular. A medium having this common property may be termed a dispersive medium.

In mathematical analysis, a function of bounded variation, also known as BV function, is a real-valued function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single variable, being of bounded variation means that the distance along the direction of the y-axis, neglecting the contribution of motion along x-axis, traveled by a point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function, but can be every intersection of the graph itself with a hyperplane parallel to a fixed x-axis and to the y-axis.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation xf(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

Geometrical optics, or ray optics, is a model of optics that describes light propagation in terms of rays. The ray in geometrical optics is an abstraction useful for approximating the paths along which light propagates under certain circumstances.

In the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection.

<span class="mw-page-title-main">Etendue</span> Measure of the "spread" of light in an optical system

Etendue or étendue is a property of light in an optical system, which characterizes how "spread out" the light is in area and angle. It corresponds to the beam parameter product (BPP) in Gaussian beam optics. Other names for etendue include acceptance, throughput, light grasp, light-gathering power, optical extent, and the AΩ product. Throughput and AΩ product are especially used in radiometry and radiative transfer where it is related to the view factor. It is a central concept in nonimaging optics.

Phase-contrast imaging is a method of imaging that has a range of different applications. It measures differences in the refractive index of different materials to differentiate between structures under analysis. In conventional light microscopy, phase contrast can be employed to distinguish between structures of similar transparency, and to examine crystals on the basis of their double refraction. This has uses in biological, medical and geological science. In X-ray tomography, the same physical principles can be used to increase image contrast by highlighting small details of differing refractive index within structures that are otherwise uniform. In transmission electron microscopy (TEM), phase contrast enables very high resolution (HR) imaging, making it possible to distinguish features a few Angstrom apart.

<span class="mw-page-title-main">Weierstrass–Enneper parameterization</span> Construction for minimal surfaces

In mathematics, the Weierstrass–Enneper parameterization of minimal surfaces is a classical piece of differential geometry.

The topological derivative is, conceptually, a derivative of a shape functional with respect to infinitesimal changes in its topology, such as adding an infinitesimal hole or crack. When used in higher dimensions than one, the term topological gradient is also used to name the first-order term of the topological asymptotic expansion, dealing only with infinitesimal singular domain perturbations. It has applications in shape optimization, topology optimization, image processing and mechanical modeling.

<span class="mw-page-title-main">Radiative transfer equation and diffusion theory for photon transport in biological tissue</span>

Photon transport in biological tissue can be equivalently modeled numerically with Monte Carlo simulations or analytically by the radiative transfer equation (RTE). However, the RTE is difficult to solve without introducing approximations. A common approximation summarized here is the diffusion approximation. Overall, solutions to the diffusion equation for photon transport are more computationally efficient, but less accurate than Monte Carlo simulations.

<span class="mw-page-title-main">Mild-slope equation</span> Physics phenomenon and formula

In fluid dynamics, the mild-slope equation describes the combined effects of diffraction and refraction for water waves propagating over bathymetry and due to lateral boundaries—like breakwaters and coastlines. It is an approximate model, deriving its name from being originally developed for wave propagation over mild slopes of the sea floor. The mild-slope equation is often used in coastal engineering to compute the wave-field changes near harbours and coasts.

A synchronous frame is a reference frame in which the time coordinate defines proper time for all co-moving observers. It is built by choosing some constant time hypersurface as an origin, such that has in every point a normal along the time line and a light cone with an apex in that point can be constructed; all interval elements on this hypersurface are space-like. A family of geodesics normal to this hypersurface are drawn and defined as the time coordinates with a beginning at the hypersurface. In terms of metric-tensor components , a synchronous frame is defined such that

In mathematical physics and the theory of partial differential equations, the solitary wave solution of the form is said to be orbitally stable if any solution with the initial data sufficiently close to forever remains in a given small neighborhood of the trajectory of

Filtering in the context of large eddy simulation (LES) is a mathematical operation intended to remove a range of small scales from the solution to the Navier-Stokes equations. Because the principal difficulty in simulating turbulent flows comes from the wide range of length and time scales, this operation makes turbulent flow simulation cheaper by reducing the range of scales that must be resolved. The LES filter operation is low-pass, meaning it filters out the scales associated with high frequencies.

In the theory of Lorentzian manifolds, spherically symmetric spacetimes admit a family of nested round spheres. In such a spacetime, a particularly important kind of coordinate chart is the Schwarzschild chart, a kind of polar spherical coordinate chart on a static and spherically symmetric spacetime, which is adapted to these nested round spheres. The defining characteristic of Schwarzschild chart is that the radial coordinate possesses a natural geometric interpretation in terms of the surface area and Gaussian curvature of each sphere. However, radial distances and angles are not accurately represented.

In mathematics, the Neumann–Poincaré operator or Poincaré–Neumann operator, named after Carl Neumann and Henri Poincaré, is a non-self-adjoint compact operator introduced by Poincaré to solve boundary value problems for the Laplacian on bounded domains in Euclidean space. Within the language of potential theory it reduces the partial differential equation to an integral equation on the boundary to which the theory of Fredholm operators can be applied. The theory is particularly simple in two dimensions—the case treated in detail in this article—where it is related to complex function theory, the conjugate Beurling transform or complex Hilbert transform and the Fredholm eigenvalues of bounded planar domains.

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

References

  1. Lynch, DK; Livingston, W (2001). "The caustic network". Color and Light in Nature. Cambridge University Press. ISBN   978-0-521-77504-5.
  2. 1 2 Weinstein, Lev Albertovich (1969). Open Resonators and Open Waveguides. Boulder, Colorado: The Golem Press.
  3. Circle Catacaustic. Wolfram MathWorld. Retrieved 2009-07-17.
  4. Levi, Mark (2018-04-02). "Focusing on Nephroids". SIAM News. Retrieved 2018-06-01.
  5. Rainbow caustics
  6. Caustic fringes
  7. Guardado, Juan (2004). "Chapter 2. Rendering Water Caustics". In Fernando, Randima (ed.). GPU Gems: Programming Techniques, Tips and Tricks for Real-Time Graphics. Addison-Wesley. ISBN   978-0321228321.
  8. "Caustics water texturing using Unity 3D". Dual Heights Software. Retrieved May 28, 2017.
  9. Marios Papas (April 2011). "Goal Based Caustics" (PDF). Computer Graphics Forum (Proc. Eurographics). 30 (2). doi:10.1111/j.1467-8659.2011.01876.x. Archived (PDF) from the original on May 11, 2021. (Additional resources at Wojciech Jarosz's Dartmouth University site)
  10. Villani, Cedric (2009). Optimal Transport - Old and New. Springer-Verlag Berlin Heidelberg. ISBN   978-3-540-71049-3.
  11. Philip Ball (February 2013). "Light tamers". New Scientist. 217 (2902): 40–43. Bibcode:2013NewSc.217...40B. doi:10.1016/S0262-4079(13)60310-3.
  12. Choreographing light: New algorithm controls light patterns called 'caustics', organizes them into coherent images
  13. Schwartzburg, Yuliy; Testuz, Romain; Tagliasacchi, Andrea; Pauly, Mark (27 July 2014). "High-contrast computational caustic design". ACM Transactions on Graphics. 33 (4): 1–11. doi:10.1145/2601097.2601200.
  14. Cédric, Villani (2009). Optimal Transport, Old and New. Springer. ISBN   978-3-540-71050-9.
  15. Loper, Matthew M.; Black, Michael J. (2014), "OpenDR: An Approximate Differentiable Renderer", Computer Vision – ECCV 2014, Springer International Publishing, pp. 154–169, doi: 10.1007/978-3-319-10584-0_11 , ISBN   978-3-319-10583-3
  16. Loper, Matthew M.; Black, Michael J. (2014), "OpenDR: An Approximate Differentiable Renderer", Computer Vision – ECCV 2014, Springer International Publishing, pp. 154–169, doi: 10.1007/978-3-319-10584-0_11 , ISBN   978-3-319-10583-3

Further reading