The invention relates to three-dimensional (3D) object watermarking. More particularly, the invention relates to a method for watermarking a three-dimensional object and to a method for detecting such watermark. The invention also relates to associated devices implementing the methods.
This section is intended to introduce the reader to various aspects of art, which may be related to various aspects of the present invention that are described and/or claimed below. This discussion is believed to be helpful in providing the reader with background information to facilitate a better understanding of the various aspects of the present invention. Accordingly, it should be understood that these statements are to be read in this light, and not as admissions of prior art.
Digital watermarking consists in modifying a multimedia content in a robust and imperceptible way, in order to hide a secret message. Applications of watermarking range from broadcast monitoring to copyright protection through meta-data binding. In particular, robust watermarking methods are essential components of content protection architectures. The embedded message (referred to as the watermark payload) indeed constitutes a forensic piece of evidence for traitor tracing tasks, e.g. by identifying a leak when a content is illegally made available on the Internet.
The popularity of 3D generated models has created the need for dedicated methods, designed to tackle robust watermarking of meshes. Meshes are assumed to be piecewise-linear approximations of the surface boundary of 3D objects. They are formally defined by a set of vertices V, a set of edges E and a set of facets F. 3D watermarking methods focus on the common triangle mesh representation. Mesh watermarking presents 3 main challenges: (i) the acquisition process (e.g., scanners) and the geometry processing pipeline may create defect-laden data (e.g., non-manifold parts); (ii) meshes are irregular samplings of surfaces, which prevents direct applications of the usual signal processing tools; and (iii) meshes can undergo a wide range of intractable alterations, some of which may not even change the underlying surface (e.g., resampling). While non-blind 3D watermarking methods show good robustness performances against some attacks, designing blind methods remains an enduring challenge. Most practical applications would indeed require that the original 3D model is not needed at decoding, which increases the challenges with respect to robustness. In a nutshell, blind methods cannot rely on the latest advances in shape matching, which could help improving the registration stage of the decoding, for instance when dealing with different poses of a model.
In the spatial domain, many state of the art 3D watermarking blind algorithms consist in altering the distribution of the distances to the mesh barycenter. The watermark constraint consists in modifying the average inside the bins of the distribution of Euclidean distances ρ between the mesh vertices and the mesh barycenter. This modification either increases the average value inside the bin above a threshold of 0.5, or decreases it below the threshold of 0.5 (wherein values inside the bins are normalized to [0; 1]) depending on the watermark bit. ρ is altered by relocating the vertices along their radial direction (i.e. the direction defined by the mesh center of mass and the vertex). The detection of the watermark is performed by computing the histogram of distances ρ and comparing the normalized average value inside the bin to 0.5.
Ensuring that the distribution of distances can be retrieved by the decoder and that the alterations created by the watermark embedding constraints can be detected is referred to as the causality issue. This is achieved by guaranteeing that every ρ value stays within the same bin of the histogram throughout the embedding process, and that the mesh barycenter remains unchanged.
The watermarking constraint and the causality issue has been previously addressed by incorporating them within a quadratic programming framework for 3D watermarking (see R. Hu, P. Rondao-Alface and B. Macq, in “Constrained optimisation of 3D polygonal mesh watermarking by quadratic programming,” Proceedings of the 2009 IEEE International Conference on Acoustics, Speech and Signal Processing, Washington, D.C., USA, 2009). This method consists in minimizing the mean square error of the distortion introduced by the watermark embedding process, while ensuring a watermark constraint and addressing the causality issue. Such a baseline method is sensitive to connectivity altering distortions, especially because of the barycenter definition. For instance, when dealing with non-uniform (meshing using a variable density of vertices) or anisotropic meshing (skinny triangles), the discrete barycenter computation (average of positions) yields counter-intuitive and unstable results.
Alternate and more robust definitions of the barycenter are thus advocated, such as surface-weighted barycenter or volume-weighted barycenter. For instance, in “Optimized 3D watermarking for minimal surface distortion” IEEE Transactions on Image Processing, vol. 22, pp. 1822-1835, May 2013, A. G. Bors and M. Luo disclose a watermarking method relying on surface and volume weighted barycenter. Besides A. G. Bors and M. Luo further disclose how to post-process a watermark embedded using a radial technique such as disclosed by Cho et al. in “An Oblivious Watermarking for 3-D Polygonal Meshes Using Distribution of Vertex Norms”, IEEE Transactions on signal Processing, vol 1, pp. 142-155, 1 Jan. 2007. Such post-process comprises displacing a given vertex on a sphere centered at the barycenter, i.e. given the distribution of the distances known from the radial embedding technique, such that the post-process minimizes the perceptual impact of the watermark. However this degree of freedom of the vertex relocation is limited to the sphere and not part of the watermarking embedding process. Besides A. G. Bors and M. Luo do not disclose how to address the causality issue. As a result, a more general alteration strategy than simply relocating the vertices along the radial direction is needed.
More generally, a blind 3D watermarking framework for watermarking the distances of the vertices compatible with an integral geometrical primitive and providing additional degrees of freedom in the embedding is needed.
The purpose of the invention is to overcome at least one of the disadvantages of prior art by proposing a 3D watermarking method for surface meshes, which embeds the watermark into the histogram of distances ρ. The method advantageously enables using any definition of the mesh barycenter (e.g., a barycenter which is less dependent on the discretization, but rather depends on the surface itself) and any set of predefined directions alongside which the vertices are relocated when embedding the watermark, while maintaining the causality issue and not making the assumption that the distribution of distances to the barycenter is uniform. Advantageously, the watermarking method according to the invention is based on a generalized formulation of the constraints that define the state-of-the-art quadratic programming framework. These generalized formulae are then linearized in order to incorporate them within a quadratic programming solver, which embeds the watermark in the histogram of distances ρ.
To this end, the invention relates to a method for watermarking a three-dimensional object, wherein the three-dimensional object is represented by a mesh, the mesh comprising a plurality of vertices. The watermarking method comprises determining an original histogram of distances for the mesh, wherein a distance is computed between a barycenter of said mesh and a vertex of the mesh; and modifying positions of a plurality of vertices of the mesh such that an histogram of distances for the modified mesh reaches a target histogram, the target histogram being function of a watermark payload and of the original histogram of distances. Advantageously modifying the positions of the plurality of vertices, comprises modifying the position of at least one vertex along a direction distinct from the direction defined by the vertex to the barycenter and such that a distortion constraint between said mesh and said modified mesh is satisfied and a distortion constraint between said barycenter and a barycenter of said modified mesh is satisfied. In an embodiment, the direction of modification of at least a vertex is a normal at the vertex. Such method improves the robustness of the watermarking especially in the case of locally planar configurations.
According to a particularly embodiment, the distance is an Euclidian distance between the barycenter and the vertex.
In preferred embodiments, the barycenter comprises a surface-weighted barycenter or a volume-weighted barycenter. More generally barycenter is called a geometrical primitive and comprises a robust density function. Such methods are particularly well adapted to non-uniform or anisotropic meshing.
According to a particularly advantageous characteristic of the invention, modifying positions of a plurality of vertices of the mesh comprises using a solver that keeps said barycenter unchanged, obtains said target histogram, and minimizes a distortion metric between the mesh and the modified mesh. According to an embodiment, the distortion metric comprises a mean square error of the plurality of vertex positions.
In other preferred embodiments, the histogram comprises at least one bin. In an embodiment, the target histogram is obtained by raising and lowering the mean value of bins in the original histogram depending on the payload bits to be inserted, so that the said mean values of bins are above or lower than a determined threshold. In another embodiment, the target histogram is obtained by raising and lowering the mean value of bins in the original histogram depending on the payload bits to be inserted so that the mean value of bins are equal to a determined value.
In a second aspect, the invention is directed to a method for detecting a watermark in a three-dimensional object, wherein the three-dimensional object is represented by a mesh comprising a plurality of vertices. The method comprises determining a watermarked histogram of distances for the mesh, wherein a distance is computed between a barycenter of said mesh and a vertex of the mesh; and determining a watermark payload by comparing said watermarked histogram to a reference histogram.
In a third aspect, the invention is directed to a device comprising at least one processor and an embedding module adapted to compute the steps of the watermarking method.
In a fourth aspect, the invention is directed to a device comprising at least one processor and a detecting module adapted to compute the steps of the detection method.
In a fifth aspect, the invention is directed to a computer-readable storage medium storing program instructions computer-executable to perform the disclosed methods.
While not explicitly described, the present embodiments may be employed in any combination or sub-combination. For example, the invention is not limited to the described quadratic solver and any solver capable of handling the watermark constraints and the causality issue can be used.
Besides, any characteristic or embodiment described for the watermarking method is compatible with a device intended to process the disclosed method and with a computer-readable storage medium storing program instructions.
Other characteristics and advantages of the invention will appear through the description of a non-limiting embodiment of the invention, which will be illustrated, with the help of the enclosed drawings.
Let us first introduce notation conventions. A triangular mesh M is defined by its set of nv vertices V and its set of nf facets F. A vertex vi is associated to a point piε3 whose Cartesian coordinates are (xi, yi, zi). P denotes the set of all points pi. ∥•∥ denotes the Euclidean norm or distance. Advantageously, the invention is not limited to the Euclidean distance. Vectors are written in column layout. For conciseness, sets and vectors are used indifferently, e.g. ρ is a column vector in n
The invention is not limited to triangular meshes and the described linearization method can be applied to any mesh. In particular, the invention can be advantageously applied to only a portion of a mesh representing a whole object. For instance, if the mesh describes a human body, a portion of the mesh could be an arm.
In a first step, a geometrical primitive is extracted from the mesh. In an embodiment, the geometrical primitive is a discrete mesh barycenter C. A barycenter is obtained by a weighted average of the vertices position in space. In a discrete barycenter, the weight of each vertex is equal. The spherical coordinates of pi with respect to the mesh barycenter C are denoted by (ρi, θi, φi). The unitary radial and normal vectors for vi are
and ni.
In a second step, an original distribution of distances for the mesh is determined. In an embodiment, the distribution of distances is a histogram of the distances ρ={ρi|iε[[1,nv]]}, comprising at least one bin. In the following, the number of bins of the histogram is denoted by nB. The edges of the bins in the histogram are evenly spaced by a step s. (ρjm, ρjM) denotes the boundaries of bin j and Nj is the number of samples within it. Bi denotes the index of the bin associated with ρi, which is normalized to {tilde over (ρ)}i with the affine transform:
m denotes the watermark payload and is made of nb bits. A “w” superscript indicates a watermarked variable.
is the watermark embedding strength.
In a third step, the position of at least one vertex of the mesh is modified thus resulting in a modified mesh. Accordingly a distribution of distances for the modified mesh is computed and compared to a target distribution. The target distribution is a function of the watermark payload and the original distribution. The optimization framework consists in minimizing a distortion metric, subject to the constraints of modifying the positions of the vertices to reach the target distribution of distances, e.g. by embedding m in the histogram of distances ρ, while addressing the causality issue.
Firstly, regarding the cost function, this function is chosen to be an objective distortion metric, defined as the MSE of the vertex positions:
Secondly, regarding watermark constraints, the watermark carrier is the average value inside the bins of the histogram of distances ρ. In the following, the first and the last bin of the histogram are not watermarked. Thus, nB=nb+2. To embed the payload bit mj, the average value of the distances ρ inside bin j+1 is raised above a value μj+1+α or lowered below μj+1−α depending on the value of the bit.
In the seminal approach for watermarking the distances between the mesh barycenter and the vertices, μj is set to (ρmj+ρMj)/2. This value is derived assuming that the distances ρ are uniformly distributed in the bin. In this case, the embedding distortion is minimal and the ‘histogram mapping function’ (a gamma correction) is efficient. In the following, this value is also chosen for μj. Nevertheless, since we do not assume that the distribution is uniform and we do not use the histogram mapping function, another value could be chosen.
Let us denote by Wεn
T<Wρ
w
Thirdly, regarding the causality constraints, to perfectly reconstruct the watermarked histogram, no change has to occur in the position of the barycenter, the mapping between vertices and bins of the histogram, and the histogram boundaries. Since edges are evenly spaced, these constraints lead to the following equations:
In the existing quadratic programming framework (as described by R. Hu, P. Rondao-Alface and B. Macq, in “Constrained optimization of 3D polygonal mesh watermarking by quadratic programming,” Proceedings of the 2009 IEEE International Conference on Acoustics, Speech and Signal Processing, Washington, D.C., USA, 2009), alterations are restricted to the radial directions and C is the average of all pi. In this context, using Δ{tilde over (ρ)}i=−{tilde over (ρ)}i as optimization variables, the cost and constraints equations become respectively quadratic and linear, allowing for efficient large-scale quadratic programming solvers to be used.
By denoting Δ{tilde over (ρ)} the vector [Δ, . . . , Δ]T, the cost function simplifies to:
By normalizing T to {tilde over (T)} with entries
the watermark constraints are rewritten as:
{tilde over (T)}=W{tilde over (ρ)}<WΔ{tilde over (ρ)}{tilde over (ρw)}
The Jacobian matrix of (xi, yi, zi) with respect to {tilde over (ρ)}i is given by:
For compactness, J{tilde over (ρ)}P({tilde over (ρ)}) denotes the 3×nv matrix whose ith column is J({tilde over (ρ)}i). Since C is the average of the vertex positions, the barycenter stability constraint expressed in Equation (1) is equivalent to:
J
{tilde over (ρ)}
P({tilde over (ρ)})Δ{tilde over (ρ)}w=0 (2)
Under this constraint, (and when not watermarking the first and last bin of the histogram), the histogram stability is equivalent to setting bounds on Δ{tilde over (ρ)}. Introducing a bin separation offset ΔG, this corresponds to:
ΔG−{tilde over (ρ)}i≦Δ{tilde over (ρ)}i≦1−ΔG−{tilde over (ρ)}i
The watermarked mesh is defined as ∀iε[[1, nv]], piw=pi+sΔρi
To decode the payload, one constructs the histogram of distances ρ and compares the average inside each bin to the associated value μj.
Advantageously, the present invention proposes an extension of the quadratic programming framework by considering an integral formulation of the stability constraints. In an embodiment, the geometrical primitive comprises a surface-weighted barycenter, a volume-weighted barycenter or the integration of a robust density function. In other words, the barycenter is obtained by a weighted average of the vertices positions in space, wherein the weights are more widely determined by a function of 3.
The discrete barycenter is not robust to anisotropic or non-uniform remeshing. While using more integral barycenters has been proposed to improve watermarking algorithms, their definitions involve non-linear and neighborhood-dependent weighting functions. Equations (1) and (2) are then no longer equivalent, and the mathematical model can no longer be formulated as a quadratic programming problem. To alleviate this problem, the invention introduces a linearization of the stability constraints.
Given a per facet weight w(f) and barycenter C(f), the general form of a robust mesh barycenter is given by:
With a first-order development of Cw, the barycenter stability equation is approximated using the Jacobian matrix J{tilde over (ρ)}C({tilde over (ρ)}), whose ith column is:
J
({tilde over (ρ)}i)=Jp
In the discrete and uniform barycenter case, Jp
As a conclusion, the barycenter stability constraint can be linearly approximated with:
J
{tilde over (ρ)}
C({tilde over (ρ)})Δ{tilde over (ρ)}w=0 (4)
where the i-th column of J{tilde over (ρ)}C({tilde over (ρ)}) is computed as jp
This last equation provides a generalization of the barycenter constraint, while all other constraints remain identical. This enables using a more integral barycenter, without losing the quadratic programming formulation.
According to a first embodiment, the surface-weighted barycenter is used. By denoting (p0f, p1f, p2f) the positions of the vertices in facet f, the surface weights and other quantities involved in the previous equations are given by:
The gradient of the weight is then computed with the following equation, where ⊥ denotes a 90° counter-clockwise rotation in the triangle plane.
According to a second embodiment, the volume-weighted barycenter is used. f is associated with a tetrahedron (O, p0f, p1f, p2f), where O represents an arbitrary reference point, and the weights are its signed volume. Thus:
Advantageously, the invention also proposes an extension of the quadratic programming framework regarding a generalization of the alteration directions. Setting Δ{tilde over (ρ)} as the optimization variables restricts the alteration process to the radial directions. When ρiTni≈1, the watermark embedding process effectively alters the geometry of the surface by relocating vertices along their normal. However, when the radial direction lies within the tangent plane, the embedding may be ineffective. In this case, the relocation does not introduce any geometric change, making the watermark not robust.
To grant better control of the robustness vs. imperceptibility trade-off, the optimization variables (modified during embedding) and the radial directions (carrying the watermark) are dissociated. Vertex-dependent predefined directions ui are used instead, so that they can be arbitrarily set, e.g., in the normal directions to ensure a robust embedding, or in perceptually-optimal directions. This dissociation adds a degree of freedom to the quadratic programming problem. The optimization variable Δrk associated with vertex vk is the signed displacement of pk along uk. The watermarked mesh construction then becomes: pkw=pk+Δrkwuk.
The cost function simply amounts to substituting Δ{tilde over (ρ)}{tilde over (ρk)} to Δrk.
By denoting cos ψi=ρiTui, the linear expansion of ρiw is:
ρiw=ρi+Δriw cos ψi+o(Δriw)
Note that ψi=0 corresponds to the conventional radial embedding. The watermark constraints are then linearized with the following equation, where Ψ denotes the diagonal matrix of cos ψi:
T−Wρ<WΨΔr
w
The constraint on the barycenter is modified by substituting JΔrC(Δr) to J{tilde over (ρ)}C({tilde over (ρ)}) in Equation (4), leading to:
J
Δr
C(0)Δrw=0
Applying the chain-rule, the ith column of JΔrC(0) is Jp
Finally, the constraints on the histogram boundaries are introduced. Using γi=ρi cos ψi, Li=(ρmB
Δri2+2γiΔri−Li>0
Δri2+2γiΔri−U1<0
A first degenerate case occurs when pi is outside the sphere SM(C, ρMB
Discarding this degenerate case, if pi is outside the sphere Sm(C, ρmB
Otherwise, the constraints correspond to the union of two disjoint segments. If pi is already within one segment, the constraints are approximated with this single segment. If pi is within the sphere Sm, the constraints are approximated using the closest segment to pi.
Using these approximations permits to maintain the quadratic programming framework while selecting an arbitrary direction for the alteration of the positions of the vertices. This modification can be used in conjunction with the one proposed for the barycenter.
In a final example, the watermark embedding is not expressed as a set of inequalities, but as a set of equalities. This means that the mean values inside the bins are not modified so that they are above or below a threshold, but equal to exact target values. This value is advantageously determined by using conventional binning schemes, such as Quantization Index Modulation. The watermark constraints used in the quadratic programming solver are then equalities.
The extensions of the quadratic programming problem have been implemented. Since most of the constraints are approximated (e.g. through linearization), the solution found by the solver is no longer exact. The mathematical model and the practical implementation are thus not equivalent. In practice, a similar problem occurs even in the state-of-the-art approach. Theoretically, the computed set of positions Pw is an exact solution. However, using a limited precision in the 3D mesh file format introduces some quantization. This loss of precision can sometimes lead to an imperfect decoding of the watermark. To address these problems, the embedding is performed iteratively until an error-free decoding is achieved (maximum number of iterations set to 10).
The extensions presented according to the disclosed method enable keeping the formulation of 3D mesh watermarking as a quadratic programming problem, while addressing two issues: (i) improving the inherently low robustness of the discrete barycenter by using more intrinsic definitions; and (ii) not restricting the relocation directions to the radial ones, thus providing more freedom with regard to the robustness/imperceptibility trade-off. Although these extensions come at the cost of linear approximations and an iterative embedding process, experimental results show that using a volume-weighted barycenter yields large robustness improvements in particular against simplification, while only requiring a very limited number of embedding iterations (3 at most in our experiments).
In a first step, a geometrical primitive is extracted for the watermarked mesh.
In a second step, a distribution of distances for the watermarked mesh is determined. The distance between the geometrical primitive and each vertex of the watermarked mesh is computed and sorted in the distribution. One constructs the histogram of {tilde over (ρ)} as described in the previous sections.
In a third step, one compares the average inside each bin to the target value μj used at during embedding. Denote by {tilde over (μ)}{tilde over (μJ)} the normalized average inside bin j. The estimated bit is then given by: =sign({tilde over (μ)}{tilde over (μJ)}−μj).
In an embodiment, when using the QIM-based payload embedding in the average of the bins, the payload bit associated with {tilde over (μ)}{tilde over (μJ)} is then computed by: (i) finding the nearest quantized value to {tilde over (μ)}{tilde over (μJ)} and then (ii) find the bit associated with the quantizer whose output contains said value. This corresponds to a standard QIM decoding of a scalar value, namely {tilde over (μ)}{tilde over (μJ)}, using a predefined lattice and a predefined set of quantizers.
As will be appreciated by one skilled in the art, aspects of the present principles can be embodied as a system, method or computer readable medium. Accordingly, aspects of the present principles can take the form of an entirely hardware embodiment, an entirely software embodiment (including firmware, resident software, micro-code, and so forth), or an embodiment combining software and hardware aspects that can all generally be referred to herein as a “circuit,” “module”, or “system.” Furthermore, aspects of the present principles can take the form of a computer readable storage medium. Any combination of one or more computer readable storage medium(s) may be utilized.
Naturally, the invention is not limited to the embodiments and characteristics previously described. In particular, the invention is compatible with any watermarking scheme.
Number | Date | Country | Kind |
---|---|---|---|
13306729.8 | Dec 2013 | EP | regional |