research papers\(\def\hfill{\hskip 5em}\def\hfil{\hskip 3em}\def\eqno#1{\hfil {#1}}\)

Journal logoJOURNAL OF
APPLIED
CRYSTALLOGRAPHY
ISSN: 1600-5767

Crystal bending in triple-Laue X-ray interferometry. Part I. Theory

crossmark logo

aINRIM, Istituto Nazionale di Ricerca Metrologica, Strada delle Cacce 91, 10135 Torino, Italy, and bDipartimento di Fisica, UNITO, Università di Torino, Via Pietro Giuria 1, 10125 Torino, Italy
*Correspondence e-mail: [email protected]

Edited by F. Meilleur, Oak Ridge National Laboratory, USA, and North Carolina State University, USA (Received 7 December 2022; accepted 24 March 2023; online 12 May 2023)

The measured value of the (220) lattice-plane spacing of silicon 28 using scanning X-ray interferometry is essential to realize the kilogram by counting 28Si atoms. An assumption made is that the measured lattice spacing is the bulk value of an unstrained crystal forming the analyser of the interferometer. However, analytical and numerical studies of the X-ray propagation in bent crystals suggest that the measured lattice spacing might refer to the analyser surface. To confirm the result of these studies and to support experimental investigations of the matter by phase-contrast topography, a comprehensive analytical model is given of the operation of a triple-Laue interferometer having the splitting or recombining crystal bent.

1. Introduction

Crystal X-ray interferometry splits and recombines X-rays while maintaining coherence. Monolithic interferometry was first demonstrated by Bonse & Hart (1965[Bonse, U. & Hart, M. (1965). Appl. Phys. Lett. 6, 155-156.]), and the first split-crystal interferometers for X-rays were operated in 1968 and 1969 (Bonse & te Kaat, 1968[Bonse, U. & te Kaat, E. (1968). Z. Phys. 214, 16-21.]; Deslattes, 1969[Deslattes, R. D. (1969). Appl. Phys. Lett. 15, 386-388.]).

When the crystal recombining the interfering X-rays (the analyser) is separated, the interference signal is sensitive to movements orthogonal to the diffracting lattice planes. Since a displacement by one plane creates a 2π phase shift, such an interferometer allowed measurement of the lattice parameter of 28Si with parts per billion accuracy (Massa et al., 2011[Massa, E., Mana, G., Kuetgens, U. & Ferroglio, L. (2011). Metrologia, 48, S37-S43.], 2015[Massa, E., Sasso, C. P., Mana, G. & Palmisano, C. (2015). J. Phys. Chem. Ref. Data, 44, 031208.]). This result led to the determination of the Avogadro constant (Fujii et al., 2018[Fujii, K., Massa, E., Bettin, H., Kuramoto, N. & Mana, G. (2018). Metrologia, 55, L1-L4.]), the realization of the kilogram by counting atoms (Massa et al., 2020b[Massa, E., Sasso, C. P. & Mana, G. (2020b). MAPAN, 35, 511-519.]) and the redefinition of the international system of units (SI) (Wiersma & Mana, 2021[Wiersma, D. S. & Mana, G. (2021). R. Fis. Acc. Lincei, 32, 655-663.]).

To realize the kilogram, an essential assumption is that the measured lattice spacing is the bulk value of the unstrained analyser (a blade, typically 1 mm thick). However, surface relaxation, reconstruction and oxidation might cause lattice strains (Melis et al., 2015[Melis, C., Colombo, L. & Mana, G. (2015). Metrologia, 52, 214-221.], 2016[Melis, C., Giordano, S., Colombo, L. & Mana, G. (2016). Metrologia, 53, 1339-1345.]; Massa et al., 2020a[Massa, E., Sasso, C. P., Fretto, M., Martino, L. & Mana, G. (2020a). J. Appl. Cryst. 53, 1195-1202.]). Furthermore, analytical and numerical studies of the X-ray propagation in a bent crystal (e.g. because of a difference between the surface stresses of the two surfaces) suggest that the measured lattice spacing might refer to the surface rather than to the bulk (Mana et al., 2004a[Mana, G., Palmisano, C. & Zosi, G. (2004a). Metrologia, 41, 238-245.],b[Mana, G., Palmisano, C. & Zosi, G. (2004b). J. Appl. Cryst. 37, 773-777.]; Apolloni et al., 2008[Apolloni, A., Mana, G., Palmisano, C. & Zosi, G. (2008). Acta Cryst. A64, 549-559.]).

To confirm the results of these studies and to support experimental tests of this prediction by phase-contrast topography, we give an analytical model of the operation of a triple-Laue interferometer having, one at a time, the splitter, mirror and analyser crystals cylindrically bent. Our interest is in the phase of the diffracted waves, rather than the intensity profile arising when using bent crystals e.g. to focus X-rays or as analysers for X-ray spectroscopy (Nesterets & Wilkins, 2008[Nesterets, Y. I. & Wilkins, S. W. (2008). J. Appl. Cryst. 41, 237-248.]; Kaganer et al., 2020[Kaganer, V. M., Petrov, I. & Samoylova, L. (2020). Acta Cryst. A76, 55-69.]; Qi et al., 2021[Qi, P., Shi, X., Samadi, N. & Chapman, D. (2021). J. Appl. Cryst. 54, 409-426.]; Guigay & Sanchez del Rio, 2022[Guigay, J.-P. & Sanchez del Rio, M. (2022). J. Synchrotron Rad. 29, 148-158.]).

This paper is organized as follows. The interferometer operation is outlined in Section 2[link]. Sections 3[link] and 4[link] deal with the strain field in a cylindrically bent crystal, the reciprocal vector of the strained lattice and the description of the wavefields in perfect crystals as a two-state quantum system. In Section 5[link], we solve the Takagi–Taupin equations for X-ray propagation in a bent (symmetrically cut) crystal slab. The propagation in free space is examined in Section 6[link]. Sections 7[link] and 8[link] deal with the wavefields leaving a bent crystal and a triple-Laue interferometer having the splitting or recombining crystal bent. In the conclusion, we outline predictions that have been verified by the phase-contrast topography of a monolithic interferometer having one of its crystals bent by a thin copper film (Massa et al., 2023[Massa, E., Mana, G. & Sasso, C. P. (2023). J. Appl. Cryst. 56, 716-724.]).

All the symbolic computations were carried out with the aid of Mathematica (Wolfram Research, 2021a[Wolfram Research (2021a). Mathematica, Version 12.3.1. Wolfram Research Inc., Champaign, IL, USA. https://www.wolfram.com/mathematica.]); the relevant notebook is given as supporting information. To view and interact with it, readers need to download the Wolfram Player which is free of charge (Wolfram Research, 2021b[Wolfram Research (2021b). Wolfram Player, Version 12.3.1. Wolfram Research Inc., Champaign, IL, USA. https://www.wolfram.com/player.]).

2. Interferometer operation

Fig. 1[link] shows schematically a symmetrically cut triple-Laue (LLL) X-ray interferometer having a bent mirror and operating in coplanar geometry. It also gives the meaning of some of the symbols that we will use. The interferometer consists of three plane-parallel Si crystals, splitter, mirror and analyser, about 1 mm thick and cut in such a way that the diffracting {220} planes are perpendicular to the surfaces. They split and recombine 17 keV X-rays from a conventional Mo source.

[Figure 1]
Figure 1
Top view of a symmetrically cut LLL interferometer having a bent mirror and operating in coplanar geometry. S splitter, M mirror, A analyser. The z axis is orthogonal to the crystal surfaces; the x axis is orthogonal to the diffracting planes. Orange and cyan indicate arms 1 and 2, respectively. The mirror bending makes the rays that leave the interferometer in the Mathematical equation directions exit the source at different points and in different directions. An ideal geometry is assumed, Mathematical equation and Mathematical equation. d0, spacing of the unstrained diffracting planes; Mathematical equation, separation at the source of the rays interfering collinearly.

To measure the spacing of the diffracting planes, the analyser is moved orthogonally to them. Owing to this displacement, the intensity of the forward-transmitted and reflected beams varies sinusoidally, the period being ideally equal to the sought spacing. The measurement result is the ratio between the displacement (measured absolutely via optical interferometry) and the number of X-ray fringes observed.

3. Strained crystals

We consider, one at a time, the interferometer crystals cylindrically bent about an axis perpendicular to the xz plane (see Fig. 1[link]) and approximate the x component of the displacement field, Mathematical equation, by the hyperbolic paraboloid (Nesterets & Wilkins, 2008[Nesterets, Y. I. & Wilkins, S. W. (2008). J. Appl. Cryst. 41, 237-248.]; Kaganer et al., 2020[Kaganer, V. M., Petrov, I. & Samoylova, L. (2020). Acta Cryst. A76, 55-69.])

Mathematical equation

where Mathematical equation is the Gauss curvature and positive κ values equal downward bendings, as shown in Fig. 1[link] (Weisstein, 2023[Weisstein, E. W. (2023). Gaussian Curvature, from MathWorld - a Wolfram Web Resource, https://mathworld.wolfram.com/GaussianCurvature.html.]), z = z0 is the neutral plane, and x = x0+s,z = 0 is the bending axis. Before bending, the input surface of the crystal is z = 0 and the output one z = t.

Equation (1[link]) follows from the elastic theory of thin (isotropic) plates having thickness t, where z0 = t/2, but, for the sake of generality, we do not assume z0 = t/2. The limit Mathematical equation with Mathematical equation const. describes a crystal uniformly strained. The limit Mathematical equation with Mathematical equation const. describes a crystal uniformly tilted. In general, in the case of thin crystals, (1[link]) is the first-order approximation of any smooth displacement field.

Equation (1[link]) is not strictly valid in the presence of anisotropy, unpaired surface stresses and Dirichlet boundary conditions imposed at the crystal base. Our finite element analyses and experimental verifications are given by Massa et al. (2023[Massa, E., Mana, G. & Sasso, C. P. (2023). J. Appl. Cryst. 56, 716-724.]). In particular, we observed that a copper film coated on one of the surfaces bends the crystal in such a way that its opposite, naked, surface lies in the neutral, Mathematical equation plane.

We introduced the overall crystal displacement s because, in the determination of the Si lattice parameter by a split-crystal interferometer, the analyser is moved along the x axis. In the analysis of this measurement, x0 is contained in s and omitted from (1[link]). In the phase-contrast topography of a monolithic interferometer, the x position of the X-ray beam is varied step by step. In the analysis of this measurement, x0 encodes the X-ray beam displacement and s is contained in x0 and omitted from (1[link]).

Owing to the bending, the diffracting planes are rotated by

Mathematical equation

and strained by

Mathematical equation

A positive Mathematical equation rotates the diffracting planes in the Mathematical equation direction and a positive strain means a larger diffracting-plane spacing.

The electric susceptibility of the strained crystal (e.g. in Fig. 1[link], the mirror) is

Mathematical equation

where Mathematical equation is a position vector and Mathematical equation is a reciprocal vector of the unstrained crystals (e.g. in Fig. 1[link], of the splitter and analyser). By expanding Mathematical equation in series, we find that Mathematical equation = Mathematical equation is a reciprocal vector of a locally perfect crystal.

Therefore, by using (1[link]), the reciprocal vector of the strained diffracting planes is

Mathematical equation

where Mathematical equation is the reciprocal vector of the diffracting planes of the unstrained crystals and the x axis is directed along Mathematical equation. Hence, as shown in Fig. 1[link], Mathematical equation.

The sign of Mathematical equation depends on the sign choice in the exponent of the plane wavefunctions. One can use either Mathematical equation or Mathematical equation. In the former case, Mathematical equation is positive, and in the latter case, it is negative.

The Mathematical equation phases depend on the choice of the origin of the coordinate system in the unit cell; a translation Mathematical equation changes Mathematical equation according to Mathematical equation. We assume that, for the unstrained planes, Mathematical equation, so that Mathematical equation. Since Mathematical equation, the sign of Mathematical equation can be chosen as either plus or minus.

4. Crystal fields

We limit this study to crystals that are symmetrically cut and plane parallel. This choice makes the X-ray propagation two dimensional and dependent only on the inward normal Mathematical equation to the crystal surfaces and an x coordinate that we choose opposite the reciprocal vector Mathematical equation, where d0 is the spacing of the diffracting planes of the unstrained crystals (Mana & Palmisano, 2004[Mana, G. & Palmisano, C. (2004). Acta Cryst. A60, 283-293.]; Sasso et al., 2022[Sasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500-1513.]).

Owing to the limited spatial coherence of conventional X-ray sources, each incoming photon is in a probabilistic superposition of single-particle states

Mathematical equation

where we used the Dirac bra–ket notation and

Mathematical equation

The Mathematical equation state belongs to the tensor product Mathematical equation of the Mathematical equation space of the square-integrable two-variable functions and the two-dimensional vector space V2. Throughout the paper we use the 2 × 1 matrix representation of V2. Hence, by omitting the exponentials in (3[link]),

Mathematical equation

In (3[link]), the mean electric susceptibility of silicon Mathematical equation is set equal to zero in a vacuum.

Mathematical equation

where Mathematical equation and Mathematical equation are direction cosines and Mathematical equation is the Bragg angle, are the kinematical wavevectors satisfying the Bragg conditions Mathematical equation = Mathematical equation and Mathematical equation = Mathematical equation. We will use the subscript n = o,h to label the V2 basis vectors and the first (plus or minus) sign of Mathematical equation and Mathematical equation applies always to the o state. Also, we consider a coplanar geometry, that is, Mathematical equation, Mathematical equation, Mathematical equation and Mathematical equation are in the same (reflection) plane.

The representation of the crystal fields as the components of a state vector (Bonse & Graeff, 1977[Bonse, U. & Graeff, W. (1977). X-ray Optics: Applications to Solids, edited by H.-J. Queisser, pp. 93-143. Berlin: Springer.]) allows us to use matrix descriptions of optical components. This simplifies the study of the interferometer, the description of which can be built by assembling simpler elements. This approach is a useful alternative to the standard formulation of the dynamical theory of X-ray diffraction and an additional tool for the study of X-ray interferometry.

In this paper, we consider only the propagation of the coherent single-photon state (2[link]). The averaging over their probabilistic superposition can be done by the density matrix formalism, as shown by Sasso et al. (2022[Sasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500-1513.]).

5. Takagi–Taupin equations

The first-order approximation in p/K, where the p momentum is conjugate to x, of the X-ray propagation in a deformed crystal is given by the Takagi–Taupin equations (Takagi, 1962[Takagi, S. (1962). Acta Cryst. 15, 1311-1312.], 1969[Takagi, S. (1969). J. Phys. Soc. Jpn, 26, 1239-1253.]; Taupin, 1964[Taupin, D. (1964). Bull. Minéral. 87, 469-511.]; Katagawa & Kato, 1974[Katagawa, T. & Kato, N. (1974). Acta Cryst. A30, 830-836.]; Authier, 2001[Authier, A. (2001). Dynamical Theory of X-ray Diffraction, IUCr Monographs on Crystallography 11. IUCr/Oxford University Press.]; Härtwig, 2001[Härtwig, J. (2001). J. Phys. D Appl. Phys. 34, A70-A77. ]; Mana & Montanari, 2003[Mana, G. & Montanari, F. (2004). Acta Cryst. A60, 40-50.]; Mana & Palmisano, 2004[Mana, G. & Palmisano, C. (2004). Acta Cryst. A60, 283-293.]; Honkanen et al., 2018[Honkanen, A.-P., Ferrero, C., Guigay, J.-P. & Mocella, V. (2018). J. Appl. Cryst. 51, 514-525.]),

Mathematical equation

where Mathematical equation. We consider initial Gaussian-like beams and set the axis of the X-ray beam passing through the x-axis origin; therefore, at z = 0, Mathematical equation only if Mathematical equation. The rationale for this assumption will be clear in the discussion following equation (10[link]).

To solve the Takagi–Taupin equations, we factor Mathematical equation as (Mana & Palmisano, 2004[Mana, G. & Palmisano, C. (2004). Acta Cryst. A60, 283-293.])

Mathematical equation

where, by setting Mathematical equation and Mathematical equation,

Mathematical equation

Therefore, (5[link]) reads (see the supporting information)

Mathematical equation

Now, it is convenient to use the Fourier transform of Mathematical equation with respect to the x variable. Hence,

Mathematical equation

which leads to the reciprocal-space representation of the Takagi–Taupin equations,

Mathematical equation

where Mathematical equation,

Mathematical equation

is the dimensionless propagation distance,

Mathematical equation

is the dimensionless resonance error, and

Mathematical equation

is the Pendellösung length.

Eventually, crystal propagation is given by

Mathematical equation

where, by solving (8[link]) (see the supporting information),

Mathematical equation

Mathematical equation

Mathematical equation

To complete the analysis, we need the Mathematical equation components of the initial state, which are obtained via the convolution integral Mathematical equation. Similarly, after propagation through a crystal having thickness t, we can retrieve the Mathematical equation components of the output state via the convolution integral Mathematical equation.

To calculate these convolution integrals, we rewrite (6b[link]) as

Mathematical equation

where we omitted inessential (constant) phases shared by the o and h states and a phase proportional to Mathematical equation,

Mathematical equation

is the x component of the reciprocal vector Mathematical equation,

Mathematical equation

is the displacement field at x = s purged of the overall displacement s,

Mathematical equation

is the resonance error (Authier, 2001[Authier, A. (2001). Dynamical Theory of X-ray Diffraction, IUCr Monographs on Crystallography 11. IUCr/Oxford University Press.]) that makes Mathematical equation satisfy the Bragg condition at the hitting point x = 0 of the X-rays, and

Mathematical equation

is the resonance error that makes Mathematical equation satisfy the Bragg condition versus the x component of the reciprocal vector gz. The physical interpretations of Mathematical equation and qz are given in the supporting information.

In (10[link]), the omission of the Mathematical equation phase simplifies the convolution integrals, which otherwise must be approximated (giving the same result) by the steepest descent method. It is justified by assuming a limited transverse extension of the X-ray beam about x = 0, i.e. Mathematical equation is assumed negligibly small everywhere Mathematical equation.

Note that gz, uz, Mathematical equation and qz are independent of x. When examining the bending effect on the phase-contrast topography of a monolithic interferometer, we set s = 0. Therefore, uz is the displacement field at x = 0, where the X-rays hit the crystal. When studying the bending effect on the measurement of the Si lattice parameter by a split-crystal interferometer, we set x0 = 0 and uz = 0.

The Fourier transforms of (10[link]) and of its complex conjugate are (see the supporting information)

Mathematical equation

Mathematical equation

where the g, u and q subscripts 0 and t indicate z = 0 and z = t, t being the crystal thickness. The Mathematical equation components of the initial state are given by the convolution integrals

Mathematical equation

Similarly, the Mathematical equation components of the final state are

Mathematical equation

After ending the transformation chain describing the X-ray propagation through a bent crystal,

Mathematical equation

we observe that the result is the same as (see the supporting information)

Mathematical equation

where

Mathematical equation

is the reciprocal-space representation of the propagator,

Mathematical equation

are, respectively, the averages of the reciprocal vector g0,t and displacement u0,t at the input (subscript zero) and output (subscript t) surfaces, and

Mathematical equation

are their half differences.

As shown by (11a[link]) and (11b[link]), the Mathematical equation and Mathematical equation phases originate in the matching (ensuring the required continuity) of the input and output waves Mathematical equation and Mathematical equation with the guided waves inside the crystal, i.e. the eigenmodes of the Hamiltonian of the Takagi–Taupin equations (5[link]). For this reason, they depend on the lattice parameter and displacement fields at the crystal interfaces. In particular, X-ray propagation as given by (13[link]) and (14[link]) does not depend on the crystal displacement and lattice parameter inside the crystal.

It can be easily verified that, in the case of a displaced perfect crystal, i.e. u = s, the scattering matrix (14[link]) reduces to (9a[link]), where the reflection coefficient Mathematical equation gets the h0s phase. This makes it possible to measure the spacing of the diffracting planes by making the o and h input states interfere.

If the strain is uniform, i.e. Mathematical equation, then Mathematical equation and Mathematical equation are equal to zero. Therefore, apart from the different Bragg angle encoded by the resonance error Mathematical equation, the scattering matrix (14[link]) reduces again to (9a[link]), where the reflection coefficient gets the Mathematical equation phase and the interference of the o and h input states yields a moiré pattern of upright fringes.

Eventually, if the deformation is a tilt of the diffracting planes, i.e. Mathematical equation, then Mathematical equation and qt are equal to zero and Mathematical equation, Mathematical equation and Mathematical equation. Therefore, the scattering matrix (14[link]) reduces to that given by Sasso et al. (2022[Sasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500-1513.]) to account for a tilted crystal.

6. Free-space propagation

When studying the interferometer operation, the free-space propagation from one crystal to the next must also be considered. It is given by

Mathematical equation

where the Mathematical equation value in (3[link]) must be set to zero and (see the supporting information)

Mathematical equation

The first-order phase Mathematical equation corresponds to geometric optics. Accordingly, the o and h states propagate in the Mathematical equation directions. Thus, we have Mathematical equation = Mathematical equation.

In contrast to propagation in crystals, we approximated the free-space propagation up to the order (p/K)2, which brings the Mathematical equation factor and recovers the Mathematical equation spread because of diffraction. This higher-order approximation is necessary to take into account the propagation of the different plane-wave components of the initial state. As we will make clear in the next section, it allows the incoming diverging rays, one of which is scattered in the Mathematical equation direction and the other in the Mathematical equation direction, to leave the source from different points.

7. Laue diffraction

When X-rays, coming from a source at a distance Mathematical equation in the o or h state, impinge on a cylindrically bent crystal (plane parallel and symmetrically cut) as shown in Fig. 2[link], the waves leaving the crystal are (see the supporting information)

Mathematical equation

if the input state is Mathematical equation, and

Mathematical equation

if the input state is Mathematical equation. They are given by (13[link]), where Mathematical equation substitutes for Mathematical equation.

[Figure 2]
Figure 2
Laue diffraction by a bent crystal. Mathematical equation, reciprocal vector of the unstrained crystal; Mathematical equation, diffracted kinematical wavevectors satisfying the Bragg law for the unstrained crystal; red and blue lines, incoming rays leaving the crystal in the Mathematical equation (red) and Mathematical equation (blue) directions; black lines, rays incoming in the Mathematical equation directions; q0 and qt, resonance errors that make Mathematical equation and Mathematical equation satisfy the Bragg condition versus the g0,t components of the reciprocal vectors at the input (subscript 0) and output (subscript t) surfaces, respectively; Mathematical equation, source distance from the crystal; t, crystal thickness.

We omitted second-order terms proportional to q0qt/K and irrelevant phases shared by the leaving waves, t is the crystal thickness, Mathematical equation is the source distance,

Mathematical equation

is the separation at the source of the rays that leave the crystal in the Mathematical equation directions (see Fig. 2[link]), gt and ut are, respectively, the reciprocal vector and displacement on the crystal exit surface and on the axis of the X-ray beam, and q0 and qt are the additional resonance errors on the crystal input and exit surfaces due to the crystal strain.

The Mathematical equation phase difference between the forward-transmitted and reflected waves originates in the free-space propagation of the rays exiting the crystal in the Mathematical equation directions. In fact, they leave the source with different resonance errors, Mathematical equation (see Fig. 2[link]), and, thus, propagation directions.

The phases Mathematical equation and Mathematical equation that come into the forward-transmitted and reflected waves play an essential role in the interferometer operation. As shown in the next section, according to how they add or subtract, they make the interference signal sensitive to the lattice parameter and displacement fields of one or the other side of the bent crystal.

8. Triple-Laue interferometer

The X-ray propagation through a triple-Laue interferometer having a bent crystal (the splitter or mirror or analyser) is given by

Mathematical equation

where Mathematical equation and Mathematical equation propagate Mathematical equation along the first and second arm of the interferometer, respectively. They are built by concatenating crystal and vacuum propagations.

The interferometer unstrained crystals have parallel and unshifted diffracting planes. Therefore, X-ray propagation is carried out by means of (9a[link]). In contrast, propagation in the bent crystal is carried out by means of (14[link]). Vacuum propagation is given by (15[link]). Eventually, to examine separately the two interferometer arms, we introduce the projectors

Mathematical equation

Free-space propagation leads to the separation of the o and h states, leaving the interferometer in two spatially localized states, whose i = 1,2 components overlap and interfere.

In the following subsections, we give the expressions of Mathematical equation and Mathematical equation when the bent crystal is the splitter, mirror or analyser. In the Mathematical equation expressions, we neglect inessential phase terms shared by the interfering beams. The detailed calculations are given in the supporting information.

8.1. Splitter

When the bent crystal is the splitter, X-ray propagation along the two interferometer arms is given by

Mathematical equation

Fig. 1[link] gives the meaning of the symbols related to the interferometer geometry (crystal thicknesses and spacing, source and detector distances) that are used here and in the following subsections. The interfering waves reaching the detector are

Mathematical equation

where Mathematical equation is the source distance from the splitter,

Mathematical equation

is the separation at the source of the rays interfering collinearly, Mathematical equation and Mathematical equation are, respectively, the reciprocal vector and displacement field on the splitter exit surface, and q0 and Mathematical equation are evaluated on the splitter entrance (subscript 0) and exit (subscript Mathematical equation) surfaces. As regards Mathematical equation, it is evaluated on the axis of the X-ray beam.

Here and in the next subsections, we leave out the phase terms shared by the interfering wave pairs Mathematical equation and Mathematical equation (o state) and Mathematical equation and Mathematical equation (h state). In addition, we assign the phase difference between the interfering waves to the wave reflected by the analyser, i.e. to Mathematical equation (o state) and Mathematical equation (h state), respectively.

The phases

Mathematical equation

of the Mathematical equation and Mathematical equation waves leaving the interferometer originate travelling fringes and moiré interference patterns that encode the diffracting-plane spacing Mathematical equation and displacement field Mathematical equation of the splitter inner surface Mathematical equation. In fact, according to equations (16a[link])–(16d[link]), the waves travelling along the i = 1,2 arms acquire, when crossing the splitter, the Mathematical equation and Mathematical equation phases, respectively, whose difference is Mathematical equation.

8.2. Mirror

When the bent crystal is the mirror, X-ray propagation is given by

Mathematical equation

The detected waves are

Mathematical equation

where Mathematical equation is the source distance from the mirror, Mathematical equation is the separation at the source of the rays interfering collinearly,

Mathematical equation

are, respectively, the means of the reciprocal vector and resonance error at the input (subscript 0) and output (subscript Mathematical equation) surfaces of the mirror, and q0 and Mathematical equation are evaluated on the mirror entrance and exit surfaces. As regards

Mathematical equation

it is the average of the mean displacements Mathematical equation calculated along the first (subscript 1) and second (subscript 2) X-ray paths and on the beam axes. Since Mathematical equation depends on the x coordinate along the mirror, the subscript i in Mathematical equation indicates the mirror crossing of the i = 1,2 arms.

The phases

Mathematical equation

of the Mathematical equation and Mathematical equation waves leaving the interferometer originate travelling fringes and moiré interference patterns that encode the means Mathematical equation and Mathematical equation of the diffracting-plane spacing and displacement field, respectively, of the mirror input and output surfaces. In fact, according to equations (16a[link])–(16d[link]), the interfering waves, when crossing the mirror, acquire phases having identical Mathematical equation magnitude, but opposite signs.

8.3. Analyser

When the bent crystal is the analyser, the X-ray propagation is given by

Mathematical equation

The interfering waves are

Mathematical equation

where Mathematical equation is the source distance from the analyser, Mathematical equation is the separation at the source of the rays interfering collinearly, g0 and u0 are the reciprocal vector and displacement field, respectively, on the input surface of the analyser, and q0 and Mathematical equation are evaluated on the input (subscript 0) and output (subscript Mathematical equation) surfaces of the analyser. As regards u0, it is evaluated on the axis of the X-ray beam.

The phases

Mathematical equation

of the Mathematical equation and Mathematical equation waves leaving the interferometer originate travelling fringes and moiré interference patterns that encode the diffracting-plane spacing Mathematical equation and displacement field Mathematical equation of the analyser inner surface z = 0. In fact, according to equations (16a[link])–(16d[link]), the waves travelling along the i = 1,2 arms acquire, when crossing the analyser, the Mathematical equation and Mathematical equation phases, respectively, where the plus (minus) sign applies to the leaving o (h) state. The phase difference is g0s+h0u0.

9. Conclusions

The terms Mathematical equation (if the displaced crystal is the splitter), Mathematical equation (if the displaced crystal is the mirror) and g0s (if the displaced crystal is the analyser) in the phase difference of the waves travelling along the first and second arms [see (18[link]), (21[link]) and (24[link])] make it possible to measure the diffracting-plane spacing. In the case of a displaced mirror, the period of the travelling fringes is half the spacing of the diffracting planes.

Our analysis of the interferometer operation confirms that, in the case of a bent analyser, the sought spacing is measured on the input surface. In fact, in equations (24[link]), the observed phase difference is g0s, where g0 is the x component of the reciprocal vector at the input surface of the analyser. Supported by this result, we surmise that, if the measurement is repeated after flipping the analyser, a difference appears whenever the analyser is (smoothly) strained. These measurement repetitions were used to test the analyser's perfection and corroborate the measurement results (Massa et al., 2011[Massa, E., Mana, G., Kuetgens, U. & Ferroglio, L. (2011). Metrologia, 48, S37-S43.], 2015[Massa, E., Sasso, C. P., Mana, G. & Palmisano, C. (2015). J. Phys. Chem. Ref. Data, 44, 031208.]).

The phase differences Mathematical equation (splitter), Mathematical equation (mirror) and h0u0 (analyser) [see (18[link]), (21[link]) and (24[link])] are proportional to the displacement fields of the output surface of the splitter, Mathematical equation, the input surface of the analyser, u0, and the mean Mathematical equation of the displacement fields of the two mirror surfaces. They made it possible to perform experimental tests of our results by the phase-contrast topography of a monolithic interferometer having the splitter or analyser bent by a Cu coating of one of its sides (Massa et al., 2023[Massa, E., Mana, G. & Sasso, C. P. (2023). J. Appl. Cryst. 56, 716-724.]). We predict that the interferogram is insensitive to what surface (input or output) of the mirror is coated. In contrast, we predict that it is sensitive to which surface (input or output) of the splitter or analyser is coated.

In equations (18[link]), (21[link]) and (24[link]), the arguments of the reciprocal-space representations of the input wavefield Mathematical equation show that the rays interfering collinearly, i.e. having the same resonance error p when they leave the interferometer, exit the source with different resonance errors, Mathematical equation (if the bent crystal is the splitter), Mathematical equation (if the bent crystal is the mirror) or Mathematical equation (if the bent crystal is the analyser). This is the same as saying that they leave the source at different angles. This difference implies two additional terms in the phase difference between the interfering waves.

The first, Mathematical equation, encodes, via the time-shifting property of the Fourier transform, the fact that the rays interfering collinearly start from different points, spaced by Mathematical equation. This raises questions about the effect of the source coherence and suggests that a density matrix formalism is needed to describe the interferometer operation (Sasso et al., 2022[Sasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500-1513.]).

The second, Mathematical equation (if the bent crystal is the splitter), Mathematical equation (if the bent crystal is the mirror) or Mathematical equation (if the bent crystal is the analyser), encodes the different free-space propagation from the source to the interferometer of the rays interfering collinearly. This difference is equal to zero in a perfect interferometer and we surmise it occurs whenever the crystals are (smoothly) strained. Since it makes the interference fringes sensitive to the source distance, a test of the interferometer sensitivity to it might additionally prove (or disprove) the crystals' perfection and, if insensitive, certify the measured values of the diffracting-plane spacing.

Bending causes misalignment of the interferometer splitting and recombining crystals. Firstly, the misalignment stems from the difference between the lattice spacings of the strained and unstrained crystals. This difference is revealed via the q0 and qt terms in the arguments of the reflection and transmission coefficients. It is independent of the crystal translation and X-ray incidence point – which, in (1[link]), are encoded by the s and x0 parameters – and originates a meaningless constant contribution to the fringe phase.

Secondly, the misalignment stems from the shear strain Mathematical equation of the bent crystal. It is seen in the Mathematical equation term in the argument of the reflection and transmission coefficients, which now depend on the X-ray incidence point. When scanning the X-ray incidence point, this misalignment mimics a continuous rotation of the crystal and it is equivalent to misalignments investigated by Mana & Vittone (1997a[Mana, G. & Vittone, E. (1997a). Z. Phys. B, 102, 189-196.],b[Mana, G. & Vittone, E. (1997b). Z. Phys. B, 102, 197-206.]) and Sasso et al. (2022[Sasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500-1513.]). The implied phase changes are very small in all practical cases.

APPENDIX A

List of the main symbols

Mathematical equation, normal to the diffracting plane.

Mathematical equation, normal to the crystal surface.

Mathematical equation, reciprocal vector (unstrained crystal).

d0, diffracting-plane spacing (unstrained).

Mathematical equation, Bloch-wave wavevectors.

Mathematical equation, Bragg law (unstrained crystals).

Mathematical equation, Bragg angle (unstrained crystals).

Mathematical equation, Mathematical equation's z direction cosine.

Mathematical equation, Mathematical equation's x direction cosine.

Mathematical equation, z component of Mathematical equation.

Mathematical equation, Fourier components of the electric susceptibility.

Mathematical equation.

Mathematical equation, Pendellösung length.

Mathematical equation, dimensionless resonance error.

Mathematical equation, dimensionless propagation distance.

Mathematical equation, crystal thicknesses.

Mathematical equation, source and detector distances.

Mathematical equation, start separation of the rays interfering collinearly.

Mathematical equation, crystal displacement.

h0, reciprocal vector (unstrained crystals).

gz,g0,gt, reciprocal vectors (strained crystal, x components).

qz,q0,qt, resonance errors (normal strain).

uz,u0,ut, displacement fields.

Mathematical equation, mean of the input and output surfaces.

Mathematical equation, mean of the input and output surfaces.

Mathematical equation, mean of the input and output surfaces.

Mathematical equation, mean of the i = 1,2 paths.

Mathematical equation, input–output difference.

Mathematical equation, input–output difference.

Mathematical equation, resonance error (shear strain).

n = o,h, wavefield components (subscript).

i = 1,2, interferometer arm (subscript).

z = 0,t, crystal surfaces (subscript).

Mathematical equation, the first sign applies to the o state, the second to the h one.

Supporting information


Acknowledgements

Open access funding provided by Istituto Nazionale di Ricerca Metrologica within the CRUI-CARE Agreement. CP Sasso and GM developed the formalism and performed the analytic calculations. EM carried out experimental work that prompted this investigation. All authors discussed the results and contributed to the final manuscript.

Funding information

Funding for this research was provided by Ministero dell'Istruzione, dell'Università e della Ricerca.

References

First citationApolloni, A., Mana, G., Palmisano, C. & Zosi, G. (2008). Acta Cryst. A64, 549–559.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationAuthier, A. (2001). Dynamical Theory of X-ray Diffraction, IUCr Monographs on Crystallography 11. IUCr/Oxford University Press.  Google Scholar
First citationBonse, U. & Graeff, W. (1977). X-ray Optics: Applications to Solids, edited by H.-J. Queisser, pp. 93–143. Berlin: Springer.  Google Scholar
First citationBonse, U. & Hart, M. (1965). Appl. Phys. Lett. 6, 155–156.  CrossRef Web of Science Google Scholar
First citationBonse, U. & te Kaat, E. (1968). Z. Phys. 214, 16–21.  CrossRef Web of Science Google Scholar
First citationDeslattes, R. D. (1969). Appl. Phys. Lett. 15, 386–388.  CrossRef CAS Web of Science Google Scholar
First citationFujii, K., Massa, E., Bettin, H., Kuramoto, N. & Mana, G. (2018). Metrologia, 55, L1–L4.  Web of Science CrossRef CAS Google Scholar
First citationGuigay, J.-P. & Sanchez del Rio, M. (2022). J. Synchrotron Rad. 29, 148–158.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationHärtwig, J. (2001). J. Phys. D Appl. Phys. 34, A70–A77.   Google Scholar
First citationHonkanen, A.-P., Ferrero, C., Guigay, J.-P. & Mocella, V. (2018). J. Appl. Cryst. 51, 514–525.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationKaganer, V. M., Petrov, I. & Samoylova, L. (2020). Acta Cryst. A76, 55–69.  Web of Science CrossRef IUCr Journals Google Scholar
First citationKatagawa, T. & Kato, N. (1974). Acta Cryst. A30, 830–836.  CrossRef IUCr Journals Web of Science Google Scholar
First citationMana, G. & Montanari, F. (2004). Acta Cryst. A60, 40–50.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationMana, G. & Palmisano, C. (2004). Acta Cryst. A60, 283–293.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationMana, G., Palmisano, C. & Zosi, G. (2004a). Metrologia, 41, 238–245.  Web of Science CrossRef CAS Google Scholar
First citationMana, G., Palmisano, C. & Zosi, G. (2004b). J. Appl. Cryst. 37, 773–777.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationMana, G. & Vittone, E. (1997a). Z. Phys. B, 102, 189–196.  CrossRef CAS Web of Science Google Scholar
First citationMana, G. & Vittone, E. (1997b). Z. Phys. B, 102, 197–206.  CrossRef CAS Web of Science Google Scholar
First citationMassa, E., Mana, G., Kuetgens, U. & Ferroglio, L. (2011). Metrologia, 48, S37–S43.  Web of Science CrossRef CAS Google Scholar
First citationMassa, E., Mana, G. & Sasso, C. P. (2023). J. Appl. Cryst. 56, 716–724.  CrossRef IUCr Journals Google Scholar
First citationMassa, E., Sasso, C. P., Fretto, M., Martino, L. & Mana, G. (2020a). J. Appl. Cryst. 53, 1195–1202.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationMassa, E., Sasso, C. P. & Mana, G. (2020b). MAPAN, 35, 511–519.  Web of Science CrossRef Google Scholar
First citationMassa, E., Sasso, C. P., Mana, G. & Palmisano, C. (2015). J. Phys. Chem. Ref. Data, 44, 031208.  Web of Science CrossRef Google Scholar
First citationMelis, C., Colombo, L. & Mana, G. (2015). Metrologia, 52, 214–221.  Web of Science CrossRef CAS Google Scholar
First citationMelis, C., Giordano, S., Colombo, L. & Mana, G. (2016). Metrologia, 53, 1339–1345.  Web of Science CrossRef CAS Google Scholar
First citationNesterets, Y. I. & Wilkins, S. W. (2008). J. Appl. Cryst. 41, 237–248.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationQi, P., Shi, X., Samadi, N. & Chapman, D. (2021). J. Appl. Cryst. 54, 409–426.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationSasso, C. P., Mana, G. & Massa, E. (2022). J. Appl. Cryst. 55, 1500–1513.  Web of Science CrossRef CAS IUCr Journals Google Scholar
First citationTakagi, S. (1962). Acta Cryst. 15, 1311–1312.  CrossRef CAS IUCr Journals Web of Science Google Scholar
First citationTakagi, S. (1969). J. Phys. Soc. Jpn, 26, 1239–1253.  CrossRef CAS Web of Science Google Scholar
First citationTaupin, D. (1964). Bull. Minéral. 87, 469–511.  CAS Google Scholar
First citationWeisstein, E. W. (2023). Gaussian Curvature, from MathWorld – a Wolfram Web Resource, https://mathworld.wolfram.com/GaussianCurvature.htmlGoogle Scholar
First citationWiersma, D. S. & Mana, G. (2021). R. Fis. Acc. Lincei, 32, 655–663.  Web of Science CrossRef Google Scholar
First citationWolfram Research (2021a). Mathematica, Version 12.3.1. Wolfram Research Inc., Champaign, IL, USA. https://www.wolfram.com/mathematicaGoogle Scholar
First citationWolfram Research (2021b). Wolfram Player, Version 12.3.1. Wolfram Research Inc., Champaign, IL, USA. https://www.wolfram.com/playerGoogle Scholar

This is an open-access article distributed under the terms of the Creative Commons Attribution (CC-BY) Licence, which permits unrestricted use, distribution, and reproduction in any medium, provided the original authors and source are cited.

Journal logoJOURNAL OF
APPLIED
CRYSTALLOGRAPHY
ISSN: 1600-5767
Follow J. Appl. Cryst.
Sign up for e-alerts
Follow J. Appl. Cryst. on Twitter
Follow us on facebook
Sign up for RSS feeds