-
Long ranged stress correlations in the hard sphere liquid
Authors:
Niklas Grimm,
Martin von Bischopinck,
Andreas Zumbusch,
Matthias Fuchs
Abstract:
The smooth emergence of shear elasticity is an hallmark of the liquid to glass transition. In a liquid, viscous stresses arise from local structural rearrangements. In the solid, Eshelby has shown that stresses around an inclusion decay as a power law $r^{-D}$, where $D$ is the dimension of the system. We study glass-forming hard sphere fluids by simulation and observe the emergence of the unscree…
▽ More
The smooth emergence of shear elasticity is an hallmark of the liquid to glass transition. In a liquid, viscous stresses arise from local structural rearrangements. In the solid, Eshelby has shown that stresses around an inclusion decay as a power law $r^{-D}$, where $D$ is the dimension of the system. We study glass-forming hard sphere fluids by simulation and observe the emergence of the unscreened power-law Eshelby pattern in the stress correlations of the isotropic liquid state. By a detailed tensorial analysis, we show that the fluctuating force field, viz.~the divergence of the stress field, relaxes to zero with time in all states, while the shear stress correlations develop spatial power-law structures inside regions that grow with longitudinal and transverse sound speeds; we observe the predicted exponents $r^{-D}$ and $r^{-D-2}$. In Brownian systems, shear stresses relax diffusively within these regions, with the diffusion coefficient determined by the shear modulus and the friction coefficient.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
The impact of large-scale galaxy clustering on the variance of the Hellings-Downs correlation
Authors:
Nastassia Grimm,
Martin Pijnenburg,
Giulia Cusin,
Camille Bonvin
Abstract:
The origin of the stochastic gravitational wave (GW) background, recently discovered from pulsar timing array experiments, is still unclear. If this background is of astrophysical origin, we expect the distribution of GW sources to follow the one of galaxies. Since galaxies are not perfectly isotropically distributed at large scales, but follow the cosmological large-scale structure, this would le…
▽ More
The origin of the stochastic gravitational wave (GW) background, recently discovered from pulsar timing array experiments, is still unclear. If this background is of astrophysical origin, we expect the distribution of GW sources to follow the one of galaxies. Since galaxies are not perfectly isotropically distributed at large scales, but follow the cosmological large-scale structure, this would lead to an intrinsic anisotropy in the distribution of GW sources. In this work, we develop a formalism to account for this anisotropy, by considering a Gaussian ensemble of sources in each realization of the universe and then taking ensemble averages over all such realizations. We find that large-scale galaxy clustering has no impact on the Hellings-Downs curve, describing the expectation value of pulsar timing residual correlations. However, it introduces a new contribution to the variance of the Hellings-Downs correlation. Hence, due to the anisotropic distribution of sources, the measurements of pulsar timing residual correlations in our Universe may differ from the Hellings-Downs curve. This indicates that the variance of the Hellings-Downs correlation can be utilized as a new cosmological observable that might help us to unveil the nature of current background observations in the nHz band.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
New measurements of $E_G$: Testing General Relativity with the Weyl potential and galaxy velocities
Authors:
Nastassia Grimm,
Camille Bonvin,
Isaac Tutusaus
Abstract:
We combine measurements of galaxy velocities from galaxy surveys with measurements of the Weyl potential from the Dark Energy Survey to test the consistency of General Relativity at cosmological scales. Taking the ratio of two model-independent observables - the growth rate of structure and the Weyl potential - we obtain new measurements of the $E_G$ statistic with precision of $5.8-10.7\%$ at fou…
▽ More
We combine measurements of galaxy velocities from galaxy surveys with measurements of the Weyl potential from the Dark Energy Survey to test the consistency of General Relativity at cosmological scales. Taking the ratio of two model-independent observables - the growth rate of structure and the Weyl potential - we obtain new measurements of the $E_G$ statistic with precision of $5.8-10.7\%$ at four different redshifts. These measurements provide a considerable improvement to past measurements of $E_G$. They confirm the validity of General Relativity at three redshifts, while displaying a tension of $2.5σ$ at $z=0.47$ as a consequence of the tension found in the measurements of the Weyl potential. Contrary to conventional methods that rely on a common galaxy sample with spectroscopic resolution to measure two types of correlations, we directly combine two observables that are independent of the galaxy bias. This provides a novel approach to testing the relation between the geometry of our Universe and the motion of galaxies with improved precision.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Decoupling of rotation and translation at the colloidal glass transition
Authors:
John Geiger,
Niklas Grimm,
Matthis Fuchs,
Andreas Zumbusch
Abstract:
Little is known about the coupling of rotation and translation in dense systems. Here, we report results of confocal fluorescence microscopy where simultaneous recording of translational and rotational particle trajectories from a bidisperse colloidal dispersion is achieved by spiking the samples with rotational probe particles. The latter consist of colloidal particles containing two fluorescentl…
▽ More
Little is known about the coupling of rotation and translation in dense systems. Here, we report results of confocal fluorescence microscopy where simultaneous recording of translational and rotational particle trajectories from a bidisperse colloidal dispersion is achieved by spiking the samples with rotational probe particles. The latter consist of colloidal particles containing two fluorescently labelled cores suited for tracking the particle's orientation. A comparison of the experimental data with event driven Brownian simulations gives insight into the system's structure and dynamics close to the glass transition and sheds new light onto the translation-rotation coupling. The data show that with increasing volume fractions, translational dynamics slows down drastically, whereas rotational dynamics changes very little. We find convincing agreement between simulation and experiments, even though the simulations neglect far-field hydrodynamic interactions. An additional analysis of the glass transition following mode coupling theory works well for the structural dynamics but indicates a decoupling of the diffusion of the smaller particle species. The shear stress correlations do not decorrelate in the simulated glass states and are not affected by rotational motion.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
First measurement of the Weyl potential evolution from the Year 3 Dark Energy Survey data: Localising the $σ_8$ tension
Authors:
Isaac Tutusaus,
Camille Bonvin,
Nastassia Grimm
Abstract:
We present the first measurement of the Weyl potential at four redshifts bins using data from the first three years of observations of the Dark Energy Survey (DES). The Weyl potential, which is the sum of the spatial and temporal distortions of the Universe's geometry, provides a direct way of testing the theory of gravity and the validity of the $Λ$CDM model. We find that the measured Weyl potent…
▽ More
We present the first measurement of the Weyl potential at four redshifts bins using data from the first three years of observations of the Dark Energy Survey (DES). The Weyl potential, which is the sum of the spatial and temporal distortions of the Universe's geometry, provides a direct way of testing the theory of gravity and the validity of the $Λ$CDM model. We find that the measured Weyl potential is 2.3$σ$, respectively 3.1$σ$, below the $Λ$CDM predictions in the two lowest redshift bins. We show that these low values of the Weyl potential are at the origin of the $σ_8$ tension between Cosmic Microwave Background (CMB) measurements and weak lensing measurements. Interestingly, we find that the tension remains if no information from the CMB is used. DES data on their own prefer a high value of the primordial fluctuations, followed by a slow evolution of the Weyl potential. A remarkable feature of our method is that the measurements of the Weyl potential are model-independent and can therefore be confronted with any theory of gravity, allowing efficient tests of models beyond General Relativity.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Gravitational Redshift Constraints on the Effective Theory of Interacting Dark Energy
Authors:
Sveva Castello,
Michele Mancarella,
Nastassia Grimm,
Daniel Sobral-Blanco,
Isaac Tutusaus,
Camille Bonvin
Abstract:
Upcoming galaxy surveys provide the necessary sensitivity to measure gravitational redshift, a general relativistic effect that generates a dipole in galaxy clustering data when correlating two distinct populations of galaxies. Here, we study the constraining power of gravitational redshift within the framework of the effective theory of interacting dark energy. This formalism describes linear cos…
▽ More
Upcoming galaxy surveys provide the necessary sensitivity to measure gravitational redshift, a general relativistic effect that generates a dipole in galaxy clustering data when correlating two distinct populations of galaxies. Here, we study the constraining power of gravitational redshift within the framework of the effective theory of interacting dark energy. This formalism describes linear cosmological perturbations in scalar-tensor theories of gravity with a limited number of free functions, and allows each particle species to be coupled differently to the gravitational sector. In this work, we focus on Horndeski theories with a non-minimal coupling of dark matter to the scalar degree of freedom, yielding a breaking of the weak equivalence principle for this cosmic component, a scenario that is yet untested. We show that the dipole generated by gravitational redshift significantly breaks degeneracies and tightens the constraints on the parameters of the effective theory compared to the standard redshift-space distortion analysis solely based on the even multipoles in the galaxy correlation function, with an improvement of up to $\sim 50\%$ for populations with a galaxy bias difference equal to 1. We make the Python package EF-TIGRE (Effective Field Theory of Interacting dark energy with Gravitational REdshift) developed for this work publicly available.
△ Less
Submitted 10 April, 2024; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Combining chirp mass, luminosity distance and sky localisation from gravitational wave events to detect the cosmic dipole
Authors:
N. Grimm,
M. Pijnenburg,
S. Mastrogiovanni,
C. Bonvin,
S. Foffa,
G. Cusin
Abstract:
A key test of the isotropy of the Universe on large scales consists in comparing the dipole in the Cosmic Microwave Background (CMB) temperature with the dipole in the distribution of sources at low redshift. Current analyses find a dipole in the number counts of quasars and radio sources that is 2-5 times larger than expected from the CMB, leading to a tension reaching 5$σ$. In this paper, we der…
▽ More
A key test of the isotropy of the Universe on large scales consists in comparing the dipole in the Cosmic Microwave Background (CMB) temperature with the dipole in the distribution of sources at low redshift. Current analyses find a dipole in the number counts of quasars and radio sources that is 2-5 times larger than expected from the CMB, leading to a tension reaching 5$σ$. In this paper, we derive a consistent framework to measure the dipole independently from gravitational wave (GW) detections. We exploit the fact that the observer velocity does not only change the distribution of events in the sky, but also the luminosity distance and redshifted chirp mass, that can be extracted from the GW waveform. We show that the estimator with higher signal-to-noise ratio is the dipole in the chirp mass measured from a population of binary neutron stars. Combining all estimators (accounting for their covariance) improves the detectability of the dipole by 30-50 percent compared to number counting of binary black holes alone. We find that a few $10^6$ events are necessary to detect a dipole consistent with the CMB one, whereas if the dipole is as large as predicted by radio sources, it will already be detectable with $10^5$ events, which would correspond to a single year of observation with next generation GW detectors. GW sources provide therefore a robust and independent way of testing the isotropy of the Universe.
△ Less
Submitted 19 October, 2023; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Rescuing constraints on modified gravity using gravitational redshift in large-scale structure
Authors:
Sveva Castello,
Nastassia Grimm,
Camille Bonvin
Abstract:
The distribution of galaxies provides an ideal laboratory to test for deviations from General Relativity. In particular, redshift-space distortions are commonly used to constrain modifications to the Poisson equation, which governs the strength of dark matter clustering. Here, we show that these constraints rely on the validity of the weak equivalence principle, which has never been tested for the…
▽ More
The distribution of galaxies provides an ideal laboratory to test for deviations from General Relativity. In particular, redshift-space distortions are commonly used to constrain modifications to the Poisson equation, which governs the strength of dark matter clustering. Here, we show that these constraints rely on the validity of the weak equivalence principle, which has never been tested for the dark matter component. Relaxing this restrictive assumption leads to modifications in the growth of structure that are fully degenerate with modifications induced by the Poisson equation. This in turns strongly degrades the constraining power of redshift-space distortions. Such degeneracies can however be broken and tight constraints on modified gravity can be recovered by measuring gravitational redshift from the galaxy distribution, an effect that will be detectable by the coming generation of large-scale structure surveys.
△ Less
Submitted 18 October, 2022; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Simple fluid with broken time reversal invariance
Authors:
Niklas Grimm,
Annette Zippelius,
Matthias Fuchs
Abstract:
We characterize a system of hard spheres with a simple collision rule that breaks time reversal symmetry, but conserves energy. The collisions lead to an a-chiral, isotropic, and homogeneous stationary state, whose properties are determined in simulations and compared to an approximate theory originally developed for elastic hard spheres. In the nonequilibrium fluid state, velocities are correlate…
▽ More
We characterize a system of hard spheres with a simple collision rule that breaks time reversal symmetry, but conserves energy. The collisions lead to an a-chiral, isotropic, and homogeneous stationary state, whose properties are determined in simulations and compared to an approximate theory originally developed for elastic hard spheres. In the nonequilibrium fluid state, velocities are correlated, a phenomenon known from other nonequilibrium stationary states. The correlations are long-ranged decaying like $1/r^d$ in $d$ dimensions. Such correlations are expected on general grounds far from equilibrium and had previously been observed in driven or non-stationary systems.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Non-Gaussianity in the Squeezed Three-Point Correlation from the Relativistic Effects
Authors:
Jaiyul Yoo,
Nastassia Grimm,
Ermis Mitsou
Abstract:
Assuming a LCDM universe in a single-field inflationary scenario, we compute the three-point correlation function of the observed matter density fluctuation in the squeezed triangular configuration, accounting for all the relativistic effects at the second order in perturbations. This squeezed three-point correlation function characterizes the local-type primordial non-Gaussianity, and it has been…
▽ More
Assuming a LCDM universe in a single-field inflationary scenario, we compute the three-point correlation function of the observed matter density fluctuation in the squeezed triangular configuration, accounting for all the relativistic effects at the second order in perturbations. This squeezed three-point correlation function characterizes the local-type primordial non-Gaussianity, and it has been extensively debated in literature whether there exists a prominent feature in galaxy clustering on large scales in a single-field inflationary scenario either from the primordial origin or the intrinsic nonlinearity in general relativity. First, we show that theoretical descriptions of galaxy bias are incomplete in general relativity due to ambiguities in spatial gauge choice, while those of cosmological observables are independent of spatial gauge choice. Hence a proper relativistic description of galaxy bias is needed to reach a definitive conclusion in galaxy clustering. Second, we demonstrate that the gauge-invariant calculations of the cosmological observables remain unaffected by extra coordinate transformations like CFC or large diffeomorphism like dilatation. Finally, we show that the relativistic effects associated with light propagation in observations cancel each other, and hence there exists NO non-Gaussian contribution from the so-called projection effects.
△ Less
Submitted 23 August, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Temperature-dependent EXAFS measurements of the Pb L3-edge allow quantification of the anharmonicity of the lead-halide bond of chlorine-substituted methylammonium (MA) lead triiodide
Authors:
Götz Schuck,
Daniel M. Többens,
Dirk Wallacher,
Nico Grimm,
Tong Sy Tien,
Susan Schorr
Abstract:
This article reports on studies of chlorine-substituted MAPbI3 using combined temperature-dependent XRD synchrotron and Pb-L3 edge EXAFS to analyze the anharmonicity of the lead halide bond. The EXAFS parameters were described in the orthorhombic phase by an Einstein or T2 type behavior, which was then compared with the experimental EXAFS parameters of the tetragonal/cubic phase. In the orthorhomb…
▽ More
This article reports on studies of chlorine-substituted MAPbI3 using combined temperature-dependent XRD synchrotron and Pb-L3 edge EXAFS to analyze the anharmonicity of the lead halide bond. The EXAFS parameters were described in the orthorhombic phase by an Einstein or T2 type behavior, which was then compared with the experimental EXAFS parameters of the tetragonal/cubic phase. In the orthorhombic phase, it was observed that the asymmetry of the pair distribution function (cumulant C3) in MAPbCl3 is much lower than in MAPbI3. Compared with the behavior in the orthorhombic phase, the anharmonicity changed after the phase transition to the room temperature phase, with MAPbCl3 showing an increased anharmonicity and MAPbI3 a decrease. The differences between MAPbI3 and 2% chlorine substitution were small, both in the orthorhombic and tetragonal phases. By determining the structural parameters required to convert the effective force constants k0 and k3 resulting from the EXAFS analysis into the Morse potential parameters α and D, we could establish that our results agree with other experimental findings. Moreover, by using XRD we found that the [PbX6] octahedra shrink slightly in the tetragonal phase of MAPbI3 and MAPbI2.94Cl0.06, towards increasing temperatures. This behavior in the tetragonal phase is related to the dominant negative tension effects observed by EXAFS.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
General Relativistic Effects in Weak Lensing Angular Power Spectra
Authors:
Nastassia Grimm,
Jaiyul Yoo
Abstract:
Advances in upcoming weak lensing surveys pose new challenges for an accurate modeling of the lensing observables. The wide sky coverage of Euclid makes angular scales down to $l_\mathrm{min}=10$ accessible. At such large angular scales, general relativistic effects manifest themselves, and the lensing magnification cannot be correctly described by the standard lensing convergence only. The impact…
▽ More
Advances in upcoming weak lensing surveys pose new challenges for an accurate modeling of the lensing observables. The wide sky coverage of Euclid makes angular scales down to $l_\mathrm{min}=10$ accessible. At such large angular scales, general relativistic effects manifest themselves, and the lensing magnification cannot be correctly described by the standard lensing convergence only. The impact of line-of-sight velocities on the magnification angular power spectrum, referred to as the Doppler magnification, is already well recognized in literature. In particular, it was suggested that the Doppler magnification could be extracted by measurements of both cosmic shear and magnification. In this work, we point out two previously neglected aspects with respect to this method. Firstly, the impact of the Doppler magnification is reduced through non-vanishing cross terms with the standard lensing convergence. This is particularly relevant when the sources are averaged over a bin of width $Δz\approx 0.1$, such as in Euclid's tomographic weak lensing survey. Secondly, general relativistic potential terms slightly enhance the signal. We present numerical calculations of all relativistic effects in the weak lensing angular power spectra on large scales.
△ Less
Submitted 1 November, 2021; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Cutting out the cosmological middle man: General Relativity in the light-cone coordinates
Authors:
Ermis Mitsou,
Giuseppe Fanizza,
Nastassia Grimm,
Jaiyul Yoo
Abstract:
Analytical computations in relativistic cosmology can be split into two sets: time evolution relating the initial conditions to the observer's light-cone and light propagation to obtain observables. Cosmological perturbation theory in the FLRW coordinates constitutes an efficient tool for the former task, but the latter is dramatically simpler in light-cone-adapted coordinates that trivialize the…
▽ More
Analytical computations in relativistic cosmology can be split into two sets: time evolution relating the initial conditions to the observer's light-cone and light propagation to obtain observables. Cosmological perturbation theory in the FLRW coordinates constitutes an efficient tool for the former task, but the latter is dramatically simpler in light-cone-adapted coordinates that trivialize the light rays towards the observer world-line. Here we point out that time evolution and observable reconstruction can be combined into a single computation that relates directly initial conditions to observables. This is possible if one works uniquely in such light-cone coordinates, thus completely bypassing the FLRW "middle-man" coordinates. We first present in detail these light-cone coordinates, extending and generalizing the presently available material in the literature, and construct a particularly convenient subset for cosmological perturbation theory. We then express the Einstein and energy-momentum conservation equations in these coordinates at the fully non-linear level. This is achieved through a careful 2+1+1 decomposition which leads to relatively compact expressions and provides good control over the geometrical interpretation of the involved quantities. Finally, we consider cosmological perturbation theory to linear order, paying attention to the remaining gauge symmetries and consistently obtaining gauge-invariant equations. Moreover, we show that it is possible to implement statistical homogeneity on stochastic fluctuations, despite the fact that the coordinate system privileges the observer world-line.
△ Less
Submitted 15 January, 2021; v1 submitted 30 September, 2020;
originally announced September 2020.
-
Galaxy Power Spectrum in General Relativity
Authors:
Nastassia Grimm,
Fulvio Scaccabarozzi,
Jaiyul Yoo,
Sang Gyu Biern,
**n-Ouk Gong
Abstract:
We present the galaxy power spectrum in general relativity. Using a novel approach, we derive the galaxy power spectrum taking into account all the relativistic effects in observations. In particular, we show independently of survey geometry that relativistic effects yield no divergent terms (proportional to $k^{-4}P_m(k)$ or $k^{-2}P_m(k)$ on all scales) that would mimic the signal of primordial…
▽ More
We present the galaxy power spectrum in general relativity. Using a novel approach, we derive the galaxy power spectrum taking into account all the relativistic effects in observations. In particular, we show independently of survey geometry that relativistic effects yield no divergent terms (proportional to $k^{-4}P_m(k)$ or $k^{-2}P_m(k)$ on all scales) that would mimic the signal of primordial non-Gaussianity. This cancellation of such divergent terms is indeed expected from the equivalence principle, meaning that any perturbation acting as a uniform gravity on the scale of the experiment cannot be measured. We find that the unphysical infrared divergence obtained in previous calculations occurred only due to not considering all general relativistic contributions consistently. Despite the absence of divergent terms, general relativistic effects represented by non-divergent terms alter the galaxy power spectrum at large scales (smaller than the horizon scale). In our numerical computation of the full galaxy power spectrum, we show the deviations from the standard redshift-space power spectrum due to these non-divergent corrections. We conclude that, as relativistic effects significantly alter the galaxy power spectrum at $k\lesssim k_{eq}$, they need to be taken into account in the analysis of large-scale data.
△ Less
Submitted 15 October, 2020; v1 submitted 13 May, 2020;
originally announced May 2020.
-
Language-Based Web Session Integrity
Authors:
Stefano Calzavara,
Riccardo Focardi,
Niklas Grimm,
Matteo Maffei,
Mauro Tempesta
Abstract:
Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the large number of existing attacks. This motivated the design of formal methods to rigorously reason about web session security which, however, are not supported at present by suitable automated verification techniques. In th…
▽ More
Session management is a fundamental component of web applications: despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the large number of existing attacks. This motivated the design of formal methods to rigorously reason about web session security which, however, are not supported at present by suitable automated verification techniques. In this paper we introduce the first security type system that enforces session security on a core model of web applications, focusing in particular on server-side code. We showcase the expressiveness of our type system by analyzing the session management logic of HotCRP, Moodle, and phpMyAdmin, unveiling novel security flaws that have been acknowledged by software developers.
△ Less
Submitted 2 June, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Unveiling domain wall dynamics of ferrimagnets in thermal magnon currents: competition of angular momentum transfer and entropic torque
Authors:
Andreas Donges,
Niklas Grimm,
Florian Jakobs,
Severin Selzer,
Ulrike Ritzmann,
Unai Atxitia,
Ulrich Nowak
Abstract:
Control of magnetic domain wall motion holds promise for efficient manipulation and transfer of magnetically stored information. Thermal magnon currents, generated by temperature gradients, can be used to move magnetic textures, from domain walls, to magnetic vortices and skyrmions. In the last years, theoretical studies have centered in ferro- and antiferromagnetic spin structures, where domain w…
▽ More
Control of magnetic domain wall motion holds promise for efficient manipulation and transfer of magnetically stored information. Thermal magnon currents, generated by temperature gradients, can be used to move magnetic textures, from domain walls, to magnetic vortices and skyrmions. In the last years, theoretical studies have centered in ferro- and antiferromagnetic spin structures, where domain walls always move towards the hotter end of the thermal gradient. Here we perform numerical studies using atomistic spin dynamics simulations and complementary analytical calculations to derive an equation of motion for the domain wall velocity. We demonstrate that in ferrimagnets, domain wall motion under thermal magnon currents shows a much richer dynamics. Below the Walker breakdown, we find that the temperature gradient always pulls the domain wall towards the hot end by minimizating its free energy, in agreement with the observations for ferro- and antiferromagnets in the same regime. Above Walker breakdown, the ferrimagnetic domain wall can show the opposite, counterintuitive behavior of moving towards the cold end. We show that in this case, the motion to the hotter or the colder ends is driven by angular momentum transfer and therefore strongly related to the angular momentum compensation temperature, a unique property of ferrimagnets where the intrinsic angular momentum of the ferrimagnet is zero while the sublattice angular momentum remains finite. In particular, we find that below the compensation temperature the wall moves towards the cold end, whereas above it, towards the hot end. Moreover, we find that for ferrimagnets, there is a torque compensation temperature at which the domain wall dynamics shows similar characteristics to antiferromagnets, that is, quasi-inertia-free motion and the absence of Walker breakdown.
△ Less
Submitted 13 November, 2019;
originally announced November 2019.
-
Cosmological Information Contents on the Light-Cone
Authors:
Jaiyul Yoo,
Ermis Mitsou,
Nastassia Grimm,
Ruth Durrer,
Alexandre Refregier
Abstract:
We develop a theoretical framework to describe the cosmological observables on the past light cone such as the luminosity distance, weak lensing, galaxy clustering, and the cosmic microwave background anisotropies. We consider that all the cosmological observables include not only the background quantity, but also the perturbation quantity, and they are subject to cosmic variance, which sets the f…
▽ More
We develop a theoretical framework to describe the cosmological observables on the past light cone such as the luminosity distance, weak lensing, galaxy clustering, and the cosmic microwave background anisotropies. We consider that all the cosmological observables include not only the background quantity, but also the perturbation quantity, and they are subject to cosmic variance, which sets the fundamental limits on the cosmological information that can be derived from such observables, even in an idealized survey with an infinite number of observations. To quantify the maximum cosmological information content, we apply the Fisher information matrix formalism and spherical harmonic analysis to cosmological observations, in which the angular and the radial positions of the observables on the light cone carry different information. We discuss the maximum cosmological information that can be derived from five different observables: (1) type Ia supernovae, (2) cosmic microwave background anisotropies, (3) weak gravitational lensing, (4) local baryon density, and (5) galaxy clustering. We compare our results with the cosmic variance obtained in the standard approaches, which treat the light cone volume as a cubic box of simultaneity. We discuss implications of our formalism and ways to overcome the fundamental limit.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Jacobi Map** Approach for a Precise Cosmological Weak Lensing Formalism
Authors:
Nastassia Grimm,
Jaiyul Yoo
Abstract:
Cosmological weak lensing has been a highly successful and rapidly develo** research field since the first detection of cosmic shear in 2000. However, it has recently been pointed out in Yoo et al. that the standard weak lensing formalism yields gauge-dependent results and, hence, does not meet the level of accuracy demanded by the next generation of weak lensing surveys. Here, we show that the…
▽ More
Cosmological weak lensing has been a highly successful and rapidly develo** research field since the first detection of cosmic shear in 2000. However, it has recently been pointed out in Yoo et al. that the standard weak lensing formalism yields gauge-dependent results and, hence, does not meet the level of accuracy demanded by the next generation of weak lensing surveys. Here, we show that the Jacobi map** formalism provides a solid alternative to the standard formalism, as it accurately describes all the relativistic effects contributing to the weak lensing observables. We calculate gauge-invariant expressions for the distortion in the luminosity distance, the cosmic shear components and the lensing rotation to linear order including scalar, vector and tensor perturbations. In particular, the Jacobi map** formalism proves that the rotation is fully vanishing to linear order. Furthermore, the cosmic shear components contain an additional term in tensor modes which is absent in the results obtained with the standard formalism. Our work provides further support and confirmation of the gauge-invariant lensing formalism needed in the era of precision cosmology.
△ Less
Submitted 2 August, 2018; v1 submitted 31 May, 2018;
originally announced June 2018.
-
Gauge-Invariant Formalism of Cosmological Weak Lensing
Authors:
Jaiyul Yoo,
Nastassia Grimm,
Ermis Mitsou,
Adam Amara,
Alexandre Refregier
Abstract:
We present the gauge-invariant formalism of cosmological weak lensing, accounting for all the relativistic effects due to the scalar, vector, and tensor perturbations at the linear order. While the light propagation is fully described by the geodesic equation, the relation of the photon wavevector to the physical quantities requires the specification of the frames, where they are defined. By const…
▽ More
We present the gauge-invariant formalism of cosmological weak lensing, accounting for all the relativistic effects due to the scalar, vector, and tensor perturbations at the linear order. While the light propagation is fully described by the geodesic equation, the relation of the photon wavevector to the physical quantities requires the specification of the frames, where they are defined. By constructing the local tetrad bases at the observer and the source positions, we clarify the relation of the weak lensing observables such as the convergence, the shear, and the rotation to the physical size and shape defined in the source rest-frame and the observed angle and redshift measured in the observer rest-frame. Compared to the standard lensing formalism, additional relativistic effects contribute to all the lensing observables. We explicitly verify the gauge-invariance of the lensing observables and compare our results to previous work. In particular, we demonstrate that even in the presence of the vector and tensor perturbations, the physical rotation of the lensing observables vanishes at the linear order, while the tetrad basis rotates along the light propagation compared to a FRW coordinate. Though the latter is often used as a probe of primordial gravitational waves, the rotation of the tetrad basis is indeed not a physical observable. We further clarify its relation to the E-B decomposition in weak lensing. Our formalism provides a transparent and comprehensive perspective of cosmological weak lensing.
△ Less
Submitted 9 April, 2018; v1 submitted 9 February, 2018;
originally announced February 2018.
-
A Type System for Privacy Properties (Technical Report)
Authors:
Véronique Cortier,
Niklas Grimm,
Joseph Lallemand,
Matteo Maffei
Abstract:
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy or anonymity) is more complex and constitutes an active research topic with several recent propositions of techniques and tools. We explore a novel approach based on type systems and provide a (sou…
▽ More
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy or anonymity) is more complex and constitutes an active research topic with several recent propositions of techniques and tools. We explore a novel approach based on type systems and provide a (sound) type system for proving equivalence of protocols, for a bounded or an unbounded number of sessions. The resulting prototype implementation has been tested on various protocols of the literature. It provides a significant speed-up (by orders of magnitude) compared to tools for a bounded number of sessions and complements in terms of expressiveness other state-of-the-art tools, such as ProVerif and Tamarin: e.g., we show that our analysis technique is the first one to handle a faithful encoding of the Helios e-voting protocol in the context of an untrusted ballot box.
△ Less
Submitted 28 August, 2017;
originally announced August 2017.
-
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
Authors:
Niklas Grimm,
Kenji Maillard,
Cédric Fournet,
Catalin Hritcu,
Matteo Maffei,
Jonathan Protzenko,
Tahina Ramananandro,
Aseem Rastogi,
Nikhil Swamy,
Santiago Zanella-Béguelin
Abstract:
Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diverse computational effects, and they have received much attention in the recent literature. Rather than develo** separate tools for special classes of effects and relational properties, we advocate using a general purpos…
▽ More
Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diverse computational effects, and they have received much attention in the recent literature. Rather than develo** separate tools for special classes of effects and relational properties, we advocate using a general purpose proof assistant as a unifying framework for the relational verification of effectful programs. The essence of our approach is to model effectful computations using monads and to prove relational properties on their monadic representations, making the most of existing support for reasoning about pure programs.
We apply this method in F* and evaluate it by encoding a variety of relational program analyses, including information flow control, program equivalence and refinement at higher order, correctness of program optimizations and game-based cryptographic security. By relying on SMT-based automation, unary weakest preconditions, user-defined effects, and monadic reification, we show that, compared to unary properties, verifying relational properties requires little additional effort from the F* programmer.
△ Less
Submitted 12 October, 2019; v1 submitted 28 February, 2017;
originally announced March 2017.
-
Lime: Data Lineage in the Malicious Environment
Authors:
Michael Backes,
Niklas Grimm,
Aniket Kate
Abstract:
Intentional or unintentional leakage of confidential data is undoubtedly one of the most severe security threats that organizations face in the digital era. The threat now extends to our personal lives: a plethora of personal information is available to social networks and smartphone providers and is indirectly transferred to untrustworthy third party and fourth party applications.
In this work,…
▽ More
Intentional or unintentional leakage of confidential data is undoubtedly one of the most severe security threats that organizations face in the digital era. The threat now extends to our personal lives: a plethora of personal information is available to social networks and smartphone providers and is indirectly transferred to untrustworthy third party and fourth party applications.
In this work, we present a generic data lineage framework LIME for data flow across multiple entities that take two characteristic, principal roles (i.e., owner and consumer). We define the exact security guarantees required by such a data lineage mechanism toward identification of a guilty entity, and identify the simplifying non repudiation and honesty assumptions. We then develop and analyze a novel accountable data transfer protocol between two entities within a malicious environment by building upon oblivious transfer, robust watermarking, and signature primitives. Finally, we perform an experimental evaluation to demonstrate the practicality of our protocol.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.