title: Greenformers: Improving Computation and Memory Efficiency in Transformer Models via Low-Rank Approximation

abstract: In this thesis, we introduce Greenformers, a collection of model efficiency methods to improve the model efficiency of the recently renowned transformer models with a low-rank approximation approach. The development trend of deep learning models tends to results in a more complex and larger model. Although it leads to a better and more accurate prediction, the resulting model becomes even more costly, as it requires weeks of training with a huge amount of GPU resources. Particularly, the size and computational cost of transformer-based models have increased tremendously since its first debut in 2017 from ~100 million parameters up to ~1.6 trillion parameters in early 2021. This computationally hungry model also incurs a substantial cost to the environment and even reaches an alarming level of carbon footprint. Some of these models are so massive that it is even impossible to run the model without a GPU cluster. Greenformers improve the model efficiency of transformer models by applying low-rank approximation approaches. Specifically, we propose a low-rank factorization approach to improve the efficiency of the transformer model called Low-Rank Transformer. We further compare our model with an existing low-rank factorization approach called Linformer. Based on our analysis, the Low-Rank Transformer model is suitable for improving both the time and memory efficiency in processing short-sequence (<= 512) input data, while the Linformer model is suitable for improving the efficiency in processing long-sequence input data (>= 512). We also show that Low-Rank Transformer is more suitable for on-device deployment, as it significantly reduces the model size. Additionally, we estimate that applying LRT to the existing BERT-base model can significantly reduce the computational, economical, and environmental costs for developing such models by more than 30% of its original costs.


title: Reconcile Prediction Consistency for Balanced Object Detection

abstract: Classification and regression are two pillars of object detectors. In most CNN-based detectors, these two pillars are optimized independently. Without direct interactions between them, the classification loss and the regression loss can not be optimized synchronously toward the optimal direction in the training phase. This clearly leads to lots of inconsistent predictions with high classification score but low localization accuracy or low classification score but high localization accuracy in the inference phase, especially for the objects of irregular shape and occlusion, which severely hurts the detection performance of existing detectors after NMS. To reconcile prediction consistency for balanced object detection, we propose a Harmonic loss to harmonize the optimization of classification branch and localization branch. The Harmonic loss enables these two branches to supervise and promote each other during training, thereby producing consistent predictions with high co-occurrence of top classification and localization in the inference phase. Furthermore, in order to prevent the localization loss from being dominated by outliers during training phase, a Harmonic IoU loss is proposed to harmonize the weight of the localization loss of different IoU-level samples. Comprehensive experiments on benchmarks PASCAL VOC and MS COCO demonstrate the generality and effectiveness of our model for facilitating existing object detectors to state-of-the-art accuracy.


title: Design and integration of end-effector for 3D printing of novel UV-curable shape memory polymers with a collaborative robotic system

abstract: This paper presents the initial development of a robotic additive manufacturing technology based on ultraviolet (UV)-curable thermoset polymers. This is designed to allow free-standing printing through partial UV curing and fiber reinforcement for structural applications. The proposed system integrates a collaborative robotic manipulator with a custom-built extruder end-effector designed specifically for printing with UV-curable polymers. The system was tested using a variety of resin compositions, some reinforced with milled glass fiber (GF) or fumed silica (FS) and small-scale, 2D and 3D specimens were printed. Dimensional stability was analyzed for all formulations, showing that resin containing up to 50 wt% GF or at least 2.8 wt% FS displayed the most accurate dimensions.


title: Decelerated sub-relativistic material with energy Injection

abstract: We investigate the evolution of the afterglow produced by the deceleration of the non-relativistic material due to its surroundings. The ejecta mass is launched into the circumstellar medium with equivalent kinetic energy expressed as a power-law velocity distribution $E\propto (\Gamma\beta)^{-\alpha}$. The density profile of this medium follows a power law $n(r)\propto r^{-k}$ with $k$ the stratification parameter, which accounts for the usual cases of a constant medium ($k=0$) and a wind-like medium ($k=2$). A long-lasting central engine, which injects energy into the ejected material as ($E\propto t^{1-q}$) was also assumed. With our model, we show the predicted light curves associated with this emission for different sets of initial conditions and notice the effect of the variation of these parameters on the frequencies, timescales and intensities. The results are discussed in the Kilonova scenario.


title: Evaluation of the grand-canonical partition function using Expanded Wang-Landau simulations. IV. Performance of many-body force fields and tight-binding schemes for the fluid phases of Silicon

abstract: We extend Expanded Wang-Landau (EWL) simulations beyond classical systems and develop the EWL method for systems modeled with a tight-binding Hamiltonian. We then apply the method to determine the partition function and thus all thermodynamic properties, including the Gibbs free energy and entropy, of the fluid phases of Si. We compare the results from quantum many-body (QMB) tight binding models, which explicitly calculate the overlap between the atomic orbitals of neighboring atoms, to those obtained with classical many-body force fields (CMB), which allow to recover the tetrahedral organization in condensed phases of Si through e.g. a repulsive 3-body term that favors the ideal tetrahedral angle. Along the vapor-liquid coexistence, between 3000K and 6000K, the densities for the two coexisting phases are found to vary significantly (by $5$ orders of magnitude for the vapor and by up to 25% for the liquid) and to provide a stringent test of the models. Transitions from vapor to liquid are predicted to occur for chemical potentials that are $10-15$% higher for CMB models than for QMB models, and a ranking of the force fields is provided by comparing the predictions for the vapor pressure to the experimental data. QMB models also reveal the formation of a gap in the electronic density of states of the coexisting liquid at high temperatures. Subjecting Si to a nanoscopic confinement has a dramatic effect on the phase diagram, with e.g. at 6000K a decrease in liquid densities by about 50% for both CMB and QMB models and an increase in vapor densities between 90% (CMB) and 170% (QMB). The results presented here provide a full picture of the impact of the strategy (CMB or QMB) chosen to model many-body effects on the thermodynamic properties of the fluid phases of Si.


title: Random logic networks: from classical Boolean to quantum dynamics

abstract: We investigate dynamical properties of a quantum generalization of classical reversible Boolean networks. The state of each node is encoded as a single qubit, and classical Boolean logic operations are supplemented by controlled bit-flip and Hadamard operations. We consider synchronous updating schemes in which each qubit is updated at each step based on stored values of the qubits from the previous step. We investigate the periodic or quasiperiodic behavior of quantum networks, and we analyze the propagation of single site perturbations through the quantum networks with input degree one. A non-classical mechanism for perturbation propagation leads to substantially different evolution of the Hamming distance between the original and perturbed states.


title: On the intersections of finitely generated subgroups of free groups: reduced rank to full rank

abstract: We show that the number of conjugacy classes of intersections $A\cap B^g$, for fixed finitely generated subgroups $A, B<F$ of a free group, is bounded above in terms of the ranks of $A$ and $B$; this confirms an intuition of Walter Neumann. This result was previously known only in the case where $A$ or $B$ is cyclic by the $w$-cycles theorem of Helfer and Wise and, independently, Louder and Wilton. In order to prove our main theorem, we introduce new results regarding the structure of fibre products of finite graphs. We work with a generalised definition of graph immersions so that our results apply to the theory of regular languages. For example, we give a new algorithm to decide non-emptiness of the intersection of two regular languages.


title: Economic and technical study for the construction of a 1 MW grid-connected solar power plant in southern Iran

abstract: Renewable energy such as solar and wind energy can solve the major problems of humanity such as electricity and fresh water. The renewable energy sources are promising to take a significant share in the energy sector as a viable option for integration with conventional fossil fuel power plants. In this paper, the production of 1 MW of electricity for several households in the city of Sirjan in southern Iran has been studied. The actual data required by the model including solar irradiation, air temperature, load profile, cost of energy for Sirjan, Iran have been utilized in the proposed model. Considering the Iranian market, the fixed and current costs of building this power plant have been studied. Then, using Hummer software, the amount of electricity production per month has been studied. Results showed that Scaled data were used for calculations in HOMER. It had a scaled annual average of 1127 kWh/day and the peak load was 0.467 kW. The maximum electricity energy is obtained in July.


title: A large millikelvin platform at Fermilab for quantum computing applications

abstract: The need for larger mK cooling platforms is being driven by the desire to host ever growing numbers of cryogenic qubits in quantum computing platforms. As part of the Superconducting Quantum Materials and Systems Center at Fermilab funded through the Department of Energy under the National Quantum Initiative, we are developing a cryogenic platform capable of reaching millikelvin temperatures in an experimental volume of 2 meters diameter by approximately 1.5 meters in height. The platform is intended to host a three-dimensional qubit architecture based on superconducting radiofrequency accelerator cavity technologies. This paper describes the baseline design of the platform, along with the expected key performance parameters.


title: Implementation of Angularly Ordered Electroweak Parton Shower in Herwig 7

abstract: We discuss the necessary steps for implementing an angularly ordered (AO) electroweak (EW) parton shower in Herwig 7 multi-purpose event generator. This includes calculating the helicity-dependent quasi-collinear EW branching functions that correspond to the full range of final-state EW parton shower, in addition to the initial-state EW gauge vector boson radiations. The results are successfully embedded in the AO Herwig 7 shower algorithm and have undergone a set of comprehensive and conclusive performance tests. Furthermore, we have used this EW parton shower algorithm, alongside the existing $QCD+QED$ AO shower, to predict the angular distributions of $W^{\pm}$ bosons in LHC events with high transverse momentum jets. These results are compared against the explicitly generated underlying events as well as the existing ATLAS data to show the effectiveness of the newly implemented $QCD+QED+EW$ AO parton shower scheme.


title: Identification of Pediatric Respiratory Diseases Using Fine-grained Diagnosis System

abstract: Respiratory diseases, including asthma, bronchitis, pneumonia, and upper respiratory tract infection (RTI), are among the most common diseases in clinics. The similarities among the symptoms of these diseases precludes prompt diagnosis upon the patients' arrival. In pediatrics, the patients' limited ability in expressing their situation makes precise diagnosis even harder. This becomes worse in primary hospitals, where the lack of medical imaging devices and the doctors' limited experience further increase the difficulty of distinguishing among similar diseases. In this paper, a pediatric fine-grained diagnosis-assistant system is proposed to provide prompt and precise diagnosis using solely clinical notes upon admission, which would assist clinicians without changing the diagnostic process. The proposed system consists of two stages: a test result structuralization stage and a disease identification stage. The first stage structuralizes test results by extracting relevant numerical values from clinical notes, and the disease identification stage provides a diagnosis based on text-form clinical notes and the structured data obtained from the first stage. A novel deep learning algorithm was developed for the disease identification stage, where techniques including adaptive feature infusion and multi-modal attentive fusion were introduced to fuse structured and text data together. Clinical notes from over 12000 patients with respiratory diseases were used to train a deep learning model, and clinical notes from a non-overlapping set of about 1800 patients were used to evaluate the performance of the trained model. The average precisions (AP) for pneumonia, RTI, bronchitis and asthma are 0.878, 0.857, 0.714, and 0.825, respectively, achieving a mean AP (mAP) of 0.819.


title: Next-generation perception system for automated defects detection in composite laminates via polarized computational imaging

abstract: Finishing operations on large-scale composite components like wind turbine blades, including trimming and sanding, often require multiple workers and part repositioning. In the composites manufacturing industry, automation of such processes is challenging, as manufactured part geometry may be inconsistent and task completion is based on human judgment and experience. Implementing a mobile, collaborative robotic system capable of performing finishing tasks in dynamic and uncertain environments would improve quality and lower manufacturing costs. To complete the given tasks, the collaborative robotic team must properly understand the environment and detect irregularities in the manufactured parts. In this paper, we describe the initial implementation and demonstration of a polarized computational imaging system to identify defects in composite laminates. As the polarimetric images are highly relevant to the surface micro-geometry, they can be used to detect surface defects that are not visible in conventional color images. The proposed vision system successfully identifies defect types and surface characteristics (e.g., pinholes, voids, scratches, resin flash) for different glass fiber and carbon fiber laminates.


title: A mapping property of the heat volume potential

abstract: We consider the volume potential associated with the heat operator and we prove a mapping property in the space of distributions which are the time derivative of H\"older continuous functions. As an application we solve the Dirichlet and Neumann problems for the heat equation with a non-homogeneous term in such space of distributions.


title: Graph Contrastive Pre-training for Effective Theorem Reasoning

abstract: Interactive theorem proving is a challenging and tedious process, which requires non-trivial expertise and detailed low-level instructions (or tactics) from human experts. Tactic prediction is a natural way to automate this process. Existing methods show promising results on tactic prediction by learning a deep neural network (DNN) based model from proofs written by human experts. In this paper, we propose NeuroTactic, a novel extension with a special focus on improving the representation learning for theorem proving. NeuroTactic leverages graph neural networks (GNNs) to represent the theorems and premises, and applies graph contrastive learning for pre-training. We demonstrate that the representation learning of theorems is essential to predict tactics. Compared with other methods, NeuroTactic achieves state-of-the-art performance on the CoqGym dataset.


title: Hamiltonian Dysthe equation for 3D deep-water gravity waves

abstract: This article concerns the water wave problem in a three-dimensional domain of infinite depth and examines the modulational regime for weakly nonlinear wavetrains. We use the method of normal form transformations near the equilibrium state to provide a new derivation of the Hamiltonian Dysthe equation describing the slow evolution of the wave envelope. A precise calculation of the third-order normal form allows for a refined reconstruction of the free surface. We test our approximation against direct numerical simulations of the three-dimensional Euler system and against predictions from the classical Dysthe equation, and find very good agreement.


title: Liganded Xene as a Prototype of Two-Dimensional Stiefel-Whitney Insulators

abstract: Two-dimensional (2D) Stiefel-Whitney insulator (SWI), which is characterized by the second Stiefel-Whitney class, is a new class of topological phases with zero Berry curvature. As a novel topological state, it has been well studied in theory but seldom realized in realistic materials. Here we propose that a large class of liganded Xenes, i.e., hydrogenated and halogenated 2D group-IV honeycomb lattices, are 2D SWIs. The nontrivial topology of liganded Xenes is identified by the bulk topological invariant and the existence of protected corner states. Moreover, the large and tunable band gap (up to 3.5 eV) of liganded Xenes will facilitate the experimental characterization of the 2D SWI phase. Our findings not only provide abundant realistic material candidates that are experimentally feasible, but also draw more fundamental research interest towards the topological physics associated with Stiefel-Whitney class in the absence of Berry curvature.


title: Electron scattering on ${\mathbf{A=3}}$ nuclei from quantum Monte Carlo based approaches

abstract: We perform first-principle calculations of electron-nucleus scattering on $^3$He and $^3$H using the Green's function Monte Carlo method and two approaches based on the factorization of the final hadronic state: the spectral-function formalism and the short-time approximation. These three methods are benchmarked among each other and compared to the experimental data for the longitudinal and transverse electromagnetic response functions of $^3$He, and the inclusive cross sections of both $^3$He and $^3$H. Since these three approaches are based on the same description of nuclear dynamics of the initial target state, comparing their results enables a precise quantification of the uncertainties inherent to factorization schemes. At sufficiently large values of the momentum transfer, we find an excellent agreement of the Green's function Monte Carlo calculation with experimental data and with both the spectral-function formalism and the short-time approximation. We also analyze the relevance of relativistic effects, whose inclusion becomes crucial to explain data at high momentum and energy transfer.


title: Adaptive Group Lasso Neural Network Models for Functions of Few Variables and Time-Dependent Data

abstract: In this paper, we propose an adaptive group Lasso deep neural network for high-dimensional function approximation where input data are generated from a dynamical system and the target function depends on few active variables or few linear combinations of variables. We approximate the target function by a deep neural network and enforce an adaptive group Lasso constraint to the weights of a suitable hidden layer in order to represent the constraint on the target function. We utilize the proximal algorithm to optimize the penalized loss function. Using the non-negative property of the Bregman distance, we prove that the proposed optimization procedure achieves loss decay. Our empirical studies show that the proposed method outperforms recent state-of-the-art methods including the sparse dictionary matrix method, neural networks with or without group Lasso penalty.


title: S&P 500 Stock Price Prediction Using Technical, Fundamental and Text Data

abstract: We summarized both common and novel predictive models used for stock price prediction and combined them with technical indices, fundamental characteristics and text-based sentiment data to predict S&P stock prices. A 66.18% accuracy in S&P 500 index directional prediction and 62.09% accuracy in individual stock directional prediction was achieved by combining different machine learning models such as Random Forest and LSTM together into state-of-the-art ensemble models. The data we use contains weekly historical prices, finance reports, and text information from news items associated with 518 different common stocks issued by current and former S&P 500 large-cap companies, from January 1, 2000 to December 31, 2019. Our study's innovation includes utilizing deep language models to categorize and infer financial news item sentiment; fusing different models containing different combinations of variables and stocks to jointly make predictions; and overcoming the insufficient data problem for machine learning models in time series by using data across different stocks.


title: Double nested Hilbert schemes and the local stable pairs theory of curves

abstract: We propose a variation of the classical Hilbert scheme of points - the double nested Hilbert scheme of points - which parametrizes flags of zero-dimensional subschemes whose nesting is dictated by a Young diagram. Over a smooth quasi-projective curve, we compute the generating series of topological Euler characteristic of these spaces, by exploiting the combinatorics of reversed plane partitions. Moreover, we realize this moduli space as the zero locus of a section of a vector bundle over a smooth ambient space, which therefore admits a virtual fundamental class. We apply this construction to the stable pair theory of a local curve, that is the total space of the direct sum of two line bundles over a curve. We show that the invariants localize to virtual intersection numbers on double nested Hilbert scheme of points on the curve, and that the localized contributions to the invariants are controlled by three universal series for every Young diagram, which can be explicitly determined after the anti-diagonal restriction of the equivariant parameters. Under the anti-diagonal restriction, the invariants are matched with the Gromov-Witten invariants of local curves of Bryan-Pandharipande, as predicted by the MNOP correspondence. Finally, we discuss $K$-theoretic refinements \`a la Nekrasov-Okounkov.


title: Physics-Informed Deep Learning: A Promising Technique for System Reliability Assessment

abstract: Considerable research has been devoted to deep learning-based predictive models for system prognostics and health management in the reliability and safety community. However, there is limited study on the utilization of deep learning for system reliability assessment. This paper aims to bridge this gap and explore this new interface between deep learning and system reliability assessment by exploiting the recent advances of physics-informed deep learning. Particularly, we present an approach to frame system reliability assessment in the context of physics-informed deep learning and discuss the potential value of physics-informed generative adversarial networks for the uncertainty quantification and measurement data incorporation in system reliability assessment. The proposed approach is demonstrated by three numerical examples involving a dual-processor computing system. The results indicate the potential value of physics-informed deep learning to alleviate computational challenges and combine measurement data and mathematical models for system reliability assessment.


title: HapticBots: Distributed Encountered-type Haptics for VR with Multiple Shape-changing Mobile Robots

abstract: HapticBots introduces a novel encountered-type haptic approach for Virtual Reality (VR) based on multiple tabletop-size shape-changing robots. These robots move on a tabletop and change their height and orientation to haptically render various surfaces and objects on-demand. Compared to previous encountered-type haptic approaches like shape displays or robotic arms, our proposed approach has an advantage in deployability, scalability, and generalizability -- these robots can be easily deployed due to their compact form factor. They can support multiple concurrent touch points in a large area thanks to the distributed nature of the robots. We propose and evaluate a novel set of interactions enabled by these robots which include: 1) rendering haptics for VR objects by providing just-in-time touch-points on the user's hand, 2) simulating continuous surfaces with the concurrent height and position change, and 3) enabling the user to pick up and move VR objects through graspable proxy objects. Finally, we demonstrate HapticBots with various applications, including remote collaboration, education and training, design and 3D modeling, and gaming and entertainment.


title: Efficient diagnostics for quantum error correction

abstract: Fault-tolerant quantum computing will require accurate estimates of the resource overhead, but standard metrics such as gate fidelity and diamond distance have been shown to be poor predictors of logical performance. We present a scalable experimental approach based on Pauli error reconstruction to predict the performance of concatenated codes. Numerical evidence demonstrates that our method significantly outperforms predictions based on standard error metrics for various error models, even with limited data. We illustrate how this method assists in the selection of error correction schemes.


title: LLVIP: A Visible-infrared Paired Dataset for Low-light Vision

abstract: It is very challenging for various visual tasks such as image fusion, pedestrian detection and image-to-image translation in low light conditions due to the loss of effective target areas. In this case, infrared and visible images can be used together to provide both rich detail information and effective target areas. In this paper, we present LLVIP, a visible-infrared paired dataset for low-light vision. This dataset contains 30976 images, or 15488 pairs, most of which were taken at very dark scenes, and all of the images are strictly aligned in time and space. Pedestrians in the dataset are labeled. We compare the dataset with other visible-infrared datasets and evaluate the performance of some popular visual algorithms including image fusion, pedestrian detection and image-to-image translation on the dataset. The experimental results demonstrate the complementary effect of fusion on image information, and find the deficiency of existing algorithms of the three visual tasks in very low-light conditions. We believe the LLVIP dataset will contribute to the community of computer vision by promoting image fusion, pedestrian detection and image-to-image translation in very low-light applications. The dataset is being released in https://bupt-ai-cz.github.io/LLVIP. Raw data is also provided for further research such as image registration.


title: Can $f(Q)$ gravity challenge $\Lambda$CDM?

abstract: We study observational constraints on the non-metricity $f(Q)$-gravity which reproduces an exact $\Lambda$CDM background expansion history while modifying the evolution of linear perturbations. To this purpose we use Cosmic Microwave Background (CMB) radiation, baryonic acoustic oscillations (BAO), redshift-space distortions (RSD), supernovae type Ia (SNIa), galaxy clustering (GC) and weak gravitational lensing (WL) measurements. We set stringent constraints on the parameter of the model controlling the modifications to the gravitational interaction at linear perturbation level. We find the model to be statistically preferred by data over the $\Lambda$CDM according to the $\chi^2$ and deviance information criterion statistics for the combination with CMB, BAO, RSD and SNIa. This is mostly associated to a better fit to the low-$\ell$ tail of CMB temperature anisotropies.


title: Coherent pressure structures in turbulent channel flow

abstract: Most of the studies on pressure fluctuations in wall-bounded turbulent flows aim at obtaining statistics as power spectra and scaling laws, especially at the walls. In the present study we study energetic coherent pressure structures of turbulent channel flows, aiming at a characterization of dominant coherent structures throughout the channel. Coherent structures are detected using spectral proper orthogonal decomposition (SPOD) and modeled using resolvent analysis, similar to related works dealing with velocity fluctuations, but using pressure fluctuations as the output of interest. The resolvent operator was considered with and without the Cess eddy viscosity model. Direct numerical simulations (DNSs) of incompressible turbulent channel flows at friction Reynolds numbers of approximately 180 and 550 were employed as databases. Three representative dominant structures emerged from a preliminary spectral analysis: near-wall, large-scale and spanwise-coherent structures. For frequency-wavenumber combinations corresponding to these three representative structures, SPOD results show a strong dominance of the leading mode, highlighting low-rank behavior of pressure fluctuations. The leading resolvent mode closely agrees with the first SPOD mode, providing support to studies that showed better performance of resolvent-based estimators when predicting pressure fluctuations compared to velocity fluctuations. The dominant mechanisms of the analyzed modes are seen to be the generation of quasi-streamwise vortices with pressure fluctuations appearing close to vortex centers. A study on the individual contributions of the nonlinear terms (treated as forcing in resolvent analysis) to the pressure output reveals that each forcing component plays a constructive role to the input-output formulation, which also helps understanding the weaker role of forcing color in driving pressure fluctuations.


title: A Techno-Economic Cost Framework for Satellite Networks Applied to Low Earth Orbit Constellations: Assessing Starlink, OneWeb and Kuiper

abstract: Delivering broadband connectivity to unconnected areas is extremely challenging. The emergence of Low Earth Orbit (LEO) satellite systems has been seen as a potential solution for connecting remote areas. Despite the hype around these new technologies, we still lack an open-source modeling framework for assessing the techno-economics of satellite broadband connectivity which is therefore the purpose of this paper. Firstly, a generalizable techno-economic model is presented to assess the engineering-economics of satellite constellations. Secondly, the approach is applied to assess the three main competing LEO constellations which include Starlink, OneWeb and Kuiper. This involves simulating the impact on coverage, capacity and cost as both the number of satellites and quantity of subscribers increases. Finally, a global assessment is undertaken visualizing the potential capacity and cost per user via different subscriber scenarios. The results demonstrate how limited the capacity will be once resources are spread across users in each satellite coverage area. For example, if there is 1 user per 10 km^2 we estimate a mean per user capacity of 24.94 Mbps, 1.01 Mbps and 10.30 Mbps for Starlink, OneWeb and Kuiper respectively in the busiest hour of the day. But if the subscriber density increases to 1 user per km^2, then the mean per user capacity drops significantly to 2.49 Mbps, 0.10 Mbps and 1.02 Mbps for Starlink, OneWeb and Kuiper respectively. LEO broadband will be an essential part of the connectivity toolkit, but the results reveal that these mega-constellations will most likely have to operate below 0.1 users per km^2 to provide a service that outcompetes other broadband connectivity options. The open-source codebase which the paper contributes is provided with the hope that other engineers will access, use, and further develop the satellite assessment capability.


title: A variational study of two-nucleon systems with lattice QCD

abstract: The low-energy spectrum and scattering of two-nucleon systems are studied with lattice quantum chromodynamics using a variational approach. A wide range of interpolating operators are used: dibaryon operators built from products of plane-wave nucleons, hexaquark operators built from six localized quarks, and quasi-local operators inspired by two-nucleon bound-state wavefunctions in low-energy effective theories. Sparsening techniques are used to compute the timeslice-to-all quark propagators required to form correlation-function matrices using products of these operators. Projection of these matrices onto irreducible representations of the cubic group, including spin-orbit coupling, is detailed. Variational methods are applied to constrain the low-energy spectra of two-nucleon systems in a single finite volume with quark masses corresponding to a pion mass of 806 MeV. Results for S- and D-wave phase shifts in the isospin singlet and triplet channels are obtained under the assumption that partial-wave mixing is negligible. Tests of interpolating-operator dependence are used to investigate the reliability of the energy spectra obtained and highlight both the strengths and weaknesses of variational methods. These studies and comparisons to previous studies using the same gauge-field ensemble demonstrate that interpolating-operator dependence can lead to significant effects on the two-nucleon energy spectra obtained using both variational and non-variational methods, including missing energy levels and other discrepancies. While this study is inconclusive regarding the presence of two-nucleon bound states at this quark mass, it provides robust upper bounds on two-nucleon energy levels that can be improved in future calculations using additional interpolating operators and is therefore a step toward reliable nuclear spectroscopy from the underlying Standard Model of particle physics.


title: Dynamic Properties of Water inside Graphene Oxide Membranes

abstract: Separation of salt ions from seawater using graphene oxide (GO) membrane is an emerging desalination method. Here, we investigate the dynamic behavior of water, sodium, and chloride ions inside GO membrane using a computational approach. First, we developed four different models of GO membrane with different distances between GO sheets (0.7, 0.9, 1.1, and 1.3 nm), and performed molecular dynamics (MD) simulations of water inside each membrane for 20 ns. With the analysis of the mean squared displacement of water and the Einstein relation equation for diffusion, we measured the diffusion coefficient of water in each membrane. We found that the diffusion coefficient of water inside the GO membrane decreased as the distance between sheets (d) decreased. The measured diffusion coefficients (in unit of 0.00001 (cm*cm)/sec) of water are 0.03 (d = 0.7 nm), 0.91 (d = 0.9 nm), 1.18 (d = 1.1 nm), and 1.49 (d = 1.3 nm), whereas it is 2.49 for bulk water. Second, for analyzing the desalination performance of each membrane, we also calculated the free energy profile of penetration of water, sodium, and chloride ions via the interlayer of the membrane. The free energy profile of penetration revealed that the optimum interlayer distance between GO sheets for desalination is 0.9 ~ 1.1 nm. With 0.9 and 1.1 nm interlayer distance between GO sheets, the free energy barrier of membrane penetration of water is negligible, where it is 2 ~ 4 kcal/mol for sodium or chloride ions. We believe that our simulation results would be a significant contribution to designing a new GO-based membrane for desalination.


title: Modeling spatial waves of Wolbachia invasion for controlling mosquito-borne diseases

abstract: Wolbachia is a natural bacterium that can infect mosquitoes and reduce their ability to transmit mosquito-borne diseases, such as dengue fever, Zika, and chikungunya. Field trials and modeling studies have shown that the fraction of infection among the mosquitoes must exceed a threshold level for the infection to persist. To capture this threshold, it is critical to consider the spatial heterogeneity in the distributions of the infected and uninfected mosquitoes, which is created by the local release of the infected mosquitoes. We develop and analyze partial differential equation (PDE) models to study the invasion dynamics of Wolbachia infection among mosquitoes in the field. Our reaction-diffusion-type models account for both the complex vertical transmission and the spatial mosquito dispersion. We characterize the threshold for a successful invasion, which is a bubble-shaped profile, called the "critical bubble". The critical bubble is optimal in its release size compared to other spatial profiles in a one-dimensional landscape. The fraction of infection near the release center is higher than the threshold level for the corresponding homogeneously mixing ODE models. We show that the proposed spatial models give rise to the traveling waves of Wolbachia infection when above the threshold. We quantify how the threshold condition and traveling-wave velocity depend on the diffusion coefficients and other model parameters. Numerical studies for different scenarios are presented to inform the design of release strategies.


title: Electrically tunable stacking domains and ferroelectricity in moir\'e superlattices

abstract: It is well known that stacking domains form in moir\'e superlattices due to the competition between the interlayer van der Waals forces and intralayer elastic forces, which can be recognized as polar domains due to the local spontaneous polarization in bilayers without centrosymmetry. We propose a theoretical model which captures the effect of an applied electric field on the domain structure. The coupling between the spontaneous polarization and field leads to uneven relaxation of the domains, and a net polarization in the superlattice at nonzero fields, which is sensitive to the moir\'e period. We show that the dielectric response to the field reduces the stacking energy and leads to softer domains in all bilayers. We then discuss the recent observations of ferroelectricity in the context of our model.


title: Submicron domain engineering in periodically poled lithium niobate on insulator

abstract: Lithium niobate on insulator (LNOI) is extensively researched for potential applications in telecommunication, sensing and quantum technology. Low-loss waveguides in LNOI have been demonstrated in recent years, with further works investigating their nonlinear optical properties via electric field poling. The fabrication imperfections and minimum feature size of inverted ferroelectric domains currently limit the efficiency and application of nonlinear processes in LNOI. This work looks into focused ion beam poling and demonstrates its potential to overcome the limitations of electric field poling. We numerically investigate the susceptibility of quasi-phase-matching condition to the fabrication flaws in poling periods and waveguide geometry showing its extreme sensitivity. We demonstrate the precise fabrication of poling periods down to 200 nm consistent over 3 mm length. Submicron poling of low loss LNOI waveguides will unlock unprecedentedly efficient nonlinear interactions by the use of uncomplicated LNOI components and enable the realization of mirrorless optical parametric oscillators.


title: Meta Self-Learning for Multi-Source Domain Adaptation: A Benchmark

abstract: In recent years, deep learning-based methods have shown promising results in computer vision area. However, a common deep learning model requires a large amount of labeled data, which is labor-intensive to collect and label. What's more, the model can be ruined due to the domain shift between training data and testing data. Text recognition is a broadly studied field in computer vision and suffers from the same problems noted above due to the diversity of fonts and complicated backgrounds. In this paper, we focus on the text recognition problem and mainly make three contributions toward these problems. First, we collect a multi-source domain adaptation dataset for text recognition, including five different domains with over five million images, which is the first multi-domain text recognition dataset to our best knowledge. Secondly, we propose a new method called Meta Self-Learning, which combines the self-learning method with the meta-learning paradigm and achieves a better recognition result under the scene of multi-domain adaptation. Thirdly, extensive experiments are conducted on the dataset to provide a benchmark and also show the effectiveness of our method. The code of our work and dataset are available soon at https://bupt-ai-cz.github.io/Meta-SelfLearning/.


title: Generalized Horndeski-Like Einstein Gauss-Bonnet Inflation with Massless Primordial Gravitons

abstract: In this work we shall introduce a theoretical framework comprised by a non-minimal coupled canonical scalar field, a non-minimal coupling to the Gauss-Bonnet invariant and a non-minimal kinetic coupling. This theoretical framework is basically a non-minimally coupled Einstein-Gauss-Bonnet theory with extra corrections of the form of a non-minimal kinetic coupling. In order to comply with the GW170817 event, we shall impose a constraint on the propagation speed of the primordial tensor perturbations that it is equal to that of light's in vacuum, and this constraint basically specifies the way that the scalar potential and the non-minimal couplings of the theory can be chosen. The whole theoretical framework, which belongs to the larger class of Horndeski theories, cannot yield viable results, due to the fact that the primordial gravitational wave speed is not equal to that of light's. Thus we study this theory by also imposing the constraint of having gravity wave speed equal to the light speed. We directly examine the inflationary phenomenology of our theoretical framework and by assuming the slow-roll conditions, we derived the equations of motion in such a way so that analytical results may be extracted. By using several well motivated models we demonstrate the framework leads to a viable phenomenology.


title: imGHUM: Implicit Generative Models of 3D Human Shape and Articulated Pose

abstract: We present imGHUM, the first holistic generative model of 3D human shape and articulated pose, represented as a signed distance function. In contrast to prior work, we model the full human body implicitly as a function zero-level-set and without the use of an explicit template mesh. We propose a novel network architecture and a learning paradigm, which make it possible to learn a detailed implicit generative model of human pose, shape, and semantics, on par with state-of-the-art mesh-based models. Our model features desired detail for human models, such as articulated pose including hand motion and facial expressions, a broad spectrum of shape variations, and can be queried at arbitrary resolutions and spatial locations. Additionally, our model has attached spatial semantics making it straightforward to establish correspondences between different shape instances, thus enabling applications that are difficult to tackle using classical implicit representations. In extensive experiments, we demonstrate the model accuracy and its applicability to current research problems.


title: Bridging Unsupervised and Supervised Depth from Focus via All-in-Focus Supervision

abstract: Depth estimation is a long-lasting yet important task in computer vision. Most of the previous works try to estimate depth from input images and assume images are all-in-focus (AiF), which is less common in real-world applications. On the other hand, a few works take defocus blur into account and consider it as another cue for depth estimation. In this paper, we propose a method to estimate not only a depth map but an AiF image from a set of images with different focus positions (known as a focal stack). We design a shared architecture to exploit the relationship between depth and AiF estimation. As a result, the proposed method can be trained either supervisedly with ground truth depth, or \emph{unsupervisedly} with AiF images as supervisory signals. We show in various experiments that our method outperforms the state-of-the-art methods both quantitatively and qualitatively, and also has higher efficiency in inference time.


title: Numerical Security Proof for Decoy-State BB84 and Measurement-Device-Independent QKD Resistant against Large Basis Misalignment

abstract: In this work, we incorporate decoy-state analysis into a well-established numerical framework for key rate calculation, and apply the numerical framework to decoy-state BB84 and measurement-device-independent (MDI) QKD protocols as examples. Additionally, we combine with these decoy-state protocols what is called "fine-grained statistics", which is a variation of existing QKD protocols that makes use of originally discarded data to get a better key rate. We show that such variations can grant protocols resilience against any unknown and slowly changing rotation along one axis, similar to reference-frame-independent QKD, but without the need for encoding physically in an additional rotation-invariant basis. Such an analysis can easily be applied to existing systems, or even data already recorded in previous experiments, to gain significantly higher key rate when considerable misalignment is present, extending the maximum distance for BB84 and MDI-QKD and reducing the need for manual alignment in an experiment.


title: Non-almost regular quaternary $m$-gonal forms

abstract: The maximal $n$ which admits a non-almost regular $m$-gonal form of rank $n$ is $4$. In this article, we consider the $m$-gonal forms of rank $4$ which is not almost regular.


title: A variational quantum algorithm for the Feynman-Kac formula

abstract: We propose an algorithm based on variational quantum imaginary time evolution for solving the Feynman-Kac partial differential equation resulting from a multidimensional system of stochastic differential equations. We utilize the correspondence between the Feynman-Kac partial differential equation (PDE) and the Wick-rotated Schr\"{o}dinger equation for this purpose. The results for a $(2+1)$ dimensional Feynman-Kac system obtained through the variational quantum algorithm are then compared against classical ODE solvers and Monte Carlo simulation. We see a remarkable agreement between the classical methods and the quantum variational method for an illustrative example on six and eight qubits. In the non-trivial case of PDEs which are preserving probability distributions -- rather than preserving the $\ell_2$-norm -- we introduce a proxy norm which is efficient in keeping the solution approximately normalized throughout the evolution. The algorithmic complexity and costs associated to this methodology, in particular for the extraction of properties of the solution, are investigated. Future research topics in the areas of quantitative finance and other types of PDEs are also discussed.


title: Out-of-plane magnetic anisotropy in bulk ilmenite $\text{CoTiO}_3$

abstract: Structural, electronic and magnetic properties of bulk ilmenite CoTiO$_3$ are analyzed in the framework of density functional theory (DFT), using the generalized gradient approximation (GGA) and Hubbard-corrected approaches. We find that the G-type antiferromagnetic (G-AFM) structure, which consists of antiferromagnetically coupled ferromagnetic $ab$ planes, is the ground-state of the system, in agreement with experiments. Furthermore, cobalt titanates present two critical temperatures related to the breaking of the inter- and intra-layer magnetic ordering. This would result in the individual planes remaining ferromagnetic even at temperatures above the N\'{e}el temperature. When spin-orbit coupling is included in our calculations, we find an out-of-plane magnetic anisotropy, which can be converted to an in-plane anisotropy with a small doping of electrons corresponding to about 2.5% Ti substitution for Co, consistent with experimental expectations. We thus present a disorder-dependent study of the magnetic anisotropy in bulk $\text{CoTiO}_3$, which will determine its magnon properties, including topological aspects.


title: On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

abstract: Felty and Miller have described what they claim to be a faithful encoding of the dependently typed lambda calculus LF in the logic of hereditary Harrop formulas, a sublogic of an intuitionistic variant of Church's Simple Theory of Types. Their encoding is based roughly on translating object expressions in LF into terms in a simply typed lambda calculus by erasing dependencies in typing and then recapturing the erased dependencies through the use of predicates. Unfortunately, this idea does not quite work. In particular, we provide a counterexample to the claim that the described encoding is faithful. The underlying reason for the falsity of the claim is that the mapping from dependently typed lambda terms to simply typed ones is not one-to-one and hence the inverse transformation is ambiguous. This observation has a broad implication for other related encodings.


title: On the use of Markovian stick-breaking priors

abstract: In [10], a `Markovian stick-breaking' process which generalizes the Dirichlet process $(\mu, \theta)$ with respect to a discrete base space ${\mathfrak X}$ was introduced. In particular, a sample from from the `Markovian stick-breaking' processs may be represented in stick-breaking form $\sum_{i\geq 1} P_i \delta_{T_i}$ where $\{T_i\}$ is a stationary, irreducible Markov chain on ${\mathfrak X}$ with stationary distribution $\mu$, instead of i.i.d. $\{T_i\}$ each distributed as $\mu$ as in the Dirichlet case, and $\{P_i\}$ is a GEM$(\theta)$ residual allocation sequence. Although the motivation in [10] was to relate these Markovian stick-breaking processes to empirical distributional limits of types of simulated annealing chains, these processes may also be thought of as a class of priors in statistical problems. The aim of this work in this context is to identify the posterior distribution and to explore the role of the Markovian structure of $\{T_i\}$ in some inference test cases.


title: Heat transport in liquid water from first-principles and deep-neural-network simulations

abstract: We compute the thermal conductivity of water within linear response theory from equilibrium molecular dynamics simulations, by adopting two different approaches. In one, the potential energy surface (PES) is derived on the fly from the electronic ground state of density functional theory (DFT) and the corresponding analytical expression is used for the energy flux. In the other, the PES is represented by a deep neural network (DNN) trained on DFT data, whereby the PES has an explicit local decomposition and the energy flux takes a particularly simple expression. By virtue of a gauge invariance principle, established by Marcolongo, Umari, and Baroni, the two approaches should be equivalent if the PES were reproduced accurately by the DNN model. We test this hypothesis by calculating the thermal conductivity, at the GGA (PBE) level of theory, using the direct formulation and its DNN proxy, finding that both approaches yield the same conductivity, in excess of the experimental value by approximately 60%. Besides being numerically much more efficient than its direct DFT counterpart, the DNN scheme has the advantage of being easily applicable to more sophisticated DFT approximations, such as meta-GGA and hybrid functionals, for which it would be hard to derive analytically the expression of the energy flux. We find in this way, that a DNN model, trained on meta-GGA (SCAN) data, reduce the deviation from experiment of the predicted thermal conductivity by about 50%, leaving the question open as to whether the residual error is due to deficiencies of the functional, to a neglect of nuclear quantum effects in the atomic dynamics, or, likely, to a combination of the two.


title: Autoencoder-based Semantic Novelty Detection: Towards Dependable AI-based Systems

abstract: Many autonomous systems, such as driverless taxis, perform safety critical functions. Autonomous systems employ artificial intelligence (AI) techniques, specifically for the environment perception. Engineers cannot completely test or formally verify AI-based autonomous systems. The accuracy of AI-based systems depends on the quality of training data. Thus, novelty detection - identifying data that differ in some respect from the data used for training - becomes a safety measure for system development and operation. In this paper, we propose a new architecture for autoencoder-based semantic novelty detection with two innovations: architectural guidelines for a semantic autoencoder topology and a semantic error calculation as novelty criteria. We demonstrate that such a semantic novelty detection outperforms autoencoder-based novelty detection approaches known from literature by minimizing false negatives.


title: Honeycomb Hubbard Model at van Hove Filling

abstract: This paper is devoted to the rigorous study of the low temperature properties of the two-dimensional weakly interacting Hubbard model on the honeycomb lattice in which the renormalized chemical potential $\mu$ has been fixed such that the Fermi surface consists of a set of exact triangles. Using renormalization group analysis around the Fermi surface, we prove that this model is {\it not} a Fermi liquid in the mathematically precise sense of Salmhofer. The main result is proved in two steps. First we prove that the perturbation series for Schwinger functions as well as the self-energy function have non-zero radius of convergence when the temperature $T$ is above an exponentially small value, namely ${T_0\sim \exp{(-C|\lambda|^{-1/2})}}$. Then we prove the necessary lower bound for second derivatives of self-energy w.r.t. the external momentum and achieve the proof.


title: Holographic drag force in non-conformal plasma

abstract: In this study, the gauge/string duality is used to investigate the dynamics of a moving heavy quark in a strongly coupled, non-conformal plasma. The drag force in this non-conformal model is smaller than that of $\mathcal{N} = 4$ supersymmetric Yang-Mills (SYM) plasma and decreases as the level of non-conformality is increased. At intermediate temperatures, the world-sheet temperature, which is derived numerically by calculating the world-sheet horizon, deviates from its conformal value, but at high temperatures, it tends to its conformal value.


title: Grover search revisited; application to image pattern matching

abstract: The landmark Grover algorithm for amplitude amplification serves as an essential subroutine in various type of quantum algorithms, with guaranteed quantum speedup in query complexity. However, there have been no proposal to realize the original motivating application of the algorithm, i.e., the database search or more broadly the pattern matching in a practical setting, mainly due to the technical difficulty in efficiently implementing the data loading and amplitude amplification processes. In this paper, we propose a quantum algorithm that approximately executes the entire Grover database search or pattern matching algorithm. The key idea is to use the recently proposed approximate amplitude encoding method on a shallow quantum circuit, together with the easily implementable inversion-test operation for realizing the projected quantum state having similarity to the query data, followed by the amplitude amplification operation that is independent to the target data index. We provide a thorough demonstration of the algorithm in the problem of image pattern matching.


title: Quantum Artificial Intelligence for the Science of Climate Change

abstract: Climate change has become one of the biggest global problems increasingly compromising the Earth's habitability. Recent developments such as the extraordinary heat waves in California & Canada, and the devastating floods in Germany point to the role of climate change in the ever-increasing frequency of extreme weather. Numerical modelling of the weather and climate have seen tremendous improvements in the last five decades, yet stringent limitations remain to be overcome. Spatially and temporally localized forecasting is the need of the hour for effective adaptation measures towards minimizing the loss of life and property. Artificial Intelligence-based methods are demonstrating promising results in improving predictions, but are still limited by the availability of requisite hardware and software required to process the vast deluge of data at a scale of the planet Earth. Quantum computing is an emerging paradigm that has found potential applicability in several fields. In this opinion piece, we argue that new developments in Artificial Intelligence algorithms designed for quantum computers - also known as Quantum Artificial Intelligence (QAI) - may provide the key breakthroughs necessary to furthering the science of climate change. The resultant improvements in weather and climate forecasts are expected to cascade to numerous societal benefits.


title: MMS direct observations of kinetic-scale shock self-reformation

abstract: Studies of shocks have long suggested that a shock can undergo cyclically self-reformation in a time scale of ion cyclotron period. This process has been proposed as a primary mechanism for energy dissipation and energetic particle acceleration at shocks. Unambiguous observational evidence, however, has remained elusive. Here, we report direct observations for the self-reformation process of a collisionless, high Mach number, quasi-perpendicular shock using MMS measurements. We find that reflected ions by the old shock ramp form a clear phase-space vortex, which gives rise to a new ramp. The new ramp observed by MMS2 has not yet developed to a mature stage during the self-reformation, and is not strong enough to reflect incident ions. Consequently, these ions are only slightly slowed down and show a flat velocity profile from the new ramp all the way to the old one. The present results provide direct evidence for shock self-reformation, and also shed light on energy dissipation and energetic particle acceleration at collisionless shocks throughout the universe.


title: Higher-order heat equation and the Gelfand-Dickey hierarchy

abstract: In this paper we analyze the heat kernel of the equation $\partial_tv =\pm\mathcal{L} v$, where $\mathcal{L}=\partial_x^N+u_{N-2}(x)\partial_x^{N-2}+\cdots+u_0(x)$ is an $N$-th order differential operator and the $\pm$ sign on the right-hand side is chosen appropriately. Using formal pseudo-differential operators, we derive an explicit formula for Hadamard's coefficients in the expansion of the heat kernel in terms of the resolvent of $\mathcal{L}$. Combining this formula with soliton techniques and Sato's Grassmannian, we establish different properties of Hadamard's coefficients and relate them to the Gelfand-Dickey hierarchy. In particular, using the correspondence between commutative rings of differential operators and algebraic curves due to Burchnall-Chaundy and Krichever, we prove that the heat kernel consists of finitely many terms if and only if the operator $\mathcal{L}$ belongs to a rank-one commutative ring of differential operators whose spectral curve is rational with only one cusp-like singular point, and the coefficients $u_j(x)$ vanish at $x=\infty$. We also characterize these operators $\mathcal{L}$ as the rational solutions of the Gelfand-Dickey hierarchy with coefficients $u_j $ vanishing at $x=\infty$, or as the rank-one solutions of the bispectral problem vanishing at $\infty$.


title: Sensitivity to the initial conditions of the Time-Dependent Density Functional Theory

abstract: Time-Dependent Density Functional Theory is mathematically formulated through non-linear coupled time-dependent 3-dimensional partial differential equations and it is natural to expect a strong sensitivity of its solutions to variations of the initial conditions, akin to the butterfly effect ubiquitous in classical dynamics. Since the Schr\"odinger equation for an interacting many-body system is however linear and mathematically the exact equations of the Density Functional Theory reproduce the corresponding one-body properties, it would follow that the Lyapunov exponents are also vanishing within a Density Functional Theory framework. Whether for realistic implementations of the Time-Dependent Density Functional Theory the question of absence of the butterfly effect and whether the dynamics provided is indeed a predictable theory was never discussed. At the same time, since the time-dependent density functional theory is a unique tool allowing us the study of non-equilibrium dynamics of strongly interacting many-fermion systems, the question of predictability of this theoretical framework is of paramount importance. Our analysis, for a number of quantum superfluid many-body systems (unitary Fermi gas, nuclear fission, and heavy-ion collisions) with a classical equivalent number of degrees of freedom ${\cal O}(10^{10})$ and larger, suggests that its maximum Lyapunov exponents are negligible for all practical purposes.


title: Cumulative Regret Analysis of the Piyavskii--Shubert Algorithm and Its Variants for Global Optimization

abstract: We study the problem of global optimization, where we analyze the performance of the Piyavskii--Shubert algorithm and its variants. For any given time duration $T$, instead of the extensively studied simple regret (which is the difference of the losses between the best estimate up to $T$ and the global minimum), we study the cumulative regret up to time $T$. For $L$-Lipschitz continuous functions, we show that the cumulative regret is $O(L\log T)$. For $H$-Lipschitz smooth functions, we show that the cumulative regret is $O(H)$. We analytically extend our results for functions with Holder continuous derivatives, which cover both the Lipschitz continuous and the Lipschitz smooth functions, individually. We further show that a simpler variant of the Piyavskii-Shubert algorithm performs just as well as the traditional variants for the Lipschitz continuous or the Lipschitz smooth functions. We further extend our results to broader classes of functions, and show that, our algorithm efficiently determines its queries; and achieves nearly minimax optimal (up to log factors) cumulative regret, for general convex or even concave regularity conditions on the extrema of the objective (which encompasses many preceding regularities). We consider further extensions by investigating the performance of the Piyavskii-Shubert variants in the scenarios with unknown regularity, noisy evaluation and multivariate domain.


title: Tune it the Right Way: Unsupervised Validation of Domain Adaptation via Soft Neighborhood Density

abstract: Unsupervised domain adaptation (UDA) methods can dramatically improve generalization on unlabeled target domains. However, optimal hyper-parameter selection is critical to achieving high accuracy and avoiding negative transfer. Supervised hyper-parameter validation is not possible without labeled target data, which raises the question: How can we validate unsupervised adaptation techniques in a realistic way? We first empirically analyze existing criteria and demonstrate that they are not very effective for tuning hyper-parameters. Intuitively, a well-trained source classifier should embed target samples of the same class nearby, forming dense neighborhoods in feature space. Based on this assumption, we propose a novel unsupervised validation criterion that measures the density of soft neighborhoods by computing the entropy of the similarity distribution between points. Our criterion is simpler than competing validation methods, yet more effective; it can tune hyper-parameters and the number of training iterations in both image classification and semantic segmentation models. The code used for the paper will be available at \url{https://github.com/VisionLearningGroup/SND}.


title: Finite-Difference Multiple Fluid Solution for Source-Driven Rotation in Highly Magnetized Linear Plasma Device

abstract: The rotation profile of a magnetized plasma cylinder composed of multiple fluids is investigated analytically, expanding on previous results. The analytic steady-state solution is used as a benchmark for a time-dependent multiple-fluid finite-difference code, MITNS: Multiple-Ion Transport Numerical Solver. Magnetic field evolution is taken into account, both analytically and numerically. Its details are shown to be of importance when particles are allowed out of the domain. MITNS reproduces the asymptotic expansion results for a small parameter $\delta\lll1$. For $\sqrt{m_e/m_i} \sim \delta \ll 1$, a slightly different regime, dominated by viscosity-induced transport of ions, is found numerically and analytically. This validation supports the use of this code for more complex time-dependent calculations in the future.


title: Propagation dynamics of solutions to spatially periodic reaction-diffusion systems with hybrid nonlinearity

abstract: In this paper we investigate the dynamical properties of a spatially periodic reaction-diffusion system {whose reaction terms are of hybrid nature in the sense that they are partly competitive and partly cooperative depending on the value of the solution. This class of problems includes various biologically relevant models and in particular many models focusing on the Darwinian evolution of species. We start by studying the principal eigenvalue of the associated differential operator and establishing a minimal speed formula for linear monotone systems. In particular, we show that the generalized Dirichlet principal eigenvalue and the periodic principal eigenvalue may not coincide when the reaction matrix is not symmetric, in sharp contrast with the case of scalar equations. We establish a sufficient condition under which equality holds for the two notions. We also show that the propagation speed may be different depending on the direction of propagation, even in the absence of a first-order advection term, again in a sharp contrast with scalar equations. Next we reveal the relation between the hair-trigger property of front propagation and the sign of the periodic principal eigenvalue. Finally, we discuss the linear determinacy of the propagation speed and also establish the existence of travelling waves travelling whose speeds greater than the minimal speed is also proved. We apply our results to an important class of epidemiological models with genetic mutations.


title: A note on rational numbers and certain operators

abstract: This paper is devoted to conditions defined in terms of the generalized shift operator for a rational number to be representable by certain positive generalizations of $q$-ary expansions.


title: Reconciling Higgs physics and pseudo-Nambu-Goldstone dark matter in the S2HDM using a genetic algorithm

abstract: We investigate a possible realization of pseudo-Nambu-Goldstone (pNG) dark matter in the framework of a singlet-extended 2 Higgs doublet model (S2HDM). pNG dark matter gained attraction due to the fact that direct-detection constraints can be avoided naturally because of the momentum-suppressed scattering cross sections, whereas the relic abundance of dark matter can nevertheless be accounted for via the usual thermal freeze-out mechanism. We confront the S2HDM with a multitude of theoretical and experimental constraints, paying special attention to the theoretical limitations on the scalar potential, such as vacuum stability and perturbativity. In addition, we discuss the complementarity between constraints related to the dark matter sector, on the one hand, and to the Higgs sector, on the other hand. In our numerical discussion we explore the Higgs funnel region with dark matter masses around $60$GeV using a genetic algorithm. We demonstrate that the S2HDM can account for the measured relic abundance while being in agreement with all relevant constraints. We also discuss whether the so-called galactic center excess and the antiproton excess can be accommodated, possibly in combination with a Higgs boson at about $96$GeV that can be the origin of the LEP- and the CMS-excess observed at this mass in the $b \bar b$-quark and the diphoton final state, respectively.


title: On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)

abstract: We have proved that for any pattern p the tail recursive program model of naive pattern matching may be automatically specialized w.r.t. the pattern p to a specialized version of the so-called KMP-algorithm, using the Higman-Kruskal relation that controls the unfolding/folding. Given an input string, the corresponding residual program finds the first occurrence of p in the string in linear time on the string length. The current state of the automated program specialization art based on unfolding/folding is too weak in order to be able to reproduce the proof, done by hands, of the uniform property above, while it known before that program specialization is sometimes able to produce the KMP-algorithm for a few concrete static patterns.


title: Bayesian sequential composite hypothesis testing in discrete time

abstract: We study the sequential testing problem of two alternative hypotheses regarding an unknown parameter in an exponential family when observations are costly. In a Bayesian setting, the problem can be embedded in a Markovian framework. Using the conditional probability of one of the hypotheses as the underlying spatial variable, we show that the cost function is concave and that the posterior distribution becomes more concentrated as time goes on. Moreover, we study time monotonicity of the value function. For a large class of model specifications, the cost function is non-decreasing in time, and the optimal stopping boundaries are thus monotone.


title: Stellar kinematics of dwarf galaxies from multi-epoch spectroscopy: application to Triangulum II

abstract: We present new MMT/Hectochelle spectroscopic measurements for 257 stars observed along the line of sight to the ultra-faint dwarf galaxy Triangulum II. Combining with results from previous Keck/DEIMOS spectroscopy, we obtain a sample that includes 16 likely members of Triangulum II, with up to 10 independent redshift measurements per star. To this multi-epoch kinematic data set we apply methodology that we develop in order to infer binary orbital parameters from sparsely sampled radial velocity curves with as few as two epochs. For a previously-identified (spatially unresolved) binary system in Tri~II, we infer an orbital solution with period $296.0_{-3.3}^{+3.8} \rm~ days$ , semi-major axis $1.12^{+0.41}_{-0.24}\rm~AU$, and a systemic velocity $ -380.0 \pm 1.7 \rm~km ~s^{-1}$ that we then use in the analysis of Tri~II's internal kinematics. Despite this improvement in the modeling of binary star systems, the current data remain insufficient to resolve the velocity dispersion of Triangulum II. We instead find a 95% confidence upper limit of $\sigma_{v} \lesssim 3.4 \rm ~km~s^{-1}$.


title: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL

abstract: Special Relativity is a cornerstone of modern physical theory. While a standard coordinate model is well-known and widely taught today, several alternative systems of axioms exist. This paper reports on the formalisation of one such system which is closer in spirit to Hilbert's axiomatic approach to Euclidean geometry than to the vector space approach employed by Minkowski. We present a mechanisation in Isabelle/HOL of the system of axioms as well as theorems relating to temporal order. Proofs and excerpts of Isabelle/Isar scripts are discussed, particularly where the formal work required additional steps, alternative approaches, or corrections to Schutz' prose.


title: DROID-SLAM: Deep Visual SLAM for Monocular, Stereo, and RGB-D Cameras

abstract: We introduce DROID-SLAM, a new deep learning based SLAM system. DROID-SLAM consists of recurrent iterative updates of camera pose and pixelwise depth through a Dense Bundle Adjustment layer. DROID-SLAM is accurate, achieving large improvements over prior work, and robust, suffering from substantially fewer catastrophic failures. Despite training on monocular video, it can leverage stereo or RGB-D video to achieve improved performance at test time. The URL to our open source code is https://github.com/princeton-vl/DROID-SLAM.


title: Optimal 1D Ly$\alpha$ Forest Power Spectrum Estimation -- II. KODIAQ, SQUAD & XQ-100

abstract: We measure the 1D Ly$\,\alpha$ power spectrum $P_\mathrm{1D}$ from Keck Observatory Database of Ionized Absorption toward Quasars (KODIAQ), The Spectral Quasar Absorption Database (SQUAD) and XQ-100 quasars using the optimal quadratic estimator. We combine KODIAQ and SQUAD at the spectrum level, but perform a separate XQ-100 estimation to control its large resolution corrections in check. Our final analysis measures $P_\mathrm{1D}$ at scales $k<0.1\,$s$\,$km$^{-1}$ between redshifts $z=$ 2.0 -- 4.6 using 538 quasars. This sample provides the largest number of high-resolution, high-S/N observations; and combined with the power of optimal estimator it provides exceptional precision at small scales. These small-scale modes ($k\gtrsim 0.02\,$s$\,$km$^{-1}$), unavailable in Sloan Digital Sky Survey (SDSS) and Dark Energy Spectroscopic Instrument (DESI) analyses, are sensitive to the thermal state and reionization history of the intergalactic medium, as well as the nature of dark matter. As an example, a simple Fisher forecast analysis estimates that our results can improve small-scale cut off sensitivity by more than a factor of 2.


title: An ensemble of high rank matrices arising from tournaments

abstract: Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we show that all matrices in a certain subclass of $\mathcal{M}_n(\mathbf{a})$ -- which can be naturally associated with transitive tournaments -- have rank at least $\lfloor 2n/3 \rfloor - 1$. We also show that if $\operatorname{char}(\mathbb{F}) \neq 2$ and $M$ is a matrix chosen uniformly at random from $\mathcal{M}_n(\mathbf{a})$, then with high probability $\operatorname{rank}(M) \geq \bigl(\frac{1}{2} - o(1)\bigr)n$.


title: Gravitational wave propagation beyond general relativity: waveform distortions and echoes

abstract: We study the cosmological propagation of gravitational waves (GWs) beyond general relativity (GR) across homogeneous and isotropic backgrounds. We consider scenarios in which GWs interact with an additional tensor field and use a parametrized phenomenological approach that generically describes their coupled equations of motion. We analyze four distinct classes of derivative and non-derivative interactions: mass, friction, velocity, and chiral. We apply the WKB formalism to account for the cosmological evolution and obtain analytical solutions to these equations. We corroborate these results by analyzing numerically the propagation of a toy GW signal. We then proceed to use the analytical results to study the modified propagation of realistic GWs from merging compact binaries, assuming that the GW signal emitted is the same as in GR. We generically find that tensor interactions lead to copies of the originally emitted GW signal, each one with its own possibly modified dispersion relation. These copies can travel coherently and interfere with each other leading to a scrambled GW signal, or propagate decoherently and lead to echoes arriving at different times at the observer that could be misidentified as independent GW events. Depending on the type of tensor interaction, the detected GW signal may exhibit amplitude and phase distortions with respect to a GW waveform in GR, as well as birefringence effects. We discuss observational probes of these tensor interactions with both individual GW events, as well as population studies for both ground- and space-based detectors.


title: A QuadTree Image Representation for Computational Pathology

abstract: The field of computational pathology presents many challenges for computer vision algorithms due to the sheer size of pathology images. Histopathology images are large and need to be split up into image tiles or patches so modern convolutional neural networks (CNNs) can process them. In this work, we present a method to generate an interpretable image representation of computational pathology images using quadtrees and a pipeline to use these representations for highly accurate downstream classification. To the best of our knowledge, this is the first attempt to use quadtrees for pathology image data. We show it is highly accurate, able to achieve as good results as the currently widely adopted tissue mask patch extraction methods all while using over 38% less data.


title: Kramers-Weyl fermions in the chiral charge density wave material (TaSe$_4$)$_2$I

abstract: The quasi-one-dimensional chiral charge density wave (CDW) material (TaSe$_4$)$_2$I has been recently predicted to host Kramers-Weyl (KW) fermions which should exist in the vicinity of high symmetry points in the Brillouin zone in chiral materials with strong spin-orbit coupling. However, direct spectroscopic evidence of KW fermions is limited. Here we use helicity-dependent laser-based angle resolved photoemission spectroscopy (ARPES) in conjunction with tight-binding and first-principles calculations to identify KW fermions in (TaSe$_4$)$_2$I. We find that topological and symmetry considerations place distinct constraints on the (pseudo-) spin texture and the observed spectra around a KW node. We further reveal an interplay between the spin texture around the chiral KW node and the onset of CDW order in (TaSe$_4$)$_2$I. Our findings highlight the unique topological nature of (TaSe$_4$)$_2$I and provide a pathway for identifying KW fermions in other chiral materials.


title: Geometric control of topological dynamics in a singing saw

abstract: The common handsaw can be converted into a bowed musical instrument capable of producing exquisitely sustained notes when its blade is appropriately bent. Acoustic modes localized at an inflection point are known to underlie the saw's sonorous quality, yet the origin of localization has remained mysterious. Here we uncover a topological basis for the existence of localized modes, that relies on and is protected by spatial curvature. By combining experimental demonstrations, theory and computation, we show how spatial variations in blade curvature control the localization of these trapped states, allowing the saw to function as a geometrically tunable high quality oscillator. Our work establishes an unexpected connection between the dynamics of thin shells and topological insulators, and offers a robust principle to design high quality resonators across scales, from macroscopic instruments to nanoscale devices, simply through geometry.

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


title: Quantum adaptive agents with efficient long-term memories

abstract: Central to the success of adaptive systems is their ability to interpret signals from their environment and respond accordingly -- they act as agents interacting with their surroundings. Such agents typically perform better when able to execute increasingly complex strategies. This comes with a cost: the more information the agent must recall from its past experiences, the more memory it will need. Here we investigate the power of agents capable of quantum information processing. We uncover the most general form a quantum agent need adopt to maximise memory compression advantages, and provide a systematic means of encoding their memory states. We show these encodings can exhibit extremely favourable scaling advantages relative to memory-minimal classical agents, particularly when information must be retained about events increasingly far into the past.

categories: quant-ph cond-mat.stat-mech cs.AI cs.IT math.IT


title: Parametrically driven-dissipative three-level Dicke model

abstract: We investigate the three-level Dicke model, which describes a fundamental class of light-matter systems. We determine the phase diagram in the presence of dissipation, which we assume to derive from photon loss. Utilizing both analytical and numerical methods we characterize the incommensurate time crystalline, light-induced, and light-enhanced superradiant states in the phase diagram for the parametrically driven system. As a primary application, we demonstrate that a shaken atom-cavity system is naturally approximated via a parametrically driven-dissipative three-level Dicke model.


title: Refinements to the prime number theorem for arithmetic progressions

abstract: We prove a version of the prime number theorem for arithmetic progressions that is uniform enough to deduce the Siegel-Walfisz theorem, Hoheisel's asymptotic for intervals of length $x^{1-\delta}$, a Brun-Titchmarsh bound, and Linnik's bound on the least prime in an arithmetic progression as corollaries. Our proof uses the Vinogradov-Korobov zero-free region, a log-free zero density estimate, and the Deuring-Heilbronn zero repulsion phenomenon. Improvements exist when the modulus is sufficiently powerful.


title: Are socially-aware trajectory prediction models really socially-aware?

abstract: Our field has recently witnessed an arms race of neural network-based trajectory predictors. While these predictors are at the core of many applications such as autonomous navigation or pedestrian flow simulations, their adversarial robustness has not been carefully studied. In this paper, we introduce a socially-attended attack to assess the social understanding of prediction models in terms of collision avoidance. An attack is a small yet carefully-crafted perturbations to fail predictors. Technically, we define collision as a failure mode of the output, and propose hard- and soft-attention mechanisms to guide our attack. Thanks to our attack, we shed light on the limitations of the current models in terms of their social understanding. We demonstrate the strengths of our method on the recent trajectory prediction models. Finally, we show that our attack can be employed to increase the social understanding of state-of-the-art models. The code is available online: https://s-attack.github.io/


title: The Most Metal-poor Stars in the Magellanic Clouds are $r$-process Enhanced

abstract: The chemical abundances of a galaxy's metal-poor stellar population can be used to investigate the earliest stages of its formation and chemical evolution. The Magellanic Clouds are the most massive of the Milky Way's satellite galaxies and are thought to have evolved in isolation until their recent accretion by the Milky Way. Unlike the Milky Way's less massive satellites, little is know about the Magellanic Clouds' metal-poor stars. We have used the mid-infrared metal-poor star selection of Schlaufman & Casey (2014) and archival data to target nine LMC and four SMC giants for high-resolution Magellan/MIKE spectroscopy. These nine LMC giants with $-2.4\lesssim[\text{Fe/H}]\lesssim-1.5$ and four SMC giants with $-2.6\lesssim[\text{Fe/H}]\lesssim-2.0$ are the most metal-poor stars in the Magellanic Clouds yet subject to a comprehensive abundance analysis. While we find that at constant metallicity these stars are similar to Milky Way stars in their $\alpha$, light, and iron-peak elemental abundances, both the LMC and SMC are enhanced relative to the Milky Way in the $r$-process element europium. These abundance offsets are highly significant, equivalent to $3.9\sigma$ for the LMC, $2.7\sigma$ for the SMC, and $5.0\sigma$ for the complete Magellanic Cloud sample. We propose that the $r$-process enhancement of the Magellanic Clouds' metal-poor stellar population is a result of the Magellanic Clouds' isolated chemical evolution and long history of accretion from the cosmic web combined with $r$-process nucleosynthesis on a timescale longer than the core-collapse supernova timescale but shorter than or comparable to the thermonuclear (i.e., Type Ia) supernova timescale.


title: The domain-wall motion driven by a rotating field in a ferrimagnet

abstract: We theoretically study a ferrimagnetic domain-wall motion driven by a rotating magnetic field. We find that, depending on the magnitude and the frequency of the rotating field, the dynamics of a ferrimagnetic domain wall can be classified into two regimes. First, when the frequency is lower than a certain critical frequency set by the field magnitude, there is a stationary solution for the domain-wall dynamics, where a domain-wall in-plane magnetization rotates in-phase with the external field. The field-induced precession of the domain wall gives rise to the translational motion of the domain wall via the gyrotropic coupling between the domain-wall angle and position. In this so-called phase-locking regime, a domain-wall velocity increases as the frequency increases. Second, when the frequency exceeds the critical frequency, a domain-wall angle precession is not synchronous with the applied field. In this phase-unlocking regime, a domain wall velocity decreases as the frequency increases. Moreover, the direction of the domain-wall motion is found to be reversed across the angular compensation point where the net spin density of the ferrimagnet changes its sign. Our work suggests that the dynamics of magnetic solitons under time-varying biases may serve as platform to study critical phenomena.


title: A note concerning the invertibility of certain alternant matrices

abstract: This brief note concerns the invertibility of certain alternant matrices. In particular those that consisting of polynomials and products of polynomials and logarithms are shown to be invertible under appropriate conditions on the degrees of the polynomials.


title: Higher fidelity simulations of nonlinear Breit-Wheeler pair creation in intense laser pulses

abstract: When a photon collides with a laser pulse, an electron-positron pair can be produced via the nonlinear Breit-Wheeler process. A simulation framework has been developed to calculate this process, which is based on a ponderomotive approach that includes strong-field quantum electrodynamical effects via the locally monochromatic approximation (LMA). Here we compare simulation predictions for a variety of observables, in different physical regimes, with numerical evaluation of exact analytical results from theory. For the case of a focussed laser background, we also compare simulation with a high-energy theory approximation. These comparisons are used to quantify the accuracy of the simulation approach in calculating harmonic structure, which appears in the lightfront momentum and angular spectra of outgoing particles, and the transition from multi-photon to all-order pair creation. Calculation of the total yield of pairs over a range of intensity parameters is also used to assess the accuracy of the locally constant field approximation (LCFA).


title: The Characteristic Dimension of Four-dimensional $\mathcal{N} = 2$ SCFTs

abstract: In this paper we introduce the characteristic dimension of a four dimensional $\mathcal{N}=2$ superconformal field theory, which is an extraordinary simple invariant determined by the scaling dimensions of its Coulomb branch operators. We prove that only nine values of the characteristic dimension are allowed, $-\infty$, 1 ,6/5, 4/3, 3/2, 2, 3, 4, and 6, thus giving a new organizing principle to the vast landscape of 4d $\mathcal N=2$ SCFTs. Whenever the characteristic dimension differs from 1 or 2, only very constrained special K\"ahler geometries (i.e. isotrivial, diagonal and rigid) are compatible with the corresponding set of Coulomb branch dimensions and extremely special, maximally strongly coupled, BPS spectra are allowed for the theories which realize them. Our discussion applies to superconformal field theories of arbitrary rank, i.e. with Coulomb branches of any complex dimension. Along the way, we predict the existence of new $\mathcal{N}=3$ theories of rank two with non-trivial one-form symmetries.


title: The Uncertain Future of Massive Binaries Obscures the Origin of LIGO/Virgo Sources

abstract: The LIGO/Virgo gravitational--wave observatories have detected 50 BH-BH coalescences. This sample is large enough to have allowed several recent studies to draw conclusions about the branching ratios between isolated binaries versus dense stellar clusters as the origin of double BHs. It has also led to the exciting suggestion that the population is highly likely to contain primordial black holes. Here we demonstrate that such conclusions cannot yet be robust, because of the large current uncertainties in several key aspects of binary stellar evolution. These include the development and survival of a common envelope, the mass and angular momentum loss during binary interactions, mixing in stellar interiors, pair-instability mass loss and supernova outbursts. Using standard tools such as the population synthesis codes StarTrack and COMPAS and the detailed stellar evolution code MESA, we examine as a case study the possible future evolution of Melnick 34, the most massive known binary star system. We show that, despite its well-known orbital architecture, various assumptions regarding stellar and binary physics predict a wide variety of outcomes: from a close BH-BH binary (which would lead to a potentially detectable coalescence), through a wide BH-BH binary (which might be seen in microlensing observations), or a Thorne-Zytkow object, to a complete disruption of both objects by pair-instability supernovae. Thus since the future of massive binaries is inherently uncertain, sound predictions about the properties of BH-BH systems are highly challenging at this time. Consequently, drawing conclusions about the formation channels for the LIGO/Virgo BH-BH merger population is premature.


title: Detecting dark matter subhalos with the Nancy Grace Roman Space Telescope

abstract: The dark matter subhalo mass function is a promising way of distinguishing between dark matter models. While cold dark matter predicts halos down to Earth-sized masses, other dark matter models typically predict a cut-off in the subhalo mass function. Thus a definitive detection or limits on the existence of subhalos at small masses can give us insight into the nature of dark matter. If these subhalos exist in the Milky Way, they would produce weak lensing signatures, such as modified apparent positions, on background stars. These signatures would generate correlations in the apparent velocities and accelerations of these stars, which could be observable given sufficient astrometric resolution and cadence. The Nancy Grace Roman Space Telescope's Exoplanet Microlensing Survey will be perfectly suited to measuring the acceleration signatures of these halos. Here we forward model these acceleration signatures and explore the Roman Space Telescope's future constraints on lens profiles and populations. We find that the Roman Space Telescope could place competitive bounds on point source, Gaussian, and Navarro-Frenk-White (NFW) profile lenses that are complementary to other proposed methods. In particular, it could place 95% upper limits on the NFW concentration, $c_{200} < 10^{2.5}$. We discuss possible systematic effects that could hinder these efforts, but argue they should not prevent the Roman Space Telescope from placing strong limits. We also discuss further analysis methods for improving these constraints.


title: On the primordial correlation of gravitons with gauge fields

abstract: We calculate the primordial correlation of gravitons with an abelian gauge field non-minimally coupled through a dynamical dilaton field or a volume moduli during inflation in the early universe. In particular, we compute the cross-correlation of a tensor mode with two gauge field modes and the corresponding correlation functions for the associated magnetic and electric fields using the in-in formalism. Moreover, using semi-classical methods, we show that the three-point cross-correlation functions satisfy new consistency relations (soft theorems) in the squeezed limit. Our findings exhibit a complete agreement of the full in-in results with the new consistency relations. An interesting consequence of our scenario is the possibility of a novel correlation of the primordial tensor mode with the primordial curvature perturbation induced by higher order quantum gravity corrections. The anisotropic background created by long wavelength gauge field modes makes this correlation function non-vanishing. Finally, we discuss how these three-point correlation functions are imprinted on cosmological observables today and the applications to scenarios of inflationary magnetogenesis.


title: Habitability and Biosignatures of Hycean Worlds

abstract: We investigate a new class of habitable planets composed of water-rich interiors with massive oceans underlying H2-rich atmospheres, referred to here as Hycean worlds. With densities between those of rocky super-Earths and more extended mini-Neptunes, Hycean planets can be optimal candidates in the search for exoplanetary habitability and may be abundant in the exoplanet population. We investigate the bulk properties (masses, radii, and temperatures), potential for habitability, and observable biosignatures of Hycean planets. We show that Hycean planets can be significantly larger compared to previous considerations for habitable planets, with radii as large as 2.6 Earth radii (2.3 Earth radii) for a mass of 10 Earth masses (5 Earth masses). We construct the Hycean habitable zone (HZ), considering stellar hosts from late M to sun-like stars, and find it to be significantly wider than the terrestrial-like HZ. While the inner boundary of the Hycean HZ corresponds to equilibrium temperatures as high as ~500 K for late M dwarfs, the outer boundary is unrestricted to arbitrarily large orbital separations. Our investigations include tidally locked `Dark Hycean' worlds that permit habitable conditions only on their permanent nightsides and `Cold Hycean' worlds that see negligible irradiation. Finally, we investigate the observability of possible biosignatures in Hycean atmospheres. We find that a number of trace terrestrial biomarkers which may be expected to be present in Hycean atmospheres would be readily detectable using modest observing time with the James Webb Space Telescope (JWST). We identify a sizable sample of nearby potential Hycean planets that can be ideal targets for such observations in search of exoplanetary biosignatures.


title: Accelerating Composite Dark Matter Discovery with Nuclear Recoils and the Migdal Effect

abstract: Large composite dark matter states source a scalar binding field that, when coupled to Standard Model nucleons, provides a potential under which nuclei recoil and accelerate to energies capable of ionization, radiation, and thermonuclear reactions. We show that these dynamics are detectable for nucleon couplings as small as $g_n \sim 10^{-17}$ at dark matter experiments, where the greatest sensitivity is attained by considering the Migdal effect. We also explore Type-Ia supernovae and planetary heating as possible means to discover this type of dark matter.


title: Hardness of ionizing radiation fields in MaNGA star-forming galaxies

abstract: We investigate radiation hardness within a representative sample of 67 nearby (0.02 $\lesssim $z$ \lesssim$0.06) star-forming (SF) galaxies using the integral field spectroscopic data from the MaNGA survey. The softness parameter $\eta$ = $\frac{O^{+}/O^{2+}}{S^{+}/S^{2+}}$ is sensitive to the spectral energy distribution of the ionizing radiation. We study $\eta$ via the observable quantity $\eta\prime$ (=$\frac{[OII]/[OIII]}{[SII][SIII]}$) We analyse the relation between radiation hardness (traced by $\eta$ and $\eta\prime$) and diagnostics sensitive to gas-phase metallicity, electron temperature, density, ionization parameter, effective temperature and age of ionizing populations. It is evident that low metallicity is accompanied by low log $\eta\prime$, i.e. hard radiation field. No direct relation is found between radiation hardness and other nebular parameters though such relations can not be ruled out. We provide empirical relations between log $\rm\eta$ and strong emission line ratios N$_2$, O$_3$N$_2$ and Ar$_3$O$_3$ which will allow future studies of radiation hardness in SF galaxies where weak auroral lines are undetected. We compare the variation of [O III]/[O II] and [S III]/[S II] for MaNGA data with SF galaxies and H II regions within spiral galaxies from literature, and find that the similarity and differences between different data set is mainly due to the metallicity. We find that predictions from photoionizaion models considering young and evolved stellar populations as ionizing sources in good agreement with the MaNGA data. This comparison also suggests that hard radiation fields from hot and old low-mass stars within or around SF regions might significantly contribute to the observed $\eta$ values.