title: The MeerKAT Absorption Line Survey (MALS) data release I: Stokes I image catalogs at 1-1.4 GHz

abstract: The MeerKAT Absorption Line Survey (MALS) has observed 391 telescope pointings at L-band (900 - 1670 MHz) at $\delta\lesssim$ $+20\deg$. We present radio continuum images and a catalog of 495,325 (240,321) radio sources detected at a signal-to-noise ratio (SNR) $>$5 over an area of 2289 deg$^2$ (1132 deg$^2$) at 1006 MHz (1381 MHz). Every MALS pointing contains a central bright radio source ($S_{1\,\mathrm{GHz}} \gtrsim 0.2$ Jy). The median spatial resolution is $12^{\prime\prime}$ ($8^{\prime\prime}$). The median rms noise away from the pointing center is 25 $\mu$Jy beam$^{-1}$ (22 $\mu$Jy beam$^{-1}$) and is within $\sim$ 15% of the achievable theoretical sensitivity. The flux density scale ratio and astrometric accuracy deduced from multiply observed sources in MALS are less than 1% (8% scatter) and $1^{\prime\prime}$, respectively. Through comparisons with NVSS and FIRST at 1.4 GHz, we establish the catalog's accuracy in the flux density scale and astrometry to be better than 6% (15% scatter) and $0.8^{\prime\prime}$, respectively. The median flux density offset is higher (9%) for an alternate beam model based on holographic measurements. The MALS radio source counts at 1.4 GHz are in agreement with literature. We estimate spectral indices ($\alpha$) of a subset of 125,621 sources (SNR$>$8), confirm the flattening of spectral indices with decreasing flux density and identify 140 ultra steep-spectrum ($\alpha<-1.3$) sources as prospective high-$z$ radio galaxies ($z>2$). We have identified 1308 variable and 122 transient radio sources comprising primarily of AGN that demonstrate long-term (26 years) variability in their observed flux densities. The MALS catalogs and images are publicly available at https://mals.iucaa.in.


title: Particle-in-cell Simulations of the Magnetorotational Instability in Stratified Shearing Boxes

abstract: The magnetorotational instability (MRI) plays a crucial role in regulating the accretion efficiency in astrophysical accretion disks. In low-luminosity disks around black holes, such as Sgr A* and M87, Coulomb collisions are infrequent, making the MRI physics effectively collisionless. The collisionless MRI gives rise to kinetic plasma effects that can potentially affect its dynamic and thermodynamic properties. We present 2D and 3D particle-in-cell (PIC) plasma simulations of the collisionless MRI in stratified disks using shearing boxes with net vertical field. We use pair plasmas, with initial $\beta=100$ and concentrate on sub-relativistic plasma temperatures ($k_BT \lesssim mc^2$). Our 2D and 3D runs show disk expansion, particle and magnetic field outflows, and a dynamo-like process. They also produce magnetic pressure dominated disks with (Maxwell stress dominated) viscosity parameter $\alpha \sim 0.5-1$. By the end of the simulations, the dynamo-like magnetic field tends to dominate the magnetic energy and the viscosity in the disks. Our 2D and 3D runs produce fairly similar results, and are also consistent with previous 3D MHD simulations. Our simulations also show nonthermal particle acceleration, approximately characterized by power-law tails with temperature dependent spectral indices $-p$. For temperatures $k_BT \sim 0.05-0.3\, mc^2$, we find $p\approx 2.2-1.9$. The maximum accelerated particle energy depends on the scale separation between MHD and Larmor-scale plasma phenomena in a way consistent with previous PIC results of magnetic reconnection-driven acceleration. Our study constitutes a first step towards modeling from first principles potentially observable stratified MRI effects in low-luminosity accretion disks around black holes.


title: Verification of Wiedemann-Franz law in silver with moderate residual resistivity ratio

abstract: Electrical and thermal transport were studied in a vacuum-annealed polycrystalline silver wire with residual resistivity ratio 200-400, in the temperature range 0.1-1.2K and in magnetic fields up to 5T. Both at zero field and at 5T the wire exhibits the Wiedemann-Franz law with the fundamental Lorenz number, contrary to an earlier report [Gloos, K. et al, Cryogenics 30, 14 (1990)]. Our result demonstrates that silver is an excellent material for thermal links in ultra-low-temperature experiments operating at high magnetic fields.


title: Diffusion-based Image Translation with Label Guidance for Domain Adaptive Semantic Segmentation

abstract: Translating images from a source domain to a target domain for learning target models is one of the most common strategies in domain adaptive semantic segmentation (DASS). However, existing methods still struggle to preserve semantically-consistent local details between the original and translated images. In this work, we present an innovative approach that addresses this challenge by using source-domain labels as explicit guidance during image translation. Concretely, we formulate cross-domain image translation as a denoising diffusion process and utilize a novel Semantic Gradient Guidance (SGG) method to constrain the translation process, conditioning it on the pixel-wise source labels. Additionally, a Progressive Translation Learning (PTL) strategy is devised to enable the SGG method to work reliably across domains with large gaps. Extensive experiments demonstrate the superiority of our approach over state-of-the-art methods.


title: Improving Generative Model-based Unfolding with Schr\"{o}dinger Bridges

abstract: Machine learning-based unfolding has enabled unbinned and high-dimensional differential cross section measurements. Two main approaches have emerged in this research area: one based on discriminative models and one based on generative models. The main advantage of discriminative models is that they learn a small correction to a starting simulation while generative models scale better to regions of phase space with little data. We propose to use Schroedinger Bridges and diffusion models to create SBUnfold, an unfolding approach that combines the strengths of both discriminative and generative models. The key feature of SBUnfold is that its generative model maps one set of events into another without having to go through a known probability density as is the case for normalizing flows and standard diffusion models. We show that SBUnfold achieves excellent performance compared to state of the art methods on a synthetic Z+jets dataset.


title: Quantum computation of stopping power for inertial fusion target design

abstract: Stopping power is the rate at which a material absorbs the kinetic energy of a charged particle passing through it -- one of many properties needed over a wide range of thermodynamic conditions in modeling inertial fusion implosions. First-principles stopping calculations are classically challenging because they involve the dynamics of large electronic systems far from equilibrium, with accuracies that are particularly difficult to constrain and assess in the warm-dense conditions preceding ignition. Here, we describe a protocol for using a fault-tolerant quantum computer to calculate stopping power from a first-quantized representation of the electrons and projectile. Our approach builds upon the electronic structure block encodings of Su et al. [PRX Quantum 2, 040332 2021], adapting and optimizing those algorithms to estimate observables of interest from the non-Born-Oppenheimer dynamics of multiple particle species at finite temperature. Ultimately, we report logical qubit requirements and leading-order Toffoli costs for computing the stopping power of various projectile/target combinations relevant to interpreting and designing inertial fusion experiments. We estimate that scientifically interesting and classically intractable stopping power calculations can be quantum simulated with roughly the same number of logical qubits and about one hundred times more Toffoli gates than is required for state-of-the-art quantum simulations of industrially relevant molecules such as FeMoCo or P450.


title: The numerical range of periodic banded Toeplitz operators

abstract: We prove that the closure of the numerical range of a $(n+1)$-periodic and $(2m+1)$-banded Toeplitz operator can be expressed as the closure of the convex hull of the uncountable union of numerical ranges of certain symbol matrices. In contrast to the periodic $3$-banded (or tridiagonal) case, we show an example of a $2$-periodic and $5$-banded Toeplitz operator such that the closure of its numerical range is not equal to the numerical range of a single finite matrix.


title: Machine Learning Small Molecule Properties in Drug Discovery

abstract: Machine learning (ML) is a promising approach for predicting small molecule properties in drug discovery. Here, we provide a comprehensive overview of various ML methods introduced for this purpose in recent years. We review a wide range of properties, including binding affinities, solubility, and ADMET (Absorption, Distribution, Metabolism, Excretion, and Toxicity). We discuss existing popular datasets and molecular descriptors and embeddings, such as chemical fingerprints and graph-based neural networks. We highlight also challenges of predicting and optimizing multiple properties during hit-to-lead and lead optimization stages of drug discovery and explore briefly possible multi-objective optimization techniques that can be used to balance diverse properties while optimizing lead candidates. Finally, techniques to provide an understanding of model predictions, especially for critical decision-making in drug discovery are assessed. Overall, this review provides insights into the landscape of ML models for small molecule property predictions in drug discovery. So far, there are multiple diverse approaches, but their performances are often comparable. Neural networks, while more flexible, do not always outperform simpler models. This shows that the availability of high-quality training data remains crucial for training accurate models and there is a need for standardized benchmarks, additional performance metrics, and best practices to enable richer comparisons between the different techniques and models that can shed a better light on the differences between the many techniques.


title: Renormalizing Diffusion Models

abstract: We explain how to use diffusion models to learn inverse renormalization group flows of statistical and quantum field theories. Diffusion models are a class of machine learning models which have been used to generate samples from complex distributions, such as the distribution of natural images. These models achieve sample generation by learning the inverse process to a diffusion process which adds noise to the data until the distribution of the data is pure noise. Nonperturbative renormalization group schemes in physics can naturally be written as diffusion processes in the space of fields. We combine these observations in a concrete framework for building ML-based models for studying field theories, in which the models learn the inverse process to an explicitly-specified renormalization group scheme. We detail how these models define a class of adaptive bridge (or parallel tempering) samplers for lattice field theory. Because renormalization group schemes have a physical meaning, we provide explicit prescriptions for how to compare results derived from models associated to several different renormalization group schemes of interest. We also explain how to use diffusion models in a variational method to find ground states of quantum systems. We apply some of our methods to numerically find RG flows of interacting statistical field theories. From the perspective of machine learning, our work provides an interpretation of multiscale diffusion models, and gives physically-inspired suggestions for diffusion models which should have novel properties.


title: Gluon TMD fragmentation function into quarkonium

abstract: We compute the gluon transverse-momentum-dependent fragmentation function (TMDFF) at next-to-leading order (NLO) into heavy quarkonium in the color-octet $^3S_1^{[8]}$ channel, based on the NRQCD factorization approach. The spurious rapidity divergences are explicitly shown to cancel in a well-defined TMDFF, which incorporates the needed soft factor. We also compute the integrated gluon FF at NLO in the same $^3S_1^{[8]}$ channel, and show that the matching coefficient of the TMDFF onto the FF at large transverse momentum is the expected one. These results are relevant to perform precise and sensible phenomenological studies of transverse-momentum spectra of quarkonium production, for which the production mechanism through fragmentation plays a relevant role, like in the future Electron-Ion Collider.


title: Explaining the GWSkyNet-Multi machine learning classifier predictions for gravitational-wave events

abstract: GWSkyNet-Multi is a machine learning model developed for classification of candidate gravitational-wave events detected by the LIGO and Virgo observatories. The model uses limited information released in the low-latency Open Public Alerts to produce prediction scores indicating whether an event is a merger of two black holes, a merger involving a neutron star, or a non-astrophysical glitch. This facilitates time sensitive decisions about whether to perform electromagnetic follow-up of candidate events during LIGO-Virgo-KAGRA (LVK) observing runs. However, it is not well understood how the model is leveraging the limited information available to make its predictions. As a deep learning neural network, the inner workings of the model can be difficult to interpret, impacting our trust in its validity and robustness. We tackle this issue by systematically perturbing the model and its inputs to explain what underlying features and correlations it has learned for distinguishing the sources. We show that the localization area of the 2D sky maps and the computed coherence versus incoherence Bayes factors are used as strong predictors for distinguishing between real events and glitches. The estimated distance to the source is further used to discriminate between binary black hole mergers and mergers involving neutron stars. We leverage these findings to show that events misclassified by GWSkyNet-Multi in LVK's third observing run have distinct sky area, coherence factor, and distance values that influence the predictions and explain these misclassifications. The results help identify the model's limitations and inform potential avenues for further optimization.


title: An introduction to infinite projected entangled-pair state methods for variational ground state simulations using automatic differentiation

abstract: Tensor networks capture large classes of ground states of phases of quantum matter faithfully and efficiently. Their manipulation and contraction has remained a challenge over the years, however. For most of the history, ground state simulations of two-dimensional quantum lattice systems using (infinite) projected entangled pair states have relied on what is called a time-evolving block decimation. In recent years, multiple proposals for the variational optimization of the quantum state have been put forward, overcoming accuracy and convergence problems of previously known methods. The incorporation of automatic differentiation in tensor networks algorithms has ultimately enabled a new, flexible way for variational simulation of ground states and excited states. In this work we review the state-of-the-art of the variational iPEPS framework, providing a detailed introduction to automatic differentiation, a description of a general foundation into which various two-dimensional lattices can be conveniently incorporated, and demonstrative benchmarking results.


title: Moving Anchor Extragradient Methods For Smooth Structured Minimax Problems

abstract: This work introduces a moving anchor acceleration technique to extragradient algorithms for smooth structured minimax problems. The moving anchor is introduced as a generalization of the original algorithmic anchoring framework, i.e. the EAG method introduced in [32], in hope of further acceleration. We show that the optimal order of convergence in terms of worst-case complexity on the squared gradient, O(1/k2), is achieved by our new method (where k is the number of iterations). We have also extended our algorithm to a more general nonconvex-nonconcave class of saddle point problems using the framework of [14], which slightly generalizes [32]. We obtain similar order-optimal complexity results in this extended case. In both problem settings, numerical results illustrate the efficacy of our moving anchor algorithm variants, in particular by attaining the theoretical optimal convergence rate for first order methods, as well as suggesting a better optimized constant in the big O notation which surpasses the traditional fixed anchor methods in many cases. A proximal-point preconditioned version of our algorithms is also introduced and analyzed to match optimal theoretical convergence rates.


title: Turing patterns on a two-component isotropic growing system. Part 2: Conditions based on a potential function for exponential growth/shrinkage

abstract: We propose conditions for the emergence of Turing patterns in a domain that changes in size by homogeneous growth/shrinkage. These conditions to determine the bifurcation are based on considering the geometric change of a potential function whose evolution determines the stability of the trajectories of all the Fourier modes of the perturbation. For this part of the work we consider the situation where the homogeneous state of the system are constant concentrations close to its stationary value, as occurs for exponential growth/decrease. This proposal recovers the traditional Turing conditions for two-component systems in a fixed domain and is corroborated against numerical simulations of increasing/decreasing domains of the Brusselator reaction system. The simulations carried out allowed us to understand some characteristics of the pattern related to the evolution of its amplitude and wavenumber and allow us to anticipate which features strictly depend on its temporal evolution.


title: Multisoliton interactions approximating the dynamics of breather solutions

abstract: Breather solutions are considered to be generally accepted models of rogue waves. However, breathers are not localized, while wavefields in nature can generally be considered as localized due to the limited spatial dimensions. Hence, the theory of rogue waves needs to be supplemented with localized solutions which evolve locally as breathers. In this paper, we present a universal method for constructing such solutions from exact multi-soliton solutions, which consists in replacing the plane wave in the dressing construction of the breathers with a specific exact $N$-soliton solution converging asymptotically to the plane wave at large number of solitons $N$. On the example of the Peregrine, Akhmediev, Kuznetsov-Ma and Tajiri-Watanabe breathers, we show that the constructed with our method multi-soliton solutions, being localized in space with characteristic width proportional to $N$, are practically indistinguishable from the breathers in a wide region of space and time at large $N$. Our method makes it possible to build solitonic models with the same dynamical properties for the higher-order rational and super-regular breathers, and can be applied to general multi-breather solutions, breathers on a nontrivial background (e.g., cnoidal waves) and other integrable systems. The constructed multi-soliton solutions can also be generalized to capture the spontaneous emergence of rogue waves through the spontaneous synchronization of soliton norming constants, though finding these synchronizations conditions represents a challenging problem for future studies.


title: The Compton Spectrometer and Imager

abstract: The Compton Spectrometer and Imager (COSI) is a NASA Small Explorer (SMEX) satellite mission in development with a planned launch in 2027. COSI is a wide-field gamma-ray telescope designed to survey the entire sky at 0.2-5 MeV. It provides imaging, spectroscopy, and polarimetry of astrophysical sources, and its germanium detectors provide excellent energy resolution for emission line measurements. Science goals for COSI include studies of 0.511 MeV emission from antimatter annihilation in the Galaxy, mapping radioactive elements from nucleosynthesis, determining emission mechanisms and source geometries with polarization measurements, and detecting and localizing multimessenger sources. The instantaneous field of view for the germanium detectors is >25% of the sky, and they are surrounded on the sides and bottom by active shields, providing background rejection as well as allowing for detection of gamma-ray bursts and other gamma-ray flares over most of the sky. In the following, we provide an overview of the COSI mission, including the science, the technical design, and the project status.


title: Pre-supernova feedback sets the star cluster mass function to a power law and reduces the cluster formation efficiency

abstract: The star cluster initial mass function is observed to have an inverse power law exponent around 2, yet there is no consensus on what determines this distribution, and why some variation is observed in different galaxies. Furthermore, the cluster formation efficiency covers a range of values, particularly when considering different environments. These clusters are often used to empirically constrain star formation and as fundamental units for stellar feedback models. Detailed galaxy models must therefore accurately capture the basic properties of observed clusters to be considered predictive. We use hydrodynamical simulations of a dwarf galaxy as a laboratory to study star cluster formation. We test different combinations of stellar feedback mechanisms, including stellar winds, ionizing radiation, and supernovae. Each feedback mechanism affects the cluster formation efficiency and cluster mass function. Increasing the feedback budget by combining the different types of feedback decreases the cluster formation efficiency by reducing the number of massive clusters. Ionizing radiation is found to be especially influential. This effect depends on the timing of feedback initiation, as shown by comparing early and late feedback. Early feedback occurs from ionizing radiation and stellar winds with onset immediately after a massive star is formed. Late feedback occurs when energy injection only starts after the main-sequence lifetime of the most massive SN progenitor, a timing that is further influenced by the choice of the most massive SN progenitor. Late feedback alone results in a broad, flat mass function, approaching a log-normal shape in the complete absence of feedback. Early feedback, on the other hand, produces a power-law cluster mass function with lower formation efficiency, albeit with a steeper slope than that usually observed.


title: Saliency-based Video Summarization for Face Anti-spoofing

abstract: With the growing availability of databases for face presentation attack detection, researchers are increasingly focusing on video-based face anti-spoofing methods that involve hundreds to thousands of images for training the models. However, there is currently no clear consensus on the optimal number of frames in a video to improve face spoofing detection. Inspired by the visual saliency theory, we present a video summarization method for face anti-spoofing detection that aims to enhance the performance and efficiency of deep learning models by leveraging visual saliency. In particular, saliency information is extracted from the differences between the Laplacian and Wiener filter outputs of the source images, enabling identification of the most visually salient regions within each frame. Subsequently, the source images are decomposed into base and detail images, enhancing the representation of the most important information. Weighting maps are then computed based on the saliency information, indicating the importance of each pixel in the image. By linearly combining the base and detail images using the weighting maps, the method fuses the source images to create a single representative image that summarizes the entire video. The key contribution of the proposed method lies in demonstrating how visual saliency can be used as a data-centric approach to improve the performance and efficiency for face presentation attack detection. By focusing on the most salient images or regions within the images, a more representative and diverse training set can be created, potentially leading to more effective models. To validate the method's effectiveness, a simple CNN-RNN deep learning architecture was used, and the experimental results showcased state-of-the-art performance on five challenging face anti-spoofing datasets


title: Constructing collars in paracompact Hausdorff spaces and Lipschitz estimates

abstract: We give a constructive proof for the following new collar theorem: every locally collared closed set that is paracompact in a Hausdorff space is collared. This includes the important special case of locally collared closed sets in paracompact Hausdorff spaces. Importantly, we use Stone's result that every open cover of a paracompact space has an open locally finite refinement which is the countable union of discrete families. Furthermore, in the LIP category, our construction yields collars that are locally bi-Lipschitz embeddings. If the initial data satisfy uniform estimates, then this collar is even bi-Lipschitz onto its image and we explicitly bound the constants. We also provide partitions of unity whose Lipschitz constants are bounded by the Lebesgue constant and the order of the cover.


title: Continual Zero-Shot Learning through Semantically Guided Generative Random Walks

abstract: Learning novel concepts, remembering previous knowledge, and adapting it to future tasks occur simultaneously throughout a human's lifetime. To model such comprehensive abilities, continual zero-shot learning (CZSL) has recently been introduced. However, most existing methods overused unseen semantic information that may not be continually accessible in realistic settings. In this paper, we address the challenge of continual zero-shot learning where unseen information is not provided during training, by leveraging generative modeling. The heart of the generative-based methods is to learn quality representations from seen classes to improve the generative understanding of the unseen visual space. Motivated by this, we introduce generalization-bound tools and provide the first theoretical explanation for the benefits of generative modeling to CZSL tasks. Guided by the theoretical analysis, we then propose our learning algorithm that employs a novel semantically guided Generative Random Walk (GRW) loss. The GRW loss augments the training by continually encouraging the model to generate realistic and characterized samples to represent the unseen space. Our algorithm achieves state-of-the-art performance on AWA1, AWA2, CUB, and SUN datasets, surpassing existing CZSL methods by 3-7\%. The code has been made available here \url{https://github.com/wx-zhang/IGCZSL}


title: SafeAR: Safe Algorithmic Recourse by Risk-Aware Policies

abstract: With the growing use of machine learning (ML) models in critical domains such as finance and healthcare, the need to offer recourse for those adversely affected by the decisions of ML models has become more important; individuals ought to be provided with recommendations on actions to take for improving their situation and thus receiving a favorable decision. Prior work on sequential algorithmic recourse -- which recommends a series of changes -- focuses on action feasibility and uses the proximity of feature changes to determine action costs. However, the uncertainties of feature changes and the risk of higher than average costs in recourse have not been considered. It is undesirable if a recourse could (with some probability) result in a worse situation from which recovery requires an extremely high cost. It is essential to incorporate risks when computing and evaluating recourse. We call the recourse computed with such risk considerations as Safe Algorithmic Recourse (SafeAR). The objective is to empower people to choose a recourse based on their risk tolerance. In this work, we discuss and show how existing recourse desiderata can fail to capture the risk of higher costs. We present a method to compute recourse policies that consider variability in cost and connect algorithmic recourse literature with risk-sensitive reinforcement learning. We also adopt measures "Value at Risk" and "Conditional Value at Risk" from the financial literature to summarize risk concisely. We apply our method to two real-world datasets and compare policies with different risk-aversion levels using risk measures and recourse desiderata (sparsity and proximity).


title: Coherent states for generalized uncertainty relations as Tsallis probability amplitudes: new route to non-extensive thermostatistics

abstract: We study coherent states associated to a generalized uncertainty principle (GUP). We separately analyze the cases of positive and negative deformation parameter $\beta$, showing that the ensuing probability distribution is a Tsallis distribution whose non-extensivity parameter $q$ is monotonically related to $\beta$. Moreover, for $\beta <0$ (corresponding to $q<1$), we reformulate the GUP in terms of a one-parameter class of Tsallis entropy-power based uncertainty relations, which are again saturated by the GUP coherent states. We argue that this combination of coherent states with Tsallis entropy offers a natural conceptual framework allowing to study quasi-classical regime of GUP in terms of non-extensive thermodynamics. We substantiate our claim by discussing generalization of Verlinde's entropic force and ensuing implications in the late-inflation epoch. Corresponding dependence of the $\beta$ parameter on cosmological time is derived for the reheating epoch. The obtained $\beta$ is consistent with values predicted by both string-theory models and the naturalness principle. Further salient issues, including derivation of new $\beta$-dependent expressions for the lowest possible value of the spin and Immirzi parameter in Loop Quantum Gravity, and connection of our proposal with the Magueijo--Smolin doubly special relativity are also discussed. This article provides a more extended and comprehensive treatment of our recent letter [Phys. Rev. D 105, L121501 (2022)].


title: On the cyclic homology of certain universal differential graded algebras

abstract: Let $p$ be an odd prime and $R$ a $p$-torsion-free commutative $\mathbb{Z}_{(p)}$-algebra. We compute the periodic cyclic homology over $R$ of the universal differential graded algebra $R//p$ which is obtained from $R$ by universally killing $p$. We furthermore compute the cyclic and negative cyclic homologies of $R//p$ over $R$ in infinitely many degrees.


title: AdVerb: Visually Guided Audio Dereverberation

abstract: We present AdVerb, a novel audio-visual dereverberation framework that uses visual cues in addition to the reverberant sound to estimate clean audio. Although audio-only dereverberation is a well-studied problem, our approach incorporates the complementary visual modality to perform audio dereverberation. Given an image of the environment where the reverberated sound signal has been recorded, AdVerb employs a novel geometry-aware cross-modal transformer architecture that captures scene geometry and audio-visual cross-modal relationship to generate a complex ideal ratio mask, which, when applied to the reverberant audio predicts the clean sound. The effectiveness of our method is demonstrated through extensive quantitative and qualitative evaluations. Our approach significantly outperforms traditional audio-only and audio-visual baselines on three downstream tasks: speech enhancement, speech recognition, and speaker verification, with relative improvements in the range of 18% - 82% on the LibriSpeech test-clean set. We also achieve highly satisfactory RT60 error scores on the AVSpeech dataset.


title: Open-set Face Recognition with Neural Ensemble, Maximal Entropy Loss and Feature Augmentation

abstract: Open-set face recognition refers to a scenario in which biometric systems have incomplete knowledge of all existing subjects. Therefore, they are expected to prevent face samples of unregistered subjects from being identified as previously enrolled identities. This watchlist context adds an arduous requirement that calls for the dismissal of irrelevant faces by focusing mainly on subjects of interest. As a response, this work introduces a novel method that associates an ensemble of compact neural networks with a margin-based cost function that explores additional samples. Supplementary negative samples can be obtained from external databases or synthetically built at the representation level in training time with a new mix-up feature augmentation approach. Deep neural networks pre-trained on large face datasets serve as the preliminary feature extraction module. We carry out experiments on well-known LFW and IJB-C datasets where results show that the approach is able to boost closed and open-set identification rates.


title: Vision Transformer Adapters for Generalizable Multitask Learning

abstract: We introduce the first multitasking vision transformer adapters that learn generalizable task affinities which can be applied to novel tasks and domains. Integrated into an off-the-shelf vision transformer backbone, our adapters can simultaneously solve multiple dense vision tasks in a parameter-efficient manner, unlike existing multitasking transformers that are parametrically expensive. In contrast to concurrent methods, we do not require retraining or fine-tuning whenever a new task or domain is added. We introduce a task-adapted attention mechanism within our adapter framework that combines gradient-based task similarities with attention-based ones. The learned task affinities generalize to the following settings: zero-shot task transfer, unsupervised domain adaptation, and generalization without fine-tuning to novel domains. We demonstrate that our approach outperforms not only the existing convolutional neural network-based multitasking methods but also the vision transformer-based ones. Our project page is at \url{https://ivrl.github.io/VTAGML}.


title: On the Number of Closed Gaps of Discrete Periodic One-Dimensional Operators

abstract: From the general inverse theory of periodic Jacobi matrices, it is known that a periodic Jacobi matrix of minimal period $p \geq 2$ may have at most $p-2$ closed spectral gaps. We discuss the maximal number of closed gaps for one-dimensional periodic discrete Schr\"odinger operators of period $p$. We prove nontrivial upper and lower bounds on this quantity for large $p$ and compute it exactly for $p \leq 6$. Among our results, we show that a discrete Schr\"odinger operator of period four or five may have at most a single closed gap, and we characterize exactly which potentials may exhibit a closed gap. For period six, we show that at most two gaps may close. In all cases in which the maximal number of closed gaps is computed, it is seen to be strictly smaller than $p-2$, the bound guaranteed by the inverse theory. We also discuss similar results for purely off-diagonal Jacobi matrices.


title: Private Information Retrieval with Private Noisy Side Information

abstract: Consider Private Information Retrieval (PIR), where a client wants to retrieve one file out of $K$ files that are replicated in $N$ different servers and the client selection must remain private when up to $T$ servers may collude. Additionally, suppose that the client has noisy side information about each of the $K$ files, and the side information about a specific file is obtained by passing this file through one of $D$ possible discrete memoryless test channels, where $D\le K$. While the statistics of the test channels are known by the client and by all the servers, the specific mapping $\boldsymbol{\calM}$ between the files and the test channels is unknown to the servers. We study this problem under two different privacy metrics. Under the first privacy metric, the client wants to preserve the privacy of its desired file selection and the mapping $\boldsymbol{\calM}$. Under the second privacy metric, the client wants to preserve the privacy of its desired file and the mapping $\boldsymbol{\calM}$ but is willing to reveal the index of the test channel that is associated to its desired file. For both of these two privacy metrics, we derive the optimal normalized download cost. Our problem setup generalizes PIR with colluding servers, PIR with private noiseless side information, and PIR with private side information under storage constraints.


title: Scaling of the geomagnetic secular variation time scales

abstract: The ratio of the Lowes spectrum and the secular variation spectrum measured at the Earth's surface provides a time scale $\tau_{\rm sv}(l)$ as a function of spherical harmonic degree $l$. $\tau_{\rm sv}$ is often assumed to be representative of time scales related to the dynamo inside the outer core and its scaling with $l$ is debated. To assess the validity of this surmise and to study the time variation of the geomagnetic field $\boldsymbol{\dot B}$ inside the outer core, we introduce a magnetic time-scale spectrum $\tau(l,r)$ that is valid for all radius $r$ above the inner core and reduces to the usual $\tau_{\rm sv}$ at and above the core-mantle boundary (CMB). We study $\tau$ in a numerical geodynamo model. Focusing on the large scales, we find that $\tau \sim l^{-1}$ at the CMB. Just below the CMB, $\tau$ undergo a sharp transition such that the scaling becomes shallower than $l^{-1}$. This transition stems from the magnetic boundary condition at the CMB that ties all three components of $\boldsymbol{\dot B}$ together. In the interior of the outer core, the time variation of the horizontal magnetic field, which dominates $\boldsymbol{\dot B}$, has no such constraint. The upshot is $\tau_{\rm sv}$ becomes unreliable in estimating time scales inside the outer core. Another question concerning $\tau$ is whether a scaling argument based on the frozen-flux hypothesis can be used to explain its scaling. To investigate this, we analyse the induction equation in the spectral space. We find that away from both boundaries, the magnetic diffusion term is negligible in the power spectrum of $\boldsymbol{\dot B}$. However, $\boldsymbol{\dot B}$ is controlled by the radial derivative in the induction term, thus invalidating the frozen-flux argument. Near the CMB, magnetic diffusion starts to affect $\boldsymbol{\dot B}$ rendering the frozen-flux hypothesis inapplicable.


title: Evolution of MHD turbulence in the expanding solar wind: residual energy and intermittency

abstract: We conduct 3D magnetohydrodynamic (MHD) simulations of decaying turbulence in the solar wind context. To account for the spherical expansion of the solar wind, we implement the expanding box model. The initial turbulence comprises uncorrelated counter-propagating Alfv\'en waves and exhibits an isotropic power spectrum. Our findings reveal the consistent generation of negative residual energy whenever nonlinear interactions are present, independent of the normalized cross helicity $\sigma_c$. The spherical expansion facilitates this process. The resulting residual energy is primarily distributed in the perpendicular direction, with $[S_2(\mathbf{b})-S_2(\mathbf{u})] \propto l_\perp$ or equivalently $-E_r \propto k_\perp^{-2}$. Here $S_2(\mathbf{b})$ and $S_2(\mathbf{u})$ are second-order structure functions of magnetic field and velocity respectively. In most runs, $S_2(\mathbf{b})$ develops a scaling relation $S_2(\mathbf{b}) \propto l_\perp^{1/2}$ ($E_b \propto k_\perp^{-3/2}$). In contrast, $S_2(\mathbf{u})$ is consistently shallower than $S_2(\mathbf{b})$, which aligns with in-situ observations of the solar wind. We observe that the higher-order statistics of the turbulence, which act as a proxy for intermittency, are strongly affected by the expansion effect but have weak dependence on the initial $\sigma_c$. Generally, the intermittency is more pronounced when the expansion effect is present. Finally, we find that in our simulations although the negative residual energy and intermittency grow simultaneously as the turbulence evolves, there is no obvious causal relation between them because they are generated on different scales.


title: The BNS invariants of the braid groups and pure braid groups of some surfaces

abstract: We compute and explicitly describe the Bieri-Neumann-Strebel invariants $\Sigma^1$ for the full and pure braid groups of the sphere $\mathbb{S}^2$, the real projective plane $\mathbb{R}P^2$ and specially the torus $\mathbb{T}$ and the Klein bottle $\mathbb{K}$. In order to do this for $M=\mathbb T$ or $M=\mathbb K$, and $n \geq 2$, we use the $n^{th}$-configuration space of $M$ to show that the action by homeomorphisms of the group $Out(P_n(M))$ on the character sphere $S(P_n(M))$ contains certain permutation of coordinates, under which $\Sigma^1(P_n(\mathbb T))^c$ and $\Sigma^1(P_n(\mathbb K))^c$ are invariant. Furthermore, $\Sigma^1(P_n(\mathbb T))^c$ and $\Sigma^1(P_n(\mathbb{S}^2))^c$ (the latter with $n \geq 5$) are finite unions of pairwise disjoint circles, and $\Sigma^1(P_n(\mathbb K))^c$ is finite. This last fact implies that there is a normal finite index subgroup $H \leq Aut(P_n(\mathbb K))$ such that the Reidemeister number $R(\varphi)$ is infinite for every $\varphi \in H$.


title: Nuclear physics constraints from binary neutron star mergers in the Einstein Telescope era

abstract: The next generation of ground-based gravitational-wave detectors, Einstein Telescope (ET) and Cosmic Explorer (CE), present a unique opportunity to put constraints on dense matter, among many other groundbreaking scientific goals. In a recent study the science case of ET was further strengthened, studying in particular the performances of different detector designs. In this paper we present a more detailed study of the nuclear physics section of that work. In particular, focusing on two different detector configurations (the single-site triangular-shaped design and a design consisting of two widely separated "L-shaped" interferometers), we study the detection prospects of binary neutron star (BNS) mergers, and how they can reshape our understanding of the underlying equation of state (EoS) of dense matter. We employ several state-of-the-art EoS models and state-of-the-art synthetic BNS merger catalogs, and we make use of the Fisher information formalism (FIM) to quantify statistical errors on the astrophysical parameters describing individual BNS events. To check the reliability of the FIM method, we further perform a full parameter estimation for a few simulated events. Based on the uncertainties on the tidal deformabilities associated to these events, we outline a mechanism to extract the underlying injected EoS using a recently developed meta-modelling approach within a Bayesian framework. Our results suggest that with $\gtrsim 500$ events with signal-to-noise ratio greater than $12$, we will be able to pin down very precisely the underlying EoS governing the neutron star matter.


title: Water ice: temperature-dependent refractive indexes and their astrophysical implications

abstract: Interstellar ices are largely composed of frozen water. It is important to derive fundamental parameters for H$_2$O ice such as absorption and scattering opacities for which accurate complex refractive indexes are needed. The primary goal of this work is to derive ice-grain opacities based on accurate H$_2$O ice complex refractive indexes and to assess their impact on the derivation of ice column densities and porosity in space. We use the \texttt{optool} code to derive ice-grain opacities values based on new mid-IR complex refractive index measurements of H$_2$O ice. Next, we use those opacities in the \texttt{RADMC-3D} code to run a radiative transfer simulation of a protostellar envelope containing H$_2$O ice. This is used to calculate water ice column densities. We find that the real refractive index in the mid-IR of H$_2$O ice at 30~K is $\sim$14\% lower than previously reported in the literature. This has a direct impact on the ice column densities derived from the simulations of embedded protostars. We find that ice porosity plays a significant role in the opacity of icy grains and that the H$_2$O libration mode can be used as a diagnostic tool to constrain the porosity level. Finally, the refractive indexes presented here allow us to estimate a grain size detection limit of 18~$\mu$m based on the 3~$\mu$m band whereas the 6~$\mu$m band allows tracing grain sizes larger than 20~$\mu$m. Based on radiative transfer simulations using new mid-IR refractive indexes, we conclude that H$_2$O ice leads to more absorption of infrared light than previously estimated. This implies that the 3 and 6~$\mu$m bands remain detectable in icy grains with sizes larger than 10~$\mu$m. Finally, we propose that also the H$_2$O ice libration band can be a diagnostic tool to constrain the porosity level of the interstellar ice, in addition to the OH dangling bond, which is routinely used for this purpose.


title: FG-Net: Facial Action Unit Detection with Generalizable Pyramidal Features

abstract: Automatic detection of facial Action Units (AUs) allows for objective facial expression analysis. Due to the high cost of AU labeling and the limited size of existing benchmarks, previous AU detection methods tend to overfit the dataset, resulting in a significant performance loss when evaluated across corpora. To address this problem, we propose FG-Net for generalizable facial action unit detection. Specifically, FG-Net extracts feature maps from a StyleGAN2 model pre-trained on a large and diverse face image dataset. Then, these features are used to detect AUs with a Pyramid CNN Interpreter, making the training efficient and capturing essential local features. The proposed FG-Net achieves a strong generalization ability for heatmap-based AU detection thanks to the generalizable and semantic-rich features extracted from the pre-trained generative model. Extensive experiments are conducted to evaluate within- and cross-corpus AU detection with the widely-used DISFA and BP4D datasets. Compared with the state-of-the-art, the proposed method achieves superior cross-domain performance while maintaining competitive within-domain performance. In addition, FG-Net is data-efficient and achieves competitive performance even when trained on 1000 samples. Our code will be released at \url{https://github.com/ihp-lab/FG-Net}


title: Inferring gender from name: a large scale performance evaluation study

abstract: A person's gender is a crucial piece of information when performing research across a wide range of scientific disciplines, such as medicine, sociology, political science, and economics, to name a few. However, in increasing instances, especially given the proliferation of big data, gender information is not readily available. In such cases researchers need to infer gender from readily available information, primarily from persons' names. While inferring gender from name may raise some ethical questions, the lack of viable alternatives means that researchers have to resort to such approaches when the goal justifies the means - in the majority of such studies the goal is to examine patterns and determinants of gender disparities. The necessity of name-to-gender inference has generated an ever-growing domain of algorithmic approaches and software products. These approaches have been used throughout the world in academia, industry, governmental and non-governmental organizations. Nevertheless, the existing approaches have yet to be systematically evaluated and compared, making it challenging to determine the optimal approach for future research. In this work, we conducted a large scale performance evaluation of existing approaches for name-to-gender inference. Analysis are performed using a variety of large annotated datasets of names. We further propose two new hybrid approaches that achieve better performance than any single existing approach.


title: Constructing low-dimensional ordinary differential equations from chaotic time series of high/infinite-dimensional systems using radial function-based regression

abstract: In our previous study (N. Tsutsumi, K. Nakai and Y. Saiki (2022)) we proposed a method of constructing a system of differential equations of chaotic behavior only from observable deterministic time series, which we will call radial function-based regression (RfR) method. The RfR method employs a regression using Gaussian radial basis functions together with polynomial terms to facilitate the robust modeling of chaotic behavior. In this paper, we apply the RfR method to several types of relatively high-dimensional deterministic time series generated by a partial differential equation, a delay differential equation, a turbulence model, and intermittent dynamics. The case when the observation includes noise is also tested. We have effectively constructed a system of differential equations for each of these examples, which is assessed from the point of view of time series forecast, reconstruction of invariant sets, and invariant densities. We find that in some of the models, an appropriate trajectory is realized on the chaotic saddle and is identified by the Stagger-and-Step method.


title: With a Little Help from your own Past: Prototypical Memory Networks for Image Captioning

abstract: Image captioning, like many tasks involving vision and language, currently relies on Transformer-based architectures for extracting the semantics in an image and translating it into linguistically coherent descriptions. Although successful, the attention operator only considers a weighted summation of projections of the current input sample, therefore ignoring the relevant semantic information which can come from the joint observation of other samples. In this paper, we devise a network which can perform attention over activations obtained while processing other training samples, through a prototypical memory model. Our memory models the distribution of past keys and values through the definition of prototype vectors which are both discriminative and compact. Experimentally, we assess the performance of the proposed model on the COCO dataset, in comparison with carefully designed baselines and state-of-the-art approaches, and by investigating the role of each of the proposed components. We demonstrate that our proposal can increase the performance of an encoder-decoder Transformer by 3.7 CIDEr points both when training in cross-entropy only and when fine-tuning with self-critical sequence training. Source code and trained models are available at: https://github.com/aimagelab/PMA-Net.


title: Where do you put a telescope? How do you understand Covid concentrations?

abstract: This note discusses dynamical systems-systems that evolve through time. We start with two contemporary examples illustrating the qualitative and the quantitative behavior of dynamical systems. These are two broad categories, usually called the study of the smooth behavior and ergodic theory. We then introduce the technical framework necessary to state the problems mathematically. Finally we show that the problems are unsolvable in a rigorous sense.


title: Handling the inconsistency of systems of $\min\rightarrow$ fuzzy relational equations

abstract: In this article, we study the inconsistency of systems of $\min-\rightarrow$ fuzzy relational equations. We give analytical formulas for computing the Chebyshev distances $\nabla = \inf_{d \in \mathcal{D}} \Vert \beta - d \Vert$ associated to systems of $\min-\rightarrow$ fuzzy relational equations of the form $\Gamma \Box_{\rightarrow}^{\min} x = \beta$, where $\rightarrow$ is a residual implicator among the G\"odel implication $\rightarrow_G$, the Goguen implication $\rightarrow_{GG}$ or Lukasiewicz's implication $\rightarrow_L$ and $\mathcal{D}$ is the set of second members of consistent systems defined with the same matrix $\Gamma$. The main preliminary result that allows us to obtain these formulas is that the Chebyshev distance $\nabla$ is the lower bound of the solutions of a vector inequality, whatever the residual implicator used. Finally, we show that, in the case of the $\min-\rightarrow_{G}$ system, the Chebyshev distance $\nabla$ may be an infimum, while it is always a minimum for $\min-\rightarrow_{GG}$ and $\min-\rightarrow_{L}$ systems.


title: Observation of quantum interference of optical transition pathways in Doppler-free two-photon spectroscopy and implications for precision measurements

abstract: Doppler-free two-photon spectroscopy is a standard technique for precision measurement of transition frequencies of dipole-forbidden transitions. The accuracy of such measurements depends critically on fitting of the spectrum to an appropriate line shape model, often a Voigt profile which neglects the effect of quantum interference of optical transitions. Here, we report the observation of quantum interference of optical transition pathways in Doppler-free two-photon spectroscopy of the cesium 6S-7D transitions. The quantum interference manifests itself as asymmetric line shapes of the hyperfine lines of the 7D states, observed through spontaneous emission following excitation by a narrow-linewidth cw laser. The interference persists despite the lines being spectrally well-resolved. Ignoring the effect of quantum interference causes large systematic shifts in the determination of the line-centers, while accounting for it resolves the apparent line shift and enables the precise determination of hyperfine splitting in the 7D states. We calculate the spectral line shape including the effect of quantum interference and show that it agrees with the experimental observations. Our results have implications for precision measurements of hyperfine splittings, isotope shifts and transition frequencies, including those of the hydrogen S-S and S-D transitions.

categories: physics.atom-ph cond-mat.quant-gas physics.app-ph physics.chem-ph physics.optics


title: Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering

abstract: The primary theory of software engineering is that an organization's Policies and Processes influence the quality of its Products. We call this the PPP Theory. Although empirical software engineering research has grown common, it is unclear whether researchers are trying to evaluate the PPP Theory. To assess this, we analyzed half (33) of the empirical works published over the last two years in three prominent software engineering conferences. In this sample, 70% focus on policies/processes or products, not both. Only 33% provided measurements relating policy/process and products. We make four recommendations: (1) Use PPP Theory in study design; (2) Study feedback relationships; (3) Diversify the studied feedforward relationships; and (4) Disentangle policy and process. Let us remember that research results are in the context of, and with respect to, the relationship between software products, processes, and policies.


title: Missing Data Imputation Based on Dynamically Adaptable Structural Equation Modeling with Self-Attention

abstract: Addressing missing data in complex datasets including electronic health records (EHR) is critical for ensuring accurate analysis and decision-making in healthcare. This paper proposes dynamically adaptable structural equation modeling (SEM) using a self-attention method (SESA), an approach to data imputation in EHR. SESA innovates beyond traditional SEM-based methods by incorporating self-attention mechanisms, thereby enhancing model adaptability and accuracy across diverse EHR datasets. Such enhancement allows SESA to dynamically adjust and optimize imputation and overcome the limitations of static SEM frameworks. Our experimental analyses demonstrate the achievement of robust predictive SESA performance for effectively handling missing data in EHR. Moreover, the SESA architecture not only rectifies potential mis-specifications in SEM but also synergizes with causal discovery algorithms to refine its imputation logic based on underlying data structures. Such features highlight its capabilities and broadening applicational potential in EHR data analysis and beyond, marking a reasonable leap forward in the field of data imputation.


title: Rewiring driven evolution of quenched frustrated signed network

abstract: A framework for studying the behavior of a classically frustrated signed network in the process of random rewiring is developed. We describe jump probabilities for change in frustration and formulate a theoretical estimate in terms of the master equation. Stationary thermodynamic distribution and moments are derived from the master equation and compared to numerical simulations. Furthermore, an exact solution of the probability distribution is provided through suitable mapping of rewiring dynamic to birth and death processes with quadratic asymptotically symmetric transition rates.


title: Duality in the homology of 5-manifolds

abstract: We show that the homological properties of a 5-manifold M with fundamental group G are encapsulated in a G-invariant stable form on the dual of the third syzygy of Z. In this notation one may express an even stronger version of Poincare duality for M. However we find an obstruction to this duality.


title: Solving first order differential equations presenting elementary functions

abstract: We have already dealt with the problem of solving First Order Differential Equations (1ODEs) presenting elementary functions before in [1, 2]. In this present paper, we have established solid theoretical basis through a relation between the 1ODE we are dealing with and a rational second order ordinary differential equation, presenting a Liouvillian first Integral. Here, we have expanded the results in [3], where we have establish a theoretical background to deal with rational second order ordinary differential equations (2ODEs) via the S-function method. Using this generalisation and other results hereby introduced, we have produced a method to integrate the 1ODE under scrutiny. Our methods and algorithm are capable to deal efficiently with chaotic systems, determining regions of integrability.


title: Tensor meson couplings in AdS/QCD

abstract: We study the hadronic and radiative couplings of the $f_2(1270)$ meson within the hard- and soft-wall models of AdS/QCD. The results for the tensor meson-nucleon-nucleon coupling ($g_{f_2NN}$) and tensor meson-photon-vector meson coupling ($g_{f_2\gamma\rho}$) are compared to the ones obtained by using the dispersion relations and amplitude methods, respectively. Qualitative agreement with different analyses implies the reliability of the holographic description of spin-2 meson.


title: Machine learning in parameter estimation of nonlinear systems

abstract: Accurately estimating parameters in complex nonlinear systems is crucial across scientific and engineering fields. We present a novel approach for parameter estimation using a neural network with the Huber loss function. This method taps into deep learning's abilities to uncover parameters governing intricate behaviors in nonlinear equations. We validate our approach using synthetic data and predefined functions that model system dynamics. By training the neural network with noisy time series data, it fine-tunes the Huber loss function to converge to accurate parameters. We apply our method to damped oscillators, Van der Pol oscillators, Lotka-Volterra systems, and Lorenz systems under multiplicative noise. The trained neural network accurately estimates parameters, evident from closely matching latent dynamics. Comparing true and estimated trajectories visually reinforces our method's precision and robustness. Our study underscores the Huber loss-guided neural network as a versatile tool for parameter estimation, effectively uncovering complex relationships in nonlinear systems. The method navigates noise and uncertainty adeptly, showcasing its adaptability to real-world challenges.


title: Self-Supervised Learning for Endoscopic Video Analysis

abstract: Self-supervised learning (SSL) has led to important breakthroughs in computer vision by allowing learning from large amounts of unlabeled data. As such, it might have a pivotal role to play in biomedicine where annotating data requires a highly specialized expertise. Yet, there are many healthcare domains for which SSL has not been extensively explored. One such domain is endoscopy, minimally invasive procedures which are commonly used to detect and treat infections, chronic inflammatory diseases or cancer. In this work, we study the use of a leading SSL framework, namely Masked Siamese Networks (MSNs), for endoscopic video analysis such as colonoscopy and laparoscopy. To fully exploit the power of SSL, we create sizable unlabeled endoscopic video datasets for training MSNs. These strong image representations serve as a foundation for secondary training with limited annotated datasets, resulting in state-of-the-art performance in endoscopic benchmarks like surgical phase recognition during laparoscopy and colonoscopic polyp characterization. Additionally, we achieve a 50% reduction in annotated data size without sacrificing performance. Thus, our work provides evidence that SSL can dramatically reduce the need of annotated data in endoscopy.


title: Safe Non-Stochastic Control of Linear Dynamical Systems

abstract: We study the problem of \textit{safe control of linear dynamical systems corrupted with non-stochastic noise}, and provide an algorithm that guarantees (i) zero constraint violation of convex time-varying constraints, and (ii) bounded dynamic regret, \ie bounded suboptimality against an optimal clairvoyant controller that knows the future noise a priori. The constraints bound the values of the state and of the control input such as to ensure collision avoidance and bounded control effort. We are motivated by the future of autonomy where robots will safely perform complex tasks despite real-world unpredictable disturbances such as wind and wake disturbances. To develop the algorithm, we capture our problem as a sequential game between a linear feedback controller and an adversary, assuming a known upper bound on the noise's magnitude. Particularly, at each step $t=1,\ldots, T$, first the controller chooses a linear feedback control gain $K_t \in \calK_t$, where $\calK_t$ is constructed such that it guarantees that the safety constraints will be satisfied; then, the adversary reveals the current noise $w_t$ and the controller suffers a loss $f_t(K_t)$ -- \eg $f_t$ represents the system's tracking error at $t$ upon the realization of the noise. The controller aims to minimize its cumulative loss, despite knowing $w_t$ only after $K_t$ has been chosen. We validate our algorithm in simulated scenarios of safe control of linear dynamical systems in the presence of bounded noise


title: Detecting Magnetar Giant Flares with MoonBEAM

abstract: Magnetars are slowly-rotating neutron stars with extremely strong magnetic fields that rarely produce extremely bright, energetic giant flares. Magnetar Giant Flares (MGFs) begin with a short (200 ms) intense flash, followed by fainter emission lasting several minutes that is modulated by the magnetar spin period (typically 2-12 s). Over the last 40 years, only three MGFs have been observed within our Galaxy and the Magellanic Clouds, which all suffered from instrumental saturation due to their extreme intensity. It has been proposed, that extragalactic MGFs masquerade as a small subset of short Gamma-ray Bursts (GRBs), noting that the sensitivity of current instrumentation prevents us from detecting the pulsating tail to distances slightly beyond the Magellanic Clouds. However, their initial bright flash is readily observable out to distances of < 25 Mpc. In this presentation, we will evaluate the spectral and temporal behaviors of MGFs using recent observations from events such as GRB200415A, to differentiate them from other progenitors, such as short GRBs. We then present an overview of the Moon Burst Energetics All-sky Monitor (MoonBEAM), which will attempt to discover more of these events, providing highly sensitive data that will help unravel the nature of these phenomena further in an attempt to better understand their emission mechanisms comparatively with GRBs. In doing so, MoonBEAM will help provide a comprehensive picture of energetic astrophysical phenomena, a key goal of the Astro2020 decadal survey.


title: Vacancy Tuned Magnetism in LaMn$_x$Sb$_2$

abstract: The layered ATMPn$_2$ (A = alkali earth or rare earth atom, TM = transition metal, Pn = Sb, Bi) compounds are widely studied for their rich magnetism and electronic structure topology. Here, we characterize the physical properties of LaMn$_x$Sb$_2$, an understudied member of the ATMPn$_2$ family. LaMn$_x$Sb$_2$ forms with intrinsic Mn vacancies, and we demonstrate synthetic control of the Mn occupancy to produce single crystals with x = 0.74-0.97. Magnetization and transport measurements indicate LaMn$_x$Sb$_2$ has a rich temperature-composition (T-x) magnetic phase diagram with physical properties strongly influenced by the Mn occupancy. LaMn$_x$Sb$_2$ orders antiferromagnetically at T$_{1}$ = 130--180 K, where T$_{1}$ increases with x. Below T$_{1}$, the T-x phase diagram is complicated. At high x, there is a second transition T$_2$ that decreases in temperature as x is lowered, vanishing below x $\leq$ 0.85. A third, first-order, transition T$_3$ is detected at x $\approx$ 0.92, and the transition temperature increases as x is lowered, crossing above T$_2$ near x $\approx$ 0.9. On moving below x $<$ 0.79, we find the crystal structure changes from the P4/nmm arrangement to a I$\bar{4}$2m structure with partially ordered Mn vacancies. The change in crystal structure results in the appearance of two new low temperature phases and a crossover between regimes of negative and positive magnetoresistance. Finally, we provide neutron diffraction for x = 0.93, and find that the high x compositions first adopt a G-type AFM structure with the Mn moments aligned within the ab-plane which is followed on cooling by a second transition to a different, non-collinear structure where the moments are rotated within the basal plane. Our results demonstrate that LaMn$_x$Sb$_2$ is a highly tunable material with six unique magnetically ordered phases, depending on T and x.


title: Cryogenic microwave link for quantum local area networks

abstract: Scalable quantum information processing with superconducting circuits is about to advance from individual processors in single dilution refrigerators to more powerful distributed quantum computing systems located in separate cooling units in order to achieve a practical quantum advantage. Hence, realization of hardware platforms for quantum local area networks (QLANs) compatible with superconducting technology is of high importance. Here, we demonstrate a basic prototype for a microwave QLAN based on a cryogenic link connecting two individual dilution cryostats over a distance of 6.6m with a base temperature of 52mK in the center. We provide details about the system design, installation, and performance. We employ superconducting coaxial microwave transmission lines to form a quantum communication channel and characterize its potential by demonstrating robust entanglement distribution in the form of two-mode squeezing between remote parties. By preserving entanglement distribution at link temperatures up to 1K, we experimentally verify the fluctuation-dissipation theorem. Consequently, we demonstrate that our system can form the backbone for future distributed quantum computing applications.


title: Symmetric Nonnegative Trifactorization of Pattern Matrices

abstract: A factorization of an $n \times n$ nonnegative symmetric matrix $A$ of the form $BCB^T$, where $C$ is a $k \times k$ symmetric matrix, and both $B$ and $C$ are required to be nonnegative, is called the Symmetric Nonnegative Matrix Trifactorization (SN-Trifactorization). The SNT-rank of $A$ is the minimal $k$ for which such factorization exists. The SNT-rank of a simple graph $G$ that allows loops is defined to be the minimal possible SNT-rank of all symmetric nonnegative matrices whose zero-nonzero pattern is prescribed by a given graph. We define set-join covers of graphs, and show that finding the SNT-rank of $G$ is equivalent to finding the minimal order of a set-join cover of $G$. Using this insight we develop basic properties of the SNT-rank for graphs and compute it for trees and cycles without loops. We show the equivalence between the SNT-rank for complete graphs and the Katona problem, and discuss uniqueness of patterns of matrices in the factorization.


title: Towards The Ultimate Brain: Exploring Scientific Discovery with ChatGPT AI

abstract: This paper presents a novel approach to scientific discovery using an artificial intelligence (AI) environment known as ChatGPT, developed by OpenAI. This is the first paper entirely generated with outputs from ChatGPT. We demonstrate how ChatGPT can be instructed through a gamification environment to define and benchmark hypothetical physical theories. Through this environment, ChatGPT successfully simulates the creation of a new improved model, called GPT$^4$, which combines the concepts of GPT in AI (generative pretrained transformer) and GPT in physics (generalized probabilistic theory). We show that GPT$^4$ can use its built-in mathematical and statistical capabilities to simulate and analyze physical laws and phenomena. As a demonstration of its language capabilities, GPT$^4$ also generates a limerick about itself. Overall, our results demonstrate the promising potential for human-AI collaboration in scientific discovery, as well as the importance of designing systems that effectively integrate AI's capabilities with human intelligence.


title: The fibering genus of Fano hypersurfaces

abstract: Koll\'ar proved that a very general $n$-dimensional complex hypersurface of degree at least $3\lceil (n+3)/4\rceil$ is not birational to a fibration in rational curves. This is most interesting when the hypersurface is Fano, in which case it is covered by rational curves. In this paper, we extend Koll\'ar's ideas and show that for any genus $g$, there are Fano hypersurfaces (in more restrictive degree and dimension ranges) that are not birational to fibrations in genus $g$ curves. In other words, we show that the fibering genus of these hypersurfaces can be arbitrarily large. The fibering genus of a variety has been studied in work of Konno, Ein--Lazarsfeld, and Voisin, but this is the first paper to explore these ideas in the Fano range. Following Koll\'ar, we degenerate to characteristic $p>0$ to rule out these fibrations. A crucial input is Tate's genus change formula and its generalizations, which imply that any regular curve of genus $g$ is smooth if $p$ is sufficiently large compared to $g$.


title: Skew-convex function rings and evaluation of skew rational functions

abstract: The product formula for evaluating products of skew polynomials is used to construct a class of rings. As an application, we present a method of evaluating quotients of skew polynomials.


title: A Frame Stack Semantics for Sequential Core Erlang

abstract: We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that we prove are machine-checked with the Coq proof assistant. We improve on previous work by including exceptions and exception handling, as well as built-in data types and functions. Based on the semantics, we define multiple concepts of program equivalence (contextual, CIU equivalence, and equivalence based on logical relations) and prove that the definitions are all equivalent. Using this we are able to give a correctness criterion for refactorings by means of contextually equivalent symbolic expression pairs, which is one of the main motivations of this work.


title: Balanced Submodular Flows

abstract: This paper examines the Balanced Submodular Flow Problem, that is the problem of finding a feasible submodular flow minimizing the difference between the flow values along the edges. A min-max formula is given to the problem and an algorithm is presented to solve it using $O(m^2)$ submodular function minimizations. Then, these result are extended to the weighted version of the problem. Finally, the Balanced Integer Submodular Flow Problem is discussed.


title: Concatenation trees: A framework for efficient universal cycle and de Bruijn sequence constructions

abstract: Classic cycle-joining techniques have found widespread application in creating universal cycles for a diverse range of combinatorial objects, such as shorthand permutations, weak orders, orientable sequences, and various subsets of $k$-ary strings, including de Bruijn sequences. In the most favorable scenarios, these algorithms operate with a space complexity of $O(n)$ and require $O(n)$ time to generate each symbol in the sequences. In contrast, concatenation-based methods have been developed for a limited selection of universal cycles. In each of these instances, the universal cycles can be generated far more efficiently, with an amortized time complexity of $O(1)$ per symbol, while still using $O(n)$ space. This paper introduces $\mathit{concatenation~trees}$, which serve as the fundamental structures needed to bridge the gap between cycle-joining constructions based on the pure cycle register and corresponding concatenation-based approaches. They immediately demystify the relationship between the classic Lyndon word concatenation construction of de Bruijn sequences and a corresponding cycle-joining based construction. To underscore their significance, concatenation trees are applied to construct universal cycles for shorthand permutations and weak orders in $O(1)$-amortized time per symbol. Moreover, we provide insights as to how similar results can be obtained for other universal cycles including cut-down de Bruijn sequences and orientable sequences.


title: Constructing Thick $B_h$-sets

abstract: A subset $A$ of a commutative semigroup $X$ is called a $B_h$ set in $X$ if the only solutions to $a_1+\dots+a_h = b_1 + \cdots +b_h$ (with $a_i,b_i \in A$) are the trivial solutions $\{a_1,\dots,a_h\} = \{b_1,\dots,b_h\}$ (as multisets). With $h=2$ and $X={\mathbb Z}$, these sets are also known as Sidon sets, Golomb Rulers, and Babcock sets. In this work, we generalize constructions of Bose-Chowla and Singer and give the resultant bounds on the diameter of a $k$ element $B_h$ set in $\mathbb Z$ for small $k$. We conclude with a list of open problems.


title: The secular equation for elastic surface waves under non standard boundary conditions of impedance type: A perspective from linear algebra

abstract: The study of elastic surface waves under impedance boundary conditions has become an intensive field of research due to their potential to model a wide range of problems. However, even when the secular equation, which provides the speed of the surface wave, can be explicitly derived, the analysis is limited to specific cases due to its cumbersome final expression. In this work, we present an alternative method based on linear algebra tools, to deal with the secular equation for surface waves in an isotropic elastic half-space subjected to non-standard boundary conditions of impedance type. They are defined by proportional relationships between both the stress and velocity components at the surface, with complex proportional ratios. Our analysis shows that the associated secular equation does not vanish in the upper complex half-plane including the real axis. Interestingly, the full impedance boundary conditions proposed by Godoy et al. [Wave Motion 49 (2012), 585-594] arise as a particular limit case. An approximation technique is introduced, in order to extend the analysis from the original problem to Godoy's impedance boundary conditions. As a result, it is shows that the secular equation with full Godoy's impedance boundary condition does not vanish outside the real axis. This is a crucial property for the well-posedness of the boundary value problem of partial differential equations, and thus crucial for the model to explain surface wave propagation. Due to the cumbersome secular equation, this property has been verified only for particular cases of the impedance boundary condition, namely the stress-free boundary condition (zero impedance) and when either one of the impedance parameter is set to zero (normal and tangential impedance cases).


title: An Initial Exploration: Learning to Generate Realistic Audio for Silent Video

abstract: Generating realistic audio effects for movies and other media is a challenging task that is accomplished today primarily through physical techniques known as Foley art. Foley artists create sounds with common objects (e.g., boxing gloves, broken glass) in time with video as it is playing to generate captivating audio tracks. In this work, we aim to develop a deep-learning based framework that does much the same - observes video in it's natural sequence and generates realistic audio to accompany it. Notably, we have reason to believe this is achievable due to advancements in realistic audio generation techniques conditioned on other inputs (e.g., Wavenet conditioned on text). We explore several different model architectures to accomplish this task that process both previously-generated audio and video context. These include deep-fusion CNN, dilated Wavenet CNN with visual context, and transformer-based architectures. We find that the transformer-based architecture yields the most promising results, matching low-frequencies to visual patterns effectively, but failing to generate more nuanced waveforms.


title: Tower of two-dimensional scar states in a localized system

abstract: The eigenstate thermalization hypothesis describes how most isolated many-body quantum systems reach thermal equilibrium. However, the hypothesis is violated by phenomena such as many-body localization and quantum many-body scars. In this work, we study a finite, two-dimensional, disordered model hosting a tower of scar states. This construction is a particular instance of a general framework and we demonstrate its generality by constructing two disordered models hosting a different tower of scar states. At weak disorder, we find numerically that the spectra are nonthermal, and the scar states appear as exact eigenstates with high entropy for certain bipartitions. At strong disorder, the spectra localize and the scar states are identified as inverted scars since the scar states are embedded in a localized background as opposed to a thermal background. We argue that, for the considered type of models, the localization is stronger than what would be naively expected, and we show this explicitly for one of the models. The argument also provides guidelines for obtaining similarly strong localization in other scarred models. We study the transition from the thermal phase to localization by observing the adjacent gap ratio shifting from the Wigner surmise to the Poisson distribution with increasing disorder strength. Moreover, the entanglement entropy transitions from volume-law scaling with system size at weak disorder to area-law scaling at strong disorder. Finally, we demonstrate that localization protects scar revivals for initial states with partial support in the scar subspace.


title: Magnetic analogue of liquid-gas phase transition of water: case study of a spin-1/2 Ising-Heisenberg model on a diamond-decorated square lattice

abstract: The spin-1/2 Ising-Heisenberg model on a diamond-decorated square lattice exhibits an intriguing temperature-driven phase transition in a magnetic field between a classical ferrimagnetic phase and a quantum monomer-dimer phase. A generalized decoration-iteration transformation accurately maps the considered model to an effective spin-1/2 Ising model on a square lattice with temperature-dependent effective interactions and field, whereby the effective field vanishes at the phase boundary separating the classical ferrimagnetic phase from the quantum monomer-dimer phase. Typical features of the magnetization, magnetic susceptibility and specific heat in the vicinity of discontinuous and continuous thermal phase transitions between the classical ferrimagnetic phase and the quantum monomer-dimer phase are elucidated.


title: A Theory of Intelligences

abstract: Intelligence is a human construct to represent the ability to achieve goals. Given this wide berth, intelligence has been defined countless times, studied in a variety of ways and represented using numerous measures. Understanding intelligence ultimately requires theory and quantification, both of which have proved elusive. I develop a framework -- the Theory of Intelligences (TIS) -- that applies across all systems from physics, to biology, humans and AI. TIS likens intelligence to a calculus, differentiating, correlating and integrating information. Intelligence operates at many levels and scales and TIS distils these into a parsimonious macroscopic framework centered on solving, planning and their optimization to accomplish goals. Notably, intelligence can be expressed in informational units or in units relative to goal difficulty, the latter defined as complexity relative to system (individual or benchmarked) ability. I present general equations for intelligence and its components, and a simple expression for the evolution of intelligence traits. The measures developed here could serve to gauge different facets of intelligence for any step-wise transformation of information. I argue that proxies such as environment, technology, society and collectives are essential to a general theory of intelligence and to possible evolutionary transitions in intelligence, particularly in humans. I conclude with testable predictions of TIS and offer several speculations.


title: Biquandle Brackets and Quivers

abstract: In this brief expository article we review the background for biquandle bracket quivers -- including biquandles, biquandle homsets, biquandle coloring quivers and biquandle brackets -- for a talk at the 70th Topology Symposium at Nara Women's University in August 2023.


title: Non-Linear Relay Optimization using Deep-Learning tools

abstract: Widespread deployment of relays can yield a significant boost in the throughput of forthcoming wireless networks. However, the optimal operation of large relay networks is still infeasible. This paper presents two approaches for the optimization of large relay networks. In the traditional approach, we formulate and solve an optimization problem where the relays are considered linear. In the second approach, we take an entirely new direction and consider the true non-linear nature of the relays. Using the similarity to neural networks, we leverage deep-learning methodology. Unlike previous applications of neural networks in wireless communications, where neural networks are added to the network to perform computational tasks, our deep relay optimization treats the relay network itself as a neural network. By exploiting the non-linear transfer function exhibited by each relay, we achieve over 15dB gain compared to traditional optimization methods. Moreover, we are able to implement part of the network functionality over the relay network. Our findings shed light on the potential of deep relay optimization, promising significant advancements in future wireless communication systems.


title: Superconductivity in electron doped PbBi2Te4

abstract: Single crystals of In-doped PbBi2Te4 are synthesized via a conventional solid-state method. Chemical analysis and hall measurements indicate that In replaces Pb, introducing n-type carriers, creating Pb1-xInxBi2Te4. A superconducting transition is observed with a maximum transition temperature around 2.06 K for Pb1-xInxBi2Te4. Field dependent transport measurements reveal type-II superconductivity and yield a maximum upper critical field around 1.55 T. Thermodynamic data indicates bulk superconductivity in the BCS weak coupling limit. Our findings establish an ambient-pressure superconducting system in the AM2X4 family, and doped PbBi2Te4 as a promising platform for the study of topological superconductivity.


title: Benchmarking Causal Study to Interpret Large Language Models for Source Code

abstract: One of the most common solutions adopted by software researchers to address code generation is by training Large Language Models (LLMs) on massive amounts of source code. Although a number of studies have shown that LLMs have been effectively evaluated on popular accuracy metrics (e.g., BLEU, CodeBleu), previous research has largely overlooked the role of Causal Inference as a fundamental component of the interpretability of LLMs' performance. Existing benchmarks and datasets are meant to highlight the difference between the expected and the generated outcome, but do not take into account confounding variables (e.g., lines of code, prompt size) that equally influence the accuracy metrics. The fact remains that, when dealing with generative software tasks by LLMs, no benchmark is available to tell researchers how to quantify neither the causal effect of SE-based treatments nor the correlation of confounders to the model's performance. In an effort to bring statistical rigor to the evaluation of LLMs, this paper introduces a benchmarking strategy named Galeras comprised of curated testbeds for three SE tasks (i.e., code completion, code summarization, and commit generation) to help aid the interpretation of LLMs' performance. We illustrate the insights of our benchmarking strategy by conducting a case study on the performance of ChatGPT under distinct prompt engineering methods. The results of the case study demonstrate the positive causal influence of prompt semantics on ChatGPT's generative performance by an average treatment effect of $\approx 3\%$. Moreover, it was found that confounders such as prompt size are highly correlated with accuracy metrics ($\approx 0.412\%$). The end result of our case study is to showcase causal inference evaluations, in practice, to reduce confounding bias. By reducing the bias, we offer an interpretable solution for the accuracy metric under analysis.


title: Reframing the Brain Age Prediction Problem to a More Interpretable and Quantitative Approach

abstract: Deep learning models have achieved state-of-the-art results in estimating brain age, which is an important brain health biomarker, from magnetic resonance (MR) images. However, most of these models only provide a global age prediction, and rely on techniques, such as saliency maps to interpret their results. These saliency maps highlight regions in the input image that were significant for the model's predictions, but they are hard to be interpreted, and saliency map values are not directly comparable across different samples. In this work, we reframe the age prediction problem from MR images to an image-to-image regression problem where we estimate the brain age for each brain voxel in MR images. We compare voxel-wise age prediction models against global age prediction models and their corresponding saliency maps. The results indicate that voxel-wise age prediction models are more interpretable, since they provide spatial information about the brain aging process, and they benefit from being quantitative.


title: VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime

abstract: Smart homes are powered by numerous programmable IoT platforms. Despite tremendous innovations, these platforms often suffer from safety and security issues. One class of defense solutions dynamically enforces safety and security policies, which essentially capture the expected behavior of the IoT system. While many proposed works were built on this runtime approach, they all are under-vetted. The primary reason lies in their evaluation approach. They are mostly self-evaluated in isolation using a virtual testbed combined with manually orchestrated test scenarios that rely on user interactions with the platform's UI. Such hand-crafted and non-uniform evaluation setups are limiting not only the reproducibility but also a comparative analysis of their efficacy results. Closing this gap in the traditional way requires a huge upfront manual effort, which causes the researchers turn away from any large-scale comparative empirical evaluation. Therefore, in this paper, we propose a highly-automated uniform evaluation platform, dubbed VetIoT, to vet the defense solutions that hinge on runtime policy enforcement. Given a defense solution, VetIoT easily instantiates a virtual testbed inside which the solution is empirically evaluated. VetIoT replaces manual UI-based interactions with an automated event simulator and manual inspection of test outcomes with an automated comparator. We developed a fully-functional prototype of VetIoT and applied it on three runtime policy enforcement solutions: Expat, Patriot, and IoTguard. VetIoT reproduced their individual prior results and assessed their efficacy results via stress testing and differential testing. We believe VetIoT can foster future research/evaluation.


title: Certifiably Optimal Rotation and Pose Estimation Based on the Cayley Map

abstract: We present novel, convex relaxations for rotation and pose estimation problems that can a posteriori guarantee global optimality for practical measurement noise levels. Some such relaxations exist in the literature for specific problem setups that assume the matrix von Mises-Fisher distribution (a.k.a., matrix Langevin distribution or chordal distance)for isotropic rotational uncertainty. However, another common way to represent uncertainty for rotations and poses is to define anisotropic noise in the associated Lie algebra. Starting from a noise model based on the Cayley map, we define our estimation problems, convert them to Quadratically Constrained Quadratic Programs (QCQPs), then relax them to Semidefinite Programs (SDPs), which can be solved using standard interior-point optimization methods; global optimality follows from Lagrangian strong duality. We first show how to carry out basic rotation and pose averaging. We then turn to the more complex problem of trajectory estimation, which involves many pose variables with both individual and inter-pose measurements (or motion priors). Our contribution is to formulate SDP relaxations for all these problems based on the Cayley map (including the identification of redundant constraints) and to show them working in practical settings. We hope our results can add to the catalogue of useful estimation problems whose solutions can be a posteriori guaranteed to be globally optimal.


title: Toward American Sign Language Processing in the Real World: Data, Tasks, and Methods

abstract: Sign language, which conveys meaning through gestures, is the chief means of communication among deaf people. Recognizing sign language in natural settings presents significant challenges due to factors such as lighting, background clutter, and variations in signer characteristics. In this thesis, I study automatic sign language processing in the wild, using signing videos collected from the Internet. This thesis contributes new datasets, tasks, and methods. Most chapters of this thesis address tasks related to fingerspelling, an important component of sign language and yet has not been studied widely by prior work. I present three new large-scale ASL datasets in the wild: ChicagoFSWild, ChicagoFSWild+, and OpenASL. Using ChicagoFSWild and ChicagoFSWild+, I address fingerspelling recognition, which consists of transcribing fingerspelling sequences into text. I propose an end-to-end approach based on iterative attention that allows recognition from a raw video without explicit hand detection. I further show that using a Conformer-based network jointly modeling handshape and mouthing can bring performance close to that of humans. Next, I propose two tasks for building real-world fingerspelling-based applications: fingerspelling detection and search. For fingerspelling detection, I introduce a suite of evaluation metrics and a new detection model via multi-task training. To address the problem of searching for fingerspelled keywords in raw sign language videos, we propose a novel method that jointly localizes and matches fingerspelling segments to text. Finally, I will describe a benchmark for large-vocabulary open-domain sign language translation based on OpenASL. To address the challenges of sign language translation in realistic settings, we propose a set of techniques including sign search as a pretext task for pre-training and fusion of mouthing and handshape features.


title: Evolution of ESG-focused DLT Research: An NLP Analysis of the Literature

abstract: As Distributed Ledger Technologies (DLTs) rapidly evolve, their impacts extend beyond technology, influencing environmental and societal aspects. This evolution has increased publications, making manual literature analysis increasingly challenging. We address this with a Natural Language Processing (NLP)-based systematic literature review method to explore the intersection of Distributed Ledger Technology (DLT) with its Environmental, Social, and Governance (ESG) aspects. Our approach involves building and refining a directed citation network from 107 seed papers to a corpus of 24,539 publications and fine-tuning a transformer-based language model for Named Entity Recognition (NER) on DLT and ESG domains. Applying this model, we distilled the corpus to 505 key publications, enabling an inaugural literature review and temporal graph analysis of DLT's evolution in ESG contexts. Our contributions include an adaptable and scalable NLP-driven systematic literature review methodology and a unique NER dataset of 54,808 entities, tailored for DLT and ESG research. Our inaugural literature review demonstrates their applicability and effectiveness in analyzing DLT's evolution and impacts, proving invaluable for stakeholders in the DLT domain.


title: Upper bound on the Atiyah-Singer index from tadpole cancellation

abstract: We propose an upper bound on the Atiyah-Singer index in the effective action of string theory. For $E_8 \times E_8^\prime$ and $SO(32)$ heterotic string theories on smooth Calabi-Yau threefolds with line bundles, we find that the tadpole cancellation and supersymmetry conditions lead to an upper bound on the generation number of quarks and leptons as well as Higgs doublets. By taking into account the observed value of four-dimensional gauge couplings and the supergravity approximation, we explicitly evaluate the bound on favorable complete intersection Calabi-Yau threefolds. The bound can be extended to Calabi-Yau threefolds in the Kreuzer-Skarke database. We also put the upper bound on the Atiyah-Singer index in Type IIB/F-theory compactifications.


title: The periodic N breather anomalous wave solution of the Davey-Stewartson equations; first appearance, recurrence, and blow up properties

abstract: The integrable focusing Davey-Stewarson (DS) equations, multidimensional generalizations of the focusing cubic nonlinear Schr\"odinger (NLS) equation, provide ideal mathematical models for describing analytically the dynamics of 2+1 dimensional anomalous (rogue) waves (AWs). In this paper i) we construct the $N$-breather AW solution of Akhmediev type of the DS1 and DS2 equations, describing the nonlinear interaction of $N$ unstable modes over the constant background solution. ii) For the simplest multidimensional solution of DS2 we construct its limiting subcases, and we identify the constraint on its arbitrary parameters giving rise to blow up at finite time. iii) We use matched asymptotic expansions to describe the relevance of the constructed AW solutions in the doubly periodic Cauchy problem for small initial perturbations of the background, in the case of one and two unstable modes. We also show, in the case of two unstable modes, that no blow up takes place generically, although the AW amplitude can be arbitrarily large. All the results are expressed in terms of elementary functions.


title: Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems

abstract: We develop a hardware-efficient ansatz for variational optimization, derived from existing ansatze in the literature, that parametrizes subsets of all interactions in the Cost Hamiltonian in each layer. We treat gate orderings as a variational parameter and observe that doing so can provide significant performance boosts in experiments. We carried out experimental runs of a compilation-optimized implementation of fully-connected Sherrington-Kirkpatrick Hamiltonians on a 50-qubit linear-chain subsystem of Rigetti Aspen-M-3 transmon processor. Our results indicate that, for the best circuit designs tested, the average performance at optimized angles and gate orderings increases with circuit depth (using more parameters), despite the presence of a high level of noise. We report performance significantly better than using a random guess oracle for circuits involving up to approx 5000 two-qubit and approx 5000 one-qubit native gates. We additionally discuss various takeaways of our results toward more effective utilization of current and future quantum processors for optimization.


title: Virtual states in the coupled-channel problems with an improved complex scaling method

abstract: We improve the complex scaling method (CSM) to obtain virtual states, which were previously challenging in the conventional CSM. Our approach solves the Schr\"odinger equation in the momentum space as an eigenvalue problem by choosing the flexible contours. It proves to be highly effective in identifying the poles across the different Riemann sheets in the multichannel scatterings. It is more straightforward and efficient than searching for the zeros of the Fredholm determinant of the Lippmann-Schwinger equation using the root-finding algorithms. This advancement significantly extends the capabilities of the CSM in accurately characterizing the resonances and virtual states in quantum systems.

categories: hep-ph hep-lat nucl-th physics.atom-ph quant-ph