title: Unsupervised Lead Sheet Generation via Semantic Compression

abstract: Lead sheets have become commonplace in generative music research, being used as an initial compressed representation for downstream tasks like multitrack music generation and automatic arrangement. Despite this, researchers have often fallen back on deterministic reduction methods (such as the skyline algorithm) to generate lead sheets when seeking paired lead sheets and full scores, with little attention being paid toward the quality of the lead sheets themselves and how they accurately reflect their orchestrated counterparts. To address these issues, we propose the problem of conditional lead sheet generation (i.e. generating a lead sheet given its full score version), and show that this task can be formulated as an unsupervised music compression task, where the lead sheet represents a compressed latent version of the score. We introduce a novel model, called Lead-AE, that models the lead sheets as a discrete subselection of the original sequence, using a differentiable top-k operator to allow for controllable local sparsity constraints. Across both automatic proxy tasks and direct human evaluations, we find that our method improves upon the established deterministic baseline and produces coherent reductions of large multitrack scores.


title: Gotta be SAFE: A New Framework for Molecular Design

abstract: Traditional molecular string representations, such as SMILES, often pose challenges for AI-driven molecular design due to their non-sequential depiction of molecular substructures. To address this issue, we introduce Sequential Attachment-based Fragment Embedding (SAFE), a novel line notation for chemical structures. SAFE reimagines SMILES strings as an unordered sequence of interconnected fragment blocks while maintaining compatibility with existing SMILES parsers. It streamlines complex generative tasks, including scaffold decoration, fragment linking, polymer generation, and scaffold hopping, while facilitating autoregressive generation for fragment-constrained design, thereby eliminating the need for intricate decoding or graph-based models. We demonstrate the effectiveness of SAFE by training an 87-million-parameter GPT2-like model on a dataset containing 1.1 billion SAFE representations. Through targeted experimentation, we show that our SAFE-GPT model exhibits versatile and robust optimization performance. SAFE opens up new avenues for the rapid exploration of chemical space under various constraints, promising breakthroughs in AI-driven molecular design.


title: Implementing a Metropolis sampler on decomposable graphs using a variety of ways to represent the graph

abstract: We describe the implementation of the Giudici-Green Metropolis sampling method for decomposable graphs using a variety of structures to represent the graph. These comprise the graph itself, the Junction tree, the Almond tree and the Ibarra clique-separator graph. For each structure, we describe the process for ascertaining whether adding or deleting a specific edge results in a new graph that is also decomposable, and the updates that need to be made to the structure if the edge perturbation is made. For the Almond tree and Ibarra graph these procedures are novel. We find that using the graph itself is generally at least competitive in terms of computational efficiency for a variety of graph distributions, but note that the other structures may allow and suggest samplers using different perturbations with lower rejection rates and/or better mixing properties. The sampler has applications in estimating graphical models for systems of multivariate Gaussian or Multinomial variables.


title: Electric dipole polarizability of low-lying excited states in atomic nuclei

abstract: Novel equations for the electric dipole polarizability $\alpha_{_{E1}}$ of low-lying excited states in atomic nuclei -- and the related $(-2)$ moment of the total photo-absorption cross section, $\sigma_{_{-2}}$ -- are inferred in terms of electric dipole and quadrupole matrix elements. These equations are valid for arbitrary angular momenta of the initial/ground and final/excited states and have been exploited in fully converged 1$\hbar\omega$ shell-model calculations of selected {\it p-} and {\it sd-}shell nuclei that consider configuration mixing; advancing previous knowledge from $^{17}$O to $^{36}$Ar, where thousands of electric dipole matrix elements are computed from isovector excitations which include the giant dipole resonance region. Our results are in reasonable agreement with previous shell-model calculations and follow -- except for $^{6,7}$Li and $^{17,18}$O -- Migdal's global trend provided by the combination of the hydrodynamic model and second-order non-degenerate perturbation theory. Discrepancies in $^{6,7}$Li and $^{17}$O arise as a result of the presence of $\alpha$-cluster configurations in odd-mass nuclei, whereas the disagreement in $^{18}$O comes from the mixing of intruder states, which is lacking in the shell-model interactions. More advanced \emph{ab initio} calculations of the dipole polarizability for low-lying excited states covering all the isovector states within the giant dipole resonance region are missing and could be very valuable to benchmark the results presented here and shed further light on how atomic nuclei polarize away from the ground state


title: Correcting model misspecification in physics-informed neural networks (PINNs)

abstract: Data-driven discovery of governing equations in computational science has emerged as a new paradigm for obtaining accurate physical models and as a possible alternative to theoretical derivations. The recently developed physics-informed neural networks (PINNs) have also been employed to learn governing equations given data across diverse scientific disciplines. Despite the effectiveness of PINNs for discovering governing equations, the physical models encoded in PINNs may be misspecified in complex systems as some of the physical processes may not be fully understood, leading to the poor accuracy of PINN predictions. In this work, we present a general approach to correct the misspecified physical models in PINNs for discovering governing equations, given some sparse and/or noisy data. Specifically, we first encode the assumed physical models, which may be misspecified, then employ other deep neural networks (DNNs) to model the discrepancy between the imperfect models and the observational data. Due to the expressivity of DNNs, the proposed method is capable of reducing the computational errors caused by the model misspecification and thus enables the applications of PINNs in complex systems where the physical processes are not exactly known. Furthermore, we utilize the Bayesian PINNs (B-PINNs) and/or ensemble PINNs to quantify uncertainties arising from noisy and/or gappy data in the discovered governing equations. A series of numerical examples including non-Newtonian channel and cavity flows demonstrate that the added DNNs are capable of correcting the model misspecification in PINNs and thus reduce the discrepancy between the physical models and the observational data. We envision that the proposed approach will extend the applications of PINNs for discovering governing equations in problems where the physico-chemical or biological processes are not well understood.


title: Exploring Spectrum Sensing Techniques in Cognitive Radio Systems Using Time-Domain Symbol Cross-correlation

abstract: In order to enable spectrum sharing, spectrum sensing plays a crucial role in wireless communication. The challenges in wireless spectrum require collaboration among stakeholders to devise innovative solutions. This research explores the use of a Cognitive Radio (CR) system that employs a Time-Domain Symbol Cross-correlation (TDSC) based spectrum sensing algorithm. WiMAX and LTE standards are utilized as case studies to demonstrate the efficacy of the TDSC method. The study presents theoretical and simulation results and also suggests future research to investigate the performance of the TDSC method in WiMAX and LTE systems. Additionally, this study compares the spectrum sensing capabilities of WiMAX and LTE.


title: Is there a Trojan! : Literature survey and critical evaluation of the latest ML based modern intrusion detection systems in IoT environments

abstract: IoT as a domain has grown so much in the last few years that it rivals that of the mobile network environments in terms of data volumes as well as cybersecurity threats. The confidentiality and privacy of data within IoT environments have become very important areas of security research within the last few years. More and more security experts are interested in designing robust IDS systems to protect IoT environments as a supplement to the more traditional security methods. Given that IoT devices are resource-constrained and have a heterogeneous protocol stack, most traditional intrusion detection approaches don't work well within these schematic boundaries. This has led security researchers to innovate at the intersection of Machine Learning and IDS to solve the shortcomings of non-learning based IDS systems in the IoT ecosystem. Despite various ML algorithms already having high accuracy with IoT datasets, we can see a lack of sufficient production grade models. This survey paper details a comprehensive summary of the latest learning-based approaches used in IoT intrusion detection systems, and conducts a thorough critical review of these systems, potential pitfalls in ML pipelines, challenges from an ML perspective, and discusses future research scope and recommendations.


title: Fragile dislocation modes in obstructed atomic topological phases

abstract: We here introduce the concept of fragile topological dislocation modes, which are localized only in a fraction of a topological phase, while otherwise leak into the bulk continuum. We show that such dislocation modes are hosted in an obstructed atomic topological phase in the two-dimensional Su-Schrieffer-Heeger model, but only in a finite region with an indirect gap at high energy. These dislocation modes are realized as chiral pairs at finite energies with protection stemming from a combination of the chiral (unitary particle-hole) and the point group (C$_{4v}$) symmetries, but only when the indirect gap is open. In this regime, we corroborate the stability of the defect modes by following their localization and also by explicitly adding a weak chemical potential disorder. Our findings, therefore, should be consequential for the experimental observation of such modes in designer topological crystals and classical metamaterials.


title: Demystifying Poisoning Backdoor Attacks from a Statistical Perspective

abstract: The growing dependence on machine learning in real-world applications emphasizes the importance of understanding and ensuring its safety. Backdoor attacks pose a significant security risk due to their stealthy nature and potentially serious consequences. Such attacks involve embedding triggers within a learning model with the intention of causing malicious behavior when an active trigger is present while maintaining regular functionality without it. This paper evaluates the effectiveness of any backdoor attack incorporating a constant trigger, by establishing tight lower and upper boundaries for the performance of the compromised model on both clean and backdoor test data. The developed theory answers a series of fundamental but previously underexplored problems, including (1) what are the determining factors for a backdoor attack's success, (2) what is the direction of the most effective backdoor attack, and (3) when will a human-imperceptible trigger succeed. Our derived understanding applies to both discriminative and generative models. We also demonstrate the theory by conducting experiments using benchmark datasets and state-of-the-art backdoor attack scenarios.


title: BanglaNLP at BLP-2023 Task 1: Benchmarking different Transformer Models for Violence Inciting Text Detection in Bengali

abstract: This paper presents the system that we have developed while solving this shared task on violence inciting text detection in Bangla. We explain both the traditional and the recent approaches that we have used to make our models learn. Our proposed system helps to classify if the given text contains any threat. We studied the impact of data augmentation when there is a limited dataset available. Our quantitative results show that finetuning a multilingual-e5-base model performed the best in our task compared to other transformer-based architectures. We obtained a macro F1 of 68.11\% in the test set and our performance in this shared task is ranked at 23 in the leaderboard.


title: Discrete Approximations and Optimality Conditions for Controlled Free-Time Sweeping Processes

abstract: The paper is devoted to the study of a new class of optimal control problems governed by discontinuous constrained differential inclusions of the sweeping type with involving the duration of the dynamic process into optimization. We develop a novel version of the method of discrete approximations of its own qualitative and numerical values with establishing its well-posedness and strong convergence to optimal solutions of the controlled sweeping process. Using advanced tools of first-order and second-order variational analysis and generalized differentiation allows us to derive new necessary conditions for optimal solutions of the discrete-time problems and then, by passing to the limit in the discretization procedure, for designated local minimizers in the original problem of sweeping optimal control. The obtained results are illustrated by a numerical example.


title: Laplace-based strategies for Bayesian optimal experimental design with nuisance uncertainty

abstract: Finding the optimal design of experiments in the Bayesian setting typically requires estimation and optimization of the expected information gain functional. This functional consists of one outer and one inner integral, separated by the logarithm function applied to the inner integral. When the mathematical model of the experiment contains uncertainty about the parameters of interest and nuisance uncertainty, (i.e., uncertainty about parameters that affect the model but are not themselves of interest to the experimenter), two inner integrals must be estimated. Thus, the already considerable computational effort required to determine good approximations of the expected information gain is increased further. The Laplace approximation has been applied successfully in the context of experimental design in various ways, and we propose two novel estimators featuring the Laplace approximation to alleviate the computational burden of both inner integrals considerably. The first estimator applies Laplace's method followed by a Laplace approximation, introducing a bias. The second estimator uses two Laplace approximations as importance sampling measures for Monte Carlo approximations of the inner integrals. Both estimators use Monte Carlo approximation for the remaining outer integral estimation. We provide three numerical examples demonstrating the applicability and effectiveness of our proposed estimators.


title: Almost sure central limit theorem for the hyperbolic Anderson model with L\'evy white noise

abstract: In this paper, we present an almost sure central limit theorem (ASCLT) for the hyperbolic Anderson model (HAM) with a L\'evy white noise in a finite-variance setting, complementing a recent work by Balan and Zheng (\emph{Trans.~Amer.~Math.~Soc.}, 2024) on the (quantitative) central limit theorems for the solution to the HAM. We provide two different proofs: one uses the Clark-Ocone formula and takes advantage of the martingale structure of the white-in-time noise, while the other is obtained by combining the second-order Gaussian Poincar\'e inequality with Ibragimov and Lifshits' method of characteristic functions. Both approaches are different from the one developed in the PhD thesis of C. Zheng (2011), allowing us to establish the ASCLT without lengthy computations of star contractions. Moreover, the second approach is expected to be useful for similar studies on SPDEs with colored-in-time noises, whereas the former, based on It\^o calculus, is not applicable.


title: Cyclic Proofs for iGL via Corecursion

abstract: Daniyar Shamkanov proved that three distinct systems of sequent calculi for GL are equivalent. These systems consist in one with finite proofs, another with ill-founded proofs and the last one with cyclic proofs. The main tool used for proving the equivalence is corecursion. In this project, we prove the equivalence between a finitary sequent calculus for iGL and a cyclic calculus, using also coinductive methods.


title: An analysis on improvement of x-ray diffractometer results by controlling and calibration of parameters

abstract: The X-ray diffractometer in the laboratory is a crucial instrument for analyzing materials in science. It can be used on almost any crystal material, and if the machine parameters are appropriately controlled, it can offer a lot of information about the samples characteristics. Nevertheless, the data obtained from these machines are complicated by an aberration function that can be resolved through calibration. In this study, a powder comprising of Barium Sulfate (BaSO4), Zinc Oxide (ZnO) and Aluminum (Al) was used as the first sample and a single crystal sample comprised of Gallium Nitride (GaN) and Aluminum Oxide (Al2O3). The required calibration parameters of the X-ray diffractometer namely: Straight Beam Alignment, Beam Cut Alignment and Sample Tilt Alignment for two samples were analyzed and carried out. Using the results of the X-ray spectrum, important parameters such as corresponding planes for peak positions, d-spacing of planes, intensities, smallest crystallite sizes and lattice parameters, and a comparison with the reference data were all carried out. As another result, the out-of-plane alignment and Full-Width at Half-Maximum (FWHM) value for GaN could be determined using the rocking curve.


title: Viscosities of the Baryon-Rich Quark-Gluon Plasma from Beam Energy Scan Data

abstract: This work presents the first Bayesian inference study of the (3+1)D dynamics of relativistic heavy-ion collisions and Quark-Gluon Plasma (QGP) viscosities using an event-by-event (3+1)D hydrodynamics + hadronic transport theoretical framework and data from the Relativistic Heavy Ion Collider (RHIC) Beam Energy Scan program. Robust constraints on initial state nuclear stopping and the baryon chemical potential-dependent shear viscosity of the produced quantum chromodynamic (QCD) matter are obtained. The specific bulk viscosity of the QCD matter is found to exhibit a preferred maximum around $\sqrt{s_\mathrm{NN}} = 19.6$ GeV. This result allows for the alternative interpretation of a reduction (and/or increase) of the speed of sound relative to that of the employed lattice-QCD based equation of state (EOS) for net baryon chemical potential $\mu_B \sim 0.2\, (0.4)$ GeV.


title: Self-Supervised Models of Speech Infer Universal Articulatory Kinematics

abstract: Self-Supervised Learning (SSL) based models of speech have shown remarkable performance on a range of downstream tasks. These state-of-the-art models have remained blackboxes, but many recent studies have begun "probing" models like HuBERT, to correlate their internal representations to different aspects of speech. In this paper, we show "inference of articulatory kinematics" as fundamental property of SSL models, i.e., the ability of these models to transform acoustics into the causal articulatory dynamics underlying the speech signal. We also show that this abstraction is largely overlapping across the language of the data used to train the model, with preference to the language with similar phonological system. Furthermore, we show that with simple affine transformations, Acoustic-to-Articulatory inversion (AAI) is transferrable across speakers, even across genders, languages, and dialects, showing the generalizability of this property. Together, these results shed new light on the internals of SSL models that are critical to their superior performance, and open up new avenues into language-agnostic universal models for speech engineering, that are interpretable and grounded in speech science.


title: State Machine Frameworks for Website Fingerprinting Defenses: Maybe Not

abstract: Tor is an anonymity network used by millions of people every day to evade censorship and protect their browsing activity from privacy threats such as mass surveillance. Unfortunately, Tor has been shown to be vulnerable to website fingerprinting attacks, in which an adversary observes the connection between a user and the Tor network and uses features of the encrypted traffic, such as the timing and volume of packets, to identify the websites that are being visited. In response, researchers have proposed a number of defenses against website fingerprinting attacks, and a "circuit padding framework" has been added to the Tor software which supports the implementation of defenses. However, many proposed defenses are not supported by this framework, and no defenses are currently present in Tor. As Arti, a reimplementation of Tor in Rust, is being developed, the issue arises of whether a new state machine framework should be included or if alternative models should instead be considered for future defense implementation. We address this question by using an improved Rust-based state machine framework, Maybenot, to implement three state-of-the-art website fingerprinting defenses. Through our evaluation, we demonstrate the potential of state machine frameworks to support effective defenses, and we highlight important features that they should contain to do so. However, our evaluation also raises uncertainty about the long-term feasibility of state machine frameworks for defense implementation. We recommend enhancements to Maybenot and substantial further evaluation, along with consideration of alternative designs, before any decision is made regarding a mechanism for implementing website fingerprinting defenses in Arti.


title: Neuromorphic Place Cells

abstract: A neuromorphic SLAM system shows potential for more efficient implementation than its traditional counterpart. We demonstrate a mixed-mode implementation for spatial encoding neurons including theta cells, vector cells, and place cells. Together, they form a biologically plausible network that could reproduce the localization functionality of place cells. The system consists of a theta chip with 128 units and an FPGA encoding 4 networks for vector cells formation that provides the capability for tracking on a 11 by 11 place cell grid. Experimental results validate the robustness of our model when suffering from 18% standard deviation from mathematical models induced by variations of analog circuits. We provide a foundation for implementing dynamic neuromorphic SLAM systems for nonhomogeneous mapping and inspirations for the formation of spatial cells in biology.


title: Neural Tangent Kernels Motivate Graph Neural Networks with Cross-Covariance Graphs

abstract: Neural tangent kernels (NTKs) provide a theoretical regime to analyze the learning and generalization behavior of over-parametrized neural networks. For a supervised learning task, the association between the eigenvectors of the NTK kernel and given data (a concept referred to as alignment in this paper) can govern the rate of convergence of gradient descent, as well as generalization to unseen data. Building upon this concept, we investigate NTKs and alignment in the context of graph neural networks (GNNs), where our analysis reveals that optimizing alignment translates to optimizing the graph representation or the graph shift operator in a GNN. Our results further establish the theoretical guarantees on the optimality of the alignment for a two-layer GNN and these guarantees are characterized by the graph shift operator being a function of the cross-covariance between the input and the output data. The theoretical insights drawn from the analysis of NTKs are validated by our experiments focused on a multi-variate time series prediction task for a publicly available dataset. Specifically, they demonstrate that GNNs with cross-covariance as the graph shift operator indeed outperform those that operate on the covariance matrix from only the input data.


title: The limit of human intelligence

abstract: In 1998, Fields medalist Stephen Smale [S. Smale, Mathematical problems for the next century, The mathematical Intelligencer, 20(2) (1998), 7-15] proposed his famous eighteen problems to the mathematicians of this century. The statement of his eighteenth problem is very simple but very important. He asked "What are the limits of intelligence, both artificial and human?". In this paper, we prove that human intelligence is limitless. Moreover, we provide justifications to state that artificial intelligence has limitations. Thus, human intelligence will always remain superior to artificial intelligence. Moreover, we provide justifications to conclude the limitations of artificial intelligence.


title: Multi-dimensional hadron structure through the lens of gluon Wigner distribution

abstract: In this review, we present the current status of phenomenological research on constraining the multi-dimensional proton (and nucleus) structure at high energies through studies of the so-called gluon Wigner distributions. We provide a brief pedagogical introduction into the corresponding theoretical definitions and modelling of exclusive and diffractive scattering observables in terms of the Wigner distribution. Also, we present a detailed outlook into the existing and planned experimental measurements that attempt to constrain the Wigner distribution. We briefly overview possible interconnections between various manifestations of the gluon Wigner distribution emerging, for instance, in azimuthal-angle correlations in (semi)exclusive reactions and elliptic flow measurements in inclusive processes. We also summarise the current knowledge on the most important processes that would potentially enable one to constrain the elliptic gluon density in the proton and to separate it from the genuine effect of hydrodynamic evolution in the flow measurements.


title: Phase transitions in a $\Phi^4$ matrix model on a curved noncommutative space

abstract: In this contribution, we summarize our recent studies of the phase structure of the Grosse-Wulkenhaar model and its connection to renormalizability. Its action contains a special term that couples the field to the curvature of the noncommutative background space. We first analyze the numerically obtained phase diagram of the model and its three phases: the ordered, the disordered, and the noncommutative stripe phase. Afterward, we discuss the analytical derivation of the effective action and the ordered-to-stripe transition line, and how the obtained expression successfully explains the curvature-induced shift of the triple point compared to the model without curvature. This shift also causes the removal of the stripe phase and makes the model renormalizable.


title: A robust phase-field method for two-phase flows on unstructured grids

abstract: A phase-field method for unstructured grids that is accurate, conservative, and robust is proposed in this work. The proposed method also results in bounded transport of volume fraction, and the interface thickness adapts automatically to local grid size. In addition to this, we present a novel formulation for two-phase flows on collocated grids that is provably energy stable, which is a critical feature for robust simulations of two-phase turbulent flows. The proposed method is first evaluated on canonical test cases, including scenarios like drop advection and drop in a shear flow. The accuracy of the proposed method in the presence of grid transitions, which is important for simulations in complex geometries using unstructured grids, is also evaluated. We assess the robustness of our method by performing simulations of a drop in homogeneous isotropic turbulence at infinite Reynolds number with varying density ratios. Furthermore, as a step toward verification and validation, simulations of test cases in complex geometries and conditions, such as, a damped surface wave, infinitesimal interface distortion on a liquid jet, and the atomization of a liquid jet from the engine combustion network's Spray A nozzle are presented. These simulations illustrate the accuracy, robustness, and applicability of the proposed method in various kinds of complex two-phase flow applications of engineering interest.


title: Mixed Mode Oscillations in a Three-Timescale Coupled Morris-Lecar System

abstract: Mixed mode oscillations (MMOs) are complex oscillatory behaviors of multiple-timescale dynamical systems in which there is an alternation of large-amplitude and small-amplitude oscillations. It is well known that MMOs in two-timescale systems can arise either from a canard mechanism associated with folded node singularities or a delayed Andronov-Hopf bifurcation (DHB) of the fast subsystem. While MMOs in two-timescale systems have been extensively studied, less is known regarding MMOs emerging in three-timescale systems. In this work, we examine the mechanisms of MMOs in coupled Morris-Lecar neurons with three distinct timescales. We investigate two kinds of MMOs occurring in the presence of a singularity known as canard-delayed-Hopf (CDH) and in cases where CDH is absent. In both cases, we examine how features and mechanisms of MMOs vary with respect to variations in timescales. Our analysis reveals that MMOs supported by CDH demonstrate significantly stronger robustness than those in its absence. Moreover, we show that the mere presence of CDH does not guarantee the occurrence of MMOs. This work yields important insights into conditions under which the two separate mechanisms in two-timescale context, canard and DHB, can interact in a three-timescale setting and produce more robust MMOs, particularly against timescale variations.


title: Understanding and managing blockchain protocol risks

abstract: This paper addresses the issue of blockchain protocol risks, a foundational category of risks affecting Distributed Ledger Technology (DLT) which underpins digital assets, smart contracts, and decentralised applications. It presents a comprehensive risk management framework developed in collaboration with financial institutions, blockchain development teams and regulators that applies a traditional risk management taxonomy to address certain overlooked blockchain protocol risks. The approach offers a structured way to identify, measure, monitor and report blockchain protocol risks. The paper provides real-world use cases to demonstrate the practicality and implementation of the proposed framework. The findings of this work contribute to the evolving understanding of blockchain protocol risks and provide valuable insights on how these risks affect the adoption of DLT by financial institutions.


title: Poisson Count Time Series

abstract: This paper reviews and compares popular methods, some old and some very recent, that produce time series having Poisson marginal distributions. The paper begins by narrating ways where time series with Poisson marginal distributions can be produced. Modeling nonstationary series with covariates motivates consideration of methods where the Poisson parameter depends on time. Here, estimation methods are developed for some of the more flexible methods. The results are used in the analysis of 1) a count sequence of tropical cyclones occurring in the North Atlantic Basin since 1970, and 2) the number of no-hitter games pitched in major league baseball since 1893. Tests for whether the Poisson marginal distribution is appropriate are included.


title: Matrix-product-state-based band-Lanczos solver for quantum cluster approaches

abstract: We present a matrix-product state (MPS) based band-Lanczos method as solver for quantum cluster methods such as the variational cluster approximation (VCA). While a na\"ive implementation of MPS as cluster solver would barely improve its range of applicability, we show that our approach makes it possible to treat cluster geometries well beyond the reach of exact diagonalization methods. The key modifications we introduce are a continuous energy truncation combined with a convergence criterion that is more robust against approximation errors introduced by the MPS representation and provides a bound to deviations in the resulting Green's function. The potential of the resulting cluster solver is demonstrated by computing the self-energy functional for the single-band Hubbard model at half filling in the strongly correlated regime, on different cluster geometries. Here, we find that only when treating large cluster sizes, observables can be extrapolated to the thermodynamic limit, which we demonstrate at the example of the staggered magnetization. Treating clusters sizes with up to $6\times 6$ sites we obtain excellent agreement with quantum Monte-Carlo results.


title: Algorithmic Pulsar Timer for Binaries

abstract: Pulsar timing is a powerful tool that, by accounting for every rotation of a pulsar, precisely measures the spin frequency, spin frequency derivatives, astrometric position, binary parameters when applicable, properties of the ISM, and potentially general relativistic effects. Typically, this process demands fairly stringent scheduling requirements for monitoring observations as well as deep domain knowledge to "phase connect" the timing data. We present an algorithm that automates the pulsar timing process for binary pulsars, whose timing solutions have an additional level of complexity, although the algorithm works for isolated pulsars as well. Using the statistical F-test and the quadratic dependence of the reduced $\chi ^2$ near a minimum, the global rotation count of a pulsar can be determined efficiently and systematically. We have used our algorithm to establish timing solutions for two newly discovered binary pulsars, PSRs J1748$-$2446aq and J1748$-$2446at, in the globular cluster Terzan 5, using $\sim$70 Green Bank Telescope observations from the last 13 years.


title: ALMA Observations of the Extraordinary Carina Pillars: A Complementary Sample

abstract: We present a study of six dusty and gaseous pillars (containing the HH 1004 and HH 1010 objects) and globules (that contain the HH 666, HH 900, HH 1006, and HH 1066 objects) localized in the Carina nebula using sensitive and high angular resolution ($\sim$0.3$''$) Atacama Large Millimeter/Sub-millimeter Array (ALMA) observations. This is a more extensive study that the one presented in \citet{Cortes}. As in this former study, we also analyzed the 1.3 mm continuum emission and C$^{18}$O(2$-$1), N$_2$D$^+$(3$-$2) and $^{12}$CO(2$-$1) spectral lines. These new observations revealed the molecular outflows emanating from the pillars, the dusty envelopes$+$disks that are exciting them, and the extended HH objects far from their respective pillars. We reveal that the masses of the disks$+$envelopes are in a range of 0.02 to 0.38 M$_\odot$, and those for the molecular outflows are of the order of 10$^{-3}$ M$_\odot$, which suggests that their exciting sources might be low- or intermediate-mass protostars as already revealed in recent studies at infrared and submillimeter bands. In the regions associated with the objects HH 900 and HH 1004, we report multiple millimeter continuum sources, from where several molecular outflows emanate.


title: Three Quantum Programming Language Parser Implementations for the Web

abstract: IBM has developed a quantum assembly (QASM) language particular to gate model quantum computing since 2017 [CBSG17]. Version 3.0 which adds timing, pulse control, and gate modifiers is currently undergoing finalization in 2023 [CJA+21]. In a similar vein, Pakin of Los Alamos National Laboratory published a quantum macro assembler (QMASM) for D-Wave quantum annealers in 2016 [Pak16]. This assembler specifically targets quantum annealers like D-Wave's. A comparable technology that targets continuous-variable (CV) quantum computing is the Blackbird language developed by Xanadu since 2018 [KIQ+19]. We implement parsers for each of these languages in TypeScript with a singular approach. In the cases of Blackbird and QMASM these are the first parser implementations that are web compatible and so bring these languages to a new audience and to new runtimes. This makes the parsing and execution of QMASM, QASM and Blackbird possible in web and mobile environments that don't have access to heavy compile toolchains, enabling adoption and scientific research.


title: SD-HuBERT: Sentence-Level Self-Distillation Induces Syllabic Organization in HuBERT

abstract: Data-driven unit discovery in self-supervised learning (SSL) of speech has embarked on a new era of spoken language processing. Yet, the discovered units often remain in phonetic space and the units beyond phonemes are largely underexplored. Here, we demonstrate that a syllabic organization emerges in learning sentence-level representation of speech. In particular, we adopt "self-distillation" objective to fine-tune the pretrained HuBERT with an aggregator token that summarizes the entire sentence. Without any supervision, the resulting model draws definite boundaries in speech, and the representations across frames exhibit salient syllabic structures. We demonstrate that this emergent structure largely corresponds to the ground truth syllables. Furthermore, we propose a new benchmark task, Spoken Speech ABX, for evaluating sentence-level representation of speech. When compared to previous models, our model outperforms in both unsupervised syllable discovery and learning sentence-level representation. Together, we demonstrate that the self-distillation of HuBERT gives rise to syllabic organization without relying on external labels or modalities, and potentially provides novel data-driven units for spoken language modeling.


title: Constant Modulus Waveform Design with Block-Level Interference Exploitation for DFRC Systems

abstract: Dual-functional radar-communication (DFRC) is a promising technology where radar and communication functions operate on the same spectrum and hardware. In this paper, we propose an algorithm for designing constant modulus waveforms for DFRC systems. Particularly, we jointly optimize the correlation properties and the spatial beam pattern. For communication, we employ constructive interference-based block-level precoding (CI-BLP) to exploit distortion due to multi-user and radar transmission. We propose a majorization-minimization (MM)-based solution to the formulated problem. To accelerate convergence, we propose an improved majorizing function that leverages a novel diagonal matrix structure. We then evaluate the performance of the proposed algorithm through rigorous simulations. Simulation results demonstrate the effectiveness of the proposed approach and the proposed majorizer.


title: Global stabilization of the cubic defocusing nonlinear Schr\"odinger equation on the torus

abstract: In this article, we prove the (uniform) global exponential stabilization of the cubic defocusing Schr\"odinger equation on the torus d-dimensional torus, for d=1, 2 or 3, with a linear damping localized in a subset of the torus satisfying some geometrical assumptions. In particular, this answers an open question of Dehman, G\'erard, Lebeau from 2006. Our approach is based on three ingredients. First, we prove the well-posedness of the closed-loop system in Bourgain spaces. Secondly, we derive new Carleman estimates for the nonlinear equation by directly including the cubic term in the conjugated operator. Thirdly, by conjugating with energy estimates and Morawetz multipliers method, we then deduce quantitative observability estimates leading to the uniform exponential decay of the total energy of the system. As a corollary of the global stabilization result, we obtain an upper bound of the minimal time of the global null-controllability of the nonlinear equation by using a stabilization procedure and a local null-controllability result.


title: Convolutional Neural Network Model for Diabetic Retinopathy Feature Extraction and Classification

abstract: The application of Artificial Intelligence in the medical market brings up increasing concerns but aids in more timely diagnosis of silent progressing diseases like Diabetic Retinopathy. In order to diagnose Diabetic Retinopathy (DR), ophthalmologists use color fundus images, or pictures of the back of the retina, to identify small distinct features through a difficult and time-consuming process. Our work creates a novel CNN model and identifies the severity of DR through fundus image input. We classified 4 known DR features, including micro-aneurysms, cotton wools, exudates, and hemorrhages, through convolutional layers and were able to provide an accurate diagnostic without additional user input. The proposed model is more interpretable and robust to overfitting. We present initial results with a sensitivity of 97% and an accuracy of 71%. Our contribution is an interpretable model with similar accuracy to more complex models. With that, our model advances the field of DR detection and proves to be a key step towards AI-focused medical diagnosis.


title: Regularization properties of adversarially-trained linear regression

abstract: State-of-the-art machine learning models can be vulnerable to very small input perturbations that are adversarially constructed. Adversarial training is an effective approach to defend against it. Formulated as a min-max problem, it searches for the best solution when the training data were corrupted by the worst-case attacks. Linear models are among the simple models where vulnerabilities can be observed and are the focus of our study. In this case, adversarial training leads to a convex optimization problem which can be formulated as the minimization of a finite sum. We provide a comparative analysis between the solution of adversarial training in linear regression and other regularization methods. Our main findings are that: (A) Adversarial training yields the minimum-norm interpolating solution in the overparameterized regime (more parameters than data), as long as the maximum disturbance radius is smaller than a threshold. And, conversely, the minimum-norm interpolator is the solution to adversarial training with a given radius. (B) Adversarial training can be equivalent to parameter shrinking methods (ridge regression and Lasso). This happens in the underparametrized region, for an appropriate choice of adversarial radius and zero-mean symmetrically distributed covariates. (C) For $\ell_\infty$-adversarial training -- as in square-root Lasso -- the choice of adversarial radius for optimal bounds does not depend on the additive noise variance. We confirm our theoretical findings with numerical examples.


title: If the Sources Could Talk: Evaluating Large Language Models for Research Assistance in History

abstract: The recent advent of powerful Large-Language Models (LLM) provides a new conversational form of inquiry into historical memory (or, training data, in this case). We show that by augmenting such LLMs with vector embeddings from highly specialized academic sources, a conversational methodology can be made accessible to historians and other researchers in the Humanities. Concretely, we evaluate and demonstrate how LLMs have the ability of assisting researchers while they examine a customized corpora of different types of documents, including, but not exclusive to: (1). primary sources, (2). secondary sources written by experts, and (3). the combination of these two. Compared to established search interfaces for digital catalogues, such as metadata and full-text search, we evaluate the richer conversational style of LLMs on the performance of two main types of tasks: (1). question-answering, and (2). extraction and organization of data. We demonstrate that LLMs semantic retrieval and reasoning abilities on problem-specific tasks can be applied to large textual archives that have not been part of the its training data. Therefore, LLMs can be augmented with sources relevant to specific research projects, and can be queried privately by researchers.


title: Walsh's Brownian Motion and Donsker Scaling Limits of Perturbed Random Walks

abstract: In this paper, we study the Donsker scaling limit of integer-valued random walks perturbed on a finite subset of $\mathbb Z$ called a membrane. Under very mild assumptions about the law of the random walk's increments inside and outside of the membrane we show weak convergence of the scaled processes to a skew Brownian motion and provide the explicit formula for its permeability parameter in terms of stationary distributions of certain embedded Markov chains. The proof is based on a representation of the original random walk as a multidimensional coordinate process and its convergence to a Walsh Brownian motion.


title: Robust Multi-Agent Reinforcement Learning via Adversarial Regularization: Theoretical Foundation and Stable Algorithms

abstract: Multi-Agent Reinforcement Learning (MARL) has shown promising results across several domains. Despite this promise, MARL policies often lack robustness and are therefore sensitive to small changes in their environment. This presents a serious concern for the real world deployment of MARL algorithms, where the testing environment may slightly differ from the training environment. In this work we show that we can gain robustness by controlling a policy's Lipschitz constant, and under mild conditions, establish the existence of a Lipschitz and close-to-optimal policy. Based on these insights, we propose a new robust MARL framework, ERNIE, that promotes the Lipschitz continuity of the policies with respect to the state observations and actions by adversarial regularization. The ERNIE framework provides robustness against noisy observations, changing transition dynamics, and malicious actions of agents. However, ERNIE's adversarial regularization may introduce some training instability. To reduce this instability, we reformulate adversarial regularization as a Stackelberg game. We demonstrate the effectiveness of the proposed framework with extensive experiments in traffic light control and particle environments. In addition, we extend ERNIE to mean-field MARL with a formulation based on distributionally robust optimization that outperforms its non-robust counterpart and is of independent interest. Our code is available at https://github.com/abukharin3/ERNIE.


title: Spectroscopy of van der Waals nanomaterials: Opportunities and Challenges

abstract: The study of van der Waals (vdW) materials has seen increased interest in recent years, due to the wide range of uses for these materials because of their unique mechanical, electronic, and optical properties. This area has recently expanded further into studying the behavior of vdW nanomaterials, as decreasing dimensions open up opportunities to interact with these materials in new ways. However, measuring the band structures of nanomaterials, which is key to understanding how confinement affects material properties and interactions, comes with several challenges. In this review, we survey a range of techniques for synthesizing and characterizing vdW nanomaterials, in order to outline the key material and characterization challenges. This includes controlling the Fermi level in vdW nanoparticles, preparing these particles for either ensemble or individual particle measurement, as well as protecting the pristine surface from oxidation.


title: Hilbert schemes of points on surfaces and multiple q-zeta values

abstract: For a line bundle $L$ on a smooth projective surface $X$ and nonnegative integers $k_1, \ldots, k_N$, Okounkov \cite{Oko} introduced the reduced generating series $\big \langle {\rm ch}_{k_1}^{L} \cdots {\rm ch}_{k_N}^{L} \big \rangle'$ for the intersection numbers among the Chern characters of the tautological bundles over the Hilbert schemes of points on $X$ and the total Chern classes of the tangent bundles of these Hilbert schemes, and conjectured that they are multiple $q$-zeta values of weight at most $\sum_{i=1}^N (k_i + 2)$. The second-named author further conjectured in \cite{Qin2} that these reduced generating series are quasi-modular forms if the canonical divisor of $X$ is numerically trivial. In this paper, we verify these two conjectures for $\big \langle {\rm ch}_2^{L} \big \rangle'$. The main approaches are to apply the procedure laid out in \cite{QY} and to establish various identities for multiple $q$-zeta values and quasi-modular forms.


title: Compton Scattering of Plasmons

abstract: We extend de concept of Compton scattering to the case of plasmons. This concept was originally applied to electrons in vacuum. Here, we consider electrons in a plasma, and study the scattering properties of photon-plasmon interactions. We show that a number $n$ of plasmons with frequency $ \omega \simeq \omega_p$ is scattered by an electron, for an incident photon with frequency $\omega' \geq \omega_p$, where $\omega_p$ is the plasma frequency. We describe the general case of arbitrary $n$ and assume that Compton scattering of plasmons is intrinsically a nonlinear process. Our theoretical model is based on Volkov solutions of the Klein-Gordon equation describing the state of relativistic electrons, when the spin is ignored. We derive the corresponding scattering probability, as well as the recoil formula associated with arbitrary the final electron states. This process can be relevant to intense laser plasma interactions.


title: A saturated 1-system of curves on the surface of genus 3

abstract: We construct a saturated system of 33 essential simple closed curves that are pairwise non-homotopic and intersect at most once on the oriented, closed surface of genus 3.


title: Streaming Algorithms for Graph k-Matching with Optimal or Near-Optimal Update Time

abstract: We present streaming algorithms for the graph $k$-matching problem in both the insert-only and dynamic models. Our algorithms, with space complexity matching the best upper bounds, have optimal or near-optimal update time, significantly improving on previous results. More specifically, for the insert-only streaming model, we present a one-pass algorithm with optimal space complexity $O(k^2)$ and optimal update time $O(1)$, that with high probability computes a maximum weighted $k$-matching of a given weighted graph. The update time of our algorithm significantly improves the previous upper bound of $O(\log k)$, which was derived only for $k$-matching on unweighted graphs. For the dynamic streaming model, we present a one-pass algorithm that with high probability computes a maximum weighted $k$-matching in $O(Wk^2 \cdot \mbox{polylog}(n)$ space and with $O(\mbox{polylog}(n))$ update time, where $W$ is the number of distinct edge weights. Again the update time of our algorithm improves the previous upper bound of $O(k^2 \cdot \mbox{polylog}(n))$. This algorithm, when applied to unweighted graphs, gives a streaming algorithm on the dynamic model whose space and update time complexities are both near-optimal. Our results also imply a streaming approximation algorithm for maximum weighted $k$-matching whose space complexity matches the best known upper bound with a significantly improved update time.


title: Egan conjecture holds

abstract: Given a Euclidean simplex of dimension $n\geqslant 2$ let its radii of inscribed and circumscribed spheres be $r$ and $R$, and the distance between the centers of the inscribed and circumscribed spheres be $d.$ Then, $(R-nr)(R+(n-2)r) \geqslant d^2.$


title: Understanding Documentation Use Through Log Analysis: An Exploratory Case Study of Four Cloud Services

abstract: Almost no modern software system is written from scratch, and developers are required to effectively learn to use third-party libraries or software services. Thus, many practitioners and researchers have looked for ways to create effective documentation that supports developers' learning. However, few efforts have focused on how people actually use the documentation. In this paper, we report on an exploratory, multi-phase, mixed methods empirical study of documentation page-view logs from four cloud-based industrial services. By analyzing page-view logs for over 100,000 users, we find diverse patterns of documentation page visits. Moreover, we show statistically that which documentation pages people visit often correlates with user characteristics such as past experience with the specific product, on the one hand, and with future adoption of the API on the other hand. We discuss the implications of these results on documentation design and propose documentation page-view log analysis as a feasible technique for design audits of documentation, from ones written for software developers to ones designed to support end users (e.g., Adobe Photoshop).


title: Uncertainty-aware transfer across tasks using hybrid model-based successor feature reinforcement learning

abstract: Sample efficiency is central to developing practical reinforcement learning (RL) for complex and large-scale decision-making problems. The ability to transfer and generalize knowledge gained from previous experiences to downstream tasks can significantly improve sample efficiency. Recent research indicates that successor feature (SF) RL algorithms enable knowledge generalization between tasks with different rewards but identical transition dynamics. It has recently been hypothesized that combining model-based (MB) methods with SF algorithms can alleviate the limitation of fixed transition dynamics. Furthermore, uncertainty-aware exploration is widely recognized as another appealing approach for improving sample efficiency. Putting together two ideas of hybrid model-based successor feature (MB-SF) and uncertainty leads to an approach to the problem of sample efficient uncertainty-aware knowledge transfer across tasks with different transition dynamics or/and reward functions. In this paper, the uncertainty of the value of each action is approximated by a Kalman filter (KF)-based multiple-model adaptive estimation. This KF-based framework treats the parameters of a model as random variables. To the best of our knowledge, this is the first attempt at formulating a hybrid MB-SF algorithm capable of generalizing knowledge across large or continuous state space tasks with various transition dynamics while requiring less computation at decision time than MB methods. The number of samples required to learn the tasks was compared to recent SF and MB baselines. The results show that our algorithm generalizes its knowledge across different transition dynamics, learns downstream tasks with significantly fewer samples than starting from scratch, and outperforms existing approaches.


title: Elucidating the Role of Filament Turnover in Cortical Flow using Simulations and Representation Learning

abstract: Cell polarization relies on long-range cortical flows, which are driven by active stresses and resisted by the cytoskeletal network. While the general mechanisms that contribute to cortical flows are known, a quantitative understanding of the factors that tune flow speeds has remained lacking. Here, we combine physical simulation, representation learning, and theory to elucidate the role of actin turnover in cortical flows. We show how turnover tunes the actin density and filament curvature and use representation learning to demonstrate that these quantities are sufficient to predict cortical flow speeds. We extend a recent theory for contractility to account for filament curvature in addition to the nonuniform distribution of crosslinkers along actin filaments due to turnover. We obtain formulas that can be used to fit data from simulations and microscopy experiments. Our work provides insights into the mechanisms of contractility that contribute to cortical flows and how they can be controlled quantitatively.


title: Do swimming animals mix the ocean?

abstract: The world's oceans are in constant motion, transporting the sun's heat from the equator to the poles, bringing marine life fresh supplies of oxygen and nutrients, and sequestering nearly half of our carbon dioxide emissions since the Industrial Revolution. Within this dynamic aquatic milieu exists another type of motion: the perpetual teeming of trillions of swimming animals. Are these organisms simply along for the ride, carried by the prevailing ocean currents and occasionally using their powers of locomotion to explore their surroundings; or could their propulsion result in dynamical feedbacks that influence the physical and biogeochemical structure of the ocean itself?


title: Get-A-Sense: Designing Spatial Context Awareness for Mobile AR Environment Understanding

abstract: Physical environment understanding is vital in delivering immersive and interactive mobile augmented reality (AR) user experiences. Recently, we have witnessed a transition in the design of environment understanding systems, from visual data focused to centering on the concept of spatial context, including user, device, and environment information. Even though spatial context can benefit the environment understanding tasks, e.g., we demonstrate in a case study that lighting estimation performance can be improved by as much as 59%, not all environment understanding systems support spatial context. Furthermore, even for the environment understanding systems that support spatial context, not all useful spatial context has been leveraged; and the design and implementation can differ vastly. In this paper, we advocate for the design of a spatial context-aware and shared environment understanding system that can effectively support multiple tasks simultaneously. Fundamentally, there are many practical challenges in designing such a unified environment understanding system. We discuss the challenges in the context of three open questions, (i) how to fully leverage user mobility, (ii) how to design a unified data model, and (iii) finally how to build a shared system for multiple tasks.


title: Vision and Language Navigation in the Real World via Online Visual Language Mapping

abstract: Navigating in unseen environments is crucial for mobile robots. Enhancing them with the ability to follow instructions in natural language will further improve navigation efficiency in unseen cases. However, state-of-the-art (SOTA) vision-and-language navigation (VLN) methods are mainly evaluated in simulation, neglecting the complex and noisy real world. Directly transferring SOTA navigation policies trained in simulation to the real world is challenging due to the visual domain gap and the absence of prior knowledge about unseen environments. In this work, we propose a novel navigation framework to address the VLN task in the real world. Utilizing the powerful foundation models, the proposed framework includes four key components: (1) an LLMs-based instruction parser that converts the language instruction into a sequence of pre-defined macro-action descriptions, (2) an online visual-language mapper that builds a real-time visual-language map to maintain a spatial and semantic understanding of the unseen environment, (3) a language indexing-based localizer that grounds each macro-action description into a waypoint location on the map, and (4) a DD-PPO-based local controller that predicts the action. We evaluate the proposed pipeline on an Interbotix LoCoBot WX250 in an unseen lab environment. Without any fine-tuning, our pipeline significantly outperforms the SOTA VLN baseline in the real world.


title: Implicit Representation of GRAPPA Kernels for Fast MRI Reconstruction

abstract: MRI data is acquired in Fourier space/k-space. Data acquisition is typically performed on a Cartesian grid in this space to enable the use of a fast Fourier transform algorithm to achieve fast and efficient reconstruction. However, it has been shown that for multiple applications, non-Cartesian data acquisition can improve the performance of MR imaging by providing fast and more efficient data acquisition, and improving motion robustness. Nonetheless, the image reconstruction process of non-Cartesian data is more involved and can be time-consuming, even through the use of efficient algorithms such as non-uniform FFT (NUFFT). Reconstruction complexity is further exacerbated when imaging in the presence of field imperfections. This work (implicit GROG) provides an efficient approach to transform the field corrupted non-Cartesian data into clean Cartesian data, to achieve simpler and faster reconstruction which should help enable non-Cartesian data sampling to be performed more widely in MRI.


title: Atiyah-Segal completion for the Hermitian K-theory of Symplectic Groups

abstract: We study equivariant Hermitian K-theory for representations of symplectic groups, especially $\mathrm{SL}_2$. The results are used to establish an Atiyah-Segal completion theorem for Hermitian $K$-theory and symplectic groups.


title: Unstable phenomena in stable magnetospheres: searching for radio flares from magnetic OBA stars using VCSS

abstract: Although the majority of hot magnetic stars have extremely stable, $\sim$kG strength surface magnetic fields with simple topologies, a subset undergo small-scale explosions due to centrifugal breakout (CBO). The resulting small-scale flares are typically below the sensitivity of current magentospheric diagnostics and do not generate detectable transient signatures. However, a recently reported radio flare from the hot magnetic star CU Vir suggests that some of the most energetic events do reach detectable levels. Motivated by this, we searched for transient radio sources in the first two epochs of the VLITE Commensal Sky Survey (VCSS) at the position of 761 hot magnetic stars. We report three detections. A false association analysis shows a less than 1% probability that the sources are imaging artifacts. We then examine the stellar parameters of the three stars to understand if they are likely to produce flares. We conclude that while at this stage we cannot make a definitive association of the detections with the stars, the current data are consistent with the hypothesis that the flares originate in the stellar magnetospheres.


title: Mechanism Design for Large Language Models

abstract: We investigate auction mechanisms for AI-generated content, focusing on applications like ad creative generation. In our model, agents' preferences over stochastically generated content are encoded as large language models (LLMs). We propose an auction format that operates on a token-by-token basis, and allows LLM agents to influence content creation through single dimensional bids. We formulate two desirable incentive properties and prove their equivalence to a monotonicity condition on output aggregation. This equivalence enables a second-price rule design, even absent explicit agent valuation functions. Our design is supported by demonstrations on a publicly available LLM.


title: Deep Policy Iteration for High-Dimensional Mean Field Games

abstract: This paper presents Deep Policy Iteration (DPI), a novel approach that integrates the power of Neural Networks with the stability and convergence advantages of the Policy Iteration (PI). DPI is specifically designed to address the computational complexities arising in high-dimensional stochastic Mean Field Games (MFG). Utilizing three neural networks trained iteratively, DPI adeptly approximates MFG solutions by solving PI equations and satisfying forward-backwards conditions. In contrast to PI, which is limited to low-dimensional problems due to the curse of dimensionality, DPI significantly expands the possibilities of PI, allowing it to be applied in high-dimensional cases for both separable and non-separable Hamiltonian. We illustrate the performance of our proposed approach with numerical examples.


title: Robustness and Approximation of Discrete-time Mean-field Games under Discounted Cost Criterion

abstract: In this paper, we investigate the robustness of stationary mean-field equilibria in the presence of model uncertainties, specifically focusing on infinite-horizon discounted cost functions. To achieve this, we initially establish convergence conditions for value iteration-based algorithms in mean-field games. Subsequently, utilizing these results, we demonstrate that the mean-field equilibrium obtained through this value iteration algorithm remains robust even in the face of system dynamics misspecifications. We then apply these robustness findings to the finite model approximation problem in mean-field games, showing that if the state space quantization is fine enough, the mean-field equilibrium for the finite model closely approximates the nominal one.


title: Winos from natural SUSY at the high luminosity LHC

abstract: In natural supersymmetric models defined by no worse than a part in thirty electroweak fine-tuning, winos and binos are generically expected to be much heavier than higgsinos. Moreover, the splitting between the higgsinos is expected to be small, so that the visible decay products of the heavier higgsinos are soft, rendering the higgsinos quasi-invisible at the LHC. Within the natural SUSY framwork, heavy electroweak gauginos decay to W, Z or h bosons plus higgsinos in the ratio ~2:1:1, respectively. This is in sharp contrast to models with a bino-like lightest superpartner and very heavy higgsinos, where the charged (neutral) wino essentially always decays to a W (h) boson and an invisible bino. Wino pair production at the LHC, in natural SUSY, thus leads to VV, Vh and hh+MET final states (V=W, Z) where, for TeV scale winos, the vector bosons and h daughters are considerably boosted. We identify eight different channels arising from the leptonic and hadronic decays of the vector bosons and the decay h-> b\bar{b}, each of which offers an avenue for wino discovery at the high luminosity LHC (HL-LHC). By combining the signal in all eight channels we find, assuming \sqrt{s}=14 TeV and an integrated luminosity of 3000 fb^{-1}, that the discovery reach for winos extends to m(wino)~1.1~TeV, while the 95% CL exclusion range extends to a wino mass of almost 1.4~TeV. We also identify ``higgsino specific channels'' which could serve to provide 3\sigma evidence that winos lighter than 1.2~TeV decay to light higgsinos rather than to a bino-like LSP, should a wino signal appear at the HL-LHC.


title: Fake News in Sheep's Clothing: Robust Fake News Detection Against LLM-Empowered Style Attacks

abstract: It is commonly perceived that online fake news and reliable news exhibit stark differences in writing styles, such as the use of sensationalist versus objective language. However, we emphasize that style-related features can also be exploited for style-based attacks. Notably, the rise of powerful Large Language Models (LLMs) has enabled malicious users to mimic the style of trustworthy news outlets at minimal cost. Our analysis reveals that LLM-camouflaged fake news content leads to substantial performance degradation of state-of-the-art text-based detectors (up to 38% decrease in F1 Score), posing a significant challenge for automated detection in online ecosystems. To address this, we introduce SheepDog, a style-agnostic fake news detector robust to news writing styles. SheepDog achieves this adaptability through LLM-empowered news reframing, which customizes each article to match different writing styles using style-oriented reframing prompts. By employing style-agnostic training, SheepDog enhances its resilience to stylistic variations by maximizing prediction consistency across these diverse reframings. Furthermore, SheepDog extracts content-focused veracity attributions from LLMs, where the news content is evaluated against a set of fact-checking rationales. These attributions provide supplementary information and potential interpretability that assist veracity prediction. On three benchmark datasets, empirical results show that SheepDog consistently yields significant improvements over competitive baselines and enhances robustness against LLM-empowered style attacks.


title: Accurate Data-Driven Surrogates of Dynamical Systems for Forward Propagation of Uncertainty

abstract: Stochastic collocation (SC) is a well-known non-intrusive method of constructing surrogate models for uncertainty quantification. In dynamical systems, SC is especially suited for full-field uncertainty propagation that characterizes the distributions of the high-dimensional primary solution fields of a model with stochastic input parameters. However, due to the highly nonlinear nature of the parameter-to-solution map in even the simplest dynamical systems, the constructed SC surrogates are often inaccurate. This work presents an alternative approach, where we apply the SC approximation over the dynamics of the model, rather than the solution. By combining the data-driven sparse identification of nonlinear dynamics (SINDy) framework with SC, we construct dynamics surrogates and integrate them through time to construct the surrogate solutions. We demonstrate that the SC-over-dynamics framework leads to smaller errors, both in terms of the approximated system trajectories as well as the model state distributions, when compared against full-field SC applied to the solutions directly. We present numerical evidence of this improvement using three test problems: a chaotic ordinary differential equation, and two partial differential equations from solid mechanics.


title: WTP$\,$10aaauow: Discovery of a new FU Ori outburst towards the RCW$\,$49 star-forming region in NEOWISE data

abstract: Large-amplitude accretion outbursts in young stars are expected to play a central role in proto-stellar assembly. Outburst identification historically has taken place using optical techniques, but recent, systematic infrared searches are enabling their discovery in heavily dust-obscured regions of the Galactic plane. Here, we present the discovery of WTP$\,$10aaauow, a large-amplitude mid-infrared (MIR) outburst identified in a systematic search of NEOWISE data using new image subtraction techniques. The source is located towards the RCW$\,$49 star-forming region, and estimated to be at a distance of $\approx 4\,$kpc via Gaia parallax measurement. Concurrent with the MIR brightening, the source underwent a $\gtrsim5\,$mag outburst in the optical and near-infrared (NIR) bands, reaching a peak luminosity of $\approx260\,$L$_\odot$ in 2014-2015, followed by a slow decline over the next 7 years. Analysis of the pre- and post-outburst spectral energy distributions reveal a pre-outburst stellar photosphere at a temperature of $3600-4000\,$K, surrounded by a likely two-component dust structure similar to a flat-spectrum or Class I type YSO. We present optical and NIR spectroscopy that show a GK-type spectrum in the optical bands exhibiting complex line profiles in strong absorption features, and evidence for a wind reaching a terminal velocity of $\approx 400\,$km$\,$s$^{-1}$. The NIR bands are characterized by a cooler M-type spectrum exhibiting a forest of atomic and molecular features. All together, the spectra demonstrate that WTP$\,$10aaauow is an FU Ori type outburst. Ongoing systematic infrared searches will continue to reveal the extent of this population in the Galactic disk.


title: Proper Laplacian Representation Learning

abstract: The ability to learn good representations of states is essential for solving large reinforcement learning problems, where exploration, generalization, and transfer are particularly challenging. The Laplacian representation is a promising approach to address these problems by inducing informative state encoding and intrinsic rewards for temporally-extended action discovery and reward shaping. To obtain the Laplacian representation one needs to compute the eigensystem of the graph Laplacian, which is often approximated through optimization objectives compatible with deep learning approaches. These approximations, however, depend on hyperparameters that are impossible to tune efficiently, converge to arbitrary rotations of the desired eigenvectors, and are unable to accurately recover the corresponding eigenvalues. In this paper we introduce a theoretically sound objective and corresponding optimization algorithm for approximating the Laplacian representation. Our approach naturally recovers both the true eigenvectors and eigenvalues while eliminating the hyperparameter dependence of previous approximations. We provide theoretical guarantees for our method and we show that those results translate empirically into robust learning across multiple environments.


title: Three-sublattice antiferro-type and ferri-type skyrmion crystals in centrosymmetric magnets

abstract: We numerically investigate the stability of the skyrmion crystals in a centrosymmetric lattice structure by focusing on the role of magnetic frustration arising from the multi-sublattice degree of freedom. By analyzing an effective three-sublattice spin model with the antiferromagnetic exchange interaction between different sublattices and the momentum-resolved exchange interaction between the same sublattice based on the simulated annealing, we find that various skyrmion crystal phases with sublattice-dependent skyrmion numbers are stabilized with and without an external magnetic field depending on the model parameters: two ferro-type skyrmion crystal phases with the skyrmion numbers of one and two, two ferri-type skyrmion crystal phases, and one antiferro-type skyrmion crystal phase. Our results indicate that the multi-sublattice degree of freedom brings a further intriguing possibility of inducing exotic skyrmion crystal phases.


title: Provable Probabilistic Imaging using Score-Based Generative Priors

abstract: Estimating high-quality images while also quantifying their uncertainty are two desired features in an image reconstruction algorithm for solving ill-posed inverse problems. In this paper, we propose plug-and-play Monte Carlo (PMC) as a principled framework for characterizing the space of possible solutions to a general inverse problem. PMC is able to incorporate expressive score-based generative priors for high-quality image reconstruction while also performing uncertainty quantification via posterior sampling. In particular, we introduce two PMC algorithms which can be viewed as the sampling analogues of the traditional plug-and-play priors (PnP) and regularization by denoising (RED) algorithms. We also establish a theoretical analysis for characterizing the convergence of the PMC algorithms. Our analysis provides non-asymptotic stationarity guarantees for both algorithms, even in the presence of non-log-concave likelihoods and imperfect score networks. We demonstrate the performance of the PMC algorithms on multiple representative inverse problems with both linear and nonlinear forward models. Experimental results show that PMC significantly improves reconstruction quality and enables high-fidelity uncertainty quantification.


title: Gaussian processes based data augmentation and expected signature for time series classification

abstract: The signature is a fundamental object that describes paths (that is, continuous functions from an interval to a Euclidean space). Likewise, the expected signature provides a statistical description of the law of stochastic processes. We propose a feature extraction model for time series built upon the expected signature. This is computed through a Gaussian processes based data augmentation. One of the main features is that an optimal feature extraction is learnt through the supervised task that uses the model.


title: Approximating Two-Layer Feedforward Networks for Efficient Transformers

abstract: How to reduce compute and memory requirements of neural networks (NNs) without sacrificing performance? Many recent works use sparse Mixtures of Experts (MoEs) to build resource-efficient large language models (LMs). Here we introduce several novel perspectives on MoEs, presenting a general framework that unifies various methods to approximate two-layer NNs (e.g., feedforward blocks of Transformers), including product-key memories (PKMs). Leveraging insights from this framework, we propose methods to improve both MoEs and PKMs. Unlike prior work that compares MoEs with dense baselines under the compute-equal condition, our evaluation condition is parameter-equal, which is crucial to properly evaluate LMs. We show that our MoEs are competitive with the dense Transformer-XL on both the WikiText-103 and enwiki8 datasets at two different scales, while being much more resource efficient. This demonstrates that MoEs are relevant not only to extremely large LMs but also to any-scale resource-efficient LMs. Our code is public.


title: Quantum tomography of helicity states for general scattering processes

abstract: Quantum tomography has become an indispensable tool in order to compute the density matrix $\rho$ of quantum systems in Physics. Recently, it has further gained importance as a basic step to test entanglement and violation of Bell inequalities in High-Energy Particle Physics. In this work, we present the theoretical framework for reconstructing the helicity quantum initial state of a general scattering process. In particular, we perform an expansion of $\rho$ over the irreducible tensor operators $\{T^L_M\}$ and compute the corresponding coefficients uniquely by averaging, under properly chosen Wigner D-matrices weights, the angular distribution data of the final particles. Besides, we provide the explicit angular dependence of both the normalised differential cross section and the generalised production matrix $\Gamma$. Finally, we re-derive all our previous results from a quantum-information perspective using the Weyl-Wigner-Moyal formalism and we obtain in addition simple analytical expressions for the Wigner $P$ and $Q$ symbols.


title: Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance

abstract: Autonomy advances have enabled robots in diverse environments and close human interaction, necessitating controllers with formal safety guarantees. This paper introduces an experimental platform designed for the validation and demonstration of a novel class of Control Barrier Functions (CBFs) tailored for Unmanned Ground Vehicles (UGVs) to proactively prevent collisions with kinematic obstacles by integrating the concept of collision cones. While existing CBF formulations excel with static obstacles, extensions to torque/acceleration-controlled unicycle and bicycle models have seen limited success. Conventional CBF applications in nonholonomic UGV models have demonstrated control conservatism, particularly in scenarios where steering/thrust control was deemed infeasible. Drawing inspiration from collision cones in path planning, we present a pioneering CBF formulation ensuring theoretical safety guarantees for both unicycle and bicycle models. The core premise revolves around aligning the obstacle's velocity away from the vehicle, establishing a constraint to perpetually avoid vectors directed towards it. This control methodology is rigorously validated through simulations and experimental verification on the Copernicus mobile robot (Unicycle Model) and FOCAS-Car (Bicycle Model).


title: Direct observation of small scale capillary wave turbulence using high speed digital holographic microscopy

abstract: It is now known that capillary waves driven upon a fluid interface by high frequency ($>1$~MHz) ultrasound exhibit capillary wave turbulence: the appearance of waves with phase and wavelength far removed from the excitation signal that drives them. An important step towards understanding atomization phenomena driven in this system, these capillary waves may now be studied using high-speed digital holographic microscopy. We observe Zakharov-Kolmogorov weak wave turbulence for a limited range of input power, and find broader turbulence phenomena outside this range. We see discrete thresholds as the input power is increased, where higher and higher frequency responses are driven in the capillary waves with sudden onset between regimes. Here, we employ spatial analysis to find one such extension of the capillary wave response to higher frequencies, suggesting there is additional information in the spatial distribution of the capillary wave that is rarely if ever measured. We verify via frequency modulation that nonlinear resonance broadening is present, which undermines the use of Faraday wave or parametric wave theories to characterize these waves, important in the context of atomization which is not a Faraday wave process.


title: A Machine Learning-based Algorithm for Automated Detection of Frequency-based Events in Recorded Time Series of Sensor Data

abstract: Automated event detection has emerged as one of the fundamental practices to monitor the behavior of technical systems by means of sensor data. In the automotive industry, these methods are in high demand for tracing events in time series data. For assessing the active vehicle safety systems, a diverse range of driving scenarios is conducted. These scenarios involve the recording of the vehicle's behavior using external sensors, enabling the evaluation of operational performance. In such setting, automated detection methods not only accelerate but also standardize and objectify the evaluation by avoiding subjective, human-based appraisals in the data inspection. This work proposes a novel event detection method that allows to identify frequency-based events in time series data. To this aim, the time series data is mapped to representations in the time-frequency domain, known as scalograms. After filtering scalograms to enhance relevant parts of the signal, an object detection model is trained to detect the desired event objects in the scalograms. For the analysis of unseen time series data, events can be detected in their scalograms with the trained object detection model and are thereafter mapped back to the time series data to mark the corresponding time interval. The algorithm, evaluated on unseen datasets, achieves a precision rate of 0.97 in event detection, providing sharp time interval boundaries whose accurate indication by human visual inspection is challenging. Incorporating this method into the vehicle development process enhances the accuracy and reliability of event detection, which holds major importance for rapid testing analysis.


title: A Note on Spherical Bundles on K3 Surfaces

abstract: Some questions are posted at the end of Chapter 16 of Huybrechts' book 'Lectures on K3 Surfaces', concerning the bounded derived category of a K3 surface $D^b(S)$. Let $E$ be a spherical object in $D^b(S)$. The first question asks if there always exists a non-zero object $F$ satisfying RHom$(E,F)=0$. Further, let $E$ be a spherical bundle. The second question is whether $E$ is always semistable with respect to some polarization on $S$ and if there is a way to `count' spherical bundles with a fixed Mukai vector. In this note, we provide (partial) answers to these two questions. In the appendix, Genki Ouchi shows that any spherical twist associated to an $n$-spherical object on a smooth projective $n$-dimensional variety is not conjugate to a standard autoequivalence.


title: Probabilistic Classification by Density Estimation Using Gaussian Mixture Model and Masked Autoregressive Flow

abstract: Density estimation, which estimates the distribution of data, is an important category of probabilistic machine learning. A family of density estimators is mixture models, such as Gaussian Mixture Model (GMM) by expectation maximization. Another family of density estimators is the generative models which generate data from input latent variables. One of the generative models is the Masked Autoregressive Flow (MAF) which makes use of normalizing flows and autoregressive networks. In this paper, we use the density estimators for classification, although they are often used for estimating the distribution of data. We model the likelihood of classes of data by density estimation, specifically using GMM and MAF. The proposed classifiers outperform simpler classifiers such as linear discriminant analysis which model the likelihood using only a single Gaussian distribution. This work opens the research door for proposing other probabilistic classifiers based on joint density estimation.


title: Survey of Vulnerabilities in Large Language Models Revealed by Adversarial Attacks

abstract: Large Language Models (LLMs) are swiftly advancing in architecture and capability, and as they integrate more deeply into complex systems, the urgency to scrutinize their security properties grows. This paper surveys research in the emerging interdisciplinary field of adversarial attacks on LLMs, a subfield of trustworthy ML, combining the perspectives of Natural Language Processing and Security. Prior work has shown that even safety-aligned LLMs (via instruction tuning and reinforcement learning through human feedback) can be susceptible to adversarial attacks, which exploit weaknesses and mislead AI systems, as evidenced by the prevalence of `jailbreak' attacks on models like ChatGPT and Bard. In this survey, we first provide an overview of large language models, describe their safety alignment, and categorize existing research based on various learning structures: textual-only attacks, multi-modal attacks, and additional attack methods specifically targeting complex systems, such as federated learning or multi-agent systems. We also offer comprehensive remarks on works that focus on the fundamental sources of vulnerabilities and potential defenses. To make this field more accessible to newcomers, we present a systematic review of existing works, a structured typology of adversarial attack concepts, and additional resources, including slides for presentations on related topics at the 62nd Annual Meeting of the Association for Computational Linguistics (ACL'24).


title: CoTFormer: More Tokens With Attention Make Up For Less Depth

abstract: The race to continually develop ever larger and deeper foundational models is underway. However, techniques like the Chain-of-Thought (CoT) method continue to play a pivotal role in achieving optimal downstream performance. In this work, we establish an approximate parallel between using chain-of-thought and employing a deeper transformer. Building on this insight, we introduce CoTFormer, a transformer variant that employs an implicit CoT-like mechanism to achieve capacity comparable to a deeper model. Our empirical findings demonstrate the effectiveness of CoTFormers, as they significantly outperform larger standard transformers.


title: Clebsch-Gordan coefficients for Macdonald polynomials

abstract: In this paper we use the double affine Hecke algebra to compute the Macdonald polynomial products $E_\ell P_m$ and $P_\ell P_m$ for type $SL_2$ and type $GL_2$ Macdonald polynomials. Our method follows the ideas of Martha Yip but executes a compression to reduce the sum from $2\cdot 3^{\ell-1}$ signed terms to $2\ell$ positive terms. We show that our rule for $P_\ell P_m$ is equivalent to a special case of the Pieri rule of Macdonald. Our method shows that computing $E_\ell\mathbf{1}_0$ and $\mathbf{1}_0 E_\ell \mathbf{1}_0$ in terms of a special basis of the double affine Hecke algebra provides universal compressed formulas for multiplication by $E_\ell$ and $P_\ell$. The formulas for a specific products $E_\ell P_m$ and $P_\ell P_m$ are obtained by evaluating the universal formulas at $t^{-\frac12}q^{-\frac{m}{2}}$.


title: Non-local features of the spin-orbit exciton in Kitaev materials

abstract: A comparative resonant inelastic x-ray scattering (RIXS) study of three well-known Kitaev materials is presented: $\alpha$-Li$_2$IrO$_3$, Na$_2$IrO$_3$, and $\alpha$-RuCl$_3$. Despite similar low-energy physics, these materials show distinct electronic properties, such as the large difference in the size of the charge gap. The RIXS spectra of the spin-orbit exciton for these materials show remarkably similar three-peak features, including sharp low energy peak (peak A) as well as transitions between $j_{\text{eff}}=1/2$ and $j_{\text{eff}}=3/2$ states. Comparison of experimental spectra with cluster calculations reveals that the observed three-peak structure reflects the significant role that non-local physics plays in the electronic structure of these materials. In particular, the low-energy peak A arises from a holon-doublon pair rather than a conventional particle-hole exciton as proposed earlier. Our study suggests that while spin-orbit assisted Mott insulator is still the best description for these materials, electron itinerancy cannot be ignored when formulating low-energy Hamiltonian of these materials.


title: The star formation, dust, and abundance of galaxies with unWISE-CIB cross-correlations

abstract: The cosmic infrared background (CIB) is the accumulated infrared (IR) radiation mainly from interstellar dust heated up by early stars. In this work, we measure the cross-correlation between galaxies from the unWISE catalog and the CIB maps from the Planck satellite to simultaneously constrain the cosmic star formation rate (SFR), dust spectral energy distribution (SED), and the halo occupation distribution (HOD). The unWISE galaxy catalog is divided into three tomographic bins centered at $z\sim 0.6, 1.1, 1.5$, and the CIB maps are at 353, 545, and 857 GHz. We measure the cross-correlations between these galaxy samples and CIB maps and get a 194$\sigma$ signal within an angular scale $100<\ell<2000$, from which we constrain two CIB halo models from previous literature and one new model. The SFR, SED, and HOD model parameters are constrained consistently among the three models. Specifically, the dust temperature at $z=0$ is constrained $T_0={21.14}^{+1.02}_{-1.34}$ K, which is slightly lower than $T_0=24.4\pm1.9$ K measured by the Planck collaboration. The halo mass that gives the most efficient star formation is around $10^{{11.79}^{+0.73}_{-0.86}}M_{\odot}$. From the model parameters, combined with the SFR density at $z=0$ synthesized from multi-wavelength observations, we break the degeneracy between SED and SFR and recover the cosmic star formation history that is consistent with multi-wavelength surveys. We also constrain the graybody SED model in agreement with previous measurements from infrared flux stacking. From the HOD constraints, we derive an increasing trend of galaxy linear bias along redshifts that agrees with the results from cross- and auto-correlation with unWise galaxies. This study indicates the power of using CIB-galaxy cross-correlation to study star formation, dust, and abundance of galaxies across cosmic time.


title: Results and Limits of Time Division Multiplexing for the BICEP Array High Frequency Receivers

abstract: Time-Division Multiplexing is the readout architecture of choice for many ground and space experiments, as it is a very mature technology with proven outstanding low-frequency noise stability, which represents a central challenge in multiplexing. Once fully populated, each of the two BICEP Array high frequency receivers, observing at 150GHz and 220/270GHz, will have 7776 TES detectors tiled on the focal plane. The constraints set by these two receivers required a redesign of the warm readout electronics. The new version of the standard Multi Channel Electronics, developed and built at the University of British Columbia, is presented here for the first time. BICEP Array operates Time Division Multiplexing readout technology to the limits of its capabilities in terms of multiplexing rate, noise and crosstalk, and applies them in rigorously demanding scientific application requiring extreme noise performance and systematic error control. Future experiments like CMB-S4 plan to use TES bolometers with Time Division/SQUID-based readout for an even larger number of detectors.


title: Digital interventions and habit formation in educational technology

abstract: As online educational technology products have become increasingly prevalent, rich evidence indicates that learners often find it challenging to establish regular learning habits and complete their programs. Concurrently, online products geared towards entertainment and social interactions are sometimes so effective in increasing user engagement and creating frequent usage habits that they inadvertently lead to digital addiction, especially among youth. In this project, we carry out a contest-based intervention, common in the entertainment context, on an educational app for Indian children learning English. Approximately ten thousand randomly selected learners entered a 100-day reading contest. They would win a set of physical books if they ranked sufficiently high on a leaderboard based on the amount of educational content consumed. Twelve weeks after the end of the contest, when the treatment group had no additional incentives to use the app, they continued their engagement with it at a rate 75\% higher than the control group, indicating a successful formation of a reading habit. In addition, we observed a 6\% increase in retention within the treatment group. These results underscore the potential of digital interventions in fostering positive engagement habits with educational technology products, ultimately enhancing users' long-term learning outcomes.


title: Tracking China's cross-strait bot networks against Taiwan

abstract: The cross-strait relationship between China and Taiwan is marked by increasing hostility around potential reunification. We analyze an unattributed bot network and how repeater bots engaged in an influence campaign against Taiwan following US House Speaker Nancy Pelosi's visit to Taiwan in 2022. We examine the message amplification tactics employed by four key bot sub-communities, the widespread dissemination of information across multiple platforms through URLs, and the potential targeted audiences of this bot network. We find that URL link sharing reveals circumvention around YouTube suspensions, in addition to the potential effectiveness of algorithmic bot connectivity to appear less bot-like, and detail a sequence of coordination within a sub-community for message amplification. We additionally find the narratives and targeted audience potentially shifting after account activity discrepancies, demonstrating how dynamic these bot networks can operate.


title: CP-violating top-Higgs coupling in SMEFT

abstract: The total cross section of the process $\mu^- \mu^+ \to \nu_\mu \bar{\nu}_\mu t \bar{t} H$ has strong dependence on the CP phase $\xi$ of the top Yukawa coupling, where the ratio of $\xi=\pi$ and $\xi = 0$ (SM) grows to 670 at $\sqrt{s}$ = 30 TeV, 3400 at 100 TeV. We study the cause of the strong energy dependence and identify its origin as the $(E/m_W^{})^2$ growth of the weak boson fusion sub-amplitudes, $W_L^- W_L^+ \to t \bar{t} H$, with the two $W$s are longitudinally polarized. We repeat the study in the SMEFT framework where EW gauge invariance is manifest and find that the highest energy cross section is reduced to a quarter of the complex top Yukawa model result, with the same energy power. By applying the Goldstone boson (GB) equivalence theorem, we identify the origin of this strong energy growth of the SMEFT amplitudes as associated with the dimension-6 $\pi^- \pi^+ ttH$ vertex, where $\pi^\pm$ denotes the GB of $W^\pm$. We obtain the unitarity bound on the coefficient of the SMEFT operator by studying all $2\to2$ and $2\to3$ cross sections in the $J=0$ channel.


title: Manta Ray Inspired Flapping-Wing Blimp

abstract: Lighter-than-air vehicles or blimps, are an evolving platform in robotics with several beneficial properties such as energy efficiency, collision resistance, and ability to work in close proximity to human users. While existing blimp designs have mainly used propeller-based propulsion, we focus our attention to an alternate locomotion method, flapping wings. Specifically, this paper introduces a flapping-wing blimp inspired by manta rays, in contrast to existing research on flapping-wing vehicles that draw inspiration from insects or birds. We present the overall design and control scheme of the blimp as well as the analysis on how the wing performs. The effects of wing shape and flapping characteristics on the thrust generation are studied experimentally. We also demonstrate that the flapping-wing blimp has a significant range advantage over a propeller-based system.


title: Assessing equation of state-independent relations for neutron stars with nonparametric models

abstract: Relations between neutron star properties that do not depend on the nuclear equation of state offer insights on neutron star physics and have practical applications in data analysis. Such relations are obtained by fitting to a range of phenomenological or nuclear physics equation of state models, each of which may have varying degrees of accuracy. In this study we revisit commonly-used relations and re-assess them with a very flexible set of phenomenological nonparametric equation of state models that are based on Gaussian Processes. Our models correspond to two sets: equations of state which mimic hadronic models, and equations of state with rapidly changing behavior that resemble phase transitions. We quantify the accuracy of relations under both sets and discuss their applicability with respect to expected upcoming statistical uncertainties of astrophysical observations. We further propose a goodness-of-fit metric which provides an estimate for the systematic error introduced by using the relation to model a certain equation-of-state set. Overall, the nonparametric distribution is more poorly fit with existing relations, with the I-Love-Q relations retaining the highest degree of universality. Fits degrade for relations involving the tidal deformability, such as the Binary-Love and compactness-Love relations, and when introducing phase transition phenomenology. For most relations, systematic errors are comparable to current statistical uncertainties under the nonparametric equation of state distributions.