title: Parameter Tuning in the Radial Kernel-Based Partition of Unity Method by Bayesian Optimization

abstract: In this paper, we employ Bayesian optimization to concurrently explore the optimal values for both the shape parameter and the radius in the partition of unity interpolation using radial basis functions. Bayesian optimization is a probabilistic, iterative approach that models the error function through a progressively self-updated Gaussian process. Meanwhile, the partition of unity approach harnesses a meshfree method, allowing us to significantly reduce computational expenses, particularly when considering a substantial number of scattered data points. This reduction in computational cost is achieved by decomposing the entire domain into several smaller subdomains, each of them with a variable radius. We provide an estimation of the complexity of our algorithm and carry out numerical experiments to illustrate the effectiveness of our approach, dealing with test and real-world datasets.


title: SCADDA: Spatio-temporal cluster analysis with density-based distance augmentation and its application to fire carbon emissions

abstract: Spatio-temporal clustering occupies an established role in various fields dealing with geospatial analysis, spanning from healthcare analysis to environmental science. One major challenge are applications in which cluster assignments are dependent on local densities, meaning that higher-density areas should be treated more strictly for spatial clustering and vice versa. Meeting this need, we describe and implement an extended method that covers continuous and adaptive distance rescaling based on kernel density estimates and the orthodromic metric, as well as the distance between time series via dynamic time warping. In doing so, we provide the wider research community, as well as practitioners, with a novel approach to solve an existing challenge as well as an easy-to-handle and robust open-source software tool. The resulting implementation is highly customizable to suit different application cases, and we verify and test the latter on both an idealized scenario and the recreation of prior work on broadband antibiotics prescriptions in Scotland to demonstrate well-behaved comparative performance. Following this, we apply our approach to fire emissions in Sub-Saharan Africa using data from Earth-observing satellites, and show our implementation's ability to uncover seasonality shifts in carbon emissions of subgroups as a result of time series-driven cluster splits.


title: Accreting Neutron Stars in 3D GRMHD Simulations: Jets, Magnetic Polarity, and the Interchange Slingshot

abstract: Accreting neutron stars differ from black holes by the presence of the star's own magnetic field, whose interaction with the accretion flow is a central component in understanding these systems' disk structure, outflows, jets, and spin evolution. It also introduces an additional degree of freedom, as the stellar dipole can have any orientation relative to the inner disk's magnetic field. We present a suite of 3D general-relativistic magnetohydrodynamic (GRMHD) simulations in which we investigate the two extreme polarities, with the dipole field being either parallel or antiparallel to the initial disk field, in both the accreting and propeller states. When the magnetosphere truncates the disk near or beyond the corotation radius, most of the system's properties, including the relativistic jet power, are independent of the star-disk relative polarity. However, when the disk extends well inside the corotation radius, in the parallel orientation the jet power is suppressed and the inner disk is less dense and more strongly magnetized. We suggest a physical mechanism that may account for this behavior - the interchange slingshot - and discuss its astrophysical implications.


title: Aspect-based Meeting Transcript Summarization: A Two-Stage Approach with Weak Supervision on Sentence Classification

abstract: Aspect-based meeting transcript summarization aims to produce multiple summaries, each focusing on one aspect of content in a meeting transcript. It is challenging as sentences related to different aspects can mingle together, and those relevant to a specific aspect can be scattered throughout the long transcript of a meeting. The traditional summarization methods produce one summary mixing information of all aspects, which cannot deal with the above challenges of aspect-based meeting transcript summarization. In this paper, we propose a two-stage method for aspect-based meeting transcript summarization. To select the input content related to specific aspects, we train a sentence classifier on a dataset constructed from the AMI corpus with pseudo-labeling. Then we merge the sentences selected for a specific aspect as the input for the summarizer to produce the aspect-based summary. Experimental results on the AMI corpus outperform many strong baselines, which verifies the effectiveness of our proposed method.


title: Lie Point Symmetry and Physics Informed Networks

abstract: Symmetries have been leveraged to improve the generalization of neural networks through different mechanisms from data augmentation to equivariant architectures. However, despite their potential, their integration into neural solvers for partial differential equations (PDEs) remains largely unexplored. We explore the integration of PDE symmetries, known as Lie point symmetries, in a major family of neural solvers known as physics-informed neural networks (PINNs). We propose a loss function that informs the network about Lie point symmetries in the same way that PINN models try to enforce the underlying PDE through a loss function. Intuitively, our symmetry loss ensures that the infinitesimal generators of the Lie group conserve the PDE solutions. Effectively, this means that once the network learns a solution, it also learns the neighbouring solutions generated by Lie point symmetries. Empirical evaluations indicate that the inductive bias introduced by the Lie point symmetries of the PDEs greatly boosts the sample efficiency of PINNs.


title: Rest-Frame UV Colors for Faint Galaxies at $z \sim 9-16$ with the \textit{JWST} NGDEEP Survey

abstract: We present measurements of the rest-frame UV spectral slope, $\beta$, for a sample of 36 faint star-forming galaxies at z ~ 9-16 discovered in one of the deepest JWST NIRCam surveys to date, the Next Generation Deep Extragalactic Exploratory Public (NGDEEP) Survey. We use robust photometric measurements for UV-faint galaxies (down to $M_{UV}$ ~ -16), originally published in Leung+23, and measure values of the UV spectral slope via photometric power-law fitting to both the observed photometry and to stellar population models obtained through spectral energy distribution (SED) fitting with Bagpipes. We obtain a median and 68% confidence interval for $\beta$ from photometric power-law fitting of $\beta_{PL} = -2.7^{+0.5}_{-0.5}$ and from SED-fitting, $\beta_{SED} = -2.3^{+0.2}_{-0.1}$ for the full sample. We show that when only 2-3 photometric detections are available, SED-fitting has a lower scatter and reduced biases than photometric power-law fitting. We quantify this bias and find that after correction, the median $\beta_{SED,corr} = -2.5^{+0.2}_{-0.2}$. We measure physical properties for our galaxies with Bagpipes and find that our faint ($M_{UV} = -18.1^{+0.7}_{-0.9}$) sample is low mass (${log}[M_{\ast}/M_\odot] = 7.7^{+0.5}_{-0.5}$), fairly dust-poor ($A_{v} = 0.1^{+0.2}_{-0.1}$ mag), and modestly young (${log[age]} = 7.8^{+0.2}_{-0.8}$ yr) with a median star formation rate of $\mathrm{log(SFR)} = -0.3^{+0.4}_{-0.4} M_\odot{/yr}$. We find no strong evidence for ultra-blue UV spectral slopes ($\beta$ ~ -3) within our sample, as would be expected for exotically metal-poor ($Z/Z_{\odot}$ < 10$^{-3}$) stellar populations with very high LyC escape fractions. Our observations are consistent with model predictions that galaxies of these stellar masses at z~9-16 should have only modestly low metallicities ($Z/Z_{\odot}$ ~ 0.1--0.2).


title: Algorithmic stability implies training-conditional coverage for distribution-free prediction methods

abstract: In a supervised learning problem, given a predicted value that is the output of some trained model, how can we quantify our uncertainty around this prediction? Distribution-free predictive inference aims to construct prediction intervals around this output, with valid coverage that does not rely on assumptions on the distribution of the data or the nature of the model training algorithm. Existing methods in this area, including conformal prediction and jackknife+, offer theoretical guarantees that hold marginally (i.e., on average over a draw of training and test data). In contrast, training-conditional coverage is a stronger notion of validity that ensures predictive coverage of the test point for most draws of the training data, and is thus a more desirable property in practice. Training-conditional coverage was shown by Vovk [2012] to hold for the split conformal method, but recent work by Bian and Barber [2023] proves that such validity guarantees are not possible for the full conformal and jackknife+ methods without further assumptions. In this paper, we show that an assumption of algorithmic stability ensures that the training-conditional coverage property holds for the full conformal and jackknife+ methods.


title: Optimization of Inverted Double-Element Airfoil in Ground Effect using Improved HHO and Kriging Surrogate Model

abstract: In the automotive industry, multi-element wings have been used to improve the aerodynamics of race cars. Multi-element wings can enhance a vehicle's handling and stability by reducing drag and increasing downforce, allowing it to corner more effectively and achieve higher speeds. Performance gains by utilizing the ground effect are highly sensitive to the wing setup. This study focuses on identifying the optimum design parameters for the airfoil to achieve the desired downforce and drag performance. The design parameters chosen are ride height, flap overlap, flap angle, and flap gap (the spacing between the flap and the main airfoil). These parameters are optimized for three different use cases: high downforce, low drag, and a setup with the highest airfoil efficiency. The force coefficient and flow field data were gathered using two-dimensional (2D) Reynolds Averaged Navier Stokes (RANS) simulations, with the turbulent flow modeled using the k-{\omega} Shear Stress Transport (SST) turbulence model. The Improved Harris Hawks Optimization (HHO) algorithm was used to obtain the optimal configuration of the double-element and the resulting designs showed a significant improvement in downforce and drag performance compared to the baseline designs. Improved HHO was further compared with other state-of-the-art algorithms for assessing the algorithm's performance for a problem with highly non-linear behavior, where it was able to demonstrate its ability to obtain the optimal solutions more efficiently.


title: Variety of disk wind-driven explosions in massive rotating stars

abstract: We perform a set of two-dimensional, non-relativistic, hydrodynamics simulations for supernova-like explosion associated with stellar core collapse of rotating massive stars to a system of a black hole and a disk connected by the transfer of matter and angular momentum. Our model of the central engine also includes the contribution of the disk wind. In this work, we specifically investigate the wind-driven explosion of rotating, large-mass progenitor stars with the zero-age main-sequence mass of $M_\mathrm{ZAMS}=20\,M_\odot$ from arXiv:2008.09132 . This study is carried out using the open-source hydrodynamic code Athena++, for which we implement a method to calculate self-gravity for axially symmetric density distributions. We, then, investigate the explosion properties and the $^{56}$Ni production as a function of (varying) some features of the wind injection. We find a large variety of explosion energy with $E_\mathrm{expl}$ ranging from $\sim 0.049\times10^{51}$~erg to $\sim 34\times10^{51}$~erg and ejecta mass $M_\mathrm{ej}$ from 0.58 to 6 $M_\odot$, which shows a bimodal distribution in high- and low-energy branches. We demonstrate that the resulting outcome of a highly- or sub-energetic explosion for a certain stellar structure is mainly determined by the competition between the ram pressure of the injected matter and that of the infalling envelope. In the nucleosynthesis analysis the $^{56}$Ni mass produced in our models goes from $< 0.2~M_\odot$ in the sub-energetic explosions to $2.1~M_\odot$ in the highly-energetic ones. These results are consistent with the observational data of stripped-envelope and high-energy SNe such as broad-lined type Ic SNe. However, we find a tighter correlation between the explosion energy and the ejecta mass than that observationally measured.


title: Modified mean curvature flow and CMC foliation conjecture in almost Fuchsian manifolds

abstract: There has been a conjecture, often attributed to Thurston, which asserts that every almost Fuchsian manifold is foliated by closed incompressible constant mean curvature (CMC) surfaces. In this paper, for a certain class of almost Fuchsian manifolds, we prove the long-time existence and convergence of the modified mean curvature flow $$\frac{\partial F}{\partial t}=-(H-c)\vec{\nu},$$ which was first introduced by Xiao and the second named author in \cite{LX12}. As an application, we confirm Thurston's CMC foliation conjecture for such a subclass of almost Fuchsian manifolds.


title: Node-Binded Communities for Interpolation on Graphs

abstract: Partition of unity methods (PUMs) on graphs represent straightforward and remarkably adaptable auxiliary techniques for graph signal processing. By relying solely on the intrinsic graph structure, we propose the generation of a partition of unity through centrality measures and modularity. Subsequently, we integrate PUMs with a local graph basis function (GBF) approximation approach to achieve low-cost global interpolation schemes.


title: Robust inference for an interval-monitored step-stress experiment with competing risks for failure

abstract: Accelerated life-tests (ALTs) are used for inferring lifetime characteristics of highly reliable products. In particular, step-stress ALTs increase the stress level at which units under test are subject at certain pre-fixed times, thus accelerating the product's wear and inducing its failure. In some cases, due to cost or product nature constraints, continuous monitoring of devices is infeasible, and so the units are inspected for failures at particular inspection time points. In a such setup, the ALT response is interval-censored. Furthermore, when a test unit fails, there are often more than one fatal cause for the failure, known as competing risks. In this paper, we assume that all competing risks are independent and follow exponential distributions with scale parameters depending on the stress level. Under this setup, we present a family of robust estimators based on density power divergence, including the classical maximum likelihood estimator (MLE) as a particular case. We derive asymptotic and robustness properties of the Minimum Density Power Divergence Estimator (MDPDE), showing its consistency for large samples. Based on these MDPDEs, estimates of the lifetime characteristics of the product as well as estimates of cause-specific lifetime characteristics are then developed. Direct asymptotic, transformed and, bootstrap confidence intervals for the mean lifetime to failure, reliability at a mission time and, distribution quantiles are proposed, and their performance is then compared through Monte Carlo simulations. Moreover, the performance of the MDPDE family has been examined through an extensive numerical study and the methods of inference discussed here are finally illustrated with a real-data example concerning electronic devices.


title: Class-Incremental Continual Learning for General Purpose Healthcare Models

abstract: Healthcare clinics regularly encounter dynamic data that changes due to variations in patient populations, treatment policies, medical devices, and emerging disease patterns. Deep learning models can suffer from catastrophic forgetting when fine-tuned in such scenarios, causing poor performance on previously learned tasks. Continual learning allows learning on new tasks without performance drop on previous tasks. In this work, we investigate the performance of continual learning models on four different medical imaging scenarios involving ten classification datasets from diverse modalities, clinical specialties, and hospitals. We implement various continual learning approaches and evaluate their performance in these scenarios. Our results demonstrate that a single model can sequentially learn new tasks from different specialties and achieve comparable performance to naive methods. These findings indicate the feasibility of recycling or sharing models across the same or different medical specialties, offering another step towards the development of general-purpose medical imaging AI that can be shared across institutions.


title: How Hard is Weak-Memory Testing?

abstract: Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A fundamental computational problem is consistency testing: is the observed execution of a concurrent program in alignment with the specification of the underlying system? The problem has been studied extensively across Sequential Consistency (SC) and weak memory, and proven to be NP-complete when some aspect of the input (e.g., number of threads/memory locations) is unbounded. This unboundedness has left a natural question open: are there efficient parameterized algorithms for testing? The main contribution of this paper is a deep hardness result for consistency testing under many popular weak-memory models: the problem remains NP-complete even in its bounded setting, where candidate executions contain a bounded number of threads, memory locations, and values. This hardness spreads across several Release-Acquire variants of C11, a popular variant of its Relaxed fragment, popular Causal Consistency models, and the POWER architecture. To our knowledge, this is the first result that fully exposes the hardness of weak-memory testing and proves that the problem admits no parameterization under standard input parameters. It also yields a computational separation of these models from SC, x86-TSO, PSO, and Relaxed, for which bounded consistency testing is either known (for SC), or shown here (for the rest), to be in polynomial time.


title: Adaptive Stochastic Nonlinear Model Predictive Control with Look-ahead Deep Reinforcement Learning for Autonomous Vehicle Motion Control

abstract: In this paper, we present a Deep Reinforcement Learning (RL)-driven Adaptive Stochastic Nonlinear Model Predictive Control (SNMPC) to optimize uncertainty handling, constraints robustification, feasibility, and closed-loop performance. To this end, we conceive an RL agent to proactively anticipate upcoming control tasks and to dynamically determine the most suitable combination of key SNMPC parameters - foremost the robustification factor $\kappa$ and the Uncertainty Propagation Horizon (UPH) $T_u$. We analyze the trained RL agent's decision-making process and highlight its ability to learn context-dependent optimal parameters. One key finding is that adapting the constraints robustification factor with the learned policy reduces conservatism and improves closed-loop performance while adapting UPH renders previously infeasible SNMPC problems feasible when faced with severe disturbances. We showcase the enhanced robustness and feasibility of our Adaptive SNMPC (aSNMPC) through the real-time motion control task of an autonomous passenger vehicle to follow an optimal race line when confronted with significant time-variant disturbances. Experimental findings demonstrate that our look-ahead RL-driven aSNMPC outperforms its Static SNMPC (sSNMPC) counterpart in minimizing the lateral deviation both with accurate and inaccurate disturbance assumptions and even when driving in previously unexplored environments.


title: Unravelling the Holomorphic Twist: Central Charges

abstract: The holomorphic twist provides a powerful framework to study minimally protected sectors in supersymmetric quantum field theories. We investigate the algebraic structure underlying the holomorphic twist of $\mathcal{N} = 1$ superconformal field theories in four dimensions. In particular, in holomorphically twisted theories the flavour and conformal symmetry algebras are enhanced to infinite-dimensional higher Kac Moody and higher Virasoro symmetry algebras respectively. We explicitly compute the binary and ternary $\lambda$-brackets and clarify their relation with the underlying infinite-dimensional symmetry algebra. Doing so we show that the central extensions of said symmetry algebras precisely encode the conformal anomalies $a$ and $c$ as well as the flavour central charges of the physical four-dimensional theory. This parallels the familiar story in two dimensions where the conformal anomaly $c$ is encoded in the central extension of the Virasoro algebra.


title: Revealing the ultra-fast domain wall motion in Manganese Gold through permalloy capping

abstract: Antiferromagnets offer much faster dynamics compared to their ferromagnetic counterparts but their order parameter is extremely difficult to detect and control. So far, controlling the N\'eel order parameter electrically is limited to only very few materials where N\'eel spin-orbit torques are allowed by symmetry. In this work, we show that coupling a thin ferromagnet (permalloy) layer on top of an antiferromagnet (Mn$_2$Au) solves a major roadblock -- the controlled reading, writing, and manipulation of antiferromagnetic domains. We confirm by atomistic spin dynamics simulations that the domain wall patterns in the Mn$_2$Au are imprinted on the permalloy, therefore allowing for indirect imaging of the N\'eel order parameter. Our simulations show that the coupled domain wall structures in Mn$_2$Au-Py bilayers can be manipulated by either acting on the N\'eel order parameter via N\'eel spin-orbit torques or by acting on the magnetisation (the ferromagnetic order parameter) via magnetic fields. In both cases, we predict ultra-high domain wall speeds on the order of 8.5 km/s. Thus, employing a thin ferromagnetic layer has the potential to easily control the N\'eel order parameter in antiferromagnets even where N\'eel spin-orbit torques are forbidden by symmetry. The controlled manipulation of the antiferromagnetic order parameter provides a promising basis for the development of high-density storage and efficient computing technologies working in the THz regime.


title: High-Order Numerical Method for 1D Non-local Diffusive Equation

abstract: In this paper we present a non-local numerical scheme based on the Local Discontinuous Galerkin method for a non-local diffusive partial differential equation with application to traffic flow. In this model, the velocity is determined by both the average of the traffic density as well as the changes in the traffic density at a neighborhood of each point. We discuss nonphysical behaviors that can arise when including diffusion, and our measures to prevent them in our model. The numerical results suggest that this is an accurate method for solving this type of equation and that the model can capture desired traffic flow behavior. We show that computation of the non-local convolution results in $\mathcal{O}(n^2)$ complexity, but the increased computation time can be mitigated with high-order schemes like the one proposed.


title: Freeness in cognitive science

abstract: In this mini-review, dedicated to the Jubilee of Professor Tadeusz Marek, we highlight in a popular way the power of so-called free random variables (hereafter FRV) calculus, viewed as a potential probability calculus for the XXI century, in applications to the broad area of cognitive sciences. We provide three examples: (i) inference of noisy signals from multivariate correlation data from the brain; (ii) distinguished role of non-normality in real neuronal models; (iii) applications to the field of deep learning in artificial neural networks.

categories: q-bio.NC math-ph math.MP math.PR nlin.AO


title: Application of Response Surface Method and Genetic Algorithm in the Design of High-Efficiency Prototype Vehicle

abstract: Breakthroughs in aerodynamic optimization have made it possible to develop efficient modes of transport with lesser exploitation of valuable resources. This makes it crucial for technical professionals such as engineers and scientists to understand the methodologies behind carrying out such optimizations. A common approach towards improving the aerodynamic properties of a vehicle is to alter its physical shape, which has concurrently been a very strenuous process given the time consumed to remodel the vehicle for each simulation process. This research aims to tackle this problem by using intelligent techniques to automate the step-by-step process of remodeling the car and arriving at a final optimized solution with a significantly lower drag coefficient, a quantity used to measure the amount of drag force acting on a vehicle. This is achieved by assigning particular parameters to ensure guided improvement of the airfoil in a process known as parametrization, followed by implementing a response surface methodology primarily to circumvent the strenuous task of performing a large number of CFD simulations by employing surrogate models to generate a response surface between selected independent variables. Further, evolutionary algorithms such as Genetic Algorithm have gained momentum in the optimization studies carried out during product design by selecting the optimum parameters from the available design spaces on the basis of natural evolution. The proposed method of optimization has been successfully implemented on a prototype vehicle with an improvement of 26.6% and 51.1% in the drag coefficient and drag area respectively.


title: Evidence for saturated and disrupted magnetic braking from samples of detached close binaries with M and K dwarfs

abstract: Context. Recent observations of close detached eclipsing M and K dwarf binaries have provided substantial support for magnetic saturation when stars rotate sufficiently fast, leading to a magnetic braking (MB) torque proportional to the spin of the star. Aims. We investigated here how strong MB torques need to be to reproduce the observationally-inferred relative numbers of white dwarf plus M dwarf post-common-envelope binaries under the assumption of magnetic saturation. Methods. We carried out binary population simulations with the BSE code adopting empirically-derived inter-correlated main-sequence binary distributions as initial binary populations and compared the simulation outcomes with observations. Results. We found that the dearth of extreme mass ratio binaries in the inter-correlated initial distributions is key to reproduce the large fraction of post-common-envelope binaries hosting low-mass M dwarfs (${\sim0.1-0.2}$ M$_\odot$). In addition, orbital angular momentum loss rates due to MB should be high for M dwarfs with radiative cores and orders of magnitude smaller for fully convective stars to explain the observed dramatic change of the fraction of short-period binaries at the fully convective boundary. Conclusions. We conclude that saturated but disrupted, that is, dropping drastically at the fully convective boundary, MB can explain the observations of both close main-sequence binaries containing M and K dwarfs and post-common-envelope binaries. Whether a similar prescription can explain the spin down rates of single stars and of binaries containing more massive stars needs to be tested.


title: KNIMEZoBot: Enhancing Literature Review with Zotero and KNIME OpenAI Integration using Retrieval-Augmented Generation

abstract: Academic researchers face challenges keeping up with exponentially growing published findings in their field. Performing comprehensive literature reviews to synthesize knowledge is time-consuming and labor-intensive using manual approaches. Recent advances in artificial intelligence provide promising solutions, yet many require coding expertise, limiting accessibility. KNIMEZoBot represents an innovative integration of Zotero, OpenAI, and the KNIME visual programming platform to automate literature review tasks for users with no coding experience. By leveraging KNIME's intuitive graphical interface, researchers can create workflows to search their Zotero libraries and utilize OpenAI models to extract key information without coding. Users simply provide API keys and configure settings through a user-friendly interface in a locally stored copy of the workflow. KNIMEZoBot then allows asking natural language questions via a chatbot and retrieves relevant passages from papers to generate synthesized answers. This system has significant potential to expedite literature reviews for researchers unfamiliar with coding by automating retrieval and analysis of publications in personal Zotero libraries. KNIMEZoBot demonstrates how thoughtfully designed AI tools can expand accessibility and accelerate knowledge building across diverse research domains.


title: Bayesian Approach for Radial Kernel Parameter Tuning

abstract: In this paper we present a new fast and accurate method for Radial Basis Function (RBF) approximation, including interpolation as a special case, which enables us to effectively find the optimal value of the RBF shape parameter. In particular, we propose a statistical technique, called Bayesian optimization, that consists in modelling the error function with a Gaussian process, by which, through an iterative process, the optimal shape parameter is selected. The process is step by step self-updated resulting in a relevant decrease in search time with respect to the classical leave one out cross validation technique. Numerical results deriving from some test examples and an application to real data show the performance of the proposed method.


title: Gaussian Rough Paths Lifts via Complementary Young Regularity

abstract: Inspired by recent advances in singular SPDE theory, we use the Poincar\'e inequality on Wiener space to show that controlled complementary Young regularity is sufficient to obtain Gaussian rough paths lifts. This allows us to completely bypass assumptions on the 2D variation regularity of the covariance and, as a consequence, we obtain cleaner proofs of approximation statements (with optimal convergence rates) and show the convergence of random Fourier series in rough paths metrics under minimal assumptions on the coefficients (which are sharper than those in the existent literature).


title: Improved Child Text-to-Speech Synthesis through Fastpitch-based Transfer Learning

abstract: Speech synthesis technology has witnessed significant advancements in recent years, enabling the creation of natural and expressive synthetic speech. One area of particular interest is the generation of synthetic child speech, which presents unique challenges due to children's distinct vocal characteristics and developmental stages. This paper presents a novel approach that leverages the Fastpitch text-to-speech (TTS) model for generating high-quality synthetic child speech. This study uses the transfer learning training pipeline. The approach involved finetuning a multi-speaker TTS model to work with child speech. We use the cleaned version of the publicly available MyST dataset (55 hours) for our finetuning experiments. We also release a prototype dataset of synthetic speech samples generated from this research together with model code to support further research. By using a pretrained MOSNet, we conducted an objective assessment that showed a significant correlation between real and synthetic child voices. Additionally, to validate the intelligibility of the generated speech, we employed an automatic speech recognition (ASR) model to compare the word error rates (WER) of real and synthetic child voices. The speaker similarity between the real and generated speech is also measured using a pretrained speaker encoder.


title: Investigating the Long Secondary Period Phenomenon with the ASAS-SN and Gaia data

abstract: The aim of this work is to create a complete list of sources exhibiting a long secondary period (LSP) in the ASAS-SN catalog of variable stars, and analyze the properties of this sample compared to other long period variables without LSP. We use the period-amplitude diagram to identify the 55572 stars showing an LSP, corresponding to 27% of the pulsating red giants in the catalog. We use the astrometric data from Gaia DR3 and the spectroscopic data provided by the APOGEE, GALAH, and RAVE surveys to investigate the statistical properties of the sample. We find that stars displaying an LSP have a spatial distribution that is more dispersed than the non-LSP giants, suggesting that they belong to an older population. Spectroscopically-derived ages seem to confirm this. The stars with an LSP also appear to be different in terms of C/O ratio from their non-LSP counterparts.


title: A Data Perspective on Enhanced Identity Preservation for Diffusion Personalization

abstract: Large text-to-image models have revolutionized the ability to generate imagery using natural language. However, particularly unique or personal visual concepts, such as pets and furniture, will not be captured by the original model. This has led to interest in how to personalize a text-to-image model. Despite significant progress, this task remains a formidable challenge, particularly in preserving the subject's identity. Most researchers attempt to address this issue by modifying model architectures. These methods are capable of keeping the subject structure and color but fail to preserve identity details. Towards this issue, our approach takes a data-centric perspective. We introduce a novel regularization dataset generation strategy on both the text and image level. This strategy enables the model to preserve fine details of the desired subjects, such as text and logos. Our method is architecture-agnostic and can be flexibly applied on various text-to-image models. We show on established benchmarks that our data-centric approach forms the new state of the art in terms of identity preservation and text alignment.


title: Planetary perturbers: Flaring star-planet interactions in Kepler and TESS

abstract: In many star-planet systems discovered so far, the innermost planet orbits within only a few stellar radii. In these systems, planets could become in-situ probes of the extended stellar magnetic field. Because they disturb the field as they move, they are expected to trigger flares in the corona. Potential differences to the energies and morphologies of intrinsic stellar flares are poorly constrained. However, as we expect planet-induced flares to correlate with the planet's orbital period, we can identify them from a clustering of flares in phase with the planet's orbit. We used the excellent phase coverage from Kepler and the Transiting Exoplanet Survey Satellite to find flaring star-planet systems, compile a catalog of all their flares, and measure how much they cluster in orbital phase. In the 1811 searched systems, we found 25 single stars with three or more flares each. We quantified the significance of the clustering in each system, and compared it against the theoretically expected power of magnetic interaction that leads to planet-induced flaring. Most systems do not show any clustering, consistent with low expected power. Those we expect to show clustering fall on two branches. An inactive one, without any signs of clustering, and a tentative active one, where the clustering becomes more pronounced as the expected power of interaction increases. The flares in HIP 67522 are prominently clustered (p<0.006). This young Hot Jupiter system is the most promising candidate for magnetic star-planet interaction in our sample.


title: On the envelope of Poisson functional on almost complex manifolds

abstract: We establish the plurisubharmonicity of the envelope of the Poisson functional on almost complex manifolds. That is, we generalize the corresponding result for complex manifolds and almost complex manifolds of complex dimension two.


title: Estimation for multistate models subject to reporting delays and incomplete event adjudication

abstract: Complete observation of event histories is often impossible due to sampling effects such as right-censoring and left-truncation, but also due to reporting delays and incomplete event adjudication. This is for example the case during interim stages of clinical trials and for health insurance claims. In this paper, we develop a parametric method that takes the aforementioned effects into account, treating the latter two as partially exogenous. The method, which takes the form of a two-step M-estimation procedure, is applicable to multistate models in general, including competing risks and recurrent event models. The effect of reporting delays is derived via thinning, extending existing results for Poisson models. To address incomplete event adjudication, we propose an imputed likelihood approach which, compared to existing methods, has the advantage of allowing for dependencies between the event history and adjudication processes as well as allowing for unreported events and multiple event types. We establish consistency and asymptotic normality under standard identifiability, integrability, and smoothness conditions, and we demonstrate the validity of the percentile bootstrap. Finally, a simulation study shows favorable finite sample performance of our method compared to other alternatives, while an application to disability insurance data illustrates its practical potential.


title: On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

abstract: Dyck reachability is a principled, graph-based formulation of a plethora of static analyses. Bidirected graphs are used for capturing dataflow through mutable heap data, and are usual formalisms of demand-driven points-to and alias analyses. The best (offline) algorithm runs in $O(m+n\cdot \alpha(n))$ time, where $n$ is the number of nodes and $m$ is the number of edges in the flow graph, which becomes $O(n^2)$ in the worst case. In the everyday practice of program analysis, the analyzed code is subject to continuous change, with source code being added and removed. On-the-fly static analysis under such continuous updates gives rise to dynamic Dyck reachability, where reachability queries run on a dynamically changing graph, following program updates. Naturally, executing the offline algorithm in this online setting is inadequate, as the time required to process a single update is prohibitively large. In this work we develop a novel dynamic algorithm for bidirected Dyck reachability that has $O(n\cdot \alpha(n))$ worst-case performance per update, thus beating the $O(n^2)$ bound, and is also optimal in certain settings. We also implement our algorithm and evaluate its performance on on-the-fly data-dependence and alias analyses, and compare it with two best known alternatives, namely (i) the optimal offline algorithm, and (ii) a fully dynamic Datalog solver. Our experiments show that our dynamic algorithm is consistently, and by far, the top performing algorithm, exhibiting speedups in the order of 1000X. The running time of each update is almost always unnoticeable to the human eye, making it ideal for the on-the-fly analysis setting.


title: Proprioceptive Invariant Robot State Estimation

abstract: This paper reports on developing a real-time invariant proprioceptive robot state estimation framework called DRIFT. A didactic introduction to invariant Kalman filtering is provided to make this cutting-edge symmetry-preserving approach accessible to a broader range of robotics applications. Furthermore, this work dives into the development of a proprioceptive state estimation framework for dead reckoning that only consumes data from an onboard inertial measurement unit and kinematics of the robot, with two optional modules, a contact estimator and a gyro filter for low-cost robots, enabling a significant capability on a variety of robotics platforms to track the robot's state over long trajectories in the absence of perceptual data. Extensive real-world experiments using a legged robot, an indoor wheeled robot, a field robot, and a full-size vehicle, as well as simulation results with a marine robot, are provided to understand the limits of DRIFT.


title: Semidirect products in Universal Algebra

abstract: First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of semidirect product for an arbitrary algebra $A$ in a variety $\cal{V}$ of type~$\cal{F}$. An inner semidirect-product decomposition $A=B \ltimes\omega$ of $A$ consists of a subalgebra $B$ of $A$ and a congruence $\omega$ on $A$ such that $B$ is a set of representatives of the congruence classes of $A$ modulo $\omega$. An outer semidirect product is the restriction to $B$ of a functor from a suitable category $\cal{C}_B$ containing $B$, called the enveloping category of $B$, to the category Set$_*$ of pointed sets.


title: NEAT-MUSIC: Auto-calibration of DOA Estimation for Terahertz-Band Massive MIMO Systems

abstract: Terahertz (THz) band is envisioned for the future sixth generation wireless systems thanks to its abundant bandwidth and very narrow beamwidth. These features are one of the key enabling factors for high resolution sensing with milli-degree level direction-of-arrival (DOA) estimation. Therefore, this paper investigates the DOA estimation problem in THz systems in the presence of two major error sources: 1) gain-phase mismatches, which occur due to the deviations in the radio-frequency circuitry; 2) beam-squint, which is caused because of the deviations in the generated beams at different subcarriers due to ultra-wide bandwidth. An auto-calibration approach, namely NoisE subspAce correcTion technique for MUltiple SIgnal Classification (NEAT-MUSIC), is proposed based on the correction of the noise subspace for accurate DOA estimation in the presence of gain-phase mismatches and beam-squint. To gauge the performance of the proposed approach, the Cramer-Rao bounds are also derived. Numerical results show the effectiveness of the proposed approach.


title: Incident Angle Study for Designing an Endoscopic Tool for Intraoperative Brain Tumor Detection

abstract: In neurosurgical procedures maximizing the resection of tumor tissue while avoiding healthy tissue is of paramount importance and a difficult task due to many factors, such as surrounding eloquent brain. Swiftly identifying tumor tissue for removal could increase surgical outcomes. The TumorID is a laser-induced fluorescence spectroscopy device that utilizes endogenous fluorophores such as NADH and FAD to detect tumor regions. With the goal of creating an endoscopic tool for intraoperative tumor detection in mind, a study of the TumorID was conducted to assess how the angle of incidence (AoI) affects the collected spectral response of the scanned tumor. For this study, flat and convex NADH/FAD gellan gum phantoms were scanned at various AoI (a range of 36 degrees) to observe the spectral behavior. Results showed that spectral signature did not change significantly across flat and convex phantoms, and the Area under Curve (AUC) values calculated for each spectrum had a standard deviation of 0.02 and 0.01 for flat and convex phantoms, respectively. Therefore, the study showed that AoI will affect the intensity of the spectral response, but the peaks representative of the endogenous fluorophores are still observable and similar. Future work includes conducting an AoI study with a longer working-distance lens, then incorporating said lens to design an endoscopic, intraoperative tumor detection device for minimally invasive surgery, with first applications in endonasal endoscopic approaches for pituitary tumors.


title: Mean values of multiplicative functions and applications to the distribution of the sum of divisors

abstract: We provide uniform bounds on mean values of multiplicative functions under very general hypotheses, detecting certain power savings missed in known results in the literature. As an application, we study the distribution of the sum-of-divisors function $\sigma(n)$ in coprime residue classes to moduli $q \le (\log x)^K$, obtaining extensions of results of \'Sliwa that are uniform in a wide range of $q$ and optimal in various parameters. As a consequence of our results, we obtain that the values of $\sigma(n)$ sampled over $n \le x$ with $\sigma(n)$ coprime to $q$ are asymptotically equidistributed among the coprime residue classes mod $q$, uniformly for odd $q \le (\log x)^K$. On the other hand, if $q$ is even, then equidistribution is restored provided we restrict to inputs $n$ having sufficiently many prime divisors exceeding $q$.


title: Extending Machine Learning-Based Early Sepsis Detection to Different Demographics

abstract: Sepsis requires urgent diagnosis, but research is predominantly focused on Western datasets. In this study, we perform a comparative analysis of two ensemble learning methods, LightGBM and XGBoost, using the public eICU-CRD dataset and a private South Korean St. Mary's Hospital's dataset. Our analysis reveals the effectiveness of these methods in addressing healthcare data imbalance and enhancing sepsis detection. Specifically, LightGBM shows a slight edge in computational efficiency and scalability. The study paves the way for the broader application of machine learning in critical care, thereby expanding the reach of predictive analytics in healthcare globally.


title: Educating for AI Cybersecurity Work and Research: Ethics, Systems Thinking, and Communication Requirements

abstract: The present study explored managerial and instructor perceptions of their freshly employed cybersecurity workers' or students' preparedness to work effectively in a changing cybersecurity environment that includes AI tools. Specifically, we related perceptions of technical preparedness to ethical, systems thinking, and communication skills. We found that managers and professors perceive preparedness to use AI tools in cybersecurity to be significantly associated with all three non-technical skill sets. Most important, ethics is a clear leader in the network of relationships. Contrary to expectations that ethical concerns are left behind in the rush to adopt the most advanced AI tools in security, both higher education instructors and managers appreciate their role and see them closely associated with technical prowess. Another significant finding is that professors over-estimate students' preparedness for ethical, system thinking, and communication abilities compared to IT managers' perceptions of their newly employed IT workers.


title: Promoting Rural Entrepreneurship through Technology: A Case Study using Productivity Enhancing Technology Experience Kits (PETE-Kits)

abstract: Contribution: Case study of a rural-focused educational program with two components: 1) introducing high school students and teachers to Smart and Connected Technologies (SCTs) that can be used to solve local problems; 2) engaging the local community in supporting local technology-driven entrepreneurship. Background: Rural communities typically lag behind in terms of participation in the digital economy, and use of technology in general. Yet they often have the most to gain, due to high rates of self-employment and lower private-sector job opportunities. Research Questions: Can a broadly-scoped rural technology education program lead to improvements in 1) student and teacher SCT awareness, 2) SCT skills, 3) aspirations for future SCT use directed toward entrepreneurship and overall community wellbeing? Methodology: Our multidisciplinary team used a mixed-methods approach to engage a rural high school robotics team as well as the local community. Over the course of one year, students took part in hands-on-training with SCTs ("PETE-Kits" and associated curriculum) and brainstormed entrepreneurial projects via ideation events. Community members were involved at the beginning and end of the project, including judging a "shark-tank" style event where student business ideas using SCT were presented. Findings: Results from student pre / post activity assessments suggest that the program was effective at increasing comfort with technology and combining technical skills with entrepreneurial opportunities. Post surveys from community members, including teachers, demonstrated clear support for the program and an appreciation of how SCTs / digital skills could benefit the local economy and wellbeing.


title: A Pilot Study of a Human-Readable Robotic Process Automation Language

abstract: In this paper, we explore the usability of a custom eXtensible Robotic Language (XRL) we proposed. To evaluate the user experience and the interaction with the potential XRL-based software robot, we conducted an exploratory study comparing the notation of three business processes using our XRL language and two languages used by the leading RPA solutions. The results of our exploratory study show that the currently used XML-based formats perform worse in terms of conciseness and readability. Our new XRL language is promising in terms of increasing the readability of the language, thus reducing the time needed to automate business processes.


title: Formal Aspects of Language Modeling

abstract: Large language models have become one of the most commonly deployed NLP inventions. In the past half-decade, their integration into core natural language processing tools has dramatically increased the performance of such tools, and they have entered the public discourse surrounding artificial intelligence. Consequently, it is important for both developers and researchers alike to understand the mathematical foundations of large language models, as well as how to implement them. These notes are the accompaniment to the theoretical portion of the ETH Z\"urich course on large language models, covering what constitutes a language model from a formal, theoretical perspective.


title: Model-Free Source Seeking by a Novel Single-Integrator with Attenuating Oscillations and Better Convergence Rate: Robotic Experiments

abstract: In this paper we validate, including experimentally, the effectiveness of a recent theoretical developments made by our group on control-affine Extremum Seeking Control (ESC) systems. In particular, our validation is concerned with the problem of source seeking by a mobile robot to the unknown source of a scalar signal (e.g., light). Our recent theoretical results made it possible to estimate the gradient of the unknown objective function (i.e., the scalar signal) incorporated in the ESC and use such information to apply an adaptation law which attenuates the oscillations of the ESC system while converging to the extremum (i.e., source). Based on our previous results, we propose here an amended design of the simple single-integrator control-affine structure known in ESC literature and show that it can functions effectively to achieve a model-free, real-time source seeking of light with attenuated oscillations using only local measurements of the light intensity. Results imply that the proposed design has significant potential as it also demonstrated much better convergence rate. We hope this paper encourages expansion of the proposed design in other fields, problems and experiments.


title: Uncertainty Principles on Finite Abelian Groups, Restriction Theory, and Applications to Sparse Signal Recovery

abstract: Let $G$ be a finite abelian group. Let $f: G \to {\mathbb C}$ be a signal (i.e. function). The classical uncertainty principle asserts that the product of the size of the support of $f$ and its Fourier transform $\hat f$, $\text{supp}(f)$ and $\text{supp}(\hat f)$ respectively, must satisfy the condition: $$|\text{supp}(f)| \cdot |\text{supp}(\hat f)| \geq |G|.$$ In the first part of this paper, we improve the uncertainty principle for signals with Fourier transform supported on generic sets. This improvement is achieved by employing {\it the restriction theory} and {\it the Salem set} mechanism from harmonic analysis. Then we investigate some applications of uncertainty principles that were developed in the first part of this paper, to the problem of unique recovery of finite sparse signals in the absence of some frequencies. Donoho and Stark (\cite{DS89}) showed that a signal of length $N$ can be recovered exactly, even if some of the frequencies are unobserved, provided that the product of the size of the number of non-zero entries of the signal and the number of missing frequencies is not too large, leveraging the classical uncertainty principle for vectors. Our results broaden the scope for a natural class of signals in higher-dimensional spaces. In the case when the signal is binary, we provide a very simple exact recovery mechanism through the DRA algorithm.


title: The Pressure-Stabilized Polymorph of Indium Triiodide

abstract: A layered rhombohedral polymorph of indium (III) triiodide is synthesized at high pressure and temperature. The unit cell symmetry and approximate dimensions are determined by single crystal X-ray diffraction. Its R-3 crystal structure, with a = 7.217 {\AA}, and c = 20.476 {\AA}, is refined by the Rietveld method on powder X-ray diffraction data. The crystal structure is based on InI6 octahedra sharing edges to form honeycomb lattice layers, though with considerable stacking variations. Different from ambient pressure InI3, which has a monoclinic molecular structure and a light-yellow color, high pressure InI3 is layered and has an orange color. The band gaps of both the monoclinic and rhombohedral variants of InI3 are estimated from diffuse reflectance measurements.


title: Practical Parallel Algorithms for Near-Optimal Densest Subgraphs on Massive Graphs

abstract: The densest subgraph problem has received significant attention, both in theory and in practice, due to its applications in problems such as community detection, social network analysis, and spam detection. Due to the high cost of obtaining exact solutions, much attention has focused on designing approximate densest subgraph algorithms. However, existing approaches are not able to scale to massive graphs with billions of edges. In this paper, we introduce a new framework that combines approximate densest subgraph algorithms with a pruning optimization. We design new parallel variants of the state-of-the-art sequential Greedy++ algorithm, and plug it into our framework in conjunction with a parallel pruning technique based on $k$-core decomposition to obtain parallel $(1+\varepsilon)$-approximate densest subgraph algorithms. On a single thread, our algorithms achieve $2.6$--$34\times$ speedup over Greedy++, and obtain up to $22.37\times$ self relative parallel speedup on a 30-core machine with two-way hyper-threading. Compared with the state-of-the-art parallel algorithm by Harb et al. [NeurIPS'22], we achieve up to a $114\times$ speedup on the same machine. Finally, against the recent sequential algorithm of Xu et al. [PACMMOD'23], we achieve up to a $25.9\times$ speedup. The scalability of our algorithms enables us to obtain near-optimal density statistics on the hyperlink2012 (with roughly 113 billion edges) and clueweb (with roughly 37 billion edges) graphs for the first time in the literature.


title: Experimental decoy-state asymmetric measurement-device-independent quantum key distribution over a turbulent high-loss channel

abstract: Real-world BB84 Quantum Key Distribution (QKD) systems utilize imperfect devices that introduce vulnerabilities to their security, known as side-channel attacks. Measurement-Device-Independent (MDI) QKD authorizes an untrusted third party to make measurements and removes all side-channel attacks. The typical implementations of MDI-QKD employ near symmetric channels which are difficult to realize physically in many practical scenarios such as when asymmetric channel losses are present, normally a consequence of the communication environment. Maritime and satellite-based communications are two such instances in which the channels are characterized by continuously changing losses in different channels. In this work, we perform asymmetric MDI-QKD in a laboratory environment with simulated turbulence using an Acousto-Optic Modulator (AOM) to interrogate the performance of free-space quantum communication. Under turbulent conditions, scattering and beam wandering cause intensity fluctuations which decrease the detected signal-to-noise ratio. Using the 7-intensity optimization method proposed by Wang et al., coupled with Prefixed-Threshold Real-time Selection (P-RTS), we demonstrate enhancement in the secure key rate under turbulent conditions for finite-size decoy-state MDI QKD. Furthermore, we show that P-RTS can yield considerably higher secure key rates for a wide range of atmospheric channel parameters.


title: Sub-Sentence Encoder: Contrastive Learning of Propositional Semantic Representations

abstract: We introduce sub-sentence encoder, a contrastively-learned contextual embedding model for fine-grained semantic representation of text. In contrast to the standard practice with sentence embeddings, where the meaning of an entire sequence of text is encoded into a fixed-length vector, the sub-sentence encoder learns to produce distinct contextual embeddings corresponding to different atomic propositions, i.e. atomic units of meaning expressed within a text sequence. The sub-sentence embeddings are contrastively learned to recognize (inferred) semantic equivalence between propositions across different text sequences. Our experiments show the effectiveness of sub-sentence encoders in applications, such as retrieving supporting facts for fine-grained text attribution or recognizing the conditional semantic similarity between texts. In practice, we demonstrate that sub-sentence encoders keep the same level of inference cost and space complexity compared to sentence encoders.


title: Efficient Semantic Matching with Hypercolumn Correlation

abstract: Recent studies show that leveraging the match-wise relationships within the 4D correlation map yields significant improvements in establishing semantic correspondences - but at the cost of increased computation and latency. In this work, we focus on the aspect that the performance improvements of recent methods can also largely be attributed to the usage of multi-scale correlation maps, which hold various information ranging from low-level geometric cues to high-level semantic contexts. To this end, we propose HCCNet, an efficient yet effective semantic matching method which exploits the full potential of multi-scale correlation maps, while eschewing the reliance on expensive match-wise relationship mining on the 4D correlation map. Specifically, HCCNet performs feature slicing on the bottleneck features to yield a richer set of intermediate features, which are used to construct a hypercolumn correlation. HCCNet can consequently establish semantic correspondences in an effective manner by reducing the volume of conventional high-dimensional convolution or self-attention operations to efficient point-wise convolutions. HCCNet demonstrates state-of-the-art or competitive performances on the standard benchmarks of semantic matching, while incurring a notably lower latency and computation overhead compared to the existing SoTA methods.


title: Approximately Packing Dijoins via Nowhere-Zero Flows

abstract: In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut. Woodall conjectured in 1976 that in every digraph, the minimum size of a dicut is equal to the maximum number of disjoint dijoins. However, prior to our work, it was not even known whether at least $3$ disjoint dijoins exist in a digraph whose minimum dicut size is arbitrarily large. By building connections with nowhere-zero (circular) $k$-flows, we prove that every digraph with minimum dicut size $\tau$ contains $\frac{\tau}{k}$ disjoint dijoins if the underlying undirected graph admits a nowhere-zero (circular) $k$-flow. The existence of nowhere-zero $6$-flows in $2$-edge-connected graphs (Seymour 1981) directly leads to the existence of $\frac{\tau}{6}$ disjoint dijoins in any digraph with minimum dicut size $\tau$, which can be found in polynomial time as well. The existence of nowhere-zero circular $(2+\frac{1}{p})$-flows in $6p$-edge-connected graphs (Lov\'asz et al 2013) directly leads to the existence of $\frac{\tau p}{2p+1}$ disjoint dijoins in any digraph with minimum dicut size $\tau$ whose underlying undirected graph is $6p$-edge-connected.


title: Convex Methods for Constrained Linear Bandits

abstract: Recently, bandit optimization has received significant attention in real-world safety-critical systems that involve repeated interactions with humans. While there exist various algorithms with performance guarantees in the literature, practical implementation of the algorithms has not received as much attention. This work presents a comprehensive study on the computational aspects of safe bandit algorithms, specifically safe linear bandits, by introducing a framework that leverages convex programming tools to create computationally efficient policies. In particular, we first characterize the properties of the optimal policy for safe linear bandit problem and then propose an end-to-end pipeline of safe linear bandit algorithms that only involves solving convex problems. We also numerically evaluate the performance of our proposed methods.


title: InstrumentGen: Generating Sample-Based Musical Instruments From Text

abstract: We introduce the text-to-instrument task, which aims at generating sample-based musical instruments based on textual prompts. Accordingly, we propose InstrumentGen, a model that extends a text-prompted generative audio framework to condition on instrument family, source type, pitch (across an 88-key spectrum), velocity, and a joint text/audio embedding. Furthermore, we present a differentiable loss function to evaluate the intra-instrument timbral consistency of sample-based instruments. Our results establish a foundational text-to-instrument baseline, extending research in the domain of automatic sample-based instrument generation.


title: Hydrodynamics of Borromean Counterfluids

abstract: Counterflow superfluidity in a system with $N\geq 3$ components is distinctively different from the $N=2$ case. The key feature is the difference between the number ($N$) of elementary vortex excitations and the number ($N-1$) of independent branches of phonon modes, that is, the number of superfluid modes is larger than the number of ordered phase variables. We formulate a hydrodynamic theory of this state. We show how all the dynamical and statistical aspects of this (``Borromean") type of ordering are naturally described by effective $N$-component theory featuring compact-gauge invariance. We also discuss how off-diagonal intercomponent couplings convert the Borromean supercounterfluid into a Borromean insulator, with an emphasis on the properties of a non-trivial state with broken time-reversal symmetry.


title: Multi-mode microcavity frequency engineering through a shifted grating in a photonic crystal ring

abstract: Frequency engineering of whispering-gallery resonances is essential in microcavity nonlinear optics. The key is to control the frequencies of the cavity modes involved in the underlying nonlinear optical process to satisfy its energy conservation criterion. Compared to the conventional method that tailors dispersion by the cross-sectional geometry, thereby impacting all cavity mode frequencies, grating-assisted microring cavities, often termed as photonic crystal microrings, provide more enabling capabilities through mode-selective frequency control. For example, a simple single period grating added to a microring has been used for single-frequency engineering in Kerr optical parametric oscillation (OPO) and frequency combs. Recently, this approach has been extended to multi-frequency engineering by using multi-period grating functions, but at the cost of increasingly complex grating profiles that require challenging fabrication. Here, we demonstrate a simple approach, which we term as shifted grating multiple mode splitting (SGMMS), where spatial displacement of a single period grating imprinted on the inner boundary of the microring creates a rotational asymmetry that frequency splits multiple adjacent cavity modes. This approach is easy to implement and presents no additional fabrication challenges than an un-shifted grating, and yet is very powerful in providing multi-frequency engineering functionality for nonlinear optics. We showcase an example where SGMMS enables OPO generation across a wide range of pump wavelengths in a normal-dispersion device that otherwise would not support OPO.


title: Electrostatic microinstabilities and turbulence in Wendelstein 7-X close to the stability threshold

abstract: Electrostatic gyrokinetic instabilities and turbulence in the Wendelstein 7-X stellarator are studied. Particular attention is paid to the ion-temperature-gradient (ITG) instability and its character close to marginal stability (Floquet-type turbulence (Zocco et al. 2022)). The flux-tube version of the $\delta$f code stella (Barnes et al. 2019) is used to run linear and nonlinear gyrokinetic simulations with kinetic electrons. The nature of the dominant instability depends on the wavelength perpendicular to the magnetic field, and the results are conveniently displayed in stability diagrams that take this dependence into account. Close to the stability threshold, the linear eigenmodes and turbulence form highly extended structures along the computational domain if the magnetic shear is small. Numerical experiments and diagnostics are undertaken to assess the resulting radial localisation of the turbulence, which affects the interaction of the latter with zonal flows. Increasing the amplitude of the magnetic shear (e.g. through current drive) has a stabilising effect on the turbulence and thus reduces the nonlinear energy transport.


title: Soundbay: Deep Learning Framework for Marine Mammals and Bioacoustic Research

abstract: This paper presents Soundbay, an open-source Python framework that allows bio-acoustics and machine learning researchers to implement and utilize deep learning-based algorithms for acoustic audio analysis. Soundbay provides an easy and intuitive platform for applying existing models on one's data or creating new models effortlessly. One of the main advantages of the framework is the capability to compare baselines on different benchmarks, a crucial part of emerging research and development related to the usage of deep-learning algorithms for animal call analysis. We demonstrate this by providing a benchmark for cetacean call detection on multiple datasets. The framework is publicly accessible via https://github.com/deep-voice/soundbay


title: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development

abstract: Domain-specific standards and guidelines play a crucial role in regulating safety-critical systems, with one notable example being the DO-178C document for the aerospace industry. This document provides guidelines for organisations seeking to ensure the safety and certification of their software systems. This paper analyses the DO-178C document within the context of software development for safety-critical aerospace systems focusing on Agile software development, aiming to assess its feasibility. Unlike restricting specific development methods, DO-178C offers indispensable support that upholds confidence in safety, aligning seamlessly with the objectives of aerospace industries. Our analysis reveals that there are no limitations or restrictions within the DO-178C that inhibit the adoption of Agile and provides guidelines and objectives for achieving suitable evidence, allowing for various working methods, including Agile methods, contrary to the overall opinion in the industry that the traditional waterfall method is mandatory. Additionally, we emphasise that the guidelines explanation is explicitly tailored to software professionals using Agile methods, giving it a much more specific focus than publications that only provide a generic overview of the standard.


title: A Taxonomy of Rater Disagreements: Surveying Challenges & Opportunities from the Perspective of Annotating Online Toxicity

abstract: Toxicity is an increasingly common and severe issue in online spaces. Consequently, a rich line of machine learning research over the past decade has focused on computationally detecting and mitigating online toxicity. These efforts crucially rely on human-annotated datasets that identify toxic content of various kinds in social media texts. However, such annotations historically yield low inter-rater agreement, which was often dealt with by taking the majority vote or other such approaches to arrive at a single ground truth label. Recent research has pointed out the importance of accounting for the subjective nature of this task when building and utilizing these datasets, and this has triggered work on analyzing and better understanding rater disagreements, and how they could be effectively incorporated into the machine learning developmental pipeline. While these efforts are filling an important gap, there is a lack of a broader framework about the root causes of rater disagreement, and therefore, we situate this work within that broader landscape. In this survey paper, we analyze a broad set of literature on the reasons behind rater disagreements focusing on online toxicity, and propose a detailed taxonomy for the same. Further, we summarize and discuss the potential solutions targeting each reason for disagreement. We also discuss several open issues, which could promote the future development of online toxicity research.


title: SaFL: Sybil-aware Federated Learning with Application to Face Recognition

abstract: Federated Learning (FL) is a machine learning paradigm to conduct collaborative learning among clients on a joint model. The primary goal is to share clients' local training parameters with an integrating server while preserving their privacy. This method permits to exploit the potential of massive mobile users' data for the benefit of machine learning models' performance while keeping sensitive data on local devices. On the downside, FL raises security and privacy concerns that have just started to be studied. To address some of the key threats in FL, researchers have proposed to use secure aggregation methods (e.g. homomorphic encryption, secure multiparty computation, etc.). These solutions improve some security and privacy metrics, but at the same time bring about other serious threats such as poisoning attacks, backdoor attacks, and free running attacks. This paper proposes a new defense method against poisoning attacks in FL called SaFL (Sybil-aware Federated Learning) that minimizes the effect of sybils with a novel time-variant aggregation scheme.


title: A smooth version of Landaus explicit formula

abstract: We present a smooth version of Landaus explicit formula for the von Mangoldt arithmetical function. Assuming the validity of the Riemann hypothesis, we show that in order to determine whether a natural number is a prime number, it is sufficient to know the location of a number of non trivial zeros of the Riemann zeta function. Next we use Heisenbergs inequality to support the conjecture that this number of zeros cannot be essentially diminished


title: Evaluating the Effectiveness of Retrieval-Augmented Large Language Models in Scientific Document Reasoning

abstract: Despite the dramatic progress in Large Language Model (LLM) development, LLMs often provide seemingly plausible but not factual information, often referred to as hallucinations. Retrieval-augmented LLMs provide a non-parametric approach to solve these issues by retrieving relevant information from external data sources and augment the training process. These models help to trace evidence from an externally provided knowledge base allowing the model predictions to be better interpreted and verified. In this work, we critically evaluate these models in their ability to perform in scientific document reasoning tasks. To this end, we tuned multiple such model variants with science-focused instructions and evaluated them on a scientific document reasoning benchmark for the usefulness of the retrieved document passages. Our findings suggest that models justify predictions in science tasks with fabricated evidence and leveraging scientific corpus as pretraining data does not alleviate the risk of evidence fabrication.


title: Preimages Question for Surjective Endomorphisms on $(\mathbb{P}^1)^n$

abstract: Let $K$ be a number field and let $f : (\mathbb{P}^1)^n \to (\mathbb{P}^1)^n$ be a dominant endomorphism defined over $K$. We show that if $V$ is an $f$-invariant subvariety (that is, $f(V)=V$) then there is a positive integer $s_0$ such that $ (f^{-s-1}(V)\setminus f^{-s}(V))(K) = \emptyset$ for every integer $s \geq s_0$, answering the Preimages Question of Matsuzawa, Meng, Shibata, and Zhang in the case of $(\mathbb{P}^1)^n$.


title: Device Sampling and Resource Optimization for Federated Learning in Cooperative Edge Networks

abstract: The conventional federated learning (FedL) architecture distributes machine learning (ML) across worker devices by having them train local models that are periodically aggregated by a server. FedL ignores two important characteristics of contemporary wireless networks, however: (i) the network may contain heterogeneous communication/computation resources, and (ii) there may be significant overlaps in devices' local data distributions. In this work, we develop a novel optimization methodology that jointly accounts for these factors via intelligent device sampling complemented by device-to-device (D2D) offloading. Our optimization methodology aims to select the best combination of sampled nodes and data offloading configuration to maximize FedL training accuracy while minimizing data processing and D2D communication resource consumption subject to realistic constraints on the network topology and device capabilities. Theoretical analysis of the D2D offloading subproblem leads to new FedL convergence bounds and an efficient sequential convex optimizer. Using these results, we develop a sampling methodology based on graph convolutional networks (GCNs) which learns the relationship between network attributes, sampled nodes, and D2D data offloading to maximize FedL accuracy. Through evaluation on popular datasets and real-world network measurements from our edge testbed, we find that our methodology outperforms popular device sampling methodologies from literature in terms of ML model performance, data processing overhead, and energy consumption.


title: A Deep Learning Approach to Video Anomaly Detection using Convolutional Autoencoders

abstract: In this research we propose a deep learning approach for detecting anomalies in videos using convolutional autoencoder and decoder neural networks on the UCSD dataset.Our method utilizes a convolutional autoencoder to learn the spatiotemporal patterns of normal videos and then compares each frame of a test video to this learned representation. We evaluated our approach on the UCSD dataset and achieved an overall accuracy of 99.35% on the Ped1 dataset and 99.77% on the Ped2 dataset, demonstrating the effectiveness of our method for detecting anomalies in surveillance videos. The results show that our method outperforms other state-of-the-art methods, and it can be used in real-world applications for video anomaly detection.


title: Eccentricity dynamics of wide binaries -- II. The effect of stellar encounters and constraints on formation channels

abstract: GAIA wide stellar binaries (semimajor axes $\gtrsim 10^3\,\mathrm{AU}$) have a superthermal eccentricity distribution function (DF), well-fit by $P(e) \propto e^\alpha$ with $\alpha \sim 1.2$. In Paper I, we proved that this DF cannot have been produced by Galactic tidal torques starting from any realistic DF that was not already superthermal. Here, we consider the other major dynamical effect on wide binaries: encounters with passing stars. We derive and solve the Fokker-Planck equation governing the evolution of binaries in semimajor axis and eccentricity under many weak, impulsive, penetrative stellar encounters. We show analytically that these encounters drive the eccentricity DF towards thermal on the same timescale as they drive the semimajor axes $a$ towards ionization, $t_\mathrm{ion} \sim 4\,\mathrm{Gyr}\,(a/10^4\,\mathrm{AU})^{-1}$. We conclude that the observed superthermal DF must derive from an even more superthermal (i.e. higher $\alpha$) birth distribution. This requirement rules out the possibility that most wide binaries are formed via e.g. the dissolution of stellar clusters, and instead favors a turbulent fragmentation scenario. A testable prediction of our theory is that $\alpha$ should be a monotonically decreasing function of binary age.


title: The automorphisms of certain Kummer surfaces act on the points mod $p$ by the alternating group

abstract: For the family of Kummer surfaces of the square of an elliptic curve over the prime field $\mathbb{F}_p$ with $p$ odd, we show that if the automorphism group acts transitively on the set of points then the action is at least alternating. This is analogous to a result of Meiri, Puder, and Chen arXiv:1702.08358 on the points mod $p$ of the Markoff surface.


title: Uncovering Intermediate Variables in Transformers using Circuit Probing

abstract: Neural network models have achieved high performance on a wide variety of complex tasks, but the algorithms that they implement are notoriously difficult to interpret. In order to understand these algorithms, it is often necessary to hypothesize intermediate variables involved in the network's computation. For example, does a language model depend on particular syntactic properties when generating a sentence? However, existing analysis tools make it difficult to test hypotheses of this type. We propose a new analysis technique -- circuit probing -- that automatically uncovers low-level circuits that compute hypothesized intermediate variables. This enables causal analysis through targeted ablation at the level of model parameters. We apply this method to models trained on simple arithmetic tasks, demonstrating its effectiveness at (1) deciphering the algorithms that models have learned, (2) revealing modular structure within a model, and (3) tracking the development of circuits over training. We compare circuit probing to other methods across these three experiments, and find it on par or more effective than existing analysis methods. Finally, we demonstrate circuit probing on a real-world use case, uncovering circuits that are responsible for subject-verb agreement and reflexive anaphora in GPT2-Small and Medium.


title: The effect of Skyrme--Chern-Simons dynamics on gauged Skyrmions in $2+1$ dimensions

abstract: We study the Skyrmion of the $SO(2)$ gauged $O(3)$ sigma model in $2+1$ dimensions in the presence of a Skyrme--Chern-Simons (SCS) term, and compare its properties with the corresponding properties of the Skyrmion in the presence of the usual Chern-Simons (CS) term. We find that these properties are qualitatively largely similar in both cases, meaning that the SCS density can be employed as an alternative to the CS term also in higher dimensions, most importantly in even dimensions where no CS term is defined, $e.g.,$ in $3+1$ dimensions. The SCS density employed here is defined in terms of the pair of $SO(2)\times SO(2)$ gauge fields and an auxiliary $O(5)$ Skyrme scalar, which is contracted to an effective $O(3)$ Skyrme scalar. Technically, this study maps the methods to be applied in higher dimensional examples.


title: Multiarc and curve graphs are hierarchically hyperbolic

abstract: A multiarc and curve graph is a simplicial graph whose vertices are arc and curve systems on a compact, connected, orientable surface S. We show that all connected, non-trivial multiarc and curve graphs preserved by the natural action of PMod(S) and whose adjacent vertices have bounded geometric intersection number are hierarchically hyperbolic spaces with respect to witness subsurface projection. This result extends work of Kate Vokes on twist-free multicurve graphs and confirms two conjectures of Saul Schleimer in a broad setting. In addition, we prove that the PMod(S)-equivariant quasi-isometry type of such a graph is uniquely classified by its set of connected witness subsurfaces.


title: Combining Compositional Data Sets Introduces Error in Covariance Network Reconstruction

abstract: Microbial communities are diverse biological systems that include taxa from across multiple kingdoms of life. Notably, interactions between bacteria and fungi play a significant role in determining community structure. However, these statistical associations across kingdoms are more difficult to infer than intra-kingdom associations due to the nature of the data involved using standard network inference techniques. We quantify the challenges of cross-kingdom network inference from both a theoretical and practical viewpoint using synthetic and real-world microbiome data. We detail the theoretical issue presented by combining compositional data sets drawn from the same environment, e.g. 16S and ITS sequencing of a single set of samples, and survey common network inference techniques for their ability to handle this error. We then test these techniques for the accuracy and usefulness of their intra- and inter-kingdom associations by inferring networks from a set of simulated samples for which a ground-truth set of associations is known. We show that while two methods mitigate the error of cross-kingdom inference, there is little difference between techniques for key practical applications including identification of strong correlations and identification of possible keystone taxa (i.e. hub nodes in the network). Furthermore, we identify a signature of the error caused transkingdom network inference and demonstrate that it appears in networks constructed using real-world environmental microbiome data.


title: Machine learning of a density functional for anisotropic patchy particles

abstract: Anisotropic patchy particles have become an archetypical statistical model system for associating fluids. Here we formulate an approach to the Kern-Frenkel model via classical density functional theory to describe the positionally and orientationally resolved equilibrium density distributions in flat wall geometries. The density functional is split into a reference part for the orientationally averaged density and an orientational part in mean-field approximation. To bring the orientational part into a kernel form suitable for machine learning techniques, an expansion into orientational invariants and the proper incorporation of single-particle symmetries is formulated. The mean-field kernel is constructed via machine learning on the basis of hard wall simulation data. Results are compared to the well-known random-phase approximation which strongly underestimates the orientational correlations close to the wall. Successes and shortcomings of the mean-field treatment of the orientational part are highlighted and perspectives are given for attaining a full density functional via machine learning.


title: Flexibly Estimating and Interpreting Heterogeneous Treatment Effects of Laparoscopic Surgery for Cholecystitis Patients

abstract: Laparoscopic surgery has been shown through a number of randomized trials to be an effective form of treatment for cholecystitis. Given this evidence, one natural question for clinical practice is: does the effectiveness of laparoscopic surgery vary among patients? It might be the case that, while the overall effect is positive, some patients treated with laparoscopic surgery may respond positively to the intervention while others do not or may be harmed. In our study, we focus on conditional average treatment effects to understand whether treatment effects vary systematically with patient characteristics. Recent methodological work has developed a meta-learner framework for flexible estimation of conditional causal effects. In this framework, nonparametric estimation methods can be used to avoid bias from model misspecification while preserving statistical efficiency. In addition, researchers can flexibly and effectively explore whether treatment effects vary with a large number of possible effect modifiers. However, these methods have certain limitations. For example, conducting inference can be challenging if black-box models are used. Further, interpreting and visualizing the effect estimates can be difficult when there are multi-valued effect modifiers. In this paper, we develop new methods that allow for interpretable results and inference from the meta-learner framework for heterogeneous treatment effects estimation. We also demonstrate methods that allow for an exploratory analysis to identify possible effect modifiers. We apply our methods to a large database for the use of laparoscopic surgery in treating cholecystitis. We also conduct a series of simulation studies to understand the relative performance of the methods we develop. Our study provides key guidelines for the interpretation of conditional causal effects from the meta-learner framework.


title: Normal form of bimeromorphically contractible holomorphic Lagrangian submanifolds

abstract: Let $M$ be a holomorphically symplectic complex manifold, not necessarily compact or quasiprojective, and $X \subset M$ a compact Lagrangian submanifold. We construct a deformation to the normal cone, showing that a neighbourhood of $X$ can be deformed to its neighbourhood in $T^*X$. This is used to study Lagrangian submanifolds which can be bimeromorphically contracted to a point. We prove that such submanifolds are biholomorphic to $CP^n$, and show that a certain neighbourhood of $X$ is symplectically biholomorphic to a neighbourhood of the zero section of its cotangent bundle. This gives a holomorphic version of the Weinstein's normal neighbourhood theorem.


title: \textsc{DeFault}: Deep-learning-based Fault Delineation

abstract: The carbon capture, utilization, and storage (CCUS) framework is an essential component in reducing greenhouse gas emissions, with its success hinging on the comprehensive knowledge of subsurface geology and geomechanics. Passive seismic event relocation and fault detection serve as indispensable tools, offering vital insights into subsurface structures and fluid migration pathways. Accurate identification and localization of seismic events, however, face significant challenges, including the necessity for high-quality seismic data and advanced computational methods. To address these challenges, we introduce a novel deep learning method, DeFault, specifically designed for passive seismic source relocation and fault delineating for passive seismic monitoring projects. By leveraging data domain-adaptation, DeFault allows us to train a neural network with labeled synthetic data and apply it directly to field data. Using DeFault, the passive seismic sources are automatically clustered based on their recording time and spatial locations, and subsequently, faults and fractures are delineated accordingly. We demonstrate the efficacy of DeFault on a field case study involving CO2 injection related microseismic data from the Decatur, Illinois area. Our approach accurately and efficiently relocated passive seismic events, identified faults and aided in the prevention of potential geological hazards. Our results highlight the potential of DeFault as a valuable tool for passive seismic monitoring, emphasizing its role in ensuring CCUS project safety. This research bolsters the understanding of subsurface characterization in CCUS, illustrating machine learning's capacity to refine these methods. Ultimately, our work bear significant implications for CCUS technology deployment, an essential strategy in combating climate change.


title: Fast and forward stable randomized algorithms for linear least-squares problems

abstract: Iterative sketching and sketch-and-precondition are randomized algorithms used for solving overdetermined linear least-squares problems. When implemented in exact arithmetic, these algorithms produce high-accuracy solutions to least-squares problems faster than standard direct methods based on QR factorization. Recently, Meier, Nakatsukasa, Townsend, and Webb demonstrated numerical instabilities in a version of sketch-and-precondition in floating point arithmetic (arXiv:2302.07202). The work of Meier et al. raises the question: Is there a randomized least-squares solver that is both fast and stable? This paper resolves this question in the affirmative by proving that iterative sketching, appropriately implemented, is forward stable. Numerical experiments confirm the theoretical findings, demonstrating that iterative sketching is stable and faster than QR-based solvers for large problem instances.


title: Gluing Dynamics: $\varepsilon$-Precision in Solving a Non-Archimedean Inverse Problem

abstract: This research proposes a new method for approximating the solution of the inverse problem of finding a rational function that generates known local dynamics within distinct, disjoint closed balls in non-Archimedean fields. Although our approach is not directly influenced by Runge's theorem for approximating analytic maps in complex settings, it shares similarities by adapting these ideas to the non-Archimedean context. We aim to connect local dynamic behaviors, similar to dynamic surgery, without using quasiconformal but rational mappings. Our main theorem and corollaries present an algorithmic technique to construct a rational function, denoted as \(F_\varepsilon\), that synthesizes specified local dynamics with an \(\varepsilon\)-precision parameter globally.


title: Syntax-Guided Transformers: Elevating Compositional Generalization and Grounding in Multimodal Environments

abstract: Compositional generalization, the ability of intelligent models to extrapolate understanding of components to novel compositions, is a fundamental yet challenging facet in AI research, especially within multimodal environments. In this work, we address this challenge by exploiting the syntactic structure of language to boost compositional generalization. This paper elevates the importance of syntactic grounding, particularly through attention masking techniques derived from text input parsing. We introduce and evaluate the merits of using syntactic information in the multimodal grounding problem. Our results on grounded compositional generalization underscore the positive impact of dependency parsing across diverse tasks when utilized with Weight Sharing across the Transformer encoder. The results push the state-of-the-art in multimodal grounding and parameter-efficient modeling and provide insights for future research.


title: Formation of wide-orbit giant planets in protoplanetary disks with a decreasing pebble flux

abstract: The presence of distant protoplanets may explain the observed gaps in the dust emission of protoplanetary disks. Here, we derive a novel analytical model to describe the temporal decay of the pebble flux through a protoplanetary disk as the result of radial drift. This has allowed us to investigate the growth and migration of distant protoplanets throughout the lifespan of the disk. We find that Moon-mass protoplanets that formed early on can grow to their pebble isolation mass, between approximately $20$ and $80\,M_{\oplus}$, within less than $1\,\mathrm{Myr,}$ in the $20$ to $80\,\mathrm{AU}$ region around solar-like stars. The subsequent fast migration in the early stages of gas accretion, after pebble accretion ends, transports these giant planets into their final orbits at $<\,$$10\,\mathrm{AU}$. However, our pebble decay model allows us to include a new pathway that may trigger the transition from pebble accretion to gas accretion after the pebble flux has decayed substantially. With this pebble decay pathway, we show that it is also possible to form gas giants beyond $10\,\mathrm{AU}$. The occurrence of these wide-orbit gas giants should be relatively low, since their core must attain sufficient mass to accrete gas before the pebble flux decays, while avoiding excessive migration. Since these gas giants do not reach the pebble isolation mass, their heavy element content is typically less than $10\,M_{\oplus}$. Our results imply that the observed gaps in protoplanetary disks could be caused by distant protoplanets that reached the pebble isolation mass and then migrated, while gas giants in wide orbits, such as PDS 70 b and c, accreted their gas after the decay in the pebble flux.


title: Exploring K-Riesz and K-g-Riesz bases in the context of Hilbert pro-C*-modules

abstract: In the present research, we embark on a comprehensive inquiry into K-Riesz bases and K-g Riesz bases as they manifest within pro-C*-Hilbert modules. Adopting a unique approach, we interpret the structure of K-Riesz bases through the lens of a bounded below operator, complemented by the prototypical orthonormal basis of the Hilbert module X. In parallel, our investigation elucidates nuanced traits and pioneering perspectives of K-g-Riesz bases, steered by a bounded surjective operator and a corresponding g-orthonormal basis for X. As a culmination of our efforts, we present an enriched understanding of the dynamic interactions between K-Riesz bases and K-g-Riesz bases in this mathematical context.


title: A new realization of quantum algebras in gauge theory and Ramification in the Langlands program

abstract: We realize the fundamental representations of quantum algebras via the supersymmetric Higgs mechanism in gauge theories with 8 supercharges on an $\Omega$-background. We test our proposal for quantum affine algebras, by probing the Higgs phase of a 5d quiver gauge theory on a circle. We show that our construction implies the existence of tame ramification in the Aganagic-Frenkel-Okounkov formulation of the geometric Langlands program, a correspondence which identifies $q$-conformal blocks of the quantum affine algebra with those of a Langlands dual deformed ${\cal W}$-algebra. The new feature of ramified blocks is their definition in terms of Drinfeld polynomials for a set of quantum affine weights. In enumerative geometry, the blocks are vertex functions counting quasimaps to quiver varieties describing moduli spaces of vortices. Physically, the vortices admit a description as a 3d ${\cal N}=2$ quiver gauge theory on the Higgs branch of the 5d gauge theory, uniquely determined from the Drinfeld polynomial data; the blocks are supersymmetric indices for the vortex theory supported on a 3-manifold with distinguished BPS boundary conditions. The top-down explanation of our results is found in the 6d $(2,0)$ little string theory, where tame ramification is provided by certain D-branes. When the string mass is taken to be large, we make contact with various physical aspects of the point particle superconformal limit: the Gukov-Witten description of ramification via monodromy defects in 4d Super Yang-Mills (and their S-duality), the Nekrasov-Tsymbaliuk solution to the Knizhnik-Zamolodchikov equations, and the classification of massive deformations of tamely ramified Hitchin systems. In a companion paper, we will show that our construction implies a solution to the local Alday-Gaiotto-Tachikawa conjecture.


title: Evaluating multiple large language models in pediatric ophthalmology

abstract: IMPORTANCE The response effectiveness of different large language models (LLMs) and various individuals, including medical students, graduate students, and practicing physicians, in pediatric ophthalmology consultations, has not been clearly established yet. OBJECTIVE Design a 100-question exam based on pediatric ophthalmology to evaluate the performance of LLMs in highly specialized scenarios and compare them with the performance of medical students and physicians at different levels. DESIGN, SETTING, AND PARTICIPANTS This survey study assessed three LLMs, namely ChatGPT (GPT-3.5), GPT-4, and PaLM2, were assessed alongside three human cohorts: medical students, postgraduate students, and attending physicians, in their ability to answer questions related to pediatric ophthalmology. It was conducted by administering questionnaires in the form of test papers through the LLM network interface, with the valuable participation of volunteers. MAIN OUTCOMES AND MEASURES Mean scores of LLM and humans on 100 multiple-choice questions, as well as the answer stability, correlation, and response confidence of each LLM. RESULTS GPT-4 performed comparably to attending physicians, while ChatGPT (GPT-3.5) and PaLM2 outperformed medical students but slightly trailed behind postgraduate students. Furthermore, GPT-4 exhibited greater stability and confidence when responding to inquiries compared to ChatGPT (GPT-3.5) and PaLM2. CONCLUSIONS AND RELEVANCE Our results underscore the potential for LLMs to provide medical assistance in pediatric ophthalmology and suggest significant capacity to guide the education of medical students.