title: Exploring the sensitivity to non-standard and generalized neutrino interactions through coherent elastic neutrino-nucleus scattering with a NaI detector

abstract: After the first observation of coherent elastic neutrino-nucleus scattering (CE$\nu$NS) by the COHERENT collaboration, many efforts are being made to improve the measurement of this process, making it possible to constrain new physics in the neutrino sector. In this paper, we study the sensitivity to non-standard interactions (NSIs) and generalized neutrino interactions (GNIs) of a NaI detector with characteristics similar to the one that is currently being deployed at the Spallation Neutron Source at Oak Ridge National Laboratory. We show that such a detector, whose target nuclei have significantly different proton to neutron ratios (at variance with the current CsI detector), could help to partially break the parameter degeneracies arising from the interference between the Standard Model and NSI contributions to the CE$\nu$NS cross section, as well as between different NSI parameters. By contrast, only a slight improvement over the current CsI constraints is expected for parameters that do not interfere with the SM contribution. We find that a significant reduction of the background level would make the NaI detector considered in this paper very efficient at breaking degeneracies among NSI parameters.


title: The Sun Remains Relatively Refractory Depleted: Elemental Abundances for 17,412 Gaia RVS Solar Analogs and 50 Planet Hosts

abstract: The elemental abundances of stars, particularly the refractory elements (e.g., Fe, Si, Mg), play an important role in connecting stars to their planets. Most Sun-like stars do not have refractory abundance measurements since obtaining a large sample of high-resolution spectra is difficult with oversubscribed observing resources. In this work we infer abundances for C, N, O, Na, Mn, Cr, Si, Fe, Ni, Mg, V, Ca, Ti, Al, and Y for solar analogs with Gaia RVS spectra (R=11,200) using the Cannon, a data-driven method. We train a linear model on a reference set of 34 stars observed by Gaia RVS with precise abundances measured from previous high resolution spectroscopic efforts (R > 30,000--110,000). We then apply this model to several thousand Gaia RVS solar analogs. This yields abundances with average upper limit precisions of 0.04--0.1 dex for 17,412 stars, 50 of which are identified planet (candidate) hosts. We subsequently test the relative refractory depletion of these stars with increasing element condensation temperature compared to the Sun. The Sun remains refractory depleted compared to other Sun-like stars regardless of our current knowledge of the planets they host. This is inconsistent with theories of various types of planets locking up or sequestering refractories. Furthermore, we find no significant abundance differences between identified close-in giant planet hosts, giant planet hosts, and terrestrial/small planet hosts and the rest of the sample within our precision limits. This work demonstrates the utility of data-driven learning for future exoplanet composition and demographics studies.


title: Discovery of Globular Cluster Candidates in the Dwarf Irregular Galaxy IC 2574 Using HST/ACS Imaging

abstract: We report the discovery of 23 globular cluster (GC) candidates around the relatively isolated dwarf galaxy IC 2574 within the Messier 81 (M81) group, at a distance of 3.86 Mpc. We use observations from the HST Advanced Camera for Surveys (ACS) to analyse the imaging in the F814W and F555W broadband filters. Our GC candidates have luminosities ranging from $-5.9 \geq M_V \geq -10.4$ and half-light radii of $1.4 \leq r_h \leq 11.5$ pc. We find the total number of GCs ($N_{\mathrm{GC}})=27\pm5$ after applying completeness corrections, which implies a specific frequency of $S_N = 4.0\pm0.8$, consistent with expectations based on its luminosity. The GC system appears to have a bimodal colour distribution, with 30% of the GC candidates having redder colours. We also find 5 objects with extremely blue colours that could be young star clusters linked to an intense star formation episode that occurred in IC 2574 $\sim$1 Gyr ago. We make an independent measurement of the halo mass of IC 2574 from its kinematic data, which is rare for low mass galaxies, and find log $M_{200} = 10.93 \pm 0.08$. We place the galaxy on the well-known GC system mass-halo mass relation and find that it agrees well with the observed near-linear relation. IC 2574 has a rich GC population for a dwarf galaxy, which includes an unusually bright $\omega$ Cen-like GC, making it an exciting nearby laboratory for probing the peculiar efficiency of forming massive GCs in dwarf galaxies.


title: Positivity in Amplitudes from Quantum Entanglement

abstract: We show that positivity of the imaginary part of forward elastic amplitudes for perturbative scattering is equivalent to consistency of the entanglement generated by the S-matrix, for states with arbitrary internal quantum numbers such as flavor. We also analyze "disentanglers," certain highly entangled initial states for which the action of the S-matrix is to decrease subsystem entanglement.


title: The outskirts of M33: Tidally induced distortions versus signatures of gas accretion

abstract: We investigate a possible close encounter between M33 and M31 in the past to understand the role of galaxy-galaxy interactions in shaping the matter distribution in galaxy outskirts. We recovered possible orbital trajectories of M33, M31 and the Milky Way in the past, which are compatible with the Early Third Data Release of the Gaia mission and with mass estimates of Local Group spirals, after tuning mass losses and the dynamical friction term with the help of N-body numerical simulations. A close encounter of M33 and M31 in the past has a low but non-negligible probability. If the two galaxies had been closer in the past, their minimum distance would be of the order of 100 kpc or larger, and this happened earlier than 3 Gyr ago. During this encounter, 35-40% of the dark matter mass of M33 might have been removed from the halo due to tidal stripping. A detailed comparison of the results of test-particle simulations with the observed disk warp or with the spatial distribution of candidate dark satellites of M33 suggests that a closer passage of M33 around M31 cannot, however, be responsible for the observed morphological features. We suggest that more recent gas accretion events, possibly from a cosmic filament, might cause the misalignment of the outer disk of M33 after the rapid inner disk formation.


title: Bare mass effects on the reheating process after inflation

abstract: We consider the effects of a bare mass term for the inflaton, when the inflationary potential takes the form $V(\phi)= \lambda \phi^k$ about its minimum with $k \ge 4$. We concentrate on $k=4$, but discuss general cases as well. Further, we assume $\lambda \phi_{\rm end}^2 \gg m_\phi^2$, where $\phi_{\rm end}$ is the inflaton field value when the inflationary expansion ends. We show that the presence of a mass term (which may be present due to radiative corrections or supersymmetry breaking) can significantly alter the reheating process, as the equation of state of the inflaton condensate changes from $w_\phi=\frac{1}{3}$ to $w_\phi=0$ when $\lambda \phi^2$ drops below $m_\phi^2$. We show that for a mass $m_\phi \gtrsim T_{\rm RH}/250$, the mass term will dominate at reheating. We compute the effects on the reheating temperature for cases where reheating is due to inflaton decay (to fermions, scalars, or vectors) or to inflaton scattering (to scalars or vectors). For scattering to scalars and in the absence of a decay, we derive a strong upper limit to the inflaton bare mass $m_\phi < 350~{\rm MeV} (T_{\rm RH}/10^{10}~{\rm GeV})^{3/5}$, as there is always a residual inflaton background which acts as cold dark matter. We also consider the effect of the bare mass term on the fragmentation of the inflaton condensate.


title: An Eccentric Planet Orbiting the Polar V808 Aurigae

abstract: We analyze 15 years of eclipse timings of the polar V808 Aur. The rapid ingress/egress of the white dwarf and bright accretion region provide timings as precise as a few tenths of a second for rapid cadence photometric data. We find that between 2015 and 2018, the eclipse timings deviated from a linear ephemeris by more than 30 s. The rapid timing change is consistent with the periastron passage of a planet in an eccentric orbit about the polar. The best fit orbital period is 11$\pm 1$ yr and we estimate a projected mass of $Msin(i)=6.8\pm 0.7$ Jupiter masses. We also show that the eclipse timings are correlated with the brightness of the polar with a slope of 1.1 s/mag. This is likely due to the change in the geometry of the accretion curtains as a function of the mass transfer rate in the polar. While an eccentric planet offers an excellent explanation to the available eclipse data for V808 Aur, proposed planetary systems in other eclipsing polars have often struggled to accurately predict future eclipse timings.


title: Toward high-fidelity quantum information processing and quantum simulation with spin qubits and phonons

abstract: We analyze the implementation of high-fidelity, phonon-mediated gate operations and quantum simulation schemes for spin qubits associated with silicon vacancy centers in diamond. Specifically, we show how the application of continuous dynamical decoupling techniques can substantially boost the coherence of the qubit states while increasing at the same time the variety of effective spin models that can be implemented in this way. Based on realistic models and detailed numerical simulations, we demonstrate that this decoupling technique can suppress gate errors by more than two orders of magnitude and enable gate infidelities below $\sim 10^{-4}$ for experimentally relevant noise parameters. Therefore, when generalized to phononic lattices with arrays of implanted defect centers, this approach offers a realistic path toward moderate- and large-scale quantum devices with spins and phonons, at a level of control that is competitive with other leading quantum-technology platforms.


title: Resolving the Ultracollinear Paradox with Effective Field Theory

abstract: Naive intuition about scale decoupling breaks down in the presence of fermion masses. Kinematic enhancements can greatly extend the range where one needs to keep a finite mass in calculations to obtain a correct result at even the O(1) level. Treating a light fermion as massive though, leads to a known but somewhat obscure paradox, a seeming leading-order sensitivity to an arbitrarily small mass. We show how a proper formulation in effective field theory not only resolves the physical conundrum, but answers the very practical question of when fermion masses are required. This has important implications for the development of shower Monte Carlo above the weak scale.


title: Searching for late-time interaction signatures in Type Ia supernovae from the Zwicky Transient Facility

abstract: The nature of the progenitor systems and explosion mechanisms that give rise to Type Ia supernovae (SNe Ia) are still debated. The interaction signature of circumstellar material (CSM) being swept up by expanding ejecta can constrain the type of system from which it was ejected. Most previous studies have focused on finding CSM ejected shortly before the SN Ia explosion still residing close to the explosion site, resulting in short delay times until the interaction starts. We use a sample of 3627 SNe Ia from the Zwicky Transient Facility discovered between 2018 and 2020 and search for interaction signatures over 100 days after peak brightness. By binning the late-time light curve data to push the detection limit as deep as possible, we identify potential late-time rebrightening in 3 SNe Ia (SN 2018grt, SN 2019dlf, SN 2020tfc). The late-time detections occur between 550 and 1450 d after peak brightness, have mean absolute $r$-band magnitudes of -16.4 to -16.8 mag and last up to a few hundred days, significantly brighter than the late-time CSM interaction discovered in the prototype SN 2015cp. The late-time detections all occur within 0.8 kpc of the host nucleus and are not easily explained by nuclear activity, another transient at a similar sky position, or data quality issues. This suggests environment or specific progenitor characteristics playing a role in producing potential CSM signatures in these SNe Ia. By simulating the ZTF survey we estimate that <0.5 per cent of normal SNe Ia display late-time strong H $\alpha$-dominated CSM interaction. This is equivalent to an absolute rate of $8_{-4}^{+20}$ to $54_{-26}^{+91}$ Gpc$^{-3}$ yr$^{-1}$ assuming a constant SN Ia rate of $2.4\times10^{-5}$ Mpc$^{-3}$ yr$^{-1}$ for $z \leq 0.1$. Weaker interaction signatures, more similar to the strength seen in SN 2015cp, could be more common but are difficult to constrain with our survey depth.


title: The symmetry approach to quark and lepton masses and mixing

abstract: The Standard Model lacks an organizing principle to describe quark and lepton ``flavours''. We review the impact of neutrino oscillation experiments, which show that leptons mix very differently from quarks, placing a major challenge, but also providing a key input to the flavour puzzle. We briefly sketch the seesaw and ``scotogenic'' approaches to neutrino mass, the latter including also WIMP dark matter. We discuss the limitations of popular neutrino mixing patterns and examine the possibility that they arise from symmetry, giving a bottom-up approach to residual flavour and CP symmetries. We show how family and/or CP symmetries can generate novel viable and predictive mixing patterns. We review the model-independent ways to predict lepton mixing and test both mixing predictions as well as mass sum rules. We also discuss UV-complete flavour theories in four and more space-time dimensions, and their predictions. Benchmarks given include an $A_4$ scotogenic construction with trimaximal mixing pattern TM2. Higher-dimensional completions are also reviewed, such as 5-D warped flavordynamics. We present a $T^\prime$ warped flavordynamics theory with TM1 mixing pattern, detectable neutrinoless double beta decay rates and providing a very good fit of flavour observables, including quarks. We also review how 6-D orbifolds offer a way to determine the structure of the 4-D family symmetry from the symmetries between the extra-D branes. We describe a scotogenic $A_4$ orbifold predicting the ``golden'' quark-lepton mass relation, large neutrino mass with normal ordering, higher atmospheric octant, restricted reactor angle, and an excellent global flavour fit, including quark observables. Finally, we discuss promising recent progress in tackling the flavor issue through the use of modular symmetries.


title: Zero-Fluctuation Quantum Work Extraction

abstract: We study the possibility of deterministic protocols for extracting work from quantum systems. Focusing on the two-point measurement work extraction scenario, we prove that, with enough copies of the system, such zero-fluctuation protocols always exist if the Hamiltonian has a rational spectrum. Leveraging this result, we show that for any Hamiltonian, it is possible to construct an unitary driving protocol on sufficiently many copies of the system with work fluctuations strictly bounded within an arbitrary interval $\pm \delta$, albeit requiring exponentially many copies in $1/\delta$.


title: WIPI: A New Web Threat for LLM-Driven Web Agents

abstract: With the fast development of large language models (LLMs), LLM-driven Web Agents (Web Agents for short) have obtained tons of attention due to their superior capability where LLMs serve as the core part of making decisions like the human brain equipped with multiple web tools to actively interact with external deployed websites. As uncountable Web Agents have been released and such LLM systems are experiencing rapid development and drawing closer to widespread deployment in our daily lives, an essential and pressing question arises: "Are these Web Agents secure?". In this paper, we introduce a novel threat, WIPI, that indirectly controls Web Agent to execute malicious instructions embedded in publicly accessible webpages. To launch a successful WIPI works in a black-box environment. This methodology focuses on the form and content of indirect instructions within external webpages, enhancing the efficiency and stealthiness of the attack. To evaluate the effectiveness of the proposed methodology, we conducted extensive experiments using 7 plugin-based ChatGPT Web Agents, 8 Web GPTs, and 3 different open-source Web Agents. The results reveal that our methodology achieves an average attack success rate (ASR) exceeding 90% even in pure black-box scenarios. Moreover, through an ablation study examining various user prefix instructions, we demonstrated that the WIPI exhibits strong robustness, maintaining high performance across diverse prefix instructions.


title: Winds of change: the nuclear and galaxy-scale outflows and the X-ray variability of 2MASS 0918+2117

abstract: Powerful outflows from active galactic nuclei (AGN) can significantly impact the gas reservoirs of their host galaxies. However, it is still unclear how these outflows can propagate from the very central regions of galaxies to their outskirts, and whether nuclear winds can be driven by and/or be responsible for drastic spectral transitions. In this work we test feedback propagation models on the case test of 2MASS 0918+2117 (2M0918), a z=0.149 X-ray variable AGN, which showed tentative evidence for nuclear ultra-fast outflows (UFOs) in a 2005 XMM-Newton observation. We also investigate whether UFOs can be related to the observed X-ray variability. We observed 2M0918 with XMM-Newton and NuSTAR in 2020 to confirm the presence and characterize the UFOs. We perform a kinematic analysis of the 2005 SDSS optical spectrum to reveal and measure the properties of galaxy-scale ionized outflows. Furthermore, we construct 20-year-long lightcurves of observed flux, line-of-sight column density, and intrinsic accretion rate from the spectra of the first 4 SRG/eROSITA all-sky surveys and archival observations from Chandra and XMM-Newton.We significantly detect UFOs with v$\sim$0.16c and galaxy-scale ionized outflows with velocities of $\sim$ 700 km/s. We also find that the drastic X-ray variability (factors >10) can be explained both in terms of variable obscuration and variable intrinsic luminosity.Comparing the energetics of the two outflow phases, 2M0918 is consistent with momentum-driven wind propagation. 2M0918 expands the sample of AGN with both UFOs and ionized gas winds from 5 to 6, and brings the sample of AGN hosting multiscale outflows to 19, contributing to a clearer picture of feedback physics. From the variations in accretion rate, column density, and ionization level of the obscurer, we propose a scenario that connects obscurers, an accretion enhancement, and the emergence of UFOs


title: Imaging Spectropolarimetry -- A New Observing Mode on the Hubble Space Telescope's Advanced Camera for Surveys

abstract: Imaging spectropolarimetry is a new observing mode on the Advanced Camera for Surveys (ACS) aboard the Hubble Space Telescope (HST) that was commissioned in Cycle 30 and is available to HST observers starting in Cycle 31 (i.e., from 2023). It is a technique that is accessible from ground-based observatories, but the superb spatial resolution afforded by HST/ACS combined with the slitless nature of HST/ACS grism spectroscopy opens up the possibility of studying polarized extended emission in a way that is not currently possible even with Adaptive Optics facilities on the ground. This mode could help to study interesting targets including (but not limited to) QSOs, AGN and Radio Galaxies, ISM Dust Properties, Pre-Planetary Nebulae, Proto-Planetary and Debris Disks, Supernovae/Supernova Remnants, and Solar System objects. This research note presents the preliminary results from the calibration programs used to calibrate imaging spectropolarimetry on HST/ACS.


title: A Survey of Large Language Models in Cybersecurity

abstract: Large Language Models (LLMs) have quickly risen to prominence due to their ability to perform at or close to the state-of-the-art in a variety of fields while handling natural language. An important field of research is the application of such models at the cybersecurity context. This survey aims to identify where in the field of cybersecurity LLMs have already been applied, the ways in which they are being used and their limitations in the field. Finally, suggestions are made on how to improve such limitations and what can be expected from these systems once these limitations are overcome.


title: Robust Evaluation of Longitudinal Surrogate Markers with Censored Data

abstract: The development of statistical methods to evaluate surrogate markers is an active area of research. In many clinical settings, the surrogate marker is not simply a single measurement but is instead a longitudinal trajectory of measurements over time, e.g., fasting plasma glucose measured every 6 months for 3 years. In general, available methods developed for the single-surrogate setting cannot accommodate a longitudinal surrogate marker. Furthermore, many of the methods have not been developed for use with primary outcomes that are time-to-event outcomes and/or subject to censoring. In this paper, we propose robust methods to evaluate a longitudinal surrogate marker in a censored time-to-event outcome setting. Specifically, we propose a method to define and estimate the proportion of the treatment effect on a censored primary outcome that is explained by the treatment effect on a longitudinal surrogate marker measured up to time $t_0$. We accommodate both potential censoring of the primary outcome and of the surrogate marker. A simulation study demonstrates good finite-sample performance of our proposed methods. We illustrate our procedures by examining repeated measures of fasting plasma glucose, a surrogate marker for diabetes diagnosis, using data from the Diabetes Prevention Program (DPP).


title: Cluster deep loci and mirror symmetry

abstract: Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases.


title: The Gasing Pangkah Collaboration: I. Asteroseismic Identification and Characterisation of a Rapidly-Rotating Engulfment Candidate

abstract: We report the discovery and characterisation of TIC 350842552 ("Zvrk"), an apparently isolated, rapidly-rotating ($P_\text{rot} \sim 99\ \mathrm{d}$) red giant observed by TESS in its Southern Continuous Viewing Zone. The star's fast surface rotation is independently verified by the use of p-mode asteroseismology, strong periodicity in TESS and ASAS-SN photometry, and measurements of spectroscopic rotational broadening. A two-component fit to APOGEE spectra indicates a coverage fraction of its surface features consistent with the amplitude of the photometric rotational signal. Variations in the amplitude of its photometric modulations over time suggest the evolution of its surface morphology, and therefore enhanced magnetic activity. We further develop and deploy new asteroseismic techniques to characterise radial differential rotation, and find weak evidence for rotational shear within Zvrk's convective envelope. This feature, in combination with such a high surface rotation rate, is incompatible with models of angular-momentum transport in single-star evolution. Spectroscopic abundance estimates also indicate a high lithium abundance, among other chemical anomalies. Taken together, all of these suggest a planet-ingestion scenario for the formation of this rotational configuration, various models for which we examine in detail.


title: Optimal Mechanisms for Consumer Surplus Maximization

abstract: We consider the problem of designing auctions which maximize consumer surplus (i.e., the social welfare minus the payments charged to the buyers). In the consumer surplus maximization problem, a seller with a set of goods faces a set of strategic buyers with private values, each of whom aims to maximize their own individual utility. The seller, in contrast, aims to allocate the goods in a way which maximizes the total buyer utility. The seller must then elicit the values of the buyers in order to decide what goods to award each buyer. The canonical approach in mechanism design to ensure truthful reporting of the private information is to find appropriate prices to charge each buyer in order to align their objective with the objective of the seller. Indeed, there are many celebrated results to this end when the seller's objective is welfare maximization [Clarke, 1971, Groves, 1973, Vickrey, 1961] or revenue maximization [Myerson, 1981]. However, in the case of consumer surplus maximization the picture is less clear -- using high payments to ensure the highest value bidders are served necessarily decreases their surplus utility, but using low payments may lead the seller into serving lower value bidders. Our main result in this paper is a framework for designing mechanisms which maximize consumer surplus. We instantiate our framework in a variety of canonical multi-parameter auction settings (i.e., unit-demand bidders with heterogeneous items, multi-unit auctions, and auctions with divisible goods) and use it to design auctions achieving consumer surplus with optimal approximation guarantees against the total social welfare. Along the way, we answer an open question posed by Hartline and Roughgarden [2008], who, to our knowledge, were the first to study the question of consumer surplus approximation guarantees in single-parameter settings, regarding optimal mechanisms for two bidders.


title: Successfully Guiding Humans with Imperfect Instructions by Highlighting Potential Errors and Suggesting Corrections

abstract: This paper addresses the challenge of leveraging imperfect language models to guide human decision-making in the context of a grounded navigation task. We show that an imperfect instruction generation model can be complemented with an effective communication mechanism to become more successful at guiding humans. The communication mechanism we build comprises models that can detect potential hallucinations in instructions and suggest practical alternatives, and an intuitive interface to present that information to users. We show that this approach reduces the human navigation error by up to 29% with no additional cognitive burden. This result underscores the potential of integrating diverse communication channels into AI systems to compensate for their imperfections and enhance their utility for humans.


title: Finite generation of split F-regular monoid algebras

abstract: Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or equivalently, that $S$ is a finitely generated monoid. Split $F$-regular rings are possibly non-Noetherian or non-$F$-finite rings that satisfy the defining property of strongly $F$-regular rings from the theories of tight closure and $F$-singularities. Our finite generation result provides evidence in favor of the conjecture that split $F$-regular rings in function fields over $k$ have to be Noetherian. The key tool is Diophantine approximation from convex geometry.


title: The Mumford dynamical system and the Gelfand-Dikii recursion

abstract: In his paper "The Mumford Dynamical System and Hyperelliptic Kleinian Functions" (see arXiv:2402.09218), Victor Buchstaber developed the differential-algebraic theory of the Mumford dynamical system. The key object of this theory is the (P,Q)-recursion introduced in his paper. In the present paper, we further develop the theory of (P,Q)-recursion and describe its connections to the Korteweg-de Vries hierarchy, the Lenard operator, and the Gelfand-Dikii recursion.


title: Theoretical Highlights of CP Violation in $B$ Decays

abstract: In this presentation, we discuss recent key topics in theoretical analyses of CP violation in benchmarks decays of the $B$ meson. We provide the most updated values of the mixing phases and discuss the importance of including the penguin contributions in their studies. Exploring intriguing patterns in purely tree decays, interesting new methodologies can be developed and applied. New data related to the CP asymmetries of key modes like $B^0_d \to \pi^0 K_S$ and $B^0_s \to K^+ K^-$ lead to interesting results. The new $R_{K^{(*)}}$ measurement, compatible with the Standard Model, can still allow for electron-muon symmetry violation through new sources of CP violation.


title: Dealing with Data for RE: Mitigating Challenges while using NLP and Generative AI

abstract: Across the dynamic business landscape today, enterprises face an ever-increasing range of challenges. These include the constantly evolving regulatory environment, the growing demand for personalization within software applications, and the heightened emphasis on governance. In response to these multifaceted demands, large enterprises have been adopting automation that spans from the optimization of core business processes to the enhancement of customer experiences. Indeed, Artificial Intelligence (AI) has emerged as a pivotal element of modern software systems. In this context, data plays an indispensable role. AI-centric software systems based on supervised learning and operating at an industrial scale require large volumes of training data to perform effectively. Moreover, the incorporation of generative AI has led to a growing demand for adequate evaluation benchmarks. Our experience in this field has revealed that the requirement for large datasets for training and evaluation introduces a host of intricate challenges. This book chapter explores the evolving landscape of Software Engineering (SE) in general, and Requirements Engineering (RE) in particular, in this era marked by AI integration. We discuss challenges that arise while integrating Natural Language Processing (NLP) and generative AI into enterprise-critical software systems. The chapter provides practical insights, solutions, and examples to equip readers with the knowledge and tools necessary for effectively building solutions with NLP at their cores. We also reflect on how these text data-centric tasks sit together with the traditional RE process. We also highlight new RE tasks that may be necessary for handling the increasingly important text data-centricity involved in developing software systems.


title: An inexact Bregman proximal point method and its acceleration version for unbalanced optimal transport

abstract: The Unbalanced Optimal Transport (UOT) problem plays increasingly important roles in computational biology, computational imaging and deep learning. Scaling algorithm is widely used to solve UOT due to its convenience and good convergence properties. However, this algorithm has lower accuracy for large regularization parameters, and due to stability issues, small regularization parameters can easily lead to numerical overflow. We address this challenge by developing an inexact Bregman proximal point method for solving UOT. This algorithm approximates the proximal operator using the Scaling algorithm at each iteration. The algorithm (1) converges to the true solution of UOT, (2) has theoretical guarantees and robust regularization parameter selection, (3) mitigates numerical stability issues, and (4) can achieve comparable computational complexity to the Scaling algorithm in specific practice. Building upon this, we develop an accelerated version of inexact Bregman proximal point method for solving UOT by using acceleration techniques of Bregman proximal point method and provide theoretical guarantees and experimental validation of convergence and acceleration.


title: Algorithmic Arbitrariness in Content Moderation

abstract: Machine learning (ML) is widely used to moderate online content. Despite its scalability relative to human moderation, the use of ML introduces unique challenges to content moderation. One such challenge is predictive multiplicity: multiple competing models for content classification may perform equally well on average, yet assign conflicting predictions to the same content. This multiplicity can result from seemingly innocuous choices during model development, such as random seed selection for parameter initialization. We experimentally demonstrate how content moderation tools can arbitrarily classify samples as toxic, leading to arbitrary restrictions on speech. We discuss these findings in terms of human rights set out by the International Covenant on Civil and Political Rights (ICCPR), namely freedom of expression, non-discrimination, and procedural justice. We analyze (i) the extent of predictive multiplicity among state-of-the-art LLMs used for detecting toxic content; (ii) the disparate impact of this arbitrariness across social groups; and (iii) how model multiplicity compares to unambiguous human classifications. Our findings indicate that the up-scaled algorithmic moderation risks legitimizing an algorithmic leviathan, where an algorithm disproportionately manages human rights. To mitigate such risks, our study underscores the need to identify and increase the transparency of arbitrariness in content moderation applications. Since algorithmic content moderation is being fueled by pressing social concerns, such as disinformation and hate speech, our discussion on harms raises concerns relevant to policy debates. Our findings also contribute to content moderation and intermediary liability laws being discussed and passed in many countries, such as the Digital Services Act in the European Union, the Online Safety Act in the United Kingdom, and the Fake News Bill in Brazil.


title: Saliency-Aware Automatic Buddhas Statue Recognition

abstract: Buddha statues, as a symbol of many religions, have significant cultural implications that are crucial for understanding the culture and history of different regions, and the recognition of Buddha statues is therefore the pivotal link in the field of Buddha study. However, the Buddha statue recognition requires extensive time and effort from knowledgeable professionals, making it a costly task to perform. Convolution neural networks (CNNs) are inherently efficient at processing visual information, but CNNs alone are likely to make inaccurate classification decisions when subjected to the class imbalance problem. Therefore, this paper proposes an end-to-end automatic Buddha statue recognition model based on saliency map sampling. The proposed Grid-Wise Local Self-Attention Module (GLSA) provides extra salient features which can serve to enrich the dataset and allow CNNs to observe in a much more comprehensive way. Eventually, our model is evaluated on a Buddha dataset collected with the aid of Buddha experts and outperforms state-of-the-art networks in terms of Top-1 accuracy by 4.63\% on average, while only marginally increasing MUL-ADD.


title: Non-Euclidean Sliced Optimal Transport Sampling

abstract: In machine learning and computer graphics, a fundamental task is the approximation of a probability density function through a well-dispersed collection of samples. Providing a formal metric for measuring the distance between probability measures on general spaces, Optimal Transport (OT) emerges as a pivotal theoretical framework within this context. However, the associated computational burden is prohibitive in most real-world scenarios. Leveraging the simple structure of OT in 1D, Sliced Optimal Transport (SOT) has appeared as an efficient alternative to generate samples in Euclidean spaces. This paper pushes the boundaries of SOT utilization in computational geometry problems by extending its application to sample densities residing on more diverse mathematical domains, including the spherical space Sd , the hyperbolic plane Hd , and the real projective plane Pd . Moreover, it ensures the quality of these samples by achieving a blue noise characteristic, regardless of the dimensionality involved. The robustness of our approach is highlighted through its application to various geometry processing tasks, such as the intrinsic blue noise sampling of meshes, as well as the sampling of directions and rotations. These applications collectively underscore the efficacy of our methodology.


title: Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

abstract: Programmatically generating tight differential privacy (DP) bounds is a hard problem. Two core challenges are (1) finding expressive, compact, and efficient encodings of the distributions of DP algorithms, and (2) state space explosion stemming from the multiple quantifiers and relational properties of the DP definition. We address the first challenge by developing a method for tight privacy and accuracy bound synthesis using weighted model counting on binary decision diagrams, a state of the art technique from the artificial intelligence and automated reasoning communities for exactly computing probability distributions. We address the second challenge by developing a framework for leveraging inherent symmetries in DP algorithms. Our solution benefits from ongoing research in probabilistic programming languages, allowing us to succinctly and expressively represent different DP algorithms with approachable language syntax that can be used by non-experts. We provide a detailed case study of our solution on the binary randomized response algorithm. We also evaluate an implementation of our solution using the Dice probabilistic programming language for the randomized response and truncated geometric above threshold algorithms. We compare to prior work on exact DP verification using Markov chain probabilistic model checking. Very few existing works consider mechanized analysis of accuracy guarantees for DP algorithms. We additionally provide a detailed analysis using our technique for finding tight accuracy bounds for DP algorithms.


title: Thermal evolution of spin excitations in honeycomb Ising antiferromagnetic FePSe3

abstract: We use elastic and inelastic neutron scattering (INS) to study the antiferromagnetic (AF) phase transitions and spin excitations in the two-dimensional (2D) zig-zag antiferromagnet FePSe$_3$. By determining the magnetic order parameter across the AF phase transition, we conclude that the AF phase transition in FePSe$_3$ is first-order in nature. In addition, our INS measurements reveal that the spin waves in the AF ordered state have a large easy-axis magnetic anisotropy gap, consistent with an Ising Hamiltonian, and possible biquadratic magnetic exchange interactions. On warming across $T_N$, we find that dispersive spin excitations associated with three-fold rotational symmetric AF fluctuations change into FM spin fluctuations above $T_N$. These results suggest that the first-order AF phase transition in FePSe$_3$ may arise from the competition between $C_3$ symmetric AF and $C_1$ symmetric FM spin fluctuations around $T_N$, in place of a conventional second-order AF phase transition.


title: Note on set representation of bounded degree hypergaphs

abstract: In their classical paper, Erd\H{o}s, Goodman and Posa studied the representation of a graph by vertex set $[n]$ with a family of subsets $S_1,\dots, S_n$ with the property that $\{i,j\}$ is an edge iff $S_i\cap S_j\neq \emptyset$. In this note, we consider a similar representation of bounded degree $r$-uniform hypergraphs and establish some bounds for a corresponding problem.


title: Visualizing 2x2 Normal-Form Games: twoxtwogame LaTeX Package

abstract: Normal-form games with two players, each with two strategies, are the most studied class of games. These so-called 2x2 games are used to model a variety of strategic interactions. They appear in game theory, economics, and artificial intelligence research. However, there lacks tools for describing and visualizing such games. This work introduces a LaTeX package for visualizing 2x2 games. This work has two goals: first, to provide high-quality tools and vector graphic visualizations, suitable for scientific publications. And second, to help promote standardization of names and representations of 2x2 games. The LaTeX package, twoxtwogame, is maintained on GitHub and mirrored on CTAN, and is available under a permissive Apache 2 license.


title: Long Dialog Summarization: An Analysis

abstract: Dialog summarization has become increasingly important in managing and comprehending large-scale conversations across various domains. This task presents unique challenges in capturing the key points, context, and nuances of multi-turn long conversations for summarization. It is worth noting that the summarization techniques may vary based on specific requirements such as in a shopping-chatbot scenario, the dialog summary helps to learn user preferences, whereas in the case of a customer call center, the summary may involve the problem attributes that a user specified, and the final resolution provided. This work emphasizes the significance of creating coherent and contextually rich summaries for effective communication in various applications. We explore current state-of-the-art approaches for long dialog summarization in different domains and benchmark metrics based evaluations show that one single model does not perform well across various areas for distinct summarization tasks.


title: X-Shooting ULLYSES: Massive Stars at low metallicity II. DR1: Advanced optical data products for the Magellanic Clouds

abstract: Using the medium resolution spectrograph X-shooter, spectra of 235 OB and Wolf-Rayet (WR) stars in sub-solar metallicity environments have been secured. [...]This second paper focuses on the optical observations of 232 Magellanic Clouds targets. It describes the uniform reduction of the UVB (300 - 560 nm) and VIS (550 - 1020 nm) XShootU data as well as the preparation of advanced data products [...] . The data reduction of the raw data is based on the ESO CPL X-shooter pipeline. We paid particular attention to the determination of the response curves [...] We implemented slit-loss correction, absolute flux calibration, (semi-)automatic rectification to the continuum, and a correction for telluric lines. The spectra of individual epochs were corrected for the barycentric motion, re-sampled and co-added, and the spectra from the two arms were merged into a single flux calibrated spectrum covering the entire optical range with maximum signal-to-noise ratio. [...] We provide three types of data products: (i) two-dimensional spectra for each UVB and VIS exposure; (ii) one-dimensional UVB and VIS spectra before and after response-correction, as well as after applying various processing, including absolute flux calibration, telluric removal, normalisation and barycentric correction; and (iii) co-added flux-calibrated and rectified spectra over the full optical range, for which all available XShootU exposures were combined. For many of the targets, the final signal-to-noise ratio per resolution element is above 200 in both the UVB and the VIS co-added spectra. The reduced data and advanced scientific data products will be made available to the community upon publication of this paper. [...]


title: Meridional Circulation Streamlined

abstract: Time-dependent meridional circulation and differential rotation in radiative zones are central open issues in stellar evolution theory. We streamline this challenging problem using the downward control principle of atmospheric science, under a geostrophic f-plane approximation. We recover the known stellar physics result that the steady-state meridional circulation decays on the length scale proportional to N/f sqrt(Pr), assuming molecular viscosity is the dominant drag mechanism. Prior to steady-state, the meridional circulation and the zonal wind (= differential rotation) spread together via radiative diffusion, under thermal wind balance. The corresponding (4th-order) hyperdiffusion process is reasonably well approximated by regular (2nd-order) diffusion on scales of order a pressure scale-height. We derive an inhomogeneous diffusion (equiv. advection-diffusion) equation for the zonal flow which admits closed-form time-dependent solutions in a finite depth domain, allowing for rapid prototyping of differential rotation profiles. In the weak drag limit, we find that the time to rotational steady-state can be longer than the Eddington-Sweet time and be instead determined by the longer drag time. Unless strong enough drag operates, the internal rotation of main-sequence stars may thus never reach steady-state. Streamlined meridional circulation solutions provide leading-order internal rotation profiles for studying the role of fluid/MHD instabilities (or waves) in redistributing angular momentum in the radiative zones of stars. Despite clear geometrical limitations and simplifying assumptions, one might expect our thin-layer geostrophic approach to offer qualitatively useful results to understand deep meridional circulation in stars.


title: Magnetic filaments: formation, stability, and feedback

abstract: As well known, magnetic fields in space are distributed very inhomogeneously. Some-times field distributions have forms of filaments with high magnetic field values. As many ob-servations show, such a filamentation takes place in convective cells in the Sun and other astro-physical objects. This effect is associated with the frozenness of the magnetic field into a medium with high conductivity that leads to compression of magnetic field lines and forming magnetic filaments. We show analytically, based on the general analysis, that the magnetic field intensifies in the regions of downward flows in both two-dimensional and three-dimensional convective cells. These regions of the hyperbolic type for magnetic fields play a role of a specific attractor. This analysis was confirmed by numerical simulations for 2D convective cells of the roll-type. Without dissipation the magnetic field grows exponentially in time and does not depend on the aspect ratio between horizontal and vertical scale of the cell. An increase due to compression in the magnetic field in the high conductive plasma is saturated due to the natural limitation associated with dissipative effects when the maximum magnitude of the magnetic field is of the order of the root of the magnetic Reynolds number Rem. For the solar convective zone the mean kinetic energy density exceeds mean magnetic energy density at least for two orders of magnitude that allows one to use the kinematic approximation for the MHD induction equation. In this paper based on the stability analysis we explain why downward flows influence magnetic filaments from making them more flat with orientation along interfaces between convective cells.

categories: astro-ph.SR math-ph math.MP nlin.SI physics.plasm-ph


title: inGRASS: Incremental Graph Spectral Sparsification via Low-Resistance-Diameter Decomposition

abstract: This work presents inGRASS, a novel algorithm designed for incremental spectral sparsification of large undirected graphs. The proposed inGRASS algorithm is highly scalable and parallel-friendly, having a nearly-linear time complexity for the setup phase and the ability to update the spectral sparsifier in $O(\log N)$ time for each incremental change made to the original graph with $N$ nodes. A key component in the setup phase of inGRASS is a multilevel resistance embedding framework introduced for efficiently identifying spectrally-critical edges and effectively detecting redundant ones, which is achieved by decomposing the initial sparsifier into many node clusters with bounded effective-resistance diameters leveraging a low-resistance-diameter decomposition (LRD) scheme. The update phase of inGRASS exploits low-dimensional node embedding vectors for efficiently estimating the importance and uniqueness of each newly added edge. As demonstrated through extensive experiments, inGRASS achieves up to over $200 \times$ speedups while retaining comparable solution quality in incremental spectral sparsification of graphs obtained from various datasets, such as circuit simulations, finite element analysis, and social networks.


title: A Phase Transition in Diffusion Models Reveals the Hierarchical Nature of Data

abstract: Understanding the structure of real data is paramount in advancing modern deep-learning methodologies. Natural data such as images are believed to be composed of features organised in a hierarchical and combinatorial manner, which neural networks capture during learning. Recent advancements show that diffusion models can generate high-quality images, hinting at their ability to capture this underlying structure. We study this phenomenon in a hierarchical generative model of data. We find that the backward diffusion process acting after a time $t$ is governed by a phase transition at some threshold time, where the probability of reconstructing high-level features, like the class of an image, suddenly drops. Instead, the reconstruction of low-level features, such as specific details of an image, evolves smoothly across the whole diffusion process. This result implies that at times beyond the transition, the class has changed but the generated sample may still be composed of low-level elements of the initial image. We validate these theoretical insights through numerical experiments on class-unconditional ImageNet diffusion models. Our analysis characterises the relationship between time and scale in diffusion models and puts forward generative models as powerful tools to model combinatorial data properties.


title: Heavy tailed large deviations for time averages of diffusions: the Ornstein-Uhlenbeck case

abstract: We study large deviations for the time average of the Ornstein-Uhlenbeck process raised to an arbitrary power. We prove that beyond a critical value, large deviations are subexponential in time, with a non-convex rate function whose main coefficient is given by the solution to a Hamilton-Jacobi problem. Although a similar problem was addressed in a recent work, the originality of the paper is to provide a short, self-contained proof of this result through a couple of standard large deviations arguments.


title: Hierarchical Speed Planner for Automated Vehicles: A Framework for Lagrangian Variable Speed Limit in Mixed Autonomy Traffic

abstract: This paper introduces a novel control framework for Lagrangian variable speed limits in hybrid traffic flow environments utilizing automated vehicles (AVs). The framework was validated using a fleet of 100 connected automated vehicles as part of the largest coordinated open-road test designed to smooth traffic flow. The framework includes two main components: a high-level controller deployed on the server side, named Speed Planner, and low-level controllers called vehicle controllers deployed on the vehicle side. The Speed Planner designs and updates target speeds for the vehicle controllers based on real-time Traffic State Estimation (TSE) [1]. The Speed Planner comprises two modules: a TSE enhancement module and a target speed design module. The TSE enhancement module is designed to minimize the effects of inherent latency in the received traffic information and to improve the spatial and temporal resolution of the input traffic data. The target speed design module generates target speed profiles with the goal of improving traffic flow. The vehicle controllers are designed to track the target speed meanwhile responding to the surrounding situation. The numerical simulation indicates the performance of the proposed method: the bottleneck throughput has increased by 5.01%, and the speed standard deviation has been reduced by a significant 34.36%. We further showcase an operational study with a description of how the controller was implemented on a field-test with 100 AVs and its comprehensive effects on the traffic flow.


title: GEM3D: GEnerative Medial Abstractions for 3D Shape Synthesis

abstract: We introduce GEM3D -- a new deep, topology-aware generative model of 3D shapes. The key ingredient of our method is a neural skeleton-based representation encoding information on both shape topology and geometry. Through a denoising diffusion probabilistic model, our method first generates skeleton-based representations following the Medial Axis Transform (MAT), then generates surfaces through a skeleton-driven neural implicit formulation. The neural implicit takes into account the topological and geometric information stored in the generated skeleton representations to yield surfaces that are more topologically and geometrically accurate compared to previous neural field formulations. We discuss applications of our method in shape synthesis and point cloud reconstruction tasks, and evaluate our method both qualitatively and quantitatively. We demonstrate significantly more faithful surface reconstruction and diverse shape generation results compared to the state-of-the-art, also involving challenging scenarios of reconstructing and synthesizing structurally complex, high-genus shape surfaces from Thingi10K and ShapeNet.


title: Thermodynamic Overfitting and Generalization: Energetic Limits on Predictive Complexity

abstract: Efficiently harvesting thermodynamic resources requires a precise understanding of their structure. This becomes explicit through the lens of information engines -- thermodynamic engines that use information as fuel. Maximizing the work harvested using available information is a form of physically-instantiated machine learning that drives information engines to develop complex predictive memory to store an environment's temporal correlations. We show that an information engine's complex predictive memory poses both energetic benefits and risks. While increasing memory facilitates detection of hidden patterns in an environment, it also opens the possibility of thermodynamic overfitting, where the engine dissipates additional energy in testing. To address overfitting, we introduce thermodynamic regularizers that incur a cost to engine complexity in training due to the physical constraints on the information engine. We demonstrate that regularized thermodynamic machine learning generalizes effectively. In particular, the physical constraints from which regularizers are derived improve the performance of learned predictive models. This suggests that the laws of physics jointly create the conditions for emergent complexity and predictive intelligence.


title: Towards Decoding Brain Activity During Passive Listening of Speech

abstract: The aim of the study is to investigate the complex mechanisms of speech perception and ultimately decode the electrical changes in the brain accruing while listening to speech. We attempt to decode heard speech from intracranial electroencephalographic (iEEG) data using deep learning methods. The goal is to aid the advancement of brain-computer interface (BCI) technology for speech synthesis, and, hopefully, to provide an additional perspective on the cognitive processes of speech perception. This approach diverges from the conventional focus on speech production and instead chooses to investigate neural representations of perceived speech. This angle opened up a complex perspective, potentially allowing us to study more sophisticated neural patterns. Leveraging the power of deep learning models, the research aimed to establish a connection between these intricate neural activities and the corresponding speech sounds. Despite the approach not having achieved a breakthrough yet, the research sheds light on the potential of decoding neural activity during speech perception. Our current efforts can serve as a foundation, and we are optimistic about the potential of expanding and improving upon this work to move closer towards more advanced BCIs, better understanding of processes underlying perceived speech and its relation to spoken speech.


title: On the radicality property for spaces of symbols of bounded Volterra operators

abstract: In a recent paper of the authors together with A. Aleman, it is shown that the Bloch space $\mathcal{B}$ in the unit disc has the following radicality property: if an analytic function $g$ satisfies that $g^n\in \mathcal{B}$, then $g^m\in \mathcal{B}$, for all $m\le n$. Since $\mathcal{B}$ coincides with the space $\mathcal{T}(A^p_\alpha)$ of analytic symbols $g$ such that the Volterra-type operator $T_gf(z)= \int_0^z f(\zeta)g'(\zeta)\,d\zeta$ is bounded on the classical weighted Bergman space $A^p_\alpha$, the radicality property was used to study the composition of paraproducts $T_g$ and $S_gf=T_fg$ on $A^p_{\alpha}$. Motivated by this fact, we prove that $\mathcal{T}(A^p_\omega)$ also has the radicality property, for any radial weight $\omega$. Unlike the classical case, the lack of a precise description of $\mathcal{T}(A^p_\omega)$ for a general radial weight, induces us to prove the radicality property for $A^p_\omega$ from precise norm-operator results for compositions of analytic paraproducts.


title: What Do Language Models Hear? Probing for Auditory Representations in Language Models

abstract: This work explores whether language models encode meaningfully grounded representations of sounds of objects. We learn a linear probe that retrieves the correct text representation of an object given a snippet of audio related to that object, where the sound representation is given by a pretrained audio model. This probe is trained via a contrastive loss that pushes the language representations and sound representations of an object to be close to one another. After training, the probe is tested on its ability to generalize to objects that were not seen during training. Across different language models and audio models, we find that the probe generalization is above chance in many cases, indicating that despite being trained only on raw text, language models encode grounded knowledge of sounds for some objects.


title: Dephasing Enabled Fast Charging of Quantum Batteries

abstract: We propose and analyze a universal method to obtain fast charging of a quantum battery by a driven charger system using controlled, pure dephasing of the charger. While the battery displays coherent underdamped oscillations of energy for weak charger dephasing, the quantum Zeno freezing of the charger energy at high dephasing suppresses the rate of transfer of energy to the battery. Choosing an optimum dephasing rate between the regimes leads to a fast charging of the battery. We illustrate our results with the charger and battery modeled by either two-level systems or harmonic oscillators. Apart from the fast charging, the dephasing also renders the charging performance more robust to detuning between the charger, drive, and battery frequencies for the two-level systems case.


title: On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems

abstract: Opacity is a general framework modeling security properties of systems interacting with a passive attacker by asserting that a part of the systems behaviour remains secret. In initial-and-final-state opacity (IFO, for short) the secret is whether the system evolved from a given initial state to a given final state or not. Two algorithms for IFO verification are discussed in the literature. One algorithm arises from a trellis-based state estimator, which builds a semigroup of binary relations generated by the events of the automaton, and the other is based on the reduction to language inclusion. The worst-case time complexity of both algorithms is bounded by a super-exponential function. We show that the super-exponential time complexity is tight for both algorithms; however, we leave open whether there is an algorithm with a lower time complexity. Finally, we use extensive benchmarks based on real data to experimentally compare the existing algorithms.


title: Flying-cat parity checks for quantum error correction

abstract: Long range, multi-qubit parity checks have applications in both quantum error correction and measurement-based entanglement generation. Such parity checks could be performed using qubit-state-dependent phase shifts on propagating pulses of light described by coherent states $\vert\alpha\rangle$ of the electromagnetic field. We consider "flying-cat" parity checks based on an entangling operation that is quantum non-demolition (QND) for Schr\"odinger's cat states $\vert\alpha\rangle\pm \vert-\alpha\rangle$. This operation encodes parity information in the phase of maximally distinguishable coherent states $\vert\pm \alpha\rangle$, which can be read out using a phase-sensitive measurement of the electromagnetic field. In contrast to many implementations, where single-qubit errors and measurement errors can be treated as independent, photon loss during flying-cat parity checks introduces errors on physical qubits at a rate that is anti-correlated with the probability for measurement errors. We analyze this trade-off for three-qubit parity checks, which are a requirement for universal fault-tolerant quantum computing with the subsystem surface code. We further show how a six-qubit entangled "tetrahedron" state can be prepared using these three-qubit parity checks. The tetrahedron state can be used as a resource for controlled quantum teleportation of a two-qubit state, or as a source of shared randomness with potential applications in three-party quantum key distribution. Finally, we provide conditions for performing high-quality flying-cat parity checks in a state-of-the-art circuit QED architecture, accounting for qubit decoherence, internal cavity losses, and finite-duration pulses, in addition to transmission losses.


title: Discovering Abstract Symbolic Relations by Learning Unitary Group Representations

abstract: We investigate a principled approach for symbolic operation completion (SOC), a minimal task for studying symbolic reasoning. While conceptually similar to matrix completion, SOC poses a unique challenge in modeling abstract relationships between discrete symbols. We demonstrate that SOC can be efficiently solved by a minimal model - a bilinear map - with a novel factorized architecture. Inspired by group representation theory, this architecture leverages matrix embeddings of symbols, modeling each symbol as an operator that dynamically influences others. Our model achieves perfect test accuracy on SOC with comparable or superior sample efficiency to Transformer baselines across most datasets, while boasting significantly faster learning speeds (100-1000$\times$). Crucially, the model exhibits an implicit bias towards learning general group structures, precisely discovering the unitary representations of underlying groups. This remarkable property not only confers interpretability but also significant implications for automatic symmetry discovery in geometric deep learning. Overall, our work establishes group theory as a powerful guiding principle for discovering abstract algebraic structures in deep learning, and showcases matrix representations as a compelling alternative to traditional vector embeddings for modeling symbolic relationships.


title: Monitoring Fidelity of Online Reinforcement Learning Algorithms in Clinical Trials

abstract: Online reinforcement learning (RL) algorithms offer great potential for personalizing treatment for participants in clinical trials. However, deploying an online, autonomous algorithm in the high-stakes healthcare setting makes quality control and data quality especially difficult to achieve. This paper proposes algorithm fidelity as a critical requirement for deploying online RL algorithms in clinical trials. It emphasizes the responsibility of the algorithm to (1) safeguard participants and (2) preserve the scientific utility of the data for post-trial analyses. We also present a framework for pre-deployment planning and real-time monitoring to help algorithm developers and clinical researchers ensure algorithm fidelity. To illustrate our framework's practical application, we present real-world examples from the Oralytics clinical trial. Since Spring 2023, this trial successfully deployed an autonomous, online RL algorithm to personalize behavioral interventions for participants at risk for dental disease.


title: The Interstellar Medium in Dwarf Irregular Galaxies

abstract: Dwarf irregulars (dIrrs) are among the most common type of galaxy in the Universe. They typically have gas-rich, low surface-brightness, metal-poor, and relatively-thick disks. Here we summarize the current state of our knowledge of the interstellar medium (ISM), including atomic, molecular and ionized gas, along with their dust properties and metals. We also discuss star formation feedback, gas accretion, and mergers with other dwarfs that connect the ISM to the circumgalactic and intergalactic media. We highlight one of the most persistent mysteries: the nature of pervasive gas that is yet undetected as either molecular or cold hydrogen, the ``dark gas''. Here are a few highlights: 1. Significant quantities of HI are in far-outer gas disks. 2. Cold HI in dIrrs would be molecular in the Milky Way, making the chemical properties of star-forming clouds significantly different. 3. Stellar feedback has a much larger impact in dIrrs than in spiral galaxies. 4. The escape fraction of ionizing photons is significant, making dIrrs a plausible source for reionization in the early Universe. 5. Observations suggest a significantly higher abundance of hydrogen (H$_2$ or cold HI) associated with CO in star-forming regions than that traced by the CO alone.


title: A visualization tool to explore alphabet orderings for the Burrows-Wheeler Transform

abstract: The Burrows-Wheeler Transform (BWT) is an efficient invertible text transformation algorithm with the properties of tending to group identical characters together in a run, and enabling search of the text. This transformation has extensive uses particularly in lossless compression algorithms, indexing, and within bioinformatics for sequence alignment tasks. There has been recent interest in minimizing the number of identical character runs ($r$) for a transform and in finding useful alphabet orderings for the sorting step of the matrix associated with the BWT construction. This motivates the inspection of many transforms while developing algorithms. However, the full Burrows-Wheeler matrix is $O(n^2)$ space and therefore very difficult to display and inspect for large input sizes. In this paper we present a graphical user interface (GUI) for working with BWTs, which includes features for searching for matrix row prefixes, skipping over sections in the right-most column (the transform), and displaying BWTs while exploring alphabet orderings with the goal of minimizing the number of runs.


title: Up around the bend: a multi-wavelength view of the quasar 3C 345

abstract: The flat-spectrum radio quasar 3C 345 has been showing gamma-ray activity since the mid-2000s along with activity across the electromagnetic spectrum. A gamma-ray burst in 2009 was successfully linked to relativistic outflow in 43 GHz VLBI observations and has since been analyzed also using single dish measurements. A multi-wavelength follow-up VLBI observation to the 2009 flare in conjunction with 43 GHz catalogue data from the VLBA-BU-BLAZAR and BEAM-ME programs are analyzed in this study in the context of the long-term evolution of the source. We aim to probe the innermost few milli-arcseconds of the ultracompact 3C 345 jet. In the process, we analyze the long-term kinematics of the inner jet and discuss the magnetic field morphology at different scales, as well as the origin of the gamma-ray emission. New observations at 23, 43, and 86 GHz took place on ten epochs between 2017 and 2019. We calibrate the 30 data sets using the rPicard pipeline, image them in Difmap and carry out polarization calibration using the GPCAL pipeline. We complement our VLBI data with ancillay VLBI maps at multiple frequencies, as well as 43 GHz observations carried out in the framework of the BEAM-ME and VLBA-BU-BLAZAR monitoring programs. We find multiple distinct component paths in the inner jet, forming a helical geometry. The helix is anchored at a stationary feature some 0.16 mas from the 43 GHz VLBI core and has a timescale of about 8 years. The characteristic bends in the jet morphology are caused by variations in the component ejection angle. We confirm the result of previous studies that the gamma-ray emission is produced (or caused) by relativistic outflow and violent interactions within the jet.


title: Cost of quantum secret key

abstract: In this paper, we develop the resource theory of quantum secret key. Operating under the assumption that entangled states with zero distillable key do not exist, we define the key cost of a quantum state, and device. We study its properties through the lens of a quantity that we call the key of formation. The main result of our paper is that the regularized key of formation is an upper bound on the key cost of a quantum state. The core protocol underlying this result is privacy dilution, which converts states containing ideal privacy into ones with diluted privacy. Next, we show that the key cost is bounded from below by the regularized relative entropy of entanglement, which implies the irreversibility of the privacy creation-distillation process for a specific class of states. We further focus on mixed-state analogues of pure quantum states in the domain of privacy, and we prove that a number of entanglement measures are equal to each other for these states, similar to the case of pure entangled states. The privacy cost and distillable key in the single-shot regime exhibit a yield-cost relation, and basic consequences for quantum devices are also provided.


title: Benchmarking LLMs on the Semantic Overlap Summarization Task

abstract: Semantic Overlap Summarization (SOS) is a constrained multi-document summarization task, where the constraint is to capture the common/overlapping information between two alternative narratives. While recent advancements in Large Language Models (LLMs) have achieved superior performance in numerous summarization tasks, a benchmarking study of the SOS task using LLMs is yet to be performed. As LLMs' responses are sensitive to slight variations in prompt design, a major challenge in conducting such a benchmarking study is to systematically explore a variety of prompts before drawing a reliable conclusion. Fortunately, very recently, the TELeR taxonomy has been proposed which can be used to design and explore various prompts for LLMs. Using this TELeR taxonomy and 15 popular LLMs, this paper comprehensively evaluates LLMs on the SOS Task, assessing their ability to summarize overlapping information from multiple alternative narratives. For evaluation, we report well-established metrics like ROUGE, BERTscore, and SEM-F1$ on two different datasets of alternative narratives. We conclude the paper by analyzing the strengths and limitations of various LLMs in terms of their capabilities in capturing overlapping information The code and datasets used to conduct this study are available at https://anonymous.4open.science/r/llm_eval-E16D.


title: On particle systems and critical strengths of general singular interactions

abstract: For finite interacting particle systems with strong repulsing-attracting or general interactions, we prove global weak well-posedness almost up to the critical threshold of the strengths of attracting interactions (independent of the number of particles), and establish other regularity results, such as a heat kernel bound in the regions where strongly attracting particles are close to each other. Our main analytic instruments are a variant of De Giorgi's method in $L^p$ and an abstract desingularization theorem.


title: Can Large Language Models Recall Reference Location Like Humans?

abstract: When completing knowledge-intensive tasks, humans sometimes need not just an answer but also a corresponding reference passage for auxiliary reading. Previous methods required obtaining pre-segmented article chunks through additional retrieval models. This paper explores leveraging the parameterized knowledge stored during the pre-training phase of large language models (LLMs) to independently recall reference passage from any starting position. We propose a two-stage framework that simulates the scenario of humans recalling easily forgotten references. Initially, the LLM is prompted to recall document title identifiers to obtain a coarse-grained document set. Then, based on the acquired coarse-grained document set, it recalls fine-grained passage. In the two-stage recall process, we use constrained decoding to ensure that content outside of the stored documents is not generated. To increase speed, we only recall a short prefix in the second stage, then locate its position to retrieve a complete passage. Experiments on KILT knowledge-sensitive tasks have verified that LLMs can independently recall reference passage location in various task forms, and the obtained reference significantly assist downstream tasks.


title: DiffuCOMET: Contextual Commonsense Knowledge Diffusion

abstract: Inferring contextually-relevant and diverse commonsense to understand narratives remains challenging for knowledge models. In this work, we develop a series of knowledge models, DiffuCOMET, that leverage diffusion to learn to reconstruct the implicit semantic connections between narrative contexts and relevant commonsense knowledge. Across multiple diffusion steps, our method progressively refines a representation of commonsense facts that is anchored to a narrative, producing contextually-relevant and diverse commonsense inferences for an input context. To evaluate DiffuCOMET, we introduce new metrics for commonsense inference that more closely measure knowledge diversity and contextual relevance. Our results on two different benchmarks, ComFact and WebNLG+, show that knowledge generated by DiffuCOMET achieves a better trade-off between commonsense diversity, contextual relevance and alignment to known gold references, compared to baseline knowledge models.


title: Pandora's White-Box: Precise Training Data Detection and Extraction in Large Language Models

abstract: In this paper we develop state-of-the-art privacy attacks against Large Language Models (LLMs), where an adversary with some access to the model tries to learn something about the underlying training data. Our headline results are new membership inference attacks (MIAs) against pretrained LLMs that perform hundreds of times better than baseline attacks, and a pipeline showing that over 50% (!) of the fine-tuning dataset can be extracted from a fine-tuned LLM in natural settings. We consider varying degrees of access to the underlying model, pretraining and fine-tuning data, and both MIAs and training data extraction. For pretraining data, we propose two new MIAs: a supervised neural network classifier that predicts training data membership on the basis of (dimensionality-reduced) model gradients, as well as a variant of this attack that only requires logit access to the model by leveraging recent model-stealing work on LLMs. To our knowledge this is the first MIA that explicitly incorporates model-stealing information. Both attacks outperform existing black-box baselines, and our supervised attack closes the gap between MIA attack success against LLMs and the strongest known attacks for other machine learning models. In fine-tuning, we find that a simple attack based on the ratio of the loss between the base and fine-tuned models is able to achieve near-perfect MIA performance; we then leverage our MIA to extract a large fraction of the fine-tuning dataset from fine-tuned Pythia and Llama models. Our code is available at github.com/safr-ai-lab/pandora-llm.


title: Towards Explainability and Fairness in Swiss Judgement Prediction: Benchmarking on a Multilingual Dataset

abstract: The assessment of explainability in Legal Judgement Prediction (LJP) systems is of paramount importance in building trustworthy and transparent systems, particularly considering the reliance of these systems on factors that may lack legal relevance or involve sensitive attributes. This study delves into the realm of explainability and fairness in LJP models, utilizing Swiss Judgement Prediction (SJP), the only available multilingual LJP dataset. We curate a comprehensive collection of rationales that `support' and `oppose' judgement from legal experts for 108 cases in German, French, and Italian. By employing an occlusion-based explainability approach, we evaluate the explainability performance of state-of-the-art monolingual and multilingual BERT-based LJP models, as well as models developed with techniques such as data augmentation and cross-lingual transfer, which demonstrated prediction performance improvement. Notably, our findings reveal that improved prediction performance does not necessarily correspond to enhanced explainability performance, underscoring the significance of evaluating models from an explainability perspective. Additionally, we introduce a novel evaluation framework, Lower Court Insertion (LCI), which allows us to quantify the influence of lower court information on model predictions, exposing current models' biases.


title: Z-AGI Labs at ClimateActivism 2024: Stance and Hate Event Detection on Social Media

abstract: In the digital realm, rich data serves as a crucial source of insights into the complexities of social, political, and economic landscapes. Addressing the growing need for high-quality information on events and the imperative to combat hate speech, this research led to the establishment of the Shared Task on Climate Activism Stance and Hate Event Detection at CASE 2024. Focused on climate activists contending with hate speech on social media, our study contributes to hate speech identification from tweets. Analyzing three sub-tasks - Hate Speech Detection (Sub-task A), Targets of Hate Speech Identification (Sub-task B), and Stance Detection (Sub-task C) - Team Z-AGI Labs evaluated various models, including LSTM, Xgboost, and LGBM based on Tf-Idf. Results unveiled intriguing variations, with Catboost excelling in Subtask-B (F1: 0.5604) and Subtask-C (F1: 0.7081), while LGBM emerged as the top-performing model for Subtask-A (F1: 0.8684). This research provides valuable insights into the suitability of classical machine learning models for climate hate speech and stance detection, aiding informed model selection for robust mechanisms.


title: Tree-Verifiable Graph Grammars

abstract: Hyperedge-Replacement grammars (HR) have been introduced by Courcelle in order to extend the notion of context-free sets from words and trees to graphs of bounded tree-width. While for words and trees the syntactic restrictions that guarantee that the associated languages of words resp. trees are regular - and hence, MSO-definable - are known, the situation is far more complicated for graphs. Here, Courcelle proposed the notion of regular graph grammars, a syntactic restriction of HR grammars that guarantees the definability of the associated languages of graphs in Counting Monadic Second Order Logic (CMSO). However, these grammars are not complete in the sense that not every CMSO-definable set of graphs of bounded tree-width can be generated by a regular graph grammar. In this paper, we introduce a new syntactic restriction of HR grammars, called tree-verifiable graph grammars, and a new notion of bounded tree-width, called embeddable bounded tree-width, where the later restricts the trees of a tree-decomposition to be a subgraph of the analyzed graph. The main property of tree-verifiable graph grammars is that their associated languages are CMSO-definable and that the have bounded embeddable tree-width. We show further that they strictly generalize the regular graph grammars of Courcelle. Finally, we establish a completeness result, showing that every language of graphs that is CMSO-definable and of bounded embeddable tree-width can be generated by a tree-verifiable graph grammar.


title: Multi-Task Contrastive Learning for 8192-Token Bilingual Text Embeddings

abstract: We introduce a novel suite of state-of-the-art bilingual text embedding models that are designed to support English and another target language. These models are capable of processing lengthy text inputs with up to 8192 tokens, making them highly versatile for a range of natural language processing tasks such as text retrieval, clustering, and semantic textual similarity (STS) calculations. By focusing on bilingual models and introducing a unique multi-task learning objective, we have significantly improved the model performance on STS tasks, which outperforms the capabilities of existing multilingual models in both target language understanding and cross-lingual evaluation tasks. Moreover, our bilingual models are more efficient, requiring fewer parameters and less memory due to their smaller vocabulary needs. Furthermore, we have expanded the Massive Text Embedding Benchmark (MTEB) to include benchmarks for German and Spanish embedding models. This integration aims to stimulate further research and advancement in text embedding technologies for these languages.


title: Reprogrammable and reconfigurable mechanical computing metastructures with stable and high-density memory

abstract: Previous mechanical meta-structures used for mechanical memory storage, computing and information processing are severely constrained by low information density and/or non-robust structural stiffness to stably protect the maintained information. To address these challenges, we proposed a novel reprogrammable multifunctional mechanical metastructure made by an unprecedented building block based on kinematic mechanism. The proposed meta-structure can achieve all abovementioned functionalities accompanying with high information density and promising structural stability. We attribute all these merits to the intrinsic kinematic bifurcations of structural units, which enable the periodic meta-structure with additional and independently deformable bi-stable structural segments, and multi-layered deformed configurations to significantly enlarge the available information bits. We validate the stable information storage are originated from the compatible deformations of local structural segments before and after bifurcations. We illustrated the stored information can be feasibly reprogrammed by magnetic poles. Our design strategy paves new way for creating novel functional mechanical metastuctures.


title: A Curious Case of Remarkable Resilience to Gradient Attacks via Fully Convolutional and Differentiable Front End with a Skip Connection

abstract: We tested front-end enhanced neural models where a frozen classifier was prepended by a differentiable and fully convolutional model with a skip connection. By training them using a small learning rate for about one epoch, we obtained models that retained the accuracy of the backbone classifier while being unusually resistant to gradient attacks including APGD and FAB-T attacks from the AutoAttack package, which we attributed to gradient masking. The gradient masking phenomenon is not new, but the degree of masking was quite remarkable for fully differentiable models that did not have gradient-shattering components such as JPEG compression or components that are expected to cause diminishing gradients. Though black box attacks can be partially effective against gradient masking, they are easily defeated by combining models into randomized ensembles. We estimate that such ensembles achieve near-SOTA AutoAttack accuracy on CIFAR10, CIFAR100, and ImageNet despite having virtually zero accuracy under adaptive attacks. Adversarial training of the backbone classifier can further increase resistance of the front-end enhanced model to gradient attacks. On CIFAR10, the respective randomized ensemble achieved 90.8$\pm 2.5$% (99% CI) accuracy under AutoAttack while having only 18.2$\pm 3.6$% accuracy under the adaptive attack. We do not establish SOTA in adversarial robustness. Instead, we make methodological contributions and further supports the thesis that adaptive attacks designed with the complete knowledge of model architecture are crucial in demonstrating model robustness and that even the so-called white-box gradient attacks can have limited applicability. Although gradient attacks can be complemented with black-box attack such as the SQUARE attack or the zero-order PGD, black-box attacks can be weak against randomized ensembles, e.g., when ensemble models mask gradients.


title: Leveraging Large Language Models for Learning Complex Legal Concepts through Storytelling

abstract: Making legal knowledge accessible to non-experts is crucial for enhancing general legal literacy and encouraging civic participation in democracy. However, legal documents are often challenging to understand for people without legal backgrounds. In this paper, we present a novel application of large language models (LLMs) in legal education to help non-experts learn intricate legal concepts through storytelling, an effective pedagogical tool in conveying complex and abstract concepts. We also introduce a new dataset LegalStories, which consists of 294 complex legal doctrines, each accompanied by a story and a set of multiple-choice questions generated by LLMs. To construct the dataset, we experiment with various LLMs to generate legal stories explaining these concepts. Furthermore, we use an expert-in-the-loop approach to iteratively design multiple-choice questions. Then, we evaluate the effectiveness of storytelling with LLMs through randomized controlled trials (RCTs) with legal novices on 10 samples from the dataset. We find that LLM-generated stories enhance comprehension of legal concepts and interest in law among non-native speakers compared to only definitions. Moreover, stories consistently help participants relate legal concepts to their lives. Finally, we find that learning with stories shows a higher retention rate for non-native speakers in the follow-up assessment. Our work has strong implications for using LLMs in promoting teaching and learning in the legal field and beyond.


title: Deep Learning Algorithms Used in Intrusion Detection Systems -- A Review

abstract: The increase in network attacks has necessitated the development of robust and efficient intrusion detection systems (IDS) capable of identifying malicious activities in real-time. In the last five years, deep learning algorithms have emerged as powerful tools in this domain, offering enhanced detection capabilities compared to traditional methods. This review paper studies recent advancements in the application of deep learning techniques, including Convolutional Neural Networks (CNN), Recurrent Neural Networks (RNN), Deep Belief Networks (DBN), Deep Neural Networks (DNN), Long Short-Term Memory (LSTM), autoencoders (AE), Multi-Layer Perceptrons (MLP), Self-Normalizing Networks (SNN) and hybrid models, within network intrusion detection systems. we delve into the unique architectures, training models, and classification methodologies tailored for network traffic analysis and anomaly detection. Furthermore, we analyze the strengths and limitations of each deep learning approach in terms of detection accuracy, computational efficiency, scalability, and adaptability to evolving threats. Additionally, this paper highlights prominent datasets and benchmarking frameworks commonly utilized for evaluating the performance of deep learning-based IDS. This review will provide researchers and industry practitioners with valuable insights into the state-of-the-art deep learning algorithms for enhancing the security framework of network environments through intrusion detection.


title: Convergence of the open WASEP stationary measure without Liggett's condition

abstract: We demonstrate that it is not necessary to assume Liggett's condition in order to obtain convergence of the open ASEP stationary measures to the open KPZ stationary measure. This is equivalent to demonstrating that, under weak asymmetry scaling and appropriate scaling of time and space, the four-parameter Askey-Wilson process converges to a two-parameter continuous dual Hahn process. We conjecture that the convergence of the open ASEP height function process to solutions to the open KPZ equation will hold for a wider range of ASEP parameters than those permitted by Liggett's condition.


title: Giant quantum oscillations in thermal transport in low-density metals via electron absorption of phonons

abstract: Oscillations of conductance observed in strong magnetic fields are a striking manifestation of the quantum dynamics of charge carriers in solids. The large charge carrier density in typical metals sets the scale of oscillations in both electrical and thermal conductivity, which characterize the Fermi surface. In semimetals, thermal transport at low-charge carrier density is expected to be phonon dominated, yet several experiments observe giant quantum oscillations in thermal transport. This raises the question of whether there is an overarching mechanism leading to sizable oscillations that survives in phonon-dominated semimetals. In this work, we show that such a mechanism exists. It relies on the peculiar phase-space allowed for phonon scattering by electrons when only a few Landau levels are filled. Our measurements on the Dirac semimetal ZrTe5 support this counter-intuitive mechanism through observation of pronounced thermal quantum oscillations, since they occur in similar magnitude and phase in directions parallel and transverse to the magnetic field. Our phase-space argument applies to all low-density semimetals, topological or not, including graphene and bismuth. Our work illustrates that phonon absorption can be leveraged to reveal degrees of freedom through their imprint on longitudinal thermal transport.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: Integrating the full four-loop negative geometries and all-loop ladder-type negative geometries in ABJM theory

abstract: The decomposition of the four-point ABJM amplituhedron into negative geometries produces a compact integrand of logarithmic of amplitudes such that the infrared divergence only comes from the last loop integral, from which we can compute the cusp anomalous dimension of the ABJM theory. In this note, we integrate $L-1$ loop momenta of the $L$-loop negative geometries for all four-loop negative geometries and a special class of all-loop ladder-type negative geometries by a method based on Mellin transformation, and from these finite quantities we extract the corresponding contribution to the cusp anomalous dimension. We find that the infrared divergence of a box-type negative geometry at $L=4$ is weaker than other negative geometries, then only tree-type negative geometries contribute to the cusp anomalous dimension at $L=4$. For the all-loop ladder-type negative geometries, we prove and conjecture some recursive structures as integral equations in Mellin space and find that they cannot contribute zeta values like $\zeta_3,\zeta_5$ to the cusp anomalous dimension.


title: Quantum gravity with dynamical wave-function collapse via a classical scalar field

abstract: In hybrid classical-quantum theories, the dynamics of the classical system induce the classicality of the quantum system, meaning that such models do not necessarily require a measurement postulate to describe probabilistic measurement outcomes. It has recently been shown that covariant classical-quantum dynamics can be constructed using path integral methods, with the dynamics encoded in a combined action for the classical and quantum variables. This work introduces a classical-quantum model whereby quantum gravity interacts with a classical scalar field. The scalar field can be viewed as fundamentally classical or effectively classical due to the decoherence of a quantum gravity theory. The dynamics act to collapse quantum spacetimes according to their Ricci scalar, with corresponding diffusion in the scalar field due to the quantum back-reaction. In the classical limit, the diffusion in the scalar field manifests itself via stochastic fluctuations in the Newtonian potential. Because we couple a classical scalar field to perturbative quantum gravity, we find the theory is not renormalizable but is instead to be viewed as an effective field theory. However, it is an effective field theory that does not necessarily require a measurement postulate. More generally, our work shows it is possible to integrate collapse dynamics with high-energy physics and covariance.


title: $K_S^0$ meson production in inelastic p+p interactions at 31, 40 and 80 GeV/c beam momentum measured by NA61/SHINE at the CERN SPS

abstract: Measurements of $K_S^0$ meson production via its $\pi^{+} \pi^{-}$ decay mode in inelastic $\textit{p+p}$ interactions at incident projectile momenta of 31, 40 and 80 GeV/$c$ ($\sqrt{s_{NN}}=7.7, 8.8$ and $12.3$ GeV, respectively) are presented. The data were recorded by the NA61/SHINE spectrometer at the CERN Super Proton Synchrotron. Double-differential distributions were obtained in transverse momentum and rapidity. The mean multiplicities of $K_S^0$ mesons were determined to be $(5.95 \pm 0.19 (stat) \pm 0.22 (sys)) \times 10^{-2}$ at 31 GeV/$c$, $(7.61 \pm 0.13 (stat) \pm 0.31 (sys)) \times 10^{-2}$ at 40 GeV/$c$ and $(11.58 \pm 0.12 (stat) \pm 0.37 (sys)) \times 10^{-2}$ at 80 GeV/$c$. The results on $K^{0}_{S}$ production are compared with model calculations (Epos1.99, SMASH 2.0 and PHSD) as well as with published data from other experiments.


title: Aspects of the Einstein-Maxwell-Weyl coupling

abstract: Interesting phenomena and problems arising from the coupling of large-scale electromagnetic fields and spacetime curvature, are introduced and studied within this thesis. From electromagnetic wave propagation in curved spacetime to envisaging a gravito-electromagnetic equivalence on large scales; from magnetic fields' cosmic evolution, and magnetised gravitational collapse in astrophysical environments, to the interaction between electromagnetic and gravitational radiation; the present research work explores some unique characteristics and properties of the gravito-electromagnetic coexistence. Its theoretical framework is generally provided by classical (Maxwellian) electrodynamics in the (4-dimensional) Riemannian spacetime of General Relativity. Chapter 1, dealing with the perspective of a gravito-electromagnetic equivalence in a metric affine geometry (involving torsion and non-metricity), forms an exception to the aforementioned general framework. Regarding its structure, the manuscript consists of four chapters divided in two parts. The first two chapters (forming Part I) are concerned with the Maxwell field in curved, Riemannian (Chapter 2) and (generalised) metric affine (Chapter 2), spacetime framework. Aspects of the Weyl-Maxwell coupling (where the Weyl field refers to long-range curvature) are also included in Chapter 2. The last two chapters (forming Part II) treat magnetohydrodynamics in the general relativistic framework.


title: Rooted mutation groups and finite type cluster algebras

abstract: For a fixed seed $(X, Q)$, a \emph{rooted mutation loop} is a sequence of mutations that preserves $(X, Q)$. The group generated by all rooted mutation loops is called \emph{rooted mutation group} and will be denoted by $\mathcal{M}(Q)$. Let $\mathcal{M}$ be the global mutation group. In this article, we show that two finite type cluster algebras $\mathcal{A}(Q)$ and $\mathcal{A}(Q')$ are isomorphic if and only if their rooted mutation groups are isomorphic and the sets $\mathcal{M}/\mathcal{M}(Q)$ and $\mathcal{M'}/\mathcal{M}(Q')$ are in one to one correspondence. The second main result is we show that the group $\mathcal{M}(Q)$ and the set $\mathcal{M}/\mathcal{M}(Q)$, determine the finiteness of the cluster algebra $\mathcal{A}(Q)$ and vise versa.


title: Separation of biocrude produced from hydrothermal liquefaction of faecal sludge without any solvent

abstract: In this study faecal sludge is used as raw biomass due to its abundance, low cost, and easy availability. After HTL operation, product separation is getting challenging. Current developed studies observed the separation of aqueous and biocrude oil products occurs during the HTL process more popularly with the use of an organic solvent which is quite expensive. Focusing on this critical issue, this study aims to separate the biocrude and aqueous phase without using any solvent by gravity separation technique. From FTIR analysis data it showed that centrifuged at 6000 rpm partial separation of biocrude and aqueous phase (AP) was noticed. however, at 9000 rpm, FTIR analysis showed that biocrude samples included aliphatic hydrocarbons, phenols, and esters where no signs of any carbon chain were found at AP which indicated the products are successfully separated. The separated Crude portion had the higher A-Factor (0.68) and lower C-Factor (0.58) value which indicates the oil quality was immature grade of lower kerogen type II (i.e., moderate oil-prone). This low-cost technique can be economically advantageous for commercial-scale biocrude production.