title: Registration of terahertz irradiation with silicon carbide nanostructures

abstract: The response to external terahertz (THz) irradiation from the silicon carbide nanostructures prepared by the method of substitution of atoms on silicon is investigated. The kinetic dependence of the longitudinal voltage is recorded at room temperature by varying the drain-source current in the device structure performed in a Hall geometry. In the frameworks of proposed model based on the quantum Faraday effect the incident radiation results in the appearance of a generated current in the edge channels with a change in the number of magnetic flux quanta and in the appearance of features in the kinetic dependence of the longitudinal voltage. The generation of intrinsic terahertz irradiation inside the silicon carbide nanostructures is also revealed by the electrically-detected electron paramagnetic resonance (EDEPR) measured the longitudinal voltage as a function of the magnetic field value.


title: Comparative Study of Visual SLAM-Based Mobile Robot Localization Using Fiducial Markers

abstract: This paper presents a comparative study of three modes for mobile robot localization based on visual SLAM using fiducial markers (i.e., square-shaped artificial landmarks with a black-and-white grid pattern): SLAM, SLAM with a prior map, and localization with a prior map. The reason for comparing the SLAM-based approaches leveraging fiducial markers is because previous work has shown their superior performance over feature-only methods, with less computational burden compared to methods that use both feature and marker detection without compromising the localization performance. The evaluation is conducted using indoor image sequences captured with a hand-held camera containing multiple fiducial markers in the environment. The performance metrics include absolute trajectory error and runtime for the optimization process per frame. In particular, for the last two modes (SLAM and localization with a prior map), we evaluate their performances by perturbing the quality of prior map to study the extent to which each mode is tolerant to such perturbations. Hardware experiments show consistent trajectory error levels across the three modes, with the localization mode exhibiting the shortest runtime among them. Yet, with map perturbations, SLAM with a prior map maintains performance, while localization mode degrades in both aspects.


title: Symmetry constraints on the orbital transport in solids

abstract: We show that electron interaction with the crystal lattice imposes stringent symmetry constrains on the orbital moment propagation. We present examples that elucidate the underlying mechanisms and reveal an additional effect of ultrafast orbital moment oscillations not captured by the semiclassical models. The constraints revealed by our analysis warrant re-interpretation of prior observations, and suggest routes for efficient orbitronic device implementation.


title: How to Detect an Astrophysical Nanohertz Gravitational-Wave Background

abstract: Analysis of pulsar timing data have provided evidence for a stochastic gravitational wave background in the nHz frequency band. The most plausible source of such a background is the superposition of signals from millions of supermassive black hole binaries. The standard statistical techniques used to search for such a background and assess its significance make several simplifying assumptions, namely: i) Gaussianity; ii) isotropy; and most often iii) a power-law spectrum. However, a stochastic background from a finite collection of binaries does not exactly satisfy any of these assumptions. To understand the effect of these assumptions, we test standard analysis techniques on a large collection of realistic simulated datasets. The dataset length, observing schedule, and noise levels were chosen to emulate the NANOGrav 15-year dataset. Simulated signals from millions of binaries drawn from models based on the Illustris cosmological hydrodynamical simulation were added to the data. We find that the standard statistical methods perform remarkably well on these simulated datasets, despite their fundamental assumptions not being strictly met. They are able to achieve a confident detection of the background. However, even for a fixed set of astrophysical parameters, different realizations of the universe result in a large variance in the significance and recovered parameters of the background. We also find that the presence of loud individual binaries can bias the spectral recovery of the background if we do not account for them.


title: A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability

abstract: Most of the real-time implementations of the stabilizing optimal control actions suffer from the necessity to provide high computational effort. This paper presents a cutting-edge approach for real-time evaluation of linear-quadratic model predictive control (MPC) that employs a novel generalized stopping criterion, achieving asymptotic stability in the presence of input constraints. The proposed method evaluates a fixed number of iterations independent of the initial condition, eliminating the necessity for computationally expensive methods. We demonstrate the effectiveness of the introduced technique by its implementation of two widely-used first-order optimization methods: the projected gradient descent method (PGDM) and the alternating directions method of multipliers (ADMM). The numerical simulation confirmed a significantly reduced number of iterations, resulting in suboptimality rates of less than 2\,\%, while the effort reductions exceeded 80\,\%. These results nominate the proposed criterion for an efficient real-time implementation method of MPC controllers.


title: Wold decomposition for isometries with equal range

abstract: Let $n \geq 2$, and let $V=(V_1,\dots, V_n)$ be an $n$-tuple of isometries acting on a Hilbert space $\mathcal{H}$. We say that $V$ is an $n$-tuple of isometries with equal range if $V_i^{m_i}V_j^{m_j}\mathcal{H} = V_j^{m_j} V_i^{m_i}\mathcal{H}$ and $V_i^{*m_i}V_j^{m_j} \mathcal{H} = V_j^{m_j} V_i^{*m_i}\mathcal{H}$ for $m_i,m_j \in \mathbb{Z}_+$, where $1 \leq i<j \leq n$. We prove that each $n$-tuple of isometries with equal range admits a unique Wold decomposition. We obtain analytic models of the above class, and as a consequence, we show that the wandering data are complete unitary invariants for $n$-tuples of isometries with equal range. Our results unify all prior findings on the decomposition for tuples of isometries in the existing literature.


title: Fractional dynamics and recurrence analysis in cancer model

abstract: In this work, we analyze the effects of fractional derivatives in the chaotic dynamics of a cancer model. We begin by studying the dynamics of a standard model, {\it i.e.}, with integer derivatives. We study the dynamical behavior by means of the bifurcation diagram, Lyapunov exponents, and recurrence quantification analysis (RQA), such as the recurrence rate (RR), the determinism (DET), and the recurrence time entropy (RTE). We find a high correlation coefficient between the Lyapunov exponents and RTE. Our simulations suggest that the tumor growth parameter ($\rho_1$) is associated with a chaotic regime. Our results suggest a high correlation between the largest Lyapunov exponents and RTE. After understanding the dynamics of the model in the standard formulation, we extend our results by considering fractional operators. We fix the parameters in the chaotic regime and investigate the effects of the fractional order. We demonstrate how fractional dynamics can be properly characterized using RQA measures, which offer the advantage of not requiring knowledge of the fractional Jacobian matrix. We find that the chaotic motion is suppressed as $\alpha$ decreases, and the system becomes periodic for $\alpha \lessapprox 0.9966$. We observe limit cycles for $\alpha \in (0.9966,0.899)$ and fixed points for $\alpha<0.899$. The fixed point is determined analytically for the considered parameters. Finally, we discover that these dynamics are separated by an exponential relationship between $\alpha$ and $\rho_1$. Also, the transition depends on a supper transient which obeys the same relationship.


title: Impact of Blur and Resolution on Demographic Disparities in 1-to-Many Facial Identification

abstract: Most studies to date that have examined demographic variations in face recognition accuracy have analyzed 1-to-1 matching accuracy, using images that could be described as "government ID quality". This paper analyzes the accuracy of 1-to-many facial identification across demographic groups, and in the presence of blur and reduced resolution in the probe image as might occur in "surveillance camera quality" images. Cumulative match characteristic curves (CMC) are not appropriate for comparing propensity for rank-one recognition errors across demographics, and so we use three metrics for our analysis: (1) the well-known d' metric between mated and non-mated score distributions, and introduced in this work, (2) absolute score difference between thresholds in the high-similarity tail of the non-mated and the low-similarity tail of the mated distribution, and (3) distribution of (mated - non-mated rank-one scores) across the set of probe images. We find that demographic variation in 1-to-many accuracy does not entirely follow what has been observed in 1-to-1 matching accuracy. Also, different from 1-to-1 accuracy, demographic comparison of 1-to-many accuracy can be affected by different numbers of identities and images across demographics. More importantly, we show that increased blur in the probe image, or reduced resolution of the face in the probe image, can significantly increase the false positive identification rate. And we show that the demographic variation in these high blur or low resolution conditions is much larger for male / female than for African-American / Caucasian. The point that 1-to-many accuracy can potentially collapse in the context of processing "surveillance camera quality" probe images against a "government ID quality" gallery is an important one.


title: Effect of Electron-Phonon Interactions on Three-Level QD-based Spaser: Linear and Quadratic Potentials

abstract: In this article, a spaser (surface plasmon amplification by stimulated emission of radiation) system consisting of a metal nanoparticle surrounded by a large number of quantum dots (QDs) is studied. Usually, the effect of electron-phonon interaction is neglected in the spaser related literature. But some gain media, attributed by the large Raman scattering cross-section, exhibit stronger electron-phonon interaction. No such study has been performed for a QD-based spaser. Hence, it warrants investigation of the same in spaser system. In the present work, we investigate the effects of electron-phonon interaction on a three-level QD-based spaser. We consider two types of interaction potentials, linear and quadratic, and analyze their effects individually. First, we focus on the linear electron-phonon interaction that perturbs the electrons present in the excited state. This yields a periodic steady-state number of localized surface plasmon (LSP). The accompanying analytic solution reveals that the population inversion of the gain medium depends on the linear potential strength (Frohlich constant) but does not affect the threshold of spaser considerably for the given numerical parameters. In addition to the LSP, phonons may be generated during this process, the temporal dynamics of which are also detailed. Initially, the number of phonons exhibit decaying periodic oscillations, whose amplitude depends on the strength of the electron-phonon interaction. Under continuous pumping, at later times, the number of phonons reaches a steady-state value, which may find application in realization of continuous phonon nanolasers. Further, the effect of the quadratic potential is studied phenomenologically by increasing the excited-state decay rate. This results in a large number of LSP and an intense spaser spectrum.


title: Formal first integrals and higher variational equations

abstract: The question of how Algebra can be used to solve dynamical systems and characterize chaos was first posed in a fertile mathematical context by Ziglin, Morales, Ramis and Sim\'o using differential Galois theory. Their study was aimed at first-order, later higher-order, variational equations of Hamiltonian systems. Recent work by this author formalized a compact yet comprehensive expression of higher-order variationals as one infinite linear system, thereby simplifying the approach. More importantly, the dual of this linear system contains all information relevant to first integrals, regardless of whether the original system is Hamiltonian. This applicability to formal calculation of conserved quantities is the centerpiece of this paper, following an introduction to the requisite context. Three important examples, namely particular cases of Dixon's system, the SIR epidemiological model with vital dynamics and the Van der Pol oscillator, are tackled, and explicit convergent first integrals are provided for the first two.


title: Density of $3$-critical signed graphs

abstract: We say that a signed graph is $k$-critical if it is not $k$-colorable but every one of its proper subgraphs is $k$-colorable. Using the definition of colorability due to Naserasr, Wang, and Zhu that extends the notion of circular colorability, we prove that every $3$-critical signed graph on $n$ vertices has at least $\frac{3n-1}{2}$ edges, and that this bound is asymptotically tight. It follows that every signed planar or projective-planar graph of girth at least $6$ is (circular) $3$-colorable, and for the projective-planar case, this girth condition is best possible. To prove our main result, we reformulate it in terms of the existence of a homomorphism to the signed graph $C_{3}^*$, which is the positive triangle augmented with a negative loop on each vertex.


title: A Comparative Study of Coherent and Incoherent Drives in Four-Level Quantum Dot-Based Spaser

abstract: In this article, we theoretically investigate a spaser (surface plasmon amplification by stimulated emission of radiation), which consists of a spherical silver nanoparticle surrounded by four-level gain medium of quantum dots (QDs). The spaser system is pumped coherently and incoherently with the same excitation rate, and the characteristics of coherent localized surface plasmon (LSP) mode, thus produced, are compared for the two pumping scenarios. We provide a detailed analytical expression for the steady state and show that the incoherent pump is more suitable for the continuous spaser mode. The reason is better understood by studying the temporal evolution of number of LSP (N_n ), where the oscillation of LSP starts early for incoherent drive and relaxes to steady state with a large value of N_n. At a large pump rate, spaser curve shows saturation. In addition, we have found that the resonance peak of spaser field is independent of coherent as well as incoherent pumping, while the peak amplitude of field depends on the pump rate.


title: Postprocessing of Ensemble Weather Forecasts Using Permutation-invariant Neural Networks

abstract: Statistical postprocessing is used to translate ensembles of raw numerical weather forecasts into reliable probabilistic forecast distributions. In this study, we examine the use of permutation-invariant neural networks for this task. In contrast to previous approaches, which often operate on ensemble summary statistics and dismiss details of the ensemble distribution, we propose networks that treat forecast ensembles as a set of unordered member forecasts and learn link functions that are by design invariant to permutations of the member ordering. We evaluate the quality of the obtained forecast distributions in terms of calibration and sharpness and compare the models against classical and neural network-based benchmark methods. In case studies addressing the postprocessing of surface temperature and wind gust forecasts, we demonstrate state-of-the-art prediction quality. To deepen the understanding of the learned inference process, we further propose a permutation-based importance analysis for ensemble-valued predictors, which highlights specific aspects of the ensemble forecast that are considered important by the trained postprocessing models. Our results suggest that most of the relevant information is contained in a few ensemble-internal degrees of freedom, which may impact the design of future ensemble forecasting and postprocessing systems.


title: WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue

abstract: Sensor-equipped unoccupied aerial vehicles (UAVs) have the potential to help reduce search times and alleviate safety risks for first responders carrying out Wilderness Search and Rescue (WiSAR) operations, the process of finding and rescuing person(s) lost in wilderness areas. Unfortunately, visual sensors alone do not address the need for robustness across all the possible terrains, weather, and lighting conditions that WiSAR operations can be conducted in. The use of multi-modal sensors, specifically visual-thermal cameras, is critical in enabling WiSAR UAVs to perform in diverse operating conditions. However, due to the unique challenges posed by the wilderness context, existing dataset benchmarks are inadequate for developing vision-based algorithms for autonomous WiSAR UAVs. To this end, we present WiSARD, a dataset with roughly 56,000 labeled visual and thermal images collected from UAV flights in various terrains, seasons, weather, and lighting conditions. To the best of our knowledge, WiSARD is the first large-scale dataset collected with multi-modal sensors for autonomous WiSAR operations. We envision that our dataset will provide researchers with a diverse and challenging benchmark that can test the robustness of their algorithms when applied to real-world (life-saving) applications.


title: An upper bound on geodesic length in 2D critical first-passage percolation

abstract: We consider i.i.d. first-passage percolation (FPP) on the two-dimensional square lattice, in the critical case where edge-weights take the value zero with probability $1/2$. Critical FPP is unique in that the Euclidean lengths of geodesics are superlinear, rather than linear, in the distance between their endpoints. This fact was speculated by Kesten in 1986 but not confirmed until 2019 by Damron and Tang, who showed a lower bound on geodesic length that is polynomial with degree strictly greater than $1$. In this paper we establish the first non-trivial upper bound. Namely, we prove that for a large class of critical edge-weight distributions, the shortest geodesic from the origin to a box of radius $R$ uses at most $R^{2+\epsilon}\pi_3(R)$ edges with high probability, for any $\epsilon > 0$. Here $\pi_3(R)$ is the polychromatic 3-arm probability from classical Bernoulli percolation; upon inserting its conjectural asymptotic, our bound converts to $R^{4/3 + \epsilon}$. In any case, it is known that $\pi_3(R) \lesssim R^{-\delta}$ for some $\delta > 0$, and so our bound gives an exponent strictly less than $2$. In the special case of Bernoulli($1/2$) edge-weights, we replace the additional factor of $R^\epsilon$ with a constant and give an expectation bound.


title: Generalized Variable Selection Algorithms for Gaussian Process Models by LASSO-like Penalty

abstract: With the rapid development of modern technology, massive amounts of data with complex pattern are generated. Gaussian process models that can easily fit the non-linearity in data become more and more popular nowadays. It is often the case that in some data only a few features are important or active. However, unlike classical linear models, it is challenging to identify active variables in Gaussian process models. One of the most commonly used methods for variable selection in Gaussian process models is automatic relevance determination, which is known to be open-ended. There is no rule of thumb to determine the threshold for dropping features, which makes the variable selection in Gaussian process models ambiguous. In this work, we propose two variable selection algorithms for Gaussian process models, which use the artificial nuisance columns as baseline for identifying the active features. Moreover, the proposed methods work for both regression and classification problems. The algorithms are demonstrated using comprehensive simulation experiments and an application to multi-subject electroencephalography data that studies alcoholic levels of experimental subjects.


title: The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science

abstract: From smart sensors that infringe on our privacy to neural nets that portray realistic imposter deepfakes, our society increasingly bears the burden of negative, if unintended, consequences of computing innovations. As the experts in the technology we create, Computer Science (CS) researchers must do better at anticipating and addressing these undesirable consequences proactively. Our prior work showed that many of us recognize the value of thinking preemptively about the perils our research can pose, yet we tend to address them only in hindsight. How can we change the culture in which considering undesirable consequences of digital technology is deemed as important, but is not commonly done?


title: Ground state solutions for quasilinear Schrodinger type equation involving anisotropic p-laplacian

abstract: This paper is concerned with the existence of a nonnegative ground state solution of the following quasilinear Schr\"{o}dinger equation \begin{equation*} \begin{split} -\Delta_{H,p}u+V(x)|u|^{p-2}u-\Delta_{H,p}(|u|^{2\alpha}) |u|^{2\alpha-2}u=\lambda |u|^{q-1}u \text{ in }\;R^n;\; u\in W^{1,p}(\;R^n)\cap L^\infty(\;R^N) \end{split} \end{equation*} where $N\geq2$; $(\alpha,p)\in D_N=\{(x,y)\in \;R^2 : 2xy\geq y+1,\; y\geq2x,\; y<N\}$ and $\lambda>0$ is a parameter. The operator $\Delta_{H,p}$ is the reversible Finsler p-Laplacian operator with the function $H$ being the Minkowski norm on $\;R^N$. Under certain conditions on $V$, we establish the existence of a non-trivial non-negative bounded ground state solution of the above equation.


title: Small systems and the single-hit approximation in the AMY parton cascade ALPACA

abstract: Understanding how momentum anisotropies arise in small collision systems is important for a quantitative understanding of collectivity in terms of QCD dynamics in small and large collision systems. In this letter we present results for small collision systems from the newly developed parton cascade ALPACA, which faithfully encodes the AMY effective kinetic theory. ALPACA reproduces quantitatively previously know results from a calculation in the single-hit approximation for small values of the coupling. We discuss in detail how such a comparison is to be carried out. Particularly at larger coupling a generic differences between the two approaches becomes apparent, namely that in parton cascades particles interact over a finite distance while in direct integrations of the Boltzmann equation the interactions are local. This leads to quantitative differences in the extracted values for the elliptic flow coefficient, but also raises questions of a much more fundamental nature that are worth exploring in the future.


title: Subwords as Skills: Tokenization for Sparse-Reward Reinforcement Learning

abstract: Exploration in sparse-reward reinforcement learning is difficult due to the requirement of long, coordinated sequences of actions in order to achieve any reward. Moreover, in continuous action spaces there are an infinite number of possible actions, which only increases the difficulty of exploration. One class of methods designed to address these issues forms temporally extended actions, often called skills, from interaction data collected in the same domain, and optimizes a policy on top of this new action space. Typically such methods require a lengthy pretraining phase, especially in continuous action spaces, in order to form the skills before reinforcement learning can begin. Given prior evidence that the full range of the continuous action space is not required in such tasks, we propose a novel approach to skill-generation with two components. First we discretize the action space through clustering, and second we leverage a tokenization technique borrowed from natural language processing to generate temporally extended actions. Such a method outperforms baselines for skill-generation in several challenging sparse-reward domains, and requires orders-of-magnitude less computation in skill-generation and online rollouts.


title: Essentially tight bounds for rainbow cycles in proper edge-colourings

abstract: An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstra\"ete from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.


title: Measuring and Improving Chain-of-Thought Reasoning in Vision-Language Models

abstract: Vision-language models (VLMs) have recently demonstrated strong efficacy as visual assistants that can parse natural queries about the visual content and generate human-like outputs. In this work, we explore the ability of these models to demonstrate human-like reasoning based on the perceived information. To address a crucial concern regarding the extent to which their reasoning capabilities are fully consistent and grounded, we also measure the reasoning consistency of these models. We achieve this by proposing a chain-of-thought (CoT) based consistency measure. However, such an evaluation requires a benchmark that encompasses both high-level inference and detailed reasoning chains, which is costly. We tackle this challenge by proposing a LLM-Human-in-the-Loop pipeline, which notably reduces cost while simultaneously ensuring the generation of a high-quality dataset. Based on this pipeline and the existing coarse-grained annotated dataset, we build the CURE benchmark to measure both the zero-shot reasoning performance and consistency of VLMs. We evaluate existing state-of-the-art VLMs, and find that even the best-performing model is unable to demonstrate strong visual reasoning capabilities and consistency, indicating that substantial efforts are required to enable VLMs to perform visual reasoning as systematically and consistently as humans. As an early step, we propose a two-stage training framework aimed at improving both the reasoning performance and consistency of VLMs. The first stage involves employing supervised fine-tuning of VLMs using step-by-step reasoning samples automatically generated by LLMs. In the second stage, we further augment the training process by incorporating feedback provided by LLMs to produce reasoning chains that are highly consistent and grounded. We empirically highlight the effectiveness of our framework in both reasoning performance and consistency.


title: Generalized Cross-domain Multi-label Few-shot Learning for Chest X-rays

abstract: Real-world application of chest X-ray abnormality classification requires dealing with several challenges: (i) limited training data; (ii) training and evaluation sets that are derived from different domains; and (iii) classes that appear during training may have partial overlap with classes of interest during evaluation. To address these challenges, we present an integrated framework called Generalized Cross-Domain Multi-Label Few-Shot Learning (GenCDML-FSL). The framework supports overlap in classes during training and evaluation, cross-domain transfer, adopts meta-learning to learn using few training samples, and assumes each chest X-ray image is either normal or associated with one or more abnormalities. Furthermore, we propose Generalized Episodic Training (GenET), a training strategy that equips models to operate with multiple challenges observed in the GenCDML-FSL scenario. Comparisons with well-established methods such as transfer learning, hybrid transfer learning, and multi-label meta-learning on multiple datasets show the superiority of our approach.


title: Convex Functions are $p$-Subharmonic Functions, $p >1$ On $\mathbb{R}^n$ with Applications

abstract: In this paper we discuss convexity, its average principle, an extrinsic average variational method in the Calculus of Variations, an average method in Partial Differential Equations, a link of convexity to $p$-subharmonicity, subsolutions to the $p$-Laplace equation, uniqueness, existence, isometric immersions in multiple settings. In particular, we show that a convex function on $\mathbb{R}^n$ is a $p$-subharmonic function, for every $p > 1$, and a $C^2$ convex function on a Riemannian manifold is a $p$-subharmonic function $f$, for every $p > 1\, .$ We also show that a $C^2$ convex function which is a submersion on a Riemannian manifold is a $p$-subharmonic function, for every $p \ge 1\, .$ This result is sharp. As further applications, via function growth estimates in $p$-harmonic geometry, we prove that every $p$-balanced nonnegative $C^2$ convex function on a complete noncompact Riemannian manifold is constant for $p > 1$. In particular, every $L^q$, nonnegative, convex function of class $C^2$ on a complete noncompact Riemannian manifold is constant for $q > p -1 > 0\, .$


title: Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)

abstract: This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactive apps on just about every modern platform.Control flow between callbacks is determined by the framework and largely opaque to the programmer.This opacity of the callback control flow not only causes difficulty for the programmer but is also difficult for those developing static analysis.Previous static analysis techniques address this opacity either by assuming an arbitrary framework implementation or attempting to eagerly specify all possible callback control flow, but this is either too coarse or too burdensome and tricky to get right.Instead, we present a middle way where the callback control flow can be gradually refined in a targeted manner to prove assertions of interest.The key insight to get this middle way is by reasoning about the history of method invocations at the boundary between app and framework code - enabling a decoupling of the specification of callback control flow from the analysis of app code.We call the sequence of such boundary-method invocations message histories and develop message-history logics to do this reasoning.In particular, we define the notion of an application-only transition system with boundary transitions, a message-history program logic for programs with such transitions, and a temporal specification logic for capturing callback control flow in a targeted and compositional manner.Then to utilize the logics in a goal-directed verifier, we define a way to combine after-the-fact an assertion about message histories with a specification of callback control flow.We implemented a prototype message history-based verifier called Historia that enables proving the absence of multi-callback bug patterns in real-world open-source Android apps.


title: Variational Quantum Approximate Spectral Clustering for Binary Clustering Problems

abstract: In quantum machine learning, algorithms with parameterized quantum circuits (PQC) based on a hardware-efficient ansatz (HEA) offer the potential for speed-ups over traditional classical algorithms. While much attention has been devoted to supervised learning tasks, unsupervised learning using PQC remains relatively unexplored. One promising approach within quantum machine learning involves optimizing fewer parameters in PQC than in its classical counterparts, under the assumption that a sub-optimal solution exists within the Hilbert space. In this paper, we introduce the Variational Quantum Approximate Spectral Clustering (VQASC) algorithm - a NISQ-compatible method that requires optimization of fewer parameters than the system size, N, traditionally required in classical problems. We present numerical results from both synthetic and real-world datasets. Furthermore, we propose a descriptor, complemented by numerical analysis, to identify an appropriate ansatz circuit tailored for VQASC.


title: The Local Group Symbiotic Star Population and its Weak Relation with Type Ia Supernovae

abstract: Here we study the symbiotic stars (SySt) population and its relation with type Ia supernovae (SNe Ia) in the galaxies of the Local Group. SySt are low- and/or intermediate-mass evolved binary systems where a white dwarf (WD) accretes mass from a giant star. A fraction of these WDs can become massive enough to reach the Chandrasekhar mass. Therefore, SySt have been considered as potential SNe Ia progenitors. Taking two approaches, one empirical and another statistical, we estimated the SySt population on the Galaxy as having a minimum value of $1.69\times10^3$ and a expected one of $3.23\times10^4$. For Local Group dwarfs galaxies, the computed SySt population ranges from 2 to 4 orders of magnitudes lower. Concerning the SNe Ia with SySt progenitors, our general result is that SySt are not the main SNe Ia progenitors. On the other hand, we still expect that about 0.5-8% of the SNe Ia have symbiotic progenitors in the Milky Way, while the majority of the - low-mass - dwarfs galaxies did not experience a symbiotic type Ia supernova.


title: A search for faint resolved galaxies beyond the Milky Way in DES Year 6: A new faint, diffuse dwarf satellite of NGC 55

abstract: We report results from a systematic wide-area search for faint dwarf galaxies at heliocentric distances from 0.3 to 2 Mpc using the full six years of data from the Dark Energy Survey (DES). Unlike previous searches over the DES data, this search specifically targeted a field population of faint galaxies located beyond the Milky Way virial radius. We derive our detection efficiency for faint, resolved dwarf galaxies in the Local Volume with a set of synthetic galaxies and expect our search to be complete to $M_V$ ~ $(-7, -10)$ mag for galaxies at $D = (0.3, 2.0)$ Mpc respectively. We find no new field dwarfs in the DES footprint, but we report the discovery of one high-significance candidate dwarf galaxy at a distance of $2.2\substack{+0.05\\-0.12}$ Mpc, a potential satellite of the Local Volume galaxy NGC 55, separated by $47$ arcmin (physical separation as small as 30 kpc). We estimate this dwarf galaxy to have an absolute V-band magnitude of $-8.0\substack{+0.5\\-0.3}$ mag and an azimuthally averaged physical half-light radius of $2.2\substack{+0.5\\-0.4}$ kpc, making this one of the lowest surface brightness galaxies ever found with $\mu = 32.3$ mag ${\rm arcsec}^{-2}$. This is the largest, most diffuse galaxy known at this luminosity, suggesting possible tidal interactions with its host.


title: Bayesian and frequentist investigation of prior effects in EFTofLSS analyses of full-shape BOSS and eBOSS data

abstract: Previous studies based on Bayesian methods have shown that the constraints on cosmological parameters from the Baryonic Oscillation Spectroscopic Survey (BOSS) full-shape data using the Effective Field Theory of Large Scale Structure (EFTofLSS) depend on the choice of prior on the EFT nuisance parameters. In this work, we explore this prior dependence by adopting a frequentist approach based on the profile likelihood method, which is inherently independent of priors, considering data from BOSS, eBOSS and Planck. We find that the priors on the EFT parameters in the Bayesian inference are informative and that prior volume effects are important. This is reflected in shifts of the posterior mean compared to the maximum likelihood estimate by up to 1.0 {\sigma} (1.6 {\sigma}) and in a widening of intervals informed from frequentist compared to Bayesian intervals by factors of up to 1.9 (1.6) for BOSS (eBOSS) in the baseline configuration, while the constraints from Planck are unchanged. Our frequentist confidence intervals give no indication of a tension between BOSS/eBOSS and Planck. However, we find that the profile likelihood prefers extreme values of the EFT parameters, highlighting the importance of combining Bayesian and frequentist approaches for a fully nuanced cosmological inference. We show that the improved statistical power of future data will reconcile the constraints from frequentist and Bayesian inference using the EFTofLSS.


title: Multi-contact Stochastic Predictive Control for Legged Robots with Contact Locations Uncertainty

abstract: Trajectory optimization under uncertainties is a challenging problem for robots in contact with the environment. Such uncertainties are inevitable due to estimation errors, control imperfections, and model mismatches between planning models used for control and the real robot dynamics. This induces control policies that could violate the contact location constraints by making contact at unintended locations, and as a consequence leading to unsafe motion plans. This work addresses the problem of robust kino-dynamic whole-body trajectory optimization using stochastic nonlinear model predictive control (SNMPC) by considering additive uncertainties on the model dynamics subject to contact location chance-constraints as a function of robot's full kinematics. We demonstrate the benefit of using SNMPC over classic nonlinear MPC (NMPC) for whole-body trajectory optimization in terms of contact location constraint satisfaction (safety). We run extensive Monte-Carlo simulations for a quadruped robot performing agile trotting and bounding motions over small stepping stones, where contact location satisfaction becomes critical. Our results show that SNMPC is able to perform all motions safely with 100% success rate, while NMPC failed 48.3% of all motions.


title: On the Actionability of Outcome Prediction

abstract: Predicting future outcomes is a prevalent application of machine learning in social impact domains. Examples range from predicting student success in education to predicting disease risk in healthcare. Practitioners recognize that the ultimate goal is not just to predict but to act effectively. Increasing evidence suggests that relying on outcome predictions for downstream interventions may not have desired results. In most domains there exists a multitude of possible interventions for each individual, making the challenge of taking effective action more acute. Even when causal mechanisms connecting the individual's latent states to outcomes is well understood, in any given instance (a specific student or patient), practitioners still need to infer -- from budgeted measurements of latent states -- which of many possible interventions will be most effective for this individual. With this in mind, we ask: when are accurate predictors of outcomes helpful for identifying the most suitable intervention? Through a simple model encompassing actions, latent states, and measurements, we demonstrate that pure outcome prediction rarely results in the most effective policy for taking actions, even when combined with other measurements. We find that except in cases where there is a single decisive action for improving the outcome, outcome prediction never maximizes "action value", the utility of taking actions. Making measurements of actionable latent states, where specific actions lead to desired outcomes, considerably enhances the action value compared to outcome prediction, and the degree of improvement depends on action costs and the outcome model. This analysis emphasizes the need to go beyond generic outcome prediction in interventional settings by incorporating knowledge of plausible actions and latent states.


title: Multiplicative Anomaly matches Casimir Energy for GJMS Operators on Spheres

abstract: An explicit formula to compute the multiplicative anomaly or defect of $\zeta$-regularized products of linear factors is derived, by using a Feynman parametrization, generalizing Shintani-Mizuno formulas. Firstly, this is applied on $n$-spheres, reproducing known results in the literature. Then, this framework is applied to a closed Einstein universe at finite temperature, namely $S^1_{\beta}\times S^{n-1}$. In doing so, it is shown that the standard Casimir energy for GJMS operators coincides with the accumulated multiplicative anomaly for the shifted Laplacians that build them up. This equivalence between Casimir energy and multiplicative anomaly, unnoticed so far to our knowledge, brings about a new turn regarding the physical significance of the multiplicative anomaly, putting both now on equal footing. An emergent improved Casimir energy, that takes into account the multiplicative anomaly among the building Laplacians, is also discussed.


title: Two-point sum-rules in three-dimensional Yang-Mills theory

abstract: We compute the stress-tensor two-point function in three-dimensional Yang-Mills theory to three-loops in perturbation theory. Using its calculable shape at high momenta, we test the notion that its Borel transform is saturated at low energies by the lowest glueball state(s). This assumption provides relatively stable estimates for the mass of the lightest glueball that we compare with lattice simulations. We also provide estimates for the coupling of the lightest glueball to the stress tensor. Along the way, we comment on the extent that such estimates are non-rigorous. Lastly, we discuss the possibility of applying the sum-rule analysis to two-point functions of higher-spin operators and obtain a crude approximation for the glueball couplings to these operators.


title: GaAs nano-ridge laser diodes fully fabricated in a 300 mm CMOS pilot line

abstract: Silicon photonics is a rapidly developing technology that promises to revolutionize the way we communicate, compute, and sense the world. However, the lack of highly scalable, native CMOS-integrated light sources is one of the main factors hampering its widespread adoption. Despite significant progress in hybrid and heterogeneous integration of III-V light sources on silicon, monolithic integration by direct epitaxial growth of III-V materials remains the pinnacle in realizing cost-effective on-chip light sources. Here, we report the first electrically driven GaAs-based multi-quantum-well laser diodes fully fabricated on 300 mm Si wafers in a CMOS pilot manufacturing line. GaAs nano-ridge waveguides with embedded p-i-n diodes, InGaAs quantum wells and InGaP passivation layers are grown with high quality at wafer scale, leveraging selective-area epitaxy with aspect-ratio trapping. After III-V facet patterning and standard CMOS contact metallization, room-temperature continuous-wave lasing is demonstrated at wavelengths around 1020 nm in more than three hundred devices across a wafer, with threshold currents as low as 5 mA, output powers beyond 1 mW, laser linewidths down to 46 MHz, and laser operation up to 55 {\deg}C. These results illustrate the potential of the III-V/Si nano-ridge engineering concept for the monolithic integration of laser diodes in a Si photonics platform, enabling future cost-sensitive high-volume applications in optical sensing, interconnects and beyond.


title: Weakly supervised learning for pattern classification in serial femtosecond crystallography

abstract: Serial femtosecond crystallography at X-ray free electron laser facilities opens a new era for the determination of crystal structure. However, the data processing of those experiments is facing unprecedented challenge, because the total number of diffraction patterns needed to determinate a high-resolution structure is huge. Machine learning methods are very likely to play important roles in dealing with such a large volume of data. Convolutional neural networks have made a great success in the field of pattern classification, however, training of the networks need very large datasets with labels. Th is heavy dependence on labeled datasets will seriously restrict the application of networks, because it is very costly to annotate a large number of diffraction patterns. In this article we present our job on the classification of diffraction pattern by weakly supervised algorithms, with the aim of reducing as much as possible the size of the labeled dataset required for training. Our result shows that weakly supervised methods can significantly reduce the need for the number of labeled patterns while achieving comparable accuracy to fully supervised methods.


title: Crystal Structure Prediction by Joint Equivariant Diffusion

abstract: Crystal Structure Prediction (CSP) is crucial in various scientific disciplines. While CSP can be addressed by employing currently-prevailing generative models (e.g. diffusion models), this task encounters unique challenges owing to the symmetric geometry of crystal structures -- the invariance of translation, rotation, and periodicity. To incorporate the above symmetries, this paper proposes DiffCSP, a novel diffusion model to learn the structure distribution from stable crystals. To be specific, DiffCSP jointly generates the lattice and atom coordinates for each crystal by employing a periodic-E(3)-equivariant denoising model, to better model the crystal geometry. Notably, different from related equivariant generative approaches, DiffCSP leverages fractional coordinates other than Cartesian coordinates to represent crystals, remarkably promoting the diffusion and the generation process of atom positions. Extensive experiments verify that our DiffCSP significantly outperforms existing CSP methods, with a much lower computation cost in contrast to DFT-based methods. Moreover, the superiority of DiffCSP is also observed when it is extended for ab initio crystal generation.


title: Equable Triangles on the Eisenstein Lattice

abstract: We show that there are only two equable triangles having vertices on the Eisenstein lattice, up to Euclidean motions.


title: High pressure behaviour of the magnetic van der Waals molecular framework Ni(NCS)$_2$

abstract: Two-dimensional materials offer a unique range of magnetic, electronic and mechanical properties which can be controlled by external stimuli. Pressure is a particularly important stimulus, as it can be achieved readily and can produce large responses, especially in low-dimensional materials. In this paper we explore the pressure-dependence of the structural and magnetic properties of a two-dimensional van der Waals (vdW) molecular framework antiferromagnet with ferromagnetic layers, Ni(NCS)$_2$, up to 8.4 kbar. Through a combination of X-ray and neutron diffraction analysis, we find that Ni(NCS)$_2$ is significantly more compressible than comparable vdW metal halides, and its response is anisotropic not only out of the plane, but also within the layers. Using bulk magnetisation and neutron diffraction data, we show that the ambient layered antiferromagnetic phase is maintained up to the largest investigated pressure, but with an enhanced N\'eel temperature, $T_\mathrm{N}$, ($\Delta T_\mathrm{N} / T_\mathrm{N} = +19$ %) and a large pressure sensitivity ($Q = \frac{1}{T_\mathrm{N}} \frac{\mathrm{d}T_\mathrm{N}}{\mathrm{d}P} = +2.3$ % kbar$^{-1}$), one of the larger values of magnetic pressure responsiveness for a vdW material. Density functional theory calculations suggest that this is due to increasing three-dimensionality. These results provide some of the first insights into the pressure response of molecular framework vdW magnets and suggest investigation of other molecular framework vdW magnets might uncover contenders for future pressure-switchable devices.


title: Multimodal machine learning for materials science: composition-structure bimodal learning for experimentally measured properties

abstract: The widespread application of multimodal machine learning models like GPT-4 has revolutionized various research fields including computer vision and natural language processing. However, its implementation in materials informatics remains underexplored, despite the presence of materials data across diverse modalities, such as composition and structure. The effectiveness of machine learning models trained on large calculated datasets depends on the accuracy of calculations, while experimental datasets often have limited data availability and incomplete information. This paper introduces a novel approach to multimodal machine learning in materials science via composition-structure bimodal learning. The proposed COmposition-Structure Bimodal Network (COSNet) is designed to enhance learning and predictions of experimentally measured materials properties that have incomplete structure information. Bimodal learning significantly reduces prediction errors across distinct materials properties including Li conductivity in solid electrolyte, band gap, refractive index, dielectric constant, energy, and magnetic moment, surpassing composition-only learning methods. Furthermore, we identified that data augmentation based on modal availability plays a pivotal role in the success of bimodal learning.


title: Inner product regularized multi-energy X-ray tomography for material decomposition

abstract: Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term comprises inner products between the material distribution functions, penalizing any overlap of different materials. The method is tested on real data measured of a phantom embedded with Na$_2$SeO$_3$, Na$_2$SeO$_4$, and elemental selenium. It is found that the two-dimensional distributions of selenium in different oxidation states can be mapped and distinguished from each other with the new algorithm. The results have applications in material science, chemistry, biology and medicine.


title: Modeling of electrochemical oxide film growth -- a PDM refinement

abstract: The Point Defect Model (PDM) is known for over 40 years and has brought deeper insight to the understanding of passivity. During the last decades it has seen several changes and refinements, and it has been widely used to analyze growth kinetics of different alloys. Nevertheless, the model has been based on still unconfirmed assumptions, as constant and potential independent electric field strength. To overcome this limitation, we introduce a Refined PDM (R-PDM) in which we replace those assumptions by using additional equations for charge distribution including new physically valid boundary conditions based on considering finite dimensions for the defects by introduction of two defect layer at the film boundaries and by calculating the potential drop at the surface of the film towards the solution over the compact double layer. The calculations by the R-PDM show that the original PDM assumptions are only valid for very specific parameter combinations of oxide film growth and vacancies transport and cannot generally be taken for granted. We believe our findings of electric field and potential drop dependency on the external potential to pave the way for a more realistic description of passive layer formation.


title: High-precision optical fiber sensing beyond 1000{\deg}C

abstract: Sapphire fiber can withstand around 2000{\deg}C, but it is multimoded, giving poor precision sensors. We demonstrate a single-mode sapphire fiber Bragg grating temperature sensor operating up to 1200{\deg}C. The repeatability above 1000{\deg}C is within {\pm}0.08%.


title: Addressing the Accuracy-Cost Tradeoff in Material Property Prediction: A Teacher-Student Strategy

abstract: Deep learning has revolutionized the process of new material discovery, with state-of-the-art models now able to predict material properties based solely on chemical compositions, thus eliminating the necessity for material structures. However, this cost-effective method has led to a trade-off in model accuracy. Specifically, the accuracy of Chemical Composition-based Property Prediction Models (CPMs) significantly lags behind that of Structure-based Property Prediction Models (SPMs). To tackle this challenge, we propose an innovative Teacher-Student (T-S) strategy, where a pre-trained SPM serves as the 'teacher' to enhance the accuracy of the CPM. Leveraging the T-S strategy, T-S CrabNet has risen to become the most accurate model among current CPMs. Initially, we demonstrated the universality of this strategy. On the Materials Project (MP) and Jarvis datasets, we validated the effectiveness of the T-S strategy in boosting the accuracy of CPMs with two distinct network structures, namely CrabNet and Roost. This led to CrabNet, under the guidance of the T-S strategy, emerging as the most accurate model among the current CPMs. Moreover, this strategy shows remarkable efficacy in small datasets. When predicting the formation energy on a small MP dataset comprising merely 5% of the samples, the T-S strategy boosted CrabNet's accuracy by 37.1%, exceeding the enhancement effect of the T-S strategy on the whole dataset.


title: Ein neuer Ansatz zur Frequenzmodellierung im Versicherungswesen (A new Approach to frequency modeling in risk theory)

abstract: The collective risk model differentiates usually between claims frequencies (and their distribution) and claim sizes (and their distribution). For the claims frequencies typically classical discrete distributions are considered, such as Binomial-, Negative binomial- or Poisson distributions. Since these distributions sometimes do not really fit to the data we propose a different approach here for claim frequencies via random proportions of the number of insurance contracts. This approach also allows for a statistical goodness-of-fit test via quantile-quantile-plots and can likewise be applied to the modelling of claim size distributions.


title: Focusing of high energy electron beam using crystal lenses for applications in radiotherapy

abstract: The two dominant radiotherapy methods are either simplified in terms of beam generation and handling, which compromises the energy deposition curve in tissues (photon therapy), or require extensive accelerator facilities and complex beam delivery systems to provide a favorable shape of the energy deposition curve (hadron therapy). The advantages of both of these methods, such as the low cost of the apparatus, ease of beam generation, and a suitable shape of the energy deposition curve in tissues, can potentially be achieved by using a very high-energy electron beam (beam energy in the order of a few hundreds of MeV) focused on the area of the tumor lesion. However, focusing of the beam is usually done with the use of quadrupole magnets which makes the beam delivery system complex and challenging from the engineering point of view. In this thesis, the feasibility of an alternative solution is explored, where focusing is performed by a bent silicon crystal with an appropriate shape of its exit face. Such a crystal lens can be a very light object (mass in the order of grams), allowing for much simpler beam delivery systems of radiotherapy facilities. As a result of this feasibility study, a simulation of a bent silicon crystal with profiled exit was prepared in Geant4. The outcome obtained from the simulation proved the focusing ability of such profiled crystal. However, the focusing strength of the crystal is not strong enough. Technical requirements needed to enable an improvement in focusing efficiency were identified and understood. Moreover, alternative solutions providing stronger focusing while using profiled crystals were proposed.


title: An 852 nm Faraday laser with 8 kHz linewidth based on corner-cube retroreflector

abstract: A single-mode Cs atom 852 nm Faraday laser based on the corner-cube reflector feedback is first demonstrated to our best knowledge. Using the corner-cube reflector as external cavity feedback in Faraday laser, the robustness can be greatly improved. This Faraday laser can always achieve laser oscillation unless the angle between incident light and the optical axis of corner-cube retroreflector is beyond the plus or minus 3{\deg} range. Furthermore, the Faraday laser achieves single-mode operation within the current range of 100 mA , and its output wavelength is automatically limited to the vicinity of the Cs atomic transition lines. The wavelength fluctuation range is limited to plus or minus 1.2 pm within 9 hours under +3{\deg} rotation angle. Moreover, the most probable linewidth is 7.97 kHz measured by heterodyne beating. The Faraday laser with high robustness as well as narrow linewidth can be widely used in quantum precision measurement fields including quantum optics, atomic clocks, atomic magnetometers, cold atoms, and atomic gravimeters, etc.


title: Infrared Nanoimaging of Hydrogenated Perovskite Nickelate Synaptic Devices

abstract: Solid-state devices made from correlated oxides such as perovskite nickelates are promising for neuromorphic computing by mimicking biological synaptic function. However, comprehending dopant action at the nanoscale poses a formidable challenge to understanding the elementary mechanisms involved. Here, we perform operando infrared nanoimaging of hydrogen-doped correlated perovskite, neodymium nickel oxide (H-NdNiO3) devices and reveal how an applied field perturbs dopant distribution at the nanoscale. This perturbation leads to stripe phases of varying conductivity perpendicular to the applied field, which define the macroscale electrical characteristics of the devices. Hyperspectral nano-FTIR imaging in conjunction with density functional theory calculations unveil a real-space map of multiple vibrational states of H-NNO associated with OH stretching modes and their dependence on the dopant concentration. Moreover, the localization of excess charges induces an out-of-plane lattice expansion in NNO which was confirmed by in-situ - x-ray diffraction and creates a strain that acts as a barrier against further diffusion. Our results and the techniques presented here hold great potential to the rapidly growing field of memristors and neuromorphic devices wherein nanoscale ion motion is fundamentally responsible for function.


title: Penalization Framework For Autonomous Agents Using Answer Set Programming

abstract: This paper presents a framework for enforcing penalties on intelligent agents that do not comply with authorization or obligation policies in a changing environment. A framework is proposed to represent and reason about penalties in plans, and an algorithm is proposed to penalize an agent's actions based on their level of compliance with respect to authorization and obligation policies. Being aware of penalties an agent can choose a plan with a minimal total penalty, unless there is an emergency goal like saving a human's life. The paper concludes that this framework can reprimand insubordinate agents.


title: On a Pair of Diophantine Equations

abstract: For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the criteria to study the sequence of equations used by the pair $(a_n/\gcd{(a_n, a_{n+1})}, a_{n+1}/\gcd{(a_n, a_{n+1})})$ from several special sequences $(a_n)_{n\geq 1}$. Finally, fixing $k \in \mathbb{N}$, we investigate the periodicity of the sequence of equations used by the pair $(k/\gcd{(k, n)}, n/\gcd{(k, n)})$ as $n$ increases.


title: Reconfigurable Meta-Radiator Based on Flexible Mechanically Controlled Current Distribution in Three-dimensional Space

abstract: In this paper, we provide an experimental proof-of-concept of this dynamic 3D current manipulation through a 3D-printed reconfigurable meta-radiator with periodically slotted current elements. By utilizing the working frequency and the mechanical configuration comprehensively, the radiation pattern can be switched among 12 states. Inspired by maximum likelihood method in digital communications, a robustness-analysis method is proposed to evaluate the potential error ratio between ideal cases and practice. Our work provides a previously unidentified model for next-generation information distribution and terahertz-infrared wireless communications.


title: Efficient synthesis of Vitamin D3 in a 3D ultraviolet photochemical microreactor fabricated using an ultrafast laser

abstract: Large-scale, high-precision, and high-transparency microchannels hold great potential for developing high-performance continuous-flow photochemical reactions. We demonstrate ultrafast laser-enabled fabrication of 3D microchannel reactors in ultraviolet (UV) grade fused silica which exhibit high transparency under the illumination of UV light sources of wavelengths well below 300 nm with excellent mixing efficiency. With the fabricated glass microchannel reactors, we demonstrate continuous-flow UV photochemical synthesis of vitamin D3 with low power consumption of the UV light sources.


title: A Context-Sensitive Approach to XAI in Music Performance

abstract: The rapidly evolving field of Explainable Artificial Intelligence (XAI) has generated significant interest in developing methods to make AI systems more transparent and understandable. However, the problem of explainability cannot be exhaustively solved in the abstract, as there is no single approach that can be universally applied to generate adequate explanations for any given AI system, and this is especially true in the arts. In this position paper, we propose an Explanatory Pragmatism (EP) framework for XAI in music performance, emphasising the importance of context and audience in the development of explainability requirements. By tailoring explanations to specific audiences and continuously refining them based on feedback, EP offers a promising direction for enhancing the transparency and interpretability of AI systems in broad artistic applications and more specifically to music performance.


title: Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions

abstract: This paper addresses the problem of safety-critical control for non-affine control systems. It has been shown that optimizing quadratic costs subject to state and control constraints can be sub-optimally reduced to a sequence of quadratic programs (QPs) by using Control Barrier Functions (CBFs). Our recently proposed High Order CBFs (HOCBFs) can accommodate constraints of arbitrary relative degree. The main challenges in this approach are that it requires affine control dynamics and the solution of the CBF-based QP is sub-optimal since it is solved point-wise. To address these challenges, we incorporate higher-order CBFs into neural ordinary differential equation-based learning models as differentiable CBFs to guarantee safety for non-affine control systems. The differentiable CBFs are trainable in terms of their parameters, and thus, they can address the conservativeness of CBFs such that the system state will not stay unnecessarily far away from safe set boundaries. Moreover, the imitation learning model is capable of learning complex and optimal control policies that are usually intractable online. We illustrate the effectiveness of the proposed framework on LiDAR-based autonomous driving and compare it with existing methods.


title: Effective action approach to the dynamical map

abstract: The dynamical map represents a fundamental concept in quantum field theory, providing a solution of the field equations in the Fock space of asymptotic fields. In this paper, we show how to express the dynamical map of a scalar field in the language of quantum effective action. This grants us new insights into the study of topological defects in quantum field theory, showing a connection between the usual least-action principle and Umezawa's boson transformation method.


title: On the Existence of Steady-State Solutions to the Equations Governing Fluid Flow in Networks

abstract: The steady-state solution of fluid flow in pipeline infrastructure networks driven by junction/node potentials is a crucial ingredient in various decision-support tools for system design and operation. While the nonlinear system is known to have a unique solution (when one exists), the absence of a definite result on the existence of solutions hobbles the development of computational algorithms, for it is not possible to distinguish between algorithm failure and non-existence of a solution. In this letter, we show that for any fluid whose equation of state is a scaled monomial, a unique solution exists for such nonlinear systems if the term solution is interpreted in terms of potentials and flows rather than pressures and flows. However, for gases following the CNGA equation of state, while the question of existence remains open, we construct an alternative system that always has a unique solution and show that the solution to this system is a good approximant of the true solution. The existence result for flow of natural gas in networks also applies to other fluid flow networks such as water distribution networks or networks that transport carbon dioxide in carbon capture and sequestration. Most importantly, our result enables correct diagnosis of algorithmic failure, problem stiffness, and non-convergence in computational algorithms.


title: The Hydrodynamic Representation of the Quantum Relativistic Dynamics of the Electron

abstract: In this work, the action of the relativistic electron is derived from the hydrodynamic formulation of the Dirac equation. In particular, in the hydrodynamic scenario, the four-velocity of the electron is regarded as an Eulerian field and the electron spin interacts with the corresponding vorticity field. In the second part of the work, it is shown how the second order Dirac equation can be derived from a principle of Minimum Fisher Information.


title: The time evolution of $M_{\mathrm{d}}/\dot M$ in protoplanetary discs as a way to disentangle between viscosity and MHD winds

abstract: As the classic viscous paradigm for protoplanetary disk accretion is challenged by the observational evidence of low turbulence, the alternative scenario of MHD disk winds is being explored as potentially able to reproduce the same observed features traditionally explained with viscosity. Although the two models lead to different disk properties, none of them has been ruled out by observations - mainly due to instrumental limitations. In this work, we present a viable method to distinguish between the viscous and MHD framework based on the different evolution of the distribution in the disk mass ($M_{\mathrm{d}}$) - accretion rate ($\dot M$) plane of a disk population. With a synergy of analytical calculations and 1D numerical simulations, performed with the population synthesis code \texttt{Diskpop}, we find that both mechanisms predict the spread of the observed ratio $M_{\mathrm{d}}/\dot M$ in a disk population to decrease over time; however, this effect is much less pronounced in MHD-dominated populations as compared to purely viscous populations. Furthermore, we demonstrate that this difference is detectable with the current observational facilities: we show that convolving the intrinsic spread with the observational uncertainties does not affect our result, as the observed spread in the MHD case remains significantly larger than in the viscous scenario. While the most recent data available show a better agreement with the wind model, ongoing and future efforts to obtain direct gas mass measurements with ALMA and ngVLA will cause a reassessment of this comparison in the near future.


title: Formal derivation of an inversion formula for the approximation of interface defects by means of active thermography

abstract: Thermal properties of a two-layered composite conductor are modified in case the interface is damaged. The present paper deals with nondestructive evaluation of perturbations of interface thermal conductance due to the presence of defects. The specimen is heated by means of a lamp system or a laser while its surface temperature is measured with an infrared camera in the typical framework of Active Thermography. Defects affecting the interface are evaluated using Laplace transformation and suitable symmetries of parabolic differential operators (reciprocity).


title: PhysioZoo: The Open Digital Physiological Biomarkers Resource

abstract: PhysioZoo is a collaborative platform designed for the analysis of continuous physiological time series. The platform currently comprises four modules, each consisting of a library, a user interface, and a set of tutorials: (1) PhysioZoo HRV, dedicated to studying heart rate variability (HRV) in humans and other mammals; (2) PhysioZoo SPO2, which focuses on the analysis of digital oximetry biomarkers (OBM) using continuous oximetry (SpO2) measurements from humans; (3) PhysioZoo ECG, dedicated to the analysis of electrocardiogram (ECG) time series; (4) PhysioZoo PPG, designed to study photoplethysmography (PPG) time series. In this proceeding, we introduce the PhysioZoo platform as an open resource for digital physiological biomarkers engineering, facilitating streamlined analysis and data visualization of physiological time series while ensuring the reproducibility of published experiments. We welcome researchers to contribute new libraries for the analysis of various physiological time series, such as electroencephalography, blood pressure, and phonocardiography. You can access the resource at physiozoo.com. We encourage researchers to explore and utilize this platform to advance their studies in the field of continuous physiological time-series analysis.


title: Weighted Unsupervised Domain Adaptation Considering Geometry Features and Engineering Performance of 3D Design Data

abstract: The product design process in manufacturing involves iterative design modeling and analysis to achieve the target engineering performance, but such an iterative process is time consuming and computationally expensive. Recently, deep learning-based engineering performance prediction models have been proposed to accelerate design optimization. However, they only guarantee predictions on training data and may be inaccurate when applied to new domain data. In particular, 3D design data have complex features, which means domains with various distributions exist. Thus, the utilization of deep learning has limitations due to the heavy data collection and training burdens. We propose a bi-weighted unsupervised domain adaptation approach that considers the geometry features and engineering performance of 3D design data. It is specialized for deep learning-based engineering performance predictions. Domain-invariant features can be extracted through an adversarial training strategy by using hypothesis discrepancy, and a multi-output regression task can be performed with the extracted features to predict the engineering performance. In particular, we present a source instance weighting method suitable for 3D design data to avoid negative transfers. The developed bi-weighting strategy based on the geometry features and engineering performance of engineering structures is incorporated into the training process. The proposed model is tested on a wheel impact analysis problem to predict the magnitude of the maximum von Mises stress and the corresponding location of 3D road wheels. This mechanism can reduce the target risk for unlabeled target domains on the basis of weighted multi-source domain knowledge and can efficiently replace conventional finite element analysis.


title: $C^{\ast}$-algebraic approach to the principal symbol. III

abstract: We treat the notion of principal symbol mapping on a compact smooth manifold as a $\ast$-homomorphism of $C^{\ast}$-algebras. Principal symbol mapping is built from the ground, without referring to the pseudodifferential calculus on the manifold. Our concrete approach allows us to extend Connes Trace Theorem for compact Riemannian manifolds.


title: Weighted refined decoupling estimates and application to Falconer distance set problem

abstract: We prove some weighted refined decoupling estimates. As an application, we give an alternative proof of the following result on Falconer's distance set problem by the authors in a companion work: if a compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}-\frac{1}{8d+4}$, where $d\geq 4$, then there is a point $x\in E$ such that the pinned distance set $\Delta_x(E)$ has positive Lebesgue measure. Aside from this application, the weighted refined decoupling estimates may be of independent interest.


title: On the Efficacy of Multi-scale Data Samplers for Vision Applications

abstract: Multi-scale resolution training has seen an increased adoption across multiple vision tasks, including classification and detection. Training with smaller resolutions enables faster training at the expense of a drop in accuracy. Conversely, training with larger resolutions has been shown to improve performance, but memory constraints often make this infeasible. In this paper, we empirically study the properties of multi-scale training procedures. We focus on variable batch size multi-scale data samplers that randomly sample an input resolution at each training iteration and dynamically adjust their batch size according to the resolution. Such samplers have been shown to improve model accuracy beyond standard training with a fixed batch size and resolution, though it is not clear why this is the case. We explore the properties of these data samplers by performing extensive experiments on ResNet-101 and validate our conclusions across multiple architectures, tasks, and datasets. We show that multi-scale samplers behave as implicit data regularizers and accelerate training speed. Compared to models trained with single-scale samplers, we show that models trained with multi-scale samplers retain or improve accuracy, while being better-calibrated and more robust to scaling and data distribution shifts. We additionally extend a multi-scale variable batch sampler with a simple curriculum that progressively grows resolutions throughout training, allowing for a compute reduction of more than 30%. We show that the benefits of multi-scale training extend to detection and instance segmentation tasks, where we observe a 37% reduction in training FLOPs along with a 3-4% mAP increase on MS-COCO using a Mask R-CNN model.


title: Quantum Algorithm for Maximum Biclique Problem

abstract: Identifying a biclique with the maximum number of edges bears considerable implications for numerous fields of application, such as detecting anomalies in E-commerce transactions, discerning protein-protein interactions in biology, and refining the efficacy of social network recommendation algorithms. However, the inherent NP-hardness of this problem significantly complicates the matter. The prohibitive time complexity of existing algorithms is the primary bottleneck constraining the application scenarios. Aiming to address this challenge, we present an unprecedented exploration of a quantum computing approach. Efficient quantum algorithms, as a crucial future direction for handling NP-hard problems, are presently under intensive investigation, of which the potential has already been proven in practical arenas such as cybersecurity. However, in the field of quantum algorithms for graph databases, little work has been done due to the challenges presented by the quantum representation of complex graph topologies. In this study, we delve into the intricacies of encoding a bipartite graph on a quantum computer. Given a bipartite graph with n vertices, we propose a ground-breaking algorithm qMBS with time complexity O^*(2^(n/2)), illustrating a quadratic speed-up in terms of complexity compared to the state-of-the-art. Furthermore, we detail two variants tailored for the maximum vertex biclique problem and the maximum balanced biclique problem. To corroborate the practical performance and efficacy of our proposed algorithms, we have conducted proof-of-principle experiments utilizing IBM quantum simulators, of which the results provide a substantial validation of our approach to the extent possible to date.


title: Compositional Learning of Visually-Grounded Concepts Using Reinforcement

abstract: Children can rapidly generalize compositionally-constructed rules to unseen test sets. On the other hand, deep reinforcement learning (RL) agents need to be trained over millions of episodes, and their ability to generalize to unseen combinations remains unclear. Hence, we investigate the compositional abilities of RL agents, using the task of navigating to specified color-shape targets in synthetic 3D environments. First, we show that when RL agents are naively trained to navigate to target color-shape combinations, they implicitly learn to decompose the combinations, allowing them to (re-)compose these and succeed at held-out test combinations ("compositional learning"). Second, when agents are pretrained to learn invariant shape and color concepts ("concept learning"), the number of episodes subsequently needed for compositional learning decreased by 20 times. Furthermore, only agents trained on both concept and compositional learning could solve a more complex, out-of-distribution environment in zero-shot fashion. Finally, we verified that only text encoders pretrained on image-text datasets (e.g. CLIP) reduced the number of training episodes needed for our agents to demonstrate compositional learning, and also generalized to 5 unseen colors in zero-shot fashion. Overall, our results are the first to demonstrate that RL agents can be trained to implicitly learn concepts and compositionality, to solve more complex environments in zero-shot fashion.


title: COVID-19 Detection System: A Comparative Analysis of System Performance Based on Acoustic Features of Cough Audio Signals

abstract: A wide range of respiratory diseases, such as cold and flu, asthma, and COVID-19, affect people's daily lives worldwide. In medical practice, respiratory sounds are widely used in medical services to diagnose various respiratory illnesses and lung disorders. The traditional diagnosis of such sounds requires specialized knowledge, which can be costly and reliant on human expertise. Despite this, recent advancements, such as cough audio recordings, have emerged as a means to automate the detection of respiratory conditions. Therefore, this research aims to explore various acoustic features that enhance the performance of machine learning (ML) models in detecting COVID-19 from cough signals. It investigates the efficacy of three feature extraction techniques, including Mel Frequency Cepstral Coefficients (MFCC), Chroma, and Spectral Contrast features, when applied to two machine learning algorithms, Support Vector Machine (SVM) and Multilayer Perceptron (MLP), and therefore proposes an efficient CovCepNet detection system. The proposed system provides a practical solution and demonstrates state-of-the-art classification performance, with an AUC of 0.843 on the COUGHVID dataset and 0.953 on the Virufy dataset for COVID-19 detection from cough audio signals.


title: Unsupervised Gaze-aware Contrastive Learning with Subject-specific Condition

abstract: Appearance-based gaze estimation has shown great promise in many applications by using a single general-purpose camera as the input device. However, its success is highly depending on the availability of large-scale well-annotated gaze datasets, which are sparse and expensive to collect. To alleviate this challenge we propose ConGaze, a contrastive learning-based framework that leverages unlabeled facial images to learn generic gaze-aware representations across subjects in an unsupervised way. Specifically, we introduce the gaze-specific data augmentation to preserve the gaze-semantic features and maintain the gaze consistency, which are proven to be crucial for effective contrastive gaze representation learning. Moreover, we devise a novel subject-conditional projection module that encourages a share feature extractor to learn gaze-aware and generic representations. Our experiments on three public gaze estimation datasets show that ConGaze outperforms existing unsupervised learning solutions by 6.7% to 22.5%; and achieves 15.1% to 24.6% improvement over its supervised learning-based counterpart in cross-dataset evaluations.


title: Generating drawdown-realistic financial price paths using path signatures

abstract: A novel generative machine learning approach for the simulation of sequences of financial price data with drawdowns quantifiably close to empirical data is introduced. Applications such as pricing drawdown insurance options or developing portfolio drawdown control strategies call for a host of drawdown-realistic paths. Historical scenarios may be insufficient to effectively train and backtest the strategy, while standard parametric Monte Carlo does not adequately preserve drawdowns. We advocate a non-parametric Monte Carlo approach combining a variational autoencoder generative model with a drawdown reconstruction loss function. To overcome issues of numerical complexity and non-differentiability, we approximate drawdown as a linear function of the moments of the path, known in the literature as path signatures. We prove the required regularity of drawdown function and consistency of the approximation. Furthermore, we obtain close numerical approximations using linear regression for fractional Brownian and empirical data. We argue that linear combinations of the moments of a path yield a mathematically non-trivial smoothing of the drawdown function, which gives one leeway to simulate drawdown-realistic price paths by including drawdown evaluation metrics in the learning objective. We conclude with numerical experiments on mixed equity, bond, real estate and commodity portfolios and obtain a host of drawdown-realistic paths.


title: Spatial-Temporal Graph Attention Fuser for Calibration in IoT Air Pollution Monitoring Systems

abstract: The use of Internet of Things (IoT) sensors for air pollution monitoring has significantly increased, resulting in the deployment of low-cost sensors. Despite this advancement, accurately calibrating these sensors in uncontrolled environmental conditions remains a challenge. To address this, we propose a novel approach that leverages graph neural networks, specifically the graph attention network module, to enhance the calibration process by fusing data from sensor arrays. Through our experiments, we demonstrate the effectiveness of our approach in significantly improving the calibration accuracy of sensors in IoT air pollution monitoring platforms.


title: The Power of Sound (TPoS): Audio Reactive Video Generation with Stable Diffusion

abstract: In recent years, video generation has become a prominent generative tool and has drawn significant attention. However, there is little consideration in audio-to-video generation, though audio contains unique qualities like temporal semantics and magnitude. Hence, we propose The Power of Sound (TPoS) model to incorporate audio input that includes both changeable temporal semantics and magnitude. To generate video frames, TPoS utilizes a latent stable diffusion model with textual semantic information, which is then guided by the sequential audio embedding from our pretrained Audio Encoder. As a result, this method produces audio reactive video contents. We demonstrate the effectiveness of TPoS across various tasks and compare its results with current state-of-the-art techniques in the field of audio-to-video generation. More examples are available at https://ku-vai.github.io/TPoS/


title: Decreasing the Computing Time of Bayesian Optimization using Generalizable Memory Pruning

abstract: Bayesian optimization (BO) suffers from long computing times when processing highly-dimensional or large data sets. These long computing times are a result of the Gaussian process surrogate model having a polynomial time complexity with the number of experiments. Running BO on high-dimensional or massive data sets becomes intractable due to this time complexity scaling, in turn, hindering experimentation. Alternative surrogate models have been developed to reduce the computing utilization of the BO procedure, however, these methods require mathematical alteration of the inherit surrogate function, pigeonholing use into only that function. In this paper, we demonstrate a generalizable BO wrapper of memory pruning and bounded optimization, capable of being used with any surrogate model and acquisition function. Using this memory pruning approach, we show a decrease in wall-clock computing times per experiment of BO from a polynomially increasing pattern to a sawtooth pattern that has a non-increasing trend without sacrificing convergence performance. Furthermore, we illustrate the generalizability of the approach across two unique data sets, two unique surrogate models, and four unique acquisition functions. All model implementations are run on the MIT Supercloud state-of-the-art computing hardware.


title: Systematic Review of Techniques in Brain Image Synthesis using Deep Learning

abstract: This review paper delves into the present state of medical imaging, with a specific focus on the use of deep learning techniques for brain image synthesis. The need for medical image synthesis to improve diagnostic accuracy and decrease invasiveness in medical procedures is emphasized, along with the role of deep learning in enabling these advancements. The paper examines various methods and techniques for brain image synthesis, including 2D to 3D constructions, MRI synthesis, and the use of transformers. It also addresses limitations and challenges faced in these methods, such as obtaining well-curated training data and addressing brain ultrasound issues. The review concludes by exploring the future potential of this field and the opportunities for further advancements in medical imaging using deep learning techniques. The significance of transformers and their potential to revolutionize the medical imaging field is highlighted. Additionally, the paper discusses the potential solutions to the shortcomings and limitations faced in this field. The review provides researchers with an updated reference on the present state of the field and aims to inspire further research and bridge the gap between the present state of medical imaging and the future possibilities offered by deep learning techniques.


title: Elastic bounds for anisotropic layers

abstract: The complete set of bounds for the technical constants of an elastic layer, plate or laminate is given. The bounds are valid in general, also for completely anisotropic bodies. They are obtained transforming the polar bounds previously found. These bounds complete the knowledge of classical elasticity at least in the two-dimensional case and are useful in several situations, e.g., for determining the correct feasibility domain in design problems or as necessary conditions for accepting the results of laboratory tests on anisotropic layers.


title: Old and new anomalies in charm

abstract: The recent LHCb determination of the direct CP asymmetries in the decays $D^0 \to K^+ K^-, \pi^+ \pi^-$ hints at a sizeable breaking of two approximate symmetries of the SM: CP and U-spin. We aim at explaining the data with BSM physics and use the framework of flavorful $Z^\prime$ models. Interestingly, experimental and theoretical constraints very much narrow down the shape of viable models: Viable, anomaly-free models are electron- and muon-phobic and feature a light $Z^\prime$ of 10-20 GeV coupling only to right-handed fermions. The $Z^\prime$ can be searched for in low mass dijets or at the LHC as well as dark photon searches. A light $Z^\prime$ of $\sim$ 3 GeV or $\sim$ 5-7 GeV can moreover resolve the longstanding discrepancy in the $J/\psi, \psi^\prime$ branching ratios with pion form factors from fits to $e^+ e^- \to \pi^+ \pi^-$ data, and simultaneously explain the charm CP asymmetries. Smoking gun signatures for this scenario are $\Upsilon$ and charmonium decays into pions, taus or invisbles.


title: A High-Sensitivity Radon Emanation Detector System for Future Low-Background Experiments

abstract: Radioactive radon atoms originating from the long-lived primordial $^{238}\mathrm{U}$ and $^{232}\mathrm{Th}$ decay chains are constantly emanated from the surfaces of most materials. The radon atoms and their radioactive daughter isotopes can significantly contribute to the background of low-background experiments. The $^{222}\mathrm{Rn}$ progeny $^{214}\mathrm{Pb}$, for example, dominates the background of current liquid xenon-based direct dark matter detectors. We report on a new detector system to directly quantify the $^{222}\mathrm{Rn}$ surface emanation rate of materials. Using cryogenic physisorption traps, emanated radon atoms are transferred from an independent emanation vessel and concentrated within the dedicated detection vessel. The charged daughter isotopes are collected electrostatically on a silicon PIN photodiode to spectrometrically measure the alpha decays of $^{218}\mathrm{Po}$ and $^{214}\mathrm{Po}$. The overall detection efficiency is $\sim 36\,\%$ for both polonium channels. The radon emanation activity of the emanation vessel was measured to be $(0.16\pm 0.03)\,\mathrm{mBq}$, resulting in a detection sensitivity of $\sim 0.06\,\mathrm{mBq}$ at $90\,\%\,\mathrm{C.L.}$.


title: Privacy Preserving Federated Learning with Convolutional Variational Bottlenecks

abstract: Gradient inversion attacks are an ubiquitous threat in federated learning as they exploit gradient leakage to reconstruct supposedly private training data. Recent work has proposed to prevent gradient leakage without loss of model utility by incorporating a PRivacy EnhanCing mODulE (PRECODE) based on variational modeling. Without further analysis, it was shown that PRECODE successfully protects against gradient inversion attacks. In this paper, we make multiple contributions. First, we investigate the effect of PRECODE on gradient inversion attacks to reveal its underlying working principle. We show that variational modeling introduces stochasticity into the gradients of PRECODE and the subsequent layers in a neural network. The stochastic gradients of these layers prevent iterative gradient inversion attacks from converging. Second, we formulate an attack that disables the privacy preserving effect of PRECODE by purposefully omitting stochastic gradients during attack optimization. To preserve the privacy preserving effect of PRECODE, our analysis reveals that variational modeling must be placed early in the network. However, early placement of PRECODE is typically not feasible due to reduced model utility and the exploding number of additional model parameters. Therefore, as a third contribution, we propose a novel privacy module -- the Convolutional Variational Bottleneck (CVB) -- that can be placed early in a neural network without suffering from these drawbacks. We conduct an extensive empirical study on three seminal model architectures and six image classification datasets. We find that all architectures are susceptible to gradient leakage attacks, which can be prevented by our proposed CVB. Compared to PRECODE, we show that our novel privacy module requires fewer trainable parameters, and thus computational and communication costs, to effectively preserve privacy.


title: End-to-End Speech Recognition and Disfluency Removal with Acoustic Language Model Pretraining

abstract: The SOTA in transcription of disfluent and conversational speech has in recent years favored two-stage models, with separate transcription and cleaning stages. We believe that previous attempts at end-to-end disfluency removal have fallen short because of the representational advantage that large-scale language model pretraining has given to lexical models. Until recently, the high dimensionality and limited availability of large audio datasets inhibited the development of large-scale self-supervised pretraining objectives for learning effective audio representations, giving a relative advantage to the two-stage approach, which utilises pretrained representations for lexical tokens. In light of recent successes in large scale audio pretraining, we revisit the performance comparison between two-stage and end-to-end model and find that audio based language models pretrained using weak self-supervised objectives match or exceed the performance of similarly trained two-stage models, and further, that the choice of pretraining objective substantially effects a model's ability to be adapted to the disfluency removal task.


title: Corrigendum on Wiener index, Zagreb Indices and Harary index of Eulerian graphs

abstract: In the original article ``Wiener index of Eulerian graphs'' [Discrete Applied Mathematics Volume 162, 10 January 2014, Pages 247-250], the authors state that the Wiener index (total distance) of an Eulerian graph is maximized by the cycle. We explain that the initial proof contains a flaw and note that it is a corollary of a result by Plesn\'ik, since an Eulerian graph is $2$-edge-connected. The same incorrect proof is used in two referencing papers, ``Zagreb Indices and Multiplicative Zagreb Indices of Eulerian Graphs'' [Bull. Malays. Math. Sci. Soc. (2019) 42:67-78] and ``Harary index of Eulerian graphs'' [J. Math. Chem., 59(5):1378-1394, 2021]. We give proofs of the main results of those papers and the $2$-edge-connected analogues.


title: Bioverse: The Habitable Zone Inner Edge Discontinuity as an Imprint of Runaway Greenhouse Climates on Exoplanet Demographics

abstract: Long-term magma ocean phases on rocky exoplanets orbiting closer to their star than the runaway greenhouse threshold - the inner edge of the classical habitable zone - may offer insights into the physical and chemical processes that distinguish potentially habitable worlds from others. Thermal stratification of runaway planets is expected to significantly inflate their atmospheres, potentially providing observational access to the runaway greenhouse transition in the form of a "habitable zone inner edge discontinuity" in radius-density space. Here, we use Bioverse, a statistical framework combining contextual information from the overall planet population with a survey simulator, to assess the ability of ground- and space-based telescopes to test this hypothesis. We find that the demographic imprint of the runaway greenhouse transition is likely detectable with high-precision transit photometry for sample sizes $\gtrsim 100$ planets if at least ~10 % of those orbiting closer than the habitable zone inner edge harbor runaway climates. Our survey simulations suggest that in the near future, ESA's PLATO mission will be the most promising survey to probe the habitable zone inner edge discontinuity. We determine survey strategies that maximize the diagnostic power of the obtained data and identify as key mission design drivers: 1. A follow-up campaign of planetary mass measurements and 2. The fraction of low-mass stars in the target sample. Observational constraints on the runaway greenhouse transition will provide crucial insights into the distribution of atmospheric volatiles among rocky exoplanets, which may help to identify the nearest potentially habitable worlds.


title: Domain walls and distances in discrete landscapes

abstract: We explore a notion of distance between vacua of a discrete landscape that takes into account scalar potentials and fluxes via transitions mediated by domain walls. Such settings commonly arise in supergravity and string compactifications with stabilized moduli. We derive general bounds and simple estimates in supergravity which constrain deviations from the ordinary swampland distance conjecture based on moduli space geodesics, and we connect this picture to renormalization group flows via holography.


title: Separate measurement- and feedback-driven entanglement transitions in the stochastic control of chaos

abstract: We study measurement-induced entanglement and control phase transitions in a quantum analog of the Bernoulli map subjected to a classically-inspired control protocol. When entangling gates are restricted to the Clifford group, separate entanglement ($p_\mathrm{ent}$) and control ($p_\mathrm{ctrl}$) transitions emerge, revealing two distinct universality classes. The control transition has critical exponents $\nu$ and $z$ consistent with the classical map (a random walk) while the entanglement transition is revealed to have similar exponents as the measurement-induced phase transition in Clifford hybrid dynamics. This is distinct from the case of generic entangling gates in the same model, where $p_\mathrm{ent} = p_\mathrm{ctrl}$ and universality is controlled by the random walk.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.CD quant-ph