title: An Integer Basis for Celestial Amplitudes

abstract: We present a discrete basis of solutions of the massless Klein-Gordon equation in 3+1 Minkowski space which transform as sl(2,C) Lorentz/conformal primaries and descendants, and whose elements all have integer conformal dimension. We show that the basis is complete in the sense that the Wightman function can be expressed as a quadratic sum over the basis elements.


title: High Pressure and Temperature Neural Network Reactive Force Field for Energetic Materials

abstract: Reactive force fields for molecular dynamics have enabled a wide range of studies in numerous material classes. These force fields are computationally inexpensive as compared to electronic structure calculations and allow for simulations of millions of atoms. However, the accuracy of traditional force fields is limited by their functional forms, preventing continual refinement and improvement. Therefore, we develop a neural network based reactive interatomic potential for the prediction of the mechanical, thermal, and chemical response of energetic materials at extreme conditions for energetic materials. The training set is expanded in an automatic iterative approach and consists of various CHNO materials and their reactions under ambient and under shock loading conditions. This new potential shows improved accuracy over the current state of the art force fields for a wide range of properties such as detonation performance, decomposition product formation, and vibrational spectra under ambient and shock loading conditions.


title: Binarized Neural Machine Translation

abstract: The rapid scaling of language models is motivating research using low-bitwidth quantization. In this work, we propose a novel binarization technique for Transformers applied to machine translation (BMT), the first of its kind. We identify and address the problem of inflated dot-product variance when using one-bit weights and activations. Specifically, BMT leverages additional LayerNorms and residual connections to improve binarization quality. Experiments on the WMT dataset show that a one-bit weight-only Transformer can achieve the same quality as a float one, while being 16x smaller in size. One-bit activations incur varying degrees of quality drop, but mitigated by the proposed architectural changes. We further conduct a scaling law study using production-scale translation datasets, which shows that one-bit weight Transformers scale and generalize well in both in-domain and out-of-domain settings. Implementation in JAX/Flax will be open sourced.


title: Certified simultaneous isotopic approximation of pairs of curves via subdivision

abstract: We present a certified algorithm based on subdivision for computing an isotopic approximation to a pair of curves in the plane. Our algorithm is based on the certified curve approximation algorithm of Plantinga and Vegter. The main challenge in this computation is to correctly and efficiently compute the intersections of the curves. To address this issue, we introduce a new, but simple test that guarantees the global correctness of our output.


title: Superresolution picks entanglement over coherence

abstract: Fundamental wave features of light play an important role in the realization of superresolution for two spatially separated point sources. It has been shown that (partial) coherence, which is an inevitable feature in practical light propagation, is harmful to measurement precision thus preventing superresolution. Here we study the quantitative effect of another fundamental feature, entanglement, on the quality of superresolution and compare it with that of coherence. Both single- and two-parameter estimations are analyzed in detail. Surprisingly, contrary to coherence, it is found that superresolution measurement precision (in terms of Fisher Information) can be enhanced as the amount of entanglement increases. More importantly, our analysis shows that non-zero entanglement always guarantees the non-vanishing of Fisher Information. Thus, while coherence is unwanted, entanglement is a favorable feature for superresolution.


title: Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule

abstract: In this paper, we review the undercutting attacks in the transaction-fee-based regime of proof-of-work (PoW) blockchains with the longest chain fork-choice rule. Next, we focus on the problem of fluctuations in mining revenue and the mining gap - i.e., a situation, in which the immediate reward from transaction fees does not cover miners' expenditures. To mitigate these issues, we propose a solution that splits transaction fees from a mined block into two parts - (1) an instant reward for the miner of a block and (2) a deposit sent to one or more fee-redistribution smart contracts ($\mathcal{FRSC}$s) that are part of the consensus protocol. At the same time, these redistribution smart contracts reward the miner of a block with a certain fraction of the accumulated funds of the incoming fees over a predefined time. This setting enables us to achieve several interesting properties that are beneficial for the incentive stability and security of the protocol. With our solution, the fraction of Default-Compliant miners who strictly do not execute undercutting attacks is lowered from the state-of-the-art result of 66% to 30%.


title: Quasi-degenerate baryon energy states, the Feynman--Hellmann theorem and transition matrix elements

abstract: The standard method for determining matrix elements in lattice QCD requires the computation of three-point correlation functions. This has the disadvantage of requiring two large time separations: one between the hadron source and operator and the other from the operator to the hadron sink. Here we consider an alternative formalism, based on the Dyson expansion leading to the Feynman-Hellmann theorem, which only requires the computation of two-point correlation functions. Both the cases of degenerate energy levels and quasi-degenerate energy levels which correspond to diagonal and transition matrix elements respectively can be considered in this formalism. As an example numerical results for the Sigma to Nucleon vector transition matrix element are presented.


title: Shallow Water Memory: Stokes and Darwin Drifts

abstract: It has been shown in \cite{Tong:2022gpg} that shallow water in the Euler description admits a dual gauge theory formulation. We show in the Lagrange description this gauge symmetry is a manifestation of the 2 dimensional area-preserving diffeomorphisms. We find surface charges associated with the gauge symmetry and their algebra, and study their physics in the shallow water system. In particular, we provide a reinterpretation of the Kelvin circulation theorem in terms of conserved charges. In the linear shallow water case, the charges form a u(1) current algebra with level proportional to the Coriolis parameter over the height of the fluid. We also study memory effect for the gauge theory description of the linearized shallow water and show Euler, Stokes and Darwin drifts can be understood as a memory effect and/or change of the surface charges in the gauge theory description.

categories: hep-th cond-mat.str-el physics.ao-ph physics.flu-dyn


title: Universal approach for quantum interfaces with atomic arrays

abstract: We develop a general approach for the characterization of atom-array platforms as light-matter interfaces, focusing on their application in quantum memory and photonic entanglement generation. Our approach is based on the mapping of atom-array problems to a generic 1D model of light interacting with a collective dipole. We find that the efficiency of light-matter coupling, which in turn determines those of quantum memory and entanglement, is given by the on-resonance reflectivity of the 1D scattering problem, $r_0=C/(1+C)$, where $C$ is a cooperativity parameter of the model. For 2D and 3D atomic arrays in free space, we derive the mapping parameter $C$ and hence $r_0$, while accounting for realistic effects such as the finite sizes of the array and illuminating beam and weak disorder in atomic positions. Our analytical results are verified numerically and reveal a key idea: efficiencies of quantum tasks are reduced by our approach to the classical calculation of a reflectivity. This provides a unified framework for the analysis of collective light-matter coupling in various relevant platforms such as optical lattices and tweezer arrays. Generalization to collective systems beyond arrays is discussed.


title: Flexible, Model-Agnostic Method for Materials Data Extraction from Text Using General Purpose Language Models

abstract: Accurate and comprehensive material databases extracted from research papers are crucial for materials science and engineering, but their development requires significant human effort. With large language models (LLMs) transforming the way humans interact with text, LLMs provide an opportunity to revolutionize data extraction. In this study, we demonstrate a simple and efficient method for extracting materials data from full-text research papers leveraging the capabilities of LLMs combined with human supervision. This approach is particularly suitable for mid-sized databases and requires minimal to no coding or prior knowledge about the extracted property. It offers high recall and nearly perfect precision in the resulting database. The method is easily adaptable to new and superior language models, ensuring continued utility. We show this by evaluating and comparing its performance on GPT-3 and GPT-3.5/4 (which underlie ChatGPT), as well as free alternatives such as BART and DeBERTaV3. We provide a detailed analysis of the method's performance in extracting sentences containing bulk modulus data, achieving up to 90% precision at 96% recall, depending on the amount of human effort involved. We further demonstrate the method's broader effectiveness by developing a database of critical cooling rates for metallic glasses over twice the size of previous human curated databases.


title: Experimental Demonstration of Network Convergence with Coherent and AnalogRadio-over-Fibre signals For Densified 5.5G/6G Small Cell Networks

abstract: In this work we analyse and demonstrate the coexistence of digital coherent and analogue radio over fibre signals over an access-metro transmission network and field fibre. We analyse how the spectral proximity of the two signals and the non-ideal filter alignment of typical telecomms-grade ROADMs affect the signal performance. Our results show that coexistence is indeed possible, although performance deteriorates with the increase in number of ROADMs in the network topology. Thus, while todays access-metro networks will be able to support future 5.5 and 6G cell densification operating at mmWave and THz frequency, using spectral efficient analogue radio over fibre transmission, there will be trade-offs to be considered. In our experiment setup, we show that the limit for ARoF accessible performance is reached after transmission over 3 ROADMs and a total of 49 km of fibre.


title: Virtual-Diagnostic-Based Time Stamping for Ultrafast Electron Diffraction

abstract: In this work, non-destructive virtual diagnostics are applied to retrieve the electron beam time of arrival and energy in a relativistic ultrafast electron diffraction (UED) beamline using independently-measured machine parameters. This technique has the potential to improve temporal resolution of pump and probe UED scans. Fluctuations in time of arrival have multiple components, including a shot-to-shot jitter and a long-term drift which can be separately addressed by closed loop feedback systems. A linear-regression-based model is used to fit the beam energy and time of arrival and is shown to be able to predict accurately behavior for both on long and short time scales. More advanced time-series analysis based on machine learning techniques can be applied to improve this prediction further.


title: ChemVise: Maximizing Out-of-Distribution Chemical Detection with the Novel Application of Zero-Shot Learning

abstract: Accurate chemical sensors are vital in medical, military, and home safety applications. Training machine learning models to be accurate on real world chemical sensor data requires performing many diverse, costly experiments in controlled laboratory settings to create a data set. In practice even expensive, large data sets may be insufficient for generalization of a trained model to a real-world testing distribution. Rather than perform greater numbers of experiments requiring exhaustive mixtures of chemical analytes, this research proposes learning approximations of complex exposures from training sets of simple ones by using single-analyte exposure signals as building blocks of a multiple-analyte space. We demonstrate this approach to synthetic sensor responses surprisingly improves the detection of out-of-distribution obscured chemical analytes. Further, we pair these synthetic signals to targets in an information-dense representation space utilizing a large corpus of chemistry knowledge. Through utilization of a semantically meaningful analyte representation spaces along with synthetic targets we achieve rapid analyte classification in the presence of obscurants without corresponding obscured-analyte training data. Transfer learning for supervised learning with molecular representations makes assumptions about the input data. Instead, we borrow from the natural language and natural image processing literature for a novel approach to chemical sensor signal classification using molecular semantics for arbitrary chemical sensor hardware designs.


title: Ringing Artifact Reduction Method for Ultrasound Reconstruction Using Multi-Agent Consensus Equilibrium

abstract: Non-destructive characterization of multi-layered structures that can be accessed from only a single side is important for applications such as well-bore integrity inspection. Existing methods related to Synthetic Aperture Focusing Technique (SAFT) rapidly produce acceptable results but with significant artifacts. Recently, ultrasound model-based iterative reconstruction (UMBIR) approaches have shown significant improvements over SAFT. However, even these methods produce ringing artifacts due to the high fractional-bandwidth of the excitation signal. In this paper, we propose a ringing artifact reduction method for ultrasound image reconstruction that uses a multi-agent consensus equilibrium (RARE-MACE) framework. Our approach integrates a physics-based forward model that accounts for the propagation of a collimated ultrasonic beam in multi-layered media, a spatially varying image prior, and a denoiser designed to suppress the ringing artifacts that are characteristic of reconstructions from high-fractional bandwidth ultrasound sensor data. We test our method on simulated and experimental measurements and show substantial improvements in image quality compared to SAFT and UMBIR.


title: Variational Benchmarks for Quantum Many-Body Problems

abstract: The continued development of novel many-body approaches to ground-state problems in physics and chemistry calls for a consistent way to assess its overall progress. Here we introduce a metric of variational accuracy, the V-score, obtained from the variational energy and its variance. We provide the most extensive curated dataset of variational calculations of many-body quantum systems to date, identifying cases where state-of-the-art numerical approaches show limited accuracy, and novel algorithms or computational platforms, such as quantum computing, could provide improved accuracy. The V-score can be used as a metric to assess the progress of quantum variational methods towards quantum advantage for ground-state problems, especially in regimes where classical verifiability is impossible.


title: Multiwavelength and astrometric study of the DBS-89-90-91 embedded clusters region

abstract: Aims. Our main targets were to improve the understanding of the main properties of G316.8-0.1 (IRAS 14416-5937) radio source where the DBS 89-90-91 embedded clusters are located, to identify the stellar population present in this region, and to study the interaction of these stars with the interstellar medium. Methods. We analyzed some characteristics of the G316.8-0.1 radio source consulting the SUMSS to study the radio continuum emission at 843 MHz and the H I SGPS at 21 cm. We also used photometric data at the JHK bands in the region of DBS 89-90-91 clusters obtained from the VVV survey and supplemented with 2MASS catalogue. The investigation of possible stars associated with the H II region was complemented with the astrometric analysis using the Gaia Early Data Release 3. To study the young stellar objects we consulted the mid-infrared photometric information from WISE, Spitzer-GLIMPSE Surveys, and MSX point source catalog. Results. The photometric and astrometric research carried out in the IRAS 14416-5937 region allowed us to improve the knowledge about the DBS 89-90-91 embedded clusters and their interaction with the interstellar medium. In the case of DBS 89 cluster, we identified 9 astrophotometric candidate members and 19 photometric candidate members, whereas of DB S 90-91 clusters we found 18 candidate photometric members. We obtained a distance value for DBS 89 linked to G316.8-0.1 radio source of 2.9 (0.5) kpc. We also investigated 12 Class I YSOc, 35 Class II YSOc, 2 MYSOc and 1 CH II region distributed throughout the IRAS 14416-5937 region. Our analysis revealed that the G316.8-0.1 radio source is optically thin at frequency > 0.56 GHz. The H II regions G316.8-0.1-A and G316.8-0.1-B have similar radii and ionized hydrogen masses of 0.5 pc and 35 M, respectively.


title: Q-system Completeness of Unitary Connections

abstract: A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category. In a recent joint work with P. Das, S. Ghosh and C. Jones, the author has categorified Bratteli diagrams and unitary connections by building a $2$-category \textbf{UC}. We prove that every $Q$-system in \textbf{UC} splits.


title: Validating AU Microscopii d with Transit Timing Variations

abstract: AU Mic is a young (22 Myr) nearby exoplanetary system that exhibits excess TTVs that cannot be accounted for by the two known transiting planets nor stellar activity. We present the statistical "validation" of the tentative planet AU Mic d (even though there are examples of "confirmed" planets with ambiguous orbital periods). We add 18 new transits and nine midpoint times in an updated TTV analysis to prior work. We perform the joint modeling of transit light curves using EXOFASTv2 and extract the transit midpoint times. Next, we construct an O-C diagram and use Exo-Striker to model the TTVs. We generate TTV log-likelihood periodograms to explore possible solutions for the period of planet d and then follow those up with detailed TTV and RV MCMC modeling and stability tests. We find several candidate periods for AU Mic d, all of which are near resonances with AU Mic b and c of varying order. Based on our model comparisons, the most-favored orbital period of AU Mic d is 12.73596+/-0.00793 days (T_{C,d}=2458340.55781+/-0.11641 BJD), which puts the three planets near a 4:6:9 mean-motion orbital resonance. The mass for d is 1.053+/-0.511 M_E, making this planet Earth-like in mass. If confirmed, AU Mic d would be the first known Earth-mass planet orbiting a young star and would provide a valuable opportunity in probing a young terrestrial planet's atmosphere. Additional TTV observation of the AU Mic system are needed to further constrain the planetary masses, search for possible transits of AU Mic d, and detect possible additional planets beyond AU Mic c.


title: Trouble with the Penrose diagram in spacetimes connected via a spacelike thin shell

abstract: In this article, we point out the issue of the first junction condition in the Penrose diagram constructed by cutting and pasting analytically known metrics with spherical symmetry by a static spacelike thin shell. We demonstrate this issue by using two examples -- the generalized black-to-white hole bounce with mass difference and the Schwarzschild-to-de Sitter transition. The goal is to construct the corresponding Penrose diagrams without any explicit or implicit illness at the thin shell. To accomplish this, we find that two coordinate transformations are required unless a special condition is met. The first transformation serves as the removal of the unwanted area while the second one reconciles the two different coordinate systems on two sides of the shell by removing an implicit discontinuity in the Penrose diagram of this type. However, the second transformation brings a different kind of coordinate singularity back to the event horizon. This coordinate singularity either creates a degeneracy such that all four-vectors are in 45$\degree$, or a degeneracy such that timelike vectors are parallel to the event horizon in the resulting Penrose diagram. We give geometric explanations for the discontinuity and this special type of coordinate singularity. We further show that no static conformal coordinates can cover all of the event horizons without having coordinate singularity at some of them. Lastly, we draw a comparison to the Reissner-Nordstr{\"o}m solution.


title: Local symmetries in $f(T)$-like models: lessons from 2D

abstract: The comprehension of the intricate structure associated to the local symmetries encoded in the tetrad field, as well as its physical meaning, is perhaps the most important unsolved problem within $f(T)$ gravity. This is inextricably connected to the number, nature and potential impact that the additional degree/s of freedom might have within these --and other closely related--models of gravity in which the local Lorentz invariance is broken at some level. Here we review and further explain some recent results which make use of the more placid scenery provided by 2D-torsional models of gravity, where the local symmetries adapted to a given geometry can be fully characterized.


title: Information Theoretic Lower Bounds for Information Theoretic Upper Bounds

abstract: We examine the relationship between the mutual information between the output model and the empirical sample and the generalization of the algorithm in the context of stochastic convex optimization. Despite increasing interest in information-theoretic generalization bounds, it is uncertain if these bounds can provide insight into the exceptional performance of various learning algorithms. Our study of stochastic convex optimization reveals that, for true risk minimization, dimension-dependent mutual information is necessary. This indicates that existing information-theoretic generalization bounds fall short in capturing the generalization capabilities of algorithms like SGD and regularized ERM, which have dimension-independent sample complexity.


title: COOLIO: A Language Support Extension for the Classroom Object Oriented Language

abstract: COOL is an Object-Oriented programming language used to teach compiler design in many undergraduate and graduate courses. Because most students are unfamiliar with the language and code editors and IDEs often lack the support for COOL, writing code and test programs in COOL are a burden to students, causing them to not fully understand many important and advanced features of the language and compiler. In this tool paper, we describe COOLIO,an extension to support COOL in the popular VSCode IDE. COOLIOprovides (i) syntax highlighting supports for the COOL language through lexing and parsing, (ii) semantics-aware autocompletion features that help students write less code and reduce the burden of having to remember unfamiliar COOL grammar and syntax, and (iii) relevant feedback from the underlying COOL interpreter/compiler (e.g., error messages, typing information) to the students through VSCode editor to aid debugging. We believe that COOLIO will help students enjoy writing COOL programs and consequently learn and appreciate more advanced compiler concepts.


title: Resolving the bow shock and tail of the cannonball pulsar PSR J0002+6216

abstract: We present X-ray and radio observations of the recently-discovered bow shock pulsar wind nebula associated with PSR J0002+6216, characterizing the PWN morphology, which was unresolved in previous studies. The multi-frequency, multi-epoch Very Large Array radio observations reveal a cometary tail trailing the pulsar and extending up to 5.3', with multiple kinks along the emission. The presented radio continuum images from multi-configuration broadband VLA observations are one of the first results from the application of multi-term multi-frequency synthesis deconvolution in combination with the awproject gridder implemented in the Common Astronomy Software Applications package (CASA). The X-ray emission observed with Chandra extends to only 21'', fades quickly, and has some hot spots present along the extended radio emission. These kinks could indicate the presence of density variation in the local ISM or turbulence. The bow shock standoff distance estimates a small bow shock region with a size 0.003-0.009 pc, consistent with the pulsar spin-down power of Edot=1.51x10^35 ergs/s estimated from timing. The high-resolution radio image reveals the presence of an asymmetry in the bow shock region which is also present in the X-ray image. The broadband radio image shows an unusually steep spectrum along with a flat-spectrum sheath, which could indicate varying opacity or energy injection into the region. Spatially-resolved X-ray spectra provide marginal evidence of synchrotron cooling along the extended tail. Our analysis of the X-ray data also shows that this pulsar has a low spin-down power and one of the lowest X-ray efficiencies observed in these objects.


title: Regularization for Strategy Exploration in Empirical Game-Theoretic Analysis

abstract: In iterative approaches to empirical game-theoretic analysis (EGTA), the strategy space is expanded incrementally based on analysis of intermediate game models. A common approach to strategy exploration, represented by the double oracle algorithm, is to add strategies that best-respond to a current equilibrium. This approach may suffer from overfitting and other limitations, leading the developers of the policy-space response oracle (PSRO) framework for iterative EGTA to generalize the target of best response, employing what they term meta-strategy solvers (MSSs). Noting that many MSSs can be viewed as perturbed or approximated versions of Nash equilibrium, we adopt an explicit regularization perspective to the specification and analysis of MSSs. We propose a novel MSS called regularized replicator dynamics (RRD), which simply truncates the process based on a regret criterion. We show that RRD is more adaptive than existing MSSs and outperforms them in various games. We extend our study to three-player games, for which the payoff matrix is cubic in the number of strategies and so exhaustively evaluating profiles may not be feasible. We propose a profile search method that can identify solutions from incomplete models, and combine this with iterative model construction using a regularized MSS. Finally, and most importantly, we reveal that the regret of best response targets has a tremendous influence on the performance of strategy exploration through experiments, which provides an explanation for the effectiveness of regularization in PSRO.


title: A closer look at low mass post-AGB late thermal pulses

abstract: Thermal Pulse (LTP) stellar evolution models experience a helium pulse that occurs following Asymptotic Giant Branch (AGB) departure and causes a rapid looping evolution in the HR Diagram between the Asymptotic Giant Branch (AGB) and Planetary Nebula phase (PN). The transient LTP phases only last decades to centuries while increasing and decreasing in temperature, luminosity, and size over orders of magnitude. LTP objects have often been described in the context of their more dramatic counterparts, very late thermal pulses (VLTP). LTP stars do not evolve as quickly and do not become as hydrogen deficient as VLTP objects. They do not become conspicuous until after resembling a Planetary Nebula for thousands of years. We present stellar evolution calculations from the AGB to the PN phase for models over a range of metallicities from, Z = 0.0015 through Z = 0.03, and for masses 0.90 $M_\odot$, 1.2 $M_\odot$, and 2.0 $M_\odot$. We focus in on our most dense series (1.2 $M_\odot$, Z = 0.015) and designate a stratification of late thermal pulse types based on at what temperature they erupt, which may hint at the progenitor mass. We discuss one type that fits neither a LTP nor VLTP, which may offer an explanation for the star FG Sge. We present the timescales during which LTP models heat up until they reach peak helium burning luminosity, during the rapid luminosity decline, and during the period of cooling and brightening, and we briefly discuss four LTP candidates.


title: Model-independent Odderon results based on TOTEM data on elastic proton-proton scattering at 8 TeV

abstract: We complete the model-independent analysis of the scaling properties of the differential cross section of elastic proton-proton cross sections, including new TOTEM data published in 2022 at $\sqrt{s} = 8$ TeV. We separate the signal and the background region with a new gating method. In the signal region, we find that the statistical significance of Odderon exchange from the combined 7.0 and 8.0 TeV $pp$ data of TOTEM and the 1.96 TeV $p\bar{p}$ data of D0 is at least 7.32$\sigma$. In the background region, the scaling functions of elastic proton-proton data at 7 and 8 TeV and that of elastic proton-antiproton scattering data at 1.96 TeV agree with a statistical significance not larger than 1.93$\sigma$.


title: In-Context Learning with Many Demonstration Examples

abstract: Large pre-training language models (PLMs) have shown promising in-context learning abilities. However, due to the backbone transformer architecture, existing PLMs are bottlenecked by the memory and computational cost when scaling up to a large context size, leaving instruction tuning and in-context learning of many demonstration examples, as well as long-range language modeling under-explored. In this study, we propose a long-range language model EVALM based on an efficient transformer mechanism. EVALM is trained with 8k tokens per batch line and can test up to 256k-lengthed contexts with extrapolation, 128 times to the limit of existing PLMs (e.g. GPT3). Based on EVALM, we scale up the size of examples efficiently in both instruction tuning and in-context learning to explore the boundary of the benefits from more annotated data. Experimental results on a diverse set of tasks show that EVALM achieves 4.1% higher accuracy on average, and the average length of achieving the best accuracy score over tasks is around 12k. We find that in-context learning can achieve higher performance with more demonstrations under many-shot instruction tuning (8k), and further extending the length of instructions (16k) can further improve the upper bound of scaling in-context learning.


title: A Composite T60 Regression and Classification Approach for Speech Dereverberation

abstract: Dereverberation is often performed directly on the reverberant audio signal, without knowledge of the acoustic environment. Reverberation time, T60, however, is an essential acoustic factor that reflects how reverberation may impact a signal. In this work, we propose to perform dereverberation while leveraging key acoustic information from the environment. More specifically, we develop a joint learning approach that uses a composite T60 module and a separate dereverberation module to simultaneously perform reverberation time estimation and dereverberation. The reverberation time module provides key features to the dereverberation module during fine tuning. We evaluate our approach in simulated and real environments, and compare against several approaches. The results show that this composite framework improves performance in environments.


title: Optimal Routing of Modular Agents on a Graph

abstract: Motivated by an emerging framework of Autonomous Modular Vehicles, we consider the abstract problem of optimally routing two modules, i.e., vehicles that can attach to or detach from each other in motion on a graph. The modules' objective is to reach a preset set of nodes while incurring minimum resource costs. We assume that the resource cost incurred by an agent formed by joining two modules is the same as that of a single module. Such a cost formulation simplistically models the benefits of joining two modules, such as passenger redistribution between the modules, less traffic congestion, and higher fuel efficiency. To find an optimal plan, we propose a heuristic algorithm that uses the notion of graph centrality to determine when and where to join the modules. Additionally, we use the nearest neighbor approach to estimate the cost routing for joined or separated modules. Based on this estimated cost, the algorithm determines the subsequent nodes for both modules. The proposed algorithm is polynomial time: the worst-case number of calculations scale as the eighth power of the number of the total nodes in the graph. To validate its benefits, we simulate the proposed algorithm on a large number of pseudo-random graphs, motivated by real transportation scenario where it performs better than the most relevant benchmark, an adapted nearest neighbor algorithm for two separate agents, more than 85 percent of the time.


title: Generalized Scaling for the Constrained Maximum-Entropy Sampling Problem

abstract: The best techniques for the constrained maximum-entropy sampling problem, a discrete-optimization problem arising in the design of experiments, are via a variety of concave continuous relaxations of the objective function. A standard bound-enhancement technique in this context is scaling. We extend this technique to generalized scaling, we give mathematical results aimed at supporting algorithmic methods for computing optimal generalized scalings, and we give computational results demonstrating the usefulness of generalized scaling on benchmark problem instances.


title: A kinetic perspective of charge transfer reactions: the downfall of hard/soft acid/base interactions

abstract: We show how to incorporate the possibility of kinetic control in the conceptual Density Functional Theory formalism. This allow us to prove that the hard/soft acid/base principle will likely fail when the reactions are not thermodynamically-driven.


title: Unsupervised ore/waste classification on open-cut mine faces using close-range hyperspectral data

abstract: The remote mapping of minerals and discrimination of ore and waste on surfaces are important tasks for geological applications such as those in mining. Such tasks have become possible using ground-based, close-range hyperspectral sensors which can remotely measure the reflectance properties of the environment with high spatial and spectral resolution. However, autonomous mapping of mineral spectra measured on an open-cut mine face remains a challenging problem due to the subtleness of differences in spectral absorption features between mineral and rock classes as well as variability in the illumination of the scene. An additional layer of difficulty arises when there is no annotated data available to train a supervised learning algorithm. A pipeline for unsupervised mapping of spectra on a mine face is proposed which draws from several recent advances in the hyperspectral machine learning literature. The proposed pipeline brings together unsupervised and self-supervised algorithms in a unified system to map minerals on a mine face without the need for human-annotated training data. The pipeline is evaluated with a hyperspectral image dataset of an open-cut mine face comprising mineral ore martite and non-mineralised shale. The combined system is shown to produce a superior map to its constituent algorithms, and the consistency of its mapping capability is demonstrated using data acquired at two different times of day.


title: Forms of del Pezzo surfaces of degree 5 and 6

abstract: In this paper we obtain necessary and sufficient condition for existence of del Pezzo surfaces of degree $5$ and $6$ over a field $K$ with a prescribed action of absolute Galois group $\text{Gal} ( K^{\text{sep}}/K)$ on the graph of $(-1)$-curves. Also we compute automorphism groups of del Pezzo surfaces of degree $5$ over arbitrary fields.


title: An Efficient Algorithm for Optimal Routing Through Constant Function Market Makers

abstract: Constant function market makers (CFMMs) such as Uniswap have facilitated trillions of dollars of digital asset trades and have billions of dollars of liquidity. One natural question is how to optimally route trades across a network of CFMMs in order to ensure the largest possible utility (as specified by a user). We present an efficient algorithm, based on a decomposition method, to solve the problem of optimally executing an order across a network of decentralized exchanges. The decomposition method, as a side effect, makes it simple to incorporate more complicated CFMMs, or even include 'aggregate CFMMs' (such as Uniswap v3), into the routing problem. Numerical results show significant performance improvements of this method, tested on realistic networks of CFMMs, when compared against an off-the-shelf commercial solver.


title: The effects of leaflet material properties on the simulated function of regurgitant mitral valves

abstract: Advances in three-dimensional imaging provide the ability to construct and analyze finite element (FE) models to evaluate the biomechanical behavior and function of atrioventricular valves. However, while obtaining patient-specific valve geometry is now possible, non-invasive measurement of patient-specific leaflet material properties remains nearly impossible. Both valve geometry and tissue properties play a significant role in governing valve dynamics, leading to the central question of whether clinically relevant insights can be attained from FE analysis of atrioventricular valves without precise knowledge of tissue properties. As such we investigated 1) the influence of tissue extensibility and 2) the effects of constitutive model parameters and leaflet thickness on simulated valve function and mechanics. We compared metrics of valve function (e.g., leaflet coaptation and regurgitant orifice area) and mechanics (e.g., stress and strain) across one normal and three regurgitant mitral valve (MV) models with common mechanisms of regurgitation (annular dilation, leaflet prolapse, leaflet tethering) of both moderate and severe degree. We developed a novel fully-automated approach to accurately quantify regurgitant orifice areas of complex valve geometries. We found that the relative ordering of the mechanical and functional metrics was maintained across a group of valves using material properties up to 15% softer than the representative adult mitral constitutive model. Our findings suggest that FE simulations can be used to qualitatively compare how differences and alterations in valve structure affect relative atrioventricular valve function even in populations where material properties are not precisely known.


title: Conceptual design of 20 T hybrid accelerator dipole magnets

abstract: Hybrid magnets are currently under consideration as an economically viable option towards 20 T dipole magnets for next generation of particle accelerators. In these magnets, High Temperature Superconducting (HTS) materials are used in the high field part of the coil with so-called insert coils, and Low Temperature Superconductors (LTS) like Nb3Sn and Nb-Ti superconductors are used in the lower field region with so-called outsert coils. The attractiveness of the hybrid option lays on the fact that, on the one hand, the 20 T field level is beyond the Nb3Sn practical limits of 15-16 T for accelerator magnets and can be achieved only via HTS materials; on the other hand, the high cost of HTS superconductors compared to LTS superconductors makes it advantageous exploring a hybrid approach, where the HTS portion of the coil is minimized. We present in this paper an overview of different design options aimed at generating 20 T field in a 50 mm clear aperture. The coil layouts investigated include the Cos-theta design (CT), with its variations to reduce the conductor peak stress, namely the Canted Cos-theta design (CCT) and the Stress Management Cos-theta design (SMCT), and, in addition, the Block-type design (BL) including a form of stress management and the Common-Coil design (CC). Results from a magnetic and mechanical analysis are discussed, with particular focus on the comparison between the different options regarding quantity of superconducting material, field quality, conductor peak stress, and quench protection.


title: The One-dimensional Version of Peixoto's Structural Stability Theorem: A Calculus-based Proof

abstract: Peixoto's structural stability and density theorems represent milestones in the modern theory of dynamical systems and their applications. Despite the importance of these theorems, they are often treated rather superficially, if at all, in upper level undergraduate courses on dynamical systems or differential equations. This is mainly because of the depth and length of the proofs. In this module, we formulate and prove the one-dimensional analogs of Peixoto's theorems in an intuitive and fairly simple way using only concepts and results that for the most part should be familiar to upper level undergraduate students in the mathematical sciences or related fields. The intention is to provide students who may be interested in further study in dynamical systems with an accessible one-dimensional treatment of structural stability theory that should help make Peixoto's theorems and their more recent generalizations easier to appreciate and understand. Further, we believe it is important and interesting for students to know the historical context of these discoveries since the mathematics was not done in isolation. The historical context is perhaps even more appropriate as it is the 100th anniversary of Mar\'ilia Chaves Peixoto and Mauricio Matos Peixoto's births, February 24th and April 15th 1921, respectively.


title: A Superconducting Nanowire Binary Shift Register

abstract: We present a design for a superconducting nanowire binary shift register, which stores digital states in the form of circulating supercurrents in high-kinetic-inductance loops. Adjacent superconducting loops are connected with nanocryotrons, three terminal electrothermal switches, and fed with an alternating two-phase clock to synchronously transfer the digital state between the loops. A two-loop serial-input shift register was fabricated with thin-film NbN and achieved a bit error rate less than $10^{-4}$, operating at a maximum clock frequency of $83\,\mathrm{MHz}$ and in an out-of-plane magnetic field up to $6\,\mathrm{mT}$. A shift register based on this technology offers an integrated solution for low-power readout of superconducting nanowire single photon detector arrays, and is capable of interfacing directly with room-temperature electronics and operating unshielded in high magnetic field environments.


title: Latitudinal Dynamics and Sectoral Structure of the Solar Magnetic Field

abstract: The study of the global structure of the large-scale magnetic field of the Sun is extremely important for creating a theoretical model of the dynamics of the Sun and predictions of the real situation in the helio- and geomagnetosphere. The purpose of the present study was to calculate the differential rotation period of a large-scale photospheric magnetic field, to study its behavior over time and to find out whether there is a sectoral structure of this field along the longitude. However, the choice of the coordinate system in which to search for it is far from unambiguous. This is closely related to the fact that the rotation of the Sun is differential in latitude and varies with depth and over time. Based on the observational data of the J. Wilcox Solar Observatory for three complete cycles of solar activity 21, 22 and 23, the period of rotation of the magnetic field at various latitudes and its change in time were calculated. A uniquely stable over 30 years longitude structure was found. It was determined that its speed of rotation coincides with the one with which the base of the convective shell rotates, that is, the structuring of the magnetic field of the Sun occurs in tachocline. This result clearly demonstrates the close connection of solar activity processes with the topology of magnetic fields, with their dynamics and depth stratification.


title: Learning Complex Teamwork Tasks Using a Given Sub-task Decomposition

abstract: Training a team to complete a complex task via multi-agent reinforcement learning can be difficult due to challenges such as policy search in a large joint policy space, and non-stationarity caused by mutually adapting agents. To facilitate efficient learning of complex multi-agent tasks, we propose an approach which uses an expert-provided decomposition of a task into simpler multi-agent sub-tasks. In each sub-task, a subset of the entire team is trained to acquire sub-task-specific policies. The sub-teams are then merged and transferred to the target task, where their policies are collectively fine-tuned to solve the more complex target task. We show empirically that such approaches can greatly reduce the number of timesteps required to solve a complex target task relative to training from-scratch. However, we also identify and investigate two problems with naive implementations of approaches based on sub-task decomposition, and propose a simple and scalable method to address these problems which augments existing actor-critic algorithms. We demonstrate the empirical benefits of our proposed method, enabling sub-task decomposition approaches to be deployed in diverse multi-agent tasks.


title: Efficient Propagation of Uncertainty via Reordering Monte Carlo Samples

abstract: Uncertainty analysis in the outcomes of model predictions is a key element in decision-based material design to establish confidence in the models and evaluate the fidelity of models. Uncertainty Propagation (UP) is a technique to determine model output uncertainties based on the uncertainty in its input variables. The most common and simplest approach to propagate the uncertainty from a model inputs to its outputs is by feeding a large number of samples to the model, known as Monte Carlo (MC) simulation which requires exhaustive sampling from the input variable distributions. However, MC simulations are impractical when models are computationally expensive. In this work, we investigate the hypothesis that while all samples are useful on average, some samples must be more useful than others. Thus, reordering MC samples and propagating more useful samples can lead to enhanced convergence in statistics of interest earlier and thus, reducing the computational burden of UP process. Here, we introduce a methodology to adaptively reorder MC samples and show how it results in reduction of computational expense of UP processes.


title: Presence of liquid water during the evolution of exomoons orbiting ejected free-floating planets

abstract: Free-floating planets (FFPs) can result from dynamical scattering processes happening in the first few million years of a planetary system's life. Several models predict the possibility, for these isolated planetary-mass objects, to retain exomoons after their ejection. The tidal heating mechanism and the presence of an atmosphere with a relatively high optical thickness may support the formation and maintenance of oceans of liquid water on the surface of these satellites. In order to study the timescales over which liquid water can be maintained, we perform dynamical simulations of the ejection process and infer the resulting statistics of the population of surviving exomoons around free-floating planets. The subsequent tidal evolution of the moons' orbital parameters is a pivotal step to determine when the orbits will circularize, with a consequential decay of the tidal heating. We find that close-in ($a \lesssim 25 $R$_{\rm J}$) Earth-mass moons with CO$_2$-dominated atmospheres could retain liquid water on their surfaces for long timescales, depending on the mass of the atmospheric envelope and the surface pressure assumed. Massive atmospheres are needed to trap the heat produced by tidal friction that makes these moons habitable. For Earth-like pressure conditions ($p_0$ = 1 bar), satellites could sustain liquid water on their surfaces up to 52 Myr. For higher surface pressures (10 and 100 bar), moons could be habitable up to 276 Myr and 1.6 Gyr, respectively. Close-in satellites experience habitable conditions for long timescales, and during the ejection of the FFP remain bound with the escaping planet, being less affected by the close encounter.


title: Gaussian Process-Gated Hierarchical Mixtures of Experts

abstract: In this paper, we propose novel Gaussian process-gated hierarchical mixtures of experts (GPHMEs). Unlike other mixtures of experts with gating models linear in the input, our model employs gating functions built with Gaussian processes (GPs). These processes are based on random features that are non-linear functions of the inputs. Furthermore, the experts in our model are also constructed with GPs. The optimization of the GPHMEs is performed by variational inference. The proposed GPHMEs have several advantages. They outperform tree-based HME benchmarks that partition the data in the input space, and they achieve good performance with reduced complexity. Another advantage is the interpretability they provide for deep GPs, and more generally, for deep Bayesian neural networks. Our GPHMEs demonstrate excellent performance for large-scale data sets, even with quite modest sizes.


title: NR Conformance Testing of Analog Radio-over-LWIR FSO Fronthaul link for 6G Distributed MIMO Networks

abstract: We experimentally test the compliance with 5G/NR 3GPP technical specifications of an analog radio-over-FSO link at 9 {\mu}m. The ACLR and EVM transmitter requirements are fulfilled validating the suitability of LWIR FSO for 6G fronthaul.


title: Almost-Nash Sequential Bargaining

abstract: In a 2017 paper, later presented at the Web and Internet Economics conference, titled ``Sequential Deliberation for Social Choice", the authors propose a mechanism in which a series of agents, are tasked to negotiate over a set of decisions S. Building on assumptions of Nash Bargaining and assuming the decision space follows the median graph, the authors constructed a robust algorithm which approximates the decision which minimizes the social cost to the entire population. In this paper, we give a brief overview of the background theory which this paper builds upon from foundational work from Nash, and social choice results which hold true in Condorcet mechanisms. Following this analysis, we consider the stability of the results in the paper with different deviations from Nash equilibrium. These deviations could be pessimal, in the context of unequal bargaining power (say in a labor market) or constructive, as in the context of opinion dynamics. Our analysis is observatory, in the context of simulations, and we hope to formalize the results of these simulations to get an understanding of more general properties in spaces beyond our simulation.


title: Monte Carlo modelling of the linear Breit-Wheeler process within the GEANT4 framework

abstract: A linear Breit-Wheeler module for the code Geant4 has been developed. This allows signal-to-noise ratio calculations of linear Breit-Wheeler detection experiments to be performed within a single framework. The interaction between two photon sources is modelled by treating one as a static field, then photons from the second source are sampled and tracked through the field. To increase the efficiency of the module, we have used a Gaussian process regression, which can lead to an increase in the calculation rate by a factor of up to 1000. To demonstrate the capabilities of this module, we use it to perform a parameter scan, modelling an experiment based on that recently reported by Kettle et al. [1]. We show that colliding $50\,$fs duration $\gamma$-rays, produced through bremsstrahlung emission of a $100\,$pC, $2\,$GeV laser wakefield accelerator beam, with a $50\,$ps X-ray field, generated by a germanium burn-through foil heated to temperatures $>\,150\,$eV, this experiment is capable of producing $>1\,$ Breit-Wheeler pair per shot.


title: Experimental and LBM analysis of medium-Reynolds number fluid flow around NACA0012 airfoil

abstract: Cornerstone of this research is the examination of fluid flow around NACA0012 airfoil, with the aim of the numerical validation between the experimental results in the wind tunnel and the Lattice Boltzmann Method (LBM) analysis, for the medium Reynolds number (Re = 191000). The LBM-Large Eddy Simulation (LES) method described in this paper opens up opportunities for faster computational fluid dynamics (CFD) analysis, because of the LBM scalability on high performance computing architectures, more specifically general purpose graphics processing units (GPGPUs), pertaining at the same time the high resolution LES approach. Process starts with data collection in open-circuit wind tunnel experiment. Furthermore, the pressure coefficient, as a comparative variable, has been used with varying angle of attack (2, 4, 6 and 8 degrees) for both experiment and LBM analysis. To numerically reproduce the experimental results, the LBM coupled with the LES turbulence model, the generalized wall function (GWF) and the cumulant collision operator with D3Q27 velocity set has been employed. Also, a mesh independence study has been provided to ensure result congruence. The proposed LBM methodology is capable of highly accurate predictions when compared to experimental data. Besides, the special significance of this work is the possibility of experimental and CFD comparison for the same domain dimensions. Considering the quality of results, Root-Mean-Square Error (RMSE) shows good correlations both for airfoil's upper and lower surface. More precisely, maximal RMSE for the upper surface is 0.105, while 0.089 for the lower surface, regarding all angles of attack.


title: Ambient Dose and Dose Rate Measurement in SNOLAB Underground Laboratory at Sudbury, Ontario, Canada

abstract: The paper describes a system and experimental procedure that use integrating passive detectors, such as thermoluminescent dosimeters (TLDs), for the measurement of ultra-low-level ambient dose equivalent rate values at the underground SNOLAB facility located in Sudbury, Ontario, Canada. Because these detectors are passive and can be exposed for relatively long periods of time, they can provide better sensitivity for measuring ultra-low activity levels. The final characterization of ultra-low-level ambient dose around water shielding for ongoing direct dark matter search experiments in Cube Hall at SNOLAB underground laboratory is given. The conclusion is that TLDs provide reliable results in the measurement of the ultra-low-level environmental radiation background.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: The Monge Gap: A Regularizer to Learn All Transport Maps

abstract: Optimal transport (OT) theory has been been used in machine learning to study and characterize maps that can push-forward efficiently a probability measure onto another. Recent works have drawn inspiration from Brenier's theorem, which states that when the ground cost is the squared-Euclidean distance, the ``best'' map to morph a continuous measure in $\mathcal{P}(\Rd)$ into another must be the gradient of a convex function. To exploit that result, [Makkuva+ 2020, Korotin+2020] consider maps $T=\nabla f_\theta$, where $f_\theta$ is an input convex neural network (ICNN), as defined by Amos+2017, and fit $\theta$ with SGD using samples. Despite their mathematical elegance, fitting OT maps with ICNNs raises many challenges, due notably to the many constraints imposed on $\theta$; the need to approximate the conjugate of $f_\theta$; or the limitation that they only work for the squared-Euclidean cost. More generally, we question the relevance of using Brenier's result, which only applies to densities, to constrain the architecture of candidate maps fitted on samples. Motivated by these limitations, we propose a radically different approach to estimating OT maps: Given a cost $c$ and a reference measure $\rho$, we introduce a regularizer, the Monge gap $\mathcal{M}^c_{\rho}(T)$ of a map $T$. That gap quantifies how far a map $T$ deviates from the ideal properties we expect from a $c$-OT map. In practice, we drop all architecture requirements for $T$ and simply minimize a distance (e.g., the Sinkhorn divergence) between $T\sharp\mu$ and $\nu$, regularized by $\mathcal{M}^c_\rho(T)$. We study $\mathcal{M}^c_{\rho}$, and show how our simple pipeline outperforms significantly other baselines in practice.


title: Mixed formulation of physics-informed neural networks for thermo-mechanically coupled systems and heterogeneous domains

abstract: Physics-informed neural networks (PINNs) are a new tool for solving boundary value problems by defining loss functions of neural networks based on governing equations, boundary conditions, and initial conditions. Recent investigations have shown that when designing loss functions for many engineering problems, using first-order derivatives and combining equations from both strong and weak forms can lead to much better accuracy, especially when there are heterogeneity and variable jumps in the domain. This new approach is called the mixed formulation for PINNs, which takes ideas from the mixed finite element method. In this method, the PDE is reformulated as a system of equations where the primary unknowns are the fluxes or gradients of the solution, and the secondary unknowns are the solution itself. In this work, we propose applying the mixed formulation to solve multi-physical problems, specifically a stationary thermo-mechanically coupled system of equations. Additionally, we discuss both sequential and fully coupled unsupervised training and compare their accuracy and computational cost. To improve the accuracy of the network, we incorporate hard boundary constraints to ensure valid predictions. We then investigate how different optimizers and architectures affect accuracy and efficiency. Finally, we introduce a simple approach for parametric learning that is similar to transfer learning. This approach combines data and physics to address the limitations of PINNs regarding computational cost and improves the network's ability to predict the response of the system for unseen cases. The outcomes of this work will be useful for many other engineering applications where deep learning is employed on multiple coupled systems of equations for fast and reliable computations.


title: Constraints for eliminating the Gibbs phenomenon in finite element approximation spaces

abstract: One of the major challenges in finite element methods is the mitigation of spurious oscillations near sharp layers and discontinuities known as the Gibbs phenomenon. In this article, we propose a set of functionals to identify spurious oscillations in best approximation problems in finite element spaces. Subsequently, we adopt these functionals in the formulation of constraints in an effort to eliminate the Gibbs phenomenon. By enforcing these constraints in best approximation problems, we can entirely eliminate over- and undershoot in one dimensional continuous approximations, and significantly suppress them in one- and higher-dimensional discontinuous approximations.


title: Basic curvature and the Atiyah cocycle in gauge theory

abstract: We study connections on higher structures such as Lie and Courant algebroids and their description as differential graded manifolds and explore the role of their basic curvature tensor and of the Atiyah cocycle in topological sigma models and higher gauge theories. The basic curvature of a connection on a Lie algebroid is a measure for the compatibility of the connection with the Lie bracket and it appears in the BV operator of topological sigma models in 2D. Here we define a basic curvature tensor for connections on Courant algebroids and we show that in the description of a Courant algebroid as a QP manifold it appears naturally as part of the homological vector field together with the Gualtieri torsion of a generalised connection. The Atiyah cocycle of a connection on a differential graded manifold is a measure of the compatibility of the connection with the homological vector field. We argue that in the graded-geometric description of higher gauge theories, the structure of gauge transformations is governed by a Kapranov L$_{\infty}[1]$ algebra, whose binary bracket is given by the Atiyah cocycle. We also revisit some aspects of derived structures and we uncover the role of the Atiyah cocycle in deriving $E$-tensors for $E$-connections on Lie and Courant algebroids from ordinary tensors on differential graded manifolds.


title: Can QBism exist without Q? Morphophoric measurements in generalised probabilistic theories

abstract: In a Generalised Probabilistic Theory (GPT) equipped additionally with some extra geometric structure we define the morphophoric measurements as those for which the measurement map transforming states into distributions of the measurement results is a similarity. In the quantum case, morphophoric measurements generalise the notion of a 2-design POVM, thus in particular that of a SIC-POVM. We show that the theory built on this class of measurements retains the chief features of the QBism approach to the basis of quantum mechanics. In particular, we demonstrate how to extend the primal equation (`Urgleichung') of QBism, designed for SIC-POVMs, to the morphophoric case of GPTs. In the latter setting, the equation takes a different, albeit more symmetric, form, but all the quantities that appear in it can be interpreted in probabilistic and operational terms, as in the original `Urgleichung'.


title: The Superluminous Type IIn Supernova ASASSN-15ua: Part of a continuum in extreme precursor mass loss

abstract: We present a series of ground-based photometry and spectroscopy of the superluminous Type IIn supernova (SN) ASASSN-15ua, which shows evidence for strong interaction with pre-existing dense circumstellar material (CSM). Our observations constrain the speed, mass-loss rate, and extent of the progenitor wind shortly before explosion. A narrow P Cygni absorption component reveals a progenitor wind speed of $\sim$100 km s$^{-1}$. As observed in previous SNe IIn, the intermediate-width H$\alpha$ emission became more asymmetric and blueshifted over time, suggesting either asymmetric CSM, an asymmetric explosion, or increasing selective extinction from dust within the post-shock shell or SN ejecta. Based on the CSM radius and speed, we find that the progenitor suffered extreme eruptive mass loss with a rate of 0.1-1 M$_\odot$ yr$^{-1}$ during the $\sim$12 years immediately before the death of the star that imparted $\sim$ 10$^{48}$ erg of kinetic energy to the CSM. Integrating its $V$-band light curve over the first 170 days after discovery, we find that ASASSN-15ua radiated at least 3$\times$10$^{50}$ erg in visual light alone, giving a lower limit to the total radiated energy that may have approached 10$^{51}$ erg. ASASSN-15ua exhibits many similarities to two well-studied superluminous SNe IIn: SN 2006tf and SN 2010jl. Based on a detailed comparison of these three, we find that ASASSN-15ua falls in between these two events in a wide variety of observed properties and derived physical parameters, illustrating a continuum of behavior across superluminous SNe IIn.


title: Hypernetworks build Implicit Neural Representations of Sounds

abstract: Implicit Neural Representations (INRs) are nowadays used to represent multimedia signals across various real-life applications, including image super-resolution, image compression, or 3D rendering. Existing methods that leverage INRs are predominantly focused on visual data, as their application to other modalities, such as audio, is nontrivial due to the inductive biases present in architectural attributes of image-based INR models. To address this limitation, we introduce HyperSound, the first meta-learning approach to produce INRs for audio samples that leverages hypernetworks to generalize beyond samples observed in training. Our approach reconstructs audio samples with quality comparable to other state-of-the-art models and provides a viable alternative to contemporary sound representations used in deep neural networks for audio processing, such as spectrograms.


title: Using Echo State Networks to Inform Physical Models for Fire Front Propagation

abstract: Wildfires can be devastating, causing significant damage to property, ecosystem disruption, and loss of life. Forecasting the evolution of wildfire boundaries is essential to real-time wildfire management. To this end, substantial attention in the wildifre literature has focused on the level set method, which effectively represents complicated boundaries and their change over time. Nevertheless, most of these approaches rely on a heavily-parameterized formulas for spread and fail to account for the uncertainty in the forecast. The rapid evolution of large wildfires and inhomogeneous environmental conditions across the domain of interest (e.g., varying land cover, fire-induced winds) give rise to a need for a model that enables efficient data-driven learning of fire spread and allows uncertainty quantification. Here, we present a novel hybrid model that nests an echo state network to learn nonlinear spatio-temporal evolving velocities (speed in the normal direction) within a physically-based level set model framework. This model is computationally efficient and includes calibrated uncertainty quantification. We show the forecasting performance of our model with simulations and two real data sets - the Haybress and Thomas megafires that started in California (USA) in 2017.


title: Design of the Reverse Logistics System for Medical Waste Recycling Part I: System Architecture and Disposal Site Selection Algorithm

abstract: With social progress and the development of modern medical technology, the amount of medical waste generated is increasing dramatically. The problem of medical waste recycling and treatment has gradually drawn concerns from the whole society. The sudden outbreak of the COVID-19 epidemic further brought new challenges. To tackle the challenges, this study proposes a reverse logistics system architecture with three modules, i.e., medical waste classification & monitoring module, temporary storage & disposal site (disposal site for short) selection module, as well as route optimization module. This overall solution design won the Grand Prize of the "YUNFENG CUP" China National Contest on Green Supply and Reverse Logistics Design ranking 1st. This paper focuses on the description of architectural design and the module on site selection. Specifically, regarding system architecture, a framework diagram is provided, together with brief descriptions of the three proposed modules and a case study under the COVID-19 epidemic with the customized model. Regarding the disposal site selection module, a multi-objective optimization model is developed, and considering different types of waste collection sites (i.e., prioritized large collection sites and common collection sites), a hierarchical solution method is developed employing linear programming and K-means clustering algorithms sequentially. The proposed site selection method is verified with a case study using real-world data, and compared with the baseline, it can immensely reduce the daily operational costs and working time. Limited by length, detailed descriptions of the whole system as well as the remaining medical waste classification & monitoring module and route optimization module can be found at https://shorturl.at/cdY59.


title: Quantum cosmology, eternal inflation, and swampland conjectures

abstract: In light of the recent swampland conjectures, we explore quantum cosmology and eternal inflation beyond the slow roll regime. We consider a model of a closed universe with a scalar field $\phi$ in the framework of tunneling approach to quantum cosmology. The scalar field potential is assumed to have a maximum at $\phi=0$ and can be approximated in its vicinity as $V(\phi)\approx 3H^{2}-\frac{1}{2}m^{2}\phi^{2}$. Using the instanton method, we find that for $m<2H$ the dominant nucleation channel for the universe is tunneling to a homogeneous, spherical de Sitter space. For larger values of $m/H$, the most probable tunneling is to an inhomogeneous closed universe with a domain wall wrapped around its equator. We determine the quantum state of the field $\phi$ in the nucleated universe by solving the Wheeler-DeWitt equation with tunneling boundary conditions. Our results agree with earlier work which assumed a slow-roll regime $m\ll H$. We finally show that spherical universes nucleating with $m<2H$ undergo stochastic eternal inflation with inflating regions forming a fractal of dimension $d>2$. For larger values of $m$ the field $\phi$ is unstable with respect to formation of domain walls and cannot be described by a perturbative stochastic approach.


title: Quadratic Memory is Necessary for Optimal Query Complexity in Convex Optimization: Center-of-Mass is Pareto-Optimal

abstract: We give query complexity lower bounds for convex optimization and the related feasibility problem. We show that quadratic memory is necessary to achieve the optimal oracle complexity for first-order convex optimization. In particular, this shows that center-of-mass cutting-planes algorithms in dimension $d$ which use $\tilde O(d^2)$ memory and $\tilde O(d)$ queries are Pareto-optimal for both convex optimization and the feasibility problem, up to logarithmic factors. Precisely, we prove that to minimize $1$-Lipschitz convex functions over the unit ball to $1/d^4$ accuracy, any deterministic first-order algorithms using at most $d^{2-\delta}$ bits of memory must make $\tilde\Omega(d^{1+\delta/3})$ queries, for any $\delta\in[0,1]$. For the feasibility problem, in which an algorithm only has access to a separation oracle, we show a stronger trade-off: for at most $d^{2-\delta}$ memory, the number of queries required is $\tilde\Omega(d^{1+\delta})$. This resolves a COLT 2019 open problem of Woodworth and Srebro.


title: Ancient Ricci pancakes of bounded girth

abstract: For each $n\ge 3$, we construct an $O(2)\times O(n-1)$-invariant ancient Ricci flow on the $n$-sphere $S^n$ with positive curvature operator and bounded "girth". As time approaches minus infinity, it decomposes into a flat cylinder $S^1\times \mathbb{R}^{n-1}$ in the "waist" region and an $(n-2)$-plane of cigar solitons around any point in the "tip" region (both of which are of the same scale). This solution appears to be new, even in dimension three.


title: Guttation Monitor: Wearable Guttation Sensor for Plant Condition Monitoring and Diagnosis

abstract: Plant life plays a critical role in the ecosystem. However, it is difficult for humans to perceive plants' reactions because the biopotential and biochemical responses are invisible to humans. Guttation droplets contain various chemicals which can reflect plant physiology and environmental conditions in real-time. Traditionally, these droplets are collected manually and analyzed in the lab with expensive instruments. Here, we introduce the Guttation Monitor, an on-site and low-cost monitoring technology for guttation droplets. It consists of three parts 1) a paper-based microfluidic chip that can collect guttation droplets and perform colorimetric detection of six chemicals, 2) a self-contained and solar-powered camera module that can capture the result from the chip, and 3) an end-user app that can interpret the result. We discuss this technology's design and implementation, conduct evaluations on tomato plants, conduct interviews, and envision how such a technology could enhance the human-plant relationship in four dimensions.


title: Stability conditions and canonical metrics

abstract: In this thesis we study the principle that extremal objects in differential geometry correspond to stable objects in algebraic geometry. In our introduction we survey the most famous instances of this principle with a view towards the results and background needed in the later chapters. In Part I we discuss the notion of a $Z$-critical metric recently introduced in joint work with Ruadha\'i Dervan and Lars Martin Sektnan. We prove a correspondence for existence with an analogue of Bridgeland stability in the large volume limit, and study important properties of the subsolution condition away from this limit, including identifying the analogues of the Donaldson and Yang-Mills functionals for the equation. In Part II we study the recent theory of optimal symplectic connections on K\"ahler fibrations in the isotrivial case. We prove a correspondence with the existence of Hermite-Einstein metrics on holomorphic principal bundles.


title: Semiconductor-on-diamond cavities for spin optomechanics

abstract: Optomechanical cavities are powerful tools for classical and quantum information processing that can be realized using nanophotonic structures that co-localize optical and mechanical resonances. Typically, phononic localization requires suspended devices that forbid vertical leakage of mechanical energy. Achieving this in some promising quantum photonic materials such as diamond requires non-standard nanofabrication techniques, while hindering integration with other components and exacerbating heating related challenges. As an alternative, we have developed a semiconductor-on-diamond platform that co-localizes phononic and photonic modes without requiring undercutting. We have designed an optomechanical crystal cavity that combines high optomechanical coupling with low dissipation, and we show that this platform will enable optomechanical coupling to spin qubits in the diamond substrate. These properties demonstrate the promise of this platform for realizing quantum information processing devices based on spin, phonon, and photon interactions.


title: Elementary Proof of QAOA Convergence

abstract: The Quantum Alternating Operator Ansatz (QAOA) and its predecessor, the Quantum Approximate Optimization Algorithm, are one of the most widely used quantum algorithms for solving combinatorial optimization problems. However, as there is yet no rigorous proof of convergence for the QAOA, we provide one in this paper. The proof involves retracing the connection between the Quantum Adiabatic Algorithm and the QAOA, and naturally suggests a refined definition of the `phase separator' and `mixer' keywords.


title: Communication-Efficient Federated Hypergradient Computation via Aggregated Iterative Differentiation

abstract: Federated bilevel optimization has attracted increasing attention due to emerging machine learning and communication applications. The biggest challenge lies in computing the gradient of the upper-level objective function (i.e., hypergradient) in the federated setting due to the nonlinear and distributed construction of a series of global Hessian matrices. In this paper, we propose a novel communication-efficient federated hypergradient estimator via aggregated iterative differentiation (AggITD). AggITD is simple to implement and significantly reduces the communication cost by conducting the federated hypergradient estimation and the lower-level optimization simultaneously. We show that the proposed AggITD-based algorithm achieves the same sample complexity as existing approximate implicit differentiation (AID)-based approaches with much fewer communication rounds in the presence of data heterogeneity. Our results also shed light on the great advantage of ITD over AID in the federated/distributed hypergradient estimation. This differs from the comparison in the non-distributed bilevel optimization, where ITD is less efficient than AID. Our extensive experiments demonstrate the great effectiveness and communication efficiency of the proposed method.


title: Efficient Modeling of Surrogates to Improve Multi-source High-dimensional Biobank Studies

abstract: Surrogate variables in electronic health records (EHR) and biobank data play an important role in biomedical studies due to the scarcity or absence of chart-reviewed gold standard labels. We develop a novel approach named SASH for {\bf S}urrogate-{\bf A}ssisted and data-{\bf S}hielding {\bf H}igh-dimensional integrative regression. It is a semi-supervised approach that efficiently leverages sizable unlabeled samples with error-prone EHR surrogate outcomes from multiple local sites, to improve the learning accuracy of the small gold-labeled data. {To facilitate stable and efficient knowledge extraction from the surrogates, our method first obtains a preliminary supervised estimator, and then uses it to assist training a regularized single index model (SIM) for the surrogates. Interestingly, through a chain of convex and properly penalized sparse regressions that approximate the SIM loss with bias-correction, our method avoids the local minima issue of the SIM training, and fully eliminates the impact of the preliminary estimator's large error. In addition, it protects individual-level information through summary-statistics-based data aggregation across the local sites, leveraging a similar idea of bias-corrected approximation for SIM.} Through simulation studies, we demonstrate that our method outperforms existing approaches on finite samples. Finally, we apply our method to develop a high dimensional genetic risk model for type II diabetes using large-scale data sets from UK and Mass General Brigham biobanks, where only a small fraction of subjects in one site has been labeled via chart reviewing.


title: Tracking Non-Radial Outflows in Extreme Ultraviolet and White Light Solar Images

abstract: Understanding the solar corona requires knowledge of its dynamics through its various layers and subsequent connectivity to the heliosphere. This requires understanding the nature of the outflows and the physical transitions through the middle corona (~1.5-6.0 Rs). While this region is still inaccessible to in situ measurements, remote sensing observations are available, but their interpretation can be controversial due to line-of-sight effects and the non-radial motion of outflowing structures close to the Sun (<3.0 Rs). In this work, we describe a method to mitigate these challenges by generating non-radial Height-Time profiles of outflows by using advanced image processing techniques. The North and South boundaries of a large equatorial streamer during the 2008 solar minimum were identified in STEREO/SECCHI solar images, using two different methodologies based on thresholds of brightness and piece-wise polynomial function fitting. To address line-of-sight issues, we used tomographic reconstruction of the 3D distribution of the coronal electron density based on SECCHI/COR2 images. Spectral analysis of the time series of the position angle of the streamer boundary revealed its oscillatory nature at some heights at 36-48 hours and 10.5-14.6 hours. Dividing the distance between the North and South streamer boundaries in equal parts at each height, we obtained non-radial Height-Time paths from which we generated non-radial profiles of corona/solar wind plasma outflow. We tracked outflows as they moved uninterruptedly from the Sun in EUVI, through COR1 and into COR2. Finally, we discuss preliminary results of non-radial plane-of-sky velocities for a CME and two small-scale features.


title: Differentially Private Optimization for Smooth Nonconvex ERM

abstract: We develop simple differentially private optimization algorithms that move along directions of (expected) descent to find an approximate second-order solution for nonconvex ERM. We use line search, mini-batching, and a two-phase strategy to improve the speed and practicality of the algorithm. Numerical experiments demonstrate the effectiveness of these approaches.


title: Invariant Slot Attention: Object Discovery with Slot-Centric Reference Frames

abstract: Automatically discovering composable abstractions from raw perceptual data is a long-standing challenge in machine learning. Recent slot-based neural networks that learn about objects in a self-supervised manner have made exciting progress in this direction. However, they typically fall short at adequately capturing spatial symmetries present in the visual world, which leads to sample inefficiency, such as when entangling object appearance and pose. In this paper, we present a simple yet highly effective method for incorporating spatial symmetries via slot-centric reference frames. We incorporate equivariance to per-object pose transformations into the attention and generation mechanism of Slot Attention by translating, scaling, and rotating position encodings. These changes result in little computational overhead, are easy to implement, and can result in large gains in terms of data efficiency and overall improvements to object discovery. We evaluate our method on a wide range of synthetic object discovery benchmarks namely CLEVR, Tetrominoes, CLEVRTex, Objects Room and MultiShapeNet, and show promising improvements on the challenging real-world Waymo Open dataset.


title: On the convergence of orthogonalization-free conjugate gradient method for extreme eigenvalues of Hermitian matrices: a Riemannian optimization interpretation

abstract: In many applications, it is desired to obtain extreme eigenvalues and eigenvectors of large Hermitian matrices by efficient and compact algorithms. In particular, orthogonalization-free methods are preferred for large-scale problems for finding eigenspaces of extreme eigenvalues without explicitly computing orthogonal vectors in each iteration. For the top $p$ eigenvalues, the simplest orthogonalization-free method is to find the best rank-$p$ approximation to a positive semi-definite Hermitian matrix by algorithms solving the unconstrained Burer-Monteiro formulation. We show that the nonlinear conjugate gradient method for the unconstrained Burer-Monteiro formulation is equivalent to a Riemannian conjugate gradient method on a quotient manifold with the Bures-Wasserstein metric, thus its global convergence to a stationary point can be proven. Numerical tests suggest that it is efficient for computing the largest $k$ eigenvalues for large-scale matrices if the largest $k$ eigenvalues are nearly distributed uniformly.


title: Leveraging supplementary text data to kick-start automatic speech recognition system development with limited transcriptions

abstract: Recent research using pre-trained transformer models suggests that just 10 minutes of transcribed speech may be enough to fine-tune such a model for automatic speech recognition (ASR) -- at least if we can also leverage vast amounts of text data (803 million tokens). But is that much text data necessary? We study the use of different amounts of text data, both for creating a lexicon that constrains ASR decoding to possible words (e.g. *dogz vs. dogs), and for training larger language models that bias the system toward probable word sequences (e.g. too dogs vs. two dogs). We perform experiments using 10 minutes of transcribed speech from English (for replicating prior work) and two additional pairs of languages differing in the availability of supplemental text data: Gronings and Frisian (~7.5M token corpora available), and Besemah and Nasal (only small lexica available). For all languages, we found that using only a lexicon did not appreciably improve ASR performance. For Gronings and Frisian, we found that lexica and language models derived from 'novel-length' 80k token subcorpora reduced the word error rate (WER) to 39% on average. Our findings suggest that where a text corpus in the upper tens of thousands of tokens or more is available, fine-tuning a transformer model with just tens of minutes of transcribed speech holds some promise towards obtaining human-correctable transcriptions near the 30% WER rule-of-thumb.


title: Nonemptiness of single affine Deligne-Lusztig varieties

abstract: Affine Deligne-Lusztig varieties with various level structures show up in the study of Shimura varieties and moduli spaces of shtukas. Among is the Iwahori level structure which is the most refined one. We study the nonemptiness problem of single affine Deligne-Lusztig varieties at Iwahori level in the basic case. Under a genericity condition (the ``shrunken Weyl chambers'' condition), an explicit criterion is known. However, no explicit criterion has been available without the condition even conjecturally. We conjecture a new criterion in full generality, and prove it except for finitely many cases. As an application, the nonemptiness problem for special cases and a new conjectural dimension formula are discussed.


title: Mithridates: Auditing and Boosting Backdoor Resistance of Machine Learning Pipelines

abstract: Machine learning (ML) models trained on data from potentially untrusted sources are vulnerable to poisoning. A small, maliciously crafted subset of the training inputs can cause the model to learn a "backdoor" task (e.g., misclassify inputs with a certain feature) in addition to its main task. Recent research proposed many hypothetical backdoor attacks whose efficacy heavily depends on the configuration and training hyperparameters of the target model. Given the variety of potential backdoor attacks, ML engineers who are not security experts have no way to measure how vulnerable their current training pipelines are, nor do they have a practical way to compare training configurations so as to pick the more resistant ones. Deploying a defense requires evaluating and choosing from among dozens of research papers and re-engineering the training pipeline. In this paper, we aim to provide ML engineers with pragmatic tools to audit the backdoor resistance of their training pipelines and to compare different training configurations, to help choose one that best balances accuracy and security. First, we propose a universal, attack-agnostic resistance metric based on the minimum number of training inputs that must be compromised before the model learns any backdoor. Second, we design, implement, and evaluate Mithridates a multi-stage approach that integrates backdoor resistance into the training-configuration search. ML developers already rely on hyperparameter search to find configurations that maximize the model's accuracy. Mithridates extends this standard tool to balance accuracy and resistance without disruptive changes to the training pipeline. We show that hyperparameters found by Mithridates increase resistance to multiple types of backdoor attacks by 3-5x with only a slight impact on accuracy. We also discuss extensions to AutoML and federated learning.


title: The bulk flow motion and the Hubble-Lema\^{\i}tre law in the Local Universe with the ALFALFA survey

abstract: The knowledge of the main features of the bulk flow in the Local Universe is important for a better determination of the relative motions there, an information that would contribute to a precise calculation of the Hubble-Lema\^{\i}tre law at very low redshifts. We study how to obtain the Hubble-Lema\^{\i}tre law in two sky regions using the catalog of HI sources of the ALFALFA survey, with data $cz_{\odot} < 6000$ km/s. Our methodology aims to compute $H_0$ in two regions -- located in opposite galactic hemispheres -- mapped by the ALFALFA survey, and look for dependence with distance, direction, and also test for reference frame changes. We calculate the Hubble constant, in the Cosmic Microwave Background reference frame, in opposite galactic hemispheres: $H_0^N = 70.87 \pm 2.38$ and $H_0^S = 66.07 \pm 3.02$, which allows us to measure the bulk flow velocity $V_{BF} = 401.06 \pm 150.55$ km/s at the effective distance $31.3 \pm 6.26$ Mpc, a novel result found analysing the ALFALFA data at low redshift. We confirm the influence of the bulk flow on the structures of the Local Universe which manifests through a dipolar behavior of the Hubble constant in opposite hemispheres.


title: High order geometric methods with splines: fast solution with explicit time-stepping for Maxwell equations

abstract: We introduce a high-order spline geometric approach for the initial boundary value problem for Maxwell's equations. The method is geometric in the sense that it discretizes in structure preserving fashion the two de Rham sequences of differential forms involved in the formulation of the continuous system. Both the Ampere--Maxwell and the Faraday equations are required to hold strongly, while to make the system solvable two discrete Hodge star operators are used. By exploiting the properties of the chosen spline spaces and concepts from exterior calculus, a non-standard explicit in time formulation is introduced, based on the solution of linear systems with matrices presenting Kronecker product structure, rather than mass matrices as in the standard literature. These matrices arise from the application of the exterior (wedge) product in the discrete setting, and they present Kronecker product structure independently of the geometry of the domain or the material parameters. The resulting scheme preserves the desirable energy conservation properties of the known approaches. The computational advantages of the newly proposed scheme are studied both through a complexity analysis and through numerical experiments in three dimensions.


title: Functionality of Ice Line Latitudinal EBM Tenacity (FILLET). Protocol Version 1.0. A CUISINES intercomparison project

abstract: Energy balance models (EBMs) are one- or two-dimensional climate models that can provide insight into planetary atmospheres, particularly with regard to habitability. Because EBMs are far less computationally intensive than three-dimensional general circulation models (GCMs), they can be run over large, uncertain parameter spaces and can be used to explore long-period phenomena like carbon and Milankovitch cycles. Because horizontal dimensions are incorporated in EBMs, they can explore processes that are beyond the reach of one-dimensional radiative-convective models (RCMs). EBMs are, however, dependent on parameterizations and tunings to account for physical processes that are neglected. Thus, EBMs rely on observations and results from GCMs and RCMs. Different EBMs have included a wide range of parameterizations (for albedo, radiation, and heat diffusion) and additional physics, such as carbon cycling and ice sheets. This CUISINES exoplanet model intercomparison project (exoMIP) will compare various EBMs across a set of numerical experiments. The set of experiments will include Earth-like planets at different obliquities, parameter sweeps across obliquity, and variations in instellation and CO$_2$ abundance to produce hysteresis diagrams. We expect a range of different results due to the choices made in the various codes, highlighting which results are robust across models and which are dependent on parameterizations or other modeling choices. Additionally, it will allow developers to identify model defects and determine which parameterizations are most useful or relevant to the problem of interest. Ultimately, this exoMIP will allow us to improve the consistency between EBMs and accelerate the process of discovering habitable exoplanets.


title: AutoNMT: A Framework to Streamline the Research of Seq2Seq Models

abstract: We present AutoNMT, a framework to streamline the research of seq-to-seq models by automating the data pipeline (i.e., file management, data preprocessing, and exploratory analysis), automating experimentation in a toolkit-agnostic manner, which allows users to use either their own models or existing seq-to-seq toolkits such as Fairseq or OpenNMT, and finally, automating the report generation (plots and summaries). Furthermore, this library comes with its own seq-to-seq toolkit so that users can easily customize it for non-standard tasks.


title: Piecewise Linear and Stochastic Models for the Analysis of Cyber Resilience

abstract: We model a vehicle equipped with an autonomous cyber-defense system in addition to its inherent physical resilience features. When attacked, this ensemble of cyber-physical features (i.e., ``bonware'') strives to resist and recover from the performance degradation caused by the malware's attack. We model the underlying differential equations governing such attacks for piecewise linear characterizations of malware and bonware, develop a discrete time stochastic model, and show that averages of instantiations of the stochastic model approximate solutions to the continuous differential equation. We develop a theory and methodology for approximating the parameters associated with these equations.


title: CREDENCE: Counterfactual Explanations for Document Ranking

abstract: Towards better explainability in the field of information retrieval, we present CREDENCE, an interactive tool capable of generating counterfactual explanations for document rankers. Embracing the unique properties of the ranking problem, we present counterfactual explanations in terms of document perturbations, query perturbations, and even other documents. Additionally, users may build and test their own perturbations, and extract insights about their query, documents, and ranker.


title: Ultrafast electron-electron scattering in metallic phase of 2H-NbSe$_2$ probed by high harmonic generation

abstract: Electron-electron scattering on the order of a few to tens of femtoseconds plays a crucial role in the ultrafast electron dynamics of conventional metals. When mid-infrared light is used for driving and the period of light field is comparable to the scattering time in metals, unique light-driven states and nonlinear optical responses associated with the scattering process are expected to occur. Here, we use high-harmonics spectroscopy to investigate the effect of electron-electron scattering on the electron dynamics in thin film 2H-NbSe$_2$ driven by a mid-infrared field. We observed odd-order high harmonics up to 9th order as well as a broadband emission from hot electrons in the energy range from 1.5 to 4.0 eV. The electron-electron scattering time in NbSe$_2$ was estimated from the broadband emission to be almost the same as the period of the mid-infrared light field. A comparison between experimental results and a numerical calculation reveals that a kind of resonance between scattering and driving enhances the non-perturbative behavior of high harmonics in metals, causing a highly non-equilibrium electronic state corresponding to several thousand Kelvin.


title: Event Temporal Relation Extraction with Bayesian Translational Model

abstract: Existing models to extract temporal relations between events lack a principled method to incorporate external knowledge. In this study, we introduce Bayesian-Trans, a Bayesian learning-based method that models the temporal relation representations as latent variables and infers their values via Bayesian inference and translational functions. Compared to conventional neural approaches, instead of performing point estimation to find the best set parameters, the proposed model infers the parameters' posterior distribution directly, enhancing the model's capability to encode and express uncertainty about the predictions. Experimental results on the three widely used datasets show that Bayesian-Trans outperforms existing approaches for event temporal relation extraction. We additionally present detailed analyses on uncertainty quantification, comparison of priors, and ablation studies, illustrating the benefits of the proposed approach.


title: Hitting all maximum stable sets in $P_5$-free graphs

abstract: We prove that every $P_5$-free graph of bounded clique number contains a small hitting set of all its maximum stable sets. More generally, let us say a class $\mathcal{C}$ of graphs is $\eta$-bounded if there exists a function $h:\mathbb{N}\rightarrow \mathbb{N}$ such that $\eta(G)\leq h(\omega(G))$ for every graph $G\in \mathcal{C}$, where $\eta(G)$ denotes smallest cardinality of a hitting set of all maximum stable sets in $G$, and $\omega(G)$ is the clique number of $G$. Also, $\mathcal{C}$ is said to be polynomially $\eta$-bounded if in addition $h$ can be chosen to be a polynomial. We introduce $\eta$-boundedness inspired by a question of Alon and motivated by a number of meaningful similarities to $\chi$-boundedness. In particular, we propose an analogue of the Gy\'{a}rf\'{a}s-Sumner conjecture, that the class of all $H$-free graphs is $\eta$-bounded if (and only if) $H$ is a forest. Like $\chi$-boundedness, the case where $H$ is a star is easy to verify, and we prove two non-trivial extensions of this: $H$-free graphs are $\eta$-bounded if (1) $H$ has a vertex incident with all edges of $H$, or (2) $H$ can be obtained from a star by subdividing at most one edge, exactly once. Unlike $\chi$-boundedness, the case where $H$ is a path is surprisingly hard. Our main result mentioned at the beginning shows that $P_5$-free graphs are $\eta$-bounded. The proof is rather involved compared to the classical ``Gy\'{a}rf\'{a}s path'' argument which establishes, for all $t$, the $\chi$-boundedness of $P_t$-free graphs. It remains open whether $P_t$-free graphs are $\eta$-bounded for $t\geq 6$. It also remains open whether $P_5$-free graphs are polynomially $\eta$-bounded, which, if true, would imply the Erd\H{o}s-Hajnal conjecture for $P_5$-free graphs. But we prove that $H$-free graphs are polynomially $\eta$-bounded if $H$ is a proper induced subgraph of $P_5$.