title: Spatial-frequency Dual-Domain Feature Fusion Network for Low-Light Remote Sensing Image Enhancement

abstract: Low-light remote sensing images generally feature high resolution and high spatial complexity, with continuously distributed surface features in space. This continuity in scenes leads to extensive long-range correlations in spatial domains within remote sensing images. Convolutional Neural Networks, which rely on local correlations for long-distance modeling, struggle to establish long-range correlations in such images. On the other hand, transformer-based methods that focus on global information face high computational complexities when processing high-resolution remote sensing images. From another perspective, Fourier transform can compute global information without introducing a large number of parameters, enabling the network to more efficiently capture the overall image structure and establish long-range correlations. Therefore, we propose a Dual-Domain Feature Fusion Network (DFFN) for low-light remote sensing image enhancement. Specifically, this challenging task of low-light enhancement is divided into two more manageable sub-tasks: the first phase learns amplitude information to restore image brightness, and the second phase learns phase information to refine details. To facilitate information exchange between the two phases, we designed an information fusion affine block that combines data from different phases and scales. Additionally, we have constructed two dark light remote sensing datasets to address the current lack of datasets in dark light remote sensing image enhancement. Extensive evaluations show that our method outperforms existing state-of-the-art methods. The code is available at https://github.com/iijjlk/DFFN.


title: Evaluation of Geographical Distortions in Language Models: A Crucial Step Towards Equitable Representations

abstract: Language models now constitute essential tools for improving efficiency for many professional tasks such as writing, coding, or learning. For this reason, it is imperative to identify inherent biases. In the field of Natural Language Processing, five sources of bias are well-identified: data, annotation, representation, models, and research design. This study focuses on biases related to geographical knowledge. We explore the connection between geography and language models by highlighting their tendency to misrepresent spatial information, thus leading to distortions in the representation of geographical distances. This study introduces four indicators to assess these distortions, by comparing geographical and semantic distances. Experiments are conducted from these four indicators with ten widely used language models. Results underscore the critical necessity of inspecting and rectifying spatial biases in language models to ensure accurate and equitable representations.


title: Probing intergalactic intergalactic magnetic fields with LOFAR LoTSS DR2 data

abstract: We use Faraday rotation measurements from the latest catalog LoTSS DR2 from LOFAR to probe intergalactic magnetic fields. To identify the extragalactic component of the observed rotation measure (RM) we use two different techniques: residual rotation measure (RRM) and close radio pairs. For the RRM approach, we conclude that, despite smaller measurement errors in the LOFAR data, robust and conservative treatment of the systematic uncertainties in the Galactic contribution to RM results in the constraint on a homogeneous volume-filling magnetic field at the level 2.4 nG, slightly weaker than previous constraints from NVSS data, and does not allow to probe the presence of over-magnetized bubbles predicted by the AGN feedback model of the IllustrisTNG. Analyzing close radio pairs we found that in only 0.5% of our mock realizations of observed data, the expected contribution from the over-magnetized bubbles does not exceed LoTSS DR2 data.


title: Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries

abstract: Industrial applications heavily rely on open-source software (OSS) libraries, which provide various benefits. But, they can also present a substantial risk if a vulnerability or attack arises and the community fails to promptly address the issue and release a fix due to inactivity. To be able to monitor the activities of such communities, a comprehensive list of repositories for the libraries of an ecosystem must be accessible. Based on these repositories, integrated libraries of an application can be monitored to observe whether they are adequately maintained. In this descriptive study, we analyze the accessibility of GitHub repositories for PyPI and NPM libraries. For all available libraries, we extract assigned repository URLs, direct dependencies and use the page rank algorithm to comprehensively analyze the ecosystems from a library and dependency chain perspective. For invalid repository URLs, we derive potential reasons. Both ecosystems show varying accessibility to GitHub repository URLs, depending on the page rank score of the analyzed libraries. For individual libraries, up to 73.8% of PyPI and up to 69.4% of NPM libraries have repository URLs. Within dependency chains, up to 80.1% of PyPI libraries have URLs, while up to 81.1% for NPM. That means, most libraries, especially the ones of increasing importance, can be monitored on GitHub. Among the most common reasons for invalid repository URLs is no URLs being assigned at all, which amounts up to 17.9% for PyPI and up to 39.6% for NPM. Package maintainers should address this issue and update the repository information to enable monitoring of their libraries.


title: A Breiman's theorem for conditional dependent random vector and its applications to risk theory

abstract: In this paper, we give a Breiman's theorem for conditional dependent random vector, where one component has a regularly-varying-tailed distribution with the index $\alpha\ge0$ and its slowly varying function satisfies a relaxed condition, while the other component is non-negative and its tail distribution is lighter than the former. This result substantially extends and improves Theorem 2.1 of Yang and Wang (Extremes,\ 2013). %with a lower moment condition requirement for many occasions. We also provide some concrete examples and some interesting properties of conditional dependent random vector. Further, we apply the above Breiman's theorem to risk theory, and obtain two asymptotic estimates of the finite-time ruin probability and the infinite-time ruin probability of a discrete-time risk model, in which the corresponding net loss and random discount are conditionally dependent.


title: Lens Stochastic Diffraction: A Signature of Compact Structures in Gravitational-Wave Data

abstract: Every signal propagating through the universe is diffracted by the gravitational fields of intervening objects, aka gravitational lenses. Diffraction is most efficient when caused by compact lenses, which invariably produce additional images of a source. The signals associated with additional images are generically faint, but their collective effect may be detectable with coherent sources, such as gravitational waves (GWs), where both amplitude and phase are measured. Here, I describe lens stochastic diffraction (LSD): Poisson-distributed fluctuations after GW events caused by compact lenses. The amplitude and temporal distribution of these signals encode crucial information about the mass and abundance of compact lenses. Through the collective stochastic signal, LSD offers an order-of-magnitude improvement over single lens analysis for objects with mass $\gtrsim 10^3 M_\odot$. This gain can improve limits on compact dark-matter halos and allows next-generation instruments to detect supermassive black holes, given the abundance inferred from quasar luminosity studies.


title: Stability of partially congested travelling wave solutions for the extended Aw-Rascle system

abstract: We prove the non-linear stability of a class of travelling-wave solutions to the extended Aw-Rascle system with a singular offset function, which is formally equivalent to the compressible pressureless Navier-Stokes system with a singular viscosity. These solutions encode the effect of congestion by connecting a congested left state to an uncongested right state, and may also be viewed as approximations of solutions to the 'hard-congestion model'. By using carefully weighted energy estimates we are able to prove the non-linear stability of viscous shock waves to the Aw-Rascle system under a small zero integral perturbation, which in particular extends previous results that do not handle the case where the viscosity is singular.


title: Interior regularity of area minimizing currents within a $C^{2,\alpha}$-submanifold

abstract: Given an area-minimizing integral $m$-current in $\Sigma$, we prove that the Hausdorff dimension of the interior singular set of $T$ cannot exceed $m-2$, provided that $\Sigma$ is an embedded $(m+\bar{n})$-submanifold of $\mathbb{R}^{m+n}$ of class $C^{2,\alpha}$, where $\alpha>0$. This result establishes the complete counterpart, in the arbitrary codimension setting, of the interior regularity theory for area-minimizing integral hypercurrents within a Riemannian manifold of class $C^{2,\alpha}$.


abstract: In this paper, we study the Dirac cohomology of minimal representations for all real reductive groups G. The Dirac indices of these representations are also studied when G is of equal rank, giving some counterexamples of a conjecture of Huang proposed in 2015.


title: Enhanced Whispering Gallery Mode Phase Shift using Indistinguishable Photon Pairs

abstract: We present a theoretical investigation of a whispering gallery mode (WGM) resonator coupled to a Mach-Zehnder interferometer (MZI) and show a bimodal coincidence transmission spectrum when the input state is an indistinguishable photon pair. This is due to the doubled WGM phase shift experienced by the path-entangled state in the interferometer. Further, we model the noise in a WGM resonance shift measurement comparing photon pairs with a coherent state. At least a four-fold improvement in the signal-to-noise ratio (SNR) is possible, with clear implications for quantum-enhanced WGM sensing.


title: Scattered waves fuel emergent activity

abstract: Particles that scatter waves interact through the waves they scatter. We establish that wave-mediated interactions between dissimilar particles are generically nonreciprocal. This apparent violation of Newton's third law is allowed because the pair of particles does not constitute a closed system; the balance of the system's momentum is carried away by the scattered wave. Nonreciprocal interactions enable collections of scatterers to transduce energy out of a wave and use it to power their own motion. Such wave-matter composites therefore are a form of active matter. Their activity, however, is not an inherent property of the individual particles, nor are the particles simply driven by the wave. Instead, the particles' collective motion is an emergent property of their state of organization. This kind of emergent activity should appear in any context where objects scatter waves. As a concrete example, we combine analysis, experiment and simulation to demonstrate how nonreciprocity and emergent activity arise in collections of acoustically levitated spheres.


title: Low-Complexity Near-Field Channel Estimation for Hybrid RIS Assisted Systems

abstract: We investigate the channel estimation (CE) problem for hybrid RIS assisted systems and focus on the near-field (NF) regime. Different from their far-field counterparts, NF channels possess a block-sparsity property, which is leveraged in the two developed CE algorithms: (i) boundary estimation and sub-vector recovery (BESVR) and (ii) linear total variation regularization (TVR). In addition, we adopt the alternating direction method of multipliers to reduce their computational complexity. Numerical results show that the linear TVR algorithm outperforms the chosen baseline schemes in terms of normalized mean square error in the high signal-to-noise ratio regime while the BESVR algorithm achieves comparable performance to the baseline schemes but with the added advantage of minimal CPU time.


title: Characterizing Public Debt Cycles: Don't Ignore the Impact of Financial Cycles

abstract: Based on the quarterly data from 26 advanced economies (AEs) and 18 emerging market economies (EMs) over the past two decades, this paper estimates the short- and medium-term impacts of financial cycles on the duration and amplitude of public debt cycles. The results indicate that public debt expansions are larger than their contractions in duration and amplitude, aligning with the "deficit bias hypothesis" and being more pronounced in EMs than in AEs. The impacts of various financial cycles are different. Specifically, credit cycles in EMs significantly impact the duration and amplitude of public debt cycles. Notably, short- and medium-term credit booms in EMs shorten the duration of public debt contractions and reduce the amplitude. Fast credit growth in AEs prolongs the duration of public debt expansions and increases the amplitude. However, credit cycles in AEs show no significant impact. For house price cycles, the overall impact is stronger in EMs than in AEs, differing between short- and medium-term cycles. Finally, the impact of equity price cycles is significant in the short term, but not in the medium term. Equity price busts are more likely to prolong the expansion of public debt in EMs while increasing the amplitude of public debt contractions in AEs. Uncovering the impacts of multiple financial cycles on public debt cycles provides implications for better debt policies under different financial conditions.


title: Voting with Partial Orders: The Plurality and Anti-Plurality Classes

abstract: The Plurality rule for linear orders selects the alternatives most frequently appearing in the first position of those orders, while the Anti-Plurality rule selects the alternatives least often occurring in the final position. We explore extensions of these rules to partial orders, offering axiomatic characterizations for these extensions.


title: Multifractal analysis of the power-2-decaying Gauss-like expansion

abstract: Each real number $x\in[0,1]$ admits a unique power-2-decaying Gauss-like expansion (P2GLE for short) as $x=\sum_{i\in\mathbb{N}} 2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))}$, where $d_i(x)\in\mathbb{N}$. For any $x\in(0,1]$, the Khintchine exponent $\gamma(x)$ is defined by $\gamma(x):=\lim_{n\to\infty}\frac{1}{n}\sum_{j=1}^nd_j(x)$ if the limit exists. We investigate the sizes of the level sets $E(\xi):=\{x\in(0,1]:\gamma(x)=\xi\}$ for $\xi\geq 1$. Utilizing the Ruelle operator theory, we obtain the Khintchine spectrum $\xi\mapsto\dim_H E(\xi)$, where $\dim_H$ denotes the Hausdorff dimension. We establish the remarkable fact that the Khintchine spectrum has exactly one inflection point, which was never proved for the corresponding spectrum in continued fractions. As a direct consequence, we also obtain the Lyapunov spectrum. Furthermore, we find the Hausdorff dimensions of the level sets $\{x\in(0,1]:\lim_{n\to\infty}\frac{1}{n}\sum_{j=1}^{n}\log(d_j(x))=\xi\}$ and $\{x\in(0,1]:\lim_{n\to\infty}\frac{1}{n}\sum_{j=1}^{n}2^{d_j(x)}=\xi\}$.


title: Extreme Emission-Line Galaxies in the MUSE Hubble Ultra Deep Field Survey

abstract: We apply a methodology to build a sample of extreme emission line galaxies (EELGs) using integral field spectroscopy data. In this work we follow the spectroscopic criteria corresponding for EELG selection and use the MUSE Hubble Ultra-Deep field survey, which includes the deepest spectroscopic survey ever performed. Objects in the primary (extended) sample were detected requiring a rest-frame equivalent width EWo $\geqslant$ 300A (200A $\leq$ EWo $\leq$ 300A) in any of the emission lines of [OII]$\lambda\lambda$3726,29, [OIII]$\lambda\lambda$5007,4959, or H$\alpha$. A detailed closer inspection of the spectra of the candidates selected has been performed on a one by one basis, in order to confirm their classification. For this sample, the line fluxes, physical properties and chemical abundances of the EELGs have been derived as well as their spatially resolved structure and kinematics. Four (five) of the galaxies in the primary (extended) sample, $\sim$57$\%$ ($\sim$83$\%$), were spatially resolved. Three (none) of them present a clear pattern compatible with rotation. We have shown how our entire EELGs sample share the same loci defined by high-redshift galaxies (z $\approx$ 6-8) for the mass-metallicity relation, illustrating their role as local analogs.


title: Ultrafast Optical Control of Exciton Diffusion in WSe$_2$/Graphene Heterostructures Revealed by Heterodyne Transient Grating Spectroscopy

abstract: Using heterodyne transient grating spectroscopy, we observe a significant enhancement of exciton diffusion within a monolayer WSe$_2$ stacked on top of graphene. We further demonstrate that the diffusion dynamics can be optically tuned on the ultrafast time scale (i.e. a few picoseconds) by altering the photoexcited charge carrier density in graphene. The results reveal that, on a time scale of a few picoseconds, the effective diffusion constant in the WSe$_2$/graphene heterostructure is approximately 40 cm$^2 $/s, representing a substantial improvement over the 2 cm$^2 $/s typical for an isolated monolayer of WSe$_2$. The enhanced diffusion can be understood in terms of a transient screening of impurities, charge traps, and defect states in WSe$_2$ by photoexcited charge carriers in graphene. Furthermore, we observe that the diffusion within WSe$_2$ is affected by interlayer interactions, like charge transfer, exhibiting different dynamic states depending on the incident excitation fluence. These findings underscore the dynamic nature of screening and diffusion processes in heterostructures of 2D semiconductors and graphene and provide valuable insights for future applications of these systems in ultrafast optoelectronic devices.


title: How do annotations affect Java code readability?

abstract: Context: Code annotations have gained widespread popularity in programming languages, offering developers the ability to attach metadata to code elements to define custom behaviors. Many modern frameworks and APIs use annotations to keep integration less verbose and located nearer to the corresponding code element. Despite these advantages, practitioners' anecdotal evidence suggests that annotations might negatively affect code readability. Objective: To better understand this effect, this paper systematically investigates the relationship between code annotations and code readability. Method: In a survey with software developers (n=332), we present 15 pairs of Java code snippets with and without code annotations. These pairs were designed considering five categories of annotation used in real-world Java frameworks and APIs. Survey participants selected the code snippet they considered more readable for each pair and answered an open question about how annotations affect the code's readability. Results: Preferences were scattered for all categories of annotation usage, revealing no consensus among participants. The answers were spread even when segregated by participants' programming or annotation-related experience. Nevertheless, some participants showed a consistent preference in favor or against annotations across all categories, which may indicate a personal preference. Our qualitative analysis of the open-ended questions revealed that participants often praise annotation impacts on design, maintainability, and productivity but expressed contrasting views on understandability and code clarity. Conclusions: Software developers and API designers can consider our results when deciding whether to use annotations, equipped with the insight that developers express contrasting views of the annotations' impact on code readability.


title: Indirect detection of dark matter absorption in the Galactic Center

abstract: We consider the nuclear absorption of dark matter as an alternative to the typical indirect detection search channels of dark matter decay or annihilation. In this scenario, an atomic nucleus transitions to an excited state by absorbing a pseudoscalar dark matter particle and promptly emits a photon as it transitions back to its ground state. The nuclear excitation of carbon and oxygen in the Galactic Center would produce a discrete photon spectrum in the $\mathcal{O}(10)$ MeV range that could be detected by gamma-ray telescopes. Using the \texttt{BIGSTICK} large-scale shell-model code, we calculate the excitation energies of carbon and oxygen. We constrain the dark matter-nucleus coupling for current COMPTEL data, and provide projections for future experiments AMEGO-X, e-ASTROGAM, and GRAMS for dark matter masses from $\sim$ 10 to 30 MeV. We find the excitation process to be very sensitive to the dark matter mass and find that the future experiments considered would improve constraints on the dark matter-nucleus coupling within an order of magnitude.


title: Multi-view Image Prompted Multi-view Diffusion for Improved 3D Generation

abstract: Using image as prompts for 3D generation demonstrate particularly strong performances compared to using text prompts alone, for images provide a more intuitive guidance for the 3D generation process. In this work, we delve into the potential of using multiple image prompts, instead of a single image prompt, for 3D generation. Specifically, we build on ImageDream, a novel image-prompt multi-view diffusion model, to support multi-view images as the input prompt. Our method, dubbed MultiImageDream, reveals that transitioning from a single-image prompt to multiple-image prompts enhances the performance of multi-view and 3D object generation according to various quantitative evaluation metrics and qualitative assessments. This advancement is achieved without the necessity of fine-tuning the pre-trained ImageDream multi-view diffusion model.


title: Finite Key Security of Simplified Trusted Node Networks

abstract: Simplified trusted nodes (STNs) are a form of trusted node for quantum key distribution (QKD) networks which do not require running a full QKD stack every instance (i.e., they do not need to run error correction and privacy amplification each session). Such systems hold the advantage that they may be implemented with weaker computational abilities, than regular TNs, while still keeping up with key generation rate demands. The downside is that noise tolerance is lower. However, to get a better understanding of their suitability in various scenarios, one requires practical, finite-key security bounds for STN networks. So far, only theoretical asymptotic bounds are known. In this work we derive a new proof of security for STN chains in the finite key setting. We also derive a novel cost function allowing us to evaluate when STNs would be beneficial from a computational cost perspective, compared with regular TN networks.


title: Automata-Theoretic Characterisations of Branching-Time Temporal Logics

abstract: Characterisations theorems serve as important tools in model theory and can be used to assess and compare the expressive power of temporal languages used for the specification and verification of properties in formal methods. While complete connections have been established for the linear-time case between temporal logics, predicate logics, algebraic models, and automata, the situation in the branching-time case remains considerably more fragmented. In this work, we provide an automata-theoretic characterisation of some important branching-time temporal logics, namely CTL* and ECTL* interpreted on arbitrary-branching trees, by identifying two variants of Hesitant Tree Automata that are proved equivalent to those logics. The characterisations also apply to Monadic Path Logic and the bisimulation-invariant fragment of Monadic Chain Logic, again interpreted over trees. These results widen the characterisation landscape of the branching-time case and solve a forty-year-old open question.


title: Sibson's formula for higher order Voronoi diagrams

abstract: Let $S$ be a set of $n$ points in general position in $\mathbb{R}^d$. The order-$k$ Voronoi diagram of $S$, $V_k(S)$, is a subdivision of $\mathbb{R}^d$ into cells whose points have the same $k$ nearest points of $S$. Sibson, in his seminal paper from 1980 (A vector identity for the Dirichlet tessellation), gives a formula to express a point $Q$ of $S$ as a convex combination of other points of $S$ by using ratios of volumes of the intersection of cells of $V_2(S)$ and the cell of $Q$ in $V_1(S)$. The natural neighbour interpolation method is based on Sibson's formula. We generalize his result to express $Q$ as a convex combination of other points of $S$ by using ratios of volumes from Voronoi diagrams of any given order.


title: Forming off-center massive black hole binaries in dwarf galaxies through Jacobi capture

abstract: It is well established that black holes reside in the central regions of virtually all types of known galaxies. Recent observational and numerical studies however challenge this picture, suggesting that intermediate-mass black holes in dwarf galaxies may be found on orbits far from the center. In particular, constant-density cores minimize orbital energy losses due to dynamical friction, and allow black holes to settle on stable off-center orbits. Using controlled simulations, we study the dynamics of off-center black holes in dwarf galaxies with such cores. We propose a new scenario to describe off-center mergers of massive black holes, starting with a Jacobi capture. We focus on initially circular and co-planar black hole orbits and explore a large parameter space of black hole masses and orbital parameters. We find that Jacobi captures are a complex and chaotic phenomenon that occurs in about 13% of cases in this simplified setup, and we quantify how the likelihood of capture depends on the simulation parameters. We note that this percentage is likely an upper limit of the general case. Nevertheless, we show that Jacobi captures in cored dwarf galaxies can facilitate the formation of off-center black hole binaries, and that this process is sufficiently common to have a substantial effect on black hole growth. While our setup only allows for temporary captures, we expect dissipative forces from baryons and post-Newtonian corrections to maintain the captures over time and to lead to the formation of stable binary systems. This motivates future studies of the effectiveness of such dissipative forces, within stripped nuclei or globular clusters, in forming stable bound systems.


title: \'Equations en diviseurs

abstract: Let $d(n) \subset \mathbb{N}$ be the set of the $\tau(n)$ divisors of $n$. We generalize a method of Tenenbaum and de la Bret\`eche for the study of the set $d(n)$. Among other things, we establish that $$ |\{(d_1,d_2,d_3) \in d(n)^3 : d_1+d_2=d_3\}| \le \tau(n)^{2-\delta} $$ with $\delta=0.045072$.


title: Weyl nodes in Ce$_3$Bi$_4$Pd$_3$ revealed by dynamical mean-field theory

abstract: Experimental studies have found unusual transport properties in Ce$_3$Bi$_4$Pd$_3$ which are potentially a consequence of the interplay between band-structure topology and electronic correlations. Based on these measurements, the existence of Weyl points in strongly renormalized, flat quasiparticle bands has been postulated. However, so far, there has been neither a direct spectroscopic observation of these, nor a calculation from first principles that would confirm their existence close to the Fermi energy. Here, we present density functional theory (DFT) and dynamical mean field theory (DMFT) calculations and study the low-energy excitations and their topological properties. We find that the Kondo effect promotes two out of the six angular momentum $J=5/2$ states, with the other four pushed to higher energies. Further, we find Weyl nodes close to the Fermi energy as previously suggested for explaining the observed giant spontaneous Hall effect in Ce$_3$Bi$_4$Pd$_3$, as well as nodal lines.


title: One-Shot Image Restoration

abstract: Image restoration, or inverse problems in image processing, has long been an extensively studied topic. In recent years supervised learning approaches have become a popular strategy attempting to tackle this task. Unfortunately, most supervised learning-based methods are highly demanding in terms of computational resources and training data (sample complexity). In addition, trained models are sensitive to domain changes, such as varying acquisition systems, signal sampling rates, resolution and contrast. In this work, we try to answer a fundamental question: Can supervised learning models generalize well solely by learning from one image or even part of an image? If so, then what is the minimal amount of patches required to achieve acceptable generalization? To this end, we focus on an efficient patch-based learning framework that requires a single image input-output pair for training. Experimental results demonstrate the applicability, robustness and computational efficiency of the proposed approach for supervised image deblurring and super-resolution. Our results showcase significant improvement of learning models' sample efficiency, generalization and time complexity, that can hopefully be leveraged for future real-time applications, and applied to other signals and modalities.


title: Cost-Sensitive Uncertainty-Based Failure Recognition for Object Detection

abstract: Object detectors in real-world applications often fail to detect objects due to varying factors such as weather conditions and noisy input. Therefore, a process that mitigates false detections is crucial for both safety and accuracy. While uncertainty-based thresholding shows promise, previous works demonstrate an imperfect correlation between uncertainty and detection errors. This hinders ideal thresholding, prompting us to further investigate the correlation and associated cost with different types of uncertainty. We therefore propose a cost-sensitive framework for object detection tailored to user-defined budgets on the two types of errors, missing and false detections. We derive minimum thresholding requirements to prevent performance degradation and define metrics to assess the applicability of uncertainty for failure recognition. Furthermore, we automate and optimize the thresholding process to maximize the failure recognition rate w.r.t. the specified budget. Evaluation on three autonomous driving datasets demonstrates that our approach significantly enhances safety, particularly in challenging scenarios. Leveraging localization aleatoric uncertainty and softmax-based entropy only, our method boosts the failure recognition rate by 36-60\% compared to conventional approaches. Code is available at https://mos-ks.github.io/publications.


title: Lower Bounds for the Minimum Spanning Tree Cycle Intersection Problem

abstract: Minimum spanning trees are important tools in the analysis and design of networks. Many practical applications require their computation, ranging from biology and linguistics to economy and telecommunications. The set of cycles of a network has a vector space structure. Given a spanning tree, the set of non-tree edges defines cycles that determine a basis. The intersection of two such cycles is the number of edges they have in common and the intersection number -- denoted $\cap(G)$ -- is the number of non-empty pairwise intersections of the cycles of the basis. The Minimum Spanning Tree Cycle Intersection problem consists in finding a spanning tree such that the intersection number is minimum. This problem is relevant in order to integrate discrete differential forms. In this paper, we present two lower bounds of the intersection number of an arbitrary connected graph $G=(V,E)$. In the first part, we prove the following statement: $$\frac{1}{2}\left(\frac{\nu^2}{n-1} - \nu\right) \leq \cap(G),$$ where $n = |V|$ and $\nu$ is the \emph{cyclomatic number} of $G$. In the second part, based on some experimental results and a new observation, we conjecture the following improved tight lower bound: $$(n-1) \binom{q}{2} + q \ r\leq \cap(G),$$ where $2 \nu = q (n-1) + r$ is the integer division of $2 \nu$ and $n-1$. This is the first result in a general context, that is for an arbitrary connected graph.


title: Separation capacity of linear reservoirs with random connectivity matrix

abstract: We argue that the success of reservoir computing lies within the separation capacity of the reservoirs and show that the expected separation capacity of random linear reservoirs is fully characterised by the spectral decomposition of an associated generalised matrix of moments. Of particular interest are reservoirs with Gaussian matrices that are either symmetric or whose entries are all independent. In the symmetric case, we prove that the separation capacity always deteriorates with time; while for short inputs, separation with large reservoirs is best achieved when the entries of the matrix are scaled with a factor $\rho_T/\sqrt{N}$, where $N$ is the dimension of the reservoir and $\rho_T$ depends on the maximum length of the input time series. In the i.i.d. case, we establish that optimal separation with large reservoirs is consistently achieved when the entries of the reservoir matrix are scaled with the exact factor $1/\sqrt{N}$. We further give upper bounds on the quality of separation in function of the length of the time series. We complement this analysis with an investigation of the likelihood of this separation and the impact of the chosen architecture on separation consistency.


title: Classical echoes of quantum boundary conditions

abstract: We consider a non-relativistic particle in a one-dimensional box with all possible quantum boundary conditions that make the kinetic-energy operator selfadjoint. We determine the Wigner functions of the corresponding eigenfunctions and analyze in detail their classical limit in the high-energy regime. We show that the quantum boundary conditions split into two classes: all local and regular boundary conditions collapse to the same classical boundary condition, while singular non-local boundary conditions slightly persist in the classical limit.


title: Quantum Information Engines: Assessing Time, Cost and Performance Criteria

abstract: In this study, we investigate the crucial role of measurement time ($t_m$), information gain and energy consumption in information engines (IEs) utilizing a von-Neumann measurement model. These important measurement parameters allow us to analyze the efficiency and power output of these devices. As the measurement time increases, the information gain and subsequently the extracted work also increase. However, there is a corresponding increase in the energetic cost. The efficiency of converting information into free energy diminishes as $t_m$ approaches both 0 and infinity, peaking at intermediate values of $t_m$. The power output (work extracted per times) also reaches a maximum at specific operational time regimes. By considering the product of efficiency and power as a performance metric, we can identify the optimal operating conditions for the IE.


title: Shellability of Kohnert posets

abstract: In this paper, we are concerned with identifying among the family of posets associated with Kohnert polynomials, those whose order complex has a certain combinatorial property. In particular, for numerous families of Kohnert polynomials, including key polynomials, we determine when the associated Kohnert posets are (EL-)shellable. Interestingly, under certain diagram restrictions, (EL-)shellability of a Kohnert poset is equivalent to multiplcity freeness of the associated Kohnert polynomial.


title: PromptCIR: Blind Compressed Image Restoration with Prompt Learning

abstract: Blind Compressed Image Restoration (CIR) has garnered significant attention due to its practical applications. It aims to mitigate compression artifacts caused by unknown quality factors, particularly with JPEG codecs. Existing works on blind CIR often seek assistance from a quality factor prediction network to facilitate their network to restore compressed images. However, the predicted numerical quality factor lacks spatial information, preventing network adaptability toward image contents. Recent studies in prompt-learning-based image restoration have showcased the potential of prompts to generalize across varied degradation types and degrees. This motivated us to design a prompt-learning-based compressed image restoration network, dubbed PromptCIR, which can effectively restore images from various compress levels. Specifically, PromptCIR exploits prompts to encode compression information implicitly, where prompts directly interact with soft weights generated from image features, thus providing dynamic content-aware and distortion-aware guidance for the restoration process. The light-weight prompts enable our method to adapt to different compression levels, while introducing minimal parameter overhead. Overall, PromptCIR leverages the powerful transformer-based backbone with the dynamic prompt module to proficiently handle blind CIR tasks, winning first place in the NTIRE 2024 challenge of blind compressed image enhancement track. Extensive experiments have validated the effectiveness of our proposed PromptCIR. The code is available at https://github.com/lbc12345/PromptCIR-NTIRE24.


title: Exploring Wireless Channels in Rural Areas: A Comprehensive Measurement Study

abstract: The study of wireless channel behavior has been an active research topic for many years. However, there exists a noticeable scarcity of studies focusing on wireless channel characteristics in rural areas. With the advancement of smart agriculture practices in rural regions, there has been an increasing demand for affordable, high-capacity, and low-latency wireless networks to support various precision agriculture applications such as plant phenotyping, livestock health monitoring, and agriculture automation. To address this research gap, we conducted a channel measurement study on multiple wireless frequency bands at various crop and livestock farms near Ames, Iowa, based on Iowa State University~(ISU)'s ARA Wireless Living lab - one of the NSF PAWR platforms. We specifically investigate the impact of weather conditions, humidity, temperature, and farm buildings on wireless channel behavior. The resulting measurement dataset, which will soon be made publicly accessible, represents a valuable resource for researchers interested in wireless channel prediction and optimization.


title: Bayesian synthesis of astrometric wobble and total light curves in close binary supermassive black holes

abstract: We test the potential of Bayesian synthesis of upcoming multi-instrument data to extract orbital parameters and individual light curves of close binary supermassive black holes (CB-SMBH) with subparsec separations. Next generation (ng) interferometers, will make possible the observation of astrometric wobbles in CB-SMBH. Combining them with periodic variable time-domain data from surveys like the Vera C. Rubin Legacy Survey of Space and Time (LSST), allows for a more information on CB-SMBH candidates compared to standalone observational methods. Our method reliably determines binary parameters and component fluxes from binary total flux across long-term, intermediate and short-term binary dynamics and observational configurations, assuming ten annual observations, even in short period "q-accrete" objects. Expected CB-SMBH astrometric wobbles constructed from binary dynamical parameters, might serve in refining observational strategies for CB-SMBH. Combination of inferred mass ratio, light curves of binary components, and observed photocenter wobbles can be a proxy for the activity states of CB-SMBH components.


title: NH$_3$ adsorption and competition with H$_2$O on a hydroxylated aluminosilicate surface

abstract: The interaction between ammonia (NH$_3$) and (alumino)silicates is of fundamental and applied importance, yet the specifics of NH$_3$ adsorption on silicate surfaces remain largely unexplored, mainly because of experimental challenges related to their electrically insulating nature. An example of this knowledge gap is evident in the context of ice nucleation on silicate dust, wherein the role of NH$_3$ for ice nucleation remains debated. This study explores the fundamentals of the interaction between NH$_3$ and microcline feldspar (KAlSi$_3$O$_8$), a common aluminosilicate with outstanding ice nucleation abilities. Atomically resolved non-contact atomic force microscopy, x-ray photoelectron spectroscopy, and density functional theory-based calculations elucidate the adsorption geometry of NH$_3$ on the lowest-energy surface of microcline, the (001) facet, and its interplay with surface hydroxyls and molecular water. NH$_3$ and H$_2$O are found to adsorb molecularly in the same adsorption sites, creating H-bonds with the proximate surface silanol (Si-OH) and aluminol (Al-OH) groups. Despite the closely matched adsorption energies of the two molecules, NH$_3$ readily yields to replacement by H$_2$O, challenging the notion that ice nucleation on microcline proceeds via the creation of an ordered H$_2$O layer atop pre-adsorbed NH$_3$ molecules.


title: Transformer For Low-frequency Extrapolating of Seismic Data

abstract: Full waveform inversion (FWI) is used to reconstruct the physical properties of subsurface media which plays an important role in seismic exploration. However, the precision of FWI is seriously affected by the absence or inaccuracy of low-frequency information. Therefore, reconstructing the low-frequency signals accurately is highly significant in seismic data processing. Low-frequency extrapolation of seismic records can be approached as a deep learning regression problem. Thus, to obtain low-frequency information from band-limited seismic records, a novel network structure called low-frequency extrapolation transformer (LFET) is proposed to construct the nonlinear mapping relationship between the data missing low-frequency and low-frequency data in a supervised learning approach, which is inspired by the transformer model widely used in natural language processing (NLP). We apply multi-head self-attention (MSA) modules to model the remote dependencies of seismic data. Based on this, we introduce a shifted window partitioning approach to reduce the calculating amount. Due to the field data are not suitable for supervised learning, we generate synthetic seismic records using submodels selected from the benchmark Marmousi model as training data whose characteristics are similar to that of the field data. A single trace of synthetic band-limited seismic data in the time domain is used as the input data, and the parameters of LFET are updated based on the errors between the predicted trace and the corresponding label. The experimental results on the data generated by different models, different wavelets, and different kinds of field marine data demonstrate the feasibility and generalization of the proposed method. Furthermore, the proposed method achieves higher accuracy with lower computational expense than the traditional CNN method.


title: Real-World Deployment of a Hierarchical Uncertainty-Aware Collaborative Multiagent Planning System

abstract: We would like to enable a collaborative multiagent team to navigate at long length scales and under uncertainty in real-world environments. In practice, planning complexity scales with the number of agents in the team, with the length scale of the environment, and with environmental uncertainty. Enabling tractable planning requires developing abstract models that can represent complex, high-quality plans. However, such models often abstract away information needed to generate directly-executable plans for real-world agents in real-world environments, as planning in such detail, especially in the presence of real-world uncertainty, would be computationally intractable. In this paper, we describe the deployment of a planning system that used a hierarchy of planners to execute collaborative multiagent navigation tasks in real-world, unknown environments. By developing a planning system that was robust to failures at every level of the planning hierarchy, we enabled the team to complete collaborative navigation tasks, even in the presence of imperfect planning abstractions and real-world uncertainty. We deployed our approach on a Clearpath Husky-Jackal team navigating in a structured outdoor environment, and demonstrated that the system enabled the agents to successfully execute collaborative plans.


title: Enhancing QoE in HTTP/3 using EPS Framework

abstract: HTTP/3, the latest evolution of the Hypertext Transfer Protocol, utilizes QUIC, a new transport protocol leveraging UDP to overcome limitations such as connection time and head-of-line blocking prevalent in HTTP/2. This advancement is enhanced by the Extensible Prioritization Scheme (EPS), which introduces a flexible prioritization framework for improving website resource delivery. This paper proposes a mixed scheduling mechanism that delivers using mixed incremental and non-incremental resource delivery and adheres to EPS urgency levels to improve the QoE. Additionally, we propose an EPS priority mapping to enhance the QoE further. This mapping is based on the priority indicated by the Chromium browser and the resource type. The result of the experimental evaluation indicates that the proposed mechanism and mapping improve commonly-used website performance measures for sites featuring a comparatively large number and size of resources.


title: Disentangling left and right-handed neutrino effects in $B\rightarrow K^{(*)}\nu\nu$

abstract: The first observation of $\mathcal{B}\left(B^+\rightarrow K^+\nu\nu\right)$ by the Belle II experiment lies almost $3\sigma$ away from the Standard Model expectation. In this letter we study this result in the SMEFT, extended by a light right-handed neutrino. We explore the correlations between the measured decay rate and other observables, such as $\mathcal{B}\left(B\rightarrow K^*\nu\nu\right)$ and $F_L\left(B\rightarrow K^*\nu\nu\right)$, showing that they could disentangle among scenarios involving left-handed neutrinos and those with the right-handed ones. Furthermore, we find that the high-$p_T$ tails of Drell-Yan processes studied at LHC provide important constraints that help us exclude some of the scenarios consistent with the Belle II result.


title: Comparison results for Markov tree distributions

abstract: We develop comparison results for Markov tree distributions extending ordering results from the literature on discrete time Markov processes and recently studied ordering results for conditionally independent factor models to tree structures. Based on fairly natural positive dependence conditions, our main contribution is a comparison result with respect to the supermodular order. Since this order is a pure dependence order, it has many applications in optimal transport, finance, and insurance. As an illustrative example, we consider hidden Markov models and study distributional robustness for functionals of the random walk under model uncertainty. Further, we show that, surprisingly, more general comparison results via the recently established rearrangement-based Schur order for conditional distributions, which implies an ordering of Chatterjee's rank correlation, do not carry over from star structures to trees. Several examples and a detailed discussion of the assumptions demonstrate the generality of our results and provide further insights into the behavior of multidimensional distributions.


title: Uniform Generalization Bounds on Data-Dependent Hypothesis Sets via PAC-Bayesian Theory on Random Sets

abstract: We propose data-dependent uniform generalization bounds by approaching the problem from a PAC-Bayesian perspective. We first apply the PAC-Bayesian framework on `random sets' in a rigorous way, where the training algorithm is assumed to output a data-dependent hypothesis set after observing the training data. This approach allows us to prove data-dependent bounds, which can be applicable in numerous contexts. To highlight the power of our approach, we consider two main applications. First, we propose a PAC-Bayesian formulation of the recently developed fractal-dimension-based generalization bounds. The derived results are shown to be tighter and they unify the existing results around one simple proof technique. Second, we prove uniform bounds over the trajectories of continuous Langevin dynamics and stochastic gradient Langevin dynamics. These results provide novel information about the generalization properties of noisy algorithms.


title: "ChatGPT Is Here to Help, Not to Replace Anybody" -- An Evaluation of Students' Opinions On Integrating ChatGPT In CS Courses

abstract: Large Language Models (LLMs) like GPT and Bard are capable of producing code based on textual descriptions, with remarkable efficacy. Such technology will have profound implications for computing education, raising concerns about cheating, excessive dependence, and a decline in computational thinking skills, among others. There has been extensive research on how teachers should handle this challenge but it is also important to understand how students feel about this paradigm shift. In this research, 52 first-year CS students were surveyed in order to assess their views on technologies with code-generation capabilities, both from academic and professional perspectives. Our findings indicate that while students generally favor the academic use of GPT, they don't over rely on it, only mildly asking for its help. Although most students benefit from GPT, some struggle to use it effectively, urging the need for specific GPT training. Opinions on GPT's impact on their professional lives vary, but there is a consensus on its importance in academic practice.


title: Global data-driven determination of baryon transition form factors

abstract: Hadronic resonances emerge from strong interactions encoding the dynamics of quarks and gluons. The structure of these resonances can be probed by virtual photons parameterized in transition form factors. In this study, twelve $N^*$ and $\Delta$ transition form factors at the pole are extracted from data with the center-of-mass energy from $\pi N$ threshold to $1.8\,{\rm GeV}$, and the photon virtuality $0\leq Q^2/{\rm GeV}^2\leq 8$. For the first time, these results are determined from a simultaneous analysis of more than one state, i.e., $\sim 10^5$ $\pi N$, $\eta N$, and $K\Lambda$ electroproduction data. In addition, about $ 5\cdot 10^4$ data in the hadronic sector as well as photoproduction serve as boundary conditions. For the $\Delta(1232)$ and $N(1440)$ states our results are in qualitative agreement with previous studies, while the transition form factors at the poles of some higher excited states are estimated for the first time. Realistic uncertainties are determined by further exploring the parameter space.


title: Metrology of microwave fields based on trap-loss spectroscopy with cold Rydberg atoms

abstract: We demonstrate a new approach for the metrology of microwave fields based on the trap-loss-spectroscopy of cold Rydberg atoms in a magneto-optical trap. Compared to state-of-the-art sensors using room-temperature vapors, cold atoms allow longer interaction times, better isolation from the environment and a reduced Doppler effect. Our approach is particularly simple as the detection relies on fluorescence measurements only. Moreover, our signal is well described by a two-level model across a broad measurement range, allowing in principle to reconstruct the amplitude and the frequency of the microwave field simultaneously without the need for an external reference field. We report on a scale factor linearity at the percent level and no noticeable drifts over two hours, paving the way for new applications of cold Rydberg atoms in metrology such as calibrating blackbody shifts in state-of-the-art optical clocks, monitoring the Earth cryosphere from space, measuring the cosmic microwave background or searching for dark matter.


title: Spiral flow of quantum quartic oscillator with energy cutoff

abstract: Theory of the quantum quartic oscillator is developed with close attention to the energy cutoff one needs to impose on the system in order to approximate the smallest eigenvalues and corresponding eigenstates of its Hamiltonian by diagonalizing matrices of limited size. The matrices are obtained by evaluating matrix elements of the Hamiltonian between the associated harmonic-oscillator eigenstates and by correcting the computed matrices to compensate for their limited dimension, using the Wilsonian renormalization-group procedure. The cutoff dependence of the corrected matrices is found to be described by a spiral motion of a three-dimensional vector. This behavior is shown to result from a combination of a limit-cycle and a floating fixed-point behaviors, a distinct feature of the foundational quantum system that warrants further study. A brief discussion of the research directions concerning renormalization of polynomial interactions of degree higher than four, spontaneous symmetry breaking and coupling of more than one oscillator through the near neighbor couplings known in condensed matter and quantum field theory, is included.


title: Skeletal Kinetics Reduction for Astrophysical Reaction Networks

abstract: A novel methodology is developed to extract accurate skeletal reaction models for nuclear combustion. Local sensitivities of isotope mass fractions with respect to reaction rates are modeled based on the forced optimally time-dependent (f-OTD) scheme. These sensitivities are then analyzed temporally to generate skeletal models. The methodology is demonstrated by conducting skeletal reduction of constant density and temperature burning of carbon and oxygen relevant to SNe Ia. The 495-isotopes Torch model is chosen as the detailed reaction network. A map of maximum production of $^{56}\text{Ni}$ in SNe Ia is produced for different temperatures, densities, and proton to neutron ratios. The f-OTD simulations and the sensitivity analyses are then performed with initial conditions from this map. A series of skeletal models are derived and their performances are assessed by comparison against currently existing skeletal models. Previous models have been constructed intuitively by assuming the dominance of $\alpha$-chain reactions. The comparison of the newly generated skeletal models against previous models is based on the predicted energy release and $^{44}\text{Ti}$ and $^{56}\text{Ni}$ abundances by each model. The consequences of $\mathtt{y}_e \neq 0.5$ in the initial composition are also explored where $\mathtt{y}_e$ is the electron fraction. The simulated results show that $^{56}\text{Ni}$ production decreases by decreasing $\mathtt{y}_e$ as expected, and that the $^{43}\text{Sc}$ is a key isotope in proton and neutron channels toward $^{56}\text{Ni}$ production. It is shown that an f-OTD skeletal model with 150 isotopes can accurately predict the $^{56}\text{Ni}$ abundance in SNe Ia for $\mathtt{y}_e \lesssim 0.5$ initial conditions.


title: The Most Common Habitable Planets III -- Modeling Temperature Forcing and Surface Conditions on Rocky Exoplanets and Exomoons

abstract: Small rocky planets, as well as larger planets that suffered extensive volatile loss, tend to be drier and have thinner atmospheres as compared to Earth. Such planets probably outnumber worlds better endowed with volatiles, being the most common habitable planets. For the subgroup of fast rotators following eccentric orbits, atmospheres suffer radiative forcing and their heat capacity provides a method for gauging atmospheric thickness and surface conditions. We further explore the model presented in a previous paper and apply it to real and hypothetical exoplanets in the habitable zone of various classes of stars, simulating atmospheric and orbital characteristics. For planetary eccentricities e ~0.3, the forcing-induced hypothetical temperature variation would reach ~80 K for airless planets and ~10 K for planets with substantial atmospheres. For Kepler-186 f and Kepler-442 b, assuming e ~0.1, temperature variations can reach ~24 K. We also consider habitable exomoons in circular orbits around gas giants within the habitable zone, which suffer radiative forcing due to their epicyclic motion. We study several combinations of parameters for the characterization of planets (mass, eccentricity and semi-major axis) and exomoons (mass, orbital radius, albedo and atmospheric characteristics) for different stellar types. For e ~0.3, exomoon temperature varies up to ~90 K, while for ~0.6 variations can reach ~200 K. Such exomoons may plausibly retain their volatiles by continued volcanic activity fueled by tidal dissipation. Although currently undetectable, such effects might be within reach of future Extremely Large Telescope-class telescopes and space missions with mid-infrared and coronagraphic capabilities.


title: On the Meaning of Local Symmetries: Epistemic-Ontological Dialectics

abstract: We propose our account of the meaning of local symmetries. We argue that the general covariance principle and gauge principle both are principles of democratic epistemic access to the law of physics, leading to ontological insights about the objective nature of spacetime. We further argue that relationality is a core notion of general-relativistic gauge field theory, tacitly encoded by its (active) local symmetries.


title: Developed and quasi-developed macro-scale heat transfer in micro- and mini-channels with arrays of offset strip fins subject to a uniform heat flux

abstract: In the present work, we examine to what degree the heat transfer can be described as developed on a macro-scale level in typical micro- and mini-channels with offset strip fin arrays subject to a uniform heat flux, considering flow entrance and side-wall effects. Full-scale numerical heat transfer simulations are conducted to determine the extent of the developed macro-scale heat transfer region within the arrays. We find that the onset point of developed heat transfer increases linearly with the P\'eclet number and channel width. However, the thermal development lengths remain limited relative to the overall channel length. Therefore, the local macro-scale heat transfer coefficient can be modeled by developed Nusselt number correlations with discrepancies below 25% in both the developed and developing heat transfer regions. We observe that quasi-developed heat transfer prevails over nearly the entire entrance region of the channel and significantly contributes to the main heat transfer characteristics, particularly the eigenvalues and amplitudes of the dominant temperature modes. Additionally, we analyze the impact of channel side walls on the temperature field's periodicity and the macro-scale temperature profile, which we characterize through an effective heat transfer coefficient. Our comprehensive numerical data covers various fin height-to-length ratios up to 1, fin pitch-to-length ratios up to 0.5, and channel aspect ratios ranging from 1/5 to 1/17, encompassing Reynolds numbers from 28 to 1224. Two sets of Prandtl number and thermal conductivity ratio are investigated, corresponding to the combinations of copper/air, and copper/water.


title: Any-Quantile Probabilistic Forecasting of Short-Term Electricity Demand

abstract: Power systems operate under uncertainty originating from multiple factors that are impossible to account for deterministically. Distributional forecasting is used to control and mitigate risks associated with this uncertainty. Recent progress in deep learning has helped to significantly improve the accuracy of point forecasts, while accurate distributional forecasting still presents a significant challenge. In this paper, we propose a novel general approach for distributional forecasting capable of predicting arbitrary quantiles. We show that our general approach can be seamlessly applied to two distinct neural architectures leading to the state-of-the-art distributional forecasting results in the context of short-term electricity demand forecasting task. We empirically validate our method on 35 hourly electricity demand time-series for European countries. Our code is available here: https://github.com/boreshkinai/any-quantile.


title: A Continuous Relaxation for Discrete Bayesian Optimization

abstract: To optimize efficiently over discrete data and with only few available target observations is a challenge in Bayesian optimization. We propose a continuous relaxation of the objective function and show that inference and optimization can be computationally tractable. We consider in particular the optimization domain where very few observations and strict budgets exist; motivated by optimizing protein sequences for expensive to evaluate bio-chemical properties. The advantages of our approach are two-fold: the problem is treated in the continuous setting, and available prior knowledge over sequences can be incorporated directly. More specifically, we utilize available and learned distributions over the problem domain for a weighting of the Hellinger distance which yields a covariance function. We show that the resulting acquisition function can be optimized with both continuous or discrete optimization algorithms and empirically assess our method on two bio-chemical sequence optimization tasks.


title: A quasi-linear model of electromagnetic turbulent transport and its application to flux-driven transport predictions for STEP

abstract: A quasi-linear reduced transport model is developed from a database of high-$\beta$ electromagnetic nonlinear gyrokinetic simulations performed with Spherical Tokamak for Energy Production (STEP) relevant parameters. The quasi-linear model is fully electromagnetic and accounts for the effect of equilibrium flow shear using a novel approach. Its flux predictions are shown to agree quantitatively with predictions from local nonlinear gyrokinetic simulations across a broad range of STEP-relevant local equilibria. This reduced transport model is implemented in the T3D transport solver that is used to perform the first flux-driven simulations for STEP to account for transport from hybrid-KBM turbulence, which dominates over a wide region of the core plasma. Nonlinear gyrokinetic simulations of the final transport steady state from T3D return turbulent fluxes that are consistent with the reduced model, indicating that the quasi-linear model may also be appropriate for describing the transport steady state. Within the assumption considered here, our simulations support the existence of a transport steady state in STEP with a fusion power comparable to that in the burning flat-top of the conceptual design, but do not demonstrate how this state can be accessed.


title: Domain Adaptive and Fine-grained Anomaly Detection for Single-cell Sequencing Data and Beyond

abstract: Fined-grained anomalous cell detection from affected tissues is critical for clinical diagnosis and pathological research. Single-cell sequencing data provide unprecedented opportunities for this task. However, current anomaly detection methods struggle to handle domain shifts prevalent in multi-sample and multi-domain single-cell sequencing data, leading to suboptimal performance. Moreover, these methods fall short of distinguishing anomalous cells into pathologically distinct subtypes. In response, we propose ACSleuth, a novel, reconstruction deviation-guided generative framework that integrates the detection, domain adaptation, and fine-grained annotating of anomalous cells into a methodologically cohesive workflow. Notably, we present the first theoretical analysis of using reconstruction deviations output by generative models for anomaly detection in lieu of domain shifts. This analysis informs us to develop a novel and superior maximum mean discrepancy-based anomaly scorer in ACSleuth. Extensive benchmarks over various single-cell data and other types of tabular data demonstrate ACSleuth's superiority over the state-of-the-art methods in identifying and subtyping anomalies in multi-sample and multi-domain contexts. Our code is available at https://github.com/Catchxu/ACsleuth.


title: Averaged observations and turnpike phenomenon for parameter-dependent systems

abstract: Our main contribution in this article is the achievement of the turnpike property in its integral and exponential forms for parameter-dependent systems with averaged observations in the cost functional. Namely, under suitable assumptions with respect to the matrices that defined the dynamics and the cost functional, we prove that the optimal control and state for the evolutionary problem converge in average to the optimal pair of an associated stationary problem. Moreover, we characterize the closeness between these two optimal solutions, proving that over a large time interval, they are exponentially close.


title: Converting High-Performance and Low-Latency SNNs through Explicit Modelling of Residual Error in ANNs

abstract: Spiking neural networks (SNNs) have garnered interest due to their energy efficiency and superior effectiveness on neuromorphic chips compared with traditional artificial neural networks (ANNs). One of the mainstream approaches to implementing deep SNNs is the ANN-SNN conversion, which integrates the efficient training strategy of ANNs with the energy-saving potential and fast inference capability of SNNs. However, under extreme low-latency conditions, the existing conversion theory suggests that the problem of misrepresentation of residual membrane potentials in SNNs, i.e., the inability of IF neurons with a reset-by-subtraction mechanism to respond to residual membrane potentials beyond the range from resting potential to threshold, leads to a performance gap in the converted SNNs compared to the original ANNs. This severely limits the possibility of practical application of SNNs on delay-sensitive edge devices. Existing conversion methods addressing this problem usually involve modifying the state of the conversion spiking neurons. However, these methods do not consider their adaptability and compatibility with neuromorphic chips. We propose a new approach based on explicit modeling of residual errors as additive noise. The noise is incorporated into the activation function of the source ANN, which effectively reduces the residual error. Our experiments on the CIFAR10/100 dataset verify that our approach exceeds the prevailing ANN-SNN conversion methods and directly trained SNNs concerning accuracy and the required time steps. Overall, our method provides new ideas for improving SNN performance under ultra-low-latency conditions and is expected to promote practical neuromorphic hardware applications for further development.


title: Vaporization dynamics of a super-heated water-in-oil droplet: modeling and numerical solution

abstract: The study of vapor bubble growth following droplet vaporization in a superheated liquid involves research areas such as hydrodynamics, heat transfer, mass transfer, and thermodynamics. The interplay between these multiscale aspects is strongly dependent on the geometry, the thermodynamic response, and the local physical properties of the system. To understand the role of each aspect of this complex mechanism we model super-heated droplet vaporization by coupling the equation of motion for bubble growth with the thermodynamics of phase change and heat transfer through the convection-diffusion equation. The semi-analytical model is validated with the analytical description for vapor bubble growth dominated either by inertia (Rayleigh) or by thermal diffusion (Plesset-Zwick), depending on droplet radius and degree of superheat. The effect of a mismatch of the thermal properties between the host liquid and the droplet is shown to be relevant only for low superheating, above which an increase in thermal diffusivity leads to a reduction in the rate of vaporization. At medium to high superheating, the droplet vaporizes completely without relying on thermal diffusion. At the point of complete vaporization, the potential energy within the system drives the bubble overshoots, which vary based on the droplet size and degree of superheat.


title: Pullback of symplectic forms to the space of circle patterns

abstract: We consider circle patterns on surfaces with complex projective structures. We investigate two symplectic forms pulled back to the deformation space of circle patterns. The first one is Goldman's symplectic form on the space of complex projective structures on closed surfaces. The other is the Weil-Petersson symplectic form on the Teichm\"uller space of punctured surfaces. We show that their pullbacks to the space of circle patterns coincide. It is applied to prove the smoothness of the deformation space, which is an essential step to the conjecture that the space of circle patterns is homeomorphic to the Teichm\"uller space of the closed surface. We further conjecture that the pullback of the symplectic forms is non-degenerate and defines a symplectic structure on the space of circle patterns.


title: Quasi particle model vs lattice QCD thermodynamics: extension to $N_f=2+1+1$ flavors and momentum dependent quark masses

abstract: In the last decade a Quasi-Particle Model ($QPM$) has supplied the basis for the study of HQ production in ultra-relativistic AA collisions, allowing for a phenomenological estimate of the HQ diffusion coefficient $D_s(T)$. Taking advantage of the new lattice QCD results for the Equation of State (EoS) with 2+1+1 dynamical flavors, we extend our $QPM$ approach from $N_f=2+1$ to $N_f=2+1+1$, in which the charm quark is included. Given an effective coupling $g(T)$ fixed by a fit to the lQCD energy density $\epsilon(T)$, we evaluate the impact of different temperature parametrizations of charm quark mass on EoS and susceptibilities $\chi_q(T)$ of light, $\chi_s(T)$ of strange and $\chi_c(T)$ of charm quarks, the last favouring a charm quark mass increasing toward $T_c$. We also explore the extension of the $QPM$ approach to a more realistic approach, that we label $QPM_p$, in which quark and gluon masses explicitly depend on their momentum converging to the current quark mass at high momenta, as expected from asymptotic free dynamics. The $QPM_p$ is seen to allow for a simultaneous quantitative description not only of the EoS but also of the quark susceptibilities ($\chi_q(T)$, $\chi_s(T)$), which instead are underestimated in the simple $QPM$ model. Furthermore, evaluating the spatial diffusion coefficient $2\pi T D_s(T)$ in the $QPM_p$, we find it is also significantly closer than $QPM$ to the recent lQCD data performed including dynamical fermions. Finally, in a 1+1D expanding system, we evaluate the $R_{AA}(p_T)$ in the $QPM$ and $QPM_p$, finding a significant reduction at low momenta for $QPM_p$ which could lead in a realistic scenario to a better agreement to experimental data.


title: Ruffle&Riley: Insights from Designing and Evaluating a Large Language Model-Based Conversational Tutoring System

abstract: Conversational tutoring systems (CTSs) offer learning experiences through interactions based on natural language. They are recognized for promoting cognitive engagement and improving learning outcomes, especially in reasoning tasks. Nonetheless, the cost associated with authoring CTS content is a major obstacle to widespread adoption and to research on effective instructional design. In this paper, we discuss and evaluate a novel type of CTS that leverages recent advances in large language models (LLMs) in two ways: First, the system enables AI-assisted content authoring by inducing an easily editable tutoring script automatically from a lesson text. Second, the system automates the script orchestration in a learning-by-teaching format via two LLM-based agents (Ruffle&Riley) acting as a student and a professor. The system allows for free-form conversations that follow the ITS-typical inner and outer loop structure. We evaluate Ruffle&Riley's ability to support biology lessons in two between-subject online user studies (N = 200) comparing the system to simpler QA chatbots and reading activity. Analyzing system usage patterns, pre/post-test scores and user experience surveys, we find that Ruffle&Riley users report high levels of engagement, understanding and perceive the offered support as helpful. Even though Ruffle&Riley users require more time to complete the activity, we did not find significant differences in short-term learning gains over the reading activity. Our system architecture and user study provide various insights for designers of future CTSs. We further open-source our system to support ongoing research on effective instructional design of LLM-based learning technologies.


title: Multi-layer random features and the approximation power of neural networks

abstract: A neural architecture with randomly initialized weights, in the infinite width limit, is equivalent to a Gaussian Random Field whose covariance function is the so-called Neural Network Gaussian Process kernel (NNGP). We prove that a reproducing kernel Hilbert space (RKHS) defined by the NNGP contains only functions that can be approximated by the architecture. To achieve a certain approximation error the required number of neurons in each layer is defined by the RKHS norm of the target function. Moreover, the approximation can be constructed from a supervised dataset by a random multi-layer representation of an input vector, together with training of the last layer's weights. For a 2-layer NN and a domain equal to an $n-1$-dimensional sphere in ${\mathbb R}^n$, we compare the number of neurons required by Barron's theorem and by the multi-layer features construction. We show that if eigenvalues of the integral operator of the NNGP decay slower than $k^{-n-\frac{2}{3}}$ where $k$ is an order of an eigenvalue, then our theorem guarantees a more succinct neural network approximation than Barron's theorem. We also make some computational experiments to verify our theoretical findings. Our experiments show that realistic neural networks easily learn target functions even when both theorems do not give any guarantees.


title: Integrated Sensing and Communication Channel Modeling: A Survey

abstract: Integrated sensing and communication (ISAC) is expected to play a crucial role in the sixth-generation (6G) mobile communication systems, offering potential applications in the scenarios of intelligent transportation, smart factories, etc. The performance of radar sensing in ISAC systems is closely related to the characteristics of radar sensing and communication channels. Therefore, ISAC channel modeling serves as a fundamental cornerstone for evaluating and optimizing ISAC systems. This article provides a comprehensive survey on the ISAC channel modeling methods. Furthermore, the methods of target radar cross section (RCS) modeling and clutter RCS modeling are summarized. Finally, we discuss the future research trends related to ISAC channel modeling in various scenarios.


title: Superresolution imaging of two incoherent optical sources with unequal brightnesses

abstract: Resolving the separation between two incoherent optical sources with high precision is of great significance for fluorescence imaging and astronomical observations. In this paper, we focus on a more general scenario where two sources have unequal brightnesses. We give the ultimate precision limit with respect to separation by using the quantum Fisher information. Through the calculation of the classical Fisher information, we analyze and compare several specific measurement schemes including direct measurement, Gaussian mode measurement and zero-photon measurement. The results indicate that Gaussian mode measurement is the nearly optimal for a small separation. Our work provides a positive complement to the aspect of superresolution imaging of incoherent sources.


title: Bayesian Federated Inference for Survival Models

abstract: In cancer research, overall survival and progression free survival are often analyzed with the Cox model. To estimate accurately the parameters in the model, sufficient data and, more importantly, sufficient events need to be observed. In practice, this is often a problem. Merging data sets from different medical centers may help, but this is not always possible due to strict privacy legislation and logistic difficulties. Recently, the Bayesian Federated Inference (BFI) strategy for generalized linear models was proposed. With this strategy the statistical analyses are performed in the local centers where the data were collected (or stored) and only the inference results are combined to a single estimated model; merging data is not necessary. The BFI methodology aims to compute from the separate inference results in the local centers what would have been obtained if the analysis had been based on the merged data sets. In this paper we generalize the BFI methodology as initially developed for generalized linear models to survival models. Simulation studies and real data analyses show excellent performance; i.e., the results obtained with the BFI methodology are very similar to the results obtained by analyzing the merged data. An R package for doing the analyses is available.


title: Fast Abstracts and Student Forum Proceedings -- EDCC 2024 -- 19th European Dependable Computing Conference

abstract: The goal of the Fast Abstracts track is to bring together researchers and practitioners working on dependable computing to discuss work in progress or opinion pieces. Contributions are welcome from academia and industry. Fast Abstracts aim to serve as a rapid and flexible mechanism to: (i) Report on current work that may or may not be complete; (ii) Introduce new ideas to the community; (iii) State positions on controversial issues or open problems; (iv) Share lessons learnt from real-word dependability engineering; and (v) Debunk or question results from other papers based on contra-indications. The Student Forum aims at creating a vibrant and friendly environment where students can present and discuss their work, and exchange ideas and experiences with other students, researchers and industry. One of the key goals of the Forum is to provide students with feedback on their preliminary results that might help with their future research directions.


title: FTL: Transfer Learning Nonlinear Plasma Dynamic Transitions in Low Dimensional Embeddings via Deep Neural Networks

abstract: Deep learning algorithms provide a new paradigm to study high-dimensional dynamical behaviors, such as those in fusion plasma systems. Development of novel model reduction methods, coupled with detection of abnormal modes with plasma physics, opens a unique opportunity for building efficient models to identify plasma instabilities for real-time control. Our Fusion Transfer Learning (FTL) model demonstrates success in reconstructing nonlinear kink mode structures by learning from a limited amount of nonlinear simulation data. The knowledge transfer process leverages a pre-trained neural encoder-decoder network, initially trained on linear simulations, to effectively capture nonlinear dynamics. The low-dimensional embeddings extract the coherent structures of interest, while preserving the inherent dynamics of the complex system. Experimental results highlight FTL's capacity to capture transitional behaviors and dynamical features in plasma dynamics -- a task often challenging for conventional methods. The model developed in this study is generalizable and can be extended broadly through transfer learning to address various magnetohydrodynamics (MHD) modes.


title: Around the positive graph conjecture

abstract: A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it is symmetric, in the sense that it is formed by gluing two copies of some subgraph along an independent set. We prove several results relating to this conjecture. First, we make progress towards the conjecture itself by showing that any connected positive graph must have a vertex of even degree. We then make use of this result to identify some new counterexamples to the analogue of Sidorenko's conjecture for hypergraphs. In particular, we show that, for $r$ odd, every $r$-uniform tight cycle is a counterexample, generalising a recent result of Conlon, Lee and Sidorenko that dealt with the case $r=3$. Finally, we relate the positive graph conjecture to the emerging study of graph codes by showing that any positive graph has vanishing graph code density, thereby improving a result of Alon who proved the same result for symmetric graphs. Our proofs make use of a variety of tools and techniques, including the properties of independence polynomials, hypergraph quasirandomness and discrete Fourier analysis.


title: On Elliptical and Inverse Elliptical Wishart distributions: Review, new results, and applications

abstract: This paper deals with matrix-variate distributions, from Wishart to Inverse Elliptical Wishart distributions over the set of symmetric definite positive matrices. Similar to the multivariate scenario, (Inverse) Elliptical Wishart distributions form a vast and general family of distributions, encompassing, for instance, Wishart or $t$-Wishart ones. The first objective of this study is to present a unified overview of Wishart, Inverse Wishart, Elliptical Wishart, and Inverse Elliptical Wishart distributions through their fundamental properties. This involves leveraging the stochastic representation of these distributions to establish key statistical properties of the Normalized Wishart distribution. Subsequently, this enables the computation of expectations, variances, and Kronecker moments for Elliptical Wishart and Inverse Elliptical Wishart distributions. As an illustrative application, the practical utility of these generalized Elliptical Wishart distributions is demonstrated using a real electroencephalographic dataset. This showcases their effectiveness in accurately modeling heterogeneous data.


title: Holographic $\frac{1}{2}$-BPS surface defects in ABJM

abstract: We study the class of $\text{AdS}_3\times \mathbb{CP}^3$ solutions to massive Type IIA supergravity with $\mathfrak{osp}(6|2)$ superconformal algebra recently constructed in arXiv:2304.12207 [hep-th]. These solutions are foliations over an interval preserving $\mathcal{N}=(0,6)$ supersymmetry in two dimensions, that in the massless limit can be mapped to the $\text{AdS}_4\times \mathbb{CP}^3$ solution of ABJM/ABJ. We show that in the massive case extra NS5-D8 branes, that we interpret as $\frac{1}{2}$-BPS surface defect branes within the ABJ theory, backreact in the geometry and turn one of the 3d field theory directions onto an energy scale, generating a flow towards a 2d CFT. We construct explicit quiver field theories that we propose flow in the IR to the $(0,6)$ SCFTs dual to the solutions. Finally, we show that the $\text{AdS}_3$ solutions realise geometrically, in terms of large gauge transformations, an extension to the massive case of Seiberg duality in ABJ theories proposed in the literature.


title: Lorentzian homogeneous structures with indecomposable holonomy

abstract: For a Lorentzian homogeneous space, we study how algebraic conditions on the isotropy group affect the geometry and curvature of the homogeneous space. More specifically, we prove that a Lorentzian locally homogeneous space is locally isometric to a plane wave if it admits an Ambrose--Singer connection with indecomposable, non-irreducible holonomy. This generalises several existing results that require a certain algebraic type of the torsion of the Ambrose--Singer connection and moreover is in analogy to the fact that a Lorentzian homogeneous space with irreducible isotropy has constant sectional curvature.


title: Multicontinuum homogenization in perforated domains

abstract: In this paper, we develop a general framework for multicontinuum homogenization in perforated domains. The simulations of problems in perforated domains are expensive and, in many applications, coarse-grid macroscopic models are developed. Many previous approaches include homogenization, multiscale finite element methods, and so on. In our paper, we design multicontinuum homogenization based on our recently proposed framework. In this setting, we distinguish different spatial regions in perforations based on their sizes. For example, very thin perforations are considered as one continua, while larger perforations are considered as another continua. By differentiating perforations in this way, we are able to predict flows in each of them more accurately. We present a framework by formulating cell problems for each continuum using appropriate constraints for the solution averages and their gradients. These cell problem solutions are used in a multiscale expansion and in deriving novel macroscopic systems for multicontinuum homogenization. Our proposed approaches are designed for problems without scale separation. We present numerical results for two continuum problems and demonstrate the accuracy of the proposed methods.


title: MIMO in network simulators: Design, implementation and evaluation of single-user MIMO in ns-3 5G-LENA

abstract: MIMO technology has been studied in textbooks for several decades, and it has been adopted in 4G and 5G systems. Due to the recent evolution in 5G and beyond networks, designed to cover a wide range of use cases with every time more complex applications, it is essential to have network simulation tools (such as ns-3) to evaluate MIMO performance from the network perspective, before real implementation. Up to date, the well-known ns-3 simulator has been missing the inclusion of single-user MIMO (SU-MIMO) models for 5G. In this paper, we detail the implementation models and provide an exhaustive evaluation of SU-MIMO in the 5G-LENA module of ns-3. As per 3GPP 5G, we adopt a hybrid beamforming architecture and a closed-loop MIMO mechanism and follow all 3GPP specifications for MIMO implementation, including channel state information feedback with precoding matrix indicator and rank indicator reports, and codebook-based precoding following Precoding Type-I (used for SU-MIMO). The simulation models are released in open-source and currently support up to 32 antenna ports and 4 streams per user. The simulation results presented in this paper help in testing and verifying the simulated models, for different multi-antenna array and antenna ports configurations.


title: Consistent Second Moment Methods with Scalable Linear Solvers for Radiation Transport

abstract: Second Moment Methods (SMMs) are developed that are consistent with the Discontinuous Galerkin (DG) spatial discretization of the discrete ordinates (or \Sn) transport equations. The low-order (LO) diffusion system of equations is discretized with fully consistent \Pone, Local Discontinuous Galerkin (LDG), and Interior Penalty (IP) methods. A discrete residual approach is used to derive SMM correction terms that make each of the LO systems consistent with the high-order (HO) discretization. We show that the consistent methods are more accurate and have better solution quality than independently discretized LO systems, that they preserve the diffusion limit, and that the LDG and IP consistent SMMs can be scalably solved in parallel on a challenging, multi-material benchmark problem.


title: Establishing best practices for modeling long duration energy storage in deeply decarbonized energy systems

abstract: Long duration energy storage (LDES) may become a critical technology for the decarbonization of the power sector, as current commercially available Li-ion battery storage technologies cannot cost-effectively shift energy to address multi-day or seasonal variability in demand and renewable energy availability. LDES is difficult to model in existing energy system planning models (such as electricity system capacity expansion models), as it is much more dependent on an accurate representation of chronology than other resources. Techniques exist for modeling LDES in these planning models; however, it is not known how spatial and temporal resolution affect the performance of these techniques, creating a research gap. In this study we examine what spatial and temporal resolution is necessarily to accurately capture the full value of LDES, in the context of a continent-scale capacity expansion model. We use the results to draw conclusions and present best practices for modelers seeking to accurately model LDES in a macro-energy systems planning context. Our key findings are: 1) modeling LDES with linked representative periods is crucial to capturing its full value, 2) LDES value is highly sensitive to the cost and availability of other resources, and 3) temporal resolution is more important than spatial resolution for capturing the full value of LDES, although how much temporal resolution is needed will depend on the specific model context.


title: CEval: A Benchmark for Evaluating Counterfactual Text Generation

abstract: Counterfactual text generation aims to minimally change a text, such that it is classified differently. Judging advancements in method development for counterfactual text generation is hindered by a non-uniform usage of data sets and metrics in related work. We propose CEval, a benchmark for comparing counterfactual text generation methods. CEval unifies counterfactual and text quality metrics, includes common counterfactual datasets with human annotations, standard baselines (MICE, GDBA, CREST) and the open-source language model LLAMA-2. Our experiments found no perfect method for generating counterfactual text. Methods that excel at counterfactual metrics often produce lower-quality text while LLMs with simple prompts generate high-quality text but struggle with counterfactual criteria. By making CEval available as an open-source Python library, we encourage the community to contribute more methods and maintain consistent evaluation in future work.


title: Nuclear suppression of coherent $J/\psi$ photoproduction in heavy-ion UPCs and leading twist nuclear shadowing

abstract: We determine the nuclear suppression factor $S_{Pb}(x)$, where $x=M_{J/\psi}^2/W_{\gamma p}^2$ with $M_{J/\psi}$ the $J/\psi$ mass and $W_{\gamma p}$ the photon-nucleon energy, for the cross section of coherent $J/\psi$ photoproduction in heavy-ion ultraperipheral collisions (UPCs) at the Large Hadron Collider (LHC) and Relativistic Heavy Ion Collider (RHIC) by performing the $\chi^2$ fit to all available data on the cross section $d\sigma^{AA \to J/\psi AA}/dy$ as a function of the $J/\psi$ rapidity $y$ and the photoproduction cross section $\sigma^{\gamma A \to J/\psi A}(W_{\gamma p})$ as a function of $W_{\gamma p}$. We find that while the $d\sigma^{AA \to J/\psi AA}/dy$ data alone constrain $S_{Pb}(x)$ for $x \geq 10^{-3}$, the combined $d\sigma^{AA \to J/\psi AA}/dy$ and $\sigma^{\gamma A \to J/\psi A}(W_{\gamma p})$ data allow us to determine $S_{Pb}(x)$ in the wide interval $10^{-5} < x < 0.05$. In particular, the data favor $S_{Pb}(x)$, which decreases with a decrease of $x$ in the $10^{-4} < x < 0.01$ interval, and can be both decreasing or constant for $x< 10^{-4}$. Identifying $S_{Pb}(x)$ with the ratio of the gluon distributions in Pb and the proton $R_g(x,Q_0^2)=g_A(x,Q_0^2)/[A g_p(x,Q_0^2)]$, we demonstrate that the leading twist approximation (LTA) for nuclear shadowing provides a good description of all the data on $d\sigma^{AA \to J/\psi AA}/dy$ and $\sigma^{\gamma A \to J/\psi A}(W_{\gamma p})$ as well as on the experimental values for $S_{Pb}(x)$ derived from $\sigma^{\gamma A \to J/\psi A}(W_{\gamma p})$. We also show that modern nuclear PDFs reasonably reproduce $S_{Pb}(x)$ as well.


title: A multi-agent model of hierarchical decision dynamics

abstract: Decision making can be difficult when there are many actors (or agents) who may be coordinating or competing to achieve their various ideas of the optimum outcome. Here I present a simple decision making model with an explicitly hierarchical binary-tree structure, and evaluate how this might cooperate to take actions that match its various evaluations of the uncertain state of the world. Key features of agent behaviour are (a) the separation of its decision making process into three distinct steps: observation, judgement, and action; and (b) the evolution of coordination by the sharing of judgements.


title: Correction formulas for the two-qubit M{\o}lmer-S{\o}rensen gate

abstract: The M{\o}lmer-S{\o}rensen gate is a widely used entangling gate for ion platforms with inherent robustness to trap heating. The gate performance is limited by coherent errors, arising from the Lamb-Dicke (LD) approximation and sideband errors. Here, we provide explicit analytical formulas for errors up to fourth order in the LD parameter, by using the Magnus expansion to match numerical precision. We show that fourth order Magnus expansion terms are unavoidable, being in fact leading order in LD, and are therefore critical to include for typical target gate fidelities. We show how these errors can be partially compensated using analytical renormalization of the drive strength, by calibration of the Lamb-Dicke parameter, and by the use of smooth pulse shaping.


title: Scalable Adaptive Traffic Light Control Over a Traffic Network Including Turns, Transit Delays, and Blocking

abstract: We develop adaptive data-driven traffic light controllers for a grid-like traffic network considering straight, left-turn, and right-turn traffic flows. The analysis incorporates transit delays and blocking effects on vehicle movements between neighboring intersections. Using a stochastic hybrid system model with parametric traffic light controllers, we use Infinitesimal Perturbation Analysis (IPA) to derive a data-driven cost gradient estimator with respect to controllable parameters. We then iteratively adjust them through an online gradient-based algorithm to improve performance metrics. By integrating a flexible modeling framework to represent diverse intersection and traffic network configurations with event-driven IPA-based adaptive controllers, we develop a general scalable, adaptive framework for real-time traffic light control in multi-intersection traffic networks.


title: A Very-High-Energy Gamma-Ray View of the Transient Sky

abstract: The development of the latest generation of Imaging Atmospheric Cherenkov Telescopes (IACTs) over recent decades has led to the discovery of new extreme astrophysical phenomena in the very-high-energy (VHE, E > 100 GeV) gamma-ray regime. Time-domain and multi-messenger astronomy are inevitably connected to the physics of transient VHE emitters, which show unexpected (and mostly unpredictable) flaring or exploding episodes at different timescales. These transients often share the physical processes responsible for the production of the gamma-ray emission, through cosmic-ray acceleration, magnetic reconnection, jet production and/or outflows, and shocks interactions. In this review, we present an up-to-date overview of the VHE transients field, spanning from novae to supernovae, neutrino counterparts or fast radio bursts, among others, and we outline the expectations for future facilities.


title: ReproHum #0087-01: Human Evaluation Reproduction Report for Generating Fact Checking Explanations

abstract: This paper presents a partial reproduction of Generating Fact Checking Explanations by Anatanasova et al (2020) as part of the ReproHum element of the ReproNLP shared task to reproduce the findings of NLP research regarding human evaluation. This shared task aims to investigate the extent to which NLP as a field is becoming more or less reproducible over time. Following the instructions provided by the task organisers and the original authors, we collect relative rankings of 3 fact-checking explanations (comprising a gold standard and the outputs of 2 models) for 40 inputs on the criteria of Coverage. The results of our reproduction and reanalysis of the original work's raw results lend support to the original findings, with similar patterns seen between the original work and our reproduction. Whilst we observe slight variation from the original results, our findings support the main conclusions drawn by the original authors pertaining to the efficacy of their proposed models.


title: A comparison of the discrimination performance of lasso and maximum likelihood estimation in logistic regression model

abstract: Logistic regression is widely used in many areas of knowledge. Several works compare the performance of lasso and maximum likelihood estimation in logistic regression. However, part of these works do not perform simulation studies and the remaining ones do not consider scenarios in which the ratio of the number of covariates to sample size is high. In this work, we compare the discrimination performance of lasso and maximum likelihood estimation in logistic regression using simulation studies and applications. Variable selection is done both by lasso and by stepwise when maximum likelihood estimation is used. We consider a wide range of values for the ratio of the number of covariates to sample size. The main conclusion of the work is that lasso has a better discrimination performance than maximum likelihood estimation when the ratio of the number of covariates to sample size is high.


title: Differentiable Pareto-Smoothed Weighting for High-Dimensional Heterogeneous Treatment Effect Estimation

abstract: There is a growing interest in estimating heterogeneous treatment effects across individuals using their high-dimensional feature attributes. Achieving high performance in such high-dimensional heterogeneous treatment effect estimation is challenging because in this setup, it is usual that some features induce sample selection bias while others do not but are predictive of potential outcomes. To avoid losing such predictive feature information, existing methods learn separate feature representations using inverse probability weighting (IPW). However, due to their numerically unstable IPW weights, these methods suffer from estimation bias under a finite sample setup. To develop a numerically robust estimator by weighted representation learning, we propose a differentiable Pareto-smoothed weighting framework that replaces extreme weight values in an end-to-end fashion. Our experimental results show that by effectively correcting the weight values, our proposed method outperforms the existing ones, including traditional weighting schemes. Our code is available at https://github.com/ychika/DPSW.