[论文解读] Bijective Deformations in Rn via Integral Curve Coordinates

Lisa Huynh|arXiv (Cornell University)|Jun 2, 2014

Advanced Numerical Analysis Techniques被引用 3

一句话总结

本文提出积分曲线坐标（Integral Curve Coordinates），一种在 R^n 中生成双射形变的算法，通过将形状内点映射到由具有单一极大值的函数导出的梯度场的积分曲线，实现双射形变。该方法通过梯度流的边界映射确保双射性，当边界在拓扑上为 n-球面时，可在任意维度实现平滑、可逆的形变。

ABSTRACT

Shape deformation is a widely studied problem in computer graphics, with applications to animation, physical simulation, parameterization, interactive modeling, and image editing. In one instance of this problem, a \cage" (polygon in 2D and polyhedra in 3D) is created around a shape or image region. As the vertices of the cage are moved, the interior deforms. The cage may be identical to the shape's boundary, which has one fewer dimension than the shape itself, and is typically more convenient, as the cage may be simpler (fewer vertices) or be free of undesirable properties (such as a non-manifold mesh or high topological genus). We introduce Integral Curve Coordinates and use them to create shape deformations that are bijective, given a bijective deformation of the shape's boundary or an enclosing cage. Our approach can be applied to shapes in any dimension, provided that the boundary of the shape (or cage) is topologically equivalent to an n-sphere. Integral Curve Coordinates identify each point in a domain with a point along an integral curve of the gradient of a function f, where f has exactly one critical point, a maximum, in the domain, and the gradient of f on the boundary points inward. By identifying every point inside a domain (shape) with a point on its boundary, Integral Curve Coordinates provide a natural mapping from one domain to another given a mapping of the boundary. We evaluate our deformation approach in 2D. Our algorithm is based on the following three steps: (i) choosing a maximum via a grass re algorithm; (ii) computing a suitable function f on a discrete grid via a construct called the cousin tree; (iii) tracing integral curves. We conclude with a discussion of limitations arising from piecewise linear interpolation and discretization to a grid.

研究动机与目标

• 开发一种适用于任意维度的一般性双射形变方法，尤其适用于具有复杂或高亏格边界的形状。
• 解决当形状边界为非流形或拓扑结构复杂时，维持形变双射性的挑战。
• 提供一种坐标系，通过梯度场的积分曲线将内部点映射到边界点，实现基于边界控制的自然插值。
• 确保在任意双射笼形变下，形变始终保持可逆（双射），即使在高维或非凸区域中亦然。
• 将现有基于笼的形变技术扩展至高维，同时保持拓扑一致性，避免折叠或自相交。

提出的方法

• 使用 grass re 算法在区域内识别一个合适的极大值点，确保函数 f 仅有一个临界点。
• 在离散网格上构建一棵‘cousin tree’，以计算具有单一极大值且边界处梯度指向内的标量函数 f。
• 将积分曲线定义为梯度场 ∇f 的轨迹，将每个内部点映射到一条唯一终止于边界的曲线。
• 通过积分曲线流在内部点与边界点之间建立双射对应关系，实现从笼到形状的形变传递。
• 在离散网格上应用分段线性插值，以追踪积分曲线并高效计算形变映射。
• 通过强制边界形变本身为双射，并确保在整个区域内梯度场保持非退化，来保证双射性。

实验结果

研究问题

• RQ1 当笼（边界）被双射形变时，是否能保证在高维或非凸区域中 R^n 内的形变为双射？
• RQ2 如何构建一种坐标系，通过梯度流将内部点映射到边界点，同时保持双射性？
• RQ3 对标量函数 f 的何种条件可确保其梯度场生成的积分曲线能唯一标识每个内部点？
• RQ4 在边界在拓扑上为 n-球面的前提下，该方法如何扩展至任意维度？
• RQ5 使用分段线性插值与离散网格采样时，该方法存在哪些局限性？

主要发现

• 只要笼形变是双射且边界在拓扑上为 n-球面，所提方法即可保证在 R^n 中实现双射形变。
• 积分曲线坐标提供了一种自然且可逆的映射，将区域内部点通过具有单一极大值的函数的梯度流映射到其边界。
• 该方法适用于任意维度，将基于笼的形变技术从 2D 和 3D 扩展至高维形状。
• 该算法在 2D 中成功实现了形变计算，方法包括使用 grass re 算法选择极大值点、使用 cousin tree 构造函数，以及追踪积分曲线。
• 局限性源于分段线性插值与网格离散化，可能导致形变场中出现微小失真或不光滑性。
• 只要边界表现良好，该方法即可保持拓扑一致性，避免折叠或自相交，即使在复杂或高亏格区域中亦然。