The smallest sets of points not determined by their X-rays

Let $F$ be an $n$-point set in $\mathbb{K}^d$ with $\mathbb{K}\in\{\mathbb{R},\mathbb{Z}\}$ and $d\geq 2$. A (discrete) X-ray of $F$ in direction $s$ gives the number of points of $F$ on each line parallel to $s$. We define $\psi_{\mathbb{K}^d}(m)$ as the minimum number $n$ for which there exist $m$ directions $s_1,...,s_m$ (pairwise linearly independent and spanning $\mathbb{R}^d$) such that two $n$-point sets in $\mathbb{K}^d$ exist that have the same X-rays in these directions. The bound $\psi_{\mathbb{Z}^d}(m)\leq 2^{m-1}$ has been observed many times in the literature. In this note we show $\psi_{\mathbb{K}^d}(m)=O(m^{d+1+\varepsilon})$ for $\varepsilon>0$. For the cases $\mathbb{K}^d=\mathbb{Z}^d$ and $\mathbb{K}^d=\mathbb{R}^d$, $d>2$, this represents the first upper bound on $\psi_{\mathbb{K}^d}(m)$ that is polynomial in $m$. As a corollary we derive bounds on the sizes of solutions to both the classical and two-dimensional Prouhet-Tarry-Escott problem. Additionally, we establish lower bounds on $\psi_{\mathbb{K}^d}$ that enable us to prove a strengthened version of R\'enyi's theorem for points in $\mathbb{Z}^2$

Rational matrix pseudodifferential operators

The skewfield K(d) of rational pseudodifferential operators over a differential field K is the skewfield of fractions of the algebra of differential operators K[d]. In our previous paper we showed that any H from K(d) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of K[d], B is non-zero, and any common right divisor of A and B is a non-zero element of K. Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-zero element of K[d]. In the present paper we study the ring M_n(K(d)) of nxn matrices over the skewfield K(d). We show that similarly, any H from M_n(K(d)) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of M_n(K[d]), B is non-degenerate, and any common right divisor of A and B is an invertible element of the ring M_n(K[d]). Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-degenerate element of M_n(K [d]). We give several equivalent definitions of the minimal fractional decomposition. These results are applied to the study of maximal isotropicity property, used in the theory of Dirac structures.Comment: 20 page

On kaonic deuterium. Quantum field theoretic and relativistic covariant approach

We study kaonic deuterium, the bound K^-d state A_(K d). Within a quantum field theoretic and relativistic covariant approach we derive the energy level displacement of the ground state of kaonic deuterium in terms of the amplitude of K^-d scattering for arbitrary relative momenta. Near threshold our formula reduces to the well-known DGBT formula. The S-wave amplitude of K^-d scattering near threshold is defined by the resonances Lambda(1405), Sigma(1750) and a smooth elastic background, and the inelastic channels K^- d -> NY and K^- d -> NY pion, with Y = Sigma^(+/-), Sigma^0 and Lambda^0, where the final-state interactions play an important role. The Ericson-Weise formula for the S-wave scattering length of K^-d scattering is derived. The total width of the energy level of the ground state of kaonic deuterium is estimated using the theoretical predictions of the partial widths of the two-body decays A_(Kd) -> NY and experimental data on the rates of the NY-pair production in the reactions K^-d -> NY. We obtain Gamma_{1s} = (630 +/-100) eV. For the shift of the energy level of the ground state of kaonic deuterium we predict epsilon_(1s) = (353 +/-60)eV.Comment: 73 pages,10 figures, Latex, We have slightly corrected the contribution of the double scattering. The change of the S-wave scattering length of K^-d scattering does not go beyond the theoretical uncertainty, which is about 18

k-d Darts: Sampling by k-Dimensional Flat Searches

We formalize the notion of sampling a function using k-d darts. A k-d dart is a set of independent, mutually orthogonal, k-dimensional subspaces called k-d flats. Each dart has d choose k flats, aligned with the coordinate axes for efficiency. We show that k-d darts are useful for exploring a function's properties, such as estimating its integral, or finding an exemplar above a threshold. We describe a recipe for converting an algorithm from point sampling to k-d dart sampling, assuming the function can be evaluated along a k-d flat. We demonstrate that k-d darts are more efficient than point-wise samples in high dimensions, depending on the characteristics of the sampling domain: e.g. the subregion of interest has small volume and evaluating the function along a flat is not too expensive. We present three concrete applications using line darts (1-d darts): relaxed maximal Poisson-disk sampling, high-quality rasterization of depth-of-field blur, and estimation of the probability of failure from a response surface for uncertainty quantification. In these applications, line darts achieve the same fidelity output as point darts in less time. We also demonstrate the accuracy of higher dimensional darts for a volume estimation problem. For Poisson-disk sampling, we use significantly less memory, enabling the generation of larger point clouds in higher dimensions.Comment: 19 pages 16 figure

Kaon-Deuteron Scattering at Low Energies

We review the experimental information on the K^+d reaction for K-meson momenta below 800 MeV/c. The data are analysed within the single scattering impulse approximation -- utilizing the Juelich kaon-nucleon model -- that allows to take into account effects due to the Fermi motion of the nucleons in the deuteron and the final three-body kinematics for the break-up and charge exchange reaction. We discuss the consistency between the data available for the K^+d -> K^+np, K^+d -> K^0pp and K^+d -> K^+d reactions and the calculations based on the spectator model formalism.Comment: 26 pages, 10 figures, to appear in J. Phys.

Glass transition of hard spheres in high dimensions

We have investigated analytically and numerically the liquid-glass transition of hard spheres for dimensions $d\to \infty$ in the framework of mode-coupling theory. The numerical results for the critical collective and self nonergodicity parameters $f_{c}(k;d)$ and $f_{c}^{(s)}(k;d)$ exhibit non-Gaussian $k$ -dependence even up to $d=800$. $f_{c}^{(s)}(k;d)$ and $f_{c}(k;d)$ differ for $k\sim d^{1/2}$, but become identical on a scale $k\sim d$, which is proven analytically. The critical packing fraction $\phi_{c}(d) \sim d^{2}2^{-d}$ is above the corresponding Kauzmann packing fraction $\phi_{K}(d)$ derived by a small cage expansion. Its quadratic pre-exponential factor is different from the linear one found earlier. The numerical values for the exponent parameter and therefore the critical exponents $a$ and $b$ depend on $d$, even for the largest values of $d$.Comment: 11 pages, 8 figures, Phys. Rev. E (in print

Determination of the CP Violating Phase γ\gamma by a Sum Over Common Decay Modes to BsB_s and Bˉs\bar{B}_s

To help the difficult determination of the angle $\gamma$ of the unitarity triangle, Aleksan, Dunietz and Kayser have proposed the modes of the type $K^-D^+_s$, common to $B_s$ and $\bar{B}_s$. We point out that it is possible to gain in statistics by a sum over all modes with ground state mesons in the final state, i.e. $K^-D^+_s$, $K^{*-}D_+^s$, $K^-D^{*+}_s$, $K^{*-}D^{*+}_s$. The delicate point is the relative phase of these different contributions to the dilution factor $D$ of the time-dependent asymmetry. Each contribution to $D$ is proportional to a product $F^{cb}$ $F^{ub}$ $f_{D_s}$ $f_K$ where $F$ denotes form factors and $f$ decay constants. Within a definite phase convention, lattice calculations do not show any change in sign when extrapolating to light quarks the form factors and decay constants. Then, we can show that all modes contribute constructively to the dilution factor, except the $P$-wave $K^{*-}D^{*+}_s$, which is small. Quark model arguments based on wave function overlaps also confirm this stability in sign. By summing over all these modes we find a gain of a factor 6 in statistics relatively to $K^-D^+_s$. The dilution factor for the sum $D_{tot}$ is remarkably stable for theoretical schemes that are not in very strong conflict with data on $B \to \psi K(K^*)$ or extrapolated from semileptonic charm form factors, giving $D_{tot} \geq 0.6$, always close to $D(K^- D^+_s)$.Comment: 22 pages, LPTHE Orsay 94/03, DAPNIA/SPP/94-2