title: Chain of trust: Unraveling references among Common Criteria certified products

abstract: With 5394 security certificates of IT products and systems, the Common Criteria for Information Technology Security Evaluation have bred an ecosystem entangled with various kind of relations between the certified products. Yet, the prevalence and nature of dependencies among Common Criteria certified products remains largely unexplored. This study devises a novel method for building the graph of references among the Common Criteria certified products, determining the different contexts of references with a supervised machine-learning algorithm, and measuring how often the references constitute actual dependencies between the certified products. With the help of the resulting reference graph, this work identifies just a dozen of certified components that are relied on by at least 10% of the whole ecosystem -- making them a prime target for malicious actors. The impact of their compromise is assessed and potentially problematic references to archived products are discussed.


title: From Modalities to Styles: Rethinking the Domain Gap in Heterogeneous Face Recognition

abstract: Heterogeneous Face Recognition (HFR) focuses on matching faces from different domains, for instance, thermal to visible images, making Face Recognition (FR) systems more versatile for challenging scenarios. However, the domain gap between these domains and the limited large-scale datasets in the target HFR modalities make it challenging to develop robust HFR models from scratch. In our work, we view different modalities as distinct styles and propose a method to modulate feature maps of the target modality to address the domain gap. We present a new Conditional Adaptive Instance Modulation (CAIM ) module that seamlessly fits into existing FR networks, turning them into HFR-ready systems. The CAIM block modulates intermediate feature maps, efficiently adapting to the style of the source modality and bridging the domain gap. Our method enables end-to-end training using a small set of paired samples. We extensively evaluate the proposed approach on various challenging HFR benchmarks, showing that it outperforms state-of-the-art methods. The source code and protocols for reproducing the findings will be made publicly available


title: NTIRE 2024 Challenge on Low Light Image Enhancement: Methods and Results

abstract: This paper reviews the NTIRE 2024 low light image enhancement challenge, highlighting the proposed solutions and results. The aim of this challenge is to discover an effective network design or solution capable of generating brighter, clearer, and visually appealing results when dealing with a variety of conditions, including ultra-high resolution (4K and beyond), non-uniform illumination, backlighting, extreme darkness, and night scenes. A notable total of 428 participants registered for the challenge, with 22 teams ultimately making valid submissions. This paper meticulously evaluates the state-of-the-art advancements in enhancing low-light images, reflecting the significant progress and creativity in this field.


title: CLIP-GS: CLIP-Informed Gaussian Splatting for Real-time and View-consistent 3D Semantic Understanding

abstract: The recent 3D Gaussian Splatting (GS) exhibits high-quality and real-time synthesis of novel views in 3D scenes. Currently, it primarily focuses on geometry and appearance modeling, while lacking the semantic understanding of scenes. To bridge this gap, we present CLIP-GS, which integrates semantics from Contrastive Language-Image Pre-Training (CLIP) into Gaussian Splatting to efficiently comprehend 3D environments without annotated semantic data. In specific, rather than straightforwardly learning and rendering high-dimensional semantic features of 3D Gaussians, which significantly diminishes the efficiency, we propose a Semantic Attribute Compactness (SAC) approach. SAC exploits the inherent unified semantics within objects to learn compact yet effective semantic representations of 3D Gaussians, enabling highly efficient rendering (>100 FPS). Additionally, to address the semantic ambiguity, caused by utilizing view-inconsistent 2D CLIP semantics to supervise Gaussians, we introduce a 3D Coherent Self-training (3DCS) strategy, resorting to the multi-view consistency originated from the 3D model. 3DCS imposes cross-view semantic consistency constraints by leveraging refined, self-predicted pseudo-labels derived from the trained 3D Gaussian model, thereby enhancing precise and view-consistent segmentation results. Extensive experiments demonstrate that our method remarkably outperforms existing state-of-the-art approaches, achieving improvements of 17.29% and 20.81% in mIoU metric on Replica and ScanNet datasets, respectively, while maintaining real-time rendering speed. Furthermore, our approach exhibits superior performance even with sparse input data, verifying the robustness of our method.


title: Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols

abstract: Snowman is the consensus protocol implemented by the Avalanche blockchain and is part of the Snow family of protocols, first introduced through the original Avalanche leaderless consensus protocol. A major advantage of Snowman is that each consensus decision only requires an expected constant communication overhead per processor in the `common' case that the protocol is not under substantial Byzantine attack, i.e. it provides a solution to the scalability problem which ensures that the expected communication overhead per processor is independent of the total number of processors $n$ during normal operation. This is the key property that would enable a consensus protocol to scale to 10,000 or more independent validators (i.e. processors). On the other hand, the two following concerns have remained: (1) Providing formal proofs of consistency for Snowman has presented a formidable challenge. (2) Liveness attacks exist in the case that a Byzantine adversary controls more than $O(\sqrt{n})$ processors, slowing termination to more than a logarithmic number of steps. In this paper, we address the two issues above. We consider a Byzantine adversary that controls at most $f<n/5$ processors. First, we provide a simple proof of consistency for Snowman. Then we supplement Snowman with a `liveness module' that can be triggered in the case that a substantial adversary launches a liveness attack, and which guarantees liveness in this event by temporarily forgoing the communication complexity advantages of Snowman, but without sacrificing these low communication complexity advantages during normal operation.


title: Microservices a Definition Analyzed by {\ss}MACH

abstract: Managing software artifacts is one of the most essential aspects of computer science. It enables to develop, operate, and maintain software in an engineer-like manner. Therefore, numerous concrete strategies, methods, best practices, and concepts are available. A combination of such methods must be adequate, efficient, applicable, and effective for a concrete project. Eelsewise, the developers, managers, and testers should understand it to avoid chaos. Therefore, we exemplify the {\ss}MACH method that provides software guidance. The method can point out missing management aspects (e.g., the V-model is not usable for software operation), identify problems of knowledge transfer (e.g., how is responsible for requirements), provide an understandable management description (e.g., the developers describe what they do), and some more. The method provides a unified, knowledge-based description strategy applicable to all software management strategies. It provides a method to create a minimal but complete description. In this paper, we apply {\ss}MACH to the microservice concept to explain both and to test the applicability and the advantages of {\ss}MACH.


title: On a fundamental statistical edge principle

abstract: This paper establishes that conditioning the probability of execution of new orders on the self-generated historical trading information (HTI) of a trading strategy is a necessary condition for a statistical trading edge. It is shown, in particular, that, given any trading strategy S that does not use its own HTI, it is always possible to construct a new strategy S* that yields a systematically increasing improvement over S in terms of profit and loss (PnL) by using the self-generated HTI. This holds true under rather general conditions that are frequently met in practice, and it is proven through a decision mechanism specifically designed to formally prove this idea. Simulations and real-world trading evidence are included for validation and illustration, respectively.


title: A Blaschke-Petkantschin formula for linear and affine subspaces with application to intersection probabilities

abstract: Consider a uniformly distributed random linear subspace $L$ and a stochastically independent random affine subspace $E$ in $\mathbb{R}^n$, both of fixed dimension. For a natural class of distributions for $E$ we show that the intersection $L\cap E$ admits a density with respect to the invariant measure. This density depends only on the distance $d(o,E \cap L)$ of $L\cap E$ to the origin and is derived explicitly. It can be written as the product of a power of $d(o,E \cap L)$ and a part involving an incomplete beta integral. Choosing $E$ uniformly among all affine subspaces of fixed dimension hitting the unit ball, we derive an explicit density for the random variable $d(o,E \cap L)$ and study the behavior of the probability that $E \cap L$ hits the unit ball in high dimensions. Lastly, we show that our result can be extended to the setting where $E$ is tangent to the unit sphere, in which case we again derive the density for $d(o,E \cap L)$. Our probabilistic results are derived by means of a new integral-geometric transformation formula of Blaschke--Petkantschin type.


title: Multielectron effect in strong-field ionization of CO

abstract: We investigate the effects of the multielectron polarization of the ion described by the induced dipole potential in photoelectron momentum distributions produced in ionization of the CO molecule by a strong laser field. We present results of the numerical solution of the time-dependent Schr\"{o}dinger equation in three spatial dimensions and semiclassical simulations accounting for quantum interference. We predict the change of the asymmetry and interference patterns in two-dimensional photoelectron momentum distributions as well as longitudinal momentum distributions. By using a semiclassical model we identify the mechanism responsible for the observed effects. It is shown that the modifications of electron momentum distributions are caused by a combined effect of the force acting on photoelectrons due to the induced dipole potential and the linear Stark-shift of the ionization potential.


title: Profinite rigidity of affine Coxeter groups

abstract: We prove that affine Coxeter groups are profinitely rigid.


title: The DELVE Quadruple Quasar Search I. A Lensed Low Luminosity AGN

abstract: A quadruply lensed source, J125856.3-031944, has been discovered using the DELVE survey and WISE W1 - W2 colors. Followup direct imaging carried out with the MPIA 2.2 m and the Baade 6.5 m telescopes is analyzed, as is spectroscopy from the 2.5 m Nordic Optical Telescope. The lensed image configuration is kite-like, with the faintest image 2 magnitudes fainter than the other three. Redward of 6000 AA that image is badly blended with the lensing galaxy, which is elongated along the symmetry axis of the kite. Magellan direct imaging carried out in Sloan g permits better deblending. As the lensed image configuration is nearly circular, simple models give individual magnifications of at least 25 for the 3 brighter images. The source's narrow emission lines and low intrinsic luminosity qualify it as a type 2 AGN.


title: Hierarchical NMPC for Obstacle Avoidance on Skid-steer Loaders

abstract: This paper introduces a novel NMPC formulation for real-time obstacle avoidance on heavy equipment by modeling both vehicle and obstacles as convex superellipsoids. The combination of this approach with the separating hyperplane theorem and Optimization Engine (OpEn) allows to achieve efficient obstacle avoidance in autonomous heavy equipment and robotics. We demonstrate the efficacy of the approach through simulated and experimental results, showcasing a skid-steer loader's capability to navigate in obstructed environments.


title: Quantum-Enhanced Neural Exchange-Correlation Functionals

abstract: Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural networks can efficiently learn to represent approximations to that functional, offering accurate generalizations to molecules not present during the training process. With the latest advancements in quantum-enhanced machine learning (ML), evidence is growing that Quantum Neural Network (QNN) models may offer advantages in ML applications. In this work, we explore the use of QNNs for representing XC functionals, enhancing and comparing them to classical ML techniques. We present QNNs based on differentiable quantum circuits (DQCs) as quantum (hybrid) models for XC in KS-DFT, implemented across various architectures. We assess their performance on 1D and 3D systems. To that end, we expand existing differentiable KS-DFT frameworks and propose strategies for efficient training of such functionals, highlighting the importance of fractional orbital occupation for accurate results. Our best QNN-based XC functional yields energy profiles of the H$_2$ and planar H$_4$ molecules that deviate by no more than 1 mHa from the reference DMRG and FCI/6-31G results, respectively. Moreover, they reach chemical precision on a system, H$_2$H$_2$, not present in the training dataset, using only a few variational parameters. This work lays the foundation for the integration of quantum models in KS-DFT, thereby opening new avenues for expressing XC functionals in a differentiable way and facilitating computations of various properties.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el physics.chem-ph physics.comp-ph


title: The impact of a top-heavy IMF on the formation and evolution of dark star clusters

abstract: The Spitzer instability leads to the formation of a black hole sub-system (BHSub) at the center of a star cluster providing energy to luminous stars (LSs) and increasing their rate of evaporation. When the self-depletion time of the BHSub exceeds the evaporation time of the LSs, a dark star cluster (DSC) will appear. Using the NBODY7 code, we performed a comprehensive set of direct \Nbody simulations over a wide range of initial conditions to study the pure effect of the top-heaviness of the IMF on the formation of the DSC phase. In the Galactic tidal field, top-heavy IMFs lead to the fast evaporation of LSs and the formation of DSCs. Therefore, DSCs can be present even in the outer region of the Milky Way (MW). To successfully transition to the DSC phase, the MW Globular Clusters (GCs) must possess an initial BH mass fraction of $\widetilde{\mathit{M}}_\mathrm{BH}(0)>0.05$. For star clusters with $\widetilde{\mathit{M}}_\mathrm{BH}(0)>0.08$, the DSC phase will be created for any given initial density of the cluster and Galactocentric distance. The duration of the cluster's lifetime spent in the DSC phase shows a negative (positive) correlation with the initial density, and Galactocentric distance of the star cluster if $\widetilde{\mathit{M}}_\mathrm{BH}(0)\leq 0.12$ ($\widetilde{\mathit{M}}_\mathrm{BH}(0)\geq 0.15$). Considering the canonical IMF, it is unlikely for any MW GCs to enter the DSC phase. We discuss the BH retention fraction in view of the observed properties of the GCs of the MW.


title: Investigation of [KSF2015] 1381-19L, a WC9-type star in the high extinction Galactic region

abstract: We report a multi-wavelength study of the Wolf Rayet (WR) star: [KSF2015] 1381-19L, which is located in the solar metallicity region (Z=0.014) of the Milky Way Galaxy, strongly obscured by the interstellar dust. We perform a detailed characterization of the stellar atmosphere by fitting the spectral emission lines observed in the Optical and Near-InfraRed (NIR) bands, using CMFGEN. The best-fitted spectroscopic model indicates a highly luminous ($10^{5.89}L_{\odot}$) star with a larger radius ($15\,R_{\odot}$) and effective temperature, wind terminal velocity, and chemical composition similar to that of Galactic WC9-dusty (WC9d)-type stars. The atmospheric ionization structure shows coexisting ionization states of different elements, simultaneously affecting the opacity and thermal electron balance. Fitting of the spectral energy data (SED) reveals high interstellar optical extinction ($A_{V}=$ 8.87) while the IR extinction is found to be comparatively lower ($A_{K_{s}}=$ 0.98). We do not detect any excess emission at near-IR wavelengths due to dust. Upon comparison of our results with the GENEVA single star evolutionary models (Z=0.014), we identify the best possible progenitors ( a rotating star of $67\,M_{\odot}$ and a non-rotating star of $90\,M_{\odot}$).


title: Continuous-variable Quantum Position Verification secure against entangled attackers

abstract: Motivated by the fact that coherent states may offer practical advantages it was recently shown that a continuous-variable (CV) quantum position verification (QPV) protocol using coherent states could be securely implemented if and only if attackers do not pre-share any entanglement. In the discrete-variable (DV) analogue of that protocol it was shown that modifying how the classical input information is sent from the verifiers to the prover leads to a favourable scaling in the resource requirements for a quantum attack. In this work, we show that similar conclusions can be drawn for CV-QPV. By adding extra classical information of size $n$ to a CV-QPV protocol, we show that the protocol, which uses a coherent state and classical information, remains secure, even if the quantum information travels arbitrarily slow, against attackers who pre-share CV (entangled) states with a linear (in $n$) cutoff at the photon number. We show that the protocol remains secure for certain attenuation and excess noise.


title: Photon distillation schemes with reduced resource costs based on multiphoton Fourier interference

abstract: Improving the indistinguishability of single photons is a crucial prerequisite for achieving large-scale photonic quantum computation. Photon distillation uses quantum interference to enhance the quality of single photons, sacrificing multiple photons to generate one photon with enhanced indistinguishability. By studying multiphoton interference in Fourier matrices, we find photon distillation schemes that require fewer photons to achieve the same improvement in indistinguishability, compared to the state of the art. These results may find application as a component in large-scale photonic quantum computers.


title: Out-of-equilibrium Chiral Magnetic Effect from simulations on Euclidean lattices

abstract: We introduce the Euclidean-time correlator of axial charge and electric current as an observable that can be used to study the out-of-equilibrium Chiral Magnetic Effect (CME) in first-principle lattice QCD simulations with background magnetic field. This observable directly reflects the fact that in the background magnetic field, a state with nonzero axial charge features nonzero electric current. For free fermions, the axial-vector correlator only receives contributions from the Lowest Landau Level, and features a linear dependence on both magnetic field and temperature with a universal coefficient. With an appropriate regularization, non-vanishing axial-vector correlator is compatible with the vanishing of the CME current in thermal equilibrium state with nonzero chiral chemical potential $\mu_5$. We demonstrate that the real-time counterpart of the Euclidean-time axial-vector correlator is intimately related to the real-time form of the axial anomaly equation, which strongly limits possible corrections in full QCD. We present numerical results for the Euclidean-time axial-vector correlator in $SU(2)$ lattice gauge theory with $N_f = 2$ light quark flavours, demonstrating perfect agreement with free fermion result on both sides of the chiral crossover. The proposed methodology should help to answer the question whether the QCD corrections might be responsible for non-observation of CME in RHIC isobar run.


title: Two New $\mu-\tau$ Deviated Neutrino Mass Matrix Textures

abstract: We propose two new neutrino mass matrix textures deviating from $\mu-\tau$ symmetry and explore their phenomenological implications. Both textures predict $\theta_{23}$ and $\delta$ within sharp bounds while considering both normal and inverted ordering of neutrino masses. We try to realize these proposed textures within the framework of the seesaw mechanism, in association with the $SU(2)_L \times A_4 \times Z_3$ symmetry group.


title: Deep Learning as Ricci Flow

abstract: Deep neural networks (DNNs) are powerful tools for approximating the distribution of complex data. It is known that data passing through a trained DNN classifier undergoes a series of geometric and topological simplifications. While some progress has been made toward understanding these transformations in neural networks with smooth activation functions, an understanding in the more general setting of non-smooth activation functions, such as the rectified linear unit (ReLU), which tend to perform better, is required. Here we propose that the geometric transformations performed by DNNs during classification tasks have parallels to those expected under Hamilton's Ricci flow - a tool from differential geometry that evolves a manifold by smoothing its curvature, in order to identify its topology. To illustrate this idea, we present a computational framework to quantify the geometric changes that occur as data passes through successive layers of a DNN, and use this framework to motivate a notion of `global Ricci network flow' that can be used to assess a DNN's ability to disentangle complex data geometries to solve classification problems. By training more than $1,500$ DNN classifiers of different widths and depths on synthetic and real-world data, we show that the strength of global Ricci network flow-like behaviour correlates with accuracy for well-trained DNNs, independently of depth, width and data set. Our findings motivate the use of tools from differential and discrete geometry to the problem of explainability in deep learning.


title: Superoscillations in High Energy Physics and Gravity

abstract: We explore superoscillations within the context of classical and quantum field theories, presenting novel solutions to Klein-Gordon's, Dirac's, Maxwell's and Einstein's equations. In particular, we illustrate a procedure of second quantization of fields and how to construct a Fock space which encompasses Superoscillating states. Furthermore, we extend the application of superoscillations to quantum tunnelings, scatterings and mixings of particles, squeezed states and potential advancements in laser interferometry, which could open new avenues for experimental tests of Quantum Gravity effects. By delving into the relationship among superoscillations and phenomena such as Hawking radiation, the Black Hole (BH) information and the Firewall paradox, we propose an alternative mechanism for information transfer across the BH event horizon.


title: Study of exclusive nonleptonic decay of $B_s^0\to J/\psi K_s$

abstract: We study the exclusive two-body nonleptonic $B_s^0\to J/\psi K_s$ decay by considering the tree-level diagram within the framework of relativistic independent quark (RIQ) model based on a flavor-independent interaction potential in scalar-vector harmonic form. Using the factorization approximation, we calculate the weak form factors from the overlapping integrals of meson wave functions obtained in the RIQ model and predict the BF for $B_s^0\to J/\psi K_s$ decays in reasonable agreement with existing experimental result. Branching fraction of this decay is found to be within the detection ability of the LHCb Collaboration and can also be compared with the future theoretical predictions. We predict the ratio: ${\cal R}\big(\frac{{\cal B}(B_s^0\to J/\psi K_s)}{{\cal B}(B_d^0\to J/\psi K_s)}\big)$ which is in broad agreement with the data from LHCb Collaborations. This results indicate that the present approach works well in the description of exclusive nonleptonic $B_s^0\to J/\psi K_s$ decays within the framework of the RIQ model.


title: A Joint Microwave and Hard X-Ray Study Towards Understanding the Transport of Accelerated Electrons during an Eruptive Solar Flare

abstract: The standard flare model, despite its success, is limited in comprehensively explaining the various processes involving nonthermal particles. One such missing ingredient is a detailed understanding of the various processes involved during the transport of accelerated electrons from their site of acceleration to different parts of the flare region. Here we use simultaneous radio and X-ray observations from the Expanded Owens Valley Solar Array (EOVSA) and Spectrometer/Telescope for Imaging X-rays (STIX) onboard the Solar Orbiter (SolO), respectively, from two distinct viewing perspectives to study the electron transport processes. Through detailed spectral modeling of the coronal source using radio data and footpoint sources using X-ray spectra, we compare the nonthermal electron distribution at the coronal and footpoint sources. We find that the flux of nonthermal electrons precipitated at the footpoint is an order of magnitude greater than that trapped in the looptop, consistent with earlier works which primarily used X-ray for their studies. In addition, we find that the electron spectral indices obtained from X-ray footpoints is significantly softer than the spectral hardness of the nonthermal electron distribution in the corona. We interpret these differences based on transport effects and the difference in sensitivity of microwave and X-ray observations to different regimes of electron energies. Such an understanding is crucial for leveraging different diagnostic methods of nonthermal electrons simultaneously to achieve a more comprehensive understanding of the electron acceleration and transport processes of solar flares.


title: Hybrid Fusion for 802.11ax Wi-Fi-based Passive Radars Exploiting Beamforming Feedbacks

abstract: Passive Wi-Fi-based radars (PWRs) are devices that enable the localization of targets using Wi-Fi signals of opportunity transmitted by an access point. Unlike active radars that optimize their transmitted waveform for localization, PWRs align with the 802.11 amendments. Specifically, during the channel sounding session preceding a multi-user multiple-input multiple-output downlink transmission, an access point isotropically transmits a null data packet (NDP) with a known preamble. From these known symbols, client user equipments derive their channel state information and transmit an unencrypted beamforming feedback (BFF) back to the access point. The BFF comprises the right singular matrix of the channel and the corresponding stream gain for each subcarrier, which allows the computation of a beamforming matrix at the access point. In a classical PWR processing, only the preamble symbols from the NDP are exploited during the channel sounding session. In this study, we investigate multiple target localization by a PWR exploiting hybrid information sources. On one hand, the joint angle-of-departure and angle-of-arrival evaluated from the NDP. On another hand, the line-of-sight angle-of-departures inferred from the BFFs. The processing steps at the PWR are defined and an optimal hybrid fusion rule is derived in the maximum likelihood framework. Monte-Carlo simulations assess the enhanced accuracy of the proposed combination method compared to classical PWR processing based solely on the NDP, and compare the localisation performance between client and non-client targets.


title: What do Transformers Know about Government?

abstract: This paper investigates what insights about linguistic features and what knowledge about the structure of natural language can be obtained from the encodings in transformer language models.In particular, we explore how BERT encodes the government relation between constituents in a sentence. We use several probing classifiers, and data from two morphologically rich languages. Our experiments show that information about government is encoded across all transformer layers, but predominantly in the early layers of the model. We find that, for both languages, a small number of attention heads encode enough information about the government relations to enable us to train a classifier capable of discovering new, previously unknown types of government, never seen in the training data. Currently, data is lacking for the research community working on grammatical constructions, and government in particular. We release the Government Bank -- a dataset defining the government relations for thousands of lemmas in the languages in our experiments.


title: Sparse Explanations of Neural Networks Using Pruned Layer-Wise Relevance Propagation

abstract: Explainability is a key component in many applications involving deep neural networks (DNNs). However, current explanation methods for DNNs commonly leave it to the human observer to distinguish relevant explanations from spurious noise. This is not feasible anymore when going from easily human-accessible data such as images to more complex data such as genome sequences. To facilitate the accessibility of DNN outputs from such complex data and to increase explainability, we present a modification of the widely used explanation method layer-wise relevance propagation. Our approach enforces sparsity directly by pruning the relevance propagation for the different layers. Thereby, we achieve sparser relevance attributions for the input features as well as for the intermediate layers. As the relevance propagation is input-specific, we aim to prune the relevance propagation rather than the underlying model architecture. This allows to prune different neurons for different inputs and hence, might be more appropriate to the local nature of explanation methods. To demonstrate the efficacy of our method, we evaluate it on two types of data, images and genomic sequences. We show that our modification indeed leads to noise reduction and concentrates relevance on the most important features compared to the baseline.


title: Electrical spin manipulation in double SrTiO$_3$/LaAlO$_3$ quantum dots

abstract: The spin dynamics in two electron double quantum dots embedded in two dimensional electron gas at the interface between SrTiO$_3$ and LaAlO$_3$ is studied by an exact numerical solution of the time-dependent Schr\"odinger equation, in the context of the electric dipole spin resonance experiment. Based on the three band model of $3d$-electrons localized at Ti ions on the square lattice we analyze in details the singlet-triplet transition induced by the AC electric field, in the magnetic field range close to the avoided crossing which appears as a result of the spin-orbit coupling. Our calculations show that for symmetric double quantum dots the single photon spin-flip transitions is prohibited due to the parity symmetry and the transition can occur only by the higher order two-photon processes. For a weakly asymmetric system, when the first order singlet-triplet transitions are released due to the parity symmetry breaking, the spin-flip transition has a character of the Rabi oscillations for a low electric field amplitude. As the amplitude is increased the frequency of the transition is blueshifted (redshifted) for the magnetic field below (above) the single-triplet avoided crossing. Interestingly, for a sufficiently high magnetic field and high AC field amplitude the electric field drives the system across the avoided crossing inducing the spin-flip by the Landau-Zener-Stueckelberg-Majorana transitions with 100\% spin flip probability for a slow sweep. Finally, the optimization of the geometrical parameters of the system with respect to the time of spin-flip of its fidelity is also presented.


title: VAMP: Visual Analytics for Microservices Performance

abstract: Analysis of microservices' performance is a considerably challenging task due to the multifaceted nature of these systems. Each request to a microservices system might raise several Remote Procedure Calls (RPCs) to services deployed on different servers and/or containers. Existing distributed tracing tools leverage swimlane visualizations as the primary means to support performance analysis of microservices. These visualizations are particularly effective when it is needed to investigate individual end-to-end requests' performance behaviors. Still, they are substantially limited when more complex analyses are required, as when understanding the system-wide performance trends is needed. To overcome this limitation, we introduce vamp, an innovative visual analytics tool that enables, at once, the performance analysis of multiple end-to-end requests of a microservices system. Vamp was built around the idea that having a wide set of interactive visualizations facilitates the analyses of the recurrent characteristics of requests and their relation w.r.t. the end-to-end performance behavior. Through an evaluation of 33 datasets from an established open-source microservices system, we demonstrate how vamp aids in identifying RPC execution time deviations with significant impact on end-to-end performance. Additionally, we show that vamp can support in pinpointing meaningful structural patterns in end-to-end requests and their relationship with microservice performance behaviors.


title: A Locally Divergence-Free Oscillation-Eliminating Discontinuous Galerkin Method for Ideal Magnetohydrodynamic Equations

abstract: Numerical simulations of ideal compressible magnetohydrodynamic (MHD) equations are challenging, as the solutions are required to be magnetic divergence-free for general cases as well as oscillation-free for cases involving discontinuities. To overcome these difficulties, we develop a locally divergence-free oscillation-eliminating discontinuous Galerkin (LDF-OEDG) method for ideal compressible MHD equations. In the LDF-OEDG method, the numerical solution is advanced in time by using a strong stability preserving Runge-Kutta scheme. Following the solution update in each Runge-Kutta stage, an oscillation-eliminating (OE) procedure is performed to suppress spurious oscillations near discontinuities by damping the modal coefficients of the numerical solution. Subsequently, on each element, the magnetic filed of the oscillation-free DG solution is projected onto a local divergence-free space, to satisfy the divergence-free condition. The OE procedure and the LDF projection are fully decoupled from the Runge-Kutta stage update, and can be non-intrusively integrated into existing DG codes as independent modules. The damping equation of the OE procedure can be solved exactly, making the LDF-OEDG method remain stable under normal CFL conditions. These features enable a straightforward implementation of a high-order LDF-OEDG solver, which can be used to efficiently simulate the ideal compressible MHD equations. Numerical results for benchmark cases demonstrate the high-order accuracy, strong shock capturing capability and robustness of the LDF-OEDG method.


title: Maximally informative feature selection using Information Imbalance: Application to COVID-19 severity prediction

abstract: Clinical databases typically include, for each patient, many heterogeneous features, for example blood exams, the clinical history before the onset of the disease, the evolution of the symptoms, the results of imaging exams, and many others. We here propose to exploit a recently developed statistical approach, the Information Imbalance, to compare different subsets of patient features, and automatically select the set of features which is maximally informative for a given clinical purpose, especially in minority classes. We adapt the Information Imbalance approach to work in a clinical framework, where patient features are often categorical and are generally available only for a fraction of the patients. We apply this algorithm to a data set of ~ 1,300 patients treated for COVID-19 in Udine hospital before October 2021. Using this approach, we find combinations of features which, if used in combination, are maximally informative of the clinical fate and of the severity of the disease. The optimal number of features, which is determined automatically, turns out to be between 10 and 15. These features can be measured at admission. The approach can be used also if the features are available only for a fraction of the patients, does not require imputation and, importantly, is able to automatically select features with small inter-feature correlation. Clinical insights deriving from this study are also discussed.


title: A Bayesian Approach for Prioritising Driving Behaviour Investigations in Telematic Auto Insurance Policies

abstract: Automotive insurers increasingly have access to telematic information via black-box recorders installed in the insured vehicle, and wish to identify undesirable behaviour which may signify increased risk or uninsured activities. However, identification of such behaviour with machine learning is non-trivial, and results are far from perfect, requiring human investigation to verify suspected cases. An appropriately formed priority score, generated by automated analysis of GPS data, allows underwriters to make more efficient use of their time, improving detection of the behaviour under investigation. An example of such behaviour is the use of a privately insured vehicle for commercial purposes, such as delivering meals and parcels. We first make use of trip GPS and accelerometer data, augmented by geospatial information, to train an imperfect classifier for delivery driving on a per-trip basis. We make use of a mixture of Beta-Binomial distributions to model the propensity of a policyholder to undertake trips which result in a positive classification as being drawn from either a rare high-scoring or common low-scoring group, and learn the parameters of this model using MCMC. This model provides us with a posterior probability that any policyholder will be a regular generator of automated alerts given any number of trips and alerts. This posterior probability is converted to a priority score, which was used to select the most valuable candidates for manual investigation. Testing over a 1-year period ranked policyholders by likelihood of commercial driving activity on a weekly basis. The top 0.9% have been reviewed at least once by the underwriters at the time of writing, and of those 99.4% have been confirmed as correctly identified, showing the approach has achieved a significant improvement in efficiency of human resource allocation compared to manual searching.


title: Dipolar order controls dielectric response of glass-forming liquids

abstract: The dielectric response of liquids reflects both, reorientation of single molecular dipoles and collective modes, i.e., dipolar cross-correlations. A recent theory predicts the latter to produce an additional slow peak in the dielectric loss spectrum. Following this idea we argue that in supercooled liquids the high-frequency power law exponent of the dielectric loss $\beta$ should be correlated with the degree of dipolar order, i.e., the Kirkwood correlation factor $g_K$. This notion is confirmed for 25 supercooled liquids. While our findings support recent theoretical work the results are shown to violate the earlier Kivelson-Madden theory.


title: Mass-radius relationships and contraction of condensed planets by cooling or despinning

abstract: Condensed planets contract or expand as their temperature changes. With the exception of the effect of phase changes, this phenomenon is generally interpreted as being solely related to the thermal expansivity of the planet's components. However, changes in density affect pressure and gravity and, consequently, the planet's compressibility. A planet's radius is also linked to its rate of rotation. Here again, changes in pressure, gravity and compressibility are coupled. In this article we clarify how the radius of a condensed planet changes with temperature and rotation, using a simple and rigorous thermodynamic model. We consider condensed materials to obey a simple equation of state which generalizes a polytopic EoS as temperature varies. Using this equation, we build simple models of condensed planet's interiors including exoplanets, derive their mass-radius relationships, and study the dependence of their radius with temperature and rotation rate. We show that it depends crucially on the value of $\rho_s g R/K_s$ ($\rho_s$ being surface density, $g$ gravity, $R$ radius, $K_s$ surface incompressibility). This non-dimensional number is also the ratio of the dissipation number which appears in compressible convection and the Grune\"isen mineralogic parameter. While the radius of small planets depends on temperature, this is not the case for large planets with large dissipation numbers; Earth and a super-Earth like CoRoT-7b are in something of an intermediate state, with a moderately temperature-dependent radius. Similarly, while the radius of these two planets are functions of their rotation rates, this is not the case for smaller or larger planets.


title: Co-designing a Sub-millisecond Latency Event-based Eye Tracking System with Submanifold Sparse CNN

abstract: Eye-tracking technology is integral to numerous consumer electronics applications, particularly in the realm of virtual and augmented reality (VR/AR). These applications demand solutions that excel in three crucial aspects: low-latency, low-power consumption, and precision. Yet, achieving optimal performance across all these fronts presents a formidable challenge, necessitating a balance between sophisticated algorithms and efficient backend hardware implementations. In this study, we tackle this challenge through a synergistic software/hardware co-design of the system with an event camera. Leveraging the inherent sparsity of event-based input data, we integrate a novel sparse FPGA dataflow accelerator customized for submanifold sparse convolution neural networks (SCNN). The SCNN implemented on the accelerator can efficiently extract the embedding feature vector from each representation of event slices by only processing the non-zero activations. Subsequently, these vectors undergo further processing by a gated recurrent unit (GRU) and a fully connected layer on the host CPU to generate the eye centers. Deployment and evaluation of our system reveal outstanding performance metrics. On the Event-based Eye-Tracking-AIS2024 dataset, our system achieves 81% p5 accuracy, 99.5% p10 accuracy, and 3.71 Mean Euclidean Distance with 0.7 ms latency while only consuming 2.29 mJ per inference. Notably, our solution opens up opportunities for future eye-tracking systems. Code is available at https://github.com/CASR-HKU/ESDA/tree/eye_tracking.


title: RESFM: Robust Equivariant Multiview Structure from Motion

abstract: Multiview Structure from Motion is a fundamental and challenging computer vision problem. A recent deep-based approach was proposed utilizing matrix equivariant architectures for the simultaneous recovery of camera pose and 3D scene structure from large image collections. This work however made the unrealistic assumption that the point tracks given as input are clean of outliers. Here we propose an architecture suited to dealing with outliers by adding an inlier/outlier classifying module that respects the model equivariance and by adding a robust bundle adjustment step. Experiments demonstrate that our method can be successfully applied in realistic settings that include large image collections and point tracks extracted with common heuristics and include many outliers.


title: Fast and Robust Normal Estimation for Sparse LiDAR Scans

abstract: Light Detection and Ranging (LiDAR) technology has proven to be an important part of many robotics systems. Surface normals estimated from LiDAR data are commonly used for a variety of tasks in such systems. As most of the today's mechanical LiDAR sensors produce sparse data, estimating normals from a single scan in a robust manner poses difficulties. In this paper, we address the problem of estimating normals for sparse LiDAR data avoiding the typical issues of smoothing out the normals in high curvature areas. Mechanical LiDARs rotate a set of rigidly mounted lasers. One firing of such a set of lasers produces an array of points where each point's neighbor is known due to the known firing pattern of the scanner. We use this knowledge to connect these points to their neighbors and label them using the angles of the lines connecting them. When estimating normals at these points, we only consider points with the same label as neighbors. This allows us to avoid estimating normals in high curvature areas. We evaluate our approach on various data, both self-recorded and publicly available, acquired using various sparse LiDAR sensors. We show that using our method for normal estimation leads to normals that are more robust in areas with high curvature which leads to maps of higher quality. We also show that our method only incurs a constant factor runtime overhead with respect to a lightweight baseline normal estimation procedure and is therefore suited for operation in computationally demanding environments.


title: Blockchain in a box: A portable blockchain network implementation on Raspberry Pi's

abstract: In this paper we describe a prototype of a blockchain-in-a-box system which allows users to easily bootstrap the whole Ethereum Proof-of-Work (PoW) network running on multiple Raspberry Pi nodes - an inexpensive modular computers. Users are able to orchestrate the whole blockchain network using a single web based interface, for example they are able to set the topology of the peer-to-peer (P2P) connections and control the initialization parameters. Each Raspberry Pi has a screen attached which visualizes current state of local blockchain, allowing users to easily visualize the consensus of the network in real time. We show how this platform can be used to perform experiments on consensus quality while using different P2P topologies. Similar experiments can be used for demonstration purposes in a workshop or other educational settings.


title: Cascade Radiations of $e^\pm$ from $\gamma\gamma$-annihilation process as an extra component of the Early Optical/X-Ray Afterglows of Gamma-Ray Bursts

abstract: Chromatic break and/or plateau observed in the early optical and X-ray afterglow lightcurves challenge the conventional external shock models of gamma-ray bursts (GRBs). Detection of TeV gamma-ray afterglows indicates strong gamma-ray production within the afterglow jets. We investigate the cascade radiations of the $e^\pm$ production via the $\gamma\gamma$ interaction in the jets. Our numerical calculations show that the cascade synchrotron emission can make a significant contribution to the early optical/X-ray afterglows. The combination of the primary and cascade emission fluxes can shape a chromatic break and/or plateau in the early optical/X-ray lightcurves, depending on the jet properties. Applying our model to GRBs 050801 and 080310, we found that their optical plateaus and the late X-ray/optical lightcurves can be explained with our model in reasonable parameter values. We suggest that such a chromatic optical plateau could be a signature of strong $e^\pm$ production in GRB afterglow jets. The TeV gamma-ray flux of such kind GRBs should be significantly reduced, hence tends to be detectable for those GRBs that have a single power-law decaying optical afterglow lightcurve.


title: Affine laminations and coaffine representations

abstract: We study surface subgroups of $\mathrm{SL}(4,\mathbb R)$ acting convex cocompactly on $\mathbb R \textrm P^3$ with image in the coaffine group. The boundary of the convex core is stratified, and the one dimensional strata form a pair of bending laminations. We show that the bending data on each component consist of a convex $\mathbb R \textrm P^2$ structure and an affine measured lamination depending on the underlying convex projective structure on $S$ with (Hitchin) holonomy $\rho: \pi_1S \to \mathrm{SL}(3,\mathbb R)$. We study the space $\mathcal {ML}^\rho(S)$ of bending data compatible with $\rho$ and prove that its projectivization is a sphere of dimension $6g-7$.


title: LLM-Personalize: Aligning LLM Planners with Human Preferences via Reinforced Self-Training for Housekeeping Robots

abstract: Large language models (LLMs) have shown significant potential for robotics applications, particularly task planning, by harnessing their language comprehension and text generation capabilities. However, in applications such as household robotics, a critical gap remains in the personalization of these models to individual user preferences. We introduce LLM-Personalize, a novel framework with an optimization pipeline designed to personalize LLM planners for household robotics. Our LLM-Personalize framework features an LLM planner that performs iterative planning in multi-room, partially-observable household scenarios, making use of a scene graph constructed with local observations. The generated plan consists of a sequence of high-level actions which are subsequently executed by a controller. Central to our approach is the optimization pipeline, which combines imitation learning and iterative self-training to personalize the LLM planner. In particular, the imitation learning phase performs initial LLM alignment from demonstrations, and bootstraps the model to facilitate effective iterative self-training, which further explores and aligns the model to user preferences. We evaluate LLM-Personalize on Housekeep, a challenging simulated real-world 3D benchmark for household rearrangements, and show that LLM-Personalize achieves more than a 30 percent increase in success rate over existing LLM planners, showcasing significantly improved alignment with human preferences. Project page: https://donggehan.github.io/projectllmpersonalize/.


title: Evidence for eccentricity in the population of binary black holes observed by LIGO-Virgo-KAGRA

abstract: Binary black holes (BBHs) in eccentric orbits produce distinct modulations the emitted gravitational waves (GWs). The measurement of orbital eccentricity can provide robust evidence for dynamical binary formation channels. We analyze 57 GW events from the first, second and third observing runs of the LIGO-Virgo-KAGRA (LVK) Collaboration using a multipolar aligned-spin inspiral-merger-ringdown waveform model with two eccentric parameters: eccentricity and relativistic anomaly. This is made computationally feasible with the machine-learning code DINGO which accelerates inference by 2-3 orders of magnitude compared to traditional inference. First, we find eccentric aligned-spin versus quasi-circular aligned-spin $\log_{10}$ Bayes factors of 1.84 to 4.75 (depending on the glitch mitigation) for GW200129, 3.0 for GW190701 and 1.77 for GW200208_22. We measure $e_{\text{gw}, 10Hz}$ to be $0.27_{-0.12}^{+0.10}$ to $0.17_{-0.13}^{+0.14}$ for GW200129, $0.35_{-0.11}^{+0.32}$ for GW190701 and $0.35_{-0.21}^{+0.18}$ for GW200208_22. Second, we find $\log_{10}$ Bayes factors between the eccentric aligned-spin versus quasi-circular precessing-spin hypothesis between 1.43 and 4.92 for GW200129, 2.61 for GW190701 and 1.23 for GW200208_22. Third, our analysis does not show evidence for eccentricity in GW190521, which has an eccentric aligned-spin against quasi-circular aligned-spin $\log_{10}$ Bayes factor of 0.04. Fourth, we estimate that if we neglect the spin-precession and use an astrophysical prior, the probability of one out of the 57 events being eccentric is greater than 99.5% or $(100 - 8.4 \times 10^{-4})$% (depending on the glitch mitigation). Fifth, we study the impact on parameter estimation when neglecting either eccentricity or higher modes in eccentric models. These results underscore the importance of including eccentric parameters in the characterization of BBHs for GW detectors.


title: The asymptotic stability on the line of ground states of the pure power NLS with $0<|p-3|\ll 1$

abstract: For exponents $p$ satisfying $0<|p-3|\ll 1$ and only in the context of spatially even solutions we prove that the ground states of the nonlinear Schr\"odinger equation (NLS) with pure power nonlinearity of exponent $p$ in the line are asymptotically stable. The proof is similar to a related result of Martel, preprint arXiv:2312.11016, for a cubic quintic NLS. Here we modify the second part of Martel's argument, replacing the second virial inequality for a transformed problem with a smoothing estimate on the initial problem, appropriately tamed by multiplying the initial variables and equations by a cutoff.


title: Methodological Reconstruction of Historical Landslide Tsunamis Using Bayesian Inference

abstract: Indonesia is one of the world's most densely populated regions and lies among the epicenters of Earth's greatest natural hazards. Effectively reducing the disaster potential of these hazards through resource allocation and preparedness first requires an analysis of the risk factors of the region. Since destructive tsunamis present one of the most eminent dangers to coastal communities, understanding their sources and geological history is necessary to determine the potential future risk. Inspired by results from Cummins et al. 2020, and previous efforts that identified source parameters for earthquake-generated tsunamis, we consider landslide-generated tsunamis. This is done by constructing a probability distribution of potential landslide sources based on anecdotal observations of the 1852 Banda Sea tsunami, using Bayesian inference and scientific computing. After collecting over 100,000 samples (simulating 100,000 landslide induced tsunamis), we conclude that a landslide event provides a reasonable match to the tsunami reported in the anecdotal accounts. However, the most viable landslides may push the boundaries of geological plausibility. Future work creating a joint landslide-earthquake model may compensate for the weaknesses associated with an individual landslide or earthquake source event.


title: Laser-synthesized TiN nanoparticles as novel efficient sorbent for environmental water cleaning

abstract: Dyes used in industries such as textile, paper, and leather are known to be harmful to both human health and aquatic ecosystems. Therefore, finding effective and sustainable methods to remove dyes from wastewater is crucial for mitigating the detrimental effects of pollution.TiN nanoparticles have good absorption and conversion of light energy into thermal energy in the visible range of the spectrum, which makes them promising in various applications, from biomedical to environmental protection. In this work, it is shown that titanium nitride nanoparticles also possess promising adsorption capabilitieseffect. TiN nanoparticles were synthesized by laser ablation method in liquid. Water, acetone and acetonitrile are used as solvent. Nanoparticles were characterized by scanning and transmission microscopy, Raman spectroscopy, which showed the formation of the under-stoichiometric titanium nitride (TiN1-x). TiN nanoparticles are investigated as a promising object for high adsorption It is shown that adsorption of TiN nanoparticles is associated with the electrostatic effect and the presence of pores in the synthesized nanoparticles. Optimal dye absorption capabilities were found to be associated with a low amount of Ti vacancies and high amount of N vacancies acting as donor states. The particles synthesized in water have the highest sorption capacity of dye achieving the value of 136.5 mg/g.


title: Comparison of h-BN and graphene layers as grain boundary materials for granular FePt-$\text{L}1_0$ thin films

abstract: Granular $\text{L}1_0$-FePt thin films with small columnar grains are essential for heat-assisted magnetic recording media. While hexagonal boron nitride(h-BN) has proven effective for promoting columnar FePt grains, we explored multilayer graphene as an alternative grain boundary material leveraging its structural similarity to h-BN. The FePt granular thin films with carbon-based grain boundary materials(GBMs) were deposited by cosputtering on Si/SiO2 substrates with substrate bias at 650{\deg}C. The RF bias and high temperature facilitated formation of interlinked graphene nanoribbons wrapping around FePt grains, yielding 7.5 nm diameter, 8 nm height grains with an order parameter of 0.78 and a perpendicular coercivity of 40 kOe. However, the formation of graphene nanoribbons could not effectively promote columnar structures, likely due to co-existing amorphous carbon in grain boundaries. Optimizing deposition to improve graphene grain boundary quality is necessary to realize this 2D material's potential for achieving desirable microstructures for HAMR media.


title: Classification of a class of planar polynomials

abstract: Let $p$ be an odd prime, $k,\ell$ be positive integers, $q=p^k, Q=p^{\ell}$. In this paper we characterise planar functions of the form $f_{\underline{c}}(X)=c_0X^{qQ+q}+c_1X^{qQ+1}+c_2X^{Q+q}+c_3X^{Q+1}$ over $\mathbb{F}_{q^2}$ for any $\underline{c}=(c_0,c_1,c_2,c_3) \in \mathbb{F}_{q^2}^4$ in terms of linear equivalence.


title: Navier-Stokes equations for nearly integrable quantum gases

abstract: The Navier-Stokes equations are paradigmatic equations describing hydrodynamics of an interacting system with microscopic interactions encoded in transport coefficients. In this work we show how the Navier-Stokes equations arise from the microscopic dynamics of nearly integrable $1d$ quantum many-body systems. We build upon the recently developed hydrodynamics of integrable models to study the effective Boltzmann equation with collision integral taking into account the non-integrable interactions. We compute the transport coefficients and find that the resulting Navier-Stokes equations have two regimes, which differ in the viscous properties of the resulting fluid. We illustrate the method by computing the transport coefficients for an experimentally relevant case of coupled $1d$ cold-atomic gases.


title: PM2D: A parallel GPU-based code for the kinetic simulation of laser plasma instabilities in large scale plasmas

abstract: Laser plasma instabilities (LPIs) have significant influences on the laser energy deposition efficiency, hot electron generation, and uniformity of irradiation in inertial confined fusion (ICF). In contrast to theoretical analysis of linear development of LPIs, numerical simulations play a more and more important role in revealing the complex physics of LPIs. Since LPIs are typically a three-wave coupling process, the precise kinetic simulation of LPIs requires to resolve the laser period (around one femtosecond) and laser wavelength (less than one micron). In this paper, a full wave fluid model of LPIs is constructed and numerically solved by the particle-mesh method, where the plasma is described by macro particles that can move across the mesh grids freely. Based upon this model, a two-dimensional (2D) GPU code named PM2D is developed. It can simulate the kinetic effects of LPIs self-consistently as normal particle-in-cell (PIC) codes. Moreover, as the physical model adopted in the PM2D code is specifically constructed for LPIs, the required macro particles per grid in the simulations can be largely reduced and thus overall simulation cost is considerably reduced comparing with typical PIC codes. Moreover, the numerical noise in our PM2D code is much lower, which makes it more robust than PIC codes in the simulation of LPIs for the long-time scale above 10 picoseconds. After the distributed computing is realized, our PM2D code is able to run on GPU clusters with a total mesh grids up to several billions, which meets the typical requirements for the simulations of LPIs at ICF experimental scale with reasonable cost.


title: A Survey on Efficient Inference for Large Language Models

abstract: Large Language Models (LLMs) have attracted extensive attention due to their remarkable performance across various tasks. However, the substantial computational and memory requirements of LLM inference pose challenges for deployment in resource-constrained scenarios. Efforts within the field have been directed towards developing techniques aimed at enhancing the efficiency of LLM inference. This paper presents a comprehensive survey of the existing literature on efficient LLM inference. We start by analyzing the primary causes of the inefficient LLM inference, i.e., the large model size, the quadratic-complexity attention operation, and the auto-regressive decoding approach. Then, we introduce a comprehensive taxonomy that organizes the current literature into data-level, model-level, and system-level optimization. Moreover, the paper includes comparative experiments on representative methods within critical sub-fields to provide quantitative insights. Last but not least, we provide some knowledge summary and discuss future research directions.


title: $\Lambda$ polarization in very high energy heavy ion collisions as a probe of the Quark-Gluon Plasma formation and properties

abstract: We have studied the spin polarization of $\Lambda$ hyperons in heavy ion collisions at center-of-mass energies $\sqrt{s_{NN}} = 200$ GeV and $\sqrt{s_{NN}} = 5.02$ TeV carried out at RHIC and LHC colliders. We have calculated the mean spin vector at local thermodynamic equilibrium, including all known first-order terms in the gradients of the thermo-hydrodynamic fields, assuming that the hadronization hypersurface has a uniform temperature. We have also included the feed-down contributions to the polarization of $\Lambda$ stemming from the decays of polarized $\Sigma^*$ and $\Sigma^0$ hyperons. The obtained results are in good agreement with the data. In general, the component of the spin vector along the global angular momentum, orthogonal to the reaction plane, shows strong sensitivity to the initial longitudinal flow velocity. Furthermore, the longitudinal component of the spin vector turns out to be very sensitive to the bulk viscosity of the plasma at the highest LHC energy. Therefore, the azimuthal dependence of spin polarization can effectively constrain the initial hydrodynamic conditions and the transport coefficients of the Quark Gluon Plasma.


title: Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach

abstract: Recent years have witnessed significant progress in developing deep learning-based models for automated code completion. Although using source code in GitHub has been a common practice for training deep-learning-based models for code completion, it may induce some legal and ethical issues such as copyright infringement. In this paper, we investigate the legal and ethical issues of current neural code completion models by answering the following question: Is my code used to train your neural code completion model? To this end, we tailor a membership inference approach (termed CodeMI) that was originally crafted for classification tasks to a more challenging task of code completion. In particular, since the target code completion models perform as opaque black boxes, preventing access to their training data and parameters, we opt to train multiple shadow models to mimic their behavior. The acquired posteriors from these shadow models are subsequently employed to train a membership classifier. Subsequently, the membership classifier can be effectively employed to deduce the membership status of a given code sample based on the output of a target code completion model. We comprehensively evaluate the effectiveness of this adapted approach across a diverse array of neural code completion models, (i.e., LSTM-based, CodeGPT, CodeGen, and StarCoder). Experimental results reveal that the LSTM-based and CodeGPT models suffer the membership leakage issue, which can be easily detected by our proposed membership inference approach with an accuracy of 0.842, and 0.730, respectively. Interestingly, our experiments also show that the data membership of current large language models of code, e.g., CodeGen and StarCoder, is difficult to detect, leaving amper space for further improvement. Finally, we also try to explain the findings from the perspective of model memorization.


title: Ultrafast low-energy photoelectron diffraction for the study of surface-adsorbate interactions with 100 femtosecond temporal resolution

abstract: An ultrafast photoemission-based low-energy electron diffraction experiment with monolayer surface sensitivity is presented. In a first experiment on tin-phthalocyanine adsorbed on graphite, we demonstrate a time resolution of approx. 100 fs. Analysis of the transient photoelectron diffraction signal indicates a heating of the adsorbate layer on a time scale of a few ps, suggesting coupling to phononic degrees of freedom of the substrate as the primary energy transfer channel for the vibrational excitation of the adsorbate layer. Remarkably, the transient photoelectron diffraction signal not only provides direct information about the structural dynamics of the adsorbate, but also about the charge carrier dynamics of the substrate. The presented concept combined with momentum microscopy could become a versatile tool for the comprehensive investigation of the coupled charge and vibrational dynamics of relevance for ultrafast surface processes.


title: Constraints on PDS 70 b and c from the dust continuum emission of the circumplanetary discs considering in situ dust evolution

abstract: The young T Tauri star PDS 70 has two gas accreting planets sharing one large gap in a pre-transitional disc. Dust continuum emission from PDS 70 c has been detected by Atacama Large Millimeter/submillimeter Array (ALMA) Band 7, considered as the evidence of a circumplanetary disc, but the emission from PDS 70 b has not. We constrain the planet mass and the gas accretion rate of the planets by introducing a model of dust evolution in the CPDs and reproducing the detection and non-detection. We first develop a 1D steady gas disc model of the CPDs reflecting the planet properties. We then calculate the radial distribution of the dust profiles considering the dust evolution in the gas disc and calculate the total flux density of dust thermal emission from the CPDs. We find positive correlations between the flux density and three planet properties, the planet mass, gas accretion rate, and their product called "MMdot". We then find that the MMdot of PDS 70 c is larger than 0.4 MJ^2/Myr, and the planet mass and the gas accretion rate are larger than 5MJ and 0.02 MJ/Myr, respectively. This is the first case to succeed in obtaining constraints on planet properties from the flux density of dust continuum from a CPD. We also find some loose constraints on the properties of PDS 70 b from the non-detection. We propose possible scenarios for the planets explaining the non-detection respectively detection of the dust emission. The first explanation is that planet c has larger planet mass and/or larger gas accretion rate than planet b. The other possibility is that the CPD of planet c has a larger amount of dust supply and/or weaker turbulence than that of planet b. If the dust supply to planet c is larger than b due to its closeness to the outer dust ring, it is also quantitatively consistent with that planet c has weaker H-alpha line emission than planet b considering the dust extinction effect.


title: A Cross-Platform Execution Engine for the Quantum Intermediate Representation

abstract: Hybrid languages like the Quantum Intermediate Representation (QIR) are essential for programming systems that mix quantum and conventional computing models, while execution of these programs is often deferred to a system-specific implementation. Here, we describe and demonstrate the QIR Execution Engine (QIR-EE) for parsing, interpreting, and executing QIR across multiple hardware platforms. QIR-EE uses LLVM to execute hybrid instructions specifying quantum programs and, by design, presents extension points that support customized runtime and hardware environments. We demonstrate an implementation that uses the XACC quantum hardware-accelerator library to dispatch prototypical quantum programs on different commercial quantum platforms and numerical simulators, and we validate execution of QIR-EE on the IonQ Harmony and Quantinuum H1-1 hardware. Our results highlight the efficiency of hybrid executable architectures for handling mixed instructions, managing mixed data, and integrating with quantum computing frameworks to realize cross-platform execution.


title: Linear Search for an Escaping Target with Unknown Speed

abstract: We consider linear search for an escaping target whose speed and initial position are unknown to the searcher. A searcher (an autonomous mobile agent) is initially placed at the origin of the real line and can move with maximum speed $1$ in either direction along the line. An oblivious mobile target that is moving away from the origin with an unknown constant speed $v<1$ is initially placed by an adversary on the infinite line at distance $d$ from the origin in an unknown direction. We consider two cases, depending on whether $d$ is known or unknown. The main contribution of this paper is to prove a new lower bound and give algorithms leading to new upper bounds for search in these settings. This results in an optimal (up to lower order terms in the exponent) competitive ratio in the case where $d$ is known and improved upper and lower bounds for the case where $d$ is unknown. Our results solve an open problem proposed in [Coleman et al., Proc. OPODIS 2022].


title: Marking: Visual Grading with Highlighting Errors and Annotating Missing Bits

abstract: In this paper, we introduce "Marking", a novel grading task that enhances automated grading systems by performing an in-depth analysis of student responses and providing students with visual highlights. Unlike traditional systems that provide binary scores, "marking" identifies and categorizes segments of the student response as correct, incorrect, or irrelevant and detects omissions from gold answers. We introduce a new dataset meticulously curated by Subject Matter Experts specifically for this task. We frame "Marking" as an extension of the Natural Language Inference (NLI) task, which is extensively explored in the field of Natural Language Processing. The gold answer and the student response play the roles of premise and hypothesis in NLI, respectively. We subsequently train language models to identify entailment, contradiction, and neutrality from student response, akin to NLI, and with the added dimension of identifying omissions from gold answers. Our experimental setup involves the use of transformer models, specifically BERT and RoBERTa, and an intelligent training step using the e-SNLI dataset. We present extensive baseline results highlighting the complexity of the "Marking" task, which sets a clear trajectory for the upcoming study. Our work not only opens up new avenues for research in AI-powered educational assessment tools, but also provides a valuable benchmark for the AI in education community to engage with and improve upon in the future. The code and dataset can be found at https://github.com/luffycodes/marking.


title: A Global Minimum Tax for Large Firms Only: Implications for Tax Competition

abstract: The Global Minimum Tax (GMT) is applied only to firms above a certain size threshold. We set up a simple model of tax competition and profit shifting by heterogeneous multinational firms to evaluate the effects of this partial coverage of the GMT. A non-haven and a haven country are bound by the GMT rate for large multinationals, but can set tax rates for firms below the threshold non-cooperatively. We show that the introduction of the GMT with a moderate tax rate increases tax revenues in both the non-haven and the haven countries. Gradual increases in the GMT rate, however, trigger a sudden change in the tax competition equilibrium from a uniform to a split corporate tax rate, at which tax revenues in the non-haven country decline. In contrast, gradual increases in the coverage of the GMT never harm the non-haven country. We also discuss the quantitative effects of introducing a $15\%$ GMT rate in a calibrated version of our model.


title: Orthogonal Laurent polynomials of two real variables

abstract: In this paper we consider an appropriate ordering of the Laurent monomials $x^{i}y^{j}$, $i,j \in {\mathbb Z}$ that allows us to study sequences of orthogonal Laurent polynomials of the real variables $x$ and $y$ with respect to a positive Borel measure $\mu$ defined on ${\mathbb R}^2$ such that $\{ x=0 \}\cup \{ y=0 \} \not\in \textrm{supp}(\mu)$. This ordering is suitable for considering the {\em multiplication plus inverse multiplication operator} on each varibale $\left( x+\frac{1}{x}\right.$ and $\left. y+\frac{1}{y}\right)$, and as a result we obtain five-term recurrence relations, Christoffel-Darboux and confluent formulas for the reproducing kernel and a related Favard's theorem. A connection with the one variable case is also presented.


title: Explaining Arguments' Strength: Unveiling the Role of Attacks and Supports (Technical Report)

abstract: Quantitatively explaining the strength of arguments under gradual semantics has recently received increasing attention. Specifically, several works in the literature provide quantitative explanations by computing the attribution scores of arguments. These works disregard the importance of attacks and supports, even though they play an essential role when explaining arguments' strength. In this paper, we propose a novel theory of Relation Attribution Explanations (RAEs), adapting Shapley values from game theory to offer fine-grained insights into the role of attacks and supports in quantitative bipolar argumentation towards obtaining the arguments' strength. We show that RAEs satisfy several desirable properties. We also propose a probabilistic algorithm to approximate RAEs efficiently. Finally, we show the application value of RAEs in fraud detection and large language models case studies.


title: "I Upload...All Types of Different Things to Say, the World of Blindness Is More Than What They Think It Is": A Study of Blind TikTokers' Identity Work from a Flourishing Perspective

abstract: Identity work in Human-Computer Interaction (HCI) has focused on the marginalized group to explore designs to support their asset (what they have). However, little has been explored specifically on the identity work of people with disabilities, specifically, visual impairments. In this study, we interviewed 45 BlindTokers (blind users on TikTok) from various backgrounds to understand their identity work from a positive design perspective. We found that BlindTokers leverage the affordance of the platform to create positive content, share their identities, and build the community with the desire to flourish. We proposed flourishing labor to present the work conducted by BlindTokers for their community's flourishing with implications to support the flourishing labor. This work contributes to understanding blind users' experience in short video platforms and highlights that flourishing is not just an activity for any single Blind user but also a job that needs all stakeholders, including all user groups and the TikTok platform, serious and committed contribution.


title: Twisted nonlinear optics in monolayer van der Waals crystals

abstract: In addition to a plethora of emergent phenomena, the spatial topology of optical vortices enables an array of applications spanning communications to quantum photonics. Nonlinear optics is essential in this context, providing access to an infinitely large set of quantum states associated with the orbital angular momentum of light. Nevertheless, the realization of such processes have failed to keep pace with the ever-growing need to shrink the fundamental length-scale of photonic technologies to the nanometer regime6. Here, we push the boundaries of vortex nonlinear optics to the ultimate limits of material dimensionality. By exploiting second and third-order frequency-mixing processes in semiconducting monolayers, we demonstrate the independent manipulation of the wavelength, orbital angular momentum, and spatial distribution of vortex light-fields. Due to the atomically-thin nature of the host quantum material, this control spans a broad spectral bandwidth in a highly-integrable platform, unconstrained by the traditional limits of bulk nonlinear optical materials. Our work heralds a new avenue for ultra-compact and scalable hybrid nanotechnologies empowered by twisted nonlinear light-matter interactions in van der Waals quantum nanomaterials.


title: One Trillion True Random Bits Generated with a Field Programmable Gate Array Actuated Magnetic Tunnel Junction

abstract: Large quantities of random numbers are crucial in a wide range of applications. We have recently demonstrated that perpendicular nanopillar magnetic tunnel junctions (pMTJs) can produce true random bits when actuated with short pulses. However, our implementation used high-end and expensive electronics, such as a high bandwidth arbitrary waveform generator and analog-to-digital converter, and was limited to relatively low data rates. Here, we significantly increase the speed of true random number generation (TRNG) of our stochastic actuated pMTJs (SMART-pMTJs) using Field Programmable Gate Arrays (FPGAs), demonstrating the generation of over $10^{12}$ bits at rates exceeding 10Mb/s. The resulting bitstreams pass the NIST Statistical Test Suite for randomness with only one XOR operation. In addition to a hundred-fold reduction in the setup cost and a thousand-fold increase in bitrate, the advancement includes simplifying and optimizing random bit generation with a custom-designed analog daughter board to interface an FPGA and SMART-pMTJ. The resulting setup further enables FPGA at-speed processing of MTJ data for stochastic modeling and cryptography.


title: Extensions of discrete Helly theorems for boxes

abstract: We prove extensions of Halman's discrete Helly theorem for axis-parallel boxes in $\mathbb{R}^d$. Halman's theorem says that, given a set $S$ in $\mathbb{R}^d$, if $F$ is a finite family of axis-parallel boxes such that the intersection of any $2d$ contains a point of $S$, then the intersection of $F$ contains a point of $S$. We prove colorful, fractional, and quantitative versions of Halman's theorem. For the fractional versions, it is enough to check that many $(d+1)$-tuples of the family contain points of $S$. Among the colorful versions we include variants where the coloring condition is replaced by an arbitrary matroid. Our results generalize beyond axis-parallel boxes to $H$-convex sets.


title: Towards Better Adversarial Purification via Adversarial Denoising Diffusion Training

abstract: Recently, diffusion-based purification (DBP) has emerged as a promising approach for defending against adversarial attacks. However, previous studies have used questionable methods to evaluate the robustness of DBP models, their explanations of DBP robustness also lack experimental support. We re-examine DBP robustness using precise gradient, and discuss the impact of stochasticity on DBP robustness. To better explain DBP robustness, we assess DBP robustness under a novel attack setting, Deterministic White-box, and pinpoint stochasticity as the main factor in DBP robustness. Our results suggest that DBP models rely on stochasticity to evade the most effective attack direction, rather than directly countering adversarial perturbations. To improve the robustness of DBP models, we propose Adversarial Denoising Diffusion Training (ADDT). This technique uses Classifier-Guided Perturbation Optimization (CGPO) to generate adversarial perturbation through guidance from a pre-trained classifier, and uses Rank-Based Gaussian Mapping (RBGM) to convert adversarial pertubation into a normal Gaussian distribution. Empirical results show that ADDT improves the robustness of DBP models. Further experiments confirm that ADDT equips DBP models with the ability to directly counter adversarial perturbations.


title: Cryogenic sapphire optical reference cavity with crystalline coatings at $\mathrm{ 1 \times 10^{-16}}$ fractional instability

abstract: The frequency stability of a laser locked to an optical reference cavity is fundamentally limited by thermal noise in the cavity length. These fluctuations are linked to material dissipation, which depends both on the temperature of the optical components and the material properties. Here, the design and experimental characterization of a sapphire optical cavity operated at 10 K with crystalline coatings at 1069 nm is presented. Theoretical estimates of the thermo-mechanical noise indicate a thermal noise floor below $\mathrm{4.5\times10^{-18}}$. Major technical noise contributions including vibrations, temperature fluctuations, and residual amplitude modulation are characterized in detail. The short-term performance is measured via a three-cornered hat analysis with two other cavity-stabilized lasers, yielding a noise floor of $1\times10^{-16}$. The long-term performance is measured against an optical lattice clock, indicating cavity stability at the level of $2\times10^{-15}$ for averaging times up to 10,000 s.


title: Morphology and structural properties of thin rubrene crystallites grown on graphite

abstract: Crystallization of rubrene, progressing from an amorphous phase to a triclinic meta-stable and ultimately to the orthorhombic stable phase, offers broad applications not only in organic electronic devices but also for in-depth studies of optical and electronic properties, including exciton distribution and dynamics. We investigate the crystallization of rubrene on highly oriented pyrolytic graphite (HOPG), aiming at the growth of the preferred rubrene orthorhombic phase, which has been reported to have one of the highest charge mobilities in organic semiconductors. This is achieved through controlled heating and enhanced partial pressure. Through precise control of the initial deposition on the substrate, we investigate the growth habit of rubrene crystals by high-rate heat treatment beyond the second crystallization temperature. Furthermore, this work addresses thermal stability and photodegradation across various morphologies.


title: Structure-preserving neural networks for the regularized entropy-based closure of the Boltzmann moment system

abstract: The main challenge of large-scale numerical simulation of radiation transport is the high memory and computation time requirements of discretization methods for kinetic equations. In this work, we derive and investigate a neural network-based approximation to the entropy closure method to accurately compute the solution of the multi-dimensional moment system with a low memory footprint and competitive computational time. We extend methods developed for the standard entropy-based closure to the context of regularized entropy-based closures. The main idea is to interpret structure-preserving neural network approximations of the regularized entropy closure as a two-stage approximation to the original entropy closure. We conduct a numerical analysis of this approximation and investigate optimal parameter choices. Our numerical experiments demonstrate that the method has a much lower memory footprint than traditional methods with competitive computation times and simulation accuracy.


title: Self-Supervised Alignment with Mutual Information: Learning to Follow Principles without Preference Labels

abstract: When prompting a language model (LM), users often expect the model to adhere to a set of behavioral principles across diverse tasks, such as producing insightful content while avoiding harmful or biased language. Instilling such principles (i.e., a constitution) into a model is resource-intensive, technically challenging, and generally requires human preference labels or examples. We introduce SAMI, an iterative algorithm that finetunes a pretrained language model (without requiring preference labels or demonstrations) to increase the conditional mutual information between constitutions and self-generated responses given queries from a dataset. On single-turn dialogue and summarization, a SAMI-trained mistral-7b outperforms the initial pretrained model, with win rates between 66% and 77%. Strikingly, it also surpasses an instruction-finetuned baseline (mistral-7b-instruct) with win rates between 55% and 57% on single-turn dialogue. SAMI requires a model that writes the principles. To avoid dependence on strong models for writing principles, we align a strong pretrained model (mixtral-8x7b) using constitutions written by a weak instruction-finetuned model (mistral-7b-instruct), achieving a 65% win rate on summarization. Finally, we investigate whether SAMI generalizes to diverse summarization principles (e.g., "summaries should be scientific") and scales to stronger models (llama3-70b), finding that it achieves win rates of up to 68% for learned and 67% for held-out principles compared to the base model. Our results show that a pretrained LM can learn to follow constitutions without using preference labels, demonstrations, or human oversight.


title: Multipole magnons in topological skyrmion lattices resolved by cryogenic Brillouin light scattering microscopy

abstract: Non-collinear magnetic skyrmion lattices provide novel magnonic functionalities due to their topological magnon bands and asymmetric dispersion relations. Magnon excitations with intermediate wavelengths comparable to inter-skyrmion distances are particularly interesting but largely unexplored so far due to experimental challenges. Here, we report the detection of such magnons with wavevectors q $\simeq$ 48 rad/um in the metastable skyrmion lattice phase of the bulk chiral magnet Cu$_2$OSeO$_3$ using micro-focused Brillouin light scattering microscopy. Thanks to its high sensitivity and broad bandwidth we resolved various excitation modes of a single skyrmion lattice domain over a wide magnetic field regime. Besides the known modes with dipole character, quantitative comparison of frequencies and spectral weights to theoretical predictions enabled the identification of a quadrupole mode and observation of signatures which we attribute to a decupole and a sextupole mode. Our combined experimental and theoretical work highlights that skyrmionic phases allow for the design of magnonic devices exploiting topological magnon bands.


title: Magneto-optical detection of spin-orbit torque vector with first-order Kerr effects

abstract: We have developed a novel, compact and cost-effective magneto-optical method for quantifying the spin-orbit torque (SOT) effective field vector (hSO) in magnetic thin films subjected to spin current injection. The damping-like (hSODL) component of the vector is obtained by the polar Kerr response arising from the out-of-plane magnetization tilting, whereas the field-like component (hSODL) is obtained by current-induced hysteresis-loop shifting study, using conventional longitudinal Kerr magnetometry. We tested our method in FM/NM bilayers comprising NiFe, CoFeB (ferromagnetic layers) and Pt, Pd, Ta (non-magnetic layers). Our findings revealed a damping-like SOT efficiency xiDL of 0.089 pm 0.006,0.019 pm 0.002, and -0.132 pm 0.009 for Pt, Pd, and Ta, respectively. The hSOFL/hSODL ratio was 0.35 pm 0.02 for NiFe/Pt and 0.14 pm 0.002 for Ta/CoFeB bilayers when the ferromagnetic layer thickness is 4nm. A key advancement over the state-of-art magneto-optical methods is the use of an oblique light incidence angle, which allows switching between measuring modes for hSODL and hSOFL, without altering the experimental setup. Moreover, our approach relies exclusively on first-order Kerr effects, thereby ensuring its broad applicability to any type of ferromagnetic material.


title: Automated Long Answer Grading with RiceChem Dataset

abstract: We introduce a new area of study in the field of educational Natural Language Processing: Automated Long Answer Grading (ALAG). Distinguishing itself from Automated Short Answer Grading (ASAG) and Automated Essay Grading (AEG), ALAG presents unique challenges due to the complexity and multifaceted nature of fact-based long answers. To study ALAG, we introduce RiceChem, a dataset derived from a college chemistry course, featuring real student responses to long-answer questions with an average word count notably higher than typical ASAG datasets. We propose a novel approach to ALAG by formulating it as a rubric entailment problem, employing natural language inference models to verify whether each criterion, represented by a rubric item, is addressed in the student's response. This formulation enables the effective use of MNLI for transfer learning, significantly improving the performance of models on the RiceChem dataset. We demonstrate the importance of rubric-based formulation in ALAG, showcasing its superiority over traditional score-based approaches in capturing the nuances of student responses. We also investigate the performance of models in cold start scenarios, providing valuable insights into the practical deployment considerations in educational settings. Lastly, we benchmark state-of-the-art open-sourced Large Language Models (LLMs) on RiceChem and compare their results to GPT models, highlighting the increased complexity of ALAG compared to ASAG. Despite leveraging the benefits of a rubric-based approach and transfer learning from MNLI, the lower performance of LLMs on RiceChem underscores the significant difficulty posed by the ALAG task. With this work, we offer a fresh perspective on grading long, fact-based answers and introduce a new dataset to stimulate further research in this important area. Code: \url{https://github.com/luffycodes/Automated-Long-Answer-Grading}.


title: Meta-GGAs vs. Hybrid Functionals for Point Defects: The Best of Both Worlds Applied to Layered MnO$_2$, NiO$_2$ and KCoO$_2$

abstract: Defects in a material can significantly tune properties and enhance utility. Hybrid functionals like HSE06 are often used to describe solids with such defects. However, geometry optimization (including accounting for effects such as Jahn-Teller distortion) using hybrid functionals is challenging for the large supercells needed for defect study. The proposed r$^2$SCAN+rVV10+U+$\mathrm{U_d}$ method, which is computationally much cheaper and faster than hybrid functionals, can successfully describe defects in materials with the proper choice of U (for the d orbitals of the host atom) and $\mathrm{U_d}$ (for those of the defect atom), as shown here for small polaron defects in layered transition-metal oxides. We use a literature value of U or $\mathrm{U_d}$ appropriate to a given transition-metal ion and its oxidation state. The layered materials birnessite ($\mathrm{K_nMnO_2}, n=0.03 $) and $\mathrm{K_nNiO_2},n=0.03$, with one K atom intercalated between layers in a supercell, are found to have one localized occupied $\mathrm{e_g}$ polaronic state on the transition metal ion reduced by the insertion of the K atom, when the geometry is calculated as above using published U values. The expected Jahn-Teller distortion is not observed when U=$\mathrm{U_d}$=0. Layered cobalt oxide with additional potassium ions intercalated ($\mathrm{K_nCoO_2},n=1.03$) is different, due to a dramatic difference in electronic configuration of the defected Co(II) ion: A single extra K atom in the supercell leads to four localized electrons in the band gap, using standard U values, and even for U=$\mathrm{U_d}$=0.


title: Twisted holography on AdS$_3 \times S^3 \times K3$ & the planar chiral algebra

abstract: In this work, we revisit and elaborate on twisted holography for AdS$_3 \times S^3 \times X$ with $X= T^4$, K3, with a particular focus on K3. We describe the twist of supergravity, identify the corresponding (generalization of) BCOV theory, and enumerate twisted supergravity states. We use this knowledge, and the technique of Koszul duality, to obtain the $N \rightarrow \infty$, or planar, limit of the chiral algebra of the dual CFT. The resulting symmetries are strong enough to fix planar 2 and 3-point functions in the twisted theory or, equivalently, in a 1/4-BPS subsector of the original duality. This technique can in principle be used to compute corrections to the chiral algebra perturbatively in $1/N$.


title: Multi-Agent Hybrid SAC for Joint SS-DSA in CRNs

abstract: Opportunistic spectrum access has the potential to increase the efficiency of spectrum utilization in cognitive radio networks (CRNs). In CRNs, both spectrum sensing and resource allocation (SSRA) are critical to maximizing system throughput while minimizing collisions of secondary users with the primary network. However, many works in dynamic spectrum access do not consider the impact of imperfect sensing information such as mis-detected channels, which the additional information available in joint SSRA can help remediate. In this work, we examine joint SSRA as an optimization which seeks to maximize a CRN's net communication rate subject to constraints on channel sensing, channel access, and transmit power. Given the non-trivial nature of the problem, we leverage multi-agent reinforcement learning to enable a network of secondary users to dynamically access unoccupied spectrum via only local test statistics, formulated under the energy detection paradigm of spectrum sensing. In doing so, we develop a novel multi-agent implementation of hybrid soft actor critic, MHSAC, based on the QMIX mixing scheme. Through experiments, we find that our SSRA algorithm, HySSRA, is successful in maximizing the CRN's utilization of spectrum resources while also limiting its interference with the primary network, and outperforms the current state-of-the-art by a wide margin. We also explore the impact of wireless variations such as coherence time on the efficacy of the system.


title: Bisecting masses with families of parallel hyperplanes

abstract: We prove a common generalization to several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings with hyperplanes with fixed directions, and all known cases of Langerman's conjecture about equipartitions with $n$ hyperplanes. Our main result also confirms an infinite number of previously unknown cases of the following conjecture of Takahashi and Sober\'on: For any $d+k-1$ measures in $\mathbb{R}^d$, there exist an arrangement of $k$ parallel hyperplanes that bisects each of the measures. The general result follows from the case of measures that are supported on a finite set with an odd number of points. The proof for this case is inspired by ideas of differential and algebraic topology, but it is a completely elementary parity argument.


title: Mechanisms for producing Primordial Black Holes from Inflationary Models Beyond Fine-Tuning

abstract: In this study, we present an analysis of the fine-tuning required in various inflationary models in order to explain the production of Primordial Black Holes (PBHs). We specifically examine the degree of fine-tuning necessary in two prominent single field inflationary models: those with an inflection point and those with step-like features in the potential. Our findings indicate that models with step-like features generally require less fine-tuning compared to those with an inflection point, making them more viable for consistent PBH production. An interesting outcome of these models is that, in addition to improved fine-tuning, they may also predict low-frequency signals that can be detected by pulsar timing array (PTA) collaborations. Additionally, we extend our analysis to multifield inflationary models to assess whether the integration of additional fields can further alleviate the fine-tuning demands. The study also explores the role of a spectator field and its impact on the fine-tuning process. Through a comparative analysis across these models, we evaluate their parametric sensitivities and alignment with the constraints from Cosmic Microwave Background (CMB) observations. Our results indicate that although mechanisms involving a spectator field can circumvent the issue of fine-tuning parameters for PBH production, both multifield models and models with step-like features present promising alternatives. While fine-tuning involves multiple considerations, our primary objective is to evaluate various inflationary models to identify the one that most naturally explains the formation of PBHs. Hence, this study aims to the development of less constrained inflationary scenarios that align with observational data and support the theoretical possibility of PBH production.


title: A Novel Approach to Chest X-ray Lung Segmentation Using U-net and Modified Convolutional Block Attention Module

abstract: Lung segmentation in chest X-ray images is of paramount importance as it plays a crucial role in the diagnosis and treatment of various lung diseases. This paper presents a novel approach for lung segmentation in chest X-ray images by integrating U-net with attention mechanisms. The proposed method enhances the U-net architecture by incorporating a Convolutional Block Attention Module (CBAM), which unifies three distinct attention mechanisms: channel attention, spatial attention, and pixel attention. The channel attention mechanism enables the model to concentrate on the most informative features across various channels. The spatial attention mechanism enhances the model's precision in localization by focusing on significant spatial locations. Lastly, the pixel attention mechanism empowers the model to focus on individual pixels, further refining the model's focus and thereby improving the accuracy of segmentation. The adoption of the proposed CBAM in conjunction with the U-net architecture marks a significant advancement in the field of medical imaging, with potential implications for improving diagnostic precision and patient outcomes. The efficacy of this method is validated against contemporary state-of-the-art techniques, showcasing its superiority in segmentation performance.