title: BPS defects in AdS$_{3}$ supergravity

abstract: AdS supergravity admits supersymmetric solutions that describe BPS defects. Here, we investigate such solutions in AdS$_3$ supergravity, which is formulated as a Chern-Simons theory on $\mathrm{OSp}(2|1)\,\times\, \mathrm{OSp}(2|1)$. We compute the Killing spinor equation on the BTZ geometry in different ways, looking for BPS solutions on the entire space of parameters. We focus our attention on defects that represent geometries with integer angular excesses; these correspond to specific negative values of the BTZ mass. We compare our solutions with other results in the literature, finding exact agreement. We argue that, in the semiclassical limit, the BPS defects can be associated to degenerate representations of the Virasoro symmetry at the boundary. The case of non-diagonal representations, describing stationary, non-static defects, is also discussed.


title: The Fourier-Malliavin Volatility (FMVol) MATLAB library

abstract: This paper presents the Fourier-Malliavin Volatility (FMVol) estimation library for MATLAB. This library includes functions that implement Fourier- Malliavin estimators (see Malliavin and Mancino (2002, 2009)) of the volatility and co-volatility of continuous stochastic volatility processes and second-order quantities, like the quarticity (the squared volatility), the volatility of volatility and the leverage (the covariance between changes in the process and changes in its volatility). The Fourier-Malliavin method is fully non-parametric, does not require equally-spaced observations and is robust to measurement errors, or noise, without any preliminary bias correction or pre-treatment of the observations. Further, in its multivariate version, it is intrinsically robust to irregular and asynchronous sampling. Although originally introduced for a specific application in financial econometrics, namely the estimation of asset volatilities, the Fourier-Malliavin method is a general method that can be applied whenever one is interested in reconstructing the latent volatility and second-order quantities of a continuous stochastic volatility process from discrete observations.


title: Isolated Diophantine numbers

abstract: In this short note, we discuss the topology of Diophantine numbers, giving simple explicit examples of Diophantine isolated numbers (among those with same Diophantine constatnts), showing that, Diophantine sets are not always Cantor sets. General properties of isolated Diophantine numbers are also briefly discussed.


title: Interpretations of ZF

abstract: In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for identity and set-membership. Although, these variations coincide with the standard interpretation in Boolean-valued constructions, nonetheless they extend the scope of validity of ZF to new algebra-valued models.


title: Weakly-Supervised Detection of Bone Lesions in CT

abstract: The skeletal region is one of the common sites of metastatic spread of cancer in the breast and prostate. CT is routinely used to measure the size of lesions in the bones. However, they can be difficult to spot due to the wide variations in their sizes, shapes, and appearances. Precise localization of such lesions would enable reliable tracking of interval changes (growth, shrinkage, or unchanged status). To that end, an automated technique to detect bone lesions is highly desirable. In this pilot work, we developed a pipeline to detect bone lesions (lytic, blastic, and mixed) in CT volumes via a proxy segmentation task. First, we used the bone lesions that were prospectively marked by radiologists in a few 2D slices of CT volumes and converted them into weak 3D segmentation masks. Then, we trained a 3D full-resolution nnUNet model using these weak 3D annotations to segment the lesions and thereby detected them. Our automated method detected bone lesions in CT with a precision of 96.7% and recall of 47.3% despite the use of incomplete and partial training data. To the best of our knowledge, we are the first to attempt the direct detection of bone lesions in CT via a proxy segmentation task.


title: Adversarial Quantum Machine Learning: An Information-Theoretic Generalization Analysis

abstract: In a manner analogous to their classical counterparts, quantum classifiers are vulnerable to adversarial attacks that perturb their inputs. A promising countermeasure is to train the quantum classifier by adopting an attack-aware, or adversarial, loss function. This paper studies the generalization properties of quantum classifiers that are adversarially trained against bounded-norm white-box attacks. Specifically, a quantum adversary maximizes the classifier's loss by transforming an input state $\rho(x)$ into a state $\lambda$ that is $\epsilon$-close to the original state $\rho(x)$ in $p$-Schatten distance. Under suitable assumptions on the quantum embedding $\rho(x)$, we derive novel information-theoretic upper bounds on the generalization error of adversarially trained quantum classifiers for $p = 1$ and $p = \infty$. The derived upper bounds consist of two terms: the first is an exponential function of the 2-R\'enyi mutual information between classical data and quantum embedding, while the second term scales linearly with the adversarial perturbation size $\epsilon$. Both terms are shown to decrease as $1/\sqrt{T}$ over the training set size $T$ . An extension is also considered in which the adversary assumed during training has different parameters $p$ and $\epsilon$ as compared to the adversary affecting the test inputs. Finally, we validate our theoretical findings with numerical experiments for a synthetic setting.


title: The ab initio amorphous materials database: Empowering machine learning to decode diffusivity

abstract: Amorphous materials exhibit unique properties that make them suitable for various applications in science and technology, ranging from optical and electronic devices and solid-state batteries to protective coatings. However, data-driven exploration and design of amorphous materials is hampered by the absence of a comprehensive database covering a broad chemical space. In this work, we present the largest computed amorphous materials database to date, generated from systematic and accurate \textit{ab initio} molecular dynamics (AIMD) calculations. We also show how the database can be used in simple machine-learning models to connect properties to composition and structure, here specifically targeting ionic conductivity. These models predict the Li-ion diffusivity with speed and accuracy, offering a cost-effective alternative to expensive density functional theory (DFT) calculations. Furthermore, the process of computational quenching amorphous materials provides a unique sampling of out-of-equilibrium structures, energies, and force landscape, and we anticipate that the corresponding trajectories will inform future work in universal machine learning potentials, impacting design beyond that of non-crystalline materials.


title: Nineteen Fifty-four: Kolmogorov's new "metrical approach" to Hamiltonian Dynamics

abstract: We review Kolmogorov's 1954 fundamental paper {\sl On the Conservation of Conditionally Periodic Motions under Small Perturbation of the Hamiltonian} (Dokl. akad. nauk SSSR,1954, vol. {\bf 98}, pp.527--530), both from the historical and the mathematical point of view. In particular, we discuss Theorem~2 (which deals with the measure in phase space of persistent tori), the proof of which is not discussed at all by the author, notwithstanding its centrality in Kolmogorov's program in classical mechanics. \\ In Appendix, a recent interview to Ya. Sinai on KAM Theory is reported.


title: De-identification is not always enough

abstract: For sharing privacy-sensitive data, de-identification is commonly regarded as adequate for safeguarding privacy. Synthetic data is also being considered as a privacy-preserving alternative. Recent successes with numerical and tabular data generative models and the breakthroughs in large generative language models raise the question of whether synthetically generated clinical notes could be a viable alternative to real notes for research purposes. In this work, we demonstrated that (i) de-identification of real clinical notes does not protect records against a membership inference attack, (ii) proposed a novel approach to generate synthetic clinical notes using the current state-of-the-art large language models, (iii) evaluated the performance of the synthetically generated notes in a clinical domain task, and (iv) proposed a way to mount a membership inference attack where the target model is trained with synthetic data. We observed that when synthetically generated notes closely match the performance of real data, they also exhibit similar privacy concerns to the real data. Whether other approaches to synthetically generated clinical notes could offer better trade-offs and become a better alternative to sensitive real notes warrants further investigation.


title: Geometric Langlands duality for periods

abstract: We study conjectures of Ben-Zvi--Sakellaridis--Venkatesh that categorify the relationship between automorphic periods and $L$-functions in the context of the Geometric Langlands equivalence. We provide evidence for these conjectures in some low-rank examples, by using derived Fourier analysis and the theory of chiral algebras to categorify the Rankin-Selberg unfolding method.


title: QUEST-DMC: Background Modelling and Resulting Heat Deposit for a Superfluid Helium-3 Bolometer

abstract: We report the results of radioactivity assays and heat leak calculations for a range of common cryogenic materials, considered for use in the QUEST-DMC superfluid 3He dark matter detector. The bolometer, instrumented with nanomechanical resonators, will be sensitive to energy deposits from dark matter interactions. Events from radioactive decays and cosmic rays constitute a significant background and must be precisely modelled, using a combination of material screening and Monte Carlo simulations. However, the results presented here are of wider interest for experiments and quantum devices sensitive to minute heat leaks and spurious events, thus we present heat leak per unit mass or surface area for every material studied. This can inform material choices for other experiments, especially if underground operation is considered where the radiogenic backgrounds will dominate even at shallow depths.


title: On the Performance Analysis of Zero-Padding OFDM for Monostatic ISAC Systems

abstract: This paper considers an integrated sensing and communication (ISAC) system with monostatic radar functionality using a zero-padding orthogonal frequency division multiplexing (ZP-OFDM) downlink transmission. We focus on ISAC's sensing aspect, employing an energy-detection (ED) method. The ZP-OFDM transmission is motivated by the fact that sensing can be performed during the silent periods of the transmitter, thereby avoiding self-interference (SI) cancellation processing of the in-band full duplex operation, which is needed for the cyclic prefix (CP)-OFDM. Additionally, we also show that ZP-OFDM can reject nearby clutter interference. We derive the probability of detection (PD) for the ZP and CP-OFDM systems, allowing useful performance analyses. In particular, we show that the PD expressions lead to an upper bound for the ZP-OFDM transmission, which is useful for selecting the best ZP size for a given system configuration. We also provide an expression that allows range comparison between ZP and CP-OFDM, where we consider a general case of imperfect SI cancellation for the CP-OFDM system. The results show that when the ZP size is 25% of the fast Fourier transform size, the range loss of the ZP system range is only 17% larger than the CP transmission.


title: A review of regularised estimation methods and cross-validation in spatiotemporal statistics

abstract: This review article focuses on regularised estimation procedures applicable to geostatistical and spatial econometric models. These methods are particularly relevant in the case of big geospatial data for dimensionality reduction or model selection. To structure the review, we initially consider the most general case of multivariate spatiotemporal processes (i.e., $g > 1$ dimensions of the spatial domain, a one-dimensional temporal domain, and $q \geq 1$ random variables). Then, the idea of regularised/penalised estimation procedures and different choices of shrinkage targets are discussed. Finally, guided by the elements of a mixed-effects model setup, which allows for a variety of spatiotemporal models, we show different regularisation procedures and how they can be used for the analysis of geo-referenced data, e.g. for selection of relevant regressors, dimensionality reduction of the covariance matrices, detection of conditionally independent locations, or the estimation of a full spatial interaction matrix.


title: The Heterogeneous Aggregate Valence Analysis (HAVAN) Model: A Flexible Approach to Modeling Unobserved Heterogeneity in Discrete Choice Analysis

abstract: This paper introduces the Heterogeneous Aggregate Valence Analysis (HAVAN) model, a novel class of discrete choice models. We adopt the term "valence'' to encompass any latent quantity used to model consumer decision-making (e.g., utility, regret, etc.). Diverging from traditional models that parameterize heterogeneous preferences across various product attributes, HAVAN models (pronounced "haven") instead directly characterize alternative-specific heterogeneous preferences. This innovative perspective on consumer heterogeneity affords unprecedented flexibility and significantly reduces simulation burdens commonly associated with mixed logit models. In a simulation experiment, the HAVAN model demonstrates superior predictive performance compared to state-of-the-art artificial neural networks. This finding underscores the potential for HAVAN models to improve discrete choice modeling capabilities.


title: Energetic particle activity in AD Leo: Detection of a solar-like type-IV burst

abstract: AD Leo is a young and active M dwarf with high flaring rates across the X-ray to radio bands. Flares accelerate particles in the outer coronal layers and often impact exospace weather. Wide-band radio dynamic spectra let us explore the evolution of particle acceleration activity across the corona. Identifying the emission features and modelling the mechanisms can provide insights into the possible physical scenarios driving the particle acceleration processes. We performed an 8 h monitoring of AD Leo across the 550 - 850 MHz band using upgraded-Giant Metrewave Radio Telescope (uGMRT). A python routine, named VISAD, was built to obtain the visibility averaged wide-band dynamic spectra. Direct imaging was also performed. Based on existing observational results on AD Leo and on solar active region models, radial profiles of electron density and magnetic fields were derived. Applying these models, we explore the possible emission mechanisms and magnetic field structure of the active region. The star displayed high brightness temperature ($\approx 10^{10} - 10^{11}$ K) throughout the observation with nearly 100% left circularly polarised bursts. Post flare phase is characterised by a highly polarised (60 - 80%) solar-like type IV burst confined above 700 MHz.The flare emission favors a Z-mode or a higher harmonic X-mode electron cyclotron maser emission mechanism. The post-flare activity above 700 MHz is consistent with a type-IV radio burst from flare-accelerated particles trapped in magnetic loops, which could be a coronal mass ejection (CME) signature. This is the first solar-like type-IV burst reported on a young active M dwarf belonging to a different age - related activity compared to the Sun. We also find that, a multipole expansion model of the active region magnetic field better accounts for the observed radio emission than a solar-like active region profile.


title: Distance and Collision Probability Estimation from Gaussian Surface Models

abstract: This paper describes continuous-space methodologies to estimate the collision probability, Euclidean distance and gradient between an ellipsoidal robot model and an environment surface modeled as a set of Gaussian distributions. Continuous-space collision probability estimation is critical for uncertainty-aware motion planning. Most collision detection and avoidance approaches assume the robot is modeled as a sphere, but ellipsoidal representations provide tighter approximations and enable navigation in cluttered and narrow spaces. State-of-the-art methods derive the Euclidean distance and gradient by processing raw point clouds, which is computationally expensive for large workspaces. Recent advances in Gaussian surface modeling (e.g. mixture models, splatting) enable compressed and high-fidelity surface representations. Few methods exist to estimate continuous-space occupancy from such models. They require Gaussians to model free space and are unable to estimate the collision probability, Euclidean distance and gradient for an ellipsoidal robot. The proposed methods bridge this gap by extending prior work in ellipsoid-to-ellipsoid Euclidean distance and collision probability estimation to Gaussian surface models. A geometric blending approach is also proposed to improve collision probability estimation. The approaches are evaluated with numerical 2D and 3D experiments using real-world point cloud data. Methods for efficient calculation of these quantities are demonstrated to execute within a few microseconds per ellipsoid pair using a single-thread on low-power CPUs of modern embedded computers


title: Signatures of convection in the atmospheres of cool evolved stars

abstract: Evolved cool stars of various masses are major cosmic engines, delivering substantial mechanical and radiative feedback to the interstellar medium through strong stellar winds and supernova ejecta. These stars play a pivotal role in enriching the interstellar medium with vital chemical elements that constitute the essential building blocks for forming subsequent generations of stars, planets, and potentially even life. Within the complex tapestry of processes occurring in the atmospheres of these cool and luminous stars, convection takes center stage. Convection is a non-local, complex phenomenon marked by non-linear interactions across diverse length scales within a multi-dimensional framework. For these particular stars, characterized by their considerable luminosities and extensive scale heights, convection transitions to a global scale. This transition is facilitated by transmitting radiative energy through the non-uniform outer layers of their atmospheres. To fully understand this phenomenon, the application of global comprehensive 3D radiation-hydrodynamics simulations of stellar convection is of paramount importance. We present two state-of-the-art numerical codes: CO5BOLD and Athena++. Furthermore, we provide a view on their applications as: pivotal roles in enabling a comprehensive investigation into the dynamic processes linked to convection; and critical tools for accurately modeling the emissions produced during shock breakouts in Type II-P Supernovae.


title: The Graph Pencil Method: Mapping Subgraph Densities to Stochastic Block Models

abstract: In this work, we describe a method that determines an exact map from a finite set of subgraph densities to the parameters of a stochastic block model (SBM) matching these densities. Given a number $K$ of blocks, the subgraph densities of a finite number of stars and bistars uniquely determines a single element of the class of all degree-separated stochastic block models with $K$ blocks. Our method makes it possible to translate estimates of these subgraph densities into model parameters, and hence to use subgraph densities directly for inference. The computational overhead is negligible; computing the translation map is polynomial in $K$, but independent of the graph size once the subgraph densities are given.


title: The clique number of the exact distance $t$-power graph: complexity and eigenvalue bounds

abstract: The exact distance $t$-power of a graph $G$, $G^{[\sharp t]}$, is a graph which has the same vertex set as $G$, with two vertices adjacent in $G^{[\sharp t]}$ if and only if they are at distance exactly $t$ in the original graph $G$. We study the clique number of this graph, also known as the $t$-equidistant number. We show that it is NP-hard to determine the $t$-equidistant number of a graph, and that in fact, it is NP-hard to approximate it within a constant factor. We also investigate how the $t$-equidistant number relates to another distance-based graph parameter; the $t$-independence number. In particular, we show how large the gap between both parameters can be. The hardness results motivate deriving eigenvalue bounds, which compare well against a known general bound. In addition, the tightness of the proposed eigenvalue bounds is studied.


title: REACT: Two Datasets for Analyzing Both Human Reactions and Evaluative Feedback to Robots Over Time

abstract: Recent work in Human-Robot Interaction (HRI) has shown that robots can leverage implicit communicative signals from users to understand how they are being perceived during interactions. For example, these signals can be gaze patterns, facial expressions, or body motions that reflect internal human states. To facilitate future research in this direction, we contribute the REACT database, a collection of two datasets of human-robot interactions that display users' natural reactions to robots during a collaborative game and a photography scenario. Further, we analyze the datasets to show that interaction history is an important factor that can influence human reactions to robots. As a result, we believe that future models for interpreting implicit feedback in HRI should explicitly account for this history. REACT opens up doors to this possibility in the future.


title: The development of the concept of exchange forces in the 1930s: close encounters between Europe and Japan and the birth of nuclear theory

abstract: The onset and the development of the concept of exchange force in quantum physics are historically reconstructed, starting from Heisenberg's seminal contributions in 1926 and going through the great developments in nuclear physics, which allowed the emergence of the idea of force mediating virtual quanta. Although most of such work was performed in Europe, the last and decisive effort in this long path was carried out by Japanese scientists in the 1930s. This is the main focus of the present work, which retraces the achievements of Yukawa and Tomonaga, whose results and mutual interactions are carefully analyzed and related to those of European physicists.


title: Finite- and Large-Sample Inference for Ranks using Multinomial Data with an Application to Ranking Political Parties

abstract: It is common to rank different categories by means of preferences that are revealed through data on choices. A prominent example is the ranking of political candidates or parties using the estimated share of support each one receives in surveys or polls about political attitudes. Since these rankings are computed using estimates of the share of support rather than the true share of support, there may be considerable uncertainty concerning the true ranking of the political candidates or parties. In this paper, we consider the problem of accounting for such uncertainty by constructing confidence sets for the rank of each category. We consider both the problem of constructing marginal confidence sets for the rank of a particular category as well as simultaneous confidence sets for the ranks of all categories. A distinguishing feature of our analysis is that we exploit the multinomial structure of the data to develop confidence sets that are valid in finite samples. We additionally develop confidence sets using the bootstrap that are valid only approximately in large samples. We use our methodology to rank political parties in Australia using data from the 2019 Australian Election Survey. We find that our finite-sample confidence sets are informative across the entire ranking of political parties, even in Australian territories with few survey respondents and/or with parties that are chosen by only a small share of the survey respondents. In contrast, the bootstrap-based confidence sets may sometimes be considerably less informative. These findings motivate us to compare these methods in an empirically-driven simulation study, in which we conclude that our finite-sample confidence sets often perform better than their large-sample, bootstrap-based counterparts, especially in settings that resemble our empirical application.


title: Is There Quantum Recurrence in the Presence of an Energy Continuum?

abstract: Suppose an initial state is coupled to a continuum of energy states. The population of the initial state is expected to decrease with time, but is the decrease monotonic? The occupation probability of the initial state is the survival probability and the question is equivalent to asking if there are intervals of time where the survival probability increases. Such regrowth is also referred to as regeneration or recurrence and it occurs in systems with a countable number of discrete states. Regrowth is investigated with a simple model that allows transitions between the initial state and continuum states, but transitions between continuum states are not permitted. The model uses the solution of Schroedinger's Equation for a full energy continuum. Such a continuum runs from -infinity to +infinity and is found to have only exponential decay in time. However, the survival probability for a truncated continuum turns out to have a wide variety of behaviors. Generally, the survival probability decreases by several orders of magnitudes, often as an exponential, and then has limited regrowth.


title: Computational orders of convergence of iterative methods for Richards' equation

abstract: Numerical solutions for flows in partially saturated porous media pose challenges related to the non-linearity and elliptic-parabolic degeneracy of the governing Richards' equation. Iterative methods are therefore required to manage the complexity of the flow problem. Norms of successive corrections in the iterative procedure form sequences of positive numbers. Definitions of computational orders of convergence and theoretical results for abstract convergent sequences can thus be used to evaluate and compare different iterative methods. We analyze in this frame Newton's and $L$-scheme methods for an implicit finite element method (FEM) and the $L$-scheme for an explicit finite difference method (FDM). We also investigate the effect of the Anderson Acceleration (AA) on both the implicit and the explicit $L$-schemes. Considering a two-dimensional test problem, we found that the AA halves the number of iterations and renders the convergence of the FEM scheme two times faster. As for the FDM approach, AA does not reduce the number of iterations and even increases the computational effort. Instead, being explicit, the FDM $L$-scheme without AA is faster and as accurate as the FEM $L$-scheme with AA.


title: Dataset Condensation Driven Machine Unlearning

abstract: The current trend in data regulation requirements and privacy-preserving machine learning has emphasized the importance of machine unlearning. The naive approach to unlearning training data by retraining over the complement of the forget samples is susceptible to computational challenges. These challenges have been effectively addressed through a collection of techniques falling under the umbrella of machine unlearning. However, there still exists a lack of sufficiency in handling persistent computational challenges in harmony with the utility and privacy of unlearned model. We attribute this to the lack of work on improving the computational complexity of approximate unlearning from the perspective of the training dataset. In this paper, we aim to fill this gap by introducing dataset condensation as an essential component of machine unlearning in the context of image classification. To achieve this goal, we propose new dataset condensation techniques and an innovative unlearning scheme that strikes a balance between machine unlearning privacy, utility, and efficiency. Furthermore, we present a novel and effective approach to instrumenting machine unlearning and propose its application in defending against membership inference and model inversion attacks. Additionally, we explore a new application of our approach, which involves removing data from `condensed model', which can be employed to quickly train any arbitrary model without being influenced by unlearning samples. The corresponding code is available at \href{https://github.com/algebraicdianuj/DC_U}{URL}.


title: Badly approximable grids and k-divergent lattices

abstract: For an m by n real matrix A, we investigate the set of badly approximable targets for A as a subset of the m-torus. It is well known that this set is large in the sense that it is dense and has full Hausdorff dimension. We investigate the relationship between its measure and Diophantine properties of A. On the one hand, we give the first examples of a non-singular matrix A such that the set of badly approximable targets has full measure with respect to some non-trivial algebraic measure on the torus. For this, we use transference theorems due to Jarnik and Khintchine, and the parametric geometry of numbers in the sense of Roy. On the other hand, we give a novel Diophantine condition on A that slightly strengthens non-singularity, and show that under the assumption that A satisfies this condition, the set of badly approximable targets is a null-set with respect to any non-trivial algebraic measure on the torus. For this we use naive homogeneous dynamics, harmonic analysis, and a novel concept we refer to as mixing convergence of measures.


title: Determination of Trace Organic Contaminant Concentration via Machine Classification of Surface-Enhanced Raman Spectra

abstract: Accurate detection and analysis of traces of persistent organic pollutants in water is important in many areas, including environmental monitoring and food quality control, due to their long environmental stability and potential bioaccumulation. While conventional analysis of organic pollutants requires expensive equipment, surface enhanced Raman spectroscopy (SERS) has demonstrated great potential for accurate detection of these contaminants. However, SERS analytical difficulties, such as spectral preprocessing, denoising, and substrate-based spectral variation, have hindered widespread use of the technique. Here, we demonstrate an approach for predicting the concentration of sample pollutants from messy, unprocessed Raman data using machine learning. Frequency domain transform methods, including the Fourier and Walsh Hadamard transforms, are applied to sets of Raman spectra of three model micropollutants in water (rhodamine 6G, chlorpyrifos, and triclosan), which are then used to train machine learning algorithms. Using standard machine learning models, the concentration of sample pollutants are predicted with more than 80 percent cross-validation accuracy from raw Raman data. cross-validation accuracy of 85 percent was achieved using deep learning for a moderately sized dataset (100 spectra), and 70 to 80 percent cross-validation accuracy was achieved even for very small datasets (50 spectra). Additionally, standard models were shown to accurately identify characteristic peaks via analysis of their importance scores. The approach shown here has the potential to be applied to facilitate accurate detection and analysis of persistent organic pollutants by surface-enhanced Raman spectroscopy.


title: Diffusion Models for Conditional Generation of Hypothetical New Families of Superconductors

abstract: Effective computational search holds great potential for aiding the discovery of High-Temperature Superconductors (HTSs), especially given the lack of systematic methods for their discovery. Recent progress has been made in this area with machine learning, especially with deep generative models, which have been able to outperform traditional manual searches at predicting new superconductors within existing superconductor families but have yet to be able to generate completely new families of superconductors. We address this limitation by implementing conditioning -- a method to control the generation process -- for our generative model and develop SuperDiff, a Denoising Diffusion Probabilistic Model (DDPM) with Iterative Latent Variable Refinement (ILVR) conditioning for HTS discovery -- the first deep generative model for superconductor discovery with conditioning on reference compounds. With SuperDiff, by being able to control the generation process, we were able to computationally generate completely new families of hypothetical superconductors for the very first time. Given that SuperDiff also has relatively fast training and inference times, it has the potential to be a very powerful tool for accelerating the discovery of new superconductors and enhancing our understanding of them.


title: ViTacTip: Design and Verification of a Novel Biomimetic Physical Vision-Tactile Fusion Sensor

abstract: Tactile sensing is significant for robotics since it can obtain physical contact information during manipulation. To capture multimodal contact information within a compact framework, we designed a novel sensor called ViTacTip, which seamlessly integrates both tactile and visual perception capabilities into a single, integrated sensor unit. ViTacTip features a transparent skin to capture fine features of objects during contact, which can be known as the see-through-skin mechanism. In the meantime, the biomimetic tips embedded in ViTacTip can amplify touch motions during tactile perception. For comparative analysis, we also fabricated a ViTac sensor devoid of biomimetic tips, as well as a TacTip sensor with opaque skin. Furthermore, we develop a Generative Adversarial Network (GAN)-based approach for modality switching between different perception modes, effectively alternating the emphasis between vision and tactile perception modes. We conducted a performance evaluation of the proposed sensor across three distinct tasks: i) grating identification, ii) pose regression, and iii) contact localization and force estimation. In the grating identification task, ViTacTip demonstrated an accuracy of 99.72%, surpassing TacTip, which achieved 94.60%. It also exhibited superior performance in both pose and force estimation tasks with the minimum error of 0.08mm and 0.03N, respectively, in contrast to ViTac's 0.12mm and 0.15N. Results indicate that ViTacTip outperforms single-modality sensors.


title: Unsteady Three-dimensional Rotational Flamelet

abstract: A new unsteady flamelet model is developed to be used for sub-grid modeling and coupling with the resolved flow description for turbulent combustion. Difficulties with prior unsteady flamelet models are identified. The model extends the quasi-steady rotational flamelet model which differs from prior models in several critical ways. (i) The effects of shear strain and vorticity are determined, in addition to normal-strain-rate impacts. (ii) The strain rates and vorticity are determined from the conditions of the environment surrounding the flamelet without a contrived progress variable. (iii) The flamelet model is physically three-dimensional but reduced to a one-dimensional, unsteady formulation using similarity. (iv) Variable density is fully addressed in the flamelet model. (v) Non-premixed flames, premixed flames, or multi-branched flame structures are determined rather than prescribed. For both quasi-steady and unsteady cases, vorticity creates a centrifugal force on the flamelet counterflow that modifies the transport rates and burning rate. In the unsteady scenario, new unsteady boundary conditions must be formulated to be consistent with the unsteady equations for the rotating counterflow. Eight boundary values on inflowing scalar and velocity properties and vorticity will satisfy four specific relations and therefore cannot all be arbitrarily specified. The temporal variation of vorticity is connected to the variation of applied normal strain rate through the conservation principle for angular momentum. Limitations on the model concerning fluctuation of the inter-facial plane are identified and conditions under which inter-facial plane fluctuation is negligible are explained. An example of a rotating flamelet counterflow with oscillatory behavior is examined with linearization of the fluctuating variables.


title: An Experiment on Feature Selection using Logistic Regression

abstract: In supervised machine learning, feature selection plays a very important role by potentially enhancing explainability and performance as measured by computing time and accuracy-related metrics. In this paper, we investigate a method for feature selection based on the well-known L1 and L2 regularization strategies associated with logistic regression (LR). It is well known that the learned coefficients, which serve as weights, can be used to rank the features. Our approach is to synthesize the findings of L1 and L2 regularization. For our experiment, we chose the CIC-IDS2018 dataset owing partly to its size and also to the existence of two problematic classes that are hard to separate. We report first with the exclusion of one of them and then with its inclusion. We ranked features first with L1 and then with L2, and then compared logistic regression with L1 (LR+L1) against that with L2 (LR+L2) by varying the sizes of the feature sets for each of the two rankings. We found no significant difference in accuracy between the two methods once the feature set is selected. We chose a synthesis, i.e., only those features that were present in both the sets obtained from L1 and that from L2, and experimented with it on more complex models like Decision Tree and Random Forest and observed that the accuracy was very close in spite of the small size of the feature set. Additionally, we also report on the standard metrics: accuracy, precision, recall, and f1-score.


title: Anytime-Valid Generalized Universal Inference on Risk Minimizers

abstract: A common goal in statistics and machine learning is estimation of unknowns. Point estimates alone are of little value without an accompanying measure of uncertainty, but traditional uncertainty quantification methods, such as confidence sets and p-values, often require strong distributional or structural assumptions that may not be justified in modern problems. The present paper considers a very common case in machine learning, where the quantity of interest is the minimizer of a given risk (expected loss) function. For such cases, we propose a generalized universal procedure for inference on risk minimizers that features a finite-sample, frequentist validity property under mild distributional assumptions. One version of the proposed procedure is shown to be anytime-valid in the sense that it maintains validity properties regardless of the stopping rule used for the data collection process. We show how this anytime-validity property offers protection against certain factors contributing to the replication crisis in science.


title: Evidence Tampering and Chain of Custody in Layered Attestations

abstract: In distributed systems, trust decisions are made on the basis of integrity evidence generated via remote attestation. Examples of the kinds of evidence that might be collected are boot time image hash values; fingerprints of initialization files for userspace applications; and a comprehensive measurement of a running kernel. In layered attestations, evidence is typically composed of measurements of key subcomponents taken from different trust boundaries within a target system. Discrete measurement evidence is bundled together for appraisal by the components that collectively perform the attestation. In this paper, we initiate the study of evidence chain of custody for remote attestation. Using the Copland attestation specification language, we formally define the conditions under which a runtime adversary active on the target system can tamper with measurement evidence. We present algorithms for identifying all such tampering opportunities for given evidence as well as tampering "strategies" by which an adversary can modify incriminating evidence without being detected. We then define a procedure for transforming a Copland-specified attestation into a maximally tamper-resistant version of itself. Our efforts are intended to help attestation protocol designers ensure their protocols reduce evidence tampering opportunities to the smallest, most trustworthy set of components possible.


title: The Plasma $\beta$ in quiet Sun Regions: Multi-Instrument View

abstract: A joint campaign of several space-borne and ground-based observatories, such as the GREGOR solar telescope, the Extreme-ultraviolet Imaging Spectrometer (EIS), and the Interface Region Imaging Spectrograph (Hinode Observing Plan 381, 11-22 October 2019) was conducted to investigate the plasma $\beta$ in quiet sun regions. In this work, we focus on October 13, 17, and 19, 2019, to obtain the plasma $\beta$ at different heights through the solar atmosphere based on multi-height observational data. We obtained temperature, density and magnetic field estimates from the GREGOR High-resolution Fast Imager (HiFI), and Infrared Spectrograph (GRIS), IRIS, EIS and complementary data from SDO/AIA. Using observational data and models (e.g., FALC and PFSS), we determined the plasma $\beta$ in the photosphere, chromosphere, transition region and corona. The obtained plasma $\beta$ values lie inside the expected ranges through the solar atmosphere. However, at EIS and AIA coronal heights (from $1.03\ R_{\odot}$ to $1.20\ R_{\odot}$) plasma $\beta$ values appear in the limit defined by Gary (2001); such behavior was previously reported by Rodr\'iguez G\'omez et al. (2019). Additionally, we obtained the plasma $\beta$ in the solar photosphere at different optical depths from $\log\ \tau=-1.0$ to $\log\ \tau=-2.0$. These values decrease with optical depth. This work provides a complete picture of plasma $\beta$ in quiet sun regions through the solar atmosphere, which is a pre-requisite of a better understanding of the plasma dynamics at the base of the solar corona.


title: Decentralised, Collaborative, and Privacy-preserving Machine Learning for Multi-Hospital Data

abstract: Machine Learning (ML) has demonstrated its great potential on medical data analysis. Large datasets collected from diverse sources and settings are essential for ML models in healthcare to achieve better accuracy and generalizability. Sharing data across different healthcare institutions is challenging because of complex and varying privacy and regulatory requirements. Hence, it is hard but crucial to allow multiple parties to collaboratively train an ML model leveraging the private datasets available at each party without the need for direct sharing of those datasets or compromising the privacy of the datasets through collaboration. In this paper, we address this challenge by proposing Decentralized, Collaborative, and Privacy-preserving ML for Multi-Hospital Data (DeCaPH). It offers the following key benefits: (1) it allows different parties to collaboratively train an ML model without transferring their private datasets; (2) it safeguards patient privacy by limiting the potential privacy leakage arising from any contents shared across the parties during the training process; and (3) it facilitates the ML model training without relying on a centralized server. We demonstrate the generalizability and power of DeCaPH on three distinct tasks using real-world distributed medical datasets: patient mortality prediction using electronic health records, cell-type classification using single-cell human genomes, and pathology identification using chest radiology images. We demonstrate that the ML models trained with DeCaPH framework have an improved utility-privacy trade-off, showing it enables the models to have good performance while preserving the privacy of the training data points. In addition, the ML models trained with DeCaPH framework in general outperform those trained solely with the private datasets from individual parties, showing that DeCaPH enhances the model generalizability.


title: Towards a Unified Theory of Time-Varying Data

abstract: What is a time-varying graph, or a time-varying topological space and more generally what does it mean for a mathematical structure to vary over time? Here we introduce categories of narratives: powerful tools for studying temporal graphs and other time-varying data structures. Narratives are sheaves on posets of intervals of time which specify snapshots of a temporal object as well as relationships between snapshots over the course of any given interval of time. This approach offers two significant advantages. First, when restricted to the base category of graphs, the theory is consistent with the well-established theory of temporal graphs, enabling the reproduction of results in this field. Second, the theory is general enough to extend results to a wide range of categories used in data analysis, such as groups, topological spaces, databases, Petri nets, simplicial complexes and many more. The approach overcomes the challenge of relating narratives of different types to each other and preserves the structure over time in a compositional sense. Furthermore our approach allows for the systematic relation of different kinds of narratives. In summary, this theory provides a consistent and general framework for analyzing dynamic systems, offering an essential tool for mathematicians and data scientists alike.


title: Optimal vaccination strategies on networks and in metropolitan areas

abstract: This study presents a mathematical model for optimal vaccination strategies in interconnected metropolitan areas, considering commuting patterns. It is a compartmental model with a vaccination rate for each city, acting as a control function. The commuting patterns are incorporated through a weighted adjacency matrix and a parameter that selects day and night periods. The optimal control problem is formulated to minimize a functional cost that balances the number of hospitalizations and vaccines, including restrictions of a weekly availability cap and an application capacity of vaccines per unit of time. The key findings of this work are bounds for the basic reproduction number, particularly in the case of a metropolitan area, and the study of the optimal control problem. Theoretical analysis and numerical simulations provide insights into disease dynamics and the effectiveness of control measures. The research highlights the importance of prioritizing vaccination in the capital to better control the disease spread, as we depicted in our numerical simulations. This model serves as a tool to improve resource allocation in epidemic control across metropolitan regions.


title: MP-SL: Multihop Parallel Split Learning

abstract: Federated Learning (FL) stands out as a widely adopted protocol facilitating the training of Machine Learning (ML) models while maintaining decentralized data. However, challenges arise when dealing with a heterogeneous set of participating devices, causing delays in the training process, particularly among devices with limited resources. Moreover, the task of training ML models with a vast number of parameters demands computing and memory resources beyond the capabilities of small devices, such as mobile and Internet of Things (IoT) devices. To address these issues, techniques like Parallel Split Learning (SL) have been introduced, allowing multiple resource-constrained devices to actively participate in collaborative training processes with assistance from resourceful compute nodes. Nonetheless, a drawback of Parallel SL is the substantial memory allocation required at the compute nodes, for instance training VGG-19 with 100 participants needs 80 GB. In this paper, we introduce Multihop Parallel SL (MP-SL), a modular and extensible ML as a Service (MLaaS) framework designed to facilitate the involvement of resource-constrained devices in collaborative and distributed ML model training. Notably, to alleviate memory demands per compute node, MP-SL supports multihop Parallel SL-based training. This involves splitting the model into multiple parts and utilizing multiple compute nodes in a pipelined manner. Extensive experimentation validates MP-SL's capability to handle system heterogeneity, demonstrating that the multihop configuration proves more efficient than horizontally scaled one-hop Parallel SL setups, especially in scenarios involving more cost-effective compute nodes.


title: Modeling and numerical simulation of fully Eulerian fluid-structure interaction using cut finite elements

abstract: We present a monolithic finite element formulation for (nonlinear) fluid-structure interaction in Eulerian coordinates. For the discretization we employ an unfitted finite element method based on inf-sup stable finite elements. So-called ghost penalty terms are used to guarantee the robustness of the approach independently of the way the interface cuts the finite element mesh. The resulting system is solved in a monolithic fashion using Newton's method. Our developments are tested on a numerical example with fixed interface.


title: Correlation of Coronal Mass Ejection Shock Temperature with Solar Energetic Particle Intensity

abstract: Solar energetic particle (SEP) events have been observed by the Parker Solar Probe (PSP) spacecraft since its launch in 2018. These events include sources from solar flares and coronal mass ejections (CMEs). Onboard PSP is the IS\(\odot\)IS instrument suite measuring ions over energies from ~ 20 keV/nucleon to 200 MeV/nucleon and electrons from ~ 20 keV to 6 MeV. Previous studies sought to group CME characteristics based on their plasma conditions and arrived at general descriptions with large statistical errors, leaving open questions on how to properly group CMEs based solely on their plasma conditions. To help resolve these open questions, plasma properties of CMEs have been examined in relation to SEPs. Here we reexamine one plasma property, the solar wind proton temperature, and compare it to the proton SEP intensity in a region immediately downstream of a CME-driven shock for seven CMEs observed at radial distances within 1 au. We find a statistically strong correlation between proton SEP intensity and bulk proton temperature, indicating a clear relationship between SEPs and the conditions in the solar wind. Furthermore, we propose that an indirect coupling of SEP intensity to the level of turbulence and the amount of energy dissipation that results is mainly responsible for the observed correlation between SEP intensity and proton temperature. These results are key to understanding the interaction of SEPs with the bulk solar wind in CME-driven shocks and will improve our ability to model the interplay of shock evolution and particle acceleration.


title: The Kramers turnover in terms of a macro-state projection on phase space

abstract: We have investigated how Langevin dynamics is affected by the friction coefficient using the novel algorithm ISOKANN, which combines the transfer operator approach with modern machine learning techniques. ISOKANN describes the dynamics in terms of an invariant subspace projection of the Koopman operator defined in the entire state space, avoiding approximations due to dimensionality reduction and discretization. Our results are consistent with the Kramers turnover and show that in the low and moderate friction regimes, metastable macro-states and transition rates are defined in phase space, not only in position space.


title: Reanalysis of the MACHO constraints on PBH in the light of Gaia DR3 data

abstract: The recent astrometric data of hundreds of millions of stars from Gaia DR3 has allowed a precise determination of the Milky Way rotation curve up to $28$~kpc. The data suggests a rapid decline in the density of dark matter beyond $19$~kpc. We fit the whole rotation curve with four components (gas, disk, bulge and halo) and compute the microlensing optical depth to the Large Magellanic Cloud. With this model of the galaxy we reanalyse the microlensing events of the MACHO and EROS-2 Collaborations. Using the published MACHO efficiency function for the duration of their survey, together with the rate of expected events according to the new density profile, we find that the Dark Matter halo could be composed up to $100\%$ of massive compact halo objects for any mass between $10^{-4}$ to $100~M_\odot$, except a broad range around $0.01~M_\odot$, where it cannot be larger than $\sim20~\%$. For the EROS-2 survey, using a modified efficiency curve for consistency with the MACHO analysis, we also find compatibility with a 100\% MACHO halo, but with a tighter constraint around $0.001~M_\odot$ where the halo fraction cannot be larger than $\sim12~\%$. This result assumes that MACHOs all have the same mass. If these were distributed in an extended mass function like that of the Thermal History Model, the constraints are weakened, allowing $100\%$ of all DM in the form of Primordial Black Holes.


title: Unravelling the polarity of InN quantum dots using a modified approach of negative-spherical-aberration imaging

abstract: InN quantum dots (QDs) are considered to be promising nanostructures for different device applications. For any hexagonal AB stacking semiconductor system, polarity is an important feature which affects the electronic properties. Therefore, the determination of this characteristic on any wurtzite (semi)polar III nitride compound or alloy is essential for defining its applicability. In this paper, the polarity of InN QDs grown on silicon by indium droplet epitaxy plus nitridation and annealing was determined by a modified approach combining exit wave reconstruction with negative spherical aberration high resolution lattice imaging using TEM. Comparing the micrographs of two QDs from the same TEM specimen with the simulated images of InN slab structures generated under the same conditions as of the experiments, it was confirmed that the QDs of the present study are N polar. Given that the settlement of material's polarity has always been a tedious, indirect and controversial issue, the major value of our proposal is to provide a straightforward procedure to determine the polar direction from atomic-resolution focal series images.


title: A Uniform Analysis of Debris Disks with the Gemini Planet Imager II: Constraints on Dust Density Distribution Using Empirically-Informed Scattering Phase Functions

abstract: Spatially-resolved images of debris disks are necessary to determine disk morphological properties and the scattering phase function (SPF) which quantifies the brightness of scattered light as a function of phase angle. Current high-contrast imaging instruments have successfully resolved several dozens of debris disks around other stars, but few studies have investigated trends in the scattered-light, resolved population of debris disks in a uniform and consistent manner. We have combined Karhunen-Loeve Image Projection (KLIP) with radiative-transfer disk forward modeling in order to obtain the highest quality image reductions and constrain disk morphological properties of eight debris disks imaged by the Gemini Planet Imager at H-band with a consistent and uniformly-applied approach. In describing the scattering properties of our models, we assume a common SPF informed from solar system dust scattering measurements and apply it to all systems. We identify a diverse range of dust density properties among the sample, including critical radius, radial width, and vertical width. We also identify radially narrow and vertically extended disks that may have resulted from substellar companion perturbations, along with a tentative positive trend in disk eccentricity with relative disk width. We also find that using a common SPF can achieve reasonable model fits for disks that are axisymmetric and asymmetric when fitting models to each side of the disk independently, suggesting that scattering behavior from debris disks may be similar to Solar System dust.


title: Schr\"odinger Operators with Potentials Generated by Hyperbolic Transformations: II. Large Deviations and Anderson Localization

abstract: We consider discrete one-dimensional Schr\"odinger operators whose potentials are generated by H\"older continuous sampling along the orbits of a uniformly hyperbolic transformation. For any ergodic measure satisfying a suitable bounded distortion property, we establish a uniform large deviation estimate in a large energy region provided that the sampling function is locally constant or has small supremum norm. We also prove full spectral Anderson localization for the operators in question.


title: Structural and optical properties of self-assembled AlN nanowires grown on SiO2/Si substrates by molecular beam epitaxy

abstract: Self assembled AlN nanowires (NWs) are grown by plasma assisted molecular beam epitaxy (PAMBE) on SiO2 / Si (111) substrates. Using a combination of in-situ reflective high energy electron diffraction and ex situ X ray diffraction (XRD), we show that the NWs grow nearly strain free, preferentially perpendicular to the amorphous SiO2 interlayer and without epitaxial relationship to Si(111) substrate, as expected. Scanning electron microscopy investigation reveals significant NWs coalescence, which results in their progressively increasing diameter and formation of columnar structures with non hexagonal cross section. Making use of scanning transmission electron microscopy (STEM), the NWs initial diameters are found in the 20 to 30 nm range. In addition, the formation of a thin (30 nm) polycrystalline AlN layer is observed on the substrate surface. Regarding the structural quality of the AlN NWs, STEM measurements reveal the formation of extended columnar regions, which grow with a virtually perfect metal-polarity wurtzite arrangement and with extended defects only sporadically observed. Combination of STEM and electron energy loss spectroscopy (EELS) reveals the formation of continuous aluminum oxide (1 to 2 nm) on the NW surface. Low temperature photoluminescence measurements reveal a single near band edge (NBE) emission peak, positioned at 6.03 eV (at 2 K), a value consistent with nearly zero NW strain evidenced by XRD and in agreement with the values obtained on AlN bulk layers synthesized by other growth techniques. The significant full width at half maximum of NBE emission, found at 20 meV (at 2 K), suggests that free and bound excitons are mixed together within this single emission band.


title: Exact and Heuristic Approaches for the Stochastic N-k Interdiction in Power Grids

abstract: The article introduces the stochastic N-k interdiction problem for power grid operations and planning that aims to identify a subset of k components (out of N components) that maximizes the expected damage, measured in terms of load shed. Uncertainty is modeled through a fixed set of outage scenarios, where each scenario represents a subset of components removed from the grid. We formulate the stochastic N-k interdiction problem as a bi-level optimization problem and propose two algorithmic solutions. The first approach reformulates the bi-level stochastic optimization problem to a single level, mixed-integer linear program (MILP) by dualizing the inner problem and solving the resulting problem directly using a MILP solver to global optimality. The second is a heuristic cutting-plane approach, which is exact under certain assumptions. We compare these approaches in terms of computation time and solution quality using the IEEE-Reliability Test System and present avenues for future research.


title: Usable-by-Construction: a formal framework

abstract: We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We take the view that when we claim to be designing a usable system we have, at the very least, to give assurances about its usability properties. This is a very abstract notion, but provides the basis for future work, and shows, even at this level that there are things to say about the (very concrete) business of designing and building usable, interactive systems. Various forms of verification and validation can provide a high level of assurance but it can be very costly, and there is clearly a lot of resistance to doing things this way. In this paper, we introduce the idea of usable-by-construction, which adopts and applies the ideas of correct-by-construction to (very abstractly) thinking about usable systems. We give a set of construction rules or tactics to develop designs of usable systems, and we also formalize them into a state suitable for, for example, a proof assistant to check claims made for the system as designed. In the future, these tactics would allow us to create systems that have the required usability properties and thus provide a basis to a usable-by-construction system. Also, we should then go on to show that the tactics preserve properties by using an example system with industrial strength requirements. And we might also consider future research directions.


title: FedCore: Straggler-Free Federated Learning with Distributed Coresets

abstract: Federated learning (FL) is a machine learning paradigm that allows multiple clients to collaboratively train a shared model while keeping their data on-premise. However, the straggler issue, due to slow clients, often hinders the efficiency and scalability of FL. This paper presents FedCore, an algorithm that innovatively tackles the straggler problem via the decentralized selection of coresets, representative subsets of a dataset. Contrary to existing centralized coreset methods, FedCore creates coresets directly on each client in a distributed manner, ensuring privacy preservation in FL. FedCore translates the coreset optimization problem into a more tractable k-medoids clustering problem and operates distributedly on each client. Theoretical analysis confirms FedCore's convergence, and practical evaluations demonstrate an 8x reduction in FL training time, without compromising model accuracy. Our extensive evaluations also show that FedCore generalizes well to existing FL frameworks.


title: A Circuit Approach to Constructing Blockchains on Blockchains

abstract: Since the creation of Bitcoin 15 years ago, there has been an explosion in the number of permissionless blockchains. Each of these blockchains provides an open ledger that anyone can read from and write to. In this multi-chain world, an important question emerges: how can we build a more secure overlay blockchain by reading from and writing to a given set of blockchains? Drawing an analogy with switching circuits, we approach the problem by defining two basic compositional operations between blockchains, serial and triangular compositions, and use these operations as building blocks to construct general overlay blockchains. Under the partially synchronous setting, we have the following results: 1) the serial composition, between two blockchains, yields an overlay blockchain that is safe if at least one of the two underlay blockchains is safe and that is live if both underlay blockchains are live; 2) the triangular composition between three blockchains, akin to parallel composition of switching circuits, yields an overlay blockchain that is safe if all underlay blockchains are safe and that is live if at least half of them are live; 3) repeated composition of these two basic operations can yield all possible tradeoffs of safety and liveness for an overlay blockchain built on arbitrary number of underlay chains. The results are also extended to the synchronous setting.


title: Yielding under the microscope: a multi-scale perspective on brittle and ductile behaviors in oscillatory shear

abstract: We study the yielding transition in soft jammed materials under oscillatory shear, employing a novel methodology that combines rheological measurements with detailed dynamical observations. This method provides a comprehensive view of the intricate interactions between macroscopic mechanical behavior, mesoscopic deformation patterns, and microscopic dynamics during yielding. Our findings reveal two distinct yielding behaviors: at one end, a smooth, uniform transition, characterized by homogeneous strain fields, and Fickian, Gaussian microscopic dynamics; at the other, a sharp transition defined by pronounced shear banding, with the dynamics within shear bands being governed exclusively by the local strain, and exhibiting non-Gaussian, cooperative nature. The viscoplastic fragility emerges as a key macroscopic predictor of these intricate behaviors across micro- and meso-scales, providing a new perspective to understand and quantify ductile and brittle yielding in soft materials.


title: Uncover the nature of overlapping community in cities

abstract: Urban spaces, though often perceived as discrete communities, are shared by various functional and social groups. Our study introduces a graph-based physics-aware deep learning framework, illuminating the intricate overlapping nature inherent in urban communities. Through analysis of individual mobile phone positioning data at Twin Cities metro area (TCMA) in Minnesota, USA, our findings reveal that 95.7 % of urban functional complexity stems from the overlapping structure of communities during weekdays. Significantly, our research not only quantifies these overlaps but also reveals their compelling correlations with income and racial indicators, unraveling the complex segregation patterns in U.S. cities. As the first to elucidate the overlapping nature of urban communities, this work offers a unique geospatial perspective on looking at urban structures, highlighting the nuanced interplay of socioeconomic dynamics within cities.


title: Formation mechanisms of single-crystalline InN quantum dots fabricated via droplet epitaxy

abstract: This work presents an experimental and theoretical insight into formation mechanisms of single crystalline wurtzite InN quantum dots (QDs) fabricated via metal droplet epitaxy (DE) by employing plasma assisted molecular beam epitaxy. The applied procedure consists of two fabrication stages. During the first stage, the cold substrate (T = 15 {\deg}C) is exposed to an impinging In flux, resulting in formation of metallic In droplets on the substrate surface, and then to an impinging active nitrogen flux, resulting in In conversion into polycrystalline InN islands. During the second stage, the substrate, which is still kept exposed to active nitrogen, is heated up to T = 300 {\deg}C, to allow for the reorganization of extended polycrystalline InN islands into groups of independent single crystalline wurtzite InN QDs. This work provides a detailed experimental insight into both fabrication stages and their qualitative explanations within the scopes of adatom surface kinetics (stage I) and total energy per unit crystal volume minimization (stage II). Finally, the formation mechanisms of InN QDs on the three different substrates (Si(111), Si(001) and In0.3Ga0.7N/Si(111)) are compared, and also linked to the formation mechanisms of other more studied nanostructures, such as self assembled GaN/AlN QDs and self assembled and selective area grown GaN nanowires.


title: Learning Based Dynamic Cluster Reconfiguration for UAV Mobility Management with 3D Beamforming

abstract: In modern cell-less wireless networks, mobility management is undergoing a significant transformation, transitioning from single-link handover management to a more adaptable multi-connectivity cluster reconfiguration approach, including often conflicting objectives like energy-efficient power allocation and satisfying varying reliability requirements. In this work, we address the challenge of dynamic clustering and power allocation for unmanned aerial vehicle (UAV) communication in wireless interference networks. Our objective encompasses meeting varying reliability demands, minimizing power consumption, and reducing the frequency of cluster reconfiguration. To achieve these objectives, we introduce a novel approach based on reinforcement learning using a masked soft actor-critic algorithm, specifically tailored for dynamic clustering and power allocation.


title: Geometry aware 3D generation from in-the-wild images in ImageNet

abstract: Generating accurate 3D models is a challenging problem that traditionally requires explicit learning from 3D datasets using supervised learning. Although recent advances have shown promise in learning 3D models from 2D images, these methods often rely on well-structured datasets with multi-view images of each instance or camera pose information. Furthermore, these datasets usually contain clean backgrounds with simple shapes, making them expensive to acquire and hard to generalize, which limits the applicability of these methods. To overcome these limitations, we propose a method for reconstructing 3D geometry from the diverse and unstructured Imagenet dataset without camera pose information. We use an efficient triplane representation to learn 3D models from 2D images and modify the architecture of the generator backbone based on StyleGAN2 to adapt to the highly diverse dataset. To prevent mode collapse and improve the training stability on diverse data, we propose to use multi-view discrimination. The trained generator can produce class-conditional 3D models as well as renderings from arbitrary viewpoints. The class-conditional generation results demonstrate significant improvement over the current state-of-the-art method. Additionally, using PTI, we can efficiently reconstruct the whole 3D geometry from single-view images.


title: Forcing Over a Free Suslin Tree

abstract: We introduce an abstract framework for forcing over a free Suslin tree with suborders of products of forcings which add some structure to the tree using countable approximations. The main ideas of this framework are consistency, separation, and the Key Property. We give three applications of this framework: specializing derived trees of a free Suslin tree, adding uncountable almost disjoint subtrees of a free Suslin tree, and adding almost disjoint automorphisms of a free Suslin tree. Using the automorphism forcing, we construct a model in which there is an almost Kurepa Suslin tree and a non-saturated Aronszajn tree, and there does not exist a Kurepa tree. This model solves open problems due to Bilaniuk, Moore, and Jin and Shelah.


title: Excitability and memory in a time-delayed optoelectronic neuron

abstract: We study the dynamics of an optoelectronic circuit composed of an excitable nanoscale resonant-tunneling diode (RTD) driving a nanolaser diode (LD) coupled via time-delayed feedback. Using a combination of numerical path-continuation methods and time simulations, we demonstrate that this RTD-LD system can serve as an artificial neuron, generating pulses in the form of temporal localized states (TLSs) that can be employed as memory for neuromorphic computing. In particular, our findings reveal that the prototypical delayed FitzHugh-Nagumo model previously employed to model the RTD-LD resembles our more realistic model only in the limit of a slow RTD. We show that the RTD time scale plays a critical role in memory capacity as it governs a shift in pulse interaction from repulsive to attractive, leading to a transition from stable to unstable multi-pulse TLSs. Our theoretical analysis uncovers novel features and challenges, including the multistability of TLSs and attractive interaction forces, stemming from the previously neglected intrinsic dynamics of the laser. These effects are crucial to consider since they define the memory properties of the RTD-LD.


title: Strain-induced speed-up of Mn$^{2+}$ spin-lattice relaxation in (Cd,Mn)Te/(Cd,Mg)Te quantum wells: a time-resolved ODMR study

abstract: This study examines the spin-lattice relaxation rate of Mn$^{2+}$ ions in strained diluted magnetic semiconductor (Cd,Mn)Te/(Cd,Mg)Te quantum wells using the optically detected magnetic resonance (ODMR) technique. By adjusting the magnesium (Mg) content in the buffer layer, we created samples with different strain levels. Our time-resolved ODMR results show that the spin-lattice relaxation time becomes faster as strain increases. We also found that the relaxation rate increases with both magnetic field and temperature, showing a power-law behavior. To understand these observations, we used a theoretical model based on six-level rate equations with non-equal level separations. This model suggests that the main factor affecting relaxation in our samples is a "direct" mechanism. The model's predictions match well with our experimental data. Overall, our findings give insights into spin-lattice relaxation in strained quantum wells and could be important for the development of future quantum and spintronic devices.


title: Examples of Anosov flows with genus one Birkhoff sections

abstract: We show that a transitive Anosov flow with orientable stable and unstable foliations that either (i) admits a Birkhoff section whose first return map is a Penner type pseudo-Anosov map, or (ii) is totally periodic admits a genus one Birkhoff section. This provides evidence for a conjecture of Fried and Ghys. The proof utilizes a result of the author on the horizontal Goodman surgery operation. To apply this result for showing (i), we establish correspondence between horizontal Goodman surgery on pseudo-Anosov flows and horizontal surgery on veering triangulations in the layered setting.


title: Geodesic flow and decay of traces on hyperbolic surfaces

abstract: We study pseudodifferential operators on a hyperbolic surface using `Zelditch quantization'. We motivate and study the trace of $A_2^* A_1(t)$, where $A_2$ is a fixed operator and the Zelditch symbol of $A_1(t)$ evolves by geodesic flow. We find conditions under which the trace decays exponentially as $t \to \pm \infty$.


title: Uniformly polynomial-time classification of surface homeomorphisms

abstract: We describe an algorithm which, given two essential curves on a surface $S$, computes their distance in the curve graph of $S$, up to multiplicative and additive errors. As an application, we present an algorithm to decide the Nielsen-Thurston type (periodic, reducible, or pseudo-Anosov) of a mapping class of $S$. The novelty of our algorithms lies in the fact that their running time is polynomial in the size of the input and in the complexity of $S$ -- say, its Euler characteristic. This is in contrast with previously known algorithms, which run in polynomial time in the size of the input for any fixed surface $S$.


title: Learning Label Hierarchy with Supervised Contrastive Learning

abstract: Supervised contrastive learning (SCL) frameworks treat each class as independent and thus consider all classes to be equally important. This neglects the common scenario in which label hierarchy exists, where fine-grained classes under the same category show more similarity than very different ones. This paper introduces a family of Label-Aware SCL methods (LASCL) that incorporates hierarchical information to SCL by leveraging similarities between classes, resulting in creating a more well-structured and discriminative feature space. This is achieved by first adjusting the distance between instances based on measures of the proximity of their classes with the scaled instance-instance-wise contrastive. An additional instance-center-wise contrastive is introduced to move within-class examples closer to their centers, which are represented by a set of learnable label parameters. The learned label parameters can be directly used as a nearest neighbor classifier without further finetuning. In this way, a better feature representation is generated with improvements of intra-cluster compactness and inter-cluster separation. Experiments on three datasets show that the proposed LASCL works well on text classification of distinguishing a single label among multi-labels, outperforming the baseline supervised approaches. Our code is publicly available.


title: An Architecture for Software Engineering Gamification

abstract: Gamification has been applied in software engineering to improve quality and results by increasing people's motivation and engagement. A systematic mapping has identified research gaps in the field, one of them being the difficulty of creating an integrated gamified environment comprising all the tools of an organization, since most existing gamified tools are custom developments or prototypes. In this paper, we propose a gamification software architecture that allows us to transform the work environment of a software organization into an integrated gamified environment, i.e., the organization can maintain its tools, and the rewards obtained by the users for their actions in different tools will mount up. We developed a gamification engine based on our proposal, and we carried out a case study in which we applied it in a real software development company. The case study shows that the gamification engine has allowed the company to create a gamified workplace by integrating custom developed tools and off-the-shelf tools such as Redmine, TestLink, or JUnit, with the gamification engine. Two main advantages can be highlighted: (i) our solution allows the organization to maintain its current tools, and (ii) the rewards for actions in any tool accumulate in a centralized gamified environment.


title: Are Generative AI systems Capable of Supporting Information Needs of Patients?

abstract: Patients managing a complex illness such as cancer face a complex information challenge where they not only must learn about their illness but also how to manage it. Close interaction with healthcare experts (radiologists, oncologists) can improve patient learning and thereby, their disease outcome. However, this approach is resource intensive and takes expert time away from other critical tasks. Given the recent advancements in Generative AI models aimed at improving the healthcare system, our work investigates whether and how generative visual question answering systems can responsibly support patient information needs in the context of radiology imaging data. We conducted a formative need-finding study in which participants discussed chest computed tomography (CT) scans and associated radiology reports of a fictitious close relative with a cardiothoracic radiologist. Using thematic analysis of the conversation between participants and medical experts, we identified commonly occurring themes across interactions, including clarifying medical terminology, locating the problems mentioned in the report in the scanned image, understanding disease prognosis, discussing the next diagnostic steps, and comparing treatment options. Based on these themes, we evaluated two state-of-the-art generative visual language models against the radiologist's responses. Our results reveal variability in the quality of responses generated by the models across various themes. We highlight the importance of patient-facing generative AI systems to accommodate a diverse range of conversational themes, catering to the real-world informational needs of patients.


title: Exploring the limits of decoder-only models trained on public speech recognition corpora

abstract: The emergence of industrial-scale speech recognition (ASR) models such as Whisper and USM, trained on 1M hours of weakly labelled and 12M hours of audio only proprietary data respectively, has led to a stronger need for large scale public ASR corpora and competitive open source pipelines. Unlike the said models, large language models are typically based on Transformer decoders, and it remains unclear if decoder-only models trained on public data alone can deliver competitive performance. In this work, we investigate factors such as choice of training datasets and modeling components necessary for obtaining the best performance using public English ASR corpora alone. Our Decoder-Only Transformer for ASR (DOTA) model comprehensively outperforms the encoder-decoder open source replication of Whisper (OWSM) on nearly all English ASR benchmarks and outperforms Whisper large-v3 on 7 out of 15 test sets. We release our codebase and model checkpoints under permissive license.


title: Positional Encoding Helps Recurrent Neural Networks Handle a Large Vocabulary

abstract: This study reports an unintuitive finding that positional encoding enhances learning of recurrent neural networks (RNNs). Positional encoding is a high-dimensional representation of time indices on input data. Most famously, positional encoding complements the capabilities of Transformer neural networks, which lack an inherent mechanism for representing the data order. By contrast, RNNs can encode the temporal information of data points on their own, rendering their use of positional encoding seemingly redundant/unnecessary. Nonetheless, investigations through synthetic benchmarks reveal an advantage of coupling positional encoding and RNNs, especially for handling a large vocabulary that yields low-frequency tokens. Further scrutinization unveils that these low-frequency tokens destabilizes the gradients of vanilla RNNs, and the positional encoding resolves this instability. These results shed a new light on the utility of positional encoding beyond its canonical role as a timekeeper for Transformers.


title: Graph Iterated Function Systems and Fractal Tops

abstract: Following the work of Louisa and Michael Barnsley on results in tops of iterated function systems, we extend their work to graph-directed iterated function systems by investigating the relationship between top addresses and shift spaces. For the simplest overlapping interval IFS, we find a sufficient condition for the closure of its tops code space to be a shift space of finite type. Likewise, we find that shift invariance properties do not directly extend to the graph-directed setting.


title: CNN-FL for Biotechnology Industry Empowered by Internet-of-BioNano Things and Digital Twins

abstract: Digital twins (DTs) are revolutionizing the biotechnology industry by enabling sophisticated digital representations of biological assets, microorganisms, drug development processes, and digital health applications. However, digital twinning at micro and nano scales, particularly in modeling complex entities like bacteria, presents significant challenges in terms of requiring advanced Internet of Things (IoT) infrastructure and computing approaches to achieve enhanced accuracy and scalability. In this work, we propose a novel framework that integrates the Internet of Bio-Nano Things (IoBNT) with advanced machine learning techniques, specifically convolutional neural networks (CNN) and federated learning (FL), to effectively tackle the identified challenges. Within our framework, IoBNT devices are deployed to gather image-based biological data across various physical environments, leveraging the strong capabilities of CNNs for robust machine vision and pattern recognition. Subsequently, FL is utilized to aggregate insights from these disparate data sources, creating a refined global model that continually enhances accuracy and predictive reliability, which is crucial for the effective deployment of DTs in biotechnology. The primary contribution is the development of a novel framework that synergistically combines CNN and FL, augmented by the capabilities of the IoBNT. This novel approach is specifically tailored to enhancing DTs in the biotechnology industry. The results showcase enhancements in the reliability and safety of microorganism DTs, while preserving their accuracy. Furthermore, the proposed framework excels in energy efficiency and security, offering a user-friendly and adaptable solution. This broadens its applicability across diverse sectors, including biotechnology and pharmaceutical industries, as well as clinical and hospital settings.


title: Publication bias adjustment in network meta-analysis: an inverse probability weighting approach using clinical trial registries

abstract: Network meta-analysis (NMA) is a useful tool to compare multiple interventions simultaneously in a single meta-analysis, it can be very helpful for medical decision making when the study aims to find the best therapy among several active candidates. However, the validity of its results is threatened by the publication bias issue. Existing methods to handle the publication bias issue in the standard pairwise meta-analysis are hard to extend to this area with the complicated data structure and the underlying assumptions for pooling the data. In this paper, we aimed to provide a flexible inverse probability weighting (IPW) framework along with several t-type selection functions to deal with the publication bias problem in the NMA context. To solve these proposed selection functions, we recommend making use of the additional information from the unpublished studies from multiple clinical trial registries. A comprehensive numerical study and a real example showed that our methodology can help obtain more accurate estimates and higher coverage probabilities, and improve other properties of an NMA (e.g., ranking the interventions).


title: Spectral Norm of Convolutional Layers with Circular and Zero Paddings

abstract: This paper leverages the use of \emph{Gram iteration} an efficient, deterministic, and differentiable method for computing spectral norm with an upper bound guarantee. Designed for circular convolutional layers, we generalize the use of the Gram iteration to zero padding convolutional layers and prove its quadratic convergence. We also provide theorems for bridging the gap between circular and zero padding convolution's spectral norm. We design a \emph{spectral rescaling} that can be used as a competitive $1$-Lipschitz layer that enhances network robustness. Demonstrated through experiments, our method outperforms state-of-the-art techniques in precision, computational cost, and scalability. The code of experiments is available at https://github.com/blaisedelattre/lip4conv.


title: Asymptotic bound on slow-roll parameter in stringy quintessence model

abstract: We study the late time behavior of the scalar part of the volume modulus and the dilaton in stringy quintessence model, focusing on their contributions to the Hubble slow-roll parameter $\epsilon$ which directly measures the deviation of the spacetime geometry from de Sitter space. When only one of the moduli is allowed to move, $\epsilon$ converges to the stable fixed point at late time. The fixed point value is larger than $1$, thus the slow-roll cannot be realized. Moreover, if the decay rate of the quintessence potential is larger than some critical value, the positivity of the potential imposes that the stable fixed point value is just given by $3$, independent of the details of the moduli dynamics. Otherwise, the fixed point value coincides with the potential slow-roll parameter. When both the volume modulus and the dilaton roll down the potential simultaneously, we can find the relation between the contributions of two moduli to $\epsilon$ satisfied at the fixed point. In this case, the fixed point value is not in general the simple sum of fixed point values in the single field case and cannot be larger than $3$.


title: Quantum Advantage in Non-Interactive Source Simulation

abstract: This work considers the non-interactive source simulation problem (NISS). In the standard NISS scenario, a pair of distributed agents, Alice and Bob, observe a distributed binary memoryless source $(X^d,Y^d)$ generated based on joint distribution $P_{X,Y}$. The agents wish to produce a pair of discrete random variables $(U_d,V_d)$ with joint distribution $P_{U_d,V_d}$, such that $P_{U_d,V_d}$ converges in total variation distance to a target distribution $Q_{U,V}$. Two variations of the standard NISS scenario are considered. In the first variation, in addition to $(X^d,Y^d)$ the agents have access to a shared Bell state. The agents each measure their respective state, using a measurement of their choice, and use its classical output along with $(X^d,Y^d)$ to simulate the target distribution. This scenario is called the entanglement-assisted NISS (EA-NISS). In the second variation, the agents have access to a classical common random bit $Z$, in addition to $(X^d,Y^d)$. This scenario is called the classical common randomness NISS (CR-NISS). It is shown that for binary-output NISS scenarios, the set of feasible distributions for EA-NISS and CR-NISS are equal with each other. Hence, there is not quantum advantage in these EA-NISS scenarios. For non-binary output NISS scenarios, it is shown through an example that there are distributions that are feasible in EA-NISS but not in CR-NISS. This shows that there is a quantum advantage in non-binary output EA-NISS.


title: Capacity Constraint Analysis Using Object Detection for Smart Manufacturing

abstract: The increasing popularity of Deep Learning (DL) based Object Detection (OD) methods and their real-world applications have opened new venues in smart manufacturing. Traditional industries struck by capacity constraints after Coronavirus Disease (COVID-19) require non-invasive methods for in-depth operations' analysis to optimize and increase their revenue. In this study, we have initially developed a Convolutional Neural Network (CNN) based OD model to tackle this issue. This model is trained to accurately identify the presence of chairs and individuals on the production floor. The identified objects are then passed to the CNN based tracker, which tracks them throughout their life cycle in the workstation. The extracted meta-data is further processed through a novel framework for the capacity constraint analysis. We identified that the Station C is only 70.6% productive through 6 months. Additionally, the time spent at each station is recorded and aggregated for each object. This data proves helpful in conducting annual audits and effectively managing labor and material over time.


title: Coherent all-optical control of a solid-state spin via a double $\Lambda$-system

abstract: All-optical control enables fast quantum operations on color center spins that are typically realized via a single Raman transition in a $\Lambda$-system. Here, we simultaneously drive both Raman transitions in a double $\Lambda$-system to control the spin of a germanium vacancy (GeV) in diamond. In doing so, we achieve fast operations, observe the quantum interference between the two Raman transitions and probe the GeV coherence ($T_2^*=224\pm14$ ns, $T_2^{\rm H}=11.9\pm0.3$ $\mu$s). Importantly, control via a double $\Lambda$-system is applicable to other color centers and particularly, the group-IV defects in diamond.


title: Inertial particle focusing in fluid flow through spiral ducts: dynamics, tipping phenomena and particle separation

abstract: Small finite-size particles suspended in fluid flow through an enclosed curved duct can focus to points or periodic orbits in the two-dimensional duct cross-section. This particle focusing is due to a balance between inertial lift forces arising from axial flow and drag forces arising from cross-sectional vortices. The inertial particle focusing phenomenon has been exploited in various industrial and medical applications to passively separate particles by size using purely hydrodynamic effects. A fixed size particle in a circular duct with a uniform rectangular cross-section can have a variety of particle attractors, such as stable nodes/spirals or limit cycles, depending on the radius of curvature of the duct. Bifurcations occur at different radii of curvature, such as pitchfork, saddle-node and saddle-node infinite period (SNIPER), which result in variations in the location, number and nature of these particle attractors. By using a quasi-steady approximation, we extend the theoretical model of Harding et al. (2019) developed for particle dynamics in circular ducts to spiral duct geometries with slowly varying curvature, and numerically explore the particle dynamics within. Bifurcations of particle attractors with respect to radius of curvature can be traversed within spiral ducts and give rise to rich nonlinear particle dynamics and various types of tipping phenomena, such as bifurcation-induced tipping (B-tipping), rate-induced tipping (R-tipping) and a combination of both, which we explore in detail. We discuss implications of these unsteady dynamical behaviours for particle separation and propose novel mechanisms to separate particles by size in a non-equilibrium manner.


title: A Diffusion-Based Approach for Simulating Forward-in-Time State-Dependent Speciation and Extinction Dynamics

abstract: We establish a general framework using a diffusion approximation to simulate forward-in-time state counts or frequencies for cladogenetic state-dependent speciation-extinction (ClaSSE) models. We apply the framework to various two- and three-region geographic-state speciation-extinction (GeoSSE) models. We show that the species range state dynamics simulated under tree-based and diffusion-based processes are comparable. We derive a method to infer rate parameters that are compatible with given observed stationary state frequencies and obtain an analytical result to compute stationary state frequencies for a given set of rate parameters. We also describe a procedure to find the time to reach the stationary frequencies of a ClaSSE model using our diffusion-based approach, which we demonstrate using a worked example for a two-region GeoSSE model. Finally, we discuss how the diffusion framework can be applied to formalize relationships between evolutionary patterns and processes under state-dependent diversification scenarios.


title: Towards AI-Assisted Synthesis of Verified Dafny Methods

abstract: Large language models show great promise in many domains, including programming. A promise is easy to make but hard to keep, and language models often fail to keep their promises, generating erroneous code. A promising avenue to keep models honest is to incorporate formal verification: generating programs' specifications as well as code so that the code can be proved correct with respect to the specifications. Unfortunately, existing large language models show a severe lack of proficiency in verified programming. In this paper, we demonstrate how to improve two pretrained models' proficiency in the Dafny verification-aware language. Using 178 problems from the MBPP dataset, we prompt two contemporary models (GPT-4 and PaLM-2) to synthesize Dafny methods. We use three different types of prompts: a direct Contextless prompt; a Signature prompt that includes a method signature and test cases, and a Chain of Thought (CoT) prompt that decomposes the problem into steps and includes retrieval augmentation generated example problems and solutions. Our results show that GPT-4 performs better than PaLM-2 on these tasks and that both models perform best with the retrieval augmentation generated CoT prompt. GPT-4 was able to generate verified, human-evaluated, Dafny methods for 58% of the problems, however, GPT-4 managed only 19% of the problems with the Contextless prompt, and even fewer (10%) for the Signature prompt. We are thus able to contribute 153 verified Dafny solutions to MBPP problems, 50 that we wrote manually, and 103 synthesized by GPT-4. Our results demonstrate that the benefits of formal program verification are now within reach of code generating large language models...


title: Ultrahigh Thermal Conductivity of Cubic Boron Arsenide with an Unexpectedly Strong Temperature Dependence

abstract: Materials with high thermal conductivity are needed to conduct heat away from hot spots in power electronics and optoelectronic devices. Cubic boron arsenide (c-BAs) has a high thermal conductivity due to its special phonon dispersion relation. Previous experimental studies of c-BAs report a room-temperature thermal conductivity between 1000 and 1300 watts per meter-kelvin. We synthesized high purity c-BAs single crystals with room-temperature thermal conductivity of 1500 watts per meter-kelvin. We observed its thermal conductivity to be proportional to the inverse square of temperature between 300 and 600 kelvin, a stronger dependence than predicted by state-of-the-art theory.


title: On the two-loop penguin contributions to the Anomalous Dimensions of four-quark operators

abstract: We revisit the Next-to-Leading Order (two-loop) contributions to the Anomalous Dimensions of $\Delta F = 1$ four-quark operators in QCD. We devise a test for anomalous dimensions, that we regard as of general interest, and by means of which we detect a problem in the results available in the literature. Deconstructing the steps leading to the available result, we identify the source of the problem, which is related to the operator known as $Q_{11}$. We show how to fix the problem and provide the corrected anomalous dimensions. With the insight of our findings, we propose an alternative approach to the one used in the literature which does not suffer from the identified disease, and which confirms our corrected results. We assess the numerical impact of our corrections, which happens to be in the ballpark of $5\%$ in certain entries of the evolution matrix. Our results are important for the correct resummation of Next-to-Leading Logarithms in analyses of physics beyond the Standard Model in $\Delta F = 1$ processes, such as the decays of Kaons and $B$-mesons.