title: Reviving Meltdown 3a

abstract: Since the initial discovery of Meltdown and Spectre in 2017, different variants of these attacks have been discovered. One often overlooked variant is Meltdown 3a, also known as Meltdown-CPL-REG. Even though Meltdown-CPL-REG was initially discovered in 2018, the available information regarding the vulnerability is still sparse. In this paper, we analyze Meltdown-CPL-REG on 19 different CPUs from different vendors using an automated tool. We observe that the impact is more diverse than documented and differs from CPU to CPU. Surprisingly, while the newest Intel CPUs do not seem affected by Meltdown-CPL-REG, the newest available AMD CPUs (Zen3+) are still affected by the vulnerability. Furthermore, given our attack primitive CounterLeak, we show that besides up-to-date patches, Meltdown-CPL-REG can still be exploited as we reenable performance-counter-based attacks on cryptographic algorithms, break KASLR, and mount Spectre attacks. Although Meltdown-CPL-REG is not as powerful as other transient-execution attacks, its attack surface should not be underestimated.


title: Quantum Features of the Cosmological Horizon

abstract: This thesis explores the thermodynamics of the cosmological horizon, aiming to make progress towards a better understanding of the microscopic nature of its entropy. We utilise the constrained nature of low-dimensional gravity to do so and investigate timelike boundaries in these theories, with an emphasis on the stretched horizon holographic picture. Given the success of AdS/CFT, one might try to embed de Sitter inside anti-de Sitter and describe the expanding region from the boundary. In two dimensions, such geometries exist and, by studying them in the presence of a timelike boundary, we find thermally stable solutions. We thus propose a dual matrix model that should describe this geometry, including the expanding region. One way to test this duality would be to compare bulk and boundary correlators. However, for de Sitter this poses a puzzle: in the saddle point approximation two-point functions are given by a sum over geodesics. Such correlation functions exist for any two arbitrary points in de Sitter, but geodesics do not. This is resolved by including complex saddles that appear upon Wick rotating from the sphere. Additionally, one can use the relationship between three-dimensional gravity and Chern-Simons theory to explore thermodynamic contributions to the de Sitter horizon. The Euclidean gravitational path integral provides the exact, all-loop quantum corrected de Sitter entropy. To understand the microscopic origin of this entropy, one hopes to find an analogous Lorentzian calculation that produces this result. This takes the form of an edge-mode theory living close to the cosmological horizon with a complexified gauge group, leading to an unbounded spectrum. To make progress, we study a comparable Abelian theory that leads to an entropy with an entanglement character. Finally, we summarise some new results on edge-mode theories arising from general boundary conditions.


title: Enhancing the Authenticity of Rendered Portraits with Identity-Consistent Transfer Learning

abstract: Despite rapid advances in computer graphics, creating high-quality photo-realistic virtual portraits is prohibitively expensive. Furthermore, the well-know ''uncanny valley'' effect in rendered portraits has a significant impact on the user experience, especially when the depiction closely resembles a human likeness, where any minor artifacts can evoke feelings of eeriness and repulsiveness. In this paper, we present a novel photo-realistic portrait generation framework that can effectively mitigate the ''uncanny valley'' effect and improve the overall authenticity of rendered portraits. Our key idea is to employ transfer learning to learn an identity-consistent mapping from the latent space of rendered portraits to that of real portraits. During the inference stage, the input portrait of an avatar can be directly transferred to a realistic portrait by changing its appearance style while maintaining the facial identity. To this end, we collect a new dataset, Daz-Rendered-Faces-HQ (DRFHQ), that is specifically designed for rendering-style portraits. We leverage this dataset to fine-tune the StyleGAN2 generator, using our carefully crafted framework, which helps to preserve the geometric and color features relevant to facial identity. We evaluate our framework using portraits with diverse gender, age, and race variations. Qualitative and quantitative evaluations and ablation studies show the advantages of our method compared to state-of-the-art approaches.


title: Nonzero Spatial Curvature in Symmetric Teleparallel Cosmology

abstract: We consider the symmetric teleparallel $f\left( Q\right) $-gravity in Friedmann--Lema\^{\i}tre--Robertson--Walker cosmology with nonzero spatial curvature. For a nonlinear $f\left( Q\right) $ model there exist always the limit of General\ Relativity with or without the cosmological constant term. The de Sitter solution is always provided by the theory and for the specific models $f_{A}\left( Q\right) \simeq Q^{\frac{\alpha}{\alpha-1}}% ~,~f_{B}\left( Q\right) \simeq Q+f_{1}Q^{\frac{\alpha}{\alpha-1}}$ and $f_{C}\left( Q\right) \simeq Q+f_{1}Q\ln Q$ it was found to be the unique attractor. Consequently small deviations from STGR can solve the flatness problem and lead to a de Sitter expansion without introduce a cosmological constant term. This result is different from that given by the power-law theories for the other two scalar of the trinity of General Relativity. What makes the nonlinear symmetric teleparallel theory to stand out are the new degree of freedom provided by the connection defined in the non-coincidence frame which describes the nonzero spatial curvature.


title: mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

abstract: MLIR is an emerging compiler infrastructure for modern hardware, but existing programs cannot take advantage of MLIR's high-performance compilation if they are described in lower-level general purpose languages. Consequently, to avoid programs needing to be rewritten manually, this has led to efforts to automatically raise lower-level to higher-level dialects in MLIR. However, current methods rely on manually-defined raising rules, which limit their applicability and make them challenging to maintain as MLIR dialects evolve. We present mlirSynth -- a novel approach which translates programs from lower-level MLIR dialects to high-level ones without manually defined rules. Instead, it uses available dialect definitions to construct a program space and searches it effectively using type constraints and equivalences. We demonstrate its effectiveness \revi{by raising C programs} to two distinct high-level MLIR dialects, which enables us to use existing high-level dialect specific compilation flows. On Polybench, we show a greater coverage than previous approaches, resulting in geomean speedups of 2.5x (Intel) and 3.4x (AMD) over state-of-the-art compilation flows for the C programming language. mlirSynth also enables retargetability to domain-specific accelerators, resulting in a geomean speedup of 21.6x on a TPU.


title: Threat Trekker: An Approach to Cyber Threat Hunting

abstract: Threat hunting is a proactive methodology for exploring, detecting and mitigating cyberattacks within complex environments. As opposed to conventional detection systems, threat hunting strategies assume adversaries have infiltrated the system; as a result they proactively search out any unusual patterns or activities which might indicate intrusion attempts. Historically, this endeavour has been pursued using three investigation methodologies: (1) Hypothesis-Driven Investigations; (2) Indicator of Compromise (IOC); and (3) High-level machine learning analysis-based approaches. Therefore, this paper introduces a novel machine learning paradigm known as Threat Trekker. This proposal utilizes connectors to feed data directly into an event streaming channel for processing by the algorithm and provide feedback back into its host network. Conclusions drawn from these experiments clearly establish the efficacy of employing machine learning for classifying more subtle attacks.


title: Critical assessment of $G_0W_0$ calculations for 2D materials: the example of monolayer MoS$_2$

abstract: Two-dimensional (2D) materials combine many fascinating properties that make them more interesting than their three-dimensional counterparts for a variety of applications. For example, 2D materials exhibit stronger electron-phonon and electron-hole interactions, and their energy gaps and effective carrier masses can be easily tuned. Surprisingly, published band gaps of several 2D materials obtained with the $GW$ approach, the state-of-the-art in electronic-structure calculations, are quite scattered. The details of these calculations, such as the underlying geometry, the starting point, the inclusion of spin-orbit coupling, and the treatment of the Coulomb potential can critically determine how accurate the results are. Taking monolayer MoS$_2$ as a representative material, we employ the linearized augmented planewave + local orbital method to systematically investigate how all these aspects affect the quality of $G_0W_0$ calculations, and also provide a summary of literature data. We conclude that the best overall agreement with experiments and coupled-cluster calculations is found for $G_0W_0$ results with HSE06 as a starting point including spin-orbit coupling, a truncated Coulomb potential, and an analytical treatment of the singularity at $q=0$.


title: Loading atoms from a large magnetic trap to a small intra-cavity dipole trap

abstract: We show that an optimized loading of a cold ensemble of rubidium-87 atoms from a magnetic trap into an optical dipole trap sustained by a single, far-red-detuned mode of a high-Q optical cavity can be efficient despite the large volume mismatch of the traps. The magnetically trapped atoms are magnetically transported to the vicinity of the cavity mode and released from the magnetic trap in a controlled way meanwhile undergoing an evaporation period. Large number of atoms get trapped in the dipole potential for several hundreds of milliseconds. We monitor the number of atoms in the mode volume by a second tone of the cavity close to the atomic resonance. While this probe tone can pump atoms to another ground state uncoupled to the probe, we demonstrate state-independent trapping by applying a repumper laser.


title: Observation of collapse and revival in a superconducting atomic frequency comb

abstract: Recent advancements in superconducting circuits have enabled the experimental study of collective behavior of precisely controlled intermediate-scale ensembles of qubits. In this work, we demonstrate an atomic frequency comb formed by individual artificial atoms strongly coupled to a single resonator mode. We observe periodic microwave pulses that originate from a single coherent excitation dynamically interacting with the multi-qubit ensemble. We show that this revival dynamics emerges as a consequence of the constructive and periodic rephasing of the five superconducting qubits forming the vacuum Rabi split comb. In the future, similar devices could be used as a memory with in-situ tunable storage time or as an on-chip periodic pulse generator with non-classical photon statistics.


title: Effect of extended defects on AlGaN QDs for electron-pumped UV-emitters

abstract: We study the origin of bimodal emission in AlGaN/AlN QD superlattices displaying high internal quantum efficiency (around 50%) in the 230-300 nm spectral range. The secondary emission at longer wavelengths is linked to the presence of cone-like defects starting at the first AlN buffer/superlattice interface and propagating vertically. These defects are associated with a dislocation that produces strong shear strain, which favors the formation of 30{\deg} faceted pits. The cone-like structures present Ga enrichment at the boundary facets and larger QDs within the defect. The bimodality is attributed to the differing dot size/composition within the defects and at the defect boundaries, which is confirmed by the correlation of microscopy results and Schr\"odinger-Poisson calculations.


title: Optimal model-based beamforming and independent steering for spherical loudspeaker arrays

abstract: Spherical loudspeaker arrays have been recently studied for directional sound radiation, where the compact arrangement of the loudspeaker units around a sphere facilitated the control of sound radiation in three-dimensional space. Directivity of sound radiation, or beamforming, was achieved by driving each loudspeaker unit independently, where the design of beamforming weights was typically achieved by numerical optimization with reference to a given desired beam pattern. This is in contrast to the methods already developed for microphone arrays in general and spherical microphone arrays in particular, where beamformer weights are designed to satisfy a wider range of objectives, related to directivity, robustness, and side-lobe level, for example. This paper presents the development of a physical-model-based, optimal beamforming framework for spherical loudspeaker arrays, similar to the framework already developed for spherical microphone arrays, facilitating efficient beamforming in the spherical harmonics domain, with independent steering. In particular, it is shown that from a beamforming perspective, the spherical loudspeaker array is similar to the spherical microphone array with microphones arranged around a rigid sphere. Experimental investigation validates the theoretical framework of beamformer design.


title: Real diffusion with complex spectral gap

abstract: The low-lying eigenvalues of the generator of a Langevin process are known to satisfy the Eyring-Kramers law in the low temperature regime under suitable assumptions. These eigenvalues are generically real. We construct generators whose spectral gap is given by non-real eigenvalues or by a real eigenvalue having a Jordan block.


title: Exploring the interstellar medium of NGC 891 at millimeter wavelengths using the NIKA2 camera

abstract: In the framework of the IMEGIN Large Program, we used the NIKA2 camera on the IRAM 30-m telescope to observe the edge-on galaxy NGC 891 at 1.15 mm and 2 mm and at a FWHM of 11.1" and 17.6", respectively. Multiwavelength data enriched with the new NIKA2 observations fitted by the HerBIE SED code (coupled with the THEMIS dust model) were used to constrain the physical properties of the ISM. Emission originating from the diffuse dust disk is detected at all wavelengths from mid-IR to mm, while mid-IR observations reveal warm dust emission from compact HII regions. Indications of mm excess emission have also been found in the outer parts of the galactic disk. Furthermore, our SED fitting analysis constrained the mass fraction of the small (< 15 Angstrom) dust grains. We found that small grains constitute 9.5% of the total dust mass in the galactic plane, but this fraction increases up to ~ 20% at large distances (|z| > 3 kpc) from the galactic plane.


title: Keyword Augmented Retrieval: Novel framework for Information Retrieval integrated with speech interface

abstract: Retrieving answers in a quick and low cost manner without hallucinations from a combination of structured and unstructured data using Language models is a major hurdle. This is what prevents employment of Language models in knowledge retrieval automation. This becomes accentuated when one wants to integrate a speech interface on top of a text based knowledge retrieval system. Besides, for commercial search and chat-bot applications, complete reliance on commercial large language models (LLMs) like GPT 3.5 etc. can be very costly. In the present study, the authors have addressed the aforementioned problem by first developing a keyword based search framework which augments discovery of the context from the document to be provided to the LLM. The keywords in turn are generated by a relatively smaller LLM and cached for comparison with keywords generated by the same smaller LLM against the query raised. This significantly reduces time and cost to find the context within documents. Once the context is set, a larger LLM uses that to provide answers based on a prompt tailored for Q\&A. This research work demonstrates that use of keywords in context identification reduces the overall inference time and cost of information retrieval. Given this reduction in inference time and cost with the keyword augmented retrieval framework, a speech based interface for user input and response readout was integrated. This allowed a seamless interaction with the language model.


title: Real-time dynamics of false vacuum decay

abstract: We investigate false vacuum decay of a relativistic scalar field initialized in the metastable minimum of an asymmetric double-well potential. The transition to the true ground state is a well-defined initial-value problem in real time, which can be formulated in nonequilibrium quantum field theory on a closed time path. We employ the non-perturbative framework of the two-particle irreducible (2PI) quantum effective action at next-to-leading order in a large-N expansion. We also compare to classical-statistical field theory simulations on a lattice in the high-temperature regime. By this, we demonstrate that the real-time decay rates are comparable to those obtained from the conventional Euclidean (bounce) approach. In general, we find that the decay rates are time dependent. For a more comprehensive description of the dynamics, we extract a time-dependent effective potential, which becomes convex during the nonequilibrium transition process. By solving the quantum evolution equations for the one- and two-point correlation functions for vacuum initial conditions, we demonstrate that quantum corrections can lead to transitions that are not captured by classical-statistical approximations.

categories: hep-th astro-ph.CO gr-qc hep-ph quant-ph


title: GAGTA 2023 Problem Session

abstract: The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schr\"odinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hyperbolic groups, Characterizing hyperbolic groups


title: Type-A quasi-periodic oscillation in the black hole transient MAXI J1348-630

abstract: We present a detailed analysis of the spectral and timing characteristics of a 7-Hz type-A quasi-periodic oscillation (QPO) detected in NICER observations of the black hole X-ray binary MAXI J1348-630 during its high-soft state. The QPO is broad and weak, with an integrated fractional rms amplitude of 0.9 per cent in the 0.5-10 keV band. Thanks to the large effective area of NICER, combined with the high flux of the source and a relatively long accumulative exposure time, we construct the first rms and phase-lag spectra for a type-A QPO. Our analysis reveals that the fractional rms amplitude of the QPO increases with energy from below 1 per cent at 1 keV to 3 per cent at 6 keV. The shape of the QPO spectrum is similar to that of the Comptonised component, suggesting that the Comptonised region is driving the variability. The phase lags at the QPO frequency are always soft taking the lowest energy as reference. By jointly fitting the time-averaged spectrum of the source and the rms and phase-lag spectra of the QPO with the time-dependent Comptonisation model vkompthdk, we find that the radiative properties of the type-A QPO can be explained by a vertically extended Comptonised region with a size of 2300 km.


title: LLRF System Considerations for a Compact, Commercial C-band Accelerator using the AMD Xilinx RF-SoC

abstract: This work describes the LLRF and control system in use for a novel accelerator structure developed for a compact design operating in C-band developed by SLAC, with collaboration from RadiaBeam and RadiaSoft. This design is a pulsed RF/pulsed beam system that only provides minimal monitoring for control of each two-cavity pair. Available signals include only a forward and reflected signal for each pair; such a design requires careful consideration of calibration and power-on routines, as well an understanding of how to correct for disturbances caused by the entire RF signal chain, including a new SSA, klystron, and distribution system. An AMD Xilinx RF-SoC with a separate supervisory computer is the LLRF system core, with on-board pulse-to-pulse feedback corrections. This work presents the current status of the project, as well as obstacles and manufacturing plans from the viewpoint of developing for larger-volume manufacturing. This material is based upon work supported by the Defense Advanced Research Projects Agency under Contract Numbers 140D0423C0006 and 140D0423C0007. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.


title: Probing electronic-vibrational dynamics of N2+ induced by strong-field ionization

abstract: The coupled electronic-vibrational dynamics of nitrogen ions induced by strong-field ionization is investigated theoretically to corroborate the recent transient X-ray K-edge absorption experiment [PRL 129, 123002 (2022)], where the population distribution of three electronic states in air lasing of N2+ was determined for the first time. By extending the ionization-coupling model to include the transient absorption, we successfully reproduce the time-resolved X-ray absorption spectra of nitrogen ions observed in the experiment. By identifying the contributions from different electronic states, the study provides different interpretation revealing the significant role of excited state A arising from the strong coupling between vibrational states in strong laser fields. It indicates that the electronic population inversion occurs at least for certain alignment of nitrogen molecules. The theory helps uncovering new features of absorption from forbidden transitions during ionization and confirming that the vibration coherence at each electronic channel induces the modulation of absorbance after strong field ionization. A new scheme is proposed to determine the population transfer at different probing geometry to avoid the spectral overlap. This work offers valuable insights into the intricate interplay between electronic and vibrational dynamics and helps to resolve the debate on nitrogen air lasing.


title: Flip graph and arc complex finite rigidity

abstract: A subcomplex $\mathcal{X}$ of a cell complex $\mathcal{C}$ is called rigid with respect to another cell complex $\mathcal{C}'$ if every injective simplicial map $\lambda:\mathcal{X} \rightarrow \mathcal{C}'$ has a unique extension to an injective simplicial map $\phi:\mathcal{C}\rightarrow \mathcal{C}'$. Given a surface with marked points, its flip graph and arc complex are simplicial complexes indexing the triangulations and the arcs between marked points respectively. We relate two recent results of the second author on the existence of finite rigid subcomplexes in the flip graph and in the arc complex. The second author employed distinct approaches and proof methods to these two complexes. In this paper, we leverage the fact that the flip graph can be embedded in the arc complex as its dual, relating the second author's past rigidity results. Further, this allows us to prove a new variation of arc complex rigidity for surfaces with boundary.


title: Platform and environment requirements of a satellite quantum test of the Weak Equivalence Principle at the $10^{-17}$ level

abstract: The Space Time Explorer and QUantum Equivalence principle Space Test (STE-QUEST) recently proposed, aims at performing a precision test of the weak equivalence principle (WEP), a fundamental cornerstone of General Relativity. Taking advantage of the ideal operation conditions for high-precision quantum sensing on board of a satellite, it aims to detect possible violations of WEP down to the $10^{-17}$ level. This level of performance leads to stringent environmental requirements on the control of the spacecraft. We assume an operation of a dual-species atom interferometer of rubidium and potassium isotopes in a double-diffraction configuration and derive the constraints to achieve an E\"otv\"os parameter $\eta=10^{-17}$ in statistical and systematic uncertainties. We show that technical heritage of previous satellite missions, such as MICROSCOPE, satisfies the platform requirements to achieve the proposed objectives underlying the technical readiness of the STE-QUEST mission proposal.

categories: physics.space-ph astro-ph.IM cond-mat.quant-gas gr-qc physics.atom-ph physics.ins-det quant-ph


title: Topology-Aware Neural Networks for Fast Contingency Analysis of Power Systems

abstract: Training Neural Networks able to capture the topology changes of the power grid is one of the significant challenges towards the adoption of machine learning techniques for N-k security computations and a wide range of other operations that involve grid reconfiguration. As the number of N-k scenarios increases exponentially with increasing system size this renders such problems extremely time-consuming to solve with traditional solvers. In this paper, we combine Physics-Informed Neural Networks with both a Guided-Dropout (GD) Neural Network (which associates dedicated neurons with specific line connections/disconnections) and an edge-varrying Graph Neural Neural Network (GNN) architecture to learn the setpoints for a grid that considers all probable single-line reconfigurations (all critical N-1 scenarios) and subsequently apply the trained models to N-k scenarios.We demonstrate how incorporating the underlying physical equations for the network equations within the training procedure of the GD and the GNN architectures, performs with N-1, N-2, and N-3 case studies. Using the AC Power Flow as a guiding application, we test our methods on the 14-bus, 30-bus, 57-bus, and 118-bus systems. We find that these topology-aware NNs not only achieve the task of contingency screening with satisfactory accuracy but do this at up to 1000 times faster than the Newton Raphson power flow solver. Moreover, our results provide a comparison of the GD and GNN models in terms of accuracy and computational speed and provide recommendations on their adoption for contingency analysis of power systems.


title: Riemannian Geometry to Higher Order in the Infinitesimals

abstract: Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for future exploration. The first order of business is to furnish the notion of a higher tangent vector, as defined abstractly by means of commutative algebra, with a workable interpretation in terms of spatial intuition. Then we introduce the differential calculus of the so-called jet connection, viz., an extension of the usual affine connection that takes higher tangent vectors as its arguments -- thereby enabling us to give a sense to parallel transport in the direction of a higher tangent, what has (to our knowledge) never been entertained before. After generalizing the Riemannian metric tensor to include a dependence up to any order in the infinitesimals, we arrive at natural analogues of the Levi-Civita connection and the Riemannian curvature tensor which display novel phenomena rooted in interactions among infinitesimals differing in order. Finally on the integral side, an intrinsic theory of integration adapted to integrands possibly of higher than first order in the differentials is developed, with a view towards eventually defining an action functional that will be applicable in the general theory of relativity.


title: A combined quantum-classical method applied to material design: optimization and discovery of photochromic materials for photopharmacology applications

abstract: Integration of quantum chemistry simulations, machine learning techniques, and optimization calculations is expected to accelerate material discovery by making large chemical spaces amenable to computational study; a challenging task for classical computers. In this work, we develop a combined quantum-classical computing scheme involving the computational-basis Variational Quantum Deflation (cVQD) method for calculating excited states of a general classical Hamiltonian, such as Ising Hamiltonian. We apply this scheme to the practical use case of generating photochromic diarylethene (DAE) derivatives for photopharmacology applications. Using a data set of 384 DAE derivatives quantum chemistry calculation results, we show that a factorization-machine-based model can construct an Ising Hamiltonian to accurately predict the wavelength of maximum absorbance of the derivatives, $\lambda_{\rm max}$, for a larger set of 4096 DAE derivatives. A 12-qubit cVQD calculation for the constructed Ising Hamiltonian provides the ground and first four excited states corresponding to five DAE candidates possessing large $\lambda_{\rm max}$. On a quantum simulator, results are found to be in excellent agreement with those obtained by an exact eigensolver. Utilizing error suppression and mitigation techniques, cVQD on a real quantum device produces results with accuracy comparable to the ideal calculations on a simulator. Finally, we show that quantum chemistry calculations for the five DAE candidates provides a path to achieving large $\lambda_{\rm max}$ and oscillator strengths by molecular engineering of DAE derivatives. These findings pave the way for future work on applying hybrid quantum-classical approaches to large system optimization and the discovery of novel materials.


title: Cost-Effective Retraining of Machine Learning Models

abstract: It is important to retrain a machine learning (ML) model in order to maintain its performance as the data changes over time. However, this can be costly as it usually requires processing the entire dataset again. This creates a trade-off between retraining too frequently, which leads to unnecessary computing costs, and not retraining often enough, which results in stale and inaccurate ML models. To address this challenge, we propose ML systems that make automated and cost-effective decisions about when to retrain an ML model. We aim to optimize the trade-off by considering the costs associated with each decision. Our research focuses on determining whether to retrain or keep an existing ML model based on various factors, including the data, the model, and the predictive queries answered by the model. Our main contribution is a Cost-Aware Retraining Algorithm called Cara, which optimizes the trade-off over streams of data and queries. To evaluate the performance of Cara, we analyzed synthetic datasets and demonstrated that Cara can adapt to different data drifts and retraining costs while performing similarly to an optimal retrospective algorithm. We also conducted experiments with real-world datasets and showed that Cara achieves better accuracy than drift detection baselines while making fewer retraining decisions, ultimately resulting in lower total costs.


title: A Stochastic Game without Approximate Equilibria

abstract: A game has approximate equilibria if for every $\epsilon >0$ there is an $\epsilon$-equilibrium. We show that there is a stochastic game that lacks approximate equilibria. This game has finitely many players and actions, their payoffs are Borel measurable functions on the pathways of play, and all players have perfect knowledge of the past histories and the present state.


title: A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the same Skeleton

abstract: Causal DAGs (also known as Bayesian networks) are a popular tool for encoding conditional dependencies between random variables. In a causal DAG, the random variables are modeled as vertices in the DAG, and it is stipulated that every random variable is independent of its ancestors conditioned on its parents. It is possible, however, for two different causal DAGs on the same set of random variables to encode exactly the same set of conditional dependencies. Such causal DAGs are said to be Markov equivalent, and equivalence classes of Markov equivalent DAGs are known as Markov Equivalent Classes (MECs). Beautiful combinatorial characterizations of MECs have been developed in the past few decades, and it is known, in particular that all DAGs in the same MEC must have the same "skeleton" (underlying undirected graph) and v-structures (induced subgraph of the form $a\rightarrow b \leftarrow c$). These combinatorial characterizations also suggest several natural algorithmic questions. One of these is: given an undirected graph $G$ as input, how many distinct Markov equivalence classes have the skeleton $G$? Much work has been devoted in the last few years to this and other closely related problems. However, to the best of our knowledge, a polynomial time algorithm for the problem remains unknown. In this paper, we make progress towards this goal by giving a fixed parameter tractable algorithm for the above problem, with the parameters being the treewidth and the maximum degree of the input graph $G$. The main technical ingredient in our work is a construction we refer to as shadow, which lets us create a "local description" of long-range constraints imposed by the combinatorial characterizations of MECs.


title: Control of the local photonic density of states above magneto-optical metamaterials

abstract: The local density of states (LDOS) of electromagnetic field drives many basic processes associated to light-matter interaction such as the thermal emission of object, the spontaneous emission of quantum systems or the fluctuation-induced electromagnetic forces on molecules. Here, we study the LDOS in the close vicinity of magneto-optical metamaterials under the action of an external magnetic field and demonstrate that it can be efficiently changed in a narrow or a broad spectral range simply by changing the spatial orientation or the magnitude of this field. This result paves the way for an active control of the photonic density of states at deep-subwavelength scale.


title: Spatial second-order positive and asymptotic preserving filtered $P_N$ schemes for nonlinear radiative transfer equations

abstract: A spatial second-order scheme for the nonlinear radiative transfer equations is introduced in this paper. The discretization scheme is based on the filtered spherical harmonics ($FP_N$) method for the angular variable and the unified gas kinetic scheme (UGKS) framework for the spatial and temporal variables respectively. In order to keep the scheme positive and second-order accuracy, firstly, we use the implicit Monte Carlo linearization method [6] in the construction of the UGKS numerical boundary fluxes. Then, by carefully analyzing the constructed second-order fluxes involved in the macro-micro decomposition, which is induced by the $FP_N$ angular discretization, we establish the sufficient conditions that guarantee the positivity of the radiative energy density and material temperature. Finally, we employ linear scaling limiters for the angular variable in the $P_N$ reconstruction and for the spatial variable in the piecewise linear slopes reconstruction respectively, which are shown to be realizable and reasonable to enforce the sufficient conditions holding. Thus, the desired scheme, called the $PPFP_N$-based UGKS, is obtained. Furthermore, in the regime $\epsilon\ll 1$ and the regime $\epsilon=O(1)$, a simplified spatial second-order scheme, called the $PPFP_N$-based SUGKS, is presented, which possesses all the properties of the non-simplified one. Inheriting the merit of UGKS, the proposed schemes are asymptotic preserving. By employing the $FP_N$ method for the angular variable, the proposed schemes are almost free of ray effects. To our best knowledge, this is the first time that spatial second-order, positive, asymptotic preserving and almost free of ray effects schemes are constructed for the nonlinear radiative transfer equations without operator splitting. Various numerical experiments are included to validate the properties of the proposed schemes.


title: Remarks on the light ring images and the optical appearance of hairy black holes in Einstein-Maxwell-dilaton gravity

abstract: The behaviors of null geodesics in the spherical symmetric black holes in Einstein-Maxwell-dilaton (EMD) theory with coupling function $f(\Phi)=e^{-2\alpha \Phi}$ are meticulously analyzed. We investigate the effects of coupling constant $\alpha$ on the effective potential of photon trajectories within three ranges, namely $0<\alpha <1$, $\alpha =1$ and $\alpha >1$. We find that the thicknesses of lensing and photon rings are smaller at larger $\alpha$ and fixed electric charge in the unit of mass $q$, whereas they are larger at fixed $\alpha$ and larger $q$. Remarkably, the behaviors of photon trajectories are found to be more interesting when $\alpha>1$. Namely, the radius of the black hole shadow $R_\text{s}$ becomes to be smaller than the photon sphere radius $r_\text{ph}$ when $\alpha > 1$ and $q>q^*$. Moreover, $R_\text{s}$ goes to zero as $q$ saturates the extremal limit, beyond which the photon orbit becomes absent. %This tends to be consistent with the result of Wilczek. Furthermore, we construct the optical appearance of black holes surrounded by optically and geometrically thin accretion disks with three emission models. Our results indicate that the observed flux originating from the lensing and photon rings exhibits suppression as $\alpha$ increases, while it undergoes amplification with the increasing parameter $q$.


title: Weberite Na$_2$MM'F$_7$ (M,M'=Redox-Active Metal) as Promising Fluoride-Based Sodium-Ion Battery Cathodes

abstract: Sodium-ion batteries are a viable alternative to lithium-ion technology due to the plentiful sodium resources. However, certain commercialization challenges, such as low specific energies and poor cycling performance of current Na-ion cathodes, still need to be addressed. To overcome these hurdles, this study explored the potential of a novel class of fluoride-based materials, specifically trigonal-type Na$_2$MM'F$_7$ (M and M' are redox-active metals) belonging to the weberite-type compounds, as promising candidates for Na-ion cathodes. Through a comprehensive assessment utilizing ab initio calculations, twelve prospective compounds were identified, demonstrating high thermodynamic stability, large gravimetric capacities (>170 mAh/g), and low net Na-ion migration barriers (<600 meV). Significantly, ten out of the twelve screened compounds exhibit high specific energies exceeding 580 Wh/kg (approximately equals to the specific energy of LiFePO$_4$), indicating their exceptional electrochemical performance. This study will pave the way for further advancements in fluoride-based electrode materials.


title: Boundary rigidity of finite CAT(0) cube complexes

abstract: In this note, we prove that finite CAT(0) cube complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). This result was conjectured by Haslegrave, Scott, Tamitegama, and Tan (2023). The reconstruction of a finite cell complex from the boundary distances is the discrete version of the boundary rigidity problem, which is a classical problem from Riemannian geometry. In the proofs, we use the bijection between CAT(0) cube complexes and median graphs and the corner peelings of median graphs.


title: Variational principle of higher dimension weighted pressure for amenable group actions

abstract: Let $r\geq 2$ and $(X_i,G)$ $(i=1,\cdots,r)$ be topological dynamical systems with $G$ being an infinite discrete amenable group. Suppose that $\pi_i:(X_i,G)\to (X_{i+1},G)$ are factor maps and $0\leq w_i\leq 1$. In this article, for $f\in C(X_1)$, we introduce the weighted topological pressure $P^{\textbf{a}}(f,G)$ for higher dimensions (not only for $r=2$) of amenable group actions. By using measure-theoretical theory, we establish a variational principle as \begin{align*} P^{\textbf{a}}(f,G)=\sup_{\mu\in \mathcal{M}^G(X_1)}\Big(\sum_{i=1}^rw_ih_{\mu_i}(X_i,G)+w_1\int_{X_1}fd\mu\Big), \end{align*} where $\mu_i=\pi_{i-1}\circ\cdots\circ\pi_{1}\mu$ is the induced $G$-invariant measure on $X_{i}$.


title: Estimation of the incubation time distribution in the singly and doubly interval censored model

abstract: We analyze nonparametric estimators for the distribution function of the incubation time in the singly and doubly interval censoring model. The classical approach is to use parametric families like Weibull, log-normal or gamma distributions in the estimation procedure. We propose nonparametric estimates which stay closer to the data than the classical parametric methods. We also give explicit limit distributions for discrete versions of the models and apply this to compute confidence intervals. The methods complement the analysis of the continuous model. R scripts for computation of the estimates are provided on https://github.com/pietg/incubationtime.


title: Robustness of steady state and stochastic cyclicity in generalized coalescence-fragmentation models

abstract: Processes of coalescence and fragmentation are used to understand the time-evolution of the mass distribution of various systems and may result in a steady state or in stable deterministic or stochastic cycles. Motivated by applications in insurgency warfare we investigate coalescence-fragmentation systems. We begin with a simple model of size-biased coalescence accompanied by shattering into monomers. Depending on the parameters this model has an approximately power-law-distributed steady state or stochastic cycles of alternating gelation and shattering. We conduct stochastic simulations of this model and its generalizations to include different kernel types, accretion and erosion, and various distributions of non-shattering fragmentation. Our central aim is to explore the robustness of the steady state and gel-shatter cycles to these variations. We show that an approximate power-law steady state persists with the addition of accretion and erosion, and with partial rather than total shattering. However, broader distributions of fragment sizes typically vitiate both the power law steady state and gel-shatter cyclicity. This work clarifies features shown in coalescence/fragmentation model simulations and elucidates the relationship between the microscopic dynamics and observed phenomena in this widely applicable interdisciplinary model type.


abstract: Modern societies have an abundance of data yet good system models are rare. Unfortunately, many of the current system identification and machine learning techniques fail to generalize outside of the training set, producing models that violate basic physical laws. This work proposes a novel method for the Sparse Identification of Nonlinear Dynamics with Side Information (SINDy-SI). SINDy-SI is an iterative method that uses Sum-of-Squares (SOS) programming to learn optimally fitted models while guaranteeing that the learned model satisfies side information, such as symmetry's and physical laws. Guided by the principle of Occam's razor, that the simplest or most regularized best fitted model is typically the superior choice, during each iteration SINDy-SI prunes the basis functions associated with small coefficients, yielding a sparse dynamical model upon termination. Through several numerical experiments we will show how the combination of side information constraints and sparse polynomial representation cultivates dynamical models that obey known physical laws while displaying impressive generalized performance beyond the training set.


title: Characterization of high-fidelity Raman qubit gates

abstract: Raman qubits, represented by two ground or metastable quantum states coupled via an intermediate state, hold some advantages over directly coupled qubits, most notably much longer radiative lifetimes, shorter gate duration and lower radiation intensity due to using electric-dipole allowed optical transitions. They are also relatively simple to implement and control, making them an attractive option for building quantum gates for quantum computers. In this work, we present a simple and fast tomographic method to measure the errors of Raman qubit gates possessing the Morris-Shore dynamic symmetry. The latter occurs when the qubit states are on two-photon resonance and the driving fields have the same time dependence. The method is based on repeating the same gate multiple times, which amplifies the small coherent errors to sufficiently large values, which can be measured with high accuracy and precision. Then the (small) gate errors can be determined from the amplified errors by using the analytical connections between them.


title: Exploring the Origin of Solar Energetic Electrons I: Constraining the Properties of the Acceleration Region Plasma Environment

abstract: Solar flare electron acceleration is an efficient process, but its properties (mechanism, location) are not well constrained. Via hard X-ray (HXR) emission, we routinely observe energetic electrons at the Sun, and sometimes we detect energetic electrons in interplanetary space. We examine if the plasma properties of an acceleration region (size, temperature, density) can be constrained from in-situ observations, helping to locate the acceleration region in the corona, and infer the relationship between electrons observed in-situ and at the Sun. We model the transport of energetic electrons, accounting for collisional and non-collisional effects, from the corona into the heliosphere (to 1.0 AU). In the corona, electrons are transported through a hot, over-dense region. We test if the properties of this region can be extracted from electron spectra (fluence and peak flux) at different heliospheric locations. We find that cold, dense coronal regions significantly reduce the energy at which we see the peak flux and fluence for distributions measured out to 1.0 AU, the degree of which correlates with the temperature and density of plasma in the region. Where instrument energy resolution is insufficient to differentiate the corresponding peak values, the spectral ratio of [7-10) to [4-7) keV can be more readily identified and demonstrates the same relationship. If flare electrons detected in-situ are produced in, and/or transported through hot, over-dense regions close to HXR-emitting electrons, then this plasma signature should be present in their lower-energy spectra (1-20 keV), observable at varying heliospheric distances with missions such as Solar Orbiter.


title: Lending Interaction Wings to Recommender Systems with Conversational Agents

abstract: Recommender systems trained on offline historical user behaviors are embracing conversational techniques to online query user preference. Unlike prior conversational recommendation approaches that systemically combine conversational and recommender parts through a reinforcement learning framework, we propose CORE, a new offline-training and online-checking paradigm that bridges a COnversational agent and REcommender systems via a unified uncertainty minimization framework. It can benefit any recommendation platform in a plug-and-play style. Here, CORE treats a recommender system as an offline relevance score estimator to produce an estimated relevance score for each item; while a conversational agent is regarded as an online relevance score checker to check these estimated scores in each session. We define uncertainty as the summation of unchecked relevance scores. In this regard, the conversational agent acts to minimize uncertainty via querying either attributes or items. Based on the uncertainty minimization framework, we derive the expected certainty gain of querying each attribute and item, and develop a novel online decision tree algorithm to decide what to query at each turn. Experimental results on 8 industrial datasets show that CORE could be seamlessly employed on 9 popular recommendation approaches. We further demonstrate that our conversational agent could communicate as a human if empowered by a pre-trained large language model.


title: Indoor Positioning based on Active Radar Sensing and Passive Reflectors: Concepts & Initial Results

abstract: To navigate reliably in indoor environments, an industrial autonomous vehicle must know its position. However, current indoor vehicle positioning technologies either lack accuracy, usability or are too expensive. Thus, we propose a novel concept called local reference point assisted active radar positioning, which is able to overcome these drawbacks. It is based on distributing passive retroreflectors in the indoor environment such that each position of the vehicle can be identified by a unique reflection characteristic regarding the reflectors. To observe these characteristics, the autonomous vehicle is equipped with an active radar system. On one hand, this paper presents the basic idea and concept of our new approach towards indoor vehicle positioning and especially focuses on the crucial placement of the reflectors. On the other hand, it also provides a proof of concept by conducting a full system simulation including the placement of the local reference points, the radar-based distance estimation and the comparison of two different positioning methods. It successfully demonstrates the feasibility of our proposed approach.


title: The WayHome: Long-term Motion Prediction on Dynamically Scaled

abstract: One of the key challenges for autonomous vehicles is the ability to accurately predict the motion of other objects in the surrounding environment, such as pedestrians or other vehicles. In this contribution, a novel motion forecasting approach for autonomous vehicles is developed, inspired by the work of Gilles et al. [1]. We predict multiple heatmaps with a neuralnetwork-based model for every traffic participant in the vicinity of the autonomous vehicle; with one heatmap per timestep. The heatmaps are used as input to a novel sampling algorithm that extracts coordinates corresponding to the most likely future positions. We experiment with different encoders and decoders, as well as a comparison of two loss functions. Additionally, a new grid-scaling technique is introduced, showing further improved performance. Overall, our approach improves stateof-the-art miss rate performance for the function-relevant prediction interval of 3 seconds while being competitive in longer prediction intervals (up to eight seconds). The evaluation is done on the public 2022 Waymo motion challenge.


title: Comptonization by Reconnection Plasmoids in Black Hole Coronae III: Dependence on the Guide Field in Pair Plasma

abstract: We perform two-dimensional particle-in-cell simulations of magnetic reconnection for various strengths of the guide field (perpendicular to the reversing field), in magnetically-dominated electron-positron plasmas. Magnetic reconnection under such conditions could operate in accretion disk coronae around black holes. There, it has been suggested that the trans-relativistic bulk motions of reconnection plasmoids containing inverse-Compton-cooled electrons could Compton-upscatter soft photons to produce the observed non-thermal hard X-rays. Our simulations are performed for magnetizations $3 \leq \sigma \leq 40$ (defined as the ratio of enthalpy density of the reversing field to plasma enthalpy density) and guide field strengths $0 \leq B_{\rm g}/B_0 \leq 1$ (normalized to the reversing field strength $B_0$). We find that the mean bulk energy of the reconnected plasma depends only weakly on the flow magnetization but strongly on the guide field strength -- with $B_{\rm g}/B_0 = 1$ yielding a mean bulk energy twice smaller than $B_{\rm g}/B_0 = 0$. Similarly, the dispersion of bulk motions around the mean -- a signature of stochasticity in the plasmoid chain's motions -- is weakly dependent on magnetization (for $\sigma \gtrsim 10$) but strongly dependent on the guide field strength -- dropping by more than a factor of two from $B_{\rm g}/B_0 = 0$ to $B_{\rm g}/B_0 = 1$. In short, reconnection in strong guide fields ($B_{\rm g}/B_0 \sim 1$) leads to slower and more ordered plasmoid bulk motions than its weak guide field ($B_{\rm g}/B_0 \sim 0$) counterpart.


title: The existence of hot X-ray onsets in solar flares

abstract: It is well known among the scientific community that solar flare activity often begins well before the main impulsive energy release. Our aim is to investigate the earliest phase of four distinct flares observed by Solar Orbiter/STIX and determine the relationships of the newly heated plasma to flare structure and dynamics. The analysis focuses on four events that were observed from both Earth and Solar Orbiter, which allows for a comparison of STIX observations with those of GOES/XRS and SDO/AIA. The early phases of the events were studied using STIX and GOES spectroscopic analysis to investigate the evolution of the physical parameters of the plasma, including the isothermal temperature and emission measure. Furthermore, to determine the location of the heated plasma, STIX observations were combined with AIA images. The events with clear emission prior to the impulsive phase show elevated temperatures ($> 10\,\mathrm{MK}$) from the very beginning, which indicates that energy release started before any detection by STIX. Although the temperature shows little variation during the initial phase, the emission measure increases by about two orders of magnitude, implying a series of incrementally greater energy releases. The spectral analysis of STIX and GOES from the very first time bins suggests that the emission has a multi-thermal nature, with a hot component of more than $10\,\mathrm{MK}$. This analysis confirms the existence of "hot onsets," with STIX detecting the hot onset pattern even earlier than GOES. These elevated temperatures imply that energy release actually begins well before any detection by STIX. Therefore, hot onsets may be significant in the initiation, early development, or even prediction of solar flares.


title: Restrictions on local embeddability into finite semigroups

abstract: In this paper the concept of local embeddability into finite structures (being LEF) for the class of semigroups is expanded with investigations of non-LEF structures, a closely related generalising property of local wrapping of finite structures (being LWF) and inverse semigroups. The established results include a description of a family of non-LEF semigroups unifying the bicyclic monoid and Baumslag--Solitar groups and establishing that inverse LWF semigroups with finite number of idempotents are LEF.


title: Optimization with pattern-avoiding input

abstract: Permutation pattern-avoidance is a central concept of both enumerative and extremal combinatorics. In this paper we study the effect of permutation pattern-avoidance on the complexity of optimization problems. In the context of the dynamic optimality conjecture (Sleator, Tarjan, STOC 1983), Chalermsook, Goswami, Kozma, Mehlhorn, and Saranurak (FOCS 2015) conjectured that the amortized search cost of an optimal binary search tree (BST) is constant whenever the search sequence is pattern-avoiding. The best known bound to date is $2^{\alpha{(n)}(1+o(1))}$ recently obtained by Chalermsook, Pettie, and Yingchareonthawornchai (SODA 2024); here $n$ is the BST size and $\alpha(\cdot)$ the inverse-Ackermann function. In this paper we resolve the conjecture, showing a tight $O(1)$ bound. This indicates a barrier to dynamic optimality: any candidate online BST (e.g., splay trees or greedy trees) must match this optimum, but current analysis techniques only give superconstant bounds. More broadly, we argue that the easiness of pattern-avoiding input is a general phenomenon, not limited to BSTs or even to data structures. To illustrate this, we show that when the input avoids an arbitrary, fixed, a priori unknown pattern, one can efficiently compute a $k$-server solution of $n$ requests from a unit interval, with total cost $n^{O(1/\log k)}$, in contrast to the worst-case $\Theta(n/k)$ bound; and a traveling salesman tour of $n$ points from a unit box, of length $O(\log{n})$, in contrast to the worst-case $\Theta(\sqrt{n})$ bound; similar results hold for the euclidean minimum spanning tree, Steiner tree, and nearest-neighbor graphs. We show both results to be tight. Our techniques build on the Marcus-Tardos proof of the Stanley-Wilf conjecture, and on the recently emerging concept of twin-width.


title: Written and spoken corpus of real and fake social media postings about COVID-19

abstract: This study investigates the linguistic traits of fake news and real news. There are two parts to this study: text data and speech data. The text data for this study consisted of 6420 COVID-19 related tweets re-filtered from Patwa et al. (2021). After cleaning, the dataset contained 3049 tweets, with 2161 labeled as 'real' and 888 as 'fake'. The speech data for this study was collected from TikTok, focusing on COVID-19 related videos. Research assistants fact-checked each video's content using credible sources and labeled them as 'Real', 'Fake', or 'Questionable', resulting in a dataset of 91 real entries and 109 fake entries from 200 TikTok videos with a total word count of 53,710 words. The data was analysed using the Linguistic Inquiry and Word Count (LIWC) software to detect patterns in linguistic data. The results indicate a set of linguistic features that distinguish fake news from real news in both written and speech data. This offers valuable insights into the role of language in shaping trust, social media interactions, and the propagation of fake news.


title: Bringing Quantum Algorithms to Automated Machine Learning: A Systematic Review of AutoML Frameworks Regarding Extensibility for QML Algorithms

abstract: This work describes the selection approach and analysis of existing AutoML frameworks regarding their capability of a) incorporating Quantum Machine Learning (QML) algorithms into this automated solving approach of the AutoML framing and b) solving a set of industrial use-cases with different ML problem types by benchmarking their most important characteristics. For that, available open-source tools are condensed into a market overview and suitable frameworks are systematically selected on a multi-phase, multi-criteria approach. This is done by considering software selection approaches, as well as in terms of the technical perspective of AutoML. The requirements for the framework selection are divided into hard and soft criteria regarding their software and ML attributes. Additionally, a classification of AutoML frameworks is made into high- and low-level types, inspired by the findings of. Finally, we select Ray and AutoGluon as the suitable low- and high-level frameworks respectively, as they fulfil all requirements sufficiently and received the best evaluation feedback during the use-case study. Based on those findings, we build an extended Automated Quantum Machine Learning (AutoQML) framework with QC-specific pipeline steps and decision characteristics for hardware and software constraints.


title: Representative Days and Hours with Piecewise Linear Transitions for Power System Planning

abstract: Electric demand and renewable power are highly variable, and the solution of a planning model relies on capturing this variability. This paper proposes a hybrid multi-area method that effectively captures both the intraday and interday chronology of real data considering extreme values, using a limited number of representative days, and time points within each day. An optimization-based representative extraction method is proposed to improve intraday chronology capturing. It ensures higher precision in preserving data chronology and extreme values than hierarchical clustering methods. The proposed method is based on a piecewise linear demand and supply representation, which reduces approximation errors compared to the traditional piecewise constant formulation. Additionally, sequentially linked day blocks with identical representatives, created through a mapping process, are employed for interday chronology capturing. To evaluate the efficiency of the proposed method, a comprehensive expansion co-planning model is developed, including transmission lines, energy storage systems, and wind farms.


title: The Problem of Moments: A Bunch of Classical Results With Some Novelties

abstract: We summarize significant classical results on (in)determinacy of measures in terms of their finite positive integer order moments. Well-known is the role of the smallest eigenvalues of Hankel matrices, starting from Hamburger's results a century ago and ending with the great progress made only in recent times by C. Berg and collaborators. We describe here known results containing necessary and sufficient conditions for moment (in)determinacy in both Hamburger and Stieltjes moment problems. In our exposition we follow an approach different from that commonly used. There are novelties well complementing the existing theory. Among them are: (a) to emphasize on the geometric interpretation of the indeterminacy conditions; (b) exploit fine properties of the eigenvalues of perturbed symmetric matrices allowing to derive new lower bounds for the smallest eigenvalues of Hankel matrices; these bounds are used for concluding indeterminacy; (c) provide new arguments to confirm classical results; (d) give new numerical illustrations involving commonly used probability distributions.


title: Improving Reinforcement Learning Efficiency with Auxiliary Tasks in Non-Visual Environments: A Comparison

abstract: Real-world reinforcement learning (RL) environments, whether in robotics or industrial settings, often involve non-visual observations and require not only efficient but also reliable and thus interpretable and flexible RL approaches. To improve efficiency, agents that perform state representation learning with auxiliary tasks have been widely studied in visual observation contexts. However, for real-world problems, dedicated representation learning modules that are decoupled from RL agents are more suited to meet requirements. This study compares common auxiliary tasks based on, to the best of our knowledge, the only decoupled representation learning method for low-dimensional non-visual observations. We evaluate potential improvements in sample efficiency and returns for environments ranging from a simple pendulum to a complex simulated robotics task. Our findings show that representation learning with auxiliary tasks only provides performance gains in sufficiently complex environments and that learning environment dynamics is preferable to predicting rewards. These insights can inform future development of interpretable representation learning approaches for non-visual observations and advance the use of RL solutions in real-world scenarios.


title: A New Weighted Food CPI from Scanner Big Data in China

abstract: Scanner big data has potential to construct Consumer Price Index (CPI). The study introduces a new weighted price index called S-FCPIw, which is constructed using scanner big data from retail sales in China. We address the limitations of China's CPI especially for its high cost and untimely release, and demonstrate the reliability of S-FCPIw by comparing it with existing price indices. S-FCPIw can not only reflect the changes of goods prices in higher frequency and richer dimension, and the analysis results show that S-FCPIw has a significant and strong relationship with CPI and Food CPI. The findings suggest that scanner big data can supplement traditional CPI calculations in China and provide new insights into macroeconomic trends and inflation prediction. We have made S-FCPIw publicly available and update it on a weekly basis to facilitate further study in this field.


title: Towards Global Solutions for Nonconvex Two-Stage Stochastic Programs: A Polynomial Lower Approximation Approach

abstract: This paper tackles the challenging problem of finding global optimal solutions for two-stage stochastic programs with continuous decision variables and nonconvex recourse functions. We introduce a two-phase approach. The first phase involves the construction of a polynomial lower bound for the recourse function through a linear optimization problem over a nonnegative polynomial cone. Given the complex structure of this cone, we employ semidefinite relaxations with quadratic modules to facilitate our computations. In the second phase, we solve a surrogate first-stage problem by substituting the original recourse function with the polynomial lower approximation obtained in the first phase. Our method is particularly advantageous for two reasons: it not only generates global lower bounds for the nonconvex stochastic program, aiding in the certificate of global optimality for prospective solutions like stationary solutions computed from other methods, but it also yields an explicit polynomial approximation for the recourse function through the solution of a linear conic optimization problem, where the number of variables is independent of the support of the underlying random vector. Therefore, our approach is particularly suitable for the case where the random vector follows a continuous distribution or when dealing with a large number of scenarios. Numerical experiments are conducted to demonstrate the effectiveness of our proposed approach.


title: Capturing Chronology and Extreme Values of Representative Days for Planning of Transmission Lines and Long-Term Energy Storage Systems

abstract: The growing penetration of renewable energy sources (RESs) is inevitable to reach net zero emissions. In this regard, optimal planning and operation of power systems are becoming more critical due to the need for modeling the short-term variability of RES output power and load demand. Considering hourly time steps of one or more years to model the operational details in a long-term expansion planning scheme can lead to a practically unsolvable model. Therefore, a clustering-based hybrid time series aggregation algorithm is proposed in this paper to capture both extreme values and temporal dynamics of input data by some extracted representatives. The proposed method is examined in a complex co-planning model for transmission lines, wind power plants (WPPs), short-term battery and long-term pumped hydroelectric energy storage systems. The effectiveness of proposed mixed-integer linear programming (MILP) model is evaluated using a modified 6-bus Garver test system. The simulation results confirm the proposed model efficacy, especially in modeling long-term energy storage systems.


title: Branes in JT (super)gravity from group theory

abstract: In this work, we revisit the end-of-the-world (EOW) brane amplitudes in JT gravity from a BF gauge theoretic perspective. Observing and identifying the correct group theoretic ingredient for a closed EOW brane as a discrete series character, we use the group theory framework as a guide towards formulating the analogous supersymmetric problem. We compute these amplitudes explicitly in the supersymmetric generalizations of JT gravity ($\mathcal{N}=1,2,4$), motivated by the prospective of possibly finite amplitudes. In the process, we develop some of the representation theory of OSp$(2\vert 2,\mathbb{R})$ and PSU($1,1\vert 2)$, relevant for the $\mathcal{N}=2$ and $\mathcal{N}=4$ cases.


title: Fully discrete Galerkin scheme for a semilinear subdiffusion equation with nonsmooth data and time-dependent coefficient

abstract: We couple the L1 discretization of the Caputo fractional derivative in time with the Galerkin scheme to devise a linear numerical method for the semilinear subdiffusion equation. Two important points that we make are: nonsmooth initial data and time-dependent diffusion coefficient. We prove the stability and convergence of the method under weak assumptions concerning regularity of the diffusivity. We find optimal pointwise in space and global in time errors, which are verified with several numerical experiments.


title: Semantic segmentation of longitudinal thermal images for identification of hot and cool spots in urban areas

abstract: This work presents the analysis of semantically segmented, longitudinally, and spatially rich thermal images collected at the neighborhood scale to identify hot and cool spots in urban areas. An infrared observatory was operated over a few months to collect thermal images of different types of buildings on the educational campus of the National University of Singapore. A subset of the thermal image dataset was used to train state-of-the-art deep learning models to segment various urban features such as buildings, vegetation, sky, and roads. It was observed that the U-Net segmentation model with `resnet34' CNN backbone has the highest mIoU score of 0.99 on the test dataset, compared to other models such as DeepLabV3, DeeplabV3+, FPN, and PSPnet. The masks generated using the segmentation models were then used to extract the temperature from thermal images and correct for differences in the emissivity of various urban features. Further, various statistical measure of the temperature extracted using the predicted segmentation masks is shown to closely match the temperature extracted using the ground truth masks. Finally, the masks were used to identify hot and cool spots in the urban feature at various instances of time. This forms one of the very few studies demonstrating the automated analysis of thermal images, which can be of potential use to urban planners for devising mitigation strategies for reducing the urban heat island (UHI) effect, improving building energy efficiency, and maximizing outdoor thermal comfort.


title: Wide-Dynamic-Range Control of Quantum-Electrodynamic Electron Transfer Reactions in the Weak Coupling Regime

abstract: Catalyzing reactions effectively by vacuum fluctuations of electromagnetic fields is a significant challenge within the realm of chemistry. Different from most studies based on vibrational strong coupling, we introduce an innovative catalytic mechanism driven by weakly coupled polaritonic fields. Through the amalgamation of macroscopic quantum electrodynamics (QED) principles with Marcus electron transfer (ET) theory, our results reveal that ET reaction rates can be precisely modulated across a wide dynamic range by controlling the size and structure of nanocavities. Comparing to QED-driven radiative ET rates in free space, plasmonic cavities induce substantial rate enhancements spanning from orders of magnitude ranging from 10^3-fold to 10^1-fold. By contrast, Fabry-Perot cavities engender rate suppression spanning from 10^{-2}-fold to 10^{-1}-fold. This work overcomes the necessity of using strong light-matter interactions in QED chemistry, opening up a new era of manipulating QED-based chemical reactions in a wide dynamic range.


title: Analysis on the Influence of Synchronization Error on Fixed-filter Active Noise Control

abstract: The efficacy of active noise control technology in mitigating urban noise, particularly in relation to low-frequency components, has been well-established. In the realm of traditional academic research, adaptive algorithms, such as the filtered reference least mean square method, are extensively employed to achieve real-time noise reduction in many applications. Nevertheless, the utilization of this technology in commercial goods is often hindered by its significant computing complexity and inherent instability. In this particular scenario, the adoption of the fixed-filter strategy emerges as a viable alternative for addressing these challenges, albeit with a potential trade-off in terms of noise reduction efficacy. This work aims to conduct a theoretical investigation into the synchronization error of the digital Active Noise Control (ANC) system. Keywords: Fixed-filter, Active noise control, Multichannel active noise control.


title: Test particle motion along equatorial circular orbits in the revisited Kerr-de Sitter spacetime

abstract: Both circular and epicyclic motion of test particles along equatorial circular orbits in the revisited Kerr-de Sitter spacetime is analyzed. We present relations for specific energy, specific angular momentum and Keplerian angular velocity of particles on equatorial circular orbits, and discuss criteria for the existence and stability of such orbits giving limits on spacetime parameters. Finally, we discuss the epicyclic motion along equatorial circular orbits obtaining relations for radial and vertical epicyclic frequencies. The results are compared with those for the standard Kerr-de Sitter geometry.


title: Simplicial Structure on Connected Multiplicative Operads

abstract: In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra structure analogous to that of Gerstenhaber-Voronov that we call right brace algebra structure. This permits us to obtain on the operad with the above mentioned properties a bicomplex structure one of whose two differential operators is a coboundary and the other one is a boundary. Moreover we define on one hand on the above simplicial operad together with its right brace algebra structure, two distinct products up to a sign respectively called dot-product and odot-product. Then we show that the coboundary and the boundary together with the odot-product provide to this simplicial operad two distinct differential graded algebra structures. On the other hand we obtain through the Alexander-Withney map, a differential graded coalgebra structure on a simplicial operad. We end by illustrating our constructions with some examples


title: Scaling limit of an equilibrium surface under the Random Average Process

abstract: We consider the equilibrium surface of the Random Average Process started from an inclined plane, as seen from the height of the origin, obtained in [Ferrari & Fontes, 1998], where its fluctuations were shown to be of order of the square root of the distance to the origin in one dimension, and the square root of the log of that distance in two dimensions (and constant in higher dimensions). Remarkably, even if not pointed out explicitly in [Ferrari & Fontes, 1998], the correlation structure of those fluctuations is given in terms of the Green's function of a certain random walk, and thus corresponds to those of Discrete Gaussian Free Fields. In the present paper we obtain the scaling limit of those fluctuations in one and two dimensions, in terms of Gaussian processes, in the sense of finite dimensional distributions. In one dimension, the limit is given by Brownian Motion; in two dimensions, we get a process with a discontinuous covariance function.


title: Collaborative Camouflaged Object Detection: A Large-Scale Dataset and Benchmark

abstract: In this paper, we provide a comprehensive study on a new task called collaborative camouflaged object detection (CoCOD), which aims to simultaneously detect camouflaged objects with the same properties from a group of relevant images. To this end, we meticulously construct the first large-scale dataset, termed CoCOD8K, which consists of 8,528 high-quality and elaborately selected images with object mask annotations, covering 5 superclasses and 70 subclasses. The dataset spans a wide range of natural and artificial camouflage scenes with diverse object appearances and backgrounds, making it a very challenging dataset for CoCOD. Besides, we propose the first baseline model for CoCOD, named bilateral-branch network (BBNet), which explores and aggregates co-camouflaged cues within a single image and between images within a group, respectively, for accurate camouflaged object detection in given images. This is implemented by an inter-image collaborative feature exploration (CFE) module, an intra-image object feature search (OFS) module, and a local-global refinement (LGR) module. We benchmark 18 state-of-the-art models, including 12 COD algorithms and 6 CoSOD algorithms, on the proposed CoCOD8K dataset under 5 widely used evaluation metrics. Extensive experiments demonstrate the effectiveness of the proposed method and the significantly superior performance compared to other competitors. We hope that our proposed dataset and model will boost growth in the COD community. The dataset, model, and results will be available at: https://github.com/zc199823/BBNet--CoCOD.


title: High-yield atmospheric water capture via bioinspired material segregation

abstract: Atmospheric water harvesting is urgently needed given increasing global water scarcity. Current sorbent-based devices that cycle between water capture and release have low harvesting rates. We envision a radically different multi-material architecture with segregated and simultaneous capture and release. This way, proven fast-release mechanisms that approach theoretical limits can be incorporated; however, no capture mechanism exists to supply liquid adequately for release. Inspired by tree frogs and airplants, our capture approach transports water through a hydrogel membrane ``skin'' into a liquid desiccant. We report an extraordinarily high capture rate of 5.50 $\text{kg}\,\text{m}^{-2}\,\text{d}^{-1}$ at a low humidity of 35%, limited by the convection of air to the device. At higher humidities, we demonstrate up to 16.9 $\text{kg}\,\text{m}^{-2}\,\text{d}^{-1}$, exceeding theoretical limits for release. Simulated performance of a hypothetical one-square-meter device shows that water could be supplied to two to three people in dry environments. This work is a significant step toward providing new resources to water-scarce regions.


title: From barren plateaus through fertile valleys: Conic extensions of parameterised quantum circuits

abstract: Optimisation via parameterised quantum circuits is the prevalent technique of near-term quantum algorithms. However, the omnipresent phenomenon of barren plateaus - parameter regions with vanishing gradients - sets a persistent hurdle that drastically diminishes its success in practice. In this work, we introduce an approach - based on non-unitary operations - that favours jumps out of a barren plateau into a fertile valley. These operations are constructed from conic extensions of parameterised unitary quantum circuits, relying on mid-circuit measurements and a small ancilla system. We further reduce the problem of finding optimal jump directions to a low-dimensional generalised eigenvalue problem. As a proof of concept we incorporate jumps within state-of-the-art implementations of the Quantum Approximate Optimisation Algorithm (QAOA). We demonstrate the extensions' effectiveness on QAOA through extensive simulations, showcasing robustness against barren plateaus and highly improved sampling probabilities of optimal solutions.


title: Wardrop equilibrium and Braess's paradox for varying demand

abstract: This work explores the relationship between the set of Wardrop equilibria~(WE) of a routing game, the total demand of that game, and the occurrence of Braess's paradox~(BP). The BP formalizes the counter-intuitive fact that for some networks, removing a path from the network decreases congestion at WE. For a single origin-destination routing games with affine cost functions, the first part of this work provides tools for analyzing the evolution of the WE as the demand varies. It characterizes the piece-wise affine nature of this dependence by showing that the set of directions in which the WE can vary in each piece is the solution of a variational inequality problem. In the process we establish various properties of changes in the set of used and minimal-cost paths as demand varies. As a consequence of these characterizations, we derive a procedure to obtain the WE for all demands above a certain threshold. The second part of the paper deals with detecting the presence of BP in a network. We supply a number of sufficient conditions that reveal the presence of BP and that are computationally tractable. We also discuss a different perspective on BP, where we establish that a path causing BP at a particular demand must be strictly beneficial to the network at a lower demand. Several examples throughout this work illustrate and elaborate our findings.


title: On Solving Close Enough Orienteering Problems with Overlapped Neighborhoods

abstract: Close Enough Traveling Salesman Problem (CETSP) is a well-known variant of TSP whereby the agent may complete its mission at any point within a target neighborhood. Heuristics based on overlapped neighborhoods, known as Steiner Zones (SZ), have gained attention in addressing CETSP. While SZs offer effective approximations to the original graph, their inherent overlap imposes constraints on search space, potentially conflicting with global optimization objectives. Here we show how such limitations can be converted into advantages in a Close Enough Orienteering Problem (CEOP) by aggregating prizes across overlapped neighborhoods. We further extend classic CEOP with Non-uniform Neighborhoods (CEOP-N) by introducing non-uniform costs for prize collection. To tackle CEOP and CEOP-N, we develop a new approach featuring a Randomized Steiner Zone Discretization (RSZD) scheme coupled with a hybrid algorithm based on Particle Swarm Optimization (PSO) and Ant Colony System (ACS), CRaSZe-AntS. The RSZD scheme identifies sub-regions for PSO exploration, and ACS determines the discrete visiting sequence. We evaluate the RSZD's discretization performance on CEOP instances derived from established CETSP instances and compare CRaSZe-AntS against the most relevant state-of-the-art heuristic focused on single-neighborhood optimization for CEOP instances. We also compare the performance of the interior search within SZs and the boundary search on individual neighborhoods in the context of CEOP-N. Our experimental results show that CRaSZe-AntS can yield comparable solution quality with significantly reduced computation time compared to the single neighborhood strategy, where we observe an average 140.44% increase in prize collection and a 55.18% reduction in algorithm execution time. CRaSZe-AntS is thus highly effective in solving emerging CEOP-N, examples of which include truck-and-drone delivery scenarios.


title: Revealing the mystery of the double charm tetraquark in $pp$ collision

abstract: A novel approach is proposed to probe the nature of the double charm tetraquark through the measurement of production asymmetry between $T_{\bar{c}\bar{c}}^-$ and $T_{cc}^+$ in $pp$ collisions. When comparing two theoretical pictures, the compact tetraquark and molecular pictures, we find that the compact tetraquark picture exhibits a significantly larger production asymmetry and an order of magnitude lower total cross section compared to the molecular picture, enabling the unambiguous determination of the tetraquark's internal structure. Additionally, distinctive differences in the transverse momentum ($p_\mathrm{T}$) and rapidity ($y$) distributions of $T_{\bar{c}\bar{c}}^-$ and $T_{cc}^+$ cross sections emerge, particularly at $p_\mathrm{T}\approx 2~\mathrm{GeV}$ and $y\approx \pm 6$. The difference between particles and antiparticles in a large rapidity region is attributed to the behavior of the residual $ud$ diquarks within the proton. Our work extends to the exploration of other double heavy tetraquark candidates, offering a versatile approach to advance our understanding of exotic hadronic states in particle physics.


title: A New Safety Objective for the Calibration of the Intelligent Driver Model

abstract: The intelligent driver model (IDM) is one of the most widely used car-following (CF) models in recent years. The parameters of this model have been calibrated using real trajectories obtained from naturalistic driving ,driving simulator experiment and drone data. An important aspect of the model calibration process is defining the main objective of the calibration. This objective, influences the objective function and the performance measure for the calibration. For example, to calibrate CF models, the objective is usually to minimize the error in measured spacing or speed while important safety aspects of the models such as the collision avoidance mechanisms are ignored. For such models, there is no guarantee that the calibrated parameters will preserve the safety properties of the model since they are not explicitly taken into account. To explicitly account for the safety properties during calibration, this paper proposes a simple objective function which minimizes both the error in the actual measured spacing (as it is currently done) and the error in the dynamic safety spacing (desired minimum gap) derived from the collision free property of the IDM model. The proposed objective function is used to calibrate two variants of the IDM using vehicle trajectories obtained with drone from a Dutch highway. The calibration performance is then compared in terms of the error in actual spacing and time gap. The results show that the proposed safety objective 15 function leads to lower errors in spacing and time gap compared to when minimizing for only spacing and preserves collision property of the IDM.


title: An X-rays-to-radio investigation of the nuclear polarization from the radio-galaxy Centaurus A

abstract: Centaurus A is one of the closest radio-galaxies to Earth. Its proximity allowed us to extensively study its active galactic nucleus but the core emission mechanism remains elusive because of local strong dust and gas obscuration. The capability of polarimetry to shave-off contaminating emission has been exploited without success in the near-infrared by previous studies but the very recent measurement of the 2 - 8 keV polarization by the Imaging X-ray Polarimetry Explorer (IXPE) brought the question back to the fore. To determine what is the prevalent photon generation mechanism to the multi-wavelength emission from the core of Centaurus A, we retrieved from the archives the panchromatic polarization measurements of the central compact component. We built the total and polarized flux spectral energy distributions of the core and demonstrated that synchrotron self-Compton models nicely fit the polarized flux from the radio to the X-ray band. The linear polarization of the synchrotron continuum is perpendicular to the jet radio axis from the optical to the radio band, and parallel to it at higher energies. The observed smooth rotation of the polarization angle in the ultraviolet band is attributed to synchrotron emission from regions that are getting closer to the particle acceleration site, where the orientation of the jet's magnetic fields become perpendicular to the jet axis. This phenomenon support the shock acceleration mechanism for particle acceleration in Centaurus A, in line with IXPE observations of several high-synchrotron peak blazars.


title: Variation of Tensor Force due to Nuclear Medium Effect

abstract: The enhancement of $J^{\pi}(T)$=3$^{+}$(0) state with isospin $T=0$ excited by the tensor force in the free $^{6}$Li nucleus has been observed, for the first time, relative to a shrinkable excitation in the $^{6}$Li cluster component inside its host nucleus. Comparatively, the excitation of $J^{\pi}(T)$=0$^{+}$(1) state with isospin $T=1$ for these two $^{6}$Li formations take on an approximately equal excitation strength. The mechanism of such tensor force effect was proposed due to the intensive nuclear medium role on isospin $T$=0 state.


title: Fast Output Energy Regulation in a Medical Proton Linac

abstract: In proton therapy, depth scanning of the irradiated object is performed by changing the Output Energy (OE) of the accelerated beam. In pulsed linear accelerators, adjustment of the OE is usually by changing the amplitude and/or phase of the field in the accelerating elements from one RF pulse to another. The application of non-inertial traveling wave accelerating sections makes it possible to change quickly the phase of the accelerating field during the RF pulse. The phase of the field in the constant gradient section is determined both by the phase of the input RF signal and by the process of wave propagation in the dispersive structure. The calculation results of the traveling wave propagation in the accelerating structure when the phase of the input RF signal changes and the results of simulation the dynamics of particles confirm the change in the linac's OE during the RF pulse. The proposed method for regulation the OE makes it possible to increase in orders the speed of scanning the irradiated object by depth.


title: Topology at infinity of complete gradient Schouten solitons

abstract: In this paper, we study ends of complete gradient non-trivial Schouten solitons. Without any additional assumptions, we show the shrinking ones have finitely many ends, and the expanding ones are connected at infinity. We also provide information regarding the non-parabolicity of the ends in the shrinking setting, and on the behavior of the potential function and volume growth in the expanding case.


title: Deep learning modelling of manufacturing and build variations on multi-stage axial compressors aerodynamics

abstract: Application of deep learning methods to physical simulations such as CFD (Computational Fluid Dynamics) for turbomachinery applications, have been so far of limited industrial relevance. This paper demonstrates the development and application of a deep learning framework for real-time predictions of the impact of manufacturing and build variations, such as tip clearance and surface roughness, on the flow field and aerodynamic performance of multi-stage axial compressors in gas turbines. The associated scatter in compressor efficiency is known to have a significant impact on the corresponding overall performance and emissions of the gas turbine, therefore posing a challenge of great industrial and environmental relevance. The proposed architecture is proven to achieve an accuracy comparable to that of the CFD benchmark, in real-time, for an industrially relevant application. The deployed model, is readily integrated within the manufacturing and build process of gas turbines, thus providing the opportunity to analytically assess the impact on performance and potentially reduce requirements for expensive physical tests.


title: Clique number of tournaments

abstract: We introduce the notion of clique number of a tournament and investigate its relation with the dichromatic number. In particular, it permits defining $\dic$-bounded classes of tournaments, which is the paper's main topic.


title: DRIFT: Deep Reinforcement Learning for Intelligent Floating Platforms Trajectories

abstract: This investigation introduces a novel deep reinforcement learning-based suite to control floating platforms in both simulated and real-world environments. Floating platforms serve as versatile test-beds to emulate microgravity environments on Earth. Our approach addresses the system and environmental uncertainties in controlling such platforms by training policies capable of precise maneuvers amid dynamic and unpredictable conditions. Leveraging state-of-the-art deep reinforcement learning techniques, our suite achieves robustness, adaptability, and good transferability from simulation to reality. Our Deep Reinforcement Learning (DRL) framework provides advantages such as fast training times, large-scale testing capabilities, rich visualization options, and ROS bindings for integration with real-world robotic systems. Beyond policy development, our suite provides a comprehensive platform for researchers, offering open-access at https://github.com/elharirymatteo/RANS/tree/ICRA24.


title: Categorical probability spaces, ergodic decompositions, and transitions to equilibrium

abstract: We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between the space of values of a random variable and the sigma-algebra that it generates on the outcome space, reflecting the standard mathematical practice of using the two interchangeably, for example when taking conditional expectations. We show that a number of constructions and results from classical probability theory, mostly involving notions of equilibrium, can be expressed and proven in terms of this category. In particular: - Given a stochastic dynamical system acting on a standard Borel space, we show that the almost surely invariant sigma-algebra can be obtained as a limit and as a colimit; - In the setting above, the almost surely invariant sigma-algebra gives rise, up to isomorphism of our category, to a standard Borel space; - As a corollary, we give a categorical version of the ergodic decomposition theorem for stochastic actions; - As an example, we show how de Finetti's theorem and the Hewitt-Savage and Kolmogorov zero-one laws fit in this limit-colimit picture. This work uses the tools of categorical probability, in particular Markov categories, as well as the theory of dagger categories.


title: WaZI: A Learned and Workload-aware Z-Index

abstract: Learned indexes fit machine learning (ML) models to the data and use them to make query operations more time and space-efficient. Recent works propose using learned spatial indexes to improve spatial query performance by optimizing the storage layout or internal search structures according to the data distribution. However, only a few learned indexes exploit the query workload distribution to enhance their performance. In addition, building and updating learned spatial indexes are often costly on large datasets due to the inefficiency of (re)training ML models. In this paper, we present WaZI, a learned and workload-aware variant of the Z-index, which jointly optimizes the storage layout and search structures, as a viable solution for the above challenges of spatial indexing. Specifically, we first formulate a cost function to measure the performance of a Z-index on a dataset for a range-query workload. Then, we optimize the Z-index structure by minimizing the cost function through adaptive partitioning and ordering for index construction. Moreover, we design a novel page-skipping mechanism to improve the query performance of WaZI by reducing access to irrelevant data pages. Our extensive experiments show that the WaZI index improves range query time by 40% on average over the baselines while always performing better or comparably to state-of-the-art spatial indexes. Additionally, it also maintains good point query performance. Generally, WaZI provides favorable tradeoffs among query latency, construction time, and index size.


title: Detecting Semantic Conflicts using Static Analysis

abstract: Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, when developers integrate their changes, they might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference - causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability. It outperforms, in terms of F1 score and recall, previous methods that rely on dynamic analysis for detecting semantic conflicts, but these show better precision. Our technique precision is comparable to the ones observed in other studies that also leverage static analysis or use theorem proving techniques to detect semantic conflicts, albeit with significantly improved overall performance.


title: A Comprehensive Evaluation of Large Language Models on Benchmark Biomedical Text Processing Tasks

abstract: Recently, Large Language Models (LLM) have demonstrated impressive capability to solve a wide range of tasks. However, despite their success across various tasks, no prior work has investigated their capability in the biomedical domain yet. To this end, this paper aims to evaluate the performance of LLMs on benchmark biomedical tasks. For this purpose, we conduct a comprehensive evaluation of 4 popular LLMs in 6 diverse biomedical tasks across 26 datasets. To the best of our knowledge, this is the first work that conducts an extensive evaluation and comparison of various LLMs in the biomedical domain. Interestingly, we find based on our evaluation that in biomedical datasets that have smaller training sets, zero-shot LLMs even outperform the current state-of-the-art fine-tuned biomedical models. This suggests that pretraining on large text corpora makes LLMs quite specialized even in the biomedical domain. We also find that not a single LLM can outperform other LLMs in all tasks, with the performance of different LLMs may vary depending on the task. While their performance is still quite poor in comparison to the biomedical models that were fine-tuned on large training sets, our findings demonstrate that LLMs have the potential to be a valuable tool for various biomedical tasks that lack large annotated data.