title: Rectification of polymer translocation through nanopores by chiral and nonchiral active particles

abstract: We study unbiased translocation of a flexible polymer chain through a membrane pore under the influence of active noise and steric exclusion using Langevin dynamics simulations. The active noise is incorporated by introducing nonchiral and chiral active particles on one or both sides of the membrane. Translocation of the polymer into either side of the pore is assisted by an effective pulling due to particle activity and is hindered by an effective pushing due to steric repulsions between the polymer and active particles. As a result of the competition between these effective forces, we find a transition between two rectified ({\em cis}-to-{\em trans} and {\em trans}-to-{\em cis}) states. This transition is identified by a sharp increase of translocation time. It varies depending on the system parameters such as particle activity, area fraction and chirality whose effects are explored in this work.


title: GUSOT: Green and Unsupervised Single Object Tracking for Long Video Sequences

abstract: Supervised and unsupervised deep trackers that rely on deep learning technologies are popular in recent years. Yet, they demand high computational complexity and a high memory cost. A green unsupervised single-object tracker, called GUSOT, that aims at object tracking for long videos under a resource-constrained environment is proposed in this work. Built upon a baseline tracker, UHP-SOT++, which works well for short-term tracking, GUSOT contains two additional new modules: 1) lost object recovery, and 2) color-saliency-based shape proposal. They help resolve the tracking loss problem and offer a more flexible object proposal, respectively. Thus, they enable GUSOT to achieve higher tracking accuracy in the long run. We conduct experiments on the large-scale dataset LaSOT with long video sequences, and show that GUSOT offers a lightweight high-performance tracking solution that finds applications in mobile and edge computing platforms.


title: Zero-jettiness beam functions at N$^3$LO

abstract: The zero-jettiness beam functions describe collinear emissions from initial state legs and appear in the factorisation theorem for cross sections in the limit of small zero-jettiness. They are an important building block for slicing schemes for colour-singlet production at hadron colliders. We report on our ongoing calculation of this quantity at next-to-next-to-next-to-leading order (N$^3$LO) in QCD, highlighting in particular the aspects of partial fraction relations and the calculation of master integrals.


title: Mixture-of-theories Training: Can We Find New Physics and Anomalies Better by Mixing Physical Theories?

abstract: Model-independent search strategies have been increasingly proposed in recent years because on the one hand there has been no clear signal for new physics and on the other hand there is a lack of a highly probable and parameter-free extension of the standard model. For these reasons, there is no simple search target so far. In this work, we try to take a new direction and ask the question: bearing in mind that we have a large number of new physics theories that go beyond the Standard Model and may contain a grain of truth, can we improve our search strategy for unknown signals by using them "in combination"? In particular, we show that a signal hypothesis based on a large, intermingled set of many different theoretical signal models can be a superior approach to find an unknown BSM signal. Applied to a recent data challenge, we show that "mixture-of-theories training" outperforms strategies that optimize signal regions with a single BSM model as well as most unsupervised strategies. Applications of this work include anomaly detection and the definition of signal regions in the search for signals of new physics.


title: Dynamical phase and quantum heat at fractional frequencies

abstract: We demonstrate a genuine quantum feature of heat: the power emitted by a qubit (quantum two-level system) into a reservoir under continuous driving shows peaks as a function of frequency $f$. These resonant features appear due to the accumulation of the dynamical phase during the driving. The position of the $n$th maximum is given by $f=f_{\rm M}/n$, where $f_{\rm M}$ is the mean frequency of the qubit in the cycle, and their positions are independent of the form of the drive and the number of heat baths attached, and even the presence or absence of spectral filtering. We show that the waveform of the drive determines the intensity of the peaks, differently for odd and even resonances. This quantum heat is expected to play a crucial role in the performance of driven thermal devices such as quantum heat engines and refrigerators. We also show that by optimizing the cycle protocol, we recover the favorable classical limit in fast driven systems without the use of counter-diabatic drive protocols and we demonstrate an entropy preserving non-unitary process. We propose that this non-trivial quantum heat can be detected by observing the steady-state power absorbed by a resistor acting as a bolometer attached to a driven superconducting qubit.


title: Model-independent methods for embedding directed networks into Euclidean and hyperbolic spaces

abstract: The arrangement of network nodes in hyperbolic spaces has become a widely studied problem, motivated by numerous results suggesting the existence of hidden metric spaces behind the structure of complex networks. Although several methods have already been developed for the hyperbolic embedding of undirected networks, approaches able to deal with directed networks are still in their infancy. Here, we propose a framework based on the dimension reduction of proximity matrices reflecting the network topology, coupled with a general conversion method transforming Euclidean node coordinates into hyperbolic ones even for directed networks. While proposing a new measure of proximity, we also incorporate an earlier Euclidean embedding method in our pipeline, demonstrating the widespread applicability of our Euclidean-hyperbolic conversion. Besides, we introduce a dimension reduction technique that maps the nodes directly into the hyperbolic space with the aim of reproducing a distance matrix measured on the given (un)directed network. According to mapping accuracy, graph reconstruction performance and greedy routing score, our methods are capable of producing high-quality embeddings for several real networks.


title: Hazma Meets HERWIG4DM: Precision Gamma-Ray, Neutrino, and Positron Spectra for Light Dark Matter

abstract: We present a new open-source package, Hazma 2, that computes accurate spectra relevant for indirect dark matter searches for photon, neutrino, and positron production from vector-mediated dark matter annihilation and for spin-one dark matter decay. The tool bridges across the regimes of validity of two state of the art codes: Hazma 1, which provides an accurate description below hadronic resonances up to center-of-mass energies around 250 MeV, and HERWIG4DM, which is based on vector meson dominance and measured form factors, and accurate well into the few GeV range. The applicability of the combined code extends to approximately 1.5 GeV, above which the number of final state hadrons off of which we individually compute the photon, neutrino, and positron yield grows exceedingly rapidly. We provide example branching ratios, particle spectra and conservative observational constraints from existing gamma-ray data for the well-motivated cases of decaying dark photon dark matter and vector-mediated fermionic dark matter annihilation. Finally, we compare our results to other existing codes at the boundaries of their respective ranges of applicability. Hazma 2 is freely available on GitHub.


title: Is a Caption Worth a Thousand Images? A Controlled Study for Representation Learning

abstract: The development of CLIP [Radford et al., 2021] has sparked a debate on whether language supervision can result in vision models with more transferable representations than traditional image-only methods. Our work studies this question through a carefully controlled comparison of two approaches in terms of their ability to learn representations that generalize to downstream classification tasks. We find that when the pre-training dataset meets certain criteria -- it is sufficiently large and contains descriptive captions with low variability -- image-only methods do not match CLIP's transfer performance, even when they are trained with more image data. However, contrary to what one might expect, there are practical settings in which these criteria are not met, wherein added supervision through captions is actually detrimental. Motivated by our findings, we devise simple prescriptions to enable CLIP to better leverage the language information present in existing pre-training datasets.


title: Explaining anomalies of $B$-physics, muon $g-2$ and $W$ mass in $R$-parity violating MSSM with seesaw mechanism

abstract: The recent experimental results including $R_{K^{(\ast)}}$, $R_{D^{(\ast)}}$, $(g-2)_\mu$ and $W$ mass show deviations from the standard model (SM) predictions, implying the clues of new physics (NP). In this work, we investigate the explanations of these anomalies in the $R$-parity violating minimal supersymmetric standard model (RPV-MSSM) extended with the inverse seesaw mechanism. The non-unitarity extent $\eta_{ee}$ and the loop corrections from the interaction $\lambda'\hat L \hat Q \hat D$ are utilized to raise the prediction of $W$ mass through muon decays. We also find that the interaction $\lambda'\hat L \hat Q \hat D$ involved with right-handed (RH)/singlet (s)neutrinos can explain the $R_{K^{(\ast)}}$ and $R_{D^{(\ast)}}$ anomalies simultaneously when considering nonzero $\lambda'_{1jk}$. For nonzero $\lambda'_{2jk}$, this model fulfills the whole $b\to s\ell^+\ell^-$ fit but cannot be accordant with $R_{D^{(\ast)}}$ measurements. The explanations in both cases are also favored by $(g-2)_\mu$ data, neutrino oscillation data and the relevant constraints we scrutinized. Furthermore, this model framework can be tested in future experiments covering, e.g., the predicted lepton flavor violations (LFV) at Belle II and the Future Circular Collider with $e^+e^-$ beams (FCC-ee), as well as the heavy neutrinos at future colliders.


title: High-temperature superconductivity in hydrides

abstract: Over the past six years (2015-2021), many superconducting hydrides with critical temperatures $T_{C}$ up to 250 K, which are currently record highs, have been discovered. Now we can already say that a special field of superconductivity has developed. This is hydride superconductivity at ultrahigh pressures. For the most part, the properties of superhydrides are well described by the Migdal-Eliashberg theory of strong electron-phonon interaction, especially when anharmonicity of phonons is taken into account. The isotope effect, the effect of the magnetic field (up to 60-70 T) on the critical temperature and critical current in the hydride samples, the dependence of $T_{C}$ on the pressure and degree of doping were investigated. The divergences between the theory and experiment are of interest, especially in the field of phase stability and in the behavior of the upper critical magnetic fields at low temperatures. This article presents a retrospective analysis of data of 2015-2021 and describes promising directions for future research of hydride superconductivity.


title: Final Result of the MAJORANA DEMONSTRATOR's Search for Neutrinoless Double-$\beta$ Decay in $^{76}$Ge

abstract: The MAJORANA DEMONSTRATOR searched for neutrinoless double-$\beta$ decay ($0\nu\beta\beta$) of $^{76}$Ge using modular arrays of high-purity Ge detectors operated in vacuum cryostats in a low-background shield. The arrays operated with up to 40.4 kg of detectors (27.2 kg enriched to $\sim$88\% in $^{76}$Ge). From these measurements, the DEMONSTRATOR has accumulated 64.5 kg yr of enriched active exposure. With a world-leading energy resolution of 2.52 keV FWHM at the 2039 keV $Q_{\beta\beta}$ (0.12\%), we set a half-life limit of $0\nu\beta\beta$ in $^{76}$Ge at $T_{1/2}>8.3\times10^{25}$ yr (90\% C.L.). This provides a range of upper limits on $m_{\beta\beta}$ of $(113-269)$ meV (90\% C.L.), depending on the choice of nuclear matrix elements.


title: Systematic Trends of 0$^+_2$, 1$^-_1$, 3$^-_1$ and 2$^+_1$ Excited States in Even-Even Nuclei

abstract: The spin and parity ($J^{\pi}$) assignments in even-even nuclei were reviewed across the nuclear chart using the Evaluated Nuclear Structure Data File (ENSDF). The prevalence of 2$^+_1$ first or lowest excited states is confirmed. The properties of 0$^+_2$, 1$^-_1$, and 3$^-_1$ lowest excited states were reexamined using the ENSDF data evaluation procedures. The $J^{\pi}$ systematic trends and correlations between level quantum numbers and nuclear physics phenomena are discussed.


title: Testing spin-dependent dark matter interactions with lithium aluminate targets in CRESST-III

abstract: In the past decades, numerous experiments have emerged to unveil the nature of dark matter, one of the most discussed open questions in modern particle physics. Among them, the CRESST experiment, located at the Laboratori Nazionali del Gran Sasso, operates scintillating crystals as cryogenic phonon detectors. In this work, we present first results from the operation of two detector modules which both have 10.46 g LiAlO$_2$ targets in CRESST-III. The lithium contents in the crystal are $^6$Li, with an odd number of protons and neutrons, and $^7$Li, with an odd number of protons. By considering both isotopes of lithium and $^{27}$Al, we set the currently strongest cross section upper limits on spin-dependent interaction of dark matter with protons and neutrons for the mass region between 0.25 and 1.5 GeV/c$^2$.


title: Lattice QCD and Particle Physics

abstract: Contribution from the USQCD Collaboration to the Proceedings of the US Community Study on the Future of Particle Physics (Snowmass 2021).


title: Simulating Spectral Kurtosis Mitigation Against Realistic RFI Signals

abstract: We investigate the effectiveness of the statistical radio frequency interference (RFI) mitigation technique spectral kurtosis (SK) in the face of simulated realistic RFI signals. SK estimates the kurtosis of a collection of M power values in a single channel and provides a detection metric that is able to discern between human-made RFI and incoherent astronomical signals of interest. We test the ability of SK to flag signals with various representative modulation types, data rates, duty cycles, and carrier frequencies. We flag with various accumulation lengths M and implement multi-scale SK, which combines information from adjacent time-frequency bins to mitigate weaknesses in single-scale \SK. We find that signals with significant sidelobe emission from high data rates are harder to flag, as well as signals with a 50% effective duty cycle and weak signal-to-noise ratios. Multi-scale SK with at least one extra channel can detect both the center channel and side-band interference, flagging greater than 90% as long as the bin channel width is wider in frequency than the RFI.


title: ARShopping: In-Store Shopping Decision Support Through Augmented Reality and Immersive Visualization

abstract: Online shopping gives customers boundless options to choose from, backed by extensive product details and customer reviews, all from the comfort of home; yet, no amount of detailed, online information can outweigh the instant gratification and hands-on understanding of a product that is provided by physical stores. However, making purchasing decisions in physical stores can be challenging due to a large number of similar alternatives and limited accessibility of the relevant product information (e.g., features, ratings, and reviews). In this work, we present ARShopping: a web-based prototype to visually communicate detailed product information from an online setting on portable smart devices (e.g., phones, tablets, glasses), within the physical space at the point of purchase. This prototype uses augmented reality (AR) to identify products and display detailed information to help consumers make purchasing decisions that fulfill their needs while decreasing the decision-making time. In particular, we use a data fusion algorithm to improve the precision of the product detection; we then integrate AR visualizations into the scene to facilitate comparisons across multiple products and features. We designed our prototype based on interviews with 14 participants to better understand the utility and ease of use of the prototype.


title: Gusts in the Headwind: Uncertainties in Direct Dark Matter Detection

abstract: We use high-resolution, hydrodynamic, galaxy simulations from the Latte suite of FIRE-2 simulations to investigate the inherent variation of dark matter in sub-sampled regions around the Solar Circle of a Milky Way-type analogue galaxy and its impact on direct dark matter detection. These simulations show that the baryonic backreaction, as well as the assembly history of substructures, has lasting impacts on the dark matter's spatial and velocity distributions. These are experienced as 'gusts' of dark matter wind around the Solar Circle, potentially complicating interpretations of direct detection experiments on Earth. We find that the velocity distribution function in the galactocentric frame shows strong deviations from the Maxwell Boltzmann form typically assumed in the fiducial Standard Halo Model, indicating the presence of high-velocity substructures. By introducing a new numerical integration technique which removes any dependencies on the Standard Halo Model, we generate event-rate predictions for both single-element Germanium and compound Sodium Iodide detectors, and explore how the variability of dark matter around the Solar Circle influences annual modulation signal predictions. We find that these velocity substructures contribute additional astrophysical uncertainty to the interpretation of event rates, although their impact on summary statistics such as the peak day of annual modulation is generally low.

categories: astro-ph.GA astro-ph.CO astro-ph.IM hep-ph


title: A Probabilistic Autoencoder for Type Ia Supernovae Spectral Time Series

abstract: We construct a physically-parameterized probabilistic autoencoder (PAE) to learn the intrinsic diversity of type Ia supernovae (SNe Ia) from a sparse set of spectral time series. The PAE is a two-stage generative model, composed of an Auto-Encoder (AE) which is interpreted probabilistically after training using a Normalizing Flow (NF). We demonstrate that the PAE learns a low-dimensional latent space that captures the nonlinear range of features that exists within the population, and can accurately model the spectral evolution of SNe Ia across the full range of wavelength and observation times directly from the data. By introducing a correlation penalty term and multi-stage training setup alongside our physically-parameterized network we show that intrinsic and extrinsic modes of variability can be separated during training, removing the need for the additional models to perform magnitude standardization. We then use our PAE in a number of downstream tasks on SNe Ia for increasingly precise cosmological analyses, including automatic detection of SN outliers, the generation of samples consistent with the data distribution, and solving the inverse problem in the presence of noisy and incomplete data to constrain cosmological distance measurements. We find that the optimal number of intrinsic model parameters appears to be three, in line with previous studies, and show that we can standardize our test sample of SNe Ia with an RMS of $0.091 \pm 0.010$ mag, which corresponds to $0.074 \pm 0.010$ mag if peculiar velocity contributions are removed. Trained models and codes are released at \href{https://github.com/georgestein/suPAErnova}{github.com/georgestein/suPAErnova}


title: Multimodal Open-Vocabulary Video Classification via Pre-Trained Vision and Language Models

abstract: Utilizing vision and language models (VLMs) pre-trained on large-scale image-text pairs is becoming a promising paradigm for open-vocabulary visual recognition. In this work, we extend this paradigm by leveraging motion and audio that naturally exist in video. We present \textbf{MOV}, a simple yet effective method for \textbf{M}ultimodal \textbf{O}pen-\textbf{V}ocabulary video classification. In MOV, we directly use the vision encoder from pre-trained VLMs with minimal modifications to encode video, optical flow and audio spectrogram. We design a cross-modal fusion mechanism to aggregate complimentary multimodal information. Experiments on Kinetics-700 and VGGSound show that introducing flow or audio modality brings large performance gains over the pre-trained VLM and existing methods. Specifically, MOV greatly improves the accuracy on base classes, while generalizes better on novel classes. MOV achieves state-of-the-art results on UCF and HMDB zero-shot video classification benchmarks, significantly outperforming both traditional zero-shot methods and recent methods based on VLMs. Code and models will be released.


title: Demonstration of algorithmic quantum speedup

abstract: Quantum algorithms theoretically outperform classical algorithms in solving problems of increasing size, but computational errors must be kept to a minimum to realize this potential. Despite the development of increasingly capable quantum computers (QCs), an experimental demonstration of a provable algorithmic quantum speedup employing today's non-fault-tolerant, noisy intermediate-scale quantum (NISQ) devices has remained elusive. Here, we unequivocally demonstrate such a speedup, quantified in terms of the scaling with the problem size of the time-to-solution metric. We implement the single-shot Bernstein-Vazirani algorithm, which solves the problem of identifying a hidden bitstring that changes after every oracle query, utilizing two different 27-qubit IBM Quantum (IBMQ) superconducting processors. The speedup is observed on only one of the two QCs (ibmq_montreal) when the quantum computation is protected by dynamical decoupling (DD) -- a carefully designed sequence of pulses applied to the QC that suppresses its interaction with the environment, but not without DD. In contrast to recent quantum supremacy demonstrations, the quantum speedup reported here does not rely on any additional assumptions or complexity-theoretic conjectures and solves a bona fide computational problem, in the setting of a game with an oracle and a verifier.


title: Spin dynamics of a solid-state qubit in proximity to a superconductor

abstract: A broad effort is underway to understand and harness the interaction between superconductors and spin-active color centers with an eye on the realization of hybrid quantum devices and novel imaging modalities of superconducting materials. Most work, however, overlooks the complex interplay between either system and the environment created by the color center host. Here we use an all-diamond scanning probe to investigate the spin dynamics of a single nitrogen-vacancy (NV) center proximal to a high-critical-temperature superconducting film in the presence of a weak magnetic field. We find that the presence of the superconductor increases the NV spin coherence lifetime, a phenomenon we tentatively rationalize as a change in the electric noise due to a superconductor-induced redistribution of charge carriers near the NV site. We build on these findings to demonstrate transverse-relaxation-time-weighted imaging of the superconductor film. These results shed light on the complex surface dynamics governing the spin coherence of shallow NVs while simultaneously paving the route to new forms of noise spectroscopy and imaging of superconductors.


title: Localisation And Imaging Methods for Moving Target Ghost Imaging Radar Based On Correlation Intensity Weighting

abstract: Ghost imaging radar is a new system of gaze imaging radar with high detection sensitivity, super-resolution and better anti-interference performance, but the relative motion between the radar system and the target will make the target imaging deteriorate. This paper proposes to perform absolute position localisation of a single target in the field of view by weighting the correlation strength of a single frame image of rough target, and to compensate translation of the reference arm speckle according to the localisation and tracking trajectory to accumulate the rough image into a high quality image. The proposed correlation intensity weighted localization and tracking imaging method has been verified by simulation to be able to locate and image targets in the field of view well.


title: Contrastive Brain Network Learning via Hierarchical Signed Graph Pooling Model

abstract: Recently brain networks have been widely adopted to study brain dynamics, brain development and brain diseases. Graph representation learning techniques on brain functional networks can facilitate the discovery of novel biomarkers for clinical phenotypes and neurodegenerative diseases. However, current graph learning techniques have several issues on brain network mining. Firstly, most current graph learning models are designed for unsigned graph, which hinders the analysis of many signed network data (e.g., brain functional networks). Meanwhile, the insufficiency of brain network data limits the model performance on clinical phenotypes predictions. Moreover, few of current graph learning model is interpretable, which may not be capable to provide biological insights for model outcomes. Here, we propose an interpretable hierarchical signed graph representation learning model to extract graph-level representations from brain functional networks, which can be used for different prediction tasks. In order to further improve the model performance, we also propose a new strategy to augment functional brain network data for contrastive learning. We evaluate this framework on different classification and regression tasks using the data from HCP and OASIS. Our results from extensive experiments demonstrate the superiority of the proposed model compared to several state-of-the-art techniques. Additionally, we use graph saliency maps, derived from these prediction tasks, to demonstrate detection and interpretation of phenotypic biomarkers.


title: Quantum Origin of (Newtonian) Mass and Galilean Relativity Symmetry

abstract: The Galilei group has been taken as the fundamental symmetry for 'nonrelativistic' physics, quantum or classical. Our fully group theoretical formulation approach to the quantum theory asks for some adjustments. We present a sketch of the full picture here, emphasizing aspects that are different from the more familiar picture. The analysis involves a more careful treatment of the relation between the exact mathematics and its physical application in the dynamical theories, and a more serious full implementation of the mathematical logic than what is usually available in the physics literature. The article summarizes our earlier presented formulation while focusing on the part beyond, with an adjusted, or corrected, identification of the basic representations having the (Newtonian) mass as a Casimir invariant and the notion of center of mass as dictated by the symmetry. Another result is the necessary exclusion of the time translational symmetry, that otherwise bans interactions between particles.


title: Bouncing cosmological model with general relativistic hydrodynamics in extended gravity

abstract: In this paper, in an extended theory of gravity, we have presented bouncing cosmological model at the backdrop of an isotropic, homogeneous space-time, in presence of general relativistic hydrodynamics (GRH). The scale factor has been chosen in such a manner that with appropriate normalization, the quintom bouncing scenario can be assessed. Accordingly, the bounce occurs at $t=0$ and the corresponding Hubble parameter vanishes at the bounce epoch. The equation of state (EoS) parameter and the energy conditions of the model have been analysed. The violation of strong energy condition further supports the behaviour of extended gravity. As the bouncing cosmology suffers with instability, this model also shows the similar behaviour.


title: Path integral molecular dynamics for thermodynamics and Green's function of ultracold spinor bosons

abstract: Most recently, the path integral molecular dynamics has been successfully used to consider the thermodynamics of single-component identical bosons and fermions. In this work, the path integral molecular dynamics is developed to simulate the thermodynamics, Green's function and momentum distribution of two-component bosons in three dimensions. As an example of our general method, we consider the thermodynamics of up to sixteen bosons in a three-dimensional harmonic trap. For noninteracting spinor bosons, our simulation shows a bump in the heat capacity. As the repulsive interaction strength increases, however, we find the gradual disappearance of the bump in the heat capacity. We believe this simulation result can be tested by ultracold spinor bosons with optical lattices and magnetic-field Feshbach resonance to tune the inter-particle interaction. We also calculate Green's function and momentum distribution of spinor bosons. Our work facilitates the exact numerical simulation of spinor bosons, whose property is one of the major problems in ultracold Bose gases.

categories: cond-mat.quant-gas cond-mat.stat-mech physics.comp-ph quant-ph


title: Learning inducing points and uncertainty on molecular data by scalable variational Gaussian processes

abstract: Uncertainty control and scalability to large datasets are the two main issues for the deployment of Gaussian process (GP) models within the autonomous machine learning-based prediction pipelines in material science and chemistry. One way to address both of these issues is by introducing the latent inducing point variables and choosing the right approximation for the marginal log-likelihood objective. Here, we empirically show that variational learning of the inducing points in a molecular descriptor space improves the prediction of energies and atomic forces on two molecular dynamics datasets. First, we show that variational GPs can learn to represent the configurations of the molecules of different types that were not present within the initialization set of configurations. We provide a comparison of alternative log-likelihood training objectives and variational distributions. Among several evaluated approximate marginal log-likelihood objectives, we show that predictive log-likelihood provides excellent uncertainty estimates at the slight expense of predictive quality. Furthermore, we extend our study to a large molecular crystal system, showing that variational GP models perform well for predicting atomic forces by efficiently learning a sparse representation of the dataset.


title: Closed Graph Theorem For Linear Random Operators

abstract: In this work, which was inspired by the article [2] by M. V. Velasco and A. R. Villena, we obtain a characterization for probably continuous operators and show that the probability of a linear random operator being continuous coincides with the probability of having a closed graph. Furthermore, we laid the foundations to start a new branch of mathematics, namely, Random Analysis.


title: FLOWGEN: Fast and slow graph generation

abstract: Machine learning systems typically apply the same model to both easy and tough cases. This is in stark contrast with humans, who tend to evoke either fast (instinctive) or slow (analytical) thinking depending on the problem difficulty, a property called the dual-process theory of mind. We present FLOWGEN, a graph-generation model inspired by the dual-process theory of mind that generates large graphs incrementally. Depending on the difficulty of completing the graph at the current step, graph generation is routed to either a fast (weaker) or a slow (stronger) model. These modules have identical architectures, but vary in the number of parameters and consequently differ in generative power. Experiments on real-world graphs show that ours can successfully generate graphs similar to those generated by a single large model, while being up to 2x faster.


title: Examining the Properties of Low-Luminosity Hosts of Type Ia Supernovae from ASAS-SN

abstract: We present a spectroscopic analysis of 44 low-luminosity host galaxies of Type Ia supernovae (SNe Ia) detected by the All-Sky Automated Survey for Supernovae (ASAS-SN), using the emission lines to measure metallicities and star formation rates. We find that although the star formation activity of our sample is representative of general galaxies, there is some evidence that the lowest-mass SN Ia host galaxies (log($M_\star/M_\odot$)$<8$) in our sample have high metallicities compared to general galaxies of similar masses. We also identify a subset of 5 galaxies with particularly high metallicities. This highlights the need for spectroscopic analysis of more low-luminosity, low-mass SN Ia host galaxies to test the robustness of these conclusions and their potential impact on our understanding of SN Ia progenitors.


title: A study of the agreement between binary neutron star ejecta models derived from numerical relativity simulations

abstract: Neutron star mergers have recently become a tool to study extreme gravity, nucleosynthesis, and the chemical composition of the Universe. To date, there has been one joint gravitational and electromagnetic observation of a binary neutron star merger, GW170817, as well as a solely gravitational observation, GW190425. In order to accurately identify and interpret electromagnetic signals of neutron star mergers, better models of the matter outflows generated by these mergers are required. We compare a series of ejecta models to see where they provide strong constraints on the amount of ejected mass expected from a system, and where systematic uncertainties in current models prevent us from reliably extracting information from observed events. We also examine 2396 neutron star equations of state compatible with GW170817 to see whether a given ejecta mass could be reasonably produced with a neutron star of said equation of state, and whether different ejecta models provide consistent predictions. We find that the difference between models is often comparable to or larger than the error generally assumed for these models, implying better constraints on the models are needed. We also note that the extrapolation of outflow models outside of their calibration window, while commonly needed to analyze gravitational wave events, is extremely unreliable and occasionally leads to completely unphysical results.


title: High Efficiency Echelle Gratings for the Far Ultraviolet

abstract: Modern grating manufacturing techniques suffer from inherent issues that limit their peak efficiencies. The anisotropic etching of silicon facilitates the creation of custom gratings that have sharp and atomically smooth facets, directly addressing these issues. We describe work to fabricate and characterize etched silicon echelles optimized for the far ultraviolet (FUV; 90 - 180 nm) bandpass. We fabricate two echelles that have similar parameters to the mechanically ruled grating flown on the CHESS sounding rocket. We demonstrate a 42% increase in peak order efficiency and an 83% decrease in interorder scatter using these gratings. We also present analysis on where the remaining efficiency resides. These demonstrated FUV echelle improvements benefit the faint source sensitivity and high-resolution performance of future UV observatories.


title: Probing helium reionization with kinetic Sunyaev Zel'dovich tomography

abstract: Reionization of helium is expected to occur at redshifts $z\sim3$ and have important consequences for quasar populations, galaxy formation, and the morphology of the intergalactic medium, but there is little known empirically about the process. Here we show that kinetic Sunyaev-Zeldovich (kSZ) tomography, based on the combination of CMB measurements and galaxy surveys, can be used to infer the primordial helium abundance as well as the time and duration of helium reionization. We find a high-significance detection at ${\sim10\sigma}$ can be expected from Vera Rubin Observatory and CMB-S4 in the near future. A more robust characterization of helium reionization will require next-generation experiments like MegaMapper (a proposed successor to DESI) and CMB-HD.


title: Quantum impurity model for two-stage multipolar ordering and Fermi surface reconstruction

abstract: Classification and understanding of quantum phase transitions and critical phenomena in itinerant electron systems are outstanding questions in quantum materials research. Recent experiments on heavy fermion systems with higher-rank multipolar local moments provide a new platform to study such questions. In particular, experiments on $\text{Ce}_{3}\text{Pd}_{20}\text{(Si,Ge)}_{6}$ show novel quantum critical behaviors via two consecutive magnetic field-driven quantum phase transitions. At each transition, the derivative of the Hall resistivity jumps discontinuously, which was attributed to sequential Fermi surface reconstructions. Motivated by this discovery, we consider an effective quantum impurity model of itinerant electrons coupled to local dipolar, quadrupolar, and octupolar moments arising from $\text{Ce}^{3+}$ ions. Using renormalization group analyses, we demonstrate that two-stage multipolar ordering and Fermi surface reconstruction arise depending on which multipolar moments participate in the Fermi surface and which other moments are decoupled via Kondo destruction.


title: Superradiance in Stars: Non-equilibrium approach to damping of fields in stellar media

abstract: Superradiance in black holes is well-understood but a general treatment for superradiance in stars has until now been lacking. This is surprising given the ease with which we can observe isolated neutron stars and the array of signatures which would result from stellar superradiance. In this work, we present the first systematic pipeline for computing superradiance rates in rotating stars. Our method can be used with any Lagrangian describing the interaction between the superradiant field and the constituents of the star. Our scheme falls into two parts: firstly we show how field theory at finite density can be used to express the absorption of long wavelength modes into the star in terms of microphsyical scattering processes. This allows us to derive a damped equation of motion for the bosonic field. We then feed this into an effective theory for long wavelengths (the so-called worldline formalism) to describe the amplification of superradiant modes of arbitrary multipole moment for a rapidly rotating star. Our method places stellar superradiance on a firm theoretical footing and allows the calculation of the superradiance rate arising from any interaction between a bosonic field and stellar matter.


title: Tunable spin and orbital Edelstein effect at (111) LaAlO$_3$/SrTiO$_3$ interface

abstract: Converting charge current into spin current is one of the main mechanisms exploited in spintronics. One prominent example is the Edelstein effect, namely the generation of a magnetization in response to an external electric field, which can be realized in systems with lack of inversion symmetry. If a system has electrons with an orbital angular momentum character, an orbital magnetization can be generated by the applied electric field giving rise to the so-called orbital Edelstein effect. Oxide heterostructures are the ideal platform for these effects due to the strong spin-orbit coupling and the lack of inversion symmetries. Beyond a gate-tunable spin Edelstein effect, we predict an orbital Edelstein effect an order of magnitude larger then the spin one at the (111) LaAlO$_3$/SrTiO$_3$ interface. We model the material as a bilayer of $t_{2g}$ orbitals using a tight-binding approach, while transport properties are obtained in the Boltzmann approach. We give an effective model at low filling which explains the non-trivial behaviour of the Edelstein response, showing that the hybridization between the electronic bands crucially impacts the Edelstein susceptibility.


title: Combinatorics of generalized Dyck and Motzkin paths

abstract: We relate the combinatorics of periodic generalized Dyck and Motzkin paths to the cluster coefficients of particles obeying generalized exclusion statistics, and obtain explicit expressions for the counting of paths with a fixed number of steps of each kind at each vertical coordinate. A class of generalized compositions of the integer path length emerges in the analysis.

categories: math-ph cond-mat.stat-mech hep-th math.CO math.MP


title: Shor-Laflamme distributions of graph states and noise robustness of entanglement

abstract: The Shor-Laflamme distribution (SLD) of a quantum state is a collection of local unitary invariants that quantify $k$-body correlations. We show that the SLD of graph states can be derived by solving a graph-theoretical problem. In this way, the mean and variance of the SLD are obtained as simple functions of efficiently computable graph properties. Furthermore, this formulation enables us to derive closed expressions of SLDs for some graph state families. For cluster states, we observe that the SLD is very similar to a binomial distribution, and we argue that this property is typical for graph states in general. Finally, we derive an SLD-based entanglement criterion from the purity criterion and apply it to derive meaningful noise thresholds for entanglement. Our new entanglement criterion is easy to use and also applies to the case of higher-dimensional qudits. In the bigger picture, our results foster the understanding both of quantum error-correcting codes, where a closely related notion of Shor-Laflamme distributions plays an important role, and of the geometry of quantum states, where Shor-Laflamme distributions are known as sector length distributions.


title: Nonclassical advantage in metrology established via quantum simulations of hypothetical closed timelike curves

abstract: We construct a metrology experiment in which the metrologist can sometimes amend her input state by simulating a closed timelike curve, a worldline that travels backward in time. The existence of closed timelike curves is hypothetical. Nevertheless, they can be simulated probabilistically by quantum-teleportation circuits. We leverage such simulations to pinpoint a counterintuitive nonclassical advantage achievable with entanglement. Our experiment echoes a common information-processing task: A metrologist must prepare probes to input into an unknown quantum interaction. The goal is to infer as much information per probe as possible. If the input is optimal, the information gained per probe can exceed any value achievable classically. The problem is that, only after the interaction does the metrologist learn which input would have been optimal. The metrologist can attempt to change her input by effectively teleporting the optimal input back in time, via entanglement manipulation. The effective time travel sometimes fails but ensures that, summed over trials, the metrologist's winnings are positive. Our Gedankenexperiment demonstrates that entanglement can generate operational advantages forbidden in classical chronology-respecting theories.


title: Massive Neutron Stars and White Dwarfs as Noncommutative Fuzzy Spheres

abstract: Over the last couple of decades, there are direct and indirect evidences for massive compact objects than their conventional counterparts. A couple of such examples are super-Chandrasekhar white dwarfs and massive neutron stars. The observations of more than a dozen peculiar over-luminous type Ia supernovae predict their origins from super-Chandrasekhar white dwarf progenitors. On the other hand, recent gravitational wave detection and some pulsar observations argue for massive neutron stars, lying in the famous mass-gap between lowest astrophysical black hole and conventional highest neutron star masses. We show that the idea of a squashed fuzzy sphere, which brings in noncommutative geometry, can self-consistently explain either of the massive objects as if they are actually fuzzy or squashed fuzzy spheres. Noncommutative geometry is a branch of quantum gravity. If the above proposal is correct, it will provide observational evidences for noncommutativity.


title: One-loop correction to the enhanced curvature perturbation with local-type non-Gaussianity for the formation of primordial black holes

abstract: As one of the promising candidates of cold dark matter (DM), primordial black holes (PBHs) were formed due to the collapse of over-densed regions generated by the enhanced curvature perturbations during the radiation-dominated era. The enhanced curvature perturbations are expected to be non-Gaussian in some relevant inflation models and hence the higher-order loop corrections to the curvature power spectrum might be non-negligible as well as altering the abundance of PBHs. In this paper, we calculate the one-loop correction to the curvature power spectrum with local-type non-Gaussianities characterizing by $F_{\mathrm{NL}}$ and $G_{\mathrm{NL}}$ standing for the quadratic and cubic non-Gaussian parameters, respectively. Requiring that the one-loop correction be subdominant, we find a perturbativity condition, namely $|2cAF_{\mathrm{NL}}^2+6AG_{\mathrm{NL}}|\ll 1$, where $c$ is a constant coefficient which can be explicitly calculated in the given model and $A$ denotes the variance of Gaussian part of enhanced curvature perturbation, and such a perturbativity condition can provide a stringent constraint on the relevant inflation models for the formation of PBHs.


title: Electroweak Corrections to the Charm-Top-Quark Contribution to $\epsilon_K$

abstract: We calculate the leading-logarithmic and next-to-leading-logarithmic electroweak corrections to the charm-top-quark contribution to the effective $|\Delta S| = 2$ Lagrangian, relevant for the parameter $\epsilon_K$. We find that these corrections lead to a $-0.5\%$ shift in the corresponding Wilson coefficient. Moreover, our calculation removes an implicit ambiguity in the standard-model prediction of $\epsilon_K$, by fixing the renormalization scheme of the electroweak input parameters.


title: On the Effects of Planetary Oblateness on Exoplanet Studies

abstract: When studying transiting exoplanets it is common to assume a spherical planet shape. However short rotational periods can cause a planet to bulge at its equator, as is the case with Saturn whose equatorial radius is almost 10% larger than its polar radius. As a new generation of instruments comes online, it is important to continually assess the underlying assumptions of models to ensure robust and accurate inferences. We analyze bulk samples of known transiting planets and calculate their expected signal strength if they were to be oblate. We find that for noise levels below 100ppm, as many as 100 planets could have detectable oblateness. We also investigate the effects of fitting spherical planet models to synthetic oblate lightcurves. We find that this biases the retrieved parameters by several standard deviations for oblateness values > 0.1-0.2. When attempting to fit an oblateness model to both spherical and oblate lightcurves, we find that the sensitivity of such fits is correlated with both the SNR as well as the time sampling of the data, which can mask the oblateness signal. For typical values of these quantities for Kepler observations, it is difficult to rule out oblateness values less than ~0.25. This results in an accuracy wall of 10-15% for the density of planets which may be oblate. Finally, we find that a precessing oblate planet has the ability to mimic the signature of a long-period companion via transit timing variations, inducing offsets at the level of 10s of seconds.


title: Supersymmetry of the D3/D5 Defect Field Theory

abstract: Four-dimensional N=4 super Yang-Mills, with a codimension-one defect breaking half of the supersymmetry, arises as the field theory description of the D3/D5 intersection in the holographic limit. This is one of the earliest, most extensively studied, and commonly used systems in holography. In this note we give the full R-symmetry-covariant supersymmetry variations for this system. We also provide the supercurrents and compute the algebra of the corresponding supercharges, obtaining the full set of central charges. We show that magnetically charged finite-energy field configurations preserving half of the supersymmetry are solutions to a new form of the extended Bogomolny equations, in which the defect fields play the role of jumping data for the Nahm-like part of the equations. In the appendices, we explain the connection between our results and the superspace-based formulations in the literature.


title: Probabilistic picture for particle number densities in stretched tips of the branching Brownian motion

abstract: In the framework of a stochastic picture for the one-dimensional branching Brownian motion, we compute the probability density of the number of particles near the rightmost one at a time $T$, that we take very large, when this extreme particle is conditioned to arrive at a predefined position $x_T$ chosen far ahead of its expected position $m_T$. We recover the previously-conjectured fact that the typical number density of particles a distance $\Delta$ to the left of the lead particle, when both $\Delta$ and $x_T-\Delta-m_T$ are large, is smaller than the mean number density by a factor proportional to $e^{-\zeta\Delta^{2/3}}$, where $\zeta$ is a constant that was so far undetermined. Our picture leads to an expression for the probability density of the particle number, from which a value for $\zeta$ may be inferred.


title: Hierarchical Bayesian inference of photometric redshifts with stellar population synthesis models

abstract: We present a Bayesian hierarchical framework to analyze photometric galaxy survey data with stellar population synthesis (SPS) models. Our method couples robust modeling of spectral energy distributions with a population model and a noise model to characterize the statistical properties of the galaxy populations and real observations, respectively. By self-consistently inferring all model parameters, from high-level hyper-parameters to SPS parameters of individual galaxies, one can separate sources of bias and uncertainty in the data.We demonstrate the strengths and flexibility of this approach by deriving accurate photometric redshifts for a sample of spectroscopically-confirmed galaxies in the COSMOS field, all with 26-band photometry and spectroscopic redshifts. We achieve a performance competitive with publicly-released photometric redshift catalogs based on the same data. Prior to this work, this approach was computationally intractable in practice due to the heavy computational load of SPS model calls; we overcome this challenge using with neural emulators. We find that the largest photometric residuals are associated with poor calibration for emission line luminosities and thus build a framework to mitigate these effects. This combination of physics-based modeling accelerated with machine learning paves the path towards meeting the stringent requirements on the accuracy of photometric redshift estimation imposed by upcoming cosmological surveys. The approach also has the potential to create new links between cosmology and galaxy evolution through the analysis of photometric datasets.


title: The Tarantula Massive Binary Monitoring VI: Characterisation of hidden companions in 51 single-lined O-type binaries, a flat mass-ratio distribution, and black-hole binary candidates

abstract: We aim to hunt for massive binaries hosting a black hole companion (OB+BH) and establish the natal mass-ratio distribution of massive stars at the subsolar metallicity environment of the Large Magellanic Cloud (LMC). We use the shift-and-add grid disentangling technique to characterize the hidden companions in 51 SB1 O-type and evolved B-type binaries in the LMC monitored in the framework of the Tarantula Massive Binary Monitoring (TMBM). Out of the 51 SB1 systems, 43 (84%) are found to have non-degenerate stellar companions, of which 28 are confident detections, and 15 are less certain (SB1: or SB2:). Of these 43 targets, one is found to be a triple (VFTS 64), and two are found to be quadruples (VFTS 120, 702). The remaining eight targets (16%) retain an SB1 classification. Aside from the unambiguous case of VFTS 243, analysed in detailed in a separate paper, we identify two additional OB+BH candidates: VFTS 514 and VFTS 779. Additional black holes may be present in the sample but at a lower probability. Our study firmly establishes a virtually flat natal mass-ratio distribution for O-type stars at LMC metallicity, covering the entire mass-ratio range (0.05 < q < 1) and periods in the range 0 < log P < 3 [d]. The nature of the OB+BH candidates should be verified through future monitoring, but the frequency of OB+BH candidates is generally in line with recent predictions at LMC metallicity.


title: An X-ray quiet black hole born with a negligible kick in a massive binary within the Large Magellanic Cloud

abstract: Stellar-mass black holes are the final remnants of stars born with more than 15 solar masses. Billions are expected to reside in the Local Group, yet only few are known, mostly detected through X-rays emitted as they accrete material from a companion star. Here, we report on VFTS 243: a massive X-ray faint binary in the Large Magellanic Cloud. With an orbital period of 10.4-d, it comprises an O-type star of 25 solar masses and an unseen companion of at least nine solar masses. Our spectral analysis excludes a non-degenerate companion at a 5-sigma confidence level. The minimum companion mass implies that it is a black hole. No other X-ray quiet black hole is unambiguously known outside our Galaxy. The (near-)circular orbit and kinematics of VFTS 243 imply that the collapse of the progenitor into a black hole was associated with little or no ejected material or black-hole kick. Identifying such unique binaries substantially impacts the predicted rates of gravitational-wave detections and properties of core-collapse supernovae across the Cosmos.


title: Spurious correlations between galaxies and multi-epoch image stacks in the DESI Legacy Surveys

abstract: A non-negligible source of systematic bias in cosmological analyses of galaxy surveys is the on-sky modulation caused by foregrounds and variable image characteristics such as observing conditions. Standard mitigation techniques perform a regression between the observed galaxy density field and sky maps of the potential contaminants. Such maps are ad-hoc, lossy summaries of the heterogeneous sets of co-added exposures that contribute to the survey. We present a methodology to address this limitation, and extract the spurious correlations between the observed distribution of galaxies and arbitrary stacks of single-epoch exposures. We study four types of galaxies (LRGs, ELGs, QSOs, LBGs) in the three regions of the DESI Legacy Surveys (North, South, DES), which results in twelve samples with varying levels and type of contamination. We find that the new technique outperforms the traditional ones in all cases, and is able to remove higher levels of contamination. This paves the way for new methods that extract more information from multi-epoch galaxy survey data and mitigate large-scale biases more effectively.


title: Dark Matter Axions in the Early Universe with a Period of Increasing Temperature

abstract: We consider the production of axion dark matter through the misalignment mechanism in the context of a nonstandard cosmological history involving early matter domination by a scalar field with a time-dependent decay rate. In cases where the temperature of the Universe experiences a temporary period of increase, Hubble friction can be restored in the evolution of the axion field, resulting in the possibility of up to three "crossings" of the axion mass and the Hubble expansion rate. This has the effect of dynamically resetting the misalignment mechanism to a new initial state for a second distinct phase of oscillation. The resultant axion mass required for the present dark matter relic density is never bigger than the standard-history window and can be smaller by more than three orders of magnitude, which can be probed by upcoming experiments such as ABRACADABRA, KLASH, ADMX, MADMAX, and ORGAN, targeting the axion-photon coupling. This highlights the possibility of exploring the cosmological history prior to Big Bang Nucleosynthesis through searches for axion dark matter beyond the standard window.


title: Radial Profiles of Surface Density in Debris Discs

abstract: Resolved observations of debris discs can be used to derive radial profiles of Azimuthally-averaged Surface Density (ASD), which carries important information about the disc structure even in presence of non-axisymmetric features and has improved signal-to-noise characteristics. We develop a (semi-)analytical formalism allowing one to relate ASD to the underlying semi-major axis and eccentricity distributions of the debris particles in a straightforward manner. This approach does not involve the distribution of particle apsidal angles, thus simplifying calculations. It is a much faster, more flexible and effective way of calculating ASD than the Monte Carlo sampling of orbital parameters of debris particles. We present explicit analytical results based on this technique for a number of particle eccentricity distributions, including two cases of particular practical importance: a prescribed radial profile of eccentricity, and the Rayleigh distribution of eccentricities. We then show how our framework can be applied to observations of debris discs and rings for retrieving either the semi-major axis distribution or (in some cases) the eccentricity distribution of debris, thus providing direct information about the architecture and dynamical processes operating in debris discs. Our approach also provides a fast and efficient way of forward modeling observations. Applications of this technique to other astrophysical systems, e.g. the nuclear stellar disc in M31 or tenuous planetary rings, are also discussed.


title: Jets in evolving matter within the opacity expansion approach

abstract: In a recent study [1] we have extended the opacity expansion approach to describe jet-medium interactions including medium motion effects in the context of heavy-ion collisions. We have computed color field of the in-medium sources, including the effects of the transverse field components and the energy transfer between the medium and jet. The corresponding contributions are sub-eikonal in nature, and were previously ignored in the literature. Here we discuss how our approach can be applied to describe the medium motion effects in the context of Deep Inelastic Scattering.


title: Network structural origin of instabilities in large complex systems

abstract: A central issue in the study of large complex network systems, such as power grids, financial networks, and ecological systems, is to understand their response to dynamical perturbations. Recent studies recognize that many real networks show nonnormality and that nonnormality can give rise to reactivity--the capacity of a linearly stable system to amplify its response to perturbations, oftentimes exciting nonlinear instabilities. Here, we identify network structural properties underlying the pervasiveness of nonnormality and reactivity in real directed networks, which we establish using the most extensive data set of such networks studied in this context to date. The identified properties are imbalances between incoming and outgoing network links and paths at each node. Based on this characterization, we develop a theory that quantitatively predicts nonnormality and reactivity and explains the observed pervasiveness. We suggest that these results can be used to design, upgrade, control, and manage networks to avoid or promote network instabilities.

categories: nlin.AO cond-mat.dis-nn cs.SY eess.SY math.DS q-bio.MN


title: Early Lightcurves of Type Ia Supernovae are Consistent with Nondegenerate Progenitor Companions

abstract: If Type Ia supernovae (SNe~Ia) result from a white dwarf being ignited by Roche lobe overflow from a nondegenerate companion, then as the supernova explosion runs into the companion star its ejecta will be shocked, causing an early blue excess in the lightcurve. A handful of these excesses have been found in single-object studies, but inferences about the population of SNe~Ia as a whole have been limited because of the rarity of multiwavelength followup within days of explosion. Here we present a three-year investigation yielding an unbiased sample of nine nearby ($z<0.01$) SNe~Ia with exemplary early data. The data are truly multiwavelength, covering $UBVgri$ and Swift bandpasses, and also early, with an average first epoch 16.0 days before maximum light. Of the nine objects, three show early blue excesses. We do not find enough statistical evidence to reject the null hypothesis that SNe~Ia predominantly arise from Roche-lobe-overflowing single-degenerate systems ($p=0.94$). When looking at the objects' colors, we find the objects are almost uniformly near-UV-blue, in contrast to earlier literature samples which found that only a third of SNe~Ia are near-UV-blue, and we find a seemingly continuous range of $B-V$ colors in the days after explosion, again in contrast with earlier claims in the literature. This study highlights the importance of early, truly multiwavelength, high-cadence data in determining the progenitor systems of SNe~Ia and in revealing their diverse early behavior.


title: Fast solver for diffusive transport times on dynamic intracellular networks

abstract: The transport of particles in cells is influenced by the properties of intracellular networks they traverse while searching for localized target regions or reaction partners. Moreover, given the rapid turnover in many intracellular structures, it is crucial to understand how temporal changes in the network structure affect diffusive transport. In this work, we use network theory to characterize complex intracellular biological environments across scales. We develop an efficient computational method to compute the mean first passage times for simulating a particle diffusing along two-dimensional planar networks extracted from fluorescence microscopy imaging. We first benchmark this methodology in the context of synthetic networks, and subsequently apply it to live-cell data from endoplasmic reticulum tubular networks.

categories: physics.bio-ph cond-mat.soft q-bio.QM q-bio.SC


title: First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs

abstract: We characterise the classes of tournaments with tractable first-order model checking. For every hereditary class of tournaments $\mathcal T$, first-order model checking either is fixed parameter tractable, or is AW$[*]$-hard. This dichotomy coincides with the fact that $\mathcal T$ has either bounded or unbounded twin-width, and that the growth of $\mathcal T$ is either at most exponential or at least factorial. From the model-theoretic point of view, we show that NIP classes of tournaments coincide with bounded twin-width. Twin-width is also characterised by three infinite families of obstructions: $\mathcal T$ has bounded twin-width if and only if it excludes one tournament from each family. This generalises results of Bonnet et al. on ordered graphs. The key for these results is a polynomial time algorithm which takes as input a tournament $T$ and compute a linear order $<$ on $V(T)$ such that the twin-width of the birelation $(T,<)$ is at most some function of the twin-width of $T$. Since approximating twin-width can be done in polynomial time for an ordered structure $(T,<)$, this provides a polytime approximation of twin-width for tournaments. Our results extend to oriented graphs with stable sets of bounded size, which may also be augmented by arbitrary binary relations.


title: Node Graph Optimization Using Differentiable Proxies

abstract: Graph-based procedural materials are ubiquitous in content production industries. Procedural models allow the creation of photorealistic materials with parametric control for flexible editing of appearance. However, designing a specific material is a time-consuming process in terms of building a model and fine-tuning parameters. Previous work [Hu et al. 2022; Shi et al. 2020] introduced material graph optimization frameworks for matching target material samples. However, these previous methods were limited to optimizing differentiable functions in the graphs. In this paper, we propose a fully differentiable framework which enables end-to-end gradient based optimization of material graphs, even if some functions of the graph are non-differentiable. We leverage the Differentiable Proxy, a differentiable approximator of a non-differentiable black-box function. We use our framework to match structure and appearance of an output material to a target material, through a multi-stage differentiable optimization. Differentiable Proxies offer a more general optimization solution to material appearance matching than previous work.


title: Energy gap of topological surface states in proximity to a magnetic insulator

abstract: Topological surface-states can acquire an energy gap when time-reversal symmetry is broken by interfacing with a magnetic insulator. This gap has yet to be measured. Such topological-magnetic insulator heterostructures can host a quantized anomalous Hall effect and can allow the control of the magnetic state of the insulator in a spintronic device. In this work, we observe the energy gap of topological surface-states in proximity to a magnetic insulator using magnetooptical Landau level spectroscopy. We measure Pb1-xSnxSe/EuSe heterostructures grown by molecular beam epitaxy exhibiting a record mobility and low Fermi energy. Through temperature dependent measurements and theoretical calculations, we show this gap is likely due to quantum confinement and conclude that the magnetic proximity effect is weak in this system. This weakness is disadvantageous for the realization of the quantum anomalous Hall effect, but favorable for spintronic devices which require the preservation of spin-momentum locking at the Fermi level.


title: Ramanujan systems of Rankin-Cohen type and hyperbolic triangles

abstract: In the first part of the paper we characterize certain systems of first order nonlinear differential equations whose space of solutions is an $\mathfrak{sl}_2(\mathbb{C})$-module. We prove that such systems, called Ramanujan systems of Rankin-Cohen type, have a special shape and are precisely the ones whose solution space admits a Rankin-Cohen structure. In the second part of the paper we consider triangle groups $\Delta(n,m,\infty)$. By means of modular embeddings, we associate to every such group a number of systems of non linear ODEs whose solutions are algebraically independent twisted modular forms. In particular, all rational weight modular forms on $\Delta(n,m,\infty)$ are generated by the solutions of one such system (which is of Rankin-Cohen type). As a corollary we find new relations for the Gauss hypergeometric function evaluated at functions on the upper half-plane. To demonstrate the power of our approach in the non classical setting, we construct the space of integral weight twisted modular form on $\Delta(2,5,\infty)$ from solutions of systems of nonlinear ODEs.


title: Uncertainty Relations in Pre- and Post-Selected Systems

abstract: In this work, we derive Robertson-Heisenberg like uncertainty relation for two incompatible observables in a pre- and post-selected (PPS) system. The newly defined standard deviation and the uncertainty relation in the PPS system have physical meanings which we present here. We demonstrate two unusual properties in the PPS system using our uncertainty relation. First, for commuting observables, the lower bound of the uncertainty relation in the PPS system does not become zero even if the initially prepared state i.e., pre-selection is the eigenstate of both the observables when specific post-selections are considered. This implies that for such case, two commuting observables can disturb each other's measurement results which is in fully contrast with the Robertson-Heisenberg uncertainty relation. Secondly, unlike the standard quantum system, the PPS system makes it feasible to prepare sharply a quantum state (pre-selection) for non-commuting observables {(to be detailed in the main text)}. Some applications of uncertainty and uncertainty relation in the PPS system are provided: $(i)$ detection of mixedness of an unknown state, $(ii)$ stronger uncertainty relation in the standard quantum system, ($iii$) ``purely quantum uncertainty relation" that is, the uncertainty relation which is not affected (i.e., neither increasing nor decreasing) under the classical mixing of quantum states, $(iv)$ state dependent tighter uncertainty relation in the standard quantum system, and $(v)$ tighter upper bound for the out-of-time-order correlation function.


title: 3PO: Programmed Far-Memory Prefetching for Oblivious Applications

abstract: Using memory located on remote machines, or far memory, as a swap space is a promising approach to meet the increasing memory demands of modern datacenter applications. Operating systems have long relied on prefetchers to mask the increased latency of fetching pages from swap space to main memory. Unfortunately, with traditional prefetching heuristics, performance still degrades when applications use far memory. In this paper we propose a new prefetching technique for far-memory applications. We focus our efforts on memory-intensive, oblivious applications whose memory access patterns are independent of their inputs, such as matrix multiplication. For this class of applications we observe that we can perfectly prefetch pages without relying on heuristics. However, prefetching perfectly without requiring significant application modifications is challenging. In this paper we describe the design and implementation of 3PO, a system that provides pre-planned prefetching for general oblivious applications. We demonstrate that 3PO can accelerate applications, e.g., running them 30-150% faster than with Linux's prefetcher with 20% local memory. We also use 3PO to understand the fundamental software overheads of prefetching in a paging-based system, and the minimum performance penalty that they impose when we run applications under constrained local memory.


title: Strict baselines for Covid-19 forecasting and ML perspective for USA and Russia

abstract: Currently, the evolution of Covid-19 allows researchers to gather the datasets accumulated over 2 years and to use them in predictive analysis. In turn, this makes it possible to assess the efficiency potential of more complex predictive models, including neural networks with different forecast horizons. In this paper, we present the results of a consistent comparative study of different types of methods for predicting the dynamics of the spread of Covid-19 based on regional data for two countries: the United States and Russia. We used well-known statistical methods (e.g., Exponential Smoothing), a "tomorrow-as-today" approach, as well as a set of classic machine learning models trained on data from individual regions. Along with them, a neural network model based on Long short-term memory (LSTM) layers was considered, the training samples of which aggregate data from all regions of two countries: the United States and Russia. Efficiency evaluation was carried out using cross-validation according to the MAPE metric. It is shown that for complicated periods characterized by a large increase in the number of confirmed daily cases, the best results are shown by the LSTM model trained on all regions of both countries, showing an average Mean Absolute Percentage Error (MAPE) of 18%, 30%, 37% for Russia and 31%, 41%, 50% for US for predictions at forecast horizons of 14, 28, and 42 days, respectively.


title: Support Vector Machines with the Hard-Margin Loss: Optimal Training via Combinatorial Benders' Cuts

abstract: The classical hinge-loss support vector machines (SVMs) model is sensitive to outlier observations due to the unboundedness of its loss function. To circumvent this issue, recent studies have focused on non-convex loss functions, such as the hard-margin loss, which associates a constant penalty to any misclassified or within-margin sample. Applying this loss function yields much-needed robustness for critical applications but it also leads to an NP-hard model that makes training difficult, since current exact optimization algorithms show limited scalability, whereas heuristics are not able to find high-quality solutions consistently. Against this background, we propose new integer programming strategies that significantly improve our ability to train the hard-margin SVM model to global optimality. We introduce an iterative sampling and decomposition approach, in which smaller subproblems are used to separate combinatorial Benders' cuts. Those cuts, used within a branch-and-cut algorithm, permit to converge much more quickly towards a global optimum. Through extensive numerical analyses on classical benchmark data sets, our solution algorithm solves, for the first time, 117 new data sets to optimality and achieves a reduction of 50% in the average optimality gap for the hardest datasets of the benchmark.


title: The Role of Radio Observations in Studies of Infrared-Bright Galaxies: Prospects for a next-generation Very Large Array

abstract: The bulk of the present-day stellar mass was formed in galaxies when the universe was less than half its current age (i.e., $1 \lesssim z \lesssim 3$). While this likely marks one of the most critical time periods for galaxy evolution, we currently do not have a clear picture on the radial extent and distribution of cold molecular gas and associated star formation within the disks of galaxies during this epoch. Such observations are essential to properly estimate the efficiency at which such galaxies convert their gas into stars, as well as to account for the various energetic processes that govern this efficiency. Long-wavelength (i.e., far-infrared--to--radio) observations are critical to penetrate the high-levels of extinction associated with dusty, infrared-bright galaxies that are driving the stellar mass assembly at such epochs. In this article we discuss how the next-generation Very Large Array will take a transformative step in our understanding of galaxy formation and evolution by delivering the ability to simultaneously study the relative distributions molecular gas and star formation on sub-kpc scales unbiased by dust for large populations of typical galaxies in the early universe detected by future far-infrared space missions.


title: On Lipschitz Geometry at infinity of complex analytic sets

abstract: In this article, we study the Lipschitz Geometry at infinity of complex analytic sets and we obtain results on algebraicity of analytic sets and on Bernstein's problem. Moser's Bernstein Theorem says that a minimal hypersurface which is a graph of an entire Lipschitz function must be a hyperplane. H. B. Lawson, Jr. and R. Osserman presented examples showing that an analogous result for arbitrary codimension is not true. In this article, we prove a complex non-parametric version of Moser's Bernstein Theorem. More precisely, we prove that any entire complex analytic set in $\mathbb{C}^n$ which is Lipschitz regular at infinity must be an affine linear subspace of $\mathbb{C}^n$. In particular, a complex analytic set which is a graph of an entire Lipschitz function must be affine linear subspace. That result comes as a consequence of the following characterization of algebraic sets, which is also proved here: if $X$ and $Y$ are entire complex analytic sets which are bi-Lipschitz homeomorphic at infinity then $X$ is a complex algebraic set if and only if $Y$ is a complex algebraic set too. Thus, an entire complex analytic set is a complex algebraic set if and only if it is bi-Lipschitz homeomorphic at infinity to a complex algebraic set. No restrictions on the singular set, dimension nor codimension are required in the results proved here.


title: Towards Understanding Confusion and Affective States Under Communication Failures in Voice-Based Human-Machine Interaction

abstract: We present a series of two studies conducted to understand user's affective states during voice-based human-machine interactions. Emphasis is placed on the cases of communication errors or failures. In particular, we are interested in understanding "confusion" in relation with other affective states. The studies consist of two types of tasks: (1) related to communication with a voice-based virtual agent: speaking to the machine and understanding what the machine says, (2) non-communication related, problem-solving tasks where the participants solve puzzles and riddles but are asked to verbally explain the answers to the machine. We collected audio-visual data and self-reports of affective states of the participants. We report results of two studies and analysis of the collected data. The first study was analyzed based on the annotator's observation, and the second study was analyzed based on the self-report.


title: Parikh Automata over Infinite Words

abstract: Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the extension of the classical framework onto infinite inputs: We introduce reachability, safety, B\"uchi, and co-B\"uchi Parikh automata on infinite words and study expressiveness, closure properties, and the complexity of verification problems. We show that almost all classes of automata have pairwise incomparable expressiveness, both in the deterministic and the nondeterministic case; a result that sharply contrasts with the well-known hierarchy in the $\omega$-regular setting. Furthermore, emptiness is shown decidable for Parikh automata with reachability or B\"uchi acceptance, but undecidable for safety and co-B\"uchi acceptance. Most importantly, we show decidability of model checking with specifications given by deterministic Parikh automata with safety or co-B\"uchi acceptance, but also undecidability for all other types of automata. Finally, solving games is undecidable for all types.


title: An Exact Bitwise Reversible Integrator

abstract: At a fundamental level most physical equations are time reversible. In this paper we propose an integrator that preserves this property at the discrete computational level. Our simulations can be run forward and backwards and trace the same path exactly bitwise. We achieve this by implementing theoretically reversible integrators using a mix of fixed and floating point arithmetic. Our main application is in efficiently implementing the reverse step in the adjoint method used in optimization. Our integrator has applications in differential simulations and machine learning (backpropagation).


title: Algorithmic Determination of the Combinatorial Structure of the Linear Regions of ReLU Neural Networks

abstract: We algorithmically determine the regions and facets of all dimensions of the canonical polyhedral complex, the universal object into which a ReLU network decomposes its input space. We show that the locations of the vertices of the canonical polyhedral complex along with their signs with respect to layer maps determine the full facet structure across all dimensions. We present an algorithm which calculates this full combinatorial structure, making use of our theorems that the dual complex to the canonical polyhedral complex is cubical and it possesses a multiplication compatible with its facet structure. The resulting algorithm is numerically stable, polynomial time in the number of intermediate neurons, and obtains accurate information across all dimensions. This permits us to obtain, for example, the true topology of the decision boundaries of networks with low-dimensional inputs. We run empirics on such networks at initialization, finding that width alone does not increase observed topology, but width in the presence of depth does. Source code for our algorithms is accessible online at https://github.com/mmasden/canonicalpoly.


title: POET: Training Neural Networks on Tiny Devices with Integrated Rematerialization and Paging

abstract: Fine-tuning models on edge devices like mobile phones would enable privacy-preserving personalization over sensitive data. However, edge training has historically been limited to relatively small models with simple architectures because training is both memory and energy intensive. We present POET, an algorithm to enable training large neural networks on memory-scarce battery-operated edge devices. POET jointly optimizes the integrated search search spaces of rematerialization and paging, two algorithms to reduce the memory consumption of backpropagation. Given a memory budget and a run-time constraint, we formulate a mixed-integer linear program (MILP) for energy-optimal training. Our approach enables training significantly larger models on embedded devices while reducing energy consumption while not modifying mathematical correctness of backpropagation. We demonstrate that it is possible to fine-tune both ResNet-18 and BERT within the memory constraints of a Cortex-M class embedded device while outperforming current edge training methods in energy efficiency. POET is an open-source project available at https://github.com/ShishirPatil/poet


title: Quasi-Monte Carlo and discontinuous Galerkin

abstract: In this study, we consider the development of tailored quasi-Monte Carlo (QMC) cubatures for non-conforming discontinuous Galerkin (DG) approximations of elliptic partial differential equations (PDEs) with random coefficients. We consider both the affine and uniform and the lognormal models for the input random field, and investigate the use of QMC cubatures to approximate the expected value of the PDE response subject to input uncertainty. In particular, we prove that the resulting QMC convergence rate for DG approximations behaves in the same way as if continuous finite elements were chosen. Notably, the parametric regularity bounds for DG, which are developed in this work, are also useful for other methods such as sparse grids. Numerical results underline our analytical findings.


title: The bouncing dynamics of inertial self-propelled particles reveals directional asymmetry

abstract: This study aims to examine experimental conditions in which active particles are forced by their surroundings to move forward and backward in a continuous oscillatory manner. The experimental design is based on using a vibrating self-propelled toy-robot called hexbug, which is placed inside a narrow channel closed on one end by a rigid moving wall. Using the end-wall velocity as a controlling factor, the main forward mode of the hexbug movement can be turned to mostly rearward mode. We investigate the bouncing hexbug motion on both experimental and theoretical grounds. The Brownian model of active particles with inertia is employed in the theoretical framework. The model itself uses a pulsed Langevin equation in order to simulate abrupt changes in velocity that mimic hexbug propulsion in the moments when its legs make contact with the base plate. Significant directional asymmetry is caused by the legs bending backward. We demonstrate that the simulation successfully reproduces the experimental characteristics of hexbug motion after regressing the spatial and temporal statistical characteristics, especially when directional asymmetry is under consideration.


title: Introducing Federated Learning into Internet of Things ecosystems -- preliminary considerations

abstract: Federated learning (FL) was proposed to facilitate the training of models in a distributed environment. It supports the protection of (local) data privacy and uses local resources for model training. Until now, the majority of research has been devoted to "core issues", such as adaptation of machine learning algorithms to FL, data privacy protection, or dealing with the effects of uneven data distribution between clients. This contribution is anchored in a practical use case, where FL is to be actually deployed within an Internet of Things ecosystem. Hence, somewhat different issues that need to be considered, beyond popular considerations found in the literature, are identified. Moreover, an architecture that enables the building of flexible, and adaptable, FL solutions is introduced.


title: Krylov complexity from integrability to chaos

abstract: We apply a notion of quantum complexity, called "Krylov complexity", to study the evolution of systems from integrability to chaos. For this purpose we investigate the integrable XXZ spin chain, enriched with an integrability breaking deformation that allows one to interpolate between integrable and chaotic behavior. K-complexity can act as a probe of the integrable or chaotic nature of the underlying system via its late-time saturation value that is suppressed in the integrable phase and increases as the system is driven to the chaotic phase. We furthermore ascribe the (under-)saturation of the late-time bound to the amount of disorder present in the Lanczos sequence, by mapping the complexity evolution to an auxiliary off-diagonal Anderson hopping model. We compare the late-time saturation of K-complexity in the chaotic phase with that of random matrix ensembles and find that the chaotic system indeed approaches the RMT behavior in the appropriate symmetry class. We investigate the dependence of the results on the two key ingredients of K-complexity: the dynamics of the Hamiltonian and the character of the operator whose time dependence is followed.


title: Traveling wave solutions to the inclined or periodic free boundary incompressible Navier-Stokes equations

abstract: This paper concerns the construction of traveling wave solutions to the free boundary incompressible Navier-Stokes system. We study a single layer of viscous fluid in a strip-like domain that is bounded below by a flat rigid surface and above by a moving surface. The fluid is acted upon by a bulk force and a surface stress that are stationary in a coordinate system moving parallel to the fluid bottom. We also assume that the fluid is subject to a uniform gravitational force that can be resolved into a sum of a vertical component and a component lying in the direction of the traveling wave velocity. This configuration arises, for instance, in the modeling of fluid flow down an inclined plane. We also study the effect of periodicity by allowing the fluid cross section to be periodic in various directions. The horizontal component of the gravitational field gives rise to stationary solutions that are pure shear flows, and we construct our solutions as perturbations of these by means of an implicit function argument. An essential component of our analysis is the development of some new functional analytic properties of a scale of anisotropic Sobolev spaces, including that these spaces are an algebra in the supercritical regime, which may be of independent interest.


title: Distributed Backlog-Aware D2D Communication for Heterogeneous IIoT Applications

abstract: Delay and Age-of-Information (AoI) are two crucial performance metrics for emerging time-sensitive applications in Industrial Internet of Things (IIoT). In order to achieve optimal performance, studying the inherent interplay between these two parameters in non-trivial task. In this work, we consider a Device-to-Device (D2D)-based heterogeneous IIoT network that supports two types of traffic flows, namely AoI-orientated. First, we introduce a distributed backlog-aware random access protocol that allows the AoI-orientated nodes to opportunistically access the channel based on the queue occupancy of the delay-oriented node. Then, we develop an analytical framework to evaluate the average delay and the average AoI, and formulate an optimization problem to minimize the AoI under a given delay constraint. Finally, we provide numerical results to demonstrate the impact of different network parameters on the performance in terms of the average delay and the average AoI. We also give the numerical solutions of the optimal parameters that minimize the AoI subject to a delay constraint.


title: Maximizing Fair Content Spread via Edge Suggestion in Social Networks

abstract: Content spread inequity is a potential unfairness issue in online social networks, disparately impacting minority groups. In this paper, we view friendship suggestion, a common feature in social network platforms, as an opportunity to achieve an equitable spread of content. In particular, we propose to suggest a subset of potential edges (currently not existing in the network but likely to be accepted) that maximizes content spread while achieving fairness. Instead of re-engineering the existing systems, our proposal builds a fairness wrapper on top of the existing friendship suggestion components. We prove the problem is NP-hard and inapproximable in polynomial time unless P = NP. Therefore, allowing relaxation of the fairness constraint, we propose an algorithm based on LP-relaxation and randomized rounding with fixed approximation ratios on fairness and content spread. We provide multiple optimizations, further improving the performance of our algorithm in practice. Besides, we propose a scalable algorithm that dynamically adds subsets of nodes, chosen via iterative sampling, and solves smaller problems corresponding to these nodes. Besides theoretical analysis, we conduct comprehensive experiments on real and synthetic data sets. Across different settings, our algorithms found solutions with nearzero unfairness while significantly increasing the content spread. Our scalable algorithm could process a graph with half a million nodes on a single machine, reducing the unfairness to around 0.0004 while lifting content spread by 43%.


title: Untrained, physics-informed neural networks for structured illumination microscopy

abstract: In recent years there has been great interest in using deep neural networks (DNN) for super-resolution image reconstruction including for structured illumination microscopy (SIM). While these methods have shown very promising results, they all rely on data-driven, supervised training strategies that need a large number of ground truth images, which is experimentally difficult to realize. For SIM imaging, there exists a need for a flexible, general, and open-source reconstruction method that can be readily adapted to different forms of structured illumination. We demonstrate that we can combine a deep neural network with the forward model of the structured illumination process to reconstruct sub-diffraction images without training data. The resulting physics-informed neural network (PINN) can be optimized on a single set of diffraction limited sub-images and thus doesn't require any training set. We show with simulated and experimental data that this PINN can be applied to a wide variety of SIM methods by simply changing the known illumination patterns used in the loss function and can achieve resolution improvements that match well with theoretical expectations.


title: Probing Semantic Grounding in Language Models of Code with Representational Similarity Analysis

abstract: Representational Similarity Analysis is a method from cognitive neuroscience, which helps in comparing representations from two different sources of data. In this paper, we propose using Representational Similarity Analysis to probe the semantic grounding in language models of code. We probe representations from the CodeBERT model for semantic grounding by using the data from the IBM CodeNet dataset. Through our experiments, we show that current pre-training methods do not induce semantic grounding in language models of code, and instead focus on optimizing form-based patterns. We also show that even a little amount of fine-tuning on semantically relevant tasks increases the semantic grounding in CodeBERT significantly. Our ablations with the input modality to the CodeBERT model show that using bimodal inputs (code and natural language) over unimodal inputs (only code) gives better semantic grounding and sample efficiency during semantic fine-tuning. Finally, our experiments with semantic perturbations in code reveal that CodeBERT is able to robustly distinguish between semantically correct and incorrect code.


title: Controlling polarization of spintronic THz emitter by remanent magnetization texture

abstract: Terahertz (THz) sciences and technologies have contributed to a rapid development of a wide range of applications and expanded the frontiers in fundamental science. Spintronic terahertz emitters offer conceptual advantages since the spin orientation in the magnetic layer can be easily controlled either by the externally applied magnetic field or by the internal magnetic field distribution determined by the specific shape of the magnetic elements. Here, we report a switchable terahertz source based on micropatterned magnetic heterostructures driven by femtosecond laser pulses. We show that the precise tunability of the polarization state is facilitated by the underlying magnetization texture of the magnetic layer that is dictated by the shape of the microstructure. These results also reveal the underlying physical mechanisms of a nonuniform magnetization state on the generation of ultrafast spin currents in the magnetic heterostructures. Our findings indicate that the emission of the linearly polarized THz waves can be switched on and off by saturating the sample using a biasing magnetic field, opening fascinating perspectives for integrated on-chip THz devices with wide-ranging potential applications.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.optics


title: Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width

abstract: For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation trade-off: We establish an $O(1)^{2^q-1}$-approximation algorithm running in time $\exp(O_q(n^{2^{-q}}))$, for every integer $q \geqslant 0$. Guided by the same framework, we obtain similar approximation algorithms for Min Coloring and Max Induced Matching. In general graphs, all these problems are known to be highly inapproximable: for any $\varepsilon > 0$, a polynomial-time $n^{1-\varepsilon}$-approximation for any of them would imply that P$=$NP [Hastad, FOCS '96; Zuckerman, ToC '07; Chalermsook et al., SODA '13]. We generalize the algorithms for Max Independent Set and Max Induced Matching to the independent (induced) packing of any fixed connected graph $H$. In contrast, we show that such approximation guarantees on graphs of bounded twin-width given with an $O(1)$-sequence are very unlikely for Min Independent Dominating Set, and somewhat unlikely for Longest Path and Longest Induced Path. Regarding the existence of better approximation algorithms, there is a (very) light evidence that the obtained approximation factor of $n^\varepsilon$ for Max Independent Set may be best possible. This is the first in-depth study of the approximability of problems in graphs of bounded twin-width. Prior to this paper, essentially the only such result was a~polynomial-time $O(1)$-approximation algorithm for Min Dominating Set [Bonnet et al., ICALP '21].


title: Duality for nonlinear filtering

abstract: This thesis is concerned with the stochastic filtering problem for a hidden Markov model (HMM) with the white noise observation model. For this filtering problem, we make three types of original contributions: (1) dual controllability characterization of stochastic observability, (2) dual minimum variance optimal control formulation of the stochastic filtering problem, and (3) filter stability analysis using the dual optimal control formulation. For the first contribution of this thesis, a backward stochastic differential equation (BSDE) is proposed as the dual control system. The observability (detectability) of the HMM is shown to be equivalent to the controllability (stabilizability) of the dual control system. For the linear-Gaussian model, the dual relationship reduces to classical duality in linear systems theory. The second contribution is to transform the minimum variance estimation problem into an optimal control problem. The constraint is given by the dual control system. The optimal solution is obtained via two approaches: (1) by an application of maximum principle and (2) by the martingale characterization of the optimal value. The optimal solution is used to derive the nonlinear filter. The third contribution is to carry out filter stability analysis by studying the dual optimal control problem. Two approaches are presented through Chapters 7 and 8. In Chapter 7, conditional Poincar\'e inequality (PI) is introduced. Based on conditional PI, various convergence rates are obtained and related to literature. In Chapter 8, the stabilizability of the dual control system is shown to be a necessary and sufficient condition for filter stability on certain finite state space model.