title: The distribution of stellar orbits in Eagle galaxies -- the effect of mergers, gas accretion, and secular evolution

abstract: The merger history of a galaxy is thought to be one of the major factors determining its internal dynamics, with galaxies having undergone different types or mergers (e.g. dry, minor or major mergers) predicted to show different dynamical properties. We study the instantaneous orbital distribution of galaxies in the Eagle simulation, colouring the orbits of the stellar particles by their stellar age, in order to understand whether stars form in particular orbits (e.g. in a thin or thick disc). We first show that Eagle reproduces well the observed stellar mass fractions in different stellar orbital families as a function of stellar mass and spin parameter at z = 0. We find that the youngest stars reside in a thin disc component that can extend to the very inner regions of galaxies, and that older stars have warmer orbits, with the oldest ones showing orbits consistent with both hot and counter-rotating classifications, which is consistent with the trend found in the Milky-Way and other disc galaxies. We also show that counter-rotating orbits trace galaxy mergers - in particular dry mergers, and that in the absence of mergers, counter-rotating orbits can also be born from highly misaligned gas accretion that leads to star formation.


title: Comparing numerical methods for hydrodynamics in a 1D lattice model

abstract: In ergodic quantum spin chains, locally conserved quantities such as energy or particle number generically evolve according to hydrodynamic equations as they relax to equilibrium. We investigate the complexity of simulating hydrodynamics at infinite temperature with multiple methods: time evolving block decimation (TEBD), TEBD with density matrix truncation (DMT), the recursion method with a universal operator growth hypothesis (R-UOG), and operator-size truncated (OST) dynamics. Density matrix truncation and the OST dynamics give consistent dynamical correlations to $t = 60/J$; and diffusion constants agreeing within 1%. TEBD only converges for $t\lesssim 20$, but still produces diffusion coefficients accurate within 1%. The universal operator growth hypothesis fails to converge and only matches other methods on short times. We see no evidence of long-time tails in either DMT or OST dynamics simulations. At finite wavelength, we observe a crossover from purely diffusive, overdamped decay of the energy density, to underdamped oscillatory behavior similar to that of cold atom experiments. We dub this behavior "hot band second sound", and offer a microscopically-motivated toy model.


title: FRESCO: An extended, massive, rapidly rotating galaxy at z=5.3

abstract: With the remarkable sensitivity and resolution of JWST in the infrared, measuring rest-optical kinematics of galaxies at $z>5$ has become possible for the first time. This study pilots a new method for measuring galaxy dynamics for highly multiplexed, unbiased samples by combining FRESCO NIRCam grism spectroscopy and JADES medium-band imaging. Here we present one of the first JWST kinematic measurements for a galaxy at $z>5$. We find a significant velocity gradient, which, if interpreted as rotation yields $V_{rot} = 240\pm50$km/s and we hence refer to this galaxy as Twister-z5. With a rest-frame optical effective radius of $r_e=2.25$kpc, the high rotation velocity in this galaxy is not due to a compact size as may be expected in the early universe but rather a high total mass, ${\rm log(M}_{dyn}/{\rm M}_\odot)=11.0\pm0.2$. This is a factor of roughly 4x higher than the stellar mass within the effective radius. We also observe that the radial H$\alpha$ equivalent width profile and the specific star formation rate map from resolved stellar population modeling is centrally depressed by a factor of $\sim1.5$ from the center to $r_e$. Combined with the morphology of the line-emitting gas in comparison to the continuum, this centrally suppressed star formation is consistent with a star-forming disk surrounding a bulge growing inside-out. While large, rapidly rotating disks are common to z~2, the existence of one after only 1Gyr of cosmic time, shown for the first time in ionized gas, adds to the growing evidence that some galaxies matured earlier than expected in the history of the universe.


title: Adding subtractions: comparing the impact of different Regge behaviors

abstract: Dispersion relations let us leverage the analytic structure of scattering amplitudes to derive constraints such as bounds on EFT coefficients. An important input is the large-energy behavior of the amplitude. In this paper, we systematically study how different large-energy behavior affects EFT bounds for the $2 \to 2$ amplitude of complex scalars coupled to photons, gravity, both, or neither. In many cases we find that singly-subtracted dispersion relations (1SDRs) yield exactly the same bounds as doubly subtracted relations (2SDRs). However, we identify another assumption, which we call "$t$-channel dominance," that significantly strengthens the EFT bounds. This assumption, which amounts to the requirement that the $++ \to ++$ amplitude has no $s$-channel exchange, is justified in certain cases and is analogous to the condition that the isospin-2 channel does not contribute to the pion amplitude. Using this assumption in the absence of massless exchanges, we find that the allowed region for the complex scalar EFT is identical to one recently discussed for pion scattering at large-$N$. In the case of gravity and a gauge field, we are able to derive a number of interesting bounds. These include an upper bound for $G$ in terms of the gauge coupling $e^2$ and the leading dispersive EFT coefficient, which is reminiscent of the weak gravity conjecture. In the $e \to 0$ limit, we find that assuming smeared 1SDRs plus $t$-channel dominance restores positivity on the leading EFT coefficient whose positivity was spoiled by the inclusion of gravity. We interpret this to mean that the negativity of that coefficient in the presence of gravity would imply that the global $U(1)$ symmetry must be gauged.


title: MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

abstract: Fueled by recent accomplishments in quantum computing hardware and software, an increasing number of problems from various application domains are being explored as potential use cases for this new technology. Similarly to classical computing, realizing an application on a particular quantum device requires the corresponding (quantum) circuit to be compiled so that it can be executed on the device. With a steadily growing number of available devices and a wide variety of different compilation tools, the number of choices to consider when trying to realize an application is quickly exploding. Due to missing tool support and automation, especially end-users who are not quantum computing experts are easily left unsupported and overwhelmed. In this work, we propose a methodology that allows one to automatically select a suitable quantum device for a particular application and provides an optimized compiler for the selected device. The resulting framework -- called the MQT Predictor -- not only supports end-users in navigating the vast landscape of choices, it also allows to mix-and-match compiler passes from various tools to create optimized compilers that transcend the individual tools. Evaluations of an exemplary framework instantiation based on more than 500 quantum circuits and seven devices have shown that -- compared to both Qiskit's and TKET's most optimized compilation flows for all devices -- the MQT Predictor produces circuits within the top-3 out of 14 baselines in more than 98% of cases while frequently outperforming any tested combination by up to 53% when optimizing for expected fidelity. MQT Predictor is publicly available as open-source on GitHub (https://github.com/cda-tum/mqt-predictor) and as an easy-to-use Python package (https://pypi.org/p/mqt.predictor).


title: The WISDOM of power spectra: how the galactic gravitational potential impacts a galaxy's central gas reservoir in simulations and observations

abstract: Observations indicate that the central gas discs are smoother in early-type galaxies than their late-type counterparts, while recent simulations predict that the dynamical suppression of star formation in spheroid-dominated galaxies is preceded by the suppression of fragmentation of their interstellar media. The mass surface density power spectrum is a powerful tool to constrain the degree of structure within a gas reservoir. Specifically here, we focus on the power spectrum slope and aim to constrain whether the shear induced by a dominant spheroidal potential can induce sufficient turbulence to suppress fragmentation, resulting in the smooth central gas discs observed. We compute surface density power spectra for the nuclear gas reservoirs of fourteen simulated isolated galaxies and twelve galaxies observed as part of the mm-Wave Interferometric Survey of Dark Object Masses (WISDOM) project. Both simulated and observed galaxies range from disc-dominated galaxies to spheroids, with central stellar mass surface densities, a measure of bulge dominance, varying by more than an order of magnitude. For the simulations, the power spectra steepen with increasing central stellar mass surface density, thereby clearly linking the suppression of fragmentation to the shear-driven turbulence induced by the spheroid. The WISDOM observations show a different (but potentially consistent) picture: while there is no correlation between the power spectrum slopes and the central stellar mass surface densities, the slopes scatter around a value of 2.6. This is similar to the behaviour of the slopes of the simulated galaxies with high central stellar mass surface densities, and could indicate that high shear eventually drives incompressible turbulence.


title: Dynamics of vacancy-induced modes in the non-Abelian Kitaev spin liquid

abstract: We study the dynamical response of vacancy-induced quasiparticle excitations in the site-diluted Kitaev spin liquid with a magnetic field. Due to the flux-binding effect and the emergence of dangling Majorana fermions around each spin vacancy, the low-energy physics is governed by a set of vacancy-induced quasi-zero-energy modes. These localized modes result in unique characteristics of the dynamical spin correlation functions, which intriguingly mimic the single-quasiparticle density of states and further exhibit a quasi-zero-frequency peak. By recognizing the potential observability of these local correlation functions via scanning tunneling microscopy (STM), we show how the STM response is sensitive to the local flux configuration, the magnetic field strength, and the vacancy concentration. Constructing a simple model of the localized modes, we also elucidate how the local correlation functions can be interpreted in terms of the hybridization between these modes.


title: Field theory for the dynamics of the open $O(N)$ model

abstract: A field theory approach for the nonequilibrium relaxation dynamics in open systems at late times is developed. In the absence of conservation laws, all excitations are subject to dissipation. Nevertheless, ordered stationary states satisfy Goldstone's theorem. It implies a vanishing damping rate at small momenta, which in turn allows for competition between environment-induced dissipation and thermalization due to collisions. We derive the dynamic theory in the symmetry-broken phase of an $O(N)$-symmetric field theory based on an expansion of the two-particle irreducible (2PI) effective action to next-to-leading order in $1/N$ and highlight the analogies and differences to the corresponding theory for closed systems. A central result of this approach is the systematic derivation of an \emph{open-system Boltzmann equation}, which takes a very different form from its closed-system counterpart due to the absence of well-defined quasiparticles. As a consequence of the general structure of its derivation, it applies to open, gapless field theories that satisfy certain testable conditions, which we identify here. Specifically for the $O(N)$ model, we use scaling analysis and numerical simulations to show that interactions are screened efficiently at small momenta and, therefore, the late-time evolution is effectively collisionless. This implies that fluctuations induced by a quench dissipate into the environment before they thermalize. Goldstone's theorem also constrains the dynamics far from equilibrium, which is used to show that the order parameter equilibrates more quickly for quenches preserving the $O(N)$ symmetry than those breaking it explicitly.


title: The simplest case of dark inflaxion

abstract: Dark matter and cosmic inflation represent two of the major puzzles in cosmology. They are typically addressed by introducing separate fields with independent dynamics. On the other hand, extra dimensions might play an important role for observable physics. We introduce a five-dimensional model called dark inflaxion that includes an axion-like particle, whose Kaluza-Klein modes can describe inflation and dark matter. We show that a simple yet natural choice of the mass scale of the effective four-dimensional fields of our model can accommodate simultaneously the observable values of inflationary parameters and dark-matter abundance. It will be interesting to explore the consequences and predictions of more generic scenarios within the scope of our model, which include the possibility of multifield inflation and dark matter.


title: Binary mergers in strong gravity background of Kerr black hole

abstract: Binary-black-hole (BBH) mergers can take place close to a supermassive black hole (SMBH) while being in a bound orbit around the SMBH. In this paper, we study such bound triple systems and show that including the strong gravity effects of describing the SMBH with a Kerr metric can significantly modify the dynamics, as compared to a Newtonian point particle description of the SMBH. We extract the dynamics of the system, using a quadrupole approximation to the tidal forces due to the SMBH. We exhibit how the gyroscope precession is built into this dynamics, and find the secular Hamiltonian by both averaging over the inner and outer orbits, the latter being the orbit of the BBH around the SMBH. We study the long-time-scale dynamics, including the periastron precession and GW radiation-reaction of the binary system, finding that the strong gravity effects of the SMBH can enhance the von Zeipel-Lidov-Kozai mechanism, resulting in more cycles, higher maximum eccentricity, and thereby a shorter merger time, particularly when the binary is close to, or at, the innermost stable orbit of the SMBH. We end with an analysis of the peak frequency of the GW emission from the binary system, highlighting possible observable signatures in the LISA and ET frequency bands.

categories: gr-qc astro-ph.GA astro-ph.HE hep-ph hep-th


title: Global anomalies & bordism of non-supersymmetric strings

abstract: The three tachyon-free non-supersymmetric string theories in ten dimensions provide a handle on quantum gravity away from the supersymmetric lamppost. However, they have not been shown to be fully consistent; although local anomalies cancel due to versions of the Green-Schwarz mechanism, there could be global anomalies, not cancelled by the Green-Schwarz mechanism, that could become fatal pathologies. We compute the twisted string bordism groups that control these anomalies via the Adams spectral sequence, showing that they vanish completely in two out of three cases (Sugimoto and $SO(16)^2$) and showing a partial vanishing also in the third (Sagnotti 0'B model). We also compute lower-dimensional bordism groups of the non-supersymmetric string theories, which are of interest to the classification of branes in these theories via the Cobordism Conjecture. We propose a worldvolume content based on anomaly inflow for the $SO(16)^2$ NS5-brane, and discuss subtleties related to the torsion part of the Bianchi identity. As a byproduct of our techniques and analysis, we also reprove that the outer $\mathbb{Z}_2$ automorphism swapping the two $E_8$ factors in the supersymmetric heterotic string is also non-anomalous.


title: A fast test for the identification and confirmation of massive black hole binaries

abstract: We present a new observational test to identify massive black hole binaries in large multi-epoch spectroscopical catalogues and to probe the real nature of already proposed binary candidates. The test is tailored for binaries with separations large enough to allow each black hole to retain its own broad line region. In this limit the fast AGN variability typically observed over months cannot be associated to the much longer binary period, and it is assumed (as for the case of single black holes) to be the consequence of the evolution of the innermost regions of the two accretion discs. A simple analysis of the cross-correlation between different parts of individual broad emission lines can therefore identify the presence of two massive black holes whose continua vary independently of each other. Our analysis indicates that to be less affected by the noise in the spectra the broad lines should be divided in two close-to-equal-flux parts. This ensures that in the single massive black hole scenario the cross-correlation will always be high. With monitoring campaigns similar to those performed for reverberation mapping studies, on the other way, a binary can show any value of the cross-correlation and can therefore be distinguished from a standard AGN. The new test can be performed over timescales orders of magnitude shorter than the alternative tests already discussed in literature, and can be a powerful complement to the massive black hole binary search strategies already in place.


title: Full Phase Space Resonant Anomaly Detection

abstract: Physics beyond the Standard Model that is resonant in one or more dimensions has been a longstanding focus of countless searches at colliders and beyond. Recently, many new strategies for resonant anomaly detection have been developed, where sideband information can be used in conjunction with modern machine learning, in order to generate synthetic datasets representing the Standard Model background. Until now, this approach was only able to accommodate a relatively small number of dimensions, limiting the breadth of the search sensitivity. Using recent innovations in point cloud generative models, we show that this strategy can also be applied to the full phase space, using all relevant particles for the anomaly detection. As a proof of principle, we show that the signal from the R\&D dataset from the LHC Olympics is findable with this method, opening up the door to future studies that explore the interplay between depth and breadth in the representation of the data for anomaly detection.


title: The origin of supermassive black holes at cosmic dawn

abstract: We investigate the steady spherically symmetric accretion in the combined potential of a central black hole and a dark matter halo. For the halo, we consider a Hernquist and an NFW potential and calculate the critical points of the flow. We find that the trans-sonic solution to the centre is not possible without a black hole, whereas two types of trans-sonic solutions are possible in its presence. We also derive the mass accretion rate for a black hole at the centre of a dark matter halo. Our results indicate two phases of accretion. The first is an initial phase with a low accretion rate that depends on the black hole mass, followed by a second phase with a high accretion rate that depends on the halo mass. In the second phase, the black hole mass increases rapidly to supermassive scales, which explains the existence of quasars at redshift $z\ge 6$ and also the recently detected supermassive black holes (SMBHs) by the James Webb Space Telescope (JWST). Further, we calculate the evolution of the Eddington ratio for growing black holes. The accretion is mostly sub-Eddington except for a short super-Eddington episode when the mass accretion rate transitions from low to high. However, during that episode, the black hole mass is likely inadequate to hinder accretion through radiative feedback.


title: Distinguishing Jordan and Einstein frames in gravity through entanglement

abstract: In general relativity, the use of conformal transformation is ubiquitous and leads to two different frames of reference, known as the Jordan and the Einstein frames. Typically, the transformation from the Jordan frame to the Einstein frame involves introducing an additional scalar degree of freedom, often already present in the theory. We will show that at the quantum level, owing to this extra scalar degree of freedom these two frames exhibit subtle differences that the entanglement between two massive objects can probe.


title: Halfway to the peak: Spatially resolved star formation and kinematics in a z=0.54 dusty galaxy with JWST/MIRI

abstract: We present JWST/MIRI/MRS observations of an infrared luminous disk galaxy, FLS1, at z=0.54. With a lookback time of 5 Gyr, FLS1 is chronologically at the midpoint between the peak epoch of star formation and the present day. The MRS data provide maps of the atomic fine structure lines [Ar II]6.99 micron, [Ar III]8.99 micron, [Ne II]12.81 micron, and [Ne III]15.55 micron, polycyclic aromatic hydrocarbon (PAH) features at 3.3 micron, 6.2 micron, and 11.3 micron, and the warm molecular gas indicators H2S(5) and H2S(3); all these emission features are spatially resolved. We find that the PAH emission is more extended along the Northern side of the galaxy when compared to the well-studied star-formation tracer [Ne II]. The H2 rotational lines, which are shock indicators, are strongest and most extended on the Southern side of the galaxy. [Ar II] is the second brightest fine structure line detected in FLS1 and we show that it is a useful kinematic probe which can be detected with JWST out to z=3. Velocity maps of [Ar II] show a rotating disk with signs of turbulence. Our results provide an example of how spatially resolved mid-infrared spectroscopy can allow us to better understand the star formation and ISM conditions in a galaxy halfway back to the peak epoch of galaxy evolution.


title: Super-slow phase transition catalyzed by BHs and the birth of baby BHs

abstract: We discuss the unique phenomenology of first-order phase transitions catalyzed by primordial black holes (BHs). If the number of BHs within one Hubble volume is smaller than unity at the time of bubble nucleation, each bubble catalyzed around them can expand to the Hubble size, and the universe is eventually filled with true vacuum much after nucleation. This super-slow transition predicts enhanced gravitational wave signals from bubble collisions and can be tested in future observations. Moreover, the remaining rare false vacuum patches give birth to baby BHs, which can account for the abundance of dark matter in our universe.


title: Towards a robust frequency-domain analysis: Spectral R\'{e}nyi divergence revisited

abstract: This paper studies a specific category of statistical divergences for spectral densities of time series: the spectral $\alpha$-R\'{e}nyi divergences, which includes the Itakura-Saito divergence as a subset. While the spectral R\'{e}nyi divergence has been acknowledged in past works, its statistical attributes have not been thoroughly investigated. The aim of this paper is to highlight these properties. We reveal a variational representation of spectral R\'{e}nyi divergence, from which the minimum spectral R\'{e}nyi divergence estimator is shown to be robust against outliers in the frequency domain, unlike the minimum Itakura-Saito divergence estimator, and thus it delivers more stable estimate, reducing the need for intricate pre-processing.


title: Reinforcement Learning in a Safety-Embedded MDP with Trajectory Optimization

abstract: Safe Reinforcement Learning (RL) plays an important role in applying RL algorithms to safety-critical real-world applications, addressing the trade-off between maximizing rewards and adhering to safety constraints. This work introduces a novel approach that combines RL with trajectory optimization to manage this trade-off effectively. Our approach embeds safety constraints within the action space of a modified Markov Decision Process (MDP). The RL agent produces a sequence of actions that are transformed into safe trajectories by a trajectory optimizer, thereby effectively ensuring safety and increasing training stability. This novel approach excels in its performance on challenging Safety Gym tasks, achieving significantly higher rewards and near-zero safety violations during inference. The method's real-world applicability is demonstrated through a safe and effective deployment in a real robot task of box-pushing around obstacles.


title: Mitigating stereotypical biases in text to image generative systems

abstract: State-of-the-art generative text-to-image models are known to exhibit social biases and over-represent certain groups like people of perceived lighter skin tones and men in their outcomes. In this work, we propose a method to mitigate such biases and ensure that the outcomes are fair across different groups of people. We do this by finetuning text-to-image models on synthetic data that varies in perceived skin tones and genders constructed from diverse text prompts. These text prompts are constructed from multiplicative combinations of ethnicities, genders, professions, age groups, and so on, resulting in diverse synthetic data. Our diversity finetuned (DFT) model improves the group fairness metric by 150% for perceived skin tone and 97.7% for perceived gender. Compared to baselines, DFT models generate more people with perceived darker skin tone and more women. To foster open research, we will release all text prompts and code to generate training images.


title: Gravitational Waves from Nnaturalness

abstract: We study the prospects for probing the Nnaturalness solution to the electroweak hierarchy problem with future gravitational wave observatories. Nnaturalness, in its simplest incarnation, predicts $N$ copies of the Standard Model with varying Higgs mass parameters. We show that in certain parameter regions the scalar reheaton transfers a substantial energy density to the sector with the smallest positive Higgs squared mass while remaining consistent with bounds on additional effective relativistic species. In this sector, all six quarks are much lighter than the corresponding QCD confinement scale, allowing for the possibility of a first-order chiral symmetry-breaking phase transition and an associated stochastic gravitational wave signal. We consider several scenarios characterizing the strongly-coupled phase transition dynamics and estimate the gravitational wave spectrum for each. Pulsar timing arrays (SKA), spaced-based interferometers (BBO, Ultimate-DECIGO, $\mu$Ares, asteroid ranging), and astrometric measurements (THEIA) all have the potential to explore new regions of Nnaturalness parameter space, complementing probes from next generation cosmic microwave background radiation experiments.


title: Distillation Improves Visual Place Recognition for Low-Quality Queries

abstract: The shift to online computing for real-time visual localization often requires streaming query images/videos to a server for visual place recognition (VPR), where fast video transmission may result in reduced resolution or increased quantization. This compromises the quality of global image descriptors, leading to decreased VPR performance. To improve the low recall rate for low-quality query images, we present a simple yet effective method that uses high-quality queries only during training to distill better feature representations for deep-learning-based VPR, such as NetVLAD. Specifically, we use mean squared error (MSE) loss between the global descriptors of queries with different qualities, and inter-channel correlation knowledge distillation (ICKD) loss over their corresponding intermediate features. We validate our approach using the both Pittsburgh 250k dataset and our own indoor dataset with varying quantization levels. By fine-tuning NetVLAD parameters with our distillation-augmented losses, we achieve notable VPR recall-rate improvements over low-quality queries, as demonstrated in our extensive experimental results. We believe this work not only pushes forward the VPR research but also provides valuable insights for applications needing dependable place recognition under resource-limited conditions.


title: Self-supervised Object-Centric Learning for Videos

abstract: Unsupervised multi-object segmentation has shown impressive results on images by utilizing powerful semantics learned from self-supervised pretraining. An additional modality such as depth or motion is often used to facilitate the segmentation in video sequences. However, the performance improvements observed in synthetic sequences, which rely on the robustness of an additional cue, do not translate to more challenging real-world scenarios. In this paper, we propose the first fully unsupervised method for segmenting multiple objects in real-world sequences. Our object-centric learning framework spatially binds objects to slots on each frame and then relates these slots across frames. From these temporally-aware slots, the training objective is to reconstruct the middle frame in a high-level semantic feature space. We propose a masking strategy by dropping a significant portion of tokens in the feature space for efficiency and regularization. Additionally, we address over-clustering by merging slots based on similarity. Our method can successfully segment multiple instances of complex and high-variety classes in YouTube videos.


title: Reducing Richtmyer Meshkov Instability Jet Velocity via Inverse Design

abstract: In this work, we detail a novel application of inverse design and advanced manufacturing to rapidly develop and experimentally validate modifications to a shaped charge jet analogue. The shaped charge jet analogue comprises a conical copper liner, high explosive (HE), and silicone buffer. We apply a genetic algorithm to determine an optimal buffer design that can be placed between the liner and the HE that results in the largest possible change in jet velocity. The use of a genetic algorithm allows for discoveries of unintuitive, complex, yet optimal buffer designs. Experiments using the optimal design verified the effectiveness of the buffer and validated the modeling.


title: Fragility of the magnetic order in the prototypical altermagnet RuO$_2$

abstract: Altermagnetism is a topic that has lately been gaining attention and the RuO$_2$ compound is among one of the most studied altermagnetic candidates. However, the survey of available literature on RuO$_2$ properties suggests that there is no consensus about the magnetism of this material. By performing density functional theory calculations, we show that the electronic properties of stoichiometric RuO$_2$ are described in terms of a smaller Hubbard $U$ within DFT+$U$ than the value required to have magnetism. We further argue that Ru vacancies can actually aid the formation of a magnetic state in RuO$_2$. This in turn suggests that a characterization of the amount of Ru vacancies in experimental samples might help the resolution of the controversy between the different experimental results.


title: Timing performances of NectarCAM, a Medium Sized Telescope Camera for the Cherenkov Telescope Array

abstract: NectarCAM is a Cherenkov camera that will be installed on Medium-Sized Telescopes of the northern array of the Cherenkov Telescope Array Observatory (CTAO). It is composed of 265 modules, each of which includes 7 photo-multiplier tubes, a Front-End Board and a camera trigger system for data collection. The first NectarCAM unit is currently being integrated at CEA Paris-Saclay in France. Once installed at the CTAO's northern site, the NectarCAM's timing abilities will be crucial for reducing noise in images, improving image cleaning, and distinguishing between gamma-ray photons and cosmic-ray background. Additionally, it will enable coincidence identification with neighboring telescopes for stereoscopic observations. The timing system of NectarCAM has been tested in a dark room with various light sources. The results of the tests, including timing precision and accuracy of the trigger arrival relative to a laser source, and the timing of individual and multiple pixel signals, will be presented.


title: A quantum annealing-sequential quadratic programming assisted finite element simulation for non-linear and history-dependent mechanical problems

abstract: We propose a framework to solve non-linear and history-dependent mechanical problems based on a hybrid classical computer -- quantum annealer approach. Quantum Computers are anticipated to solve particular operations exponentially faster. The available possible operations are however not as versatile as with a classical computer. However, quantum annealers (QAs) are well suited to evaluate the minimum state of a Hamiltonian quadratic potential. Therefore, we reformulate the elasto-plastic finite element problem as a double-minimisation process framed at the structural scale using the variational updates formulation. In order to comply with the expected quadratic nature of the Hamiltonian, the resulting non-linear minimisation problems are iteratively solved with the suggested Quantum Annealing-assisted Sequential Quadratic Programming (QA-SQP): a sequence of minimising quadratic problems is performed by approximating the objective function by a quadratic Taylor's series. Each quadratic minimisation problem of continuous variables is then transformed into a binary quadratic problem. This binary quadratic minimisation problem can be solved on quantum annealing hardware such as the D-Wave system. The applicability of the proposed framework is demonstrated with one- and two-dimensional elasto-plastic numerical benchmarks. The current work provides a pathway of performing general non-linear finite element simulations assisted by quantum computing.


title: Benchmarking Deep Learning Fuzzers

abstract: In this work, we set out to conduct the first ground-truth empirical evaluation of state-of-the-art DL fuzzers. Specifically, we first manually created an extensive DL bug benchmark dataset, which includes 627 real-world DL bugs from TensorFlow and PyTorch libraries reported by users between 2020 and 2022. Then we run three state-of-the-art DL fuzzers, i.e., FreeFuzz, DeepRel, and DocTer, on the benchmark by following their instructions. We find that these fuzzers are unable to detect many real bugs collected in our benchmark dataset. Specifically, most (235) of the 257 applicable bugs cannot be detected by any fuzzer. Our systematic analysis further identifies four major, broad, and common factors that affect these fuzzers' ability to detect real bugs. These findings present opportunities to improve the performance of the fuzzers in future work. As a proof of concept, we propose a lightweight corner case generator as an extension to the three DL fuzzers, which simply covers several boundary values as well as DL-specific data types. It helps FreeFuzz, DeepRel, and DocTer detect 12, 12, and 14 more bugs, respectively, that were overlooked by the original fuzzers. Overall, this work complements prior studies on DL fuzzers with an extensive performance evaluation and provides a benchmark for future DL library fuzzing studies. Also, our proposed corner case generator proves that the fuzzers can be extended to detect more bugs by extending their internal fuzzing logic based on the insights provided in root cause analysis.


title: A Comparative Study of Transformer-based Neural Text Representation Techniques on Bug Triaging

abstract: Often, the first step in managing bug reports is related to triaging a bug to the appropriate developer who is best suited to understand, localize, and fix the target bug. Additionally, assigning a given bug to a particular part of a software project can help to expedite the fixing process. However, despite the importance of these activities, they are quite challenging, where days can be spent on the manual triaging process. Past studies have attempted to leverage the limited textual data of bug reports to train text classification models that automate this process -- to varying degrees of success. However, the textual representations and machine learning models used in prior work are limited by their expressiveness, often failing to capture nuanced textual patterns that might otherwise aid in the triaging process. Recently, large, transformer-based, pre-trained neural text representation techniques such as BERT have achieved greater performance in several natural language processing tasks. However, the potential for using these techniques to improve upon prior approaches for automated bug triaging is not well studied or understood. Therefore, in this paper we offer one of the first investigations that fine-tunes transformer-based language models for the task of bug triaging on four open source datasets, spanning a collective 53 years of development history with over 400 developers and over 150 software project components. Our study includes both a quantitative and qualitative analysis of effectiveness. Our findings illustrate that DeBERTa is the most effective technique across the triaging tasks of developer and component assignment, and the measured performance delta is statistically significant compared to other techniques. However, through our qualitative analysis, we also observe that each technique possesses unique abilities best suited to certain types of bug reports.


title: Spectral effects on the energy harvesting efficiency of 2- and 4-terminal tandem photovoltaics

abstract: In this work, we investigate how a varying spectral irradiance and top cell bandgap affect the energy yield of 2T and 4T perovskite//silicon tandem solar cells under outdoor operating conditions. For the comparison, we first validate an optoelectronic model employing a 1-year outdoor data set for a 4T mechanical stacked GaAs on Silicon tandem device. We then use our verified model to simulate perovskite//silicon tandem devices with a varying perovskite top cell bandgap for a location in Golden, Colorado, USA. We introduce a spectral binning method to efficiently reduce and improve the visualization of the 1-min-resolved environmental data while maintaining the simulation accuracy. Our findings reveal that, for a device that is current-matched under standard testing conditions, the annual spectral deviation reduces the energy harvesting efficiency by only 2%$_\mathrm{rel}$. When additional realistic losses for the 4T are taken into account, 2T devices are shown to have an energy-harvesting efficiency that is at parity or higher. Deviations in the top cell bandgap of more than 0.1 eV from current matching result in a reduced energy-harvesting efficiency of more than 5%$_\mathrm{rel}$ for the 2T tandem device.


title: Stabilised Coupled Trajectory Mixed Quantum Classical Algorithm with Improved Energy Conservation: CTMQC-EDI

abstract: Coupled trajectory mixed quantum classical (CTMQC) dynamics is a rigorous approach to trajectory-based non-adiabatic dynamics, which has recently seen an improvement to energy conservation via the introduction of the CTMQC-E algorithm. Despite this, the method's two key quantities distinguishing it from Ehrenfest dynamics, the modified Born-Oppenheimer momentum and the quantum momentum, require regularisation procedures in certain circumstances. Such procedures in the latter can cause instabilities leading to undesirable effects such as energy drift and spurious population transfer, which is expected to become increasingly prevalent the larger the system as such events would happen more frequently. We propose a further modification to CTMQC-E which includes a redefinition of the quantum momentum, CTMQC-EDI (Double Intercept), such that it has no formal divergences. We then show for Tully models I-IV that the algorithm has greatly improved total energy conservation and negligible spurious population transfer at all times, in particular in regions of strong non-adiabatic coupling. CTMQC-EDI therefore shows promise as a numerically robust non-adiabatic dynamics technique that accounts for decoherence from first principles and that is scalable to large molecular systems and materials.


title: Distributed Transfer Learning with 4th Gen Intel Xeon Processors

abstract: In this paper, we explore how transfer learning, coupled with Intel Xeon, specifically 4th Gen Intel Xeon scalable processor, defies the conventional belief that training is primarily GPU-dependent. We present a case study where we achieved near state-of-the-art accuracy for image classification on a publicly available Image Classification TensorFlow dataset using Intel Advanced Matrix Extensions(AMX) and distributed training with Horovod.


title: Cross-cap defects and fault-tolerant logical gates in the surface code and the honeycomb Floquet code

abstract: We consider the $\mathbb{Z}_2$ toric code, surface code and Floquet code defined on a non-orientable surface, which can be considered as families of codes extending Shor's 9-qubit code. We investigate the fault-tolerant logical gates of the $\mathbb{Z}_2$ toric code in this setup, which corresponds to $e\leftrightarrow m$ exchanging symmetry of the underlying $\mathbb{Z}_2$ gauge theory. We find that non-orientable geometry provides a new way the emergent symmetry acts on the code space, and discover the new realization of the fault-tolerant Hadamard gate of 2d $\mathbb{Z}_2$ toric code on a surface with a single cross-cap, dubbed a non-orientable toric code. This Hadamard gate can be realized by a constant-depth local unitary circuit modulo non-locality caused by a cross-cap. Via folding, the non-orientable surface code can be turned into a bilayer local quantum code, where the folded cross-cap is equivalent to a bi-layer twist terminated on a gapped boundary and the logical Hadamard only contains local gates with intra-layer couplings. We further obtain the complete logical Clifford gate set for a stack of non-orientable surface codes. We then construct the honeycomb Floquet code in the presence of a single cross-cap, and find that the period of the sequential Pauli measurements acts as a $HZ$ logical gate on the single logical qubit, where the cross-cap enriches the dynamics compared with the orientable case. We find that the dynamics of the honeycomb Floquet code is precisely described by a condensation operator of the $\mathbb{Z}_2$ gauge theory, and illustrate the exotic dynamics of our code in terms of a condensation operator supported at a non-orientable surface.


title: Improving Contrastive Learning of Sentence Embeddings with Focal-InfoNCE

abstract: The recent success of SimCSE has greatly advanced state-of-the-art sentence representations. However, the original formulation of SimCSE does not fully exploit the potential of hard negative samples in contrastive learning. This study introduces an unsupervised contrastive learning framework that combines SimCSE with hard negative mining, aiming to enhance the quality of sentence embeddings. The proposed focal-InfoNCE function introduces self-paced modulation terms in the contrastive objective, downweighting the loss associated with easy negatives and encouraging the model focusing on hard negatives. Experimentation on various STS benchmarks shows that our method improves sentence embeddings in terms of Spearman's correlation and representation alignment and uniformity.


title: Simplicial pseudohyperplane arrangements give weak Garside groups

abstract: In this note we connect the language of Bessis's Garisde categories with Salvetti's metrical-hemisphere complexes in order to find new examples of weak Garside groups. As our main example, we show that the fundamental group of the (appropriately defined) complexified complement of a pseudohyperplane arrangement is a weak Garside group. As a consequence of the Folkman-Lawrence topological realization theorem, we also show that fundamental group of the Salvetti complex of a ("simplicial") oriented matroid is a weak Garside group. This provides novel examples of weak Garside groups.


title: Stability Analysis of A Single-Species Model with Distributed Delay

abstract: The logistic equation has many applications and is used frequently in different fields, such as biology, medicine, and economics. In this paper, we study the stability of a single-species logistic model with a general distribution delay kernel and an inflow of nutritional resources at a constant rate. In particular, we provide precise conditions for the linear stability of the positive equilibrium and the occurrence of Hopf bifurcation. We apply the results to three delay distribution kernels: Uniform, Dirac-delta, and gamma distributions. Without an inflow, we show that the positive equilibrium is stable for a relatively small delay and then loses its stability through the Hopf bifurcation when the mean delay ${\tau_m}$ increases with the three distributions. In the presence of an inflow, the model dynamics depend on the delay distribution kernel. In the uniform and Dirac-delta distributions cases, we find that the dynamics are similar to the absence of a nutrient influx. In contrast, the dynamics depend on the delay order p when considering the gamma distribution. For $p=1$, the positive equilibrium is always stable. While for $p=2$ and $p=3$, we find stability switching of the positive equilibrium resulting from the increase of the value of ${\tau_m}$, where the positive equilibrium is stable for a relatively short period; then, it loses stability via Hopf bifurcation as ${\tau_m}$ increases; after then, it stabilizes again with an increase in ${\tau_m}$. The main difference between the delay orders $p=2$ and $p=3$ is that for relatively large ${\tau_m}$ and intrinsic growth rate, the positive equilibrium can be stable when $p=2$, but it will be unstable when $p=3$.


title: Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models

abstract: The increasing prevalence of neural networks in safety-critical control systems underscores the imperative need for rigorous methods to ensure the reliability and safety of these systems. This work introduces a novel approach employing hybrid zonotopes to compute the over-approximation of backward reachable sets for neural feedback systems with nonlinear plant models and general activation functions. Closed-form expressions as hybrid zonotopes are provided for the over-approximated backward reachable sets, and a refinement procedure is proposed to alleviate the potential conservatism of the approximation. Two numerical examples are provided to illustrate the effectiveness of the proposed approach.


title: Tracing the Snowball bifurcation of aquaplanets through time reveals a fundamental shift in critical-state dynamics

abstract: The instability with respect to global glaciation is a fundamental property of the climate system caused by the positive ice-albedo feedback. The atmospheric carbon dioxide concentration at which this Snowball bifurcation occurs changes through Earth's history because of the slowly increasing solar luminosity. Quantifying this critical CO$_2$ level is not only interesting from a climate dynamics perspective, but also a prerequisite for understanding past Snowball Earth events as well as the conditions for habitability on Earth and other planets. Earlier studies are limited to investigations with simple climate models for Earth's entire history, or studies of individual time slices carried out with a variety of more complex models and for different boundary conditions, making comparisons and the identification of secular changes difficult. Here we use a coupled climate model of intermediate complexity to trace the Snowball bifurcation of an aquaplanet through Earth's history in one consistent model framework. We find that the critical CO$_2$ concentration decreases more or less logarithmically with increasing solar luminosity until about 1 billion years ago, but drops faster in more recent times. Furthermore, there is a fundamental shift in the dynamics of critical states about 1.2 billion years ago, driven by the interplay of wind-driven sea-ice dynamics and the surface energy balance: For critical states at low solar luminosities, the ice line lies in the Ferrel cell, stabilised by the poleward winds despite moderate meridional temperature gradients under strong greenhouse warming. For critical states at high solar luminosities on the other hand, the ice line rests at the Hadley-cell boundary, stabilised against the equatorward winds by steep meridional temperature gradients resulting from the increased solar energy input at lower latitudes and stronger Ekman transport in the ocean.


title: PICProp: Physics-Informed Confidence Propagation for Uncertainty Quantification

abstract: Standard approaches for uncertainty quantification in deep learning and physics-informed learning have persistent limitations. Indicatively, strong assumptions regarding the data likelihood are required, the performance highly depends on the selection of priors, and the posterior can be sampled only approximately, which leads to poor approximations because of the associated computational cost. This paper introduces and studies confidence interval (CI) estimation for deterministic partial differential equations as a novel problem. That is, to propagate confidence, in the form of CIs, from data locations to the entire domain with probabilistic guarantees. We propose a method, termed Physics-Informed Confidence Propagation (PICProp), based on bi-level optimization to compute a valid CI without making heavy assumptions. We provide a theorem regarding the validity of our method, and computational experiments, where the focus is on physics-informed learning.


title: In-plane magnetic field driven conductance modulations in topological insulator kinks

abstract: We present low-temperature magnetoconductance measurements on Bi$_{1.5}$Sb$_{0.5}$Te$_{1.8}$Se$_{1.2}$ kinks with ribbon-shaped legs. The conductance displays a clear dependence on the in-plane magnetic field orientation. The conductance modulation is consistent with orbital effect-driven trapping of the topological surface states on different side facets of the legs of the kink, which affects their transmission across the kink. This magnetic field-driven trapping and conductance pattern can be explained with a semiclassical picture and is supported by quantum transport simulations. The interpretation is corroborated by varying the angle of the kink and analyzing the temperature dependence of the observed magnetoconductance pattern, indicating the importance of phase coherence along the cross section perimeter of the kink legs.


title: Determining Lorentzian manifold from non-linear wave observation at a single point

abstract: We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal analysis of non-linear wave interaction.


title: Bayesian inference and cure rate modeling for event history data

abstract: Estimating model parameters of a general family of cure models is always a challenging task mainly due to flatness and multimodality of the likelihood function. In this work, we propose a fully Bayesian approach in order to overcome these issues. Posterior inference is carried out by constructing a Metropolis-coupled Markov chain Monte Carlo (MCMC) sampler, which combines Gibbs sampling for the latent cure indicators and Metropolis-Hastings steps with Langevin diffusion dynamics for parameter updates. The main MCMC algorithm is embedded within a parallel tempering scheme by considering heated versions of the target posterior distribution. It is demonstrated via simulations that the proposed algorithm freely explores the multimodal posterior distribution and produces robust point estimates, while it outperforms maximum likelihood estimation via the Expectation-Maximization algorithm. A by-product of our Bayesian implementation is to control the False Discovery Rate when classifying items as cured or not. Finally, the proposed method is illustrated in a real dataset which refers to recidivism for offenders released from prison; the event of interest is whether the offender was re-incarcerated after probation or not.


title: Sparse Fine-tuning for Inference Acceleration of Large Language Models

abstract: We consider the problem of accurate sparse fine-tuning of large language models (LLMs), that is, fine-tuning pretrained LLMs on specialized tasks, while inducing sparsity in their weights. On the accuracy side, we observe that standard loss-based fine-tuning may fail to recover accuracy, especially at high sparsities. To address this, we perform a detailed study of distillation-type losses, determining an L2-based distillation approach we term SquareHead which enables accurate recovery even at higher sparsities, across all model types. On the practical efficiency side, we show that sparse LLMs can be executed with speedups by taking advantage of sparsity, for both CPU and GPU runtimes. While the standard approach is to leverage sparsity for computational reduction, we observe that in the case of memory-bound LLMs sparsity can also be leveraged for reducing memory bandwidth. We exhibit end-to-end results showing speedups due to sparsity, while recovering accuracy, on T5 (language translation), Whisper (speech translation), and open GPT-type (MPT for text generation). For MPT text generation, we show for the first time that sparse fine-tuning can reach 75% sparsity without accuracy drops, provide notable end-to-end speedups for both CPU and GPU inference, and highlight that sparsity is also compatible with quantization approaches. Models and software for reproducing our results are provided in Section 6.


title: Unraveling the Complex Structure of AGN-driven Outflows. VI. Strong Ionized Outflows in Type 1 AGNs and the Outflow Size-Luminosity Relation

abstract: We present spatially resolved gas kinematics, ionization, and energetics of 11 type 1 and 5 type 2 active galactic nuclei (AGNs) with strong ionized gas outflows at z $<0.3$ using Gemini Multi-Object Spectrograph Integral Field Unit (GMOS-IFU) data. We find a strongly blueshifted region in [OIII] velocity maps, representing an approaching cone in biconical outflows, and blueshifted and redshifted regions in H$\alpha$ velocity maps, which show gravitationally rotating kinematics. AGN photoionization is dominant in the central region of most targets, and some of them also show ring-like structures of LINER or composite that surround the AGN-dominated center. Following our previous studies, we kinematically determine outflow sizes by the ratio between [OIII] and stellar velocity dispersion. Outflow sizes of type 1 AGNs follow the same kinematic outflow size-[OIII] luminosity relation obtained from the type 2 IFU sample in Kang & Woo and Luo (updated slope $0.29\pm0.04$), while they are limited to the central kpc scales, indicating the lack of global impact of outflows on the interstellar medium. Small mass outflow rates and large star formation rates of the combined sample support that there is no evidence of rapid star formation quenching by outflows, which is consistent with the delayed AGN feedback.


title: Stochastic Super-resolution of Cosmological Simulations with Denoising Diffusion Models

abstract: In recent years, deep learning models have been successfully employed for augmenting low-resolution cosmological simulations with small-scale information, a task known as "super-resolution". So far, these cosmological super-resolution models have relied on generative adversarial networks (GANs), which can achieve highly realistic results, but suffer from various shortcomings (e.g. low sample diversity). We introduce denoising diffusion models as a powerful generative model for super-resolving cosmic large-scale structure predictions (as a first proof-of-concept in two dimensions). To obtain accurate results down to small scales, we develop a new "filter-boosted" training approach that redistributes the importance of different scales in the pixel-wise training objective. We demonstrate that our model not only produces convincing super-resolution images and power spectra consistent at the percent level, but is also able to reproduce the diversity of small-scale features consistent with a given low-resolution simulation. This enables uncertainty quantification for the generated small-scale features, which is critical for the usefulness of such super-resolution models as a viable surrogate model for cosmic structure formation.


title: Prosody Analysis of Audiobooks

abstract: Recent advances in text-to-speech have made it possible to generate natural-sounding audio from text. However, audiobook narrations involve dramatic vocalizations and intonations by the reader, with greater reliance on emotions, dialogues, and descriptions in the narrative. Using our dataset of 93 aligned book-audiobook pairs, we present improved models for prosody prediction properties (pitch, volume, and rate of speech) from narrative text using language modeling. Our predicted prosody attributes correlate much better with human audiobook readings than results from a state-of-the-art commercial TTS system: our predicted pitch shows a higher correlation with human reading for 22 out of the 24 books, while our predicted volume attribute proves more similar to human reading for 23 out of the 24 books. Finally, we present a human evaluation study to quantify the extent that people prefer prosody-enhanced audiobook readings over commercial text-to-speech systems.


title: SAILing CAVs: Speed-Adaptive Infrastructure-Linked Connected and Automated Vehicles

abstract: This work demonstrates a new capability in roadway control: Speed-adaptive, infrastructure-linked connected and automated vehicles. We develop and deploy a lightly modified vehicle that is able to dynamically adjust the vehicle speed in response to posted variable speed limit messages generated by the infrastructure using LTE connectivity. This work describes the open source hardware and software platform that enables integration between infrastructure-based variable posted speed limits, and existing vehicle platforms for automated control. The vehicle is deployed in heavy morning traffic on I-24 in Nashville, TN. The control vehicle follows the posted variable speed limits, resulting in as much as a 25% reduction in speed variability compared to a human-piloted vehicle in the same traffic stream.


title: Resolving the evolution of natural fragment shapes

abstract: We propose a geometrically motivated mathematical model which reveals the key features of coastal and fluvial fragment shape evolution from the earliest stages of the abrasion. Our \textit{collisional polygon model} governs the evolution through an ordinary differential equation (ODE) that determines the rounding rate of initially sharp corners in the function of the size reduction. As an approximation, the basic structure of our model adopts the concept of Bloore's partial differential equation (PDE) in terms of the curvature dependent local collisional frequency. We tested our model under various conditions and made comparisons with the predictions of Bloore's PDE. Moreover, we applied the model to discover and quantify the mathematical conditions corresponding to typical and special shape evolution. By further extending our model to investigate the self-dual and mixed cases, we outline a possible explanation of the long-term preservation of initial pebble shape characteristics.

categories: math-ph cond-mat.soft math.MP physics.geo-ph


title: Eclares: Energy-Aware Clarity-Driven Ergodic Search

abstract: Planning informative trajectories while considering the spatial distribution of the information over the environment, as well as constraints such as the robot's limited battery capacity, makes the long-time horizon persistent coverage problem complex. Ergodic search methods consider the spatial distribution of environmental information while optimizing robot trajectories; however, current methods lack the ability to construct the target information spatial distribution for environments that vary stochastically across space and time. Moreover, current coverage methods dealing with battery capacity constraints either assume simple robot and battery models, or are computationally expensive. To address these problems, we propose a framework called Eclares, in which our contribution is two-fold. 1) First, we propose a method to construct the target information spatial distribution for ergodic trajectory optimization using clarity, an information measure bounded between [0,1]. The clarity dynamics allows us to capture information decay due to lack of measurements and to quantify the maximum attainable information in stochastic spatiotemporal environments. 2) Second, instead of directly tracking the ergodic trajectory, we introduce the energy-aware (eware) filter, which iteratively validates the ergodic trajectory to ensure that the robot has enough energy to return to the charging station when needed. The proposed eware filter is applicable to nonlinear robot models and is computationally lightweight. We demonstrate the working of the framework through a simulation case study.


title: Modulation Instability and Wavenumber Bandgap Breathers in a Time Layered Phononic Lattice

abstract: We demonstrate the existence of wavenumber bandgap (q-gap) breathers in a time-periodic phononic lattice. These breathers are localized in time and periodic in space, and are the counterparts to the classical breathers found in spatially-periodic systems. We derive an exact condition for modulation instability that leads to the opening of wavenumber bandgaps. The q-gap breathers become more narrow and larger in amplitude as the wavenumber goes further into the bandgap. In the presence of damping, these structures acquire a non-zero, oscillating tail. The experiment and model exhibit qualitative agreement.


title: Quantum Shadow Gradient Descent for Quantum Learning

abstract: This paper proposes a new procedure called quantum shadow gradient descent (QSGD) that addresses these key challenges. Our method has the benefits of a one-shot approach, in not requiring any sample duplication while having a convergence rate comparable to the ideal update rule using exact gradient computation. We propose a new technique for generating quantum shadow samples (QSS), which generates quantum shadows as opposed to classical shadows used in existing works. With classical shadows, the computations are typically performed on classical computers and, hence, are prohibitive since the dimension grows exponentially. Our approach resolves this issue by measurements of quantum shadows. As the second main contribution, we study more general non-product ansatz of the form $\exp\{i\sum_j \theta_j A_j\}$ that model variational Hamiltonians. We prove that the gradient can be written in terms of the gradient of single-parameter ansatzes that can be easily measured. Our proof is based on the Suzuki-Trotter approximation; however, our expressions are exact, unlike prior efforts that approximate non-product operators. As a result, existing gradient measurement techniques can be applied to more general VQAs followed by correction terms without any approximation penalty. We provide theoretical proofs, convergence analysis and verify our results through numerical experiments.


title: LLMs Killed the Script Kiddie: How Agents Supported by Large Language Models Change the Landscape of Network Threat Testing

abstract: In this paper, we explore the potential of Large Language Models (LLMs) to reason about threats, generate information about tools, and automate cyber campaigns. We begin with a manual exploration of LLMs in supporting specific threat-related actions and decisions. We proceed by automating the decision process in a cyber campaign. We present prompt engineering approaches for a plan-act-report loop for one action of a threat campaign and and a prompt chaining design that directs the sequential decision process of a multi-action campaign. We assess the extent of LLM's cyber-specific knowledge w.r.t the short campaign we demonstrate and provide insights into prompt design for eliciting actionable responses. We discuss the potential impact of LLMs on the threat landscape and the ethical considerations of using LLMs for accelerating threat actor capabilities. We report a promising, yet concerning, application of generative AI to cyber threats. However, the LLM's capabilities to deal with more complex networks, sophisticated vulnerabilities, and the sensitivity of prompts are open questions. This research should spur deliberations over the inevitable advancements in LLM-supported cyber adversarial landscape.


title: Liouville-type results for time-dependent stratified water flows over variable bottom in the $\beta$-plane approximation

abstract: We consider here time-dependent three-dimensional stratified geophysical water flows of finite depth over a variable bottom with a free surface and an interface (separating two layers of constant and different densities). Under the assumption that the vorticity vectors in the two layers are constant, we prove that bounded solutions to the three-dimensional water waves equations in the $\beta$-plane approximation exist if and only if one of the horizontal components of the velocity, as well as its vertical component, are zero; the other horizontal component being constant. Moreover, the interface is flat, the free surface has a traveling character in the horizontal direction of the nonvanishing velocity component, being of general type in the other horizontal direction, and the pressure is hydrostatic in both layers. Unlike previous studies of three-dimensional flows with constant vorticity in each layer, we consider a non-flat bottom boundary and different constant vorticity vectors for the upper and lower layer.


title: Cosmic-ray energy reconstruction using machine learning techniques

abstract: HAWC is a ground-based observatory consisting of 300 water Cherenkov detectors, which observes the extensive air showers induced by cosmic rays from some TeV to a few PeV and, in particular, gamma rays from 300 GeV to more than 100 TeV. One of the crucial features required for a detector of extensive air showers is the estimation of the primary energy of the events to study the spectra of cosmic and gamma rays. For HAWC there are currently two gamma-ray energy estimators: one relies on a ground density parameter, while the other utilizes an artificial neural network. For the cosmic ray energy estimation, there is only one estimator based on maximum likelihood procedures and measurements of the lateral charge distribution of the events. It is worthwhile to update the cosmic-ray energy estimator due to recent improvements of the extensive air shower offline-reconstruction techniques in HAWC. Therefore, we implemented an artificial neural network to reconstruct the primary energy of hadronic events trained with several observables that characterize the air showers. We trained several models and evaluated their performance against the existing cosmic ray energy estimator. In this work, we present the features and performance of these models.


title: On the Role of Font Formats in Building Efficient Web Applications

abstract: The success of a web application is closely linked to its performance, which positively impacts user satisfaction and contributes to energy-saving efforts. Among the various optimization techniques, one specific subject focuses on improving the utilization of web fonts. This study investigates the impact of different font formats on client-side resource consumption, such as CPU, memory, load time, and energy. In a controlled experiment, we evaluate performance metrics using the four font formats: OTF, TTF, WOFF, and WOFF2. The results of the study show that there are significant differences between all pair-wise format comparisons regarding all performance metrics. Overall, WOFF2 performs best, except in terms of memory allocation. Through the study and examination of literature, this research contributes (1) an overview of methodologies to enhance web performance through font utilization, (2) a specific exploration of the four prevalent font formats in an experimental setup, and (3) practical recommendations for scientific professionals and practitioners.


title: Document-Level Supervision for Multi-Aspect Sentiment Analysis Without Fine-grained Labels

abstract: Aspect-based sentiment analysis (ABSA) is a widely studied topic, most often trained through supervision from human annotations of opinionated texts. These fine-grained annotations include identifying aspects towards which a user expresses their sentiment, and their associated polarities (aspect-based sentiments). Such fine-grained annotations can be expensive and often infeasible to obtain in real-world settings. There is, however, an abundance of scenarios where user-generated text contains an overall sentiment, such as a rating of 1-5 in user reviews or user-generated feedback, which may be leveraged for this task. In this paper, we propose a VAE-based topic modeling approach that performs ABSA using document-level supervision and without requiring fine-grained labels for either aspects or sentiments. Our approach allows for the detection of multiple aspects in a document, thereby allowing for the possibility of reasoning about how sentiment expressed through multiple aspects comes together to form an observable overall document-level sentiment. We demonstrate results on two benchmark datasets from two different domains, significantly outperforming a state-of-the-art baseline.


title: A framework for characterizing covariational reasoning in physics

abstract: Covariational reasoning--considering how changes in one quantity affect another, related quantity--is a foundation of quantitative modeling in physics. Understanding quantitative models is a learning objective of introductory physics instruction at the college level. Prior work suggests that covariational reasoning in physics contexts differs in important ways from reasoning about functions and graphs in purely mathematical contexts; this reasoning is effortful in physics even for mathematically well-prepared students. In order to help students learn to reason covariationally in physics contexts, we need to characterize what we mean by physics covariational reasoning. To this end, we present a framework of covariational reasoning in physics contexts, to describe the ways that covariational reasoning is used in physics modeling. The framework can be used as a tool by which instructors can recognize physics covariational reasoning patterns and researchers can analyze student reasoning. The framework can also help inform the development of effective instructional materials and methods.


title: Ab initio description of bcc iron with correlation matrix renormalization theory

abstract: We applied the ab initio spin-polarized Correlation Matrix Renormalization Theory (CMRT) to the ferromagnetic state of the bulk BCC iron. We showed that it was capable of reproducing the equilibrium physical properties and the pressure-volume curve in good comparison with experiments. We then focused on the analysis of its local electronic correlations. By exploiting different local fluctuation-related physical quantities as measures of electronic correlation within target orbits, we elucidated the different roles of $t_{2g}$ and $e_g$ states in both spin channels and presented compelling evidence to showcase this distinction in their electronic correlation.


title: On non-parallel cylinder packings

abstract: In this paper we will discuss optimal lower and upper density of non-parallel cylinder packings in $R^{3}$ and similar problems. The main result of the paper is a proof of the conjecture of K. Kuperberg for upper density (existence of a non-parallel cylinder packing with upper density ${\pi}/{\sqrt{12}}$). Moreover, we prove that for every $\varepsilon > 0$ there exists a nonparallel cylinder packing with lower density greater then ${\pi}/{6} - \varepsilon$.


title: Study of Bipolar Fuzzy Soft Hypervector Spaces

abstract: In this paper, three topics in bipolar fuzzy soft hypervector spaces are investigated. At first, four equivalent conditions to definition of a bipolar fuzzy soft hypervector space are presented, from different point of views. Then some new bipolar fuzzy soft hypervector spaces are constructed, using the notions of subhyperspace, level subset, generated subhyperspace and previous bipolar fuzzy soft hypervector spaces. Finally, normal bipolar fuzzy soft hypervector spaces is studied, as an especial kind of bipolar fuzzy soft hypervector spaces. All concepts are supported by interesting examples.


title: End-to-end Evaluation of Practical Video Analytics Systems for Face Detection and Recognition

abstract: Practical video analytics systems that are deployed in bandwidth constrained environments like autonomous vehicles perform computer vision tasks such as face detection and recognition. In an end-to-end face analytics system, inputs are first compressed using popular video codecs like HEVC and then passed onto modules that perform face detection, alignment, and recognition sequentially. Typically, the modules of these systems are evaluated independently using task-specific imbalanced datasets that can misconstrue performance estimates. In this paper, we perform a thorough end-to-end evaluation of a face analytics system using a driving-specific dataset, which enables meaningful interpretations. We demonstrate how independent task evaluations, dataset imbalances, and inconsistent annotations can lead to incorrect system performance estimates. We propose strategies to create balanced evaluation subsets of our dataset and to make its annotations consistent across multiple analytics tasks and scenarios. We then evaluate the end-to-end system performance sequentially to account for task interdependencies. Our experiments show that our approach provides consistent, accurate, and interpretable estimates of the system's performance which is critical for real-world applications.


title: Some new perspectives on the Kruskal--Szekeres extension with applications to photon surfaces

abstract: It is a well-known fact that the Schwarzschild spacetime admits a maximal spacetime extension in null coordinates which extends the exterior Schwarzschild region past the Killing horizon, called the Kruskal-Szekeres extension. This method of extending the Schwarzschild spacetime was later generalized by Brill-Hayward to a class of spacetimes of "profile $h$" across non-degenerate Killing horizons. Circumventing analytical subtleties in their approach, we reconfirm this fact by reformulating the problem as an ODE, and showing that the ODE admits a solution if and only if the naturally arising Killing horizon is non-degenerate. Notably, this approach lends itself to discussing regularity across the horizon for non-smooth metrics. We will discuss applications to the study of photon surfaces, extending results by Cederbaum-Galloway and Cederbaum-Jahns-Vi\v{c}\'{a}nek-Mart\'{i}nez beyond the Killing horizon. In particular, our analysis asserts that photon surfaces approaching the Killing horizon must necessarily cross it.


title: Open SYCL on heterogeneous GPU systems: A case of study

abstract: Computational platforms for high-performance scientific applications are becoming more heterogenous, including hardware accelerators such as multiple GPUs. Applications in a wide variety of scientific fields require an efficient and careful management of the computational resources of this type of hardware to obtain the best possible performance. However, there are currently different GPU vendors, architectures and families that can be found in heterogeneous clusters or machines. Programming with the vendor provided languages or frameworks, and optimizing for specific devices, may become cumbersome and compromise portability to other systems. To overcome this problem, several proposals for high-level heterogeneous programming have appeared, trying to reduce the development effort and increase functional and performance portability, specifically when using GPU hardware accelerators. This paper evaluates the SYCL programming model, using the Open SYCL compiler, from two different perspectives: The performance it offers when dealing with single or multiple GPU devices from the same or different vendors, and the development effort required to implement the code. We use as case of study the Finite Time Lyapunov Exponent calculation over two real-world scenarios and compare the performance and the development effort of its Open SYCL-based version against the equivalent versions that use CUDA or HIP. Based on the experimental results, we observe that the use of SYCL does not lead to a remarkable overhead in terms of the GPU kernels execution time. In general terms, the Open SYCL development effort for the host code is lower than that observed with CUDA or HIP. Moreover, the SYCL version can take advantage of both CUDA and AMD GPU devices simultaneously much easier than directly using the vendor-specific programming solutions.


title: A Variational Autoencoder Framework for Robust, Physics-Informed Cyberattack Recognition in Industrial Cyber-Physical Systems

abstract: Cybersecurity of Industrial Cyber-Physical Systems is drawing significant concerns as data communication increasingly leverages wireless networks. A lot of data-driven methods were develope for detecting cyberattacks, but few are focused on distinguishing them from equipment faults. In this paper, we develop a data-driven framework that can be used to detect, diagnose, and localize a type of cyberattack called covert attacks on networked industrial control systems. The framework has a hybrid design that combines a variational autoencoder (VAE), a recurrent neural network (RNN), and a Deep Neural Network (DNN). This data-driven framework considers the temporal behavior of a generic physical system that extracts features from the time series of the sensor measurements that can be used for detecting covert attacks, distinguishing them from equipment faults, as well as localize the attack/fault. We evaluate the performance of the proposed method through a realistic simulation study on a networked power transmission system as a typical example of ICS. We compare the performance of the proposed method with the traditional model-based method to show its applicability and efficacy.


title: Diffusion Prior Regularized Iterative Reconstruction for Low-dose CT

abstract: Computed tomography (CT) involves a patient's exposure to ionizing radiation. To reduce the radiation dose, we can either lower the X-ray photon count or down-sample projection views. However, either of the ways often compromises image quality. To address this challenge, here we introduce an iterative reconstruction algorithm regularized by a diffusion prior. Drawing on the exceptional imaging prowess of the denoising diffusion probabilistic model (DDPM), we merge it with a reconstruction procedure that prioritizes data fidelity. This fusion capitalizes on the merits of both techniques, delivering exceptional reconstruction results in an unsupervised framework. To further enhance the efficiency of the reconstruction process, we incorporate the Nesterov momentum acceleration technique. This enhancement facilitates superior diffusion sampling in fewer steps. As demonstrated in our experiments, our method offers a potential pathway to high-definition CT image reconstruction with minimized radiation.


title: Exploring the Horizon: A Comprehensive Survey of Rowhammer

abstract: Rowhammer poses a significant security challenge for modern computers, specifically affecting Dynamic Random Access Memory(DRAM). Given society's growing reliance on computer systems, ensuring the reliability of hardware is of utmost importance. This paper provides a comprehensive survey of Rowhammer, examining the literature from various angles. We categorise studies on Rowhammer into attacks, defences, and intriguing work, exploring each category in detail. Furthermore, we classify papers within each category into distinct yet overlapping classes and present an overview of the papers in each class.


title: Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models

abstract: Steganography is the art of hiding information in plain sight. This form of covert communication can be used by bad actors to propagate malware, exfiltrate victim data, and communicate with other bad actors. Current image steganography defenses rely upon steganalysis, or the detection of hidden messages. These methods, however, are non-blind as they require information about known steganography techniques and are easily bypassed. Recent work has instead focused on a defense mechanism known as sanitization, which eliminates hidden information from images. In this work, we introduce a novel blind deep learning steganography sanitization method that utilizes a diffusion model framework to sanitize universal and dependent steganography (DM-SUDS), which both sanitizes and preserves image quality. We evaluate this approach against state-of-the-art deep learning sanitization frameworks and provide further detailed analysis through an ablation study. DM-SUDS outperforms previous sanitization methods and improves image preservation MSE by 71.32%, PSNR by 22.43% and SSIM by 17.30%. This is the first blind deep learning image sanitization framework to meet these image quality results.


title: Generalized Golub-Kahan bidiagonalization for nonsymmetric saddle point systems

abstract: The generalized Golub-Kahan bidiagonalization has been used to solve saddle-point systems where the leading block is symmetric and positive definite. We extend this iterative method for the case where the symmetry condition no longer holds. We do so by relying on the known connection the algorithm has with the Conjugate Gradient method and following the line of reasoning that adapts the latter into the Full Orthogonalization Method. We propose appropriate stopping criteria based on the residual and an estimate of the energy norm for the error associated with the primal variable. Numerical comparison with GMRES highlights the advantages of our proposed strategy regarding its low memory requirements and the associated implications.


title: Higher order Whitney extension and Lusin approximation for Horizontal curves in the Heisenberg group

abstract: In the setting of horizontal curves in the Heisenberg group, we prove a $C^{m,\omega}$ finiteness principle, a $C^{m,\omega}$ Lusin approximation result, a $C^{\infty}$ Whitney extension result, and a $C^{\infty}$ Lusin approximation result. Combined with previous work, this completes the study of Whitney extension and Lusin approximation for horizontal curves of class $C^{m}$, $C^{m,\omega}$, and $C^{\infty}$ in the Heisenberg group.


title: The Bild-conception for Scientific Theory Structuring in Classical and Quantum Physics: from Hertz and Boltzmann to Schr\"odinger and De Broglie

abstract: We start with methodological analysis of the notion of scientific theory and its interrelation with reality. This analysis is based on the works of Helmholtz, Hertz, Boltzmann, and Schr\"odinger (and reviews of D' Agostino). Following Helmholtz, Hertz established the "Bild concept" for scientific theories. Here "Bild" ("picture") carries the meaning "model" (mathematical). The main aim of natural sciences is construction of the causal theoretical models (CTMs) of natural phenomena. Hertz claimed that CTM cannot be designed solely on the basis of observational data; it typically contains hidden quantities. Experimental data can be described by an observational model (OM), often on the price of acausality. CTM-OM interrelation can be tricky. Schr\"odinger used the Bild concept to create CTM for quantum mechanics (QM) and QM was treated as OM. We follow him and suggest a special CTM for QM, so-called prequantum classical statistical field theory (PCSFT). The common interpretation of the violation of the Bell inequality is criticized from the perspective of the two level structuring of scientific theories. Such critical analysis of von Neumann and Bell no-go theorems for hidden variables was performed already by De Broglie (and Lochak) in 1970s. The Bild-approach is applied to the two level CTM-OM modeling of Brownian motion: the overdamped regime corresponds to OM. We briefly discuss ontic-epistemic structuring of scientific theories (Primas-Atmanspacher) and its relation to the Bild concept.


title: Electronic properties of c-BN/diamond heterostructures for high-frequency high-power applications

abstract: Using first principles calculations, this work investigates the suitability of diamond/c-BN heterojunctions for high frequency, high power device applications. The key quantities of band offsets and interface charge polarization are examined for different crystallographic orientations [(110), (111), or (100)], bond terminations (C-B or C-N), and substrates (diamond or c-BN). The results indicate that both the (111) and (100) structures with polar interfaces are likely to be a type-I alignment with the diamond conduction and valence band extrema nested within the c-BN bandgap, whereas the non-polar (110) counterpart may form type II as the valence band of c-BN is shifted down substantially lower. The (111) and (100) structures also show net charge polarization in a narrow region at the interface. The electron-deficient and electron-rich nature of the C-B and C-N bonding are found to induce charge redistribution leading to an essentially 2D sheet of negative and positive polarization. With the predicted band alignments suitable for carrier confinement as well as the possibility of the modulation and polarization doping, the diamond/c-BN heterostructures are a promising candidate for high-performance electronic devices with a highly conductive 2D channel. Both p-type and n-type devices appear possible with a judicious choice of the heterojunction configuration.


title: Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help

abstract: To ensure safe, reliable operation of the electrical grid, we must be able to predict and mitigate likely failures. This need motivates the classic security-constrained AC optimal power flow (SCOPF) problem. SCOPF is commonly solved using adversarial optimization, where the dispatcher and an adversary take turns optimizing a robust dispatch and adversarial attack, respectively. We show that adversarial optimization is liable to severely overestimate the robustness of the optimized dispatch (when the adversary encounters a local minimum), leading the operator to falsely believe that their dispatch is secure. To prevent this overconfidence, we develop a novel adversarial sampling approach that prioritizes diversity in the predicted attacks. We find that our method not only substantially improves the robustness of the optimized dispatch but also avoids overconfidence, accurately characterizing the likelihood of voltage collapse under a given threat model. We demonstrate a proof-of-concept on small-scale transmission systems with 14 and 57 nodes.


title: An Investigation of New Brown Dwarf Spectral Binary Candidates From the Backyard Worlds: Planet 9 Citizen Science Initiative

abstract: We present three new brown dwarf spectral binary candidates: CWISE J072708.09$-$360729.2, CWISE J103604.84$-$514424.4, and CWISE J134446.62$-$732053.9, discovered by citizen scientists through the Backyard Worlds: Planet 9 project. Follow-up near-infrared spectroscopy shows that each of these objects is poorly fit by a single near-infrared standard. We constructed binary templates and found significantly better fits, with component types of L7+T4 for CWISE J072708.09$-$360729.2, L7+T4 for CWISE J103604.84$-$514424.4, and L7+T7 for CWISE J134446.62$-$732053.9. However, further investigation of available spectroscopic indices for evidence of binarity and large amplitude variability suggests that CWISE J072708.09$-$360729.2 may instead be a strong variability candidate. Our analysis offers tentative evidence and characterization of these peculiar brown dwarf sources, emphasizing their value as promising targets for future high-resolution imaging or photometric variability studies.


title: Comparing the Robustness of Modern No-Reference Image- and Video-Quality Metrics to Adversarial Attacks

abstract: Nowadays, neural-network-based image- and video-quality metrics perform better than traditional methods. However, they also became more vulnerable to adversarial attacks that increase metrics' scores without improving visual quality. The existing benchmarks of quality metrics compare their performance in terms of correlation with subjective quality and calculation time. Nonetheless, the adversarial robustness of image-quality metrics is also an area worth researching. This paper analyses modern metrics' robustness to different adversarial attacks. We adapted adversarial attacks from computer vision tasks and compared attacks' efficiency against 15 no-reference image- and video-quality metrics. Some metrics showed high resistance to adversarial attacks, which makes their usage in benchmarks safer than vulnerable metrics. The benchmark accepts submissions of new metrics for researchers who want to make their metrics more robust to attacks or to find such metrics for their needs. The latest results can be found online: https://videoprocessing.ai/benchmarks/metrics-robustness.html.


title: Proof Repair across Quotient Type Equivalences

abstract: Proofs in proof assistants like Coq can be brittle, breaking easily in response to changes in the terms and types those proofs depend on. To address this, recent work introduced an algorithm and tool in Coq to automatically repair broken proofs in response to changes that correspond to type equivalences. However, many changes remained out of the scope of this algorithm and tool -- especially changes in underlying behavior. We extend this proof repair algorithm so that it can express certain changes in behavior that were previously out of scope. We focus in particular on equivalences between quotient types -- types equipped with a relation that describes what it means for any two elements of that type to be equal. Quotient type equivalences can be used to express interesting changes in representations of mathematical structures, as well as changes in the underlying implementations of data structures -- two use cases highlighted by our case studies. We extend this algorithm to support quotient type equivalences in two different ways: (1) internally to cubical type theory (applied to Cubical Agda), and (2) externally to CIC$_{\omega}$ (applied to Coq). While our approach in Coq comes equipped with prototype automation, it suffers notably from Coq's lack of quotient types -- something we circumvent using Coq's setoid machinery and an extension to the proof repair algorithm to support the corresponding new proof obligations. In contrast, while our approach in Cubical Agda is completely manual, it takes advantage of cubical type theory's internal quotient types, which makes the algorithm straightforward. Furthermore, it includes the first internal proofs of correctness of repaired proofs, something not possible in general in Coq. We report on the tradeoffs between these two approaches, and demonstrate these tradeoffs on proof repair case studies for previously unsupported changes.


title: Jaynes Machine: The universal microstructure of deep neural networks

abstract: We present a novel theory of the microstructure of deep neural networks. Using a theoretical framework called statistical teleodynamics, which is a conceptual synthesis of statistical thermodynamics and potential game theory, we predict that all highly connected layers of deep neural networks have a universal microstructure of connection strengths that is distributed lognormally ($LN({\mu}, {\sigma})$). Furthermore, under ideal conditions, the theory predicts that ${\mu}$ and ${\sigma}$ are the same for all layers in all networks. This is shown to be the result of an arbitrage equilibrium where all connections compete and contribute the same effective utility towards the minimization of the overall loss function. These surprising predictions are shown to be supported by empirical data from six large-scale deep neural networks in real life. We also discuss how these results can be exploited to reduce the amount of data, time, and computational resources needed to train large deep neural networks.


title: Standard translation twists and an operator-bounded energy inequality

abstract: Twist operators implement symmetries in bounder regions of the space. Standard twists are a special class of twists constructed using modular tools. The twists corresponding to translations have interesting special properties. They can move continuously an operator from a region to a disjoint one without ever passing through the gap separating the two. In addition, they have generators satisfying the spectrum condition. We compute explicitly these twists for the two dimensional chiral fermion field. The twist generator gives place to a new type of energy inequality where the smeared energy density is bounded below by an operator.


title: Open-source Pulseq sequences on Philips MRI scanners

abstract: Purpose: This work aims to address the limitations faced by researchers in developing and sharing new MRI sequences by implementing an interpreter for the open-source MRI pulse sequence format, Pulseq, on a Philips MRI scanner. Methods: The implementation involved modifying a few source code files to create a Pulseq interpreter for the Philips MRI system. Validation experiments were conducted using simulations and phantom scans performed on a 7T Achieva MRI system. The observed sequence and waveforms were compared to the intended ones, and the gradient waveforms produced by the scanner were verified using a field camera. Image reconstruction was performed using the raw k-space samples acquired from both the native vendor environment and the Pulseq interpreter. Results: The reconstructed images obtained through the Pulseq implementation were found to be comparable to those obtained through the native implementation. The performance of the Pulseq interpreter was assessed by profiling the CPU utilization of the MRI spectrometer, showing minimal resource utilization for certain sequences. Conclusion: The successful implementation of the Pulseq interpreter on the Philips MRI scanner demonstrates the feasibility of utilizing Pulseq sequences on Philips MRI scanners. This provides an open-source platform for MRI sequence development, facilitating collaboration among researchers and accelerating scientific progress in the field of MRI.


title: Plea for diagonals and telescopers of rational functions

abstract: This paper is a plea for diagonals and telescopers of rational, or algebraic, functions using creative telescoping, in a computer algebra experimental mathematics learn-by-examples approach. We show that diagonals of rational functions (and this is also the case with diagonals of algebraic functions) are left invariant when one performs an infinite set of birational transformations on the rational functions. These invariance results generalize to telescopers. We cast light on the almost systematic property of homomorphism to their adjoint of the telescopers of rational, or algebraic, functions. We shed some light on the reason why the telescopers, annihilating the diagonals of rational functions of the form P/Q^k and 1/Q, are homomorphic. For telescopers with solutions (periods) corresponding to integration over non-vanishing cycles, we have a slight generalization of this result. We introduce some challenging examples of generalization of diagonals of rational functions, like diagonals of transcendental functions, yielding simple $_2F_1$ hypergeometric functions associated with elliptic curves, or (differentially algebraic) lambda-extension of correlation of the Ising model.


title: Multi-Robot Cooperative Navigation in Crowds: A Game-Theoretic Learning-Based Model Predictive Control Approach

abstract: In this paper, we develop a control framework for the coordination of multiple robots as they navigate through crowded environments. Our framework comprises of a local model predictive control (MPC) for each robot and a social long short-term memory model that forecasts pedestrians' trajectories. We formulate the local MPC formulation for each individual robot that includes both individual and shared objectives, in which the latter encourages the emergence of coordination among robots. Next, we consider the multi-robot navigation and human-robot interaction, respectively, as a potential game and a two-player game, then employ an iterative best response approach to solve the resulting optimization problems in a centralized and distributed fashion. Finally, we demonstrate the effectiveness of coordination among robots in simulated crowd navigation.


title: Coherent photoproduction of light vector mesons off nuclear targets in the dipole picture

abstract: We study the coherent photoproduction of light vector mesons in Pb-Pb collisions in the framework of color dipole approach. We employ the Glauber--Gribov formalism supplemented by an effective suppression factor $R_G$ accounting for the gluon shadowing correction. We adjust the latter to reproduce the deep inelastic structure function $F_2$ (E665) and $\rho$ meson photoproduction (ALICE) data. We achieve a good description of the available data points with $R_G = 0.85$ at scale $Q^2 = 0.15$ GeV$^2$. Besides, we present predictions for coherent $\rho(2S)$, $\omega(1S,2S)$ and $\phi(1S,2S)$ photoproduction observables using the holographic vector meson wave functions.