Search

Kaluza-Klein theory, by which we mean vacuum gravity in 5-dimensions, with asymptotics that are a product of a circle with Minkowski spacetime, has a variety of different static black hole solutions; localized black holes and the homogeneous and inhomogeneous black strings. There is currently no uniqueness theorem for the solutions, and for fixed circle size multiple solutions with the same mass co-exist. Intuitively for small circle sizes we might expect the theory truncates to become 4-dimensional, and correspondingly the only black holes are the homogeneous black strings. Thus we conjecture that for fixed mass and sufficiently small circle size, the only black holes are homogeneous ones. Here we give evidence that this is indeed the case. Firstly we introduce a toy scalar field model with a potential that allows tachyonic behaviour. Putting this theory on a product of Minkowski with a circle gives an analogous set of static homogeneous and inhomogeneous solutions to that of the black holes. We prove that solutions must be homogeneous for small circle sizes, the analog of our conjecture for this toy model. A weaker statement that is straightforward to derive is a bound on how inhomogeneous a solution can be - putting this scalar theory in a large but finite cavity, a norm of the wavefunction of the Kaluza-Klein modes can be shown to vanish in the small circle limit. Turning to the full gravitational theory, we employ a metric ansatz that imposes static axisymmetry, encompasses the homogeneous and inhomogeneous black strings (but not the localized solutions) and allows us to measure inhomogeneity of a solution. Employing a finite cavity and imposing boundary conditions that are compatible with homogeneity we show a similar result; the norm of certain Kaluza-Klein modes is bounded by the circle size, providing evidence that our conjecture is true., Comment: 18 pages, 2 figures

We consider $N$-player games, in continuous time, finite state space and finite time horizon, on a geometrical structure possessing a macroscopic limit in a suitable sense. This geometrical structure breaks the permutation invariance property that gives rise to mean field games. The corresponding limit game is a variant of mean field games that we call {\em long range game}. We prove that this asymptotic scheme satisfies the following key properties: a) the long range game admits al least one equilibrium; b) this equilibrium is unique under a suitable monotonicity condition; c) the feedback corresponding to any equilibrium of the long range game is a quasi-Nash equilibrium for the $N$-player games. We finally show that this scheme includes several examples of interaction mechanisms, in particular Kac-type interactions and interactions on generalized Erd\"{o}s-Renyi graphs.

We focus on dRGT massive gravity in spherical symmetry in the limit of small graviton mass. Firstly we examine the minimal model. This does not exhibit a Vainshtein mechanism in spherical symmetry, but one may still ask what happens for spherical dynamics. We show that there are no regular time-dependent spherically symmetric solutions unless the matter has sufficiently large pressure. For matter that does not satisfy this, such as non-relativistic matter, any Cauchy slice of such a solution must necessarily have a point where the metric becomes singular. Only a weak assumption on the asymptotics is made. We then consider the next-to-minimal model. This has been argued to have a good Vainshtein mechanism in spherical symmetry, and hence be phenomenologically viable, provided the relative sign of the minimal and next-to-minimal mass terms is the same, and we restrict attention to this case. We find that regular behaviour requires the matter at the origin of symmetry to have positive pressure -- in particular a massive scalar field fails to satisfy this condition. Furthermore it restricts non-relativistic matter so that the pressure is bounded from below in terms of the density and graviton mass in a manner that is at odds with a reasonable phenomenology. This suggests that realistic phenomenology will either require a resolution of singularities, or will require dynamics beyond the non-generic setting of spherical symmetry., Comment: 17 pages, no figures

The task of content-type detection -- which entails identifying the data encoded in an arbitrary byte sequence -- is critical for operating systems, development, reverse engineering environments, and a variety of security applications. In this paper, we introduce Magika, a novel AI-powered content-type detection tool. Under the hood, Magika employs a deep learning model that can execute on a single CPU with just 1MB of memory to store the model's weights. We show that Magika achieves an average F1 score of 99% across over a hundred content types and a test set of more than 1M files, outperforming all existing content-type detection tools today. In order to foster adoption and improvements, we open source Magika under an Apache 2 license on GitHub and make our model and training pipeline publicly available. Our tool has already seen adoption by the Gmail email provider for attachment scanning, and it has been integrated with VirusTotal to aid with malware analysis. We note that this paper discusses the first iteration of Magika, and a more recent version already supports more than 200 content types. The interested reader can see the latest development on the Magika GitHub repository, available at https://github.com/google/magika.

Quantum gravity has long remained elusive from an observational standpoint. Developing effective cosmological models motivated by the fundamental aspects of quantum gravity is crucial for bridging theory with observations. One key aspect is the granularity of spacetime, which suggests that free particles would deviate from classical geodesics by following a covariant Brownian motion. This notion is further supported by swerves models in causal set theory, a discrete approach to quantum gravity. At an effective level, such deviations are described by a stochastic correction to the geodesic equation. We show that the form of this correction is strictly restricted by covariance and the mass-shell condition. Under minimal coupling to curvature, the resulting covariant Brownian motion is unique. The process is equivalently described by a covariant diffusion equation for the distribution of massive particles in their relativistic phase space. When applied to dark matter particles, covariant Brownian motion results in spontaneous warming at late times, suppressing the matter power spectrum at small scales in a time-dependent manner. Using bounds on the diffusion rate from CMB and growth history measurements of $f\sigma_8$, we show that the model offers a resolution to the $S_8$ tension. Future studies on the model's behavior at non-linear cosmological scales will provide further constraints and, therefore, critical tests for the viability of stochastic dark matter., Comment: 66 pages, 13 figures, 2 tables

Productivity in Research (PQ) is a scholarship granted by CNPq (Brazilian National Council for Scientific and Technological Development). This scholarship aims to recognize a few selected faculty researchers for their scientific production, outstanding technology and innovation in their respective areas of knowledge. In the present study, we evaluated the scientific production of the 185 researchers in the Computer Science area granted with PQ scholarship in the last PQ selection notice. To evaluate the productivity of each professor, we considered papers published in scientific journals and conferences (complete works) in a five years period (from 2017 to 2021). We analyzed the productivity in terms of both quantity and quality. We also evaluated its distribution over the country, universities and research facilities, as well as, the co-authorship network produced., Comment: 15 pages, 14 figures

We present the task description of the Detection and Classification of Acoustic Scenes and Events (DCASE) 2024 Challenge Task 2: First-shot unsupervised anomalous sound detection (ASD) for machine condition monitoring. Continuing from last year's DCASE 2023 Challenge Task 2, we organize the task as a first-shot problem under domain generalization required settings. The main goal of the first-shot problem is to enable rapid deployment of ASD systems for new kinds of machines without the need for machine-specific hyperparameter tunings. This problem setting was realized by (1) giving only one section for each machine type and (2) having completely different machine types for the development and evaluation datasets. For the DCASE 2024 Challenge Task 2, data of completely new machine types were newly collected and provided as the evaluation dataset. In addition, attribute information such as the machine operation conditions were concealed for several machine types to mimic situations where such information are unavailable. We will add challenge results and analysis of the submissions after the challenge submission deadline., Comment: anomaly detection, acoustic condition monitoring, domain shift, first-shot problem, DCASE Challenge. arXiv admin note: text overlap with arXiv:2305.07828

We present the first comparison of waveforms evaluated using the effective-one-body (EOB) approach and gravitational self-force (GSF) theory for inspiralling black hole binaries with a non-spinning primary and a spinning secondary. This paper belongs to a series of papers comparing the EOB model TEOBResumS to GSF results, where the latter are used to benchmark the EOB analytical choices in the large-mass-ratio regime. In this work, we explore the performance of two gauge choices for the gyro-gravitomagnetic functions GS, GS* entering the spin-orbit sector within the EOB dynamics. In particular, we consider the usual gauge of TEOBResumS, where GS and GS* only depend on the inverse radius and the radial momentum, and a different gauge where these functions also depend on the azimuthal momentum. The latter choice allows us to exploit as prefactor in GS* the complete expression GKS* for a spinning particle on Kerr. As done previously, we employ both waveform alignments in the time domain and a gauge-invariant frequency-domain analysis to gain a more complete understanding of the impact of the new analytical choice. The frequency-domain analysis is particularly useful in confirming that the gyro-gravitomagnetic functions in the new chosen gauge bring the EOB spin contribution at 1st post-adiabatic order closer to the GSF one. We finally implement the improved functions within the public code for TEOBResumS-Dal\'i, which already incorporates eccentricity. In this way, we upgrade the EOB model for extreme-mass-ratio inspirals presented in our previous work., Comment: 15 pages, 6 figures

Causal set theory is an approach to quantum gravity in which spacetime is fundamentally discrete at the Planck scale and takes the form of a Lorentzian lattice, or "causal set", from which continuum spacetime emerges in a large-scale (low-energy) approximation. In this work, we present new developments in the framework of interacting quantum field theory on causal sets. We derive a diagrammatic expansion for in-in correlators in local scalar field theories with finite polynomial interactions. We outline how these same correlators can be computed using the double-path integral which acts as a generating functional for the in-in correlators. We modify the in-in generating functional to obtain a generating functional for in-out correlators. We define a notion of scattering amplitudes on causal sets with non-interacting past and future regions and verify that they are given by S-matrix elements (matrix elements of the time-evolution operator). We describe how these formal developments can be implemented to compute early universe observables under the assumption that spacetime is fundamentally discrete., Comment: 34 pages

LISA, the Laser Interferometer Space Antenna, will usher in a new era in gravitational-wave astronomy. As the first anticipated space-based gravitational-wave detector, it will expand our view to the millihertz gravitational-wave sky, where a spectacular variety of interesting new sources abound: from millions of ultra-compact binaries in our Galaxy, to mergers of massive black holes at cosmological distances; from the beginnings of inspirals that will venture into the ground-based detectors' view to the death spiral of compact objects into massive black holes, and many sources in between. Central to realising LISA's discovery potential are waveform models, the theoretical and phenomenological predictions of the pattern of gravitational waves that these sources emit. This white paper is presented on behalf of the Waveform Working Group for the LISA Consortium. It provides a review of the current state of waveform models for LISA sources, and describes the significant challenges that must yet be overcome., Comment: 239 pages, 11 figures, white paper from the LISA Consortium Waveform Working Group, invited for submission to Living Reviews in Relativity, updated with comments from community

We present a first complete implementation of an effective-one-body (EOB) model for extreme-mass-ratio inspirals (EMRIs) that incorporates aligned spins (on both the primary and the secondary) as well as orbital eccentricity. The model extends TEOBResumS-Dal\'i for these binaries by (i) recasting conservative first-order gravitational self-force (1GSF) information in the resummed EOB potentials; (ii) employing a post-Newtonian (PN) $3^{+19}$PN-accurate (3PN comparable-mass terms hybridized with test-particle terms up to 22PN relative order) expression for the gravitational-wave flux at infinity; (iii) using an improved implementation of the horizon flux that better approximates its test-mass representation. With respect to our previous work [Phys. Rev. D 106 (2022) 8, 084062], we demonstrate that the inclusion of the $3^{+19}$PN-accurate $\ell=9$ and $\ell=10$ modes in the flux at infinity significantly improves the model's agreement with second-order accurate GSF (2GSF) circular waveforms. For a standard EMRI with mass ratio $q \equiv m_1/m_2 = 5 \times 10^4$ and $m_2 = 10 M_\odot$, the accumulated EOB/2GSF dephasing is $\lesssim $ rad for $\sim 1$ yr of evolution, which is consistent with the standard accuracy requirements for EMRIs. We also showcase the generation of eccentric and spinning waveforms and discuss future extensions of our EOB towards a physically complete model for EMRIs., Comment: 9 pages, 6 figures

Temporal graphs represent interactions between entities over time. Deciding whether entities can reach each other through temporal paths is useful for various applications such as in communication networks and epidemiology. Previous works have studied the scenario in which addition of new interactions can happen at any point in time. A known strategy maintains, incrementally, a Timed Transitive Closure by using a dynamic data structure composed of $O(n^2)$ binary search trees containing non-nested time intervals. However, space usage for storing these trees grows rapidly as more interactions are inserted. In this paper, we present a compact data structures that represent each tree as two dynamic bit-vectors. In our experiments, we observed that our data structure improves space usage while having similar time performance for incremental updates when comparing with the previous strategy in temporally dense temporal graphs., Comment: 17 pages, 6 figures

Efforts to secure computing systems via software traditionally focus on the operating system and application levels. In contrast, the Security Protocol and Data Model (SPDM) tackles firmware level security challenges, which are much harder (if at all possible) to detect with regular protection software. SPDM includes key features like enabling peripheral authentication, authenticated hardware measurements retrieval, and secure session establishment. Since SPDM is a relatively recent proposal, there is a lack of studies evaluating its performance impact on real-world applications. In this article, we address this gap by: (1) implementing the protocol on a simple virtual device, and then investigating the overhead introduced by each SDPM message; and (2) creating an SPDM-capable virtual hard drive based on VirtIO, and comparing the resulting read/write performance with a regular, unsecured implementation. Our results suggest that SPDM bootstrap time takes the order of tens of milliseconds, while the toll of introducing SPDM on hard drive communication highly depends on specific workload patterns. For example, for mixed random read/write operations, the slowdown is negligible in comparison to the baseline unsecured setup. Conversely, for sequential read or write operations, the data encryption process becomes the bottleneck, reducing the performance indicators by several orders of magnitude., Comment: 10 pages, 8 figures

Temporal graphs represent interactions between entities over time. These interactions may be direct, a contact between two vertices at some time instant, or indirect, through sequences of contacts called journeys. Deciding whether an entity can reach another through a journey is useful for various applications in complex networks. In this paper, we present a disk-based data structure that maintains temporal reachability information under the addition of new contacts in a non-chronological order. It represents the \emph{timed transitive closure} (TTC) by a set of \emph{expanded} R-tuples of the form $(u, v, t^-, t^+)$, which encodes the existence of journeys from vertex $u$ to vertex $v$ with departure at time $t^-$ and arrival at time $t^+$. Let $n$ be the number of vertices and $\tau$ be the number of timestamps in the lifetime of the temporal graph. Our data structure explicitly maintains this information in linear arrays using $O(n^2\tau)$ space so that sequential accesses on disk are prioritized. Furthermore, it adds a new unsorted contact $(u, v, t)$ accessing $O\left(\frac{n^2\tau}{B}\right)$ sequential pages in the worst-case, where $B$ is the of pages on disk; it answers whether there is of a journey from a vertex $u$ to a vertex $v$ within a time interval $[t_1, t_2]$ accessing a single page; it answers whether all vertices can reach each other in $[t_1, t_2]$; and it reconstructs a valid journey that validates the reachability from a vertex $u$ to a vertex $v$ within $[t_1, t_1]$ accessing $O\left(\frac{n\tau}{B}\right)$ pages. Our experiments show that our novel data structure are better that the best known approach for the majority of cases using synthetic and real world datasets., Comment: 22 pages, 4 figures

Half a century ago a local and (seemingly) causally consistent implementation of the projection postulate was formulated for local projectors in Quantum Field Theory (QFT) by utilising the basic property that spacelike local observables commute. This was not the end of the story for whether projective, or ideal measurements in QFT respect causality. In particular, the causal consistency of ideal measurements was brought into question by Sorkin 20 years later using a scenario previously overlooked. Sorkin's example, however, involved a non-local operator, and thus the question remained whether ideal measurements of local operators are causally consistent, and hence whether they are physically realisable. Considering both continuum and discrete spacetimes such as causal sets, we focus on the basic local observables of real scalar field theory -- smeared field operators -- and show that the corresponding ideal measurements violate causality, and are thus impossible to realise in practice. We show this using a causality condition derived for a general class of update maps for smeared fields that includes unitary kicks, ideal measurements, and approximations to them such as weak measurements. We discuss the various assumptions that go into our result. Of note is an assumption that Sorkin's scenario can actually be constructed in the given spacetime setup. This assumption can be evaded in certain special cases in the continuum, and in a particularly natural way in Causal Set Theory. In such cases one can then freely use the projection postulate in a causally consistent manner. In light of the generic acausality of ideal measurements, we also present examples of local update maps that offer causality-respecting alternatives to the projection postulate as an operationalist description of measurement in QFT.

The success of analytic waveform modeling within the effective-one-body (EOB) approach relies on the precise understanding of the physical importance of each technical element included in the model. The urgency of constructing progressively more sophisticated and complete waveform models (e.g. including spin precession and eccentricity) partly defocused the research from a careful comprehension of each building block (e.g. Hamiltonian, radiation reaction, ringdown attachment). Here we go back to the spirit of the first EOB works. We focus first on nonspinning, quasi-circular, black hole binaries and analyze systematically the mutual synergy between numerical relativity (NR) informed functions and the high post-Newtonian corrections (up to 5PN) to the EOB potentials. Our main finding is that it is essential to correctly control the noncircular part of the dynamics during the late plunge up to merger. We then improve the {\tt TEOBResumS-GIOTTO} waveform model for quasi-circular, spin-aligned black hole binaries. We obtain maximal EOB/NR unfaithfulness ${\bar{F}}^{\rm max}_{\rm EOBNR}\sim 10^{-3}$ (with Advanced LIGO noise and in the total mass range $10-200M_\odot$) for the dominant $\ell=m=2$ mode all over the 534 spin-aligned configurations available through the Simulating eXtreme Spacetime catalog. The model performance, also including higher modes, is then explored using the NR surrogates \nrsurqeight{} and \nrsurqfifteen, to validate it up to mass ratio $m_1/m_2=15$. We find that, over the set of configurations considered, more than $98\%$ of the total-mass-maximized unfaithfulness lie below the $3\%$ threshold when comparing to the surrogate models., Comment: 26 pages, 32 figures, improved description and discussion for the ringdown. Matches published version

We consider a modified gravity model which we call "dynamical Henneaux-Teitelboim gravity" because of its close relationship with the Henneaux-Teitelboim formulation of unimodular gravity. The latter is a fully diffeomorphism-invariant formulation of unimodular gravity, where full diffeomorphism invariance is achieved by introducing two additional non-dynamical fields: a scalar, which plays the role of a cosmological constant, and a three-form whose exterior derivative is the spacetime volume element. Dynamical Henneaux-Teitelboim gravity is a generalization of this model that includes kinetic terms for both the scalar and the three-form with arbitrary couplings. We study the field equations for the cases of spherically symmetric and homogeneous, isotropic configurations. In the spherically symmetric case, we solve the field equations analytically for small values of the coupling to obtain an approximate black hole solution. In the homogeneous and isotropic case, we perturb around de Sitter space to find an approximate cosmological background for our model., Comment: 10 pages, 2 figures