title: Fast and Interpretable Mortality Risk Scores for Critical Care Patients

abstract: Prediction of mortality in intensive care unit (ICU) patients is an important task in critical care medicine. Prior work in creating mortality risk models falls into two major categories: domain-expert-created scoring systems, and black box machine learning (ML) models. Both of these have disadvantages: black box models are unacceptable for use in hospitals, whereas manual creation of models (including hand-tuning of logistic regression parameters) relies on humans to perform high-dimensional constrained optimization, which leads to a loss in performance. In this work, we bridge the gap between accurate black box models and hand-tuned interpretable models. We build on modern interpretable ML techniques to design accurate and interpretable mortality risk scores. We leverage the largest existing public ICU monitoring datasets, namely the MIMIC III and eICU datasets. By evaluating risk across medical centers, we are able to study generalization across domains. In order to customize our risk score models, we develop a new algorithm, GroupFasterRisk, which has several important benefits: (1) it uses hard sparsity constraint, allowing users to directly control the number of features; (2) it incorporates group sparsity to allow more cohesive models; (3) it allows for monotonicity correction on models for including domain knowledge; (4) it produces many equally-good models at once, which allows domain experts to choose among them. GroupFasterRisk creates its risk scores within hours, even on the large datasets we study here. GroupFasterRisk's risk scores perform better than risk scores currently used in hospitals, and have similar prediction performance to black box ML models (despite being much sparser). Because GroupFasterRisk produces a variety of risk scores and handles constraints, it allows design flexibility, which is the key enabler of practical and trustworthy model creation.


title: Image-Based Soil Organic Carbon Remote Sensing from Satellite Images with Fourier Neural Operator and Structural Similarity

abstract: Soil organic carbon (SOC) sequestration is the transfer and storage of atmospheric carbon dioxide in soils, which plays an important role in climate change mitigation. SOC concentration can be improved by proper land use, thus it is beneficial if SOC can be estimated at a regional or global scale. As multispectral satellite data can provide SOC-related information such as vegetation and soil properties at a global scale, estimation of SOC through satellite data has been explored as an alternative to manual soil sampling. Although existing studies show promising results, they are mainly based on pixel-based approaches with traditional machine learning methods, and convolutional neural networks (CNNs) are uncommon. To study the use of CNNs on SOC remote sensing, here we propose the FNO-DenseNet based on the Fourier neural operator (FNO). By combining the advantages of the FNO and DenseNet, the FNO-DenseNet outperformed the FNO in our experiments with hundreds of times fewer parameters. The FNO-DenseNet also outperformed a pixel-based random forest by 18% in the mean absolute percentage error.


title: W-kernel and essential subspace for frequentist evaluation of Bayesian estimators

abstract: The posterior covariance matrix W defined by the log-likelihood of each observation plays important roles both in the sensitivity analysis and frequentist evaluation of the Bayesian estimators. This study is focused on the matrix W and its principal space; we term the latter as an essential subspace. Projections to the essential subspace realize dimensional reduction in the sensitivity analysis and frequentist evaluation. A key tool for treating frequentist properties is the recently proposed Bayesian infinitesimal jackknife approximation(Giordano and Broderick (2023)). The matrix W can be interpreted as a reproducing kernel and is denoted as W-kernel. Using W-kernel, the essential subspace is expressed as a principal space given by the kernel principal component analysis. A relation to the Fisher kernel and neural tangent kernel is established, which elucidates the connection to the classical asymptotic theory. We also discuss a type of Bayesian-frequentist duality, naturally appeared from the kernel framework. Two applications are discussed: the selection of a representative set of observations and dimensional reduction in the approximate bootstrap. In the former, incomplete Cholesky decomposition is introduced as an efficient method for computing the essential subspace. In the latter, different implementations of the approximate bootstrap for posterior means are compared.


title: GeoLocator: a location-integrated large multimodal model for inferring geo-privacy

abstract: Geographic privacy or geo-privacy refers to the keeping private of one's geographic location, especially the restriction of geographical data maintained by personal electronic devices. Geo-privacy is a crucial aspect of personal security; however, it often goes unnoticed in daily activities. With the surge in the use of Large Multimodal Models (LMMs), such as GPT-4, for Open Source Intelligence (OSINT), the potential risks associated with geo-privacy breaches have intensified. This study develops a location-integrated GPT-4 based model named GeoLocator and designs four-dimensional experiments to demonstrate its capability in inferring the locational information of input imageries and/or social media contents. Our experiments reveal that GeoLocator generates specific geographic details with high accuracy and consequently embeds the risk of the model users exposing geospatial information to the public unintentionally, highlighting the thread of online data sharing, information gathering technologies and LLMs on geo-privacy. We conclude with the broader implications of GeoLocator and our findings for individuals and the community at large, by emphasizing the urgency for enhanced awareness and protective measures against geo-privacy leakage in the era of advanced AI and widespread social media usage.


title: Unveiling the cosmic dawn and epoch of reionization using cosmic 21-cm signal

abstract: The cosmological 21-cm signal from neutral hydrogen, which is considered as a promising tool, is being used to observe and study the cosmic dawn (CD) and epoch of reionization (EoR). A significant part of this thesis focuses on the semi-analytical modeling of the global HI 21-cm signal from CD considering several physical processes. Further, it investigates the nature of galaxies that dominate during CD and EoR using current available observations. In our work, we study the redshift evolution of the primordial magnetic field (PMF) during the dark ages and cosmic dawn, and prospects of constraining it in light of EDGES 21-cm signal in the `colder IGM' background. We find that the IGM heating rate due to the PMF enhances compared to the standard scenario. However, PMF is an unlikely candidate for explaining the rise of the EDGES absorption signal at lower redshift. We further consider, in detail, the heating of the IGM owing to cosmic ray protons generated by the supernovae from both early Pop~III and Pop~II stars. We show that the EDGES signal can be well fitted by the cosmic ray heating along with the Lyman-$\alpha$ coupling and the dark matter-baryon interaction. We, further, explore the conditions by which the EDGES detection is consistent with current reionization and post-reionization observations. By coupling a physically motivated source model derived from radiative transfer hydrodynamic simulations of reionization to a MCMC sampler, we find that high contribution from low-mass halos along with high photon escape fractions are required to simultaneously reproduce the existing constraints. With the extreme effort in building more advanced and sophisticated telescopes, the future 21-cm signal detection would be able to provide better constraints on the amplitude of PMF and the efficiencies on cosmic ray protons, and consequently on early star formation rates.


title: Understanding the Effect of Chiral NN Parametrization on Nuclear Shapes From an Ab Initio Perspective

abstract: The ab initio symmetry-adapted no-core shell model naturally describes nuclear deformation and collectivity, and is therefore well-suited to studying the dynamics and coexistence of shapes in atomic nuclei. For the first time, we analyze how these features in low-lying states of 6Li and 12C are impacted by the underlying realistic nucleon-nucleon interaction. We find that the interaction parametrization has a notable but limited effect on collective shapes in the lowest 6Li and 12C states, while collective structures in the excited 2+ state of 12C are significantly more sensitive to the interaction parameters and exhibits emergent shape coexistence.


title: A Study of Human-Robot Handover through Human-Human Object Transfer

abstract: In this preliminary study, we investigate changes in handover behaviour when transferring hazardous objects with the help of a high-resolution touch sensor. Participants were asked to hand over a safe and hazardous object (a full cup and an empty cup) while instrumented with a modified STS sensor. Our data shows a clear distinction in the length of handover for the full cup vs the empty one, with the former being slower. Sensor data further suggests a change in tactile behaviour dependent on the object's risk factor. The results of this paper motivate a deeper study of tactile factors which could characterize a risky handover, allowing for safer human-robot interactions in the future.


title: Unsupervised Multimodal Surface Registration with Geometric Deep Learning

abstract: This paper introduces GeoMorph, a novel geometric deep-learning framework designed for image registration of cortical surfaces. The registration process consists of two main steps. First, independent feature extraction is performed on each input surface using graph convolutions, generating low-dimensional feature representations that capture important cortical surface characteristics. Subsequently, features are registered in a deep-discrete manner to optimize the overlap of common structures across surfaces by learning displacements of a set of control points. To ensure smooth and biologically plausible deformations, we implement regularization through a deep conditional random field implemented with a recurrent neural network. Experimental results demonstrate that GeoMorph surpasses existing deep-learning methods by achieving improved alignment with smoother deformations. Furthermore, GeoMorph exhibits competitive performance compared to classical frameworks. Such versatility and robustness suggest strong potential for various neuroscience applications.


title: Modeling of Energy Distributions in Pseudo-Rest Frame Analyses of Two-Body Decays with Missing Particles

abstract: In this study, we introduce a parametric function designed to describe the energy distribution of the observed particle within the framework of two-body decays involving one undetected particle, analyzed using the pseudo-rest frame approximation. While we illustrate its effectiveness through the specific case study of the Lepton Flavor Violating decay $\tau \rightarrow l+\alpha$, this parametric function is broadly applicable to a wide range of pseudo-rest frame method-related searches involving undetected particles. Remarkably, it requires only a single simulation to account for the smearing effects resulting from the pseudo-rest frame approximation. The uniqueness of this function lies in its dependency on the mass of the undetected particle, enabling continuous exploration of the mass parameter space. We validate the performance of our parametric function using simulated datasets and find that it exhibits comparable performance to traditional simulation-based methods. Notably, our approach offers the distinct advantage of accommodating any mass value for the undetected particle without the need for multiple simulations.


title: Multi-trap optical tweezers based on Kinoform Silver Mean lenses

abstract: In this paper, we present the design and implementation of multi-trap optical tweezers based on new quadrifocal kinoform lenses. The phase distribution of these diffractive lenses is characterized by the Silver Mean sequence. The focusing properties of the resulting aperiodic DOEs coined Kinoform Silver Mean Lenses (KSMLs) are numerically examined. It is shown that, under monochromatic illumination, a KSML drives most of the incoming light into four single foci whose focal lengths are related to the Silver ratio. In this way, a KSML improves the diffraction efficiency of binary Fresnel Silver Mean Zone Plates. Through experimental results, the simultaneous trapping of particles in the four focal planes and their three-dimensional manipulation is demonstrated.


title: Deformation Dynamics of Nanopores upon Water Imbibition

abstract: Capillarity-driven transport in nanoporous solids is ubiquitous in nature and is of increasing importance for the functionality of modern liquid-infused engineering materials. During imbibition, highly curved menisci are driven by negative Laplace pressures of several hundred atmospheres, exerting an enormous contractile load on an increasing portion of the porous matrix. Due to the challenge of simultaneously monitoring imbibition and deformation with high spatial resolution, the resulting coupling of solid elasticity to liquid capillarity has remained largely unexplored. Here, we study water imbibition in mesoporous silica using optical imaging, gravimetry, and high-resolution dilatometry. In contrast to an expected Laplace pressure-induced contraction, we find a square-root-of-time expansion and an additional abrupt length increase when the menisci reach the top surface. The final expansion is absent when we stop the imbibition front inside the porous medium in a dynamic imbibition-evaporation equilibrium, as is typical for water transport and transpiration in plants. These peculiar deformation behaviors are validated by single-nanopore molecular dynamics simulations and described by a continuum model that highlights the importance of expansive surface stresses at the pore walls (Bangham effect) and the buildup or release of contractile Laplace pressures as nanoscale menisci collectively advance, arrest, or disappear. Our model predicts that these observations are valid not only for water imbibition in silica, but for any imbibition process in nanopores, regardless of the liquid/solid combination. This also suggests that simple deformation measurements can be used to quantify surface stresses and Laplace pressures or transport in a wide variety of natural and artificial porous media.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.flu-dyn


title: Deformation types of Looijenga pairs of small length

abstract: Following the work already done by E. Looijenga and others, we provide an analysis of the deformation types of Looijenga (or anticanonical) pairs $(Y,D)$, where the anticanonical divisor $D$ is made of $n$ irreducible components and $6\leq n \leq9$. In doing so we also give a description of their toric models.


title: Numerical modelling of bulk viscosity in neutron stars

abstract: The early post-merger phase of a binary neutron-star coalescence is shaped by characteristic rotational velocities as well as violent density oscillations and offers the possibility to constrain the properties of neutron star matter by observing the gravitational wave emission. One possibility to do so is the investigation of gravitational wave damping through the bulk viscosity which originates from violations of weak chemical equilibrium. Motivated by these prospects, we present a comprehensive report about the implementation of the self-consistent and second-order formulation of the equations of relativistic hydrodynamics for dissipative fluids proposed by M\"uller, Israel and Stewart. Furthermore, we report on the results of two test problems, namely the viscous damping of linear density oscillations of isolated nonrotating neutron stars and the viscous migration test, both of which confirm our implementation and can be used for future code tests. Finally, we present fully general-relativistic simulations of viscous binary neutron-star mergers. We explore the structural and thermal properties of binary neutron-star mergers with a constant bulk viscosity prescription and investigate the impact of bulk viscosity on dynamical mass ejection. We find that inverse Reynolds numbers of order $\sim 1\%$ can be achieved for the highest employed viscosity thereby suppressing the dynamically ejected mass by a factor of $\sim 5$ compared to the inviscid case.


title: DMLR: Data-centric Machine Learning Research -- Past, Present and Future

abstract: Drawing from discussions at the inaugural DMLR workshop at ICML 2023 and meetings prior, in this report we outline the relevance of community engagement and infrastructure development for the creation of next-generation public datasets that will advance machine learning science. We chart a path forward as a collective effort to sustain the creation and maintenance of these datasets and methods towards positive scientific, societal and business impact.


title: Systematic word meta-sense extension

abstract: The meaning of polysemous words often varies in a highly productive yet predictable way. Generalizing the regularity between conventional senses to derive novel word meaning is crucial for automated processing of non-literal language uses such as figurative expressions. We introduce a novel task called systematic word meta-sense extension (SWORME) to test and improve language models' ability to extend word meaning to denote new semantic domains (also called meta-senses) that bear regular semantic relations with existing senses. We found that language models prefer incremental lexical semantic change toward conceptually similar meta-senses such as logical metonymy, and are much worse at predicting highly non-literal meaning extensions such as metaphors. We propose a novel analogy-based method of word meaning extension, and show that it effectively improves language model systematicity in making both gradual and radical types of meta-sense extension. We further demonstrate that learning systematic meta-sense extensions benefits language models on multiple benchmarks of figurative language understanding.


title: Analytic Langlands correspondence for $\operatorname{PGL}_2(\mathbb{C})$ on a genus one curve with parabolic structures

abstract: Analytic Langlands correspondence was proposed by Etingof, Frenkel and Kazhdan. On one side of this correspondence there are certain operators on $L^2(\operatorname{Bun}_G)$, called Hecke operators, where $\operatorname{Bun}_G$ is the variety of stable $G$-bundles on $X$ and $L^2(\operatorname{Bun}_G)$ is a Hilbert space of square-integrable half-densities. The compactness conjecture says that Hecke operators are bounded and, moreover, compact. In arXiv:2106.05243 Etingof, Frenkel and Kazhdan prove this and other conjectures in the case of $G=\operatorname{PGL}_2$ and $X=\mathbb{P}^1$ with parabolic structures. We investigate the case of $G=\operatorname{PGL}_2$ and genus one curve over complex numbers with parabolic structures. We obtain an explicit formula for Hecke operators and prove the compactness conjecture in this case.


title: Anisotropic Optical Conductivity Accompanied by a Small Energy Gap in One-Dimensional Thermoelectric Telluride Ta4SiTe4

abstract: We investigated the optical properties of single crystals of one-dimensional telluride Ta4SiTe4, which shows high thermoelectric performance below room temperature. Optical conductivity estimated from reflectivity spectra indicates the presence of a small energy gap of 0.1-0.15 eV at the Fermi energy. At the lowest energy, optical conductivity along the Ta4SiTe4 chain is an order of magnitude higher than that perpendicular to this direction, reflecting the anisotropic electron conduction in Ta4SiTe4. These results indicate that coexistence of a very small band gap and anisotropic electron conduction is a promising strategy to develop a high-performance thermoelectric material for low temperature applications.


title: Accessing new physics with an undoped, cryogenic CsI CEvNS detector for COHERENT at the SNS

abstract: We consider the potential for a 10-kg undoped cryogenic CsI detector operating at the Spallation Neutron Source to measure coherent elastic neutrino-nucleus scattering and its sensitivity to discover new physics beyond the standard model. Through a combination of increased event rate, lower threshold, and good timing resolution, such a detector would significantly improve on past measurements. We considered tests of several beyond-the-standard-model scenarios such as neutrino non-standard interactions and accelerator-produced dark matter. This detector's performance was also studied for relevant questions in nuclear physics and neutrino astronomy, namely the weak charge distribution of CsI nuclei and detection of neutrinos from a core-collapse supernova.


title: Efficient Computation of Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models

abstract: A popular way to approximate the Koopman operator's action on a finite-dimensional subspace of functions is via orthogonal projections. The quality of the projected model directly depends on the selected subspace, specifically on how close it is to being invariant under the Koopman operator. The notion of invariance proximity provides a tight upper bound on the worst-case relative prediction error of the finite-dimensional model. However, its direct calculation is computationally challenging. This paper leverages the geometric structure behind the definition of invariance proximity to provide a closed-form expression in terms of Jordan principal angles on general inner product spaces. Unveiling this connection allows us to exploit specific isomorphisms to circumvent the computational challenges associated with spaces of functions and enables the use of existing efficient numerical routines to compute invariance proximity.


title: Soft random simplicial complexes

abstract: A soft random graph $G(n,r,p)$ can be obtained from the random geometric graph $G(n,r)$ by keeping every edge in $G(n,r)$ with probability $p$. This random graph is a particular case of the soft random graph model introduced by Penrose, in which the probability between 2 vertices is a function that depends on the distance between them. In this article, we define models for random simplicial complexes built over the soft random graph $G(n,r,p)$, which also present randomness in all other dimensions. Furthermore, we study the homology of those random simplicial complexes in different regimes of $n,r$, and $p$ by giving asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes.


title: Real-Time Distributed Infrastructure-free Searching and Target Tracking via Virtual Pheromones

abstract: Actively searching for targets using a multi-agent system in an unknown environment poses a two-pronged problem, where on the one hand we need agents to cover as much of the environment as possible with little overlap and on the other hand the agents must coordinate among themselves to select and track targets thereby maximizing detection performance. This paper proposes a fully distributed solution for an ad hoc network of agents to cooperatively search for targets and monitor them in an unknown infrastructure-free environment. The solution combines a distributed pheromone-based coverage control strategy with a distributed target selection mechanism. We further expand the scope to show the implementation of the proposed algorithm on a Lighter Than Air (LTA) multi-robotic system that can search and track objects in priori unknown locations.


title: Favour: FAst Variance Operator for Uncertainty Rating

abstract: Bayesian Neural Networks (BNN) have emerged as a crucial approach for interpreting ML predictions. By sampling from the posterior distribution, data scientists may estimate the uncertainty of an inference. Unfortunately many inference samples are often needed, the overhead of which greatly hinder BNN's wide adoption. To mitigate this, previous work proposed propagating the first and second moments of the posterior directly through the network. However, on its own this method is even slower than sampling, so the propagated variance needs to be approximated such as assuming independence between neural nodes. The resulting trade-off between quality and inference time did not match even plain Monte Carlo sampling. Our contribution is a more principled variance propagation framework based on "spiked covariance matrices", which smoothly interpolates between quality and inference time. This is made possible by a new fast algorithm for updating a diagonal-plus-low-rank matrix approximation under various operations. We tested our algorithm against sampling based MC Dropout and Variational Inference on a number of downstream uncertainty themed tasks, such as calibration and out-of-distribution testing. We find that Favour is as fast as performing 2-3 inference samples, while matching the performance of 10-100 samples. In summary, this work enables the use of BNN in the realm of performance critical tasks where they have previously been out of reach.


title: Strong Gravity Extruding Peaks in Speed of Sound Profiles of Massive Neutron Stars

abstract: The speed of sound squared (SSS) $s^2$ in massive neutron stars (NSs) characterizes not only the stiffness of supradense neutron-rich matter within but also equivalently properties of the curved geometry due to the strong-field gravity and matter-geometry coupling. A peaked density or radius profile of $s^2$ has been predicted for massive NSs using various NS Equation of State (EOS) models. However, the nature, cause, location and size of the peak in $s^2$ profiles are still very EOS model dependent. In this work, we investigate systematically $s^2$ profiles in massive NSs in a new approach that is independent of the nuclear EOS model and without any presumption about the NS structure and/or composition. In terms of the small quantities (reduced radius, the energy density and pressure scaled by their central values), we perform double-element perturbative expansions in solving perturbatively the scaled Tolman--Oppenheimer--Volkoff (TOV) equations and analyzing $s^2$ profiles from the Newtonian limit to the general relativistic (GR) case. The GR term in the TOV equations plays a twofold role: it compresses NS matter and modifies the pressure/energy density ratio from small values in Newtonian stars showing no $s^2$ peak to large ones for massive NSs possessing a peak in their $s^2$ profiles, and eventually takes away the peak in extremely compact/massive NSs approaching the causality limit. {In particular, the peaked behavior in $s^2$ is expected to emerge near the center of massive NSs like PSR J0740+6620, while a sharp phase transition is unlikely to occur there.} These features revealed from our analyses are universal as they are intrinsic properties of the GR stellar structure equations independent of the still very uncertain EOS of supradense neutron-rich matter in NSs.

categories: nucl-th astro-ph.HE astro-ph.SR gr-qc nucl-ex


title: Synaptic Sampling of Neural Networks

abstract: Probabilistic artificial neural networks offer intriguing prospects for enabling the uncertainty of artificial intelligence methods to be described explicitly in their function; however, the development of techniques that quantify uncertainty by well-understood methods such as Monte Carlo sampling has been limited by the high costs of stochastic sampling on deterministic computing hardware. Emerging computing systems that are amenable to hardware-level probabilistic computing, such as those that leverage stochastic devices, may make probabilistic neural networks more feasible in the not-too-distant future. This paper describes the scANN technique -- \textit{sampling (by coinflips) artificial neural networks} -- which enables neural networks to be sampled directly by treating the weights as Bernoulli coin flips. This method is natively well suited for probabilistic computing techniques that focus on tunable stochastic devices, nearly matches fully deterministic performance while also describing the uncertainty of correct and incorrect neural network outputs.


title: Note on an extended chiral bosons system contextualized in a modified gauge-unfixing formalism

abstract: We analyze the Hamiltonian structure of an extended chiral bosons theory in which the self-dual constraint is introduced via a control $\alpha$-parameter. The system has two second-class constraints in the non-critical regime and an additional one in the critical regime. We use a modified gauge unfixing formalism to derive a first-class system, disclosing hidden symmetries. To this end, we choose one of the second-class constraints to build a corresponding gauge symmetry generator. The worked out procedure converts second-class variables into first-class ones allowing the lifting of gauge symmetry. Any function of these GU variables will also be invariant. We obtain the GU Hamiltonian and Lagrangian densities in a generalized context containing the Srivastava and Floreanini-Jackiw models as particular cases. Additionally, we observe that the resulting GU Lagrangian presents similarities to the Siegel invariant Lagrangian which is known to be suitable for describing chiral bosons theory with classical gauge invariance, however broken at quantum level. The final results signal a possible equivalence between our invariant Lagrangian obtained from the modified GU formalism and the Siegel invariant Lagrangian, with a distinct gauge symmetry.


title: The Penrose Tiling is a Quantum Error-Correcting Code

abstract: The Penrose tiling (PT) is an intrinsically non-periodic way of tiling the plane, with many remarkable properties. A quantum error-correcting code (QECC) is a clever way of protecting quantum information from noise, by encoding the information with a sophisticated type of redundancy. Although PTs and QECCs might seem completely unrelated, in this paper we point out that PTs give rise to (or, in a sense, are) a remarkable new type of QECC. In this code, quantum information is encoded through quantum geometry, and any local errors or erasures in any finite region, no matter how large, may be diagnosed and corrected. We also construct variants of this code (based on the Ammann-Beenker and Fibonacci tilings) that can live on finite spatial tori, in discrete spin systems, or in an arbitrary number of spatial dimensions. We discuss connections to quantum computing, condensed matter physics, and quantum gravity.

categories: quant-ph cond-mat.mtrl-sci hep-th math-ph math.MG math.MP


title: Fast Adaptive Optics for High-Dimensional Quantum Communications in Turbulent Channels

abstract: Quantum Key Distribution (QKD) promises a provably secure method to transmit information from one party to another. Free-space QKD allows for this information to be sent over great distances and in places where fibre-based communications cannot be implemented, such as ground-satellite. The primary limiting factor for free-space links is the effect of atmospheric turbulence, which can result in significant error rates and increased losses in QKD channels. Here, we employ the use of a high-speed Adaptive Optics (AO) system to make real-time corrections to the wavefront distortions on spatial modes that are used for high-dimensional QKD in our turbulent channel. First, we demonstrate the effectiveness of the AO system in improving the coupling efficiency of a Gaussian mode that has propagated through turbulence. Through process tomography, we show that our system is capable of significantly reducing the crosstalk of spatial modes in the channel. Finally, we show that employing AO reduces the quantum dit error rate for a high-dimensional orbital angular momentum-based QKD protocol, allowing for secure communication in a channel where it would otherwise be impossible. These results are promising for establishing long-distance free-space QKD systems.


title: Insights into star formation and dispersal from the synchronisation of stellar clocks

abstract: Age is one of the most fundamental parameters of stars, yet it is one of the hardest to determine as it requires modelling various aspects of stellar formation and evolution. When we compare the ages derived from isochronal and dynamical traceback methods for six young stellar associations, we find a systematic discrepancy. Specifically, dynamical traceback ages are consistently younger by an average of $\langle\Delta_{\rm Age}\rangle = 5.5 \pm 1.1$ Myr. We rule out measurement errors as the cause of the age mismatch and propose that $\Delta_{\rm Age}$ indicates the time a young star remains bound to its parental cloud before moving away from its siblings. In this framework, the dynamical traceback "clock" starts when a stellar cluster or association begins to expand after expelling most of the gas, while the isochronal "clock" starts earlier when most stars form. The difference between these two age-dating techniques is a powerful tool to constraint evolutionary models, as isochronal ages cannot be younger than dynamical traceback ages. Measuring the $\Delta_{\rm Age}$ accurately and understanding its variations across different environments will provide further information on the impact of local conditions and stellar feedback on the formation and dispersal of stellar clusters.


title: FedCPC: An Effective Federated Contrastive Learning Method for Privacy Preserving Early-Stage Alzheimer's Speech Detection

abstract: The early-stage Alzheimer's disease (AD) detection has been considered an important field of medical studies. Like traditional machine learning methods, speech-based automatic detection also suffers from data privacy risks because the data of specific patients are exclusive to each medical institution. A common practice is to use federated learning to protect the patients' data privacy. However, its distributed learning process also causes performance reduction. To alleviate this problem while protecting user privacy, we propose a federated contrastive pre-training (FedCPC) performed before federated training for AD speech detection, which can learn a better representation from raw data and enables different clients to share data in the pre-training and training stages. Experimental results demonstrate that the proposed methods can achieve satisfactory performance while preserving data privacy.


title: Transferred Thin Film Lithium Niobate as Millimeter Wave Acoustic Filter Platforms

abstract: This paper reports the first high-performance acoustic filters toward millimeter wave (mmWave) bands using transferred single-crystal thin film lithium niobate (LiNbO3). By transferring LiNbO3 on the top of silicon (Si) and sapphire (Al2O3) substrates with an intermediate amorphous Si (aSi) bonding and sacrificial layer, we demonstrate compact acoustic filters with record-breaking performance beyond 20 GHz. In the LN-aSi-Al2O3 platform, the third-order ladder filter exhibits low insertion loss (IL) of 1.62 dB and 3-dB fractional bandwidth (FBW) of 19.8% at 22.1 GHz, while in the LN-aSi-Si platform, the filter shows low IL of 2.38 dB and FBW of 18.2% at 23.5 GHz. Material analysis validates the great crystalline quality of the stacks. The high-resolution x-ray diffraction (HRXRD) shows full width half maximum (FWHM) of 53 arcsec for Al2O3 and 206 arcsec for Si, both remarkably low compared to piezoelectric thin films of similar thickness. The reported results bring the state-of-the-art (SoA) of compact acoustic filters to much higher frequencies, and highlight transferred LiNbO3 as promising platforms for mmWave filters in future wireless front ends.


title: Camera-Independent Single Image Depth Estimation from Defocus Blur

abstract: Monocular depth estimation is an important step in many downstream tasks in machine vision. We address the topic of estimating monocular depth from defocus blur which can yield more accurate results than the semantic based depth estimation methods. The existing monocular depth from defocus techniques are sensitive to the particular camera that the images are taken from. We show how several camera-related parameters affect the defocus blur using optical physics equations and how they make the defocus blur depend on these parameters. The simple correction procedure we propose can alleviate this problem which does not require any retraining of the original model. We created a synthetic dataset which can be used to test the camera independent performance of depth from defocus blur models. We evaluate our model on both synthetic and real datasets (DDFF12 and NYU depth V2) obtained with different cameras and show that our methods are significantly more robust to the changes of cameras. Code: https://github.com/sleekEagle/defocus_camind.git


title: Do we listen to what we are told? An empirical study on human behaviour during the COVID-19 pandemic: neural networks vs. regression analysis

abstract: In this work, we contribute the first visual open-source empirical study on human behaviour during the COVID-19 pandemic, in order to investigate how compliant a general population is to mask-wearing-related public-health policy. Object-detection-based convolutional neural networks, regression analysis and multilayer perceptrons are combined to analyse visual data of the Viennese public during 2020. We find that mask-wearing-related government regulations and public-transport announcements encouraged correct mask-wearing-behaviours during the COVID-19 pandemic. Importantly, changes in announcement and regulation contents led to heterogeneous effects on people's behaviour. Comparing the predictive power of regression analysis and neural networks, we demonstrate that the latter produces more accurate predictions of population reactions during the COVID-19 pandemic. Our use of regression modelling also allows us to unearth possible causal pathways underlying societal behaviour. Since our findings highlight the importance of appropriate communication contents, our results will facilitate more effective non-pharmaceutical interventions to be developed in future. Adding to the literature, we demonstrate that regression modelling and neural networks are not mutually exclusive but instead complement each other.


title: On the Largest Prime factor of the k-generalized Lucas numbers

abstract: Let $(L_n^{(k)})_{n\geq 2-k}$ be the sequence of $k$--generalized Lucas numbers for some fixed integer $k\ge 2$ whose first $k$ terms are $0,\ldots,0,2,1$ and each term afterwards is the sum of the preceding $k$ terms. For an integer $m$, let $P(m)$ denote the largest prime factor of $m$, with $P(0)=P(\pm 1)=1$. We show that if $n \ge k + 1$, then $P (L_n^{(k)} ) > (1/86) \log \log n$. Furthermore, we determine all the $k$--generalized Lucas numbers $L_n^{(k)}$ whose largest prime factor is at most $ 7$.


title: Weighted composite likelihood for linear mixed models in complex samples

abstract: Fitting mixed models to complex survey data is a challenging problem. Most methods in the literature, including the most widely used one, require a close relationship between the model structure and the survey design. In this paper we present methods for fitting arbitrary mixed models to data from arbitrary survey designs. We support this with an implementation that allows for multilevel linear models and multistage designs without any assumptions about nesting of model and design, and that also allows for correlation structures such as those resulting from genetic relatedness. The estimation and inference approach uses weighted pairwise (composite) likelihood.


title: Fourier pseudospectral methods for the spatial variable-order fractional wave equations

abstract: In this paper, we propose Fourier pseudospectral methods to solve the variable-order space fractional wave equation and develop an accelerated matrix-free approach for its effective implementation. In constant-order cases, our methods can be efficiently implemented via the (inverse) fast Fourier transforms, and the computational cost at each time step is ${\mathcal O}(N\log N)$ with $N$ the total number of spatial points. However, this fast algorithm fails in the variable-order cases due to the spatial dependence of the Fourier multiplier. On the other hand, the direct matrix-vector multiplication approach becomes impractical due to excessive memory requirements. To address this challenge, we proposed an accelerated matrix-free approach for the efficient computation of variable-order cases. The computational cost is ${\mathcal O}(MN\log N)$ and storage cost ${\mathcal O}(MN)$, where $M \ll N$. Moreover, our method can be easily parallelized to further enhance its efficiency. Numerical studies show that our methods are effective in solving the variable-order space fractional wave equations, especially in high-dimensional cases. Wave propagation in heterogeneous media is studied in comparison to homogeneous counterparts. We find that wave dynamics in fractional cases become more intricate due to nonlocal interactions. Specifically, dynamics in heterogeneous media are more complex than those in homogeneous media.


title: Multi-fidelity Bayesian Optimization in Engineering Design

abstract: Resided at the intersection of multi-fidelity optimization (MFO) and Bayesian optimization (BO), MF BO has found a niche in solving expensive engineering design optimization problems, thanks to its advantages in incorporating physical and mathematical understandings of the problems, saving resources, addressing exploitation-exploration trade-off, considering uncertainty, and processing parallel computing. The increasing number of works dedicated to MF BO suggests the need for a comprehensive review of this advanced optimization technique. In this paper, we survey recent developments of two essential ingredients of MF BO: Gaussian process (GP) based MF surrogates and acquisition functions. We first categorize the existing MF modeling methods and MFO strategies to locate MF BO in a large family of surrogate-based optimization and MFO algorithms. We then exploit the common properties shared between the methods from each ingredient of MF BO to describe important GP-based MF surrogate models and review various acquisition functions. By doing so, we expect to provide a structured understanding of MF BO. Finally, we attempt to reveal important aspects that require further research for applications of MF BO in solving intricate yet important design optimization problems, including constrained optimization, high-dimensional optimization, optimization under uncertainty, and multi-objective optimization.


title: Latent Lab: Large Language Models for Knowledge Exploration

abstract: This paper investigates the potential of AI models, particularly large language models (LLMs), to support knowledge exploration and augment human creativity during ideation. We present "Latent Lab" an interactive tool for discovering connections among MIT Media Lab research projects, emphasizing "exploration" over search. The work offers insights into collaborative AI systems by addressing the challenges of organizing, searching, and synthesizing content. In a user study, the tool's success was evaluated based on its ability to introduce users to an unfamiliar knowledge base, ultimately setting the groundwork for the ongoing advancement of human-AI knowledge exploration systems.


title: Novel OCT mosaicking pipeline with Feature- and Pixel-based registration

abstract: High-resolution Optical Coherence Tomography (OCT) images are crucial for ophthalmology studies but are limited by their relatively narrow field of view (FoV). Image mosaicking is a technique for aligning multiple overlapping images to obtain a larger FoV. Current mosaicking pipelines often struggle with substantial noise and considerable displacement between the input sub-fields. In this paper, we propose a versatile pipeline for stitching multi-view OCT/OCTA \textit{en face} projection images. Our method combines the strengths of learning-based feature matching and robust pixel-based registration to align multiple images effectively. Furthermore, we advance the application of a trained foundational model, Segment Anything Model (SAM), to validate mosaicking results in an unsupervised manner. The efficacy of our pipeline is validated using an in-house dataset and a large public dataset, where our method shows superior performance in terms of both accuracy and computational efficiency. We also made our evaluation tool for image mosaicking and the corresponding pipeline publicly available at \url{https://github.com/MedICL-VU/OCT-mosaicking}.


title: Beyond Text: Unveiling Multimodal Proficiency of Large Language Models with MultiAPI Benchmark

abstract: The proliferation of Large Language Models like ChatGPT has significantly advanced language understanding and generation, impacting a broad spectrum of applications. However, these models predominantly excel in text-based tasks, overlooking the complexity of real-world multimodal information. This study introduces MultiAPI, a pioneering comprehensive large-scale API benchmark dataset aimed at expanding LLMs' proficiency in multimodal contexts. Developed collaboratively through ChatGPT, MultiAPI consists of 235 diverse API calls and 2,038 contextual prompts, offering a unique platform evaluation of tool-augmented LLMs handling multimodal tasks. Through comprehensive experiments, our findings reveal that while LLMs demonstrate proficiency in API call decision-making, they face challenges in domain identification, function selection, and argument generation. What's more, we surprisingly notice that auxiliary context can actually impair the performance. An in-depth error analysis paves the way for a new paradigm to address these challenges, suggesting a potential direction for future LLM research.


title: Tomographic Imaging of the Sagittarius Spiral Arm's Magnetic Field Structure

abstract: The Galactic global magnetic field is thought to play a vital role in shaping Galactic structures such as spiral arms and giant molecular clouds. However, our knowledge of magnetic field structures in the Galactic plane at different distances is limited, as measurements used to map the magnetic field are the integrated effect along the line of sight. In this study, we present the first-ever tomographic imaging of magnetic field structures in a Galactic spiral arm. Using optical stellar polarimetry over a $17' \times 10'$ field of view, we probe the Sagittarius spiral arm. Combining these data with stellar distances from the $Gaia$ mission, we can isolate the contributions of five individual clouds along the line of sight by analyzing the polarimetry data as a function of distance. The observed clouds include a foreground cloud ($d < 200$ pc) and four clouds in the Sagittarius arm at 1.23 kpc, 1.47 kpc, 1.63 kpc, and 2.23 kpc. The column densities of these clouds range from 0.5 to $2.8 \times 10^{21}~\mathrm{cm}^{-2}$. The magnetic fields associated with each cloud show smooth spatial distributions within their observed regions on scales smaller than 10 pc and display distinct orientations. The position angles projected on the plane-of-sky, measured from the Galactic north to east, for the clouds in increasing order of distance are $135^\circ$, $46^\circ$, $58^\circ$, $150^\circ$, and $40^\circ$, with uncertainties of a few degrees. Notably, these position angles deviate significantly from the direction parallel to the Galactic plane.


title: All $3$-transitive groups satisfy the strict-EKR property

abstract: A subset $S$ of a transitive permutation group $G \leq \mathrm{Sym}(n)$ is said to be an intersecting set if, for every $g_{1},g_{2}\in S$, there is an $i \in [n]$ such that $g_{1}(i)=g_{2}(i)$. The stabilizer of a point in $[n]$ and its cosets are intersecting sets of size $|G|/n$. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if $G$ is a $2$-transitive group, then $|G|/n$ is the size of an intersecting set of maximum size in $G$. In some $2$-transitive groups (for instance $\mathrm{Sym}(n)$, $\mathrm{Alt}(n)$), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in $3$-transitive groups. A conjecture by Meagher and Spiga states that all $3$-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the $3$-transitive group $\mathrm{PGL}(2,q)$. Using the classification of $3$-transitive groups and some results in literature, the conjecture reduces to showing that the $3$-transitive group $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property. We show that $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga's conjecture. We also prove a stronger result for $\mathrm{AGL}(n,2)$ by showing that "large" intersecting sets in $\mathrm{AGL}(n,2)$ must be a subset of a canonical intersecting set. This phenomenon is called stability.


title: Composite Adaptive Lyapunov-Based Deep Neural Network (Lb-DNN) Controller

abstract: Recent advancements in adaptive control have equipped deep neural network (DNN)-based controllers with Lyapunov-based adaptation laws that work across a range of DNN architectures to uniquely enable online learning. However, the adaptation laws are based on tracking error, and offer convergence guarantees on only the tracking error without providing conclusions on the parameter estimation performance. Motivated to provide guarantees on the DNN parameter estimation performance, this paper provides the first result on composite adaptation for adaptive Lyapunov-based DNN controllers, which uses the Jacobian of the DNN and a prediction error of the dynamics that is computed using a novel method involving an observer of the dynamics. A Lyapunov-based stability analysis is performed which guarantees the tracking, observer, and parameter estimation errors are uniformly ultimately bounded (UUB), with stronger performance guarantees when the DNN's Jacobian satisfies the persistence of excitation (PE) condition. Comparative simulation results demonstrate a significant performance improvement with the developed composite adaptive Lb-DNN controller in comparison to the tracking error-based Lb-DNN.


title: The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization

abstract: The use of Large Language Models (LLMs) for writing has sparked controversy both among readers and writers. On one hand, writers are concerned that LLMs will deprive them of agency and ownership, and readers are concerned about spending their time on text generated by soulless machines. On the other hand, AI-assistance can improve writing as long as writers can conform to publisher policies, and as long as readers can be assured that a text has been verified by a human. We argue that a system that captures the provenance of interaction with an LLM can help writers retain their agency, conform to policies, and communicate their use of AI to publishers and readers transparently. Thus we propose HaLLMark, a tool for visualizing the writer's interaction with the LLM. We evaluated HaLLMark with 13 creative writers, and found that it helped them retain a sense of control and ownership of the text.


title: Self-Supervised Music Source Separation Using Vector-Quantized Source Category Estimates

abstract: Music source separation is focused on extracting distinct sonic elements from composite tracks. Historically, many methods have been grounded in supervised learning, necessitating labeled data, which is occasionally constrained in its diversity. More recent methods have delved into N-shot techniques that utilize one or more audio samples to aid in the separation. However, a challenge with some of these methods is the necessity for an audio query during inference, making them less suited for genres with varied timbres and effects. This paper offers a proof-of-concept for a self-supervised music source separation system that eliminates the need for audio queries at inference time. In the training phase, while it adopts a query-based approach, we introduce a modification by substituting the continuous embedding of query audios with Vector Quantized (VQ) representations. Trained end-to-end with up to N classes as determined by the VQ's codebook size, the model seeks to effectively categorise instrument classes. During inference, the input is partitioned into N sources, with some potentially left unutilized based on the mix's instrument makeup. This methodology suggests an alternative avenue for considering source separation across diverse music genres. We provide examples and additional results online.


title: A note on estimating the dimension from a random geometric graph

abstract: Let $G_n$ be a random geometric graph with vertex set $[n]$ based on $n$ i.i.d.\ random vectors $X_1,\ldots,X_n$ drawn from an unknown density $f$ on $\R^d$. An edge $(i,j)$ is present when $\|X_i -X_j\| \le r_n$, for a given threshold $r_n$ possibly depending upon $n$, where $\| \cdot \|$ denotes Euclidean distance. We study the problem of estimating the dimension $d$ of the underlying space when we have access to the adjacency matrix of the graph but do not know $r_n$ or the vectors $X_i$. The main result of the paper is that there exists an estimator of $d$ that converges to $d$ in probability as $n \to \infty$ for all densities with $\int f^5 < \infty$ whenever $n^{3/2} r_n^d \to \infty$ and $r_n = o(1)$. The conditions allow very sparse graphs since when $n^{3/2} r_n^d \to 0$, the graph contains isolated edges only, with high probability. We also show that, without any condition on the density, a consistent estimator of $d$ exists when $n r_n^d \to \infty$ and $r_n = o(1)$.


title: Training Deep 3D Convolutional Neural Networks to Extract BSM Physics Parameters Directly from HEP Data: a Proof-of-Concept Study Using Monte Carlo Simulations

abstract: We report on a novel application of computer vision techniques to extract beyond the Standard Model (BSM) parameters directly from high energy physics (HEP) flavor data. We develop a method of transforming angular and kinematic distributions into "quasi-images" that can be used to train a convolutional neural network to perform regression tasks, similar to fitting. This contrasts with the usual classification functions performed using ML/AI in HEP. As a proof-of-concept, we train a 34-layer Residual Neural Network to regress on these images and determine the Wilson Coefficient $C_{9}$ in MC (Monte Carlo) simulations of $B \rightarrow K^{*}\mu^{+}\mu^{-}$ decays. The technique described here can be generalized and may find applicability across various HEP experiments and elsewhere.


title: Attribution and Alignment: Effects of Local Context Repetition on Utterance Production and Comprehension in Dialogue

abstract: Language models are often used as the backbone of modern dialogue systems. These models are pre-trained on large amounts of written fluent language. Repetition is typically penalised when evaluating language model generations. However, it is a key component of dialogue. Humans use local and partner specific repetitions; these are preferred by human users and lead to more successful communication in dialogue. In this study, we evaluate (a) whether language models produce human-like levels of repetition in dialogue, and (b) what are the processing mechanisms related to lexical re-use they use during comprehension. We believe that such joint analysis of model production and comprehension behaviour can inform the development of cognitively inspired dialogue generation systems.


title: A dark siren measurement of the Hubble constant with the LIGO/Virgo gravitational wave event GW190412 and DESI galaxies

abstract: We present a measurement of the Hubble Constant $H_0$ using the gravitational wave event GW190412, an asymmetric binary black hole merger detected by LIGO/Virgo, as a dark standard siren. This event does not have an electromagnetic counterpart, so we use the statistical standard siren method and marginalize over potential host galaxies from the Dark Energy Spectroscopic Instrument (DESI) survey. GW190412 is well-localized to 12 deg$^2$ (90% credible interval), so it is promising for a dark siren analysis. The dark siren value for $H_0=85.4_{-33.9}^{+29.1}$ km/s/Mpc, with a posterior shape that is consistent with redshift overdensities. When combined with the bright standard siren measurement from GW170817 we recover $H_0=77.96_{-5.03}^{+23.0}$ km/s/Mpc, consistent with both early and late-time Universe measurements of $H_0$. This work represents the first standard siren analysis performed with DESI data, and includes the most complete spectroscopic sample used in a dark siren analysis to date.


title: From Classification to Clinical Insights: Towards Analyzing and Reasoning About Mobile and Behavioral Health Data With Large Language Models

abstract: Passively collected behavioral health data from ubiquitous sensors holds significant promise to provide mental health professionals insights from patient's daily lives; however, developing analysis tools to use this data in clinical practice requires addressing challenges of generalization across devices and weak or ambiguous correlations between the measured signals and an individual's mental health. To address these challenges, we take a novel approach that leverages large language models (LLMs) to synthesize clinically useful insights from multi-sensor data. We develop chain of thought prompting methods that use LLMs to generate reasoning about how trends in data such as step count and sleep relate to conditions like depression and anxiety. We first demonstrate binary depression classification with LLMs achieving accuracies of 61.1% which exceed the state of the art. While it is not robust for clinical use, this leads us to our key finding: even more impactful and valued than classification is a new human-AI collaboration approach in which clinician experts interactively query these tools and combine their domain expertise and context about the patient with AI generated reasoning to support clinical decision-making. We find models like GPT-4 correctly reference numerical data 75% of the time, and clinician participants express strong interest in using this approach to interpret self-tracking data.


title: Voltage Control of Electromagnetic Properties in Antiferromagnetic Materials

abstract: Dynamic modulation of electromagnetic responses is theoretically examined in dielectric antiferromagnets. While both magneto-electric and magneto-elastic coupling can achieve robust electrical control of magnetic anisotropy, the latter is considered in a bilayer structure with a piezoelectric material. Numerical calculations based on the frequency-dependent permeability tensor clearly illustrate that the anisotropy profile in the typical uniaxial or biaxial antiferromagnets such as NiO and Cr2O3 can be modified sufficiently to induce a shift in the resonance frequency by as much as tens of percent in the sub-mm wavelength range (thus, an electrically tunable bandwidth over 10's of GHz). The polarization of the electromagnetic response is also affected due to the anisotropic nature of the effect, offering a possibility to encode the signal. The intrinsic delay in switching may be minimized to the ns level by using a sufficiently thin antiferromagnets. Application to specific devices such as a band-pass filter further illustrates the validity of the concept.


title: On-Demand Quantum Light Sources for Underwater Communications

abstract: Quantum communication has been at the forefront of modern research for decades, however it is severely hampered in underwater applications, where the properties of water absorb nearly all useful optical wavelengths and prevent them from propagating more than, in most cases, a few metres. This research reports on-demand quantum light sources, suitable for underwater optical communication. The single photon emitters, which can be engineered using an electron beam, are based on impurities in hexagonal boron nitride. They have a zero phonon line at ~ 436 nm, near the minimum value of water absorption and are shown to suffer negligible transmission and purity loss when travelling through water channels. These emitters are also shown to possess exceptional underwater transmission properties compared to emitters at other optical wavelengths and are utilised in a proof of principle underwater communication link with rates of several kbits/s.


title: Gaussian-basis many-body theory calculations of positron binding to negative ions and atoms

abstract: Positron binding energies in the negative ions H$^-$, F$^-$, Cl$^-$ and Br$^-$, and the closed-shell atoms Be, Mg, Zn and Ca, are calculated via a many-body theory approach developed by the authors [J.~Hofierka \emph{et al.} Nature~{\bf 608}, 688-693 (2022)]. Specifically, the Dyson equation is solved using a Gaussian basis, with the positron self energy constructed from three infinite classes of diagrams that account for the strong positron-atom correlations that characterise the system including the positron-induced polarization of the electron cloud, screening of the electron-positron Coulomb interaction, virtual-positronium formation and electron-hole and positron-hole interactions. For the negative ions, binding occurs at the static level of theory, and the correlations are found to enhance the binding energies by $\sim$25--50\%, yielding results in good agreement with ($\lesssim$5\% larger than) calculations from a number of distinct methods. For the atoms, for which binding is enabled exclusively by correlations, most notably virtual-Ps formation, the binding energies are found to be of similar order to (but $\sim$10--30\% larger than) relativistic coupled-cluster calculations of [C. Harabati, V.~A.~Dzuba and V.~V. Flambaum, Phys.~Rev.~A {\bf 89}, 022517 (2014)], both of which are systematically larger than stochastic variational calculations of [M.~Bromley and J.~Mitroy, Phys.~Rev.~A {\bf 73} (2005); J.~Mitroy, J.~At.~Mol.~Sci.~{\bf 1}, 275 (2010)].

categories: physics.atom-ph physics.chem-ph physics.comp-ph quant-ph


title: Semi-infinite flags and Zastava spaces

abstract: We give an interpretation of the semi-infinite intersection cohomology sheaf associated to a semisimple simply-connected algebraic group in terms of finite-dimensional geometry. Specifically, we describe a procedure for building factorization spaces over moduli spaces of finite subsets of a curve from factorization spaces over moduli spaces of divisors, and show that under this procedure the compactified Zastava space is sent to the support of the semi-infinite IC sheaf in the factorizable Grassmannian. We define "semi-infinite t-structures" for a large class of schemes with an action of the multiplicative group, and show that, for the Zastava, the limit of these t-structure recovers the infinite-dimensional version. As an application, we also construct factorizable parabolic semi-infinite IC sheaves and a generalization (of the principal case) to Kac-Moody algebras.


title: Magnetic field dependence of the neutral pion longitudinal screening mass in the linear sigma model with quarks

abstract: We use the linear sigma model with quarks to study the magnetic-field-induced modifications on the longitudinal screening mass for the neutral pion at one-loop level. The effects of the magnetic field are introduced into the self-energy, which contains the contributions from all the model particles. We find that, to obtain a reasonable description for the behavior with the field strength, we need to account for the magnetic field dependence of the particle masses. We also find that the couplings need to decrease fast enough with the field strength to then reach constant and smaller values as compared to their vacuum ones. The results illustrate the need to treat the magnetic corrections to the particle masses and couplings in a self-consistent manner, accounting for the backreaction of the field effects for the magnetic field dependence of the rest of the particle species and couplings in the model.


title: FuseNet: Self-Supervised Dual-Path Network for Medical Image Segmentation

abstract: Semantic segmentation, a crucial task in computer vision, often relies on labor-intensive and costly annotated datasets for training. In response to this challenge, we introduce FuseNet, a dual-stream framework for self-supervised semantic segmentation that eliminates the need for manual annotation. FuseNet leverages the shared semantic dependencies between the original and augmented images to create a clustering space, effectively assigning pixels to semantically related clusters, and ultimately generating the segmentation map. Additionally, FuseNet incorporates a cross-modal fusion technique that extends the principles of CLIP by replacing textual data with augmented images. This approach enables the model to learn complex visual representations, enhancing robustness against variations similar to CLIP's text invariance. To further improve edge alignment and spatial consistency between neighboring pixels, we introduce an edge refinement loss. This loss function considers edge information to enhance spatial coherence, facilitating the grouping of nearby pixels with similar visual features. Extensive experiments on skin lesion and lung segmentation datasets demonstrate the effectiveness of our method. \href{https://github.com/xmindflow/FuseNet}{Codebase.}


title: Congruence modules in higher codimension and zeta lines in Galois cohomology

abstract: This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the construction of canonical lines in certain Galois cohomology groups arising from adjoint motives of Hilbert modular forms.


title: Tail Asymptotics of the Signature of various stochastic processes and its connection to the Quadratic Variation

abstract: The signature of a path is a sequence, whose $n$-th term contains $n$-th order iterated integrals of the path. These iterated integrals of sample paths of stochastic processes arise naturally when studying solutions of differential equation driven by those processes. This paper extends the work of Boedihardjo and Geng (arXiv:1609.08111) who found a connection between the signature of a $d$-dimensional Brownian motion and the time elapsed, which equals to the quadratic variation of Brownian motion. We prove this connection for a more general class of processes, namely for It\^o signature of semimartingales. We also establish a connection between the fWIS Signature of fractional Brownian motion and its Hurst parameter. We propose a conjecture for extension to multidimensional space.


title: Counting tilings of the $n \times m$ grid, cylinder, and torus

abstract: We count tilings of the $n \times m$ rectangular grid, cylinder, and torus with arbitrary tile sets up to arbitrary symmetries of the square and rectangle, along with cyclic shifting of rows and columns. This provides a unifying framework for understanding a family of counting problems, expanding on the work by Ethier and Lee counting tilings of the torus by tiles of two colors.


title: FusionFrames: Efficient Architectural Aspects for Text-to-Video Generation Pipeline

abstract: Multimedia generation approaches occupy a prominent place in artificial intelligence research. Text-to-image models achieved high-quality results over the last few years. However, video synthesis methods recently started to develop. This paper presents a new two-stage latent diffusion text-to-video generation architecture based on the text-to-image diffusion model. The first stage concerns keyframes synthesis to figure the storyline of a video, while the second one is devoted to interpolation frames generation to make movements of the scene and objects smooth. We compare several temporal conditioning approaches for keyframes generation. The results show the advantage of using separate temporal blocks over temporal layers in terms of metrics reflecting video generation quality aspects and human preference. The design of our interpolation model significantly reduces computational costs compared to other masked frame interpolation approaches. Furthermore, we evaluate different configurations of MoVQ-based video decoding scheme to improve consistency and achieve higher PSNR, SSIM, MSE, and LPIPS scores. Finally, we compare our pipeline with existing solutions and achieve top-2 scores overall and top-1 among open-source solutions: CLIPSIM = 0.2976 and FVD = 433.054. Project page: https://ai-forever.github.io/kandinsky-video/


title: Non-equilibrium dynamics of topological defects in the 3d O(2) model

abstract: We present a study of the 3d O(2) non-linear $\sigma$-model on the lattice, which exhibits topological defects in the form of vortices. They tend to organize into vortex lines that bear close analogies with global cosmic strings. Therefore, this model serves as a testbed for studying the dynamics of topological defects. It undergoes a second order phase transition, hence it is appropriate for investigating the Kibble-Zurek mechanism. In this regard, we explore the persistence of topological defects when the temperature is rapidly reduced from above to below the critical temperature; this cooling (or "quenching") process takes the system out of equilibrium. We probe a wide range of inverse cooling rates $\tau_{\rm Q}$ and final temperatures, employing distinct Monte Carlo algorithms. The results consistently show that the density of persisting topological defects follows a power-law in $\tau_{\rm Q}$, in agreement with Zurek's conjecture. On the other hand, at this point our results do not confirm Zurek's prediction for the exponent in this power-law, but its final test is still under investigation.


title: Deep Audio Zooming: Beamwidth-Controllable Neural Beamformer

abstract: Audio zooming, a signal processing technique, enables selective focusing and enhancement of sound signals from a specified region, attenuating others. While traditional beamforming and neural beamforming techniques, centered on creating a directional array, necessitate the designation of a singular target direction, they often overlook the concept of a field of view (FOV), that defines an angular area. In this paper, we proposed a simple yet effective FOV feature, amalgamating all directional attributes within the user-defined field. In conjunction, we've introduced a counter FOV feature capturing directional aspects outside the desired field. Such advancements ensure refined sound capture, particularly emphasizing the FOV's boundaries, and guarantee the enhanced capture of all desired sound sources inside the user-defined field. The results from the experiment demonstrate the efficacy of the introduced angular FOV feature and its seamless incorporation into a low-power subband model suited for real-time applica?tions.


title: Gauged compact Q-balls and Q-shells in a multi-component $CP^N$ model

abstract: We study a multicomponent $CP^N$ model's scalar electrodynamics. The model contains Q-balls/shells, which are non-topological compact solitons with time dependency $e^{i\omega t}$. Two coupled $CP^N$ models can decouple locally if one of their $CP^N$ fields takes the vacuum value. Because of the compacton nature of solutions, Q-shells can shelter another compact Q-ball or Q-shell within their hollow region. Even if compactons do not overlap, they can interact through the electromagnetic field. We investigate how the size of multi-compacton formations is affected by electric charge. We are interested in structures with non-zero or zero total net charge.


title: Coherent control of molecular rotation in superfluid helium

abstract: We experimentally demonstrate control of molecular rotation in bulk superfluid $^4\mathrm{He}$. Metastable helium dimers, $\mathrm{He}_2^*$, are rotationally excited by a periodic train of linearly polarized femtosecond laser pulses. We show that the degree of rotational excitation of $\mathrm{He}_2^*$ can be enhanced or suppressed by varying the period of the pulse train, whereas the directionality of molecular rotation can be controlled by the relative angle between the polarization vectors of pulses in the train. The experimental results are in agreement with numerical calculations, based on a simple model, in which $\mathrm{He}_2^*$ molecules do not interact with the superfluid.


title: Terminal Phase Navigation for AUV Docking: An Innovative Electromagnetic Approach

abstract: This study introduces a groundbreaking approach for real-time 3D localization, specifically focusing on achieving seamless and precise localization during an AUV's terminal guidance phase as it approaches an omnidirectional docking component in an automated Launch and Recovery System (LARS). Through the use of the AUV's magnetometer, an economical electromagnetic beacon embedded in the docking station, and an advanced signal processing algorithm, this novel approach ensures the accurate localization of the docking component in three dimensions without the need for direct line-of-sight contact. The method's real-time capabilities were rigorously evaluated via simulations, prototype experiments in a controlled lab setting, and extensive full-scale pool experiments. These assessments consistently demonstrated an exceptional average positioning accuracy of under 3 cm., marking a significant advancement in AUV guidance systems.


title: FEM for 1D-problems involving the logarithmic Laplacian: error estimates and numerical implementation

abstract: We present the numerical analysis of a finite element method (FEM) for one-dimensional Dirichlet problems involving the logarithmic Laplacian (the pseudo-differential operator that appears as a first-order expansion of the fractional Laplacian as the exponent $s\to 0^+$). Our analysis exhibits new phenomena in this setting; in particular, using recently obtained regularity results, we prove rigorous error estimates and provide a logarithmic order of convergence in the energy norm using suitable \emph{log}-weighted spaces. Numerical evidence suggests that this type of rate cannot be improved. Moreover, we show that the stiffness matrix of logarithmic problems can be obtained as the derivative of the fractional stiffness matrix evaluated at $s=0$. Lastly, we investigate the relationship between the discrete eigenvalue problem and its convergence to the continuous one.


title: High-Speed Voltage Control in Active Distribution Systems with Smart Inverter Coordination and Deep Reinforcement Learning

abstract: The increasing penetration of renewable energy resources in distribution systems necessitates high-speed monitoring and control of voltage for ensuring reliable system operation. However, existing voltage control algorithms often make simplifying assumptions in their formulation, such as real-time availability of smart meter measurements (for monitoring), or real-time knowledge of every power injection information(for control).This paper leverages the recent advances made in highspeed state estimation for real-time unobservable distribution systems to formulate a deep reinforcement learning-based control algorithm that utilizes the state estimates alone to control the voltage of the entire system. The results obtained for a modified (renewable-rich) IEEE34-nodedistributionfeeder indicate that the proposed approach excels in monitoring and controlling voltage of active distribution systems.


title: Learning to Fly in Seconds

abstract: Learning-based methods, particularly Reinforcement Learning (RL), hold great promise for streamlining deployment, enhancing performance, and achieving generalization in the control of autonomous multirotor aerial vehicles. Deep RL has been able to control complex systems with impressive fidelity and agility in simulation but the simulation-to-reality transfer often brings a hard-to-bridge reality gap. Moreover, RL is commonly plagued by prohibitively long training times. In this work, we propose a novel asymmetric actor-critic-based architecture coupled with a highly reliable RL-based training paradigm for end-to-end quadrotor control. We show how curriculum learning and a highly optimized simulator enhance sample complexity and lead to fast training times. To precisely discuss the challenges related to low-level/end-to-end multirotor control, we also introduce a taxonomy that classifies the existing levels of control abstractions as well as non-linearities and domain parameters. Our framework enables Simulation-to-Reality (Sim2Real) transfer for direct RPM control after only 18 seconds of training on a consumer-grade laptop as well as its deployment on microcontrollers to control a multirotor under real-time guarantees. Finally, our solution exhibits competitive performance in trajectory tracking, as demonstrated through various experimental comparisons with existing state-of-the-art control solutions using a real Crazyflie nano quadrotor. We open source the code including a very fast multirotor dynamics simulator that can simulate about 5 months of flight per second on a laptop GPU. The fast training times and deployment to a cheap, off-the-shelf quadrotor lower the barriers to entry and help democratize the research and development of these systems.


title: Measuring $f_{\mathrm{NL}}$ with the SPHEREx Multi-tracer Redshift Space Bispectrum

abstract: The bispectrum is an important statistics helpful for measuring the primordial non-Gaussianity parameter $f_{\mathrm{NL}}$ to less than order unity in error, which would allow us to distinguish between single and multi-field inflation models. The Spectro-Photometer for the History of the Universe, Epoch of Reionization and Ices Explorer (SPHEREx) mission is particularly well-suited for making this measurement with its $\sim$100-band all-sky observations in the near-infrared. Consequently, the SPHEREx data will contain galaxies with spectroscopic-like redshift measurements as well as those with much larger errors. In this paper, we evaluate the impact of photometric redshift errors on $f_{\mathrm{NL}}$ constraints in the context of an updated multi-tracer forecast for SPHEREx, finding that the azimuthal averages of the first three even bispectrum multipoles are no longer sufficient for capturing most of the information (as opposed to the case of spectroscopic surveys shown in the literature). The final SPHEREx result with all five galaxy samples and six redshift bins is however not severely impacted because the total result is dominated by the samples with the best redshift errors, while the worse samples serve to reduce cosmic variance. Our fiducial result of $\sigma_{f_{\mathrm{NL}}} = 0.7$ from bispectrum alone is increased by $18\%$ and $3\%$ when using $l_{\mathrm{max}}=0$ and 2 respectively. We also explore the impact on parameter constraints when varying the fiducial redshift errors, as well as using subsets of multi-tracer combinations or triangles with different squeezing factors. Note that the fiducial result here is not the final SPHEREx capability, which is still on target for being $\sigma_{f_{\mathrm{NL}}} = 0.5$ once the power spectrum will be included.


title: Meijer's $G$-function and Euler's differential equation revisited

abstract: We consider the generalized eigenvalue problem for the classical Euler differential equation and demonstrate its intimate connection with Meijer's $G$-functions. In the course of deriving the solution of the generalized Euler eigenvalue equation we review some of the basics of generalized hypergeometric functions and Meijer's $G$-functions and some of its special cases where the underlying Mellin-type integrand exhibits higher-order poles.


title: Contextual quantum metrology

abstract: Quantum metrology promises higher precision measurements than classical methods. Entanglement has been identified as one of quantum resources to enhance metrological precision. However, generating entangled states with high fidelity presents considerable challenges, and thus attaining metrological enhancement through entanglement is generally difficult. Here, we show that contextuality of measurement selection can enhance metrological precision, and this enhancement is attainable with a simple linear optical experiment. We call our methodology "contextual quantum metrology" (coQM). Contextuality is a nonclassical property known as a resource for various quantum information processing tasks. Until now, it has remained an open question whether contextuality can be a resource for quantum metrology. We answer this question in the affirmative by showing that the coQM can elevate precision of an optical polarimetry by a factor of 1.4 to 6.0, much higher than the one by quantum Fisher information, known as the limit of conventional quantum metrology. We achieve the contextuality-enabled enhancement with two polarization measurements which are mutually complementary, whereas, in the conventional method, some optimal measurements to achieve the precision limit are either theoretically difficult to find or experimentally infeasible. These results highlight that the contextuality of measurement selection is applicable in practice for quantum metrology.


title: Shock Excitation in Narrow Line Regions Powered by AGN Outflows

abstract: Outflows in the Active Galactic Nucleus (AGN) are considered to play a key role in the host galaxy evolution through transfer of a large amount of energy. A Narrow Line Region (NLR) in the AGN is composed of ionized gas extending from pc-scales to kpc-scales. It has been suggested that shocks are required for ionization of the NLR gas. If AGN outflows generate such shocks, they will sweep through the NLR and the outflow energy will be transferred into a galaxy-scale region. In order to study contribution of the AGN outflow to the NLR-scale shock, we measure the [\ion{Fe}{2}]$\lambda12570$/[\ion{P}{2}]$\lambda11886$ line ratio, which is a good tracer of shocks, using near-infrared spectroscopic observations with WINERED (Warm INfrared Echelle spectrograph to Realize Extreme Dispersion and sensitivity) mounted on the New Technology Telescope. Among 13 Seyfert galaxies we observed, the [\ion{Fe}{2}] and [\ion{P}{2}] lines were detected in 12 and 6 targets, respectively. The [\ion{Fe}{2}]/[\ion{P}{2}] ratios in 4 targets were found to be higher than 10, which implies the existence of shocks. We also found that the shock is likely to exist where an ionized outflow, i.e., a blue wing in [\ion{S}{3}]$\lambda9533$, is present. Our result implies that the ionized outflow present over a NLR-scale region sweeps through the interstellar medium and generates a shock.


title: Mechanistic Insights into the Hydrazine-induced Chemical Reduction Pathway of Graphene Oxide

abstract: Hydrazine stands out as the most generally used chemical-reducing agent for reducing graphene oxide. Despite numerous experimental and theoretical investigations into the reduction reaction, the reduction mechanism remains unclear. In this study, we propose that, in aqueous hydrazine solutions, both hydrazine and hydroxide ions could initiate the reduction of graphene oxide. We introduce a chemical reaction pathway involving C-H cleavage and a dehydroxylation process for the reduction of graphene oxide. By utilizing density functional theory calculations, the reduction reactions mediated by hydrazine and hydroxide ions are separately investigated. The reaction routes on the basal plane and edge regions of graphene oxide are discussed independently. The density functional theory calculations demonstrate that the proposed mechanism is both thermodynamically and dynamically feasible. This work might contribute to an atomic-level comprehension of a longstanding challenge in the field of graphene oxide.


title: Predict-Then-Optimize by Proxy: Learning Joint Models of Prediction and Optimization

abstract: Many real-world decision processes are modeled by optimization problems whose defining parameters are unknown and must be inferred from observable data. The Predict-Then-Optimize framework uses machine learning models to predict unknown parameters of an optimization problem from features before solving. Recent works show that decision quality can be improved in this setting by solving and differentiating the optimization problem in the training loop, enabling end-to-end training with loss functions defined directly on the resulting decisions. However, this approach can be inefficient and requires handcrafted, problem-specific rules for backpropagation through the optimization step. This paper proposes an alternative method, in which optimal solutions are learned directly from the observable features by predictive models. The approach is generic, and based on an adaptation of the Learning-to-Optimize paradigm, from which a rich variety of existing techniques can be employed. Experimental evaluations show the ability of several Learning-to-Optimize methods to provide efficient, accurate, and flexible solutions to an array of challenging Predict-Then-Optimize problems.


title: Validation of Consumer-grade Digital Camera-based Human Activity Evaluation for Upper Limb Exercises and Development of a Therapist-guided, Automated Telerehabilitation Framework and Platform for Stroke Rehabilitation

abstract: Timely and adequate rehabilitation is critical in facilitating post-stroke recovery. However, the organization and delivery of rehabilitation are resource-demanding, and are only available to approximately 25% of stroke survivors in low-to-middle-income countries. Improving access to stroke rehabilitation services through innovative solutions is therefore urgently required. Tele-rehabilitation, which transits care to home- and community settings, has emerged as a promising solution. However, current approaches using video tutorial, teleconference, or other specialized devices face inherent shortfalls that limit their uptake. In this study, we proposed and validated the use of an open-source, markerless motion capture model with consumer-grade devices to overcome these challenges. Our solution enables reliable measurement of the end range of motion during upper limb exercises with near-perfect waveform similarity and intraclass correlation to that of the gold standard Kinect approach. Our multidisciplinary team developed an automated telerehabilitation framework incorporating the validated markerless technique to facilitate a seamless telerehabilitation process. It enables personalized rehabilitation plans with real-time feedback, and individual progress reports using objective quantitative and qualitative features to improve patient monitoring and management, and home-based rehabilitation service uptake and compliance. This study serves as a proof-of-concept in preparation for the future development of a detailed model of care, and feasibility, usability, and cost-effectiveness studies of an automated telerehabilitation platform and framework in improving the state of post-stroke rehabilitation and functional outcome.


title: Magnetic ground states in kagome YCu$_3$(OH)$_6$[(Cl$_x$Br$_{1-x}$)$_{3-y}$(OH)$_{y}$]

abstract: Quantum spin liquids represent exotic states of spin systems characterized by long-range entanglement and emergent fractionalized quasiparticles. It is generally believed that disorder is hostile to quantum spin liquids. In our study, we investigated the magnetic properties of a kagome system, YCu$_3$(OH)$_6$[(Cl$_x$Br$_{1-x}$)$_{3-y}$(OH)$_{y}$]. Within this system, some of the hexagons exhibit alternate bonds along the Cu-O-Cu exchange paths, while others remain uniform. We found that a long-range antiferromagnetic order emerges when uniform hexagons dominate. Conversely, possible quantum-spin-liquid state arises when the number of alternate-bond hexagons exceeds about 2/3. Therefore, the alternate-bond hexagons, typically considered as disorders, actually serve as the building blocks of the quantum spin liquid in this system. Notably, the low-temperature properties of the quantum spin liquid are directly associated with the height of the out-of-plane yttrium ions, which may be linked to changes in superexchange energies. Our results suggest that understanding the magnetic ground states in this system lies beyond the theoretical framework of the Heisenberg model constructed on the kagome lattice.


title: On the Limitation of Diffusion Models for Synthesizing Training Datasets

abstract: Synthetic samples from diffusion models are promising for leveraging in training discriminative models as replications of real training datasets. However, we found that the synthetic datasets degrade classification performance over real datasets even when using state-of-the-art diffusion models. This means that modern diffusion models do not perfectly represent the data distribution for the purpose of replicating datasets for training discriminative tasks. This paper investigates the gap between synthetic and real samples by analyzing the synthetic samples reconstructed from real samples through the diffusion and reverse process. By varying the time steps starting the reverse process in the reconstruction, we can control the trade-off between the information in the original real data and the information added by diffusion models. Through assessing the reconstructed samples and trained models, we found that the synthetic data are concentrated in modes of the training data distribution as the reverse step increases, and thus, they are difficult to cover the outer edges of the distribution. Our findings imply that modern diffusion models are insufficient to replicate training data distribution perfectly, and there is room for the improvement of generative modeling in the replication of training datasets.


title: Stable Unlearnable Example: Enhancing the Robustness of Unlearnable Examples via Stable Error-Minimizing Noise

abstract: The open source of large amounts of image data promotes the development of deep learning techniques. Along with this comes the privacy risk of these open-source image datasets being exploited by unauthorized third parties to train deep learning models for commercial or illegal purposes. To avoid the abuse of public data, a poisoning-based technique, the unlearnable example, is proposed to significantly degrade the generalization performance of models by adding a kind of imperceptible noise to the data. To further enhance its robustness against adversarial training, existing works leverage iterative adversarial training on both the defensive noise and the surrogate model. However, it still remains unknown whether the robustness of unlearnable examples primarily comes from the effect of enhancement in the surrogate model or the defensive noise. Observing that simply removing the adversarial noise on the training process of the defensive noise can improve the performance of robust unlearnable examples, we identify that solely the surrogate model's robustness contributes to the performance. Furthermore, we found a negative correlation exists between the robustness of defensive noise and the protection performance, indicating defensive noise's instability issue. Motivated by this, to further boost the robust unlearnable example, we introduce stable error-minimizing noise (SEM), which trains the defensive noise against random perturbation instead of the time-consuming adversarial perturbation to improve the stability of defensive noise. Through extensive experiments, we demonstrate that SEM achieves a new state-of-the-art performance on CIFAR-10, CIFAR-100, and ImageNet Subset in terms of both effectiveness and efficiency. The code is available at https://github.com/liuyixin-louis/Stable-Unlearnable-Example.


title: State-Dependent Sweeping Processes: Asymptotic Behavior and Algorithmic Approaches

abstract: In this paper, we investigate the asymptotic properties of a particular class of state-dependent sweeping processes. While extensive research has been conducted on the existence and uniqueness of solutions for sweeping processes, there is a scarcity of studies addressing their behavior in the limit of large time. Additionally, we introduce novel algorithms designed for the resolution of quasi-variational inequalities. As a result, we introduce a new derivative-free algorithm to find zeros of nonsmooth Lipschitz continuous mappings with a linear convergence rate. This algorithm can be effectively used in nonsmooth and nonconvex optimization problems that do not possess necessarily second-order differentiability conditions of the data.


title: Extensibility governs the flow-induced alignment of polymers and rod-like colloids

abstract: Polymers and rod-like colloids (PaRC) adopt a favorable orientation under sufficiently strong flows. However, how the flow kinematics affect the alignment of such nanostructures according to their extensibility remains unclear. By analysing the shear- and extension-induced alignment of chemically and structurally different PaRC, we show that extensibility is a key determinant of the structural response to the imposed kinematics. We propose a unified description of the effectiveness of extensional flow, compared to shearing flow, at aligning PaRC of different extensibility.


title: Newton-CG methods for nonconvex unconstrained optimization with H\"older continuous Hessian

abstract: In this paper we consider a nonconvex unconstrained optimization problem minimizing a twice differentiable objective function with H\"older continuous Hessian. Specifically, we first propose a Newton-conjugate gradient (Newton-CG) method for finding an approximate first-order stationary point (FOSP) of this problem, assuming the associated the H\"older parameters are explicitly known. Then we develop a parameter-free Newton-CG method without requiring any prior knowledge of these parameters. To the best of our knowledge, this method is the first parameter-free second-order method achieving the best-known iteration and operation complexity for finding an approximate FOSP of this problem. Furthermore, we propose a Newton-CG method for finding an approximate second-order stationary point (SOSP) of the considered problem with high probability and establish its iteration and operation complexity. Finally, we present preliminary numerical results to demonstrate the superior practical performance of our parameter-free Newton-CG method over a well-known regularized Newton method.


title: Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications

abstract: Language serves as a vehicle for conveying thought, enabling communication among individuals. The ability to distinguish between diverse concepts, identify fairness and injustice, and comprehend a range of legal notions fundamentally relies on logical reasoning. Large Language Models (LLMs) attempt to emulate human language understanding and generation, but their competency in logical reasoning remains limited. This paper seeks to address the philosophical question: How can we effectively teach logical reasoning to LLMs while maintaining a deep understanding of the intricate relationship between language and logic? By focusing on bolstering LLMs' capabilities in logical reasoning, we aim to expand their applicability in law and other logic-intensive disciplines. To this end, we propose a Reinforcement Learning from Logical Feedback (RLLF) approach, which serves as a potential framework for refining LLMs' reasoning capacities. Through RLLF and a revised evaluation methodology, we explore new avenues for research in this domain and contribute to the development of LLMs capable of handling complex legal reasoning tasks while acknowledging the fundamental connection between language and logic.


title: R-Continuity with Applications to Convergence Analysis of Tikhonov Regularization and DC Programming

abstract: In the paper, we study the convergence analysis of Tikhonov regularization in finding a zero of a maximal monotone operator using the notion of R-continuity. Applications to convex minimization and DC programming are provided.


title: KMT-2023-BLG-1431Lb: A New $q < 10^{-4}$ Microlensing Planet from a Subtle Signature

abstract: The current studies of microlensing planets are limited by small number statistics. Follow-up observations of high-magnification microlensing events can efficiently form a statistical planetary sample. Since 2020, the Korea Microlensing Telescope Network (KMTNet) and the Las Cumbres Observatory (LCO) global network have been conducting a follow-up program for high-magnification KMTNet events. Here, we report the detection and analysis of a microlensing planetary event, KMT-2023-BLG-1431, for which the subtle (0.05 magnitude) and short-lived (5 hours) planetary signature was characterized by the follow-up from KMTNet and LCO. A binary-lens single-source (2L1S) analysis reveals a planet/host mass ratio of $q = (0.72 \pm 0.07) \times 10^{-4}$, and the single-lens binary-source (1L2S) model is excluded by $\Delta\chi^2 = 80$. A Bayesian analysis using a Galactic model yields estimates of the host star mass of $M_{\rm host} = 0.57^{+0.33}_{-0.29}~M_\odot$, the planetary mass of $M_{\rm planet} = 13.5_{-6.8}^{+8.1}~M_{\oplus}$, and the lens distance of $D_{\rm L} = 6.9_{-1.7}^{+0.8}$ kpc. The projected planet-host separation of $a_\perp = 2.3_{-0.5}^{+0.5}$ au or $a_\perp = 3.2_{-0.8}^{+0.7}$, subject to the close/wide degeneracy. We also find that without the follow-up data, the survey-only data cannot break the degeneracy of central/resonant caustics and the degeneracy of 2L1S/1L2S models, showing the importance of follow-up observations for current microlensing surveys.