title: Deep Learning based Defect classification and detection in SEM images: A Mask R-CNN approach

abstract: In this research work, we have demonstrated the application of Mask-RCNN (Regional Convolutional Neural Network), a deep-learning algorithm for computer vision and specifically object detection, to semiconductor defect inspection domain. Stochastic defect detection and classification during semiconductor manufacturing has grown to be a challenging task as we continuously shrink circuit pattern dimensions (e.g., for pitches less than 32 nm). Defect inspection and analysis by state-of-the-art optical and e-beam inspection tools is generally driven by some rule-based techniques, which in turn often causes to misclassification and thereby necessitating human expert intervention. In this work, we have revisited and extended our previous deep learning-based defect classification and detection method towards improved defect instance segmentation in SEM images with precise extent of defect as well as generating a mask for each defect category/instance. This also enables to extract and calibrate each segmented mask and quantify the pixels that make up each mask, which in turn enables us to count each categorical defect instances as well as to calculate the surface area in terms of pixels. We are aiming at detecting and segmenting different types of inter-class stochastic defect patterns such as bridge, break, and line collapse as well as to differentiate accurately between intra-class multi-categorical defect bridge scenarios (as thin/single/multi-line/horizontal/non-horizontal) for aggressive pitches as well as thin resists (High NA applications). Our proposed approach demonstrates its effectiveness both quantitatively and qualitatively.


title: Thermal energy budget of electrons in the inner heliosphere: Parker Solar Probe Observations

abstract: We present an observational analysis of the electron thermal energy budget using data from Parker Solar Probe. We use the macroscopic moments, obtained from our fits to the measured electron distribution function, to evaluate the thermal energy budget based on the second moment of the Boltzmann equation. We separate contributions to the overall budget from reversible and irreversible processes. We find that an irreversible thermal energy source must be present in the inner heliosphere over the heliocentric distance range from 0.15 to 0.47 au. The divergence of the heat flux is positive at heliocentric distances below 0.33 au, while beyond 0.33 au, there is a measurable degradation of the heat flux. Expansion effects dominate the thermal energy budget below 0.3 au. Under our steady-state assumption, the free streaming of the electrons is not sufficient to explain the observed thermal energy density budget. We conjecture that the most likely driver for the required heating process is turbulence. Our results are consistent with the known nonadiabatic polytropic index of the electrons, which we measure as 1.18 in the explored range of heliocentric distances.

categories: astro-ph.SR physics.geo-ph physics.plasm-ph physics.space-ph


title: Invoking the virial theorem to understand the impact of (dry) mergers on the $M_{\rm bh}$-$\sigma$ relation

abstract: While dry mergers can produce considerable scatter in the (black hole mass, $M_{\rm bh}$)-(spheroid stellar mass, $M_{\rm *,sph}$) and $M_{\rm bh}$-(spheroid half-light radius, $R_{\rm e,sph}$) diagrams, the virial theorem is used here to explain why the scatter about the $M_{\rm bh}$-(velocity dispersion, $\sigma$) relation remains low in the face of such mergers. Its small scatter has been claimed as evidence of feedback from active galactic nuclei (AGNs). However, it is shown that galaxy mergers also play a significant role. The major merger of two S0 galaxies with $M_{\rm *,sph}\sim10^{11}$ M$_\odot$ advances a system along a slope of $\sim$5 in the $M_{\rm bh}$-$\sigma$ diagram. However, a major E$+$E galaxy merger moves a system (slightly) along a trajectory with a slope of $\sim$9, while mergers of lower-mass S0 galaxies with $M_{\rm *,sph}\sim10^{10}$ M$_\odot$ move (slightly) along a trajectory with a slope of $\sim$3. This produces a steeper distribution for the E (and Es,e) galaxies in the $M_{\rm bh}$-$\sigma$ diagram, reported here to have a slope of 7.27$\pm$0.91, compared to the S0 galaxies which have a slope of 5.68$\pm$0.60. This result forms an important complement to the AGN feedback models like that from Silk and Rees, providing a more complete picture of galaxy/(black hole) coevolution. It also has important implications for nanohertz gravitational wave research. Abridged.


title: Web Archiving as Entertainment

abstract: We want to make web archiving entertaining so that it can be enjoyed like a spectator sport. To this end, we have been working on a proof of concept that involves gamification of the web archiving process and integrating video games and web archiving. Our vision for this proof of concept involves a web archiving live stream and a gaming live stream. We are creating web archiving live streams that make the web archiving process more transparent to viewers by live streaming the web archiving and replay sessions to video game live streaming platforms like Twitch, Facebook Gaming, and YouTube. We also want to live stream gameplay from games where the gameplay is influenced by web archiving and replay performance. So far we have created web archiving live streams that show the web archiving and replay sessions for two web archive crawlers and gaming live streams that show gameplay influenced by the web archiving performance from the web archiving live stream. We have also applied the gaming concept of speedruns, where a player attempts to complete a game as quickly as possible. This could make a web archiving live stream more entertaining, because we can have a competition between two crawlers to see which crawler is faster at archiving a set of URIs.


title: Notes on Yetter-Drinfeld algebras over Hopf algebras

abstract: In this work, we study another characterization of Yetter-Drinfeld algebras over finite-dimensional Hopf algebras. We show the equivalence between this characterization, called the "only coaction" characterization, and the standard "action-coaction" characterization. This modern approach for Yetter-Drinfeld algebras is one of the key ingredient in a self-dual theory of quantum transformation groupoids arising from actions of quantum groups.


title: Exceptional projections of sets exhibiting almost dimension conservation

abstract: We establish a packing dimension estimate on the exceptional sets of orthogonal projections of sets satisfying an almost dimension conservation law. In particular, the main result applies to homogeneous sets and to certain graph-directed sets. Connections are drawn to results of M. Rams and T. Orponen.


title: Femtosecond intramolecular rearrangement of the CH3NCS radical cation

abstract: Strong-field ionization, involving tunnel ionization and electron rescattering, enables femtosecond time-resolved dynamics measurements of chemical reactions involving radical cations. Here, we compare the formation of CH3S+ following the strong-field ionization of the isomers CH3SCN and CH3NCS. The former involves the release of neutral CN, while the latter involves an intramolecular rearrangement. We find the intramolecular rearrangement takes place on the single picosecond timescale and exhibits vibrational coherence. Density functional theory and coupled-cluster calculations on the neutral and singly ionized species help us determine the driving force responsible for intramolecular rearrangement in CH3NCS. Our findings illustrate the complexity that accompanies radical cation chemistry following electron ionization and demonstrate a useful tool for understanding the cation dynamics after ionization.


title: A Mixed Model Approach for Estimating Regional Functional Connectivity from Voxel-level BOLD Signals

abstract: Resting state brain functional connectivity quantifies the similarity between brain regions, each of which consists of voxels at which dynamic signals are acquired via neuroimaging techniques such as blood-oxygen-level-dependent signals in functional magnetic resonance imaging. Pearson correlation and similar metrics have been adopted by neuroscientists to estimate inter-regional connectivity, usually after averaging of signals within regions. However, dependencies between signals within each region and the presence of noise could contaminate such inter-regional correlation estimates. We propose a mixed-effects model with a novel covariance structure that explicitly isolates the different sources of variability in the observed BOLD signals, including correlated regional signals, local spatiotemporal variability, and measurement error. Methods for tackling the computational challenges associated with restricted maximum likelihood estimation will be discussed. Large sample properties are discussed and used for uncertainty quantification. Simulation results demonstrate that the parameters of the proposed model parameters can be accurately estimated and is superior to the Pearson correlation of averages in the presence of spatiotemporal noise. The proposed model is also applied to a real data set of BOLD signals collected from rats to construct individual brain networks.


title: Benchmarking Quality-Diversity Algorithms on Neuroevolution for Reinforcement Learning

abstract: We present a Quality-Diversity benchmark suite for Deep Neuroevolution in Reinforcement Learning domains for robot control. The suite includes the definition of tasks, environments, behavioral descriptors, and fitness. We specify different benchmarks based on the complexity of both the task and the agent controlled by a deep neural network. The benchmark uses standard Quality-Diversity metrics, including coverage, QD-score, maximum fitness, and an archive profile metric to quantify the relation between coverage and fitness. We also present how to quantify the robustness of the solutions with respect to environmental stochasticity by introducing corrected versions of the same metrics. We believe that our benchmark is a valuable tool for the community to compare and improve their findings. The source code is available online: https://github.com/adaptive-intelligent-robotics/QDax


title: Brownian particle in the curl of 2-d stochastic heat equations

abstract: We study the long time behaviour of a Brownian particle evolving in a dynamic random environment. Recently, [G. Cannizzaro, L. Haunschmid-Sibitz, F. Toninelli, preprint arXiv:2106.06264] proved sharp $\sqrt{log}$-super diffusive bounds for a Brownian particle in the curl of (a regularisation of) the 2-d Gaussian Free Field (GFF) $\underline{\omega}$. We consider a one parameter family of Markovian and Gaussian dynamic environments which are reversible with respect to the law of $\underline{\omega}$. Adapting their method, we show that if $s\ge1$, with $s=1$ corresponding to the standard stochastic heat equation, then the particle stays $\sqrt{log}$-super diffusive, whereas if $s<1$, corresponding to a fractional heat equation, then the particle becomes diffusive. In fact, for $s<1$, we show that this is a particular case of [T. Komorowski, S. Olla, J. Func. Anal., 2003], which yields an invariance principle through a Sector Condition result. Our main results agree with the Alder-Wainwright scaling argument (see [B. Alder, T. Wainright, Phys. Rev. Lett. 1967]) used originally in [B. T\'oth, B. Valk\'o, J. Stat. Phys., 2012] to predict the $\log$-corrections to diffusivity. We also provide examples which display $log^a$-super diffusive behaviour for $a\in(0,1/2]$.


title: Learning to Rank Graph-based Application Objects on Heterogeneous Memories

abstract: Persistent Memory (PMEM), also known as Non-Volatile Memory (NVM), can deliver higher density and lower cost per bit when compared with DRAM. Its main drawback is that it is typically slower than DRAM. On the other hand, DRAM has scalability problems due to its cost and energy consumption. Soon, PMEM will likely coexist with DRAM in computer systems but the biggest challenge is to know which data to allocate on each type of memory. This paper describes a methodology for identifying and characterizing application objects that have the most influence on the application's performance using Intel Optane DC Persistent Memory. In the first part of our work, we built a tool that automates the profiling and analysis of application objects. In the second part, we build a machine learning model to predict the most critical object within large-scale graph-based applications. Our results show that using isolated features does not bring the same benefit compared to using a carefully chosen set of features. By performing data placement using our predictive model, we can reduce the execution time degradation by 12\% (average) and 30\% (max) when compared to the baseline's approach based on LLC misses indicator.


title: (Machine) Learning from the COVID-19 Lockdown about Electricity Market Performance with a Large Share of Renewables

abstract: The negative demand shock due to the COVID-19 lockdown has reduced net demand for electricity -- system demand less amount of energy produced by intermittent renewables, hydroelectric units, and net imports -- that must be served by controllable generation units. Under normal demand conditions, introducing additional renewable generation capacity reduces net demand. Consequently, the lockdown can provide insights about electricity market performance with a large share of renewables. We find that although the lockdown reduced average day-ahead prices in Italy by 45%, re-dispatch costs increased by 73%, both relative to the average of the same magnitude for the same period in previous years. We estimate a deep-learning model using data from 2017--2019 and find that predicted re-dispatch costs during the lockdown period are only 26% higher than the same period in previous years. We argue that the difference between actual and predicted lockdown period re-dispatch costs is the result of increased opportunities for suppliers with controllable units to exercise market power in the re-dispatch market in these persistently low net demand conditions. Our results imply that without grid investments and other technologies to manage low net demand conditions, an increased share of intermittent renewables is likely to increase costs of maintaining a reliable grid.


title: Axion cosmology with post-Newtonian corrections

abstract: We present first-order post-Newtonian (1PN) approximations of a general imperfect fluid and of an axion as a coherently oscillating massive scalar field, both in the cosmological context. For the axion, using the Klein transformation and Madelung transformation we derive the Schr\"odinger and Madelung hydrodynamic formulations, respectively, in exact covariant way and to 1PN order. Complete sets of equations for the 1PN formulations are derived without fixing the temporal gauge condition. We study the linear instability in cosmology and a static limit for both fluid and axion; these are presented independently of the gauge condition to 1PN order, thus are naturally gauge-invariant.


title: Extremely primitive groups and linear spaces

abstract: A finite non-regular primitive permutation group $G$ is extremely primitive if a point stabiliser acts primitively on each of its nontrivial orbits. Such groups have been studied for almost a century, finding various applications. The classification of extremely primitive groups was recently completed by Burness and Lee, who relied on an earlier classification of soluble extremely primitive groups by Mann, Praeger and Seress. Unfortunately, there is an inaccuracy in the latter classification. We correct this mistake, and also investigate regular linear spaces which admit groups of automorphisms that are extremely primitive on points.


title: Characterization of the non-classical relation between measurement outcomes represented by non-orthogonal quantum states

abstract: Quantum mechanics describes seemingly paradoxical relations between the outcomes of measurements that cannot be performed jointly. In Hilbert space, the outcomes of such incompatible measurements are represented by non-orthogonal states. In this paper, we investigate how the relation between outcomes represented by non-orthogonal quantum states differs from the relations suggested by a joint assignment of measurement outcomes that do not depend on the actual measurement context. The analysis is based on a well-known scenario where three statements about the impossibilities of certain outcomes would seem to make a specific fourth outcome impossible as well, yet quantum theory allows the observation of that outcome with a non-vanishing probability. We show that the Hilbert space formalism modifies the relation between the four measurement outcomes by defining a lower bound of the fourth probability that increases as the total probability of the first three outcomes drops to zero. Quantum theory thus makes the violation of non-contextual consistency between the measurement outcomes not only possible, but actually requires it as a necessary consequence of the Hilbert space inner products that describe the contextual relation between the outcomes of different measurements.


title: Miko Team: Deep Learning Approach for Legal Question Answering in ALQAC 2022

abstract: We introduce efficient deep learning-based methods for legal document processing including Legal Document Retrieval and Legal Question Answering tasks in the Automated Legal Question Answering Competition (ALQAC 2022). In this competition, we achieve 1\textsuperscript{st} place in the first task and 3\textsuperscript{rd} place in the second task. Our method is based on the XLM-RoBERTa model that is pre-trained from a large amount of unlabeled corpus before fine-tuning to the specific tasks. The experimental results showed that our method works well in legal retrieval information tasks with limited labeled data. Besides, this method can be applied to other information retrieval tasks in low-resource languages.


title: Learning Tool Morphology for Contact-Rich Manipulation Tasks with Differentiable Simulation

abstract: When humans perform contact-rich manipulation tasks, customized tools are often necessary to simplify the task. For instance, we use various utensils for handling food, such as knives, forks and spoons. Similarly, robots may benefit from specialized tools that enable them to more easily complete a variety of tasks. We present an end-to-end framework to automatically learn tool morphology for contact-rich manipulation tasks by leveraging differentiable physics simulators. Previous work relied on manually constructed priors requiring detailed specification of a 3D object model, grasp pose and task description to facilitate the search or optimization process. Our approach only requires defining the objective with respect to task performance and enables learning a robust morphology through randomizing variations of the task. We make this optimization tractable by casting it as a continual learning problem. We demonstrate the effectiveness of our method for designing new tools in several scenarios, such as winding ropes, flipping a box and pushing peas onto a scoop in simulation. Additionally, experiments with real robots show that the tool shapes discovered by our method help them succeed in these scenarios.


title: Computing highest density regions for continuous univariate distributions with known probability functions

abstract: We examine the problem of computing the highest density region (HDR) in a computational context where the user has access to a density function and quantile function for the distribution (e.g., in the statistical language R). We examine several common classes of continuous univariate distributions based on the shape of the density function; this includes monotone densities, quasi-concave and quasi-convex densities, and general multimodal densities. In each case we show how the user can compute the HDR from the quantile and density functions by framing the problem as a nonlinear optimisation problem. We implement these methods in R to obtain general functions to compute HDRs for classes of distributions, and for commonly used families of distributions. We compare our method to existing R packages for computing HDRs and we show that our method performs favourably in terms of both accuracy and average speed.


title: Smallest covering regions and highest density regions for discrete distributions

abstract: This paper examines the problem of computing a canonical smallest covering region for an arbitrary discrete probability distribution. This optimisation problem is similar to the classical 0-1 knapsack problem, but it involves optimisation over a set that may be countably infinite, raising a computational challenge that makes the problem non-trivial. To solve the problem we present theorems giving useful conditions for an optimising region and we develop an iterative one-at-a-time computational method to compute a canonical smallest covering region. We show how this can be programmed in pseudo-code and we examine the performance of our method. We compare this algorithm with other algorithms available in statistical computation packages to compute HDRs. We find that our method is the only one that accurately computes HDRs for arbitrary discrete distributions.


title: Leaves_Compute

abstract: Control of gas exchange between a leafs interior and the surrounding air is accomplished by variations in the turgor pressures in the small epidermal and guard cells that cover the leafs surface. These pressures respond to changes in light intensity and color, temperature, CO2 concentration, and air humidity. The dynamical equations that describe these processes are formally identical to those that define computation in a two layer, adaptive, cellular nonlinear network. This identification suggests that leaf gas exchange processes can be understood as a kind of analog computation.


title: Ultralow-power cryogenic thermometry based on optical-transition broadening of a two-level system in diamond

abstract: Cryogenic temperatures are the prerequisite for many advanced scientific applications and technologies. The accurate determination of temperature in this range and at the submicrometer scale is, however, nontrivial. This is due to the fact that temperature reading in cryogenic conditions can be inaccurate due to optically induced heating. Here, we present an ultralow power, optical thermometry technique that operates at cryogenic temperatures. The technique exploits the temperature dependent linewidth broadening measured by resonant photoluminescence of a two level system, a germanium vacancy color center in a nanodiamond host. The proposed technique achieves a relative sensitivity of 20% 1/K, at 5 K. This is higher than any other all optical nanothermometry method. Additionally, it achieves such sensitivities while employing excitation powers of just a few tens of nanowatts, several orders of magnitude lower than other traditional optical thermometry protocols. To showcase the performance of the method, we demonstrate its ability to accurately read out local differences in temperatures at various target locations of a custom-made microcircuit. Our work is a definite step towards the advancement of nanoscale optical thermometry at cryogenic temperatures.


title: Soft Masking for Cost-Constrained Channel Pruning

abstract: Structured channel pruning has been shown to significantly accelerate inference time for convolution neural networks (CNNs) on modern hardware, with a relatively minor loss of network accuracy. Recent works permanently zero these channels during training, which we observe to significantly hamper final accuracy, particularly as the fraction of the network being pruned increases. We propose Soft Masking for cost-constrained Channel Pruning (SMCP) to allow pruned channels to adaptively return to the network while simultaneously pruning towards a target cost constraint. By adding a soft mask re-parameterization of the weights and channel pruning from the perspective of removing input channels, we allow gradient updates to previously pruned channels and the opportunity for the channels to later return to the network. We then formulate input channel pruning as a global resource allocation problem. Our method outperforms prior works on both the ImageNet classification and PASCAL VOC detection datasets.


title: Evidence for episodic and patchy mass ejection in the circumstellar envelope of AGB star R Leonis

abstract: The morpho-kinematics of the circumstellar envelope of oxygen-rich AGB star R Leonis is probed using ALMA (Atacama Large Millimeter/submillimeter Array) observations of the emission of molecular lines, including in particular CO(2-1) and $^{29}$SiO(5-4). Evidence is found for an episode of enhanced mass loss, a few centuries ago, that produced a broad expanding shell of mean radius $\sim$6 arcsec and mean radial expansion velocity $\sim$5.5 km s$^{-1}$ . Detailed scrutiny of its structure, as displayed by the emission of the CO(2-1) line, reveals strong inhomogeneity and patchy morphology. Evidence is also found, in particular from the morpho-kinematics of the emission of SiO, SO and SO$_2$ lines probing the close neighbourhood of the star, for distinct gas outflows covering broad solid angles in the south-eastern, south-western and north-western quadrants, suggesting significant contribution of the convective cell granulation in defining the pattern of mass ejection. A study of relative molecular abundances in these outflows suggests that a Local Thermal Equilibrium (LTE) description applies approximately beyond $\sim$10 stellar radii from the centre of the star but not at the smaller angular separations where the SO and SO$_2$ molecules are found to be confined. Near the stellar disc, masers of the vibrationally excited SiO lines are found to probe north-western parts of a layer of hot gas, consistent with the earlier observation of an asymmetric expanding shell within 1-2 stellar radii from the centre of the star. Globally, a picture dominated by episodic and patchy mass ejections is found to prevail.


title: Automated Logging Drone: A Computer Vision Drone Implementation

abstract: In recent years, Artificial Intelligence (AI) and Computer Vision (CV) have become the pinnacle of technology with new developments seemingly every day. This technology along with more powerful drone technology have made autonomous surveillance more sought after. Here an overview of the Automated Logging Drone (ALD) project is presented along with examples of how this project can be used with more refining and added features.


title: An 8.0\% Determination of the Baryon Fraction in the Intergalactic Medium from Localized Fast Radio Bursts

abstract: The dispersion measure (DM)--redshift relation of fast radio bursts (FRBs) has been proposed as a potential new tool for probing intergalactic medium (IGM) and for studying cosmology. However, the poor knowledge of the baryon fraction in the IGM ($f_{\mathrm{IGM}}$) and its degeneracy with cosmological parameters impose restrictions on the cosmological applications of FRBs. Furthermore, DMs contributed by the IGM ($\mathrm{DM_{IGM}}$) and host galaxy ($\mathrm{DM_{host}}$), important cosmological quantities, cannot be exactly extracted from observations, which would bring uncontrolled systematic uncertainties in FRB cosmology. In this work, we use seventeen localized FRBs to constrain $f_{\mathrm{IGM}}$ and its possible redshift evolution. Other cosmological probes such as type Ia supernovae, baryon acoustic oscillations, and cosmic microwave background radiation are combined to break parameter degeneracy. Taking into account the probability distributions of $\mathrm{DM_{IGM}}$ and $\mathrm{DM_{host}}$ derived from the the IllustrisTNG simulation, we obtain a robust measurement of $f_{\mathrm{IGM}}=0.927\pm0.075$, representing a precision of 8.0\%. We find that there is no strong evidence for the redshift dependence of $f_{\mathrm{IGM}}$ at the current observational data level. The rapid progress in localizing FRBs will significantly improve the constraints on $f_{\mathrm{IGM}}$.


title: What is the universal property of the 2-category of monads?

abstract: For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\mathcal{K}$, along with Lack and Street's 2-category EM($\mathcal{K}$) and the identity-on-objects-and-1-cells 2-functor Mnd($\mathcal{K}$) $\to$ EM($\mathcal{K}$) between them. We show that this 2-functor can be obtained as a ``free completion'' of the 2-functor $1\colon \mathcal{K} \to \mathcal{K}$. We do this by regarding 2-functors which act as the identity on both objects and 1-cells as categories enriched a cartesian closed category $\mathbf{BO}$ whose objects are identity-on-objects functors. We also develop some of the theory of $\mathbf{BO}$-enriched categories.


title: Proton decay from quark and lepton compositeness

abstract: Within a chiral $SU(15)$ gauge theory in which the Standard Model fermions are bound states of massless preons, we show that proton-decay operators are likely induced at the compositeness scale, $\Lambda_{\rm pre}$. Our estimate of the limit imposed by searches for proton decays is $\Lambda_{\rm pre} > 10^4 \, {\rm TeV}^{1/2} \, C_8^{1/4} \, m_{\cal Q}^{1/2}$, where $C_8$ is a rescaled coefficient of an 8-prebaryon operator induced by $SU(15)$ dynamics, and $m_{\cal Q}$ is the mass of a composite vectorlike quark. The latter has a lower limit related to the mass of a composite vectorlike lepton, which in turn is required by LHC searches to be above 1 TeV. For $C_8$ in the $10^{-5} - 1$ range, the lower limit on $\Lambda_{\rm pre}$ varies between $3 \times 10^3$ TeV and $5 \times 10^4$ TeV. We point out that exotic proton decay modes, into a $\pi^+$ and a heavy right-handed neutrino, could be observed using the Super-Kamiokande or DUNE detectors.


title: Distributed Linear Bandits under Communication Constraints

abstract: We consider distributed linear bandits where $M$ agents learn collaboratively to minimize the overall cumulative regret incurred by all agents. Information exchange is facilitated by a central server, and both the uplink and downlink communications are carried over channels with fixed capacity, which limits the amount of information that can be transmitted in each use of the channels. We investigate the regret-communication trade-off by (i) establishing information-theoretic lower bounds on the required communications (in terms of bits) for achieving a sublinear regret order; (ii) developing an efficient algorithm that achieves the minimum sublinear regret order offered by centralized learning using the minimum order of communications dictated by the information-theoretic lower bounds. For sparse linear bandits, we show a variant of the proposed algorithm offers better regret-communication trade-off by leveraging the sparsity of the problem.


title: SSDA-YOLO: Semi-supervised Domain Adaptive YOLO for Cross-Domain Object Detection

abstract: Domain adaptive object detection (DAOD) aims to alleviate transfer performance degradation caused by the cross-domain discrepancy. However, most existing DAOD methods are dominated by outdated and computationally intensive two-stage Faster R-CNN, which is not the first choice for industrial applications. In this paper, we propose a novel semi-supervised domain adaptive YOLO (SSDA-YOLO) based method to improve cross-domain detection performance by integrating the compact one-stage stronger detector YOLOv5 with domain adaptation. Specifically, we adapt the knowledge distillation framework with the Mean Teacher model to assist the student model in obtaining instance-level features of the unlabeled target domain. We also utilize the scene style transfer to cross-generate pseudo images in different domains for remedying image-level differences. In addition, an intuitive consistency loss is proposed to further align cross-domain predictions. We evaluate SSDA-YOLO on public benchmarks including PascalVOC, Clipart1k, Cityscapes, and Foggy Cityscapes. Moreover, to verify its generalization, we conduct experiments on yawning detection datasets collected from various real classrooms. The results show considerable improvements of our method in these DAOD tasks, which reveals both the effectiveness of proposed adaptive modules and the urgency of applying more advanced detectors in DAOD. Our code is available on \url{https://github.com/hnuzhy/SSDA-YOLO}.


title: Inexact Proximal-Gradient Methods with Support Identification

abstract: We consider the proximal-gradient method for minimizing an objective function that is the sum of a smooth function and a non-smooth convex function. A feature that distinguishes our work from most in the literature is that we assume that the associated proximal operator does not admit a closed-form solution. To address this challenge, we study two adaptive and implementable termination conditions that dictate how accurately the proximal-gradient subproblem is solved. We prove that the number of iterations required for the inexact proximal-gradient method to reach a $\tau > 0$ approximate first-order stationary point is $\mathcal{O}(\tau^{-2})$, which matches the similar result that holds when exact subproblem solutions are computed. Also, by focusing on the overlapping group $\ell_1$ regularizer, we propose an algorithm for approximately solving the proximal-gradient subproblem, and then prove that its iterates identify (asymptotically) the support of an optimal solution. If one imposes additional control over the accuracy to which each subproblem is solved, we give an upper bound on the maximum number of iterations before the support of an optimal solution is obtained.


title: Boosted p-Values for High-Dimensional Vector Autoregression

abstract: Assessing the statistical significance of parameter estimates is an important step in high-dimensional vector autoregression modeling. Using the least-squares boosting method, we compute the p-value for each selected parameter at every boosting step in a linear model. The p-values are asymptotically valid and also adapt to the iterative nature of the boosting procedure. Our simulation experiment shows that the p-values can keep false positive rate under control in high-dimensional vector autoregressions. In an application with more than 100 macroeconomic time series, we further show that the p-values can not only select a sparser model with good prediction performance but also help control model stability. A companion R package boostvar is developed.


title: Dirac Equation under Modified Hylleraas Potential in Noncommutative Spaces

abstract: In this paper, we study the interaction of spin 1/2 Dirac particles with the Hylleraas potential based on the noncommutative space framework. Solving the first-order correction of the energy level caused by the noncommutation parameter $\theta$ in the wave equation. The problem of energy level correction under the action of additional weak electric field is further analyzed. Due to the non-commutation parameter, the energy levels are split. The noncommutation parameter $\theta$ has a significant effect on the energy eigenvalues. The effect of $\theta$ on the energy level splitting caused by the electric field is reflected by adding a slight numerical change to the energy level after splitting.


title: Supernova remnants: Types and evolution

abstract: Although only a small fraction of stars end their lives as supernovae, all supernovae leave behind a supernova remnant (SNR), an expanding shock wave that interacts with the surrounding medium, heating the gas and seeding the cosmos with elements forged in the progenitor In this chapter, we introduce the basic properties of galactic and extragalactic SNRs (Section 2). We summarize how SNRs evolve throughout their life cycles over the course of ~10^6 yrs (Section 3). We discuss the various morphological types of SNRs and discuss the emission processes at various wavelengths.(Section 4).


title: Fully Bayesian inference for latent variable Gaussian process models

abstract: Real engineering and scientific applications often involve one or more qualitative inputs. Standard Gaussian processes (GPs), however, cannot directly accommodate qualitative inputs. The recently introduced latent variable Gaussian process (LVGP) overcomes this issue by first mapping each qualitative factor to underlying latent variables (LVs), and then uses any standard GP covariance function over these LVs. The LVs are estimated similarly to the other GP hyperparameters through maximum likelihood estimation, and then plugged into the prediction expressions. However, this plug-in approach will not account for uncertainty in estimation of the LVs, which can be significant especially with limited training data. In this work, we develop a fully Bayesian approach for the LVGP model and for visualizing the effects of the qualitative inputs via their LVs. We also develop approximations for scaling up LVGPs and fully Bayesian inference for the LVGP hyperparameters. We conduct numerical studies comparing plug-in inference against fully Bayesian inference over a few engineering models and material design applications. In contrast to previous studies on standard GP modeling that have largely concluded that a fully Bayesian treatment offers limited improvements, our results show that for LVGP modeling it offers significant improvements in prediction accuracy and uncertainty quantification over the plug-in approach.


title: Understanding and Mitigating Overfitting in Prompt Tuning for Vision-Language Models

abstract: Pretrained vision-language models (VLMs) such as CLIP have shown impressive generalization capability in downstream vision tasks with appropriate text prompts. Instead of designing prompts manually, Context Optimization (CoOp) has been recently proposed to learn continuous prompts using taskspecific training data. Despite the performance improvements on downstream tasks, several studies have reported that CoOp suffers from the overfitting issue in two aspects: (i) the test accuracy on base classes first improves and then worsens during training;(ii) the test accuracy on novel classes keeps decreasing. However, none of the existing studies can understand and mitigate such overfitting problems. In this study, we first explore the cause of overfitting by analyzing the gradient flow. Comparative experiments reveal that CoOp favors generalizable and spurious features in the early and later training stages, respectively, leading to the non-overfitting and overfitting phenomena. Given those observations, we propose Subspace Prompt Tuning (SubPT) to project the gradients in back-propagation onto the low-rank subspace spanned by the early-stage gradient flow eigenvectors during the entire training process and successfully eliminate the overfitting problem. In addition, we equip CoOp with a Novel Feature Learner (NFL) to enhance the generalization ability of the learned prompts onto novel categories beyond the training set, needless of image training data. Extensive experiments on 11 classification datasets demonstrate that SubPT+NFL consistently boost the performance of CoOp and outperform the state-of-the-art CoCoOp approach. Experiments on more challenging vision downstream tasks, including open-vocabulary object detection and zero-shot semantic segmentation, also verify the effectiveness of the proposed method. Codes can be found at https://tinyurl.com/mpe64f89.


title: Beat-frequency-resolved two-dimensional electronic spectroscopy: disentangling vibrational coherences in artificial fluorescent proteins with sub-10-fs visible laser pulses

abstract: We perform a beat-frequency-resolved analysis for two-dimensional electronic spectroscopy using a high-speed and stable 2D electronic spectrometer and few-cycle visible laser pulses to disentangle the vibrational coherences in an artificial fluorescent protein. We develop a highly stable ultrashort light source that generates 5.3-fs visible pulses with a pulse energy of 4.7 uJ at a repetition rate of 10 kHz using multi-plate pulse compression and laser filamentation in a gas cell. The above-5.3-fs laser pulses together with a high-speed multichannel detector enable us to measure a series of 2D electronic spectra, which are resolved in terms of beat frequency related to vibrational coherence. We successfully extract the discrete vibrational peaks behind the inhomogeneous broadening in the absorption spectra and the vibrational quantum beats of the excited electronic state behind the strong stationary signal in the typical 2D electronic spectra.


title: Gorenstein homological dimension and some invariants of groups

abstract: For any group $G$, the Gorenstein homological dimension ${\rm Ghd}_RG$ is defined to be the Gorenstein flat dimension of the coefficient ring $R$, which is considered as an $RG$-module with trivial group action. We prove that ${\rm Ghd}_RG < \infty$ if and only if the Gorenstein flat dimension of any $RG$-module is finite, if and only if there exists an $R$-pure $RG$-monic $R\rightarrow A$ with $A$ being $R$-flat and ${\rm Ghd}_RG = {\rm fd}_{RG}A$, where $R$ is a commutative ring with finite Gorenstein weak global dimension. As applications, properties of ${\rm Ghd}$ on subgroup, quotient group, extension of groups as well as Weyl group are investigated. Moreover, we compare the relations between some invariants such as ${\rm sfli}RG$, ${\rm silf}RG$, ${\rm spli}RG$, ${\rm silp}RG$, and Gorenstein projective, Gorenstein flat and PGF dimensions of $RG$-modules; a sufficient condition for Gorenstein projective-flat problem over group rings is given.


title: The Benefits of Model-Based Generalization in Reinforcement Learning

abstract: Model-Based Reinforcement Learning (RL) is widely believed to have the potential to improve sample efficiency by allowing an agent to synthesize large amounts of imagined experience. Experience Replay (ER) can be considered a simple kind of model, which has proved effective at improving the stability and efficiency of deep RL. In principle, a learned parametric model could improve on ER by generalizing from real experience to augment the dataset with additional plausible experience. However, given that learned value functions can also generalize, it is not immediately obvious why model generalization should be better. Here, we provide theoretical and empirical insight into when, and how, we can expect data generated by a learned model to be useful. First, we provide a simple theorem motivating how learning a model as an intermediate step can narrow down the set of possible value functions more than learning a value function directly from data using the Bellman equation. Second, we provide an illustrative example showing empirically how a similar effect occurs in a more concrete setting with neural network function approximation. Finally, we provide extensive experiments showing the benefit of model-based learning for online RL in environments with combinatorial complexity, but factored structure that allows a learned model to generalize. In these experiments, we take care to control for other factors in order to isolate, insofar as possible, the benefit of using experience generated by a learned model relative to ER alone.


title: Adversarial Defense via Neural Oscillation inspired Gradient Masking

abstract: Spiking neural networks (SNNs) attract great attention due to their low power consumption, low latency, and biological plausibility. As they are widely deployed in neuromorphic devices for low-power brain-inspired computing, security issues become increasingly important. However, compared to deep neural networks (DNNs), SNNs currently lack specifically designed defense methods against adversarial attacks. Inspired by neural membrane potential oscillation, we propose a novel neural model that incorporates the bio-inspired oscillation mechanism to enhance the security of SNNs. Our experiments show that SNNs with neural oscillation neurons have better resistance to adversarial attacks than ordinary SNNs with LIF neurons on kinds of architectures and datasets. Furthermore, we propose a defense method that changes model's gradients by replacing the form of oscillation, which hides the original training gradients and confuses the attacker into using gradients of 'fake' neurons to generate invalid adversarial samples. Our experiments suggest that the proposed defense method can effectively resist both single-step and iterative attacks with comparable defense effectiveness and much less computational costs than adversarial training methods on DNNs. To the best of our knowledge, this is the first work that establishes adversarial defense through masking surrogate gradients on SNNs.


title: Long Range Plan: Dense matter theory for heavy-ion collisions and neutron stars

abstract: Since the release of the 2015 Long Range Plan in Nuclear Physics, major events have occurred that reshaped our understanding of quantum chromodynamics (QCD) and nuclear matter at large densities, in and out of equilibrium. The US nuclear community has an opportunity to capitalize on advances in astrophysical observations and nuclear experiments and engage in an interdisciplinary effort in the theory of dense baryonic matter that connects low- and high-energy nuclear physics, astrophysics, gravitational waves physics, and data science


title: Automated Vehicle Highway Merging: Motion Planning via Adaptive Interactive Mixed-Integer MPC

abstract: A new motion planning framework for automated highway merging is presented in this paper. To plan the merge and predict the motion of the neighboring vehicle, the ego automated vehicle solves a joint optimization of both vehicle costs over a receding horizon. The non-convex nature of feasible regions and lane discipline is handled by introducing integer decision variables resulting in a mixed integer quadratic programming (MIQP) formulation of the model predictive control (MPC) problem. Furthermore, the ego uses an inverse optimal control approach to impute the weights of neighboring vehicle cost by observing the neighbor's recent motion and adapts its solution accordingly. We call this adaptive interactive mixed integer MPC (aiMPC). Simulation results show the effectiveness of the proposed framework.


title: Electronically phase separated nano-network in antiferromagnetic insulating LaMnO3/PrMnO3/CaMnO3 tricolor superlattice

abstract: Strongly correlated materials often exhibit an electronic phase separation (EPS) phenomena whose domain pattern is random in nature. The ability to control the spatial arrangement of the electronic phases at microscopic scales is highly desirable for tailoring their macroscopic properties and/or designing novel electronic devices. Here we report the formation of EPS nanoscale network in a mono-atomically stacked LaMnO3/CaMnO3/PrMnO3 superlattice grown on SrTiO3 (STO) (001) substrate, which is known to have an antiferromagnetic (AFM) insulating ground state. The EPS nano-network is a consequence of an internal strain relaxation triggered by the structural domain formation of the underlying STO substrate at low temperatures. The same nanoscale network pattern can be reproduced upon temperature cycling allowing us to employ different local imaging techniques to directly compare the magnetic and transport state of a single EPS domain. Our results confirm the one-to-one correspondence between ferromagnetic (AFM) to metallic (insulating) state in manganite. It also represents a significant step in a paradigm shift from passively characterizing EPS in strongly correlated systems to actively engaging in its manipulation.


title: Integrated Parameter-Efficient Tuning for General-Purpose Audio Models

abstract: The advent of hyper-scale and general-purpose pre-trained models is shifting the paradigm of building task-specific models for target tasks. In the field of audio research, task-agnostic pre-trained models with high transferability and adaptability have achieved state-of-the-art performances through fine-tuning for downstream tasks. Nevertheless, re-training all the parameters of these massive models entails an enormous amount of time and cost, along with a huge carbon footprint. To overcome these limitations, the present study explores and applies efficient transfer learning methods in the audio domain. We also propose an integrated parameter-efficient tuning (IPET) framework by aggregating the embedding prompt (a prompt-based learning approach), and the adapter (an effective transfer learning method). We demonstrate the efficacy of the proposed framework using two backbone pre-trained audio models with different characteristics: the audio spectrogram transformer and wav2vec 2.0. The proposed IPET framework exhibits remarkable performance compared to fine-tuning method with fewer trainable parameters in four downstream tasks: sound event classification, music genre classification, keyword spotting, and speaker verification. Furthermore, the authors identify and analyze the shortcomings of the IPET framework, providing lessons and research directions for parameter efficient tuning in the audio domain.


title: Quantum Man-in-the-middle Attacks: a Game-theoretic Approach with Applications to Radars

abstract: The detection and discrimination of quantum states serve a crucial role in quantum signal processing, a discipline that studies methods and techniques to process signals that obey the quantum mechanics frameworks. However, just like classical detection, evasive behaviors also exist in quantum detection. In this paper, we formulate an adversarial quantum detection scenario where the detector is passive and does not know the quantum states have been distorted by an attacker. We compare the performance of a passive detector with the one of a non-adversarial detector to demonstrate how evasive behaviors can undermine the performance of quantum detection. We use a case study of target detection with quantum radars to corroborate our analytical results.


title: Disentangling the Competing Mechanisms of Light-Induced Anomalous Hall Conductivity in Three-Dimensional Dirac Semimetal

abstract: We experimentally elucidate the origin of the anomalous Hall conductivity in a three-dimensional Dirac semimetal, Cd$_3$As$_2$, driven by circularly polarized light. Using time-resolved terahertz Faraday rotation spectroscopy, we determine the transient Hall conductivity spectrum with special attention to its sign. Our results clearly show the dominance of direct photocurrent generation assisted by the terahertz electric field. The contribution from the Floquet-Weyl nodes is found to be minor when the driving light is in resonance with interband transitions. We develop a generally applicable classification of microscopic mechanisms of light-induced anomalous Hall conductivity.


title: Bayesian Sequential Experimental Design for a Partially Linear Model with a Gaussian Process Prior

abstract: We study the problem of sequential experimental design to estimate the parametric component of a partially linear model with a Gaussian process prior. We consider an active learning setting where an experimenter adaptively decides which data to collect to achieve their goal efficiently. The experimenter's goals may vary, such as reducing the classification error probability or improving the accuracy of estimating the parameters of the data generating process. This study aims to improve the accuracy of estimating the parametric component of a partially linear model. Under some assumptions, the parametric component of a partially linear model can be regarded as a causal parameter, the average treatment effect (ATE) or the average causal effect (ACE). We propose a Bayesian sequential experimental design algorithm for a partially linear model with a Gaussian process prior, which is also considered as a sequential experimental design tailored to the estimation of ATE or ACE. We show the effectiveness of the proposed method through numerical experiments based on synthetic and semi-synthetic data.


title: Residual Skill Policies: Learning an Adaptable Skill-based Action Space for Reinforcement Learning for Robotics

abstract: Skill-based reinforcement learning (RL) has emerged as a promising strategy to leverage prior knowledge for accelerated robot learning. Skills are typically extracted from expert demonstrations and are embedded into a latent space from which they can be sampled as actions by a high-level RL agent. However, this skill space is expansive, and not all skills are relevant for a given robot state, making exploration difficult. Furthermore, the downstream RL agent is limited to learning structurally similar tasks to those used to construct the skill space. We firstly propose accelerating exploration in the skill space using state-conditioned generative models to directly bias the high-level agent towards only sampling skills relevant to a given state based on prior experience. Next, we propose a low-level residual policy for fine-grained skill adaptation enabling downstream RL agents to adapt to unseen task variations. Finally, we validate our approach across four challenging manipulation tasks that differ from those used to build the skill space, demonstrating our ability to learn across task variations while significantly accelerating exploration, outperforming prior works. Code and videos are available on our project website: https://krishanrana.github.io/reskill.


title: Collaborative Bi-Aggregation for Directed Graph Embedding

abstract: Directed graphs model asymmetric relationships between nodes and research on directed graph embedding is of great significance in downstream graph analysis and inference. Learning source and target embedding of nodes separately to preserve edge asymmetry has become the dominant approach, but also poses challenge for learning representations of low or even zero in/out degree nodes that are ubiquitous in sparse graphs. In this paper, a collaborative bi-directional aggregation method (COBA) for directed graphs embedding is proposed by introducing spatial-based graph convolution. Firstly, the source and target embeddings of the central node are learned by aggregating from the counterparts of the source and target neighbors, respectively; Secondly, the source/target embeddings of the zero in/out degree central nodes are enhanced by aggregating the counterparts of opposite-directional neighbors (i.e. target/source neighbors); Finally, source and target embeddings of the same node are correlated to achieve collaborative aggregation. Extensive experiments on real-world datasets demonstrate that the COBA comprehensively outperforms state-of-the-art methods on multiple tasks and meanwhile validates the effectiveness of proposed aggregation strategies.


title: Improved Adaptive Algorithm for Scalable Active Learning with Weak Labeler

abstract: Active learning with strong and weak labelers considers a practical setting where we have access to both costly but accurate strong labelers and inaccurate but cheap predictions provided by weak labelers. We study this problem in the streaming setting, where decisions must be taken \textit{online}. We design a novel algorithmic template, Weak Labeler Active Cover (WL-AC), that is able to robustly leverage the lower quality weak labelers to reduce the query complexity while retaining the desired level of accuracy. Prior active learning algorithms with access to weak labelers learn a difference classifier which predicts where the weak labels differ from strong labelers; this requires the strong assumption of realizability of the difference classifier (Zhang and Chaudhuri,2015). WL-AC bypasses this \textit{realizability} assumption and thus is applicable to many real-world scenarios such as random corrupted weak labels and high dimensional family of difference classifiers (\textit{e.g.,} deep neural nets). Moreover, WL-AC cleverly trades off evaluating the quality with full exploitation of weak labelers, which allows to convert any active learning strategy to one that can leverage weak labelers. We provide an instantiation of this template that achieves the optimal query complexity for any given weak labeler, without knowing its accuracy a-priori. Empirically, we propose an instantiation of the WL-AC template that can be efficiently implemented for large-scale models (\textit{e.g}., deep neural nets) and show its effectiveness on the corrupted-MNIST dataset by significantly reducing the number of labels while keeping the same accuracy as in passive learning.


title: A Latent Space Model for HLA Compatibility Networks in Kidney Transplantation

abstract: Kidney transplantation is the preferred treatment for people suffering from end-stage renal disease. Successful kidney transplants still fail over time, known as graft failure; however, the time to graft failure, or graft survival time, can vary significantly between different recipients. A significant biological factor affecting graft survival times is the compatibility between the human leukocyte antigens (HLAs) of the donor and recipient. We propose to model HLA compatibility using a network, where the nodes denote different HLAs of the donor and recipient, and edge weights denote compatibilities of the HLAs, which can be positive or negative. The network is indirectly observed, as the edge weights are estimated from transplant outcomes rather than directly observed. We propose a latent space model for such indirectly-observed weighted and signed networks. We demonstrate that our latent space model can not only result in more accurate estimates of HLA compatibilities, but can also be incorporated into survival analysis models to improve accuracy for the downstream task of predicting graft survival times.


title: Materials Property Prediction with Uncertainty Quantification: A Benchmark Study

abstract: Uncertainty quantification (UQ) has increasing importance in building robust high-performance and generalizable materials property prediction models. It can also be used in active learning to train better models by focusing on getting new training data from uncertain regions. There are several categories of UQ methods each considering different types of uncertainty sources. Here we conduct a comprehensive evaluation on the UQ methods for graph neural network based materials property prediction and evaluate how they truly reflect the uncertainty that we want in error bound estimation or active learning. Our experimental results over four crystal materials datasets (including formation energy, adsorption energy, total energy, and band gap properties) show that the popular ensemble methods for uncertainty estimation is NOT the best choice for UQ in materials property prediction. For the convenience of the community, all the source code and data sets can be accessed freely at \url{https://github.com/usccolumbia/materialsUQ}.


title: Microscopic picture of superfluid $^4$He

abstract: We elucidate the microscopic quantum mechanism of superfluid $^4$He by uncovering a novel characteristic of its many-body energy levels. At temperature below the transition point, the system's low-lying levels exhibit a fundamental grouping behavior, wherein each level belongs exclusively to a single group. In a superflow state, the system establishes thermal equilibrium with its surroundings on a group-specific basis. Specifically, the levels of a selected group, initially occupied, become thermally populated, while the remaining groups of levels stay vacant due to absence of transitions between groups. The macroscopic properties of the system, such as its superflow velocity and thermal energy density, are statistically determined by the thermal distribution of the occupied group. Additionally, we infer that the thermal energy of a superflow has an unusual relationship with flow velocity, such that the larger the flow velocity, the smaller the thermal energy. This relationship is responsible for a range of intriguing phenomena, including the mechano-caloric effect and the fountain effect, which highlight a fundamental coupling between the thermal motion and hydrodynamic motion of the system.Furthermore, we present experimental evidence of a counterintuitive self-heating effect in $^4$He superflows, confirming that a $^4$He superflow carries significant thermal energy related to its velocity.


title: Continuous Equality Knapsack with Probit-Style Objectives

abstract: We study continuous, equality knapsack problems with uniform separable, non-convex objective functions that are continuous, strictly increasing, antisymmetric about a point, and have concave and convex regions. For example, this model captures a simple allocation problem with the goal of optimizing an expected value where the objective is a sum of cumulative distribution functions of identically distributed normal distributions (i.e., a sum of inverse probit functions). We prove structural results of this model under general assumptions and provide two algorithms for efficient optimization: (1) running in linear time and (2) running in a constant number of operations given preprocessing of the objective function.


title: Umbilicity of constant mean curvature hypersurfaces into space forms

abstract: In this paper we establish conditions on the length of the traceless part of the second fundamental form of a complete constant mean curvature hypersurface immersed in a space of constant sectional curvature in order to show that it is totally umbilical.


title: Towards Asteroid Detection in Microlensing Surveys with Deep Learning

abstract: Asteroids are an indelible part of most astronomical surveys though only a few surveys are dedicated to their detection. Over the years, high cadence microlensing surveys have amassed several terabytes of data while scanning primarily the Galactic Bulge and Magellanic Clouds for microlensing events and thus provide a treasure trove of opportunities for scientific data mining. In particular, numerous asteroids have been observed by visual inspection of selected images. This paper presents novel deep learning-based solutions for the recovery and discovery of asteroids in the microlensing data gathered by the MOA project. Asteroid tracklets can be clearly seen by combining all the observations on a given night and these tracklets inform the structure of the dataset. Known asteroids were identified within these composite images and used for creating the labelled datasets required for supervised learning. Several custom CNN models were developed to identify images with asteroid tracklets. Model ensembling was then employed to reduce the variance in the predictions as well as to improve the generalisation error, achieving a recall of 97.67%. Furthermore, the YOLOv4 object detector was trained to localize asteroid tracklets, achieving a mean Average Precision (mAP) of 90.97%. These trained networks will be applied to 16 years of MOA archival data to find both known and unknown asteroids that have been observed by the survey over the years. The methodologies developed can be adapted for use by other surveys for asteroid recovery and discovery.


title: DaI: Decrypt and Infer the Quality of Real-Time Video Streaming

abstract: Inferring the quality of network services is the vital basis of optimization for network operators. However, prevailing real-time video streaming applications adopt encryption for security, leaving it a problem to extract Quality of Service (QoS) indicators of real-time video. In this paper, we propose DaI, a traffic-based real-time video quality estimator. DaI can partially decrypt the encrypted real-time video data and applies machine learning methods to estimate key objective Quality of Experience (QoE) metrics of real-time video. According to the experimental results, DaI can estimate objective QoE metrics with an average accuracy of 79%.


title: Spin and spin current -- From fundamentals to recent progress

abstract: Along with the progress of spin science and spintronics research, the flow of electron spins, (i.e. spin current), has attracted interest. New phenomena and electronic states were explained in succession using the concept of spin current. Moreover, as many of the conventionally known spintronics phenomena became well organized based on spin current, it has rapidly been recognized as an essential concept in a wide range of condensed matter physics. In this article, we focus on recent developments in the physics of spin, spin current, and their related phenomena, where the conversion between spin angular momentum and different forms of angular momentum plays an essential role. Starting with an introduction to spin current, we first discuss the recent progress in spintronic phenomena driven by spin-exchange coupling: spin pumping, topological Hall torque, and emergent inductor. We, then, extend our discussion to the interaction/interconversion of spins with heat, lattice vibrations, and charge current and address recent progress and perspectives on the spin Seebeck and Peltier effects. Next, we review the interaction between mechanical motion and electron/nuclear spins and argue the difference between the Barnett field and rotational Doppler effect. We show that the Barnett effect reveals the angular momentum compensation temperature, at which the net angular momentum is quenched in ferrimagnets.


title: Asymptotical Cooperative Cruise Fault Tolerant Control for Multiple High-speed Trains with State Constraints

abstract: This paper investigates the asymptotical cooperative cruise fault tolerant control problem for multiple high-speed trains consisting of multiple carriages in the presence of actuator faults. A distributed state-fault observer utilizing the structural information of faults is designed to achieve asymptotical estimation of states and faults of each carriage. The observer does not rely on choice of control input, and thus it is separated from controller design. Based on the estimated values of states and faults, a distributed fault tolerance controller is designed to realize asymptotical cooperative cruise control of trains under the dual constraints of ensuring both position difference and velocity difference of adjacent trains in specified ranges throughout the whole process.


title: Mixline: A Hybrid Reinforcement Learning Framework for Long-horizon Bimanual Coffee Stirring Task

abstract: Bimanual activities like coffee stirring, which require coordination of dual arms, are common in daily life and intractable to learn by robots. Adopting reinforcement learning to learn these tasks is a promising topic since it enables the robot to explore how dual arms coordinate together to accomplish the same task. However, this field has two main challenges: coordination mechanism and long-horizon task decomposition. Therefore, we propose the Mixline method to learn sub-tasks separately via the online algorithm and then compose them together based on the generated data through the offline algorithm. We constructed a learning environment based on the GPU-accelerated Isaac Gym. In our work, the bimanual robot successfully learned to grasp, hold and lift the spoon and cup, insert them together and stir the coffee. The proposed method has the potential to be extended to other long-horizon bimanual tasks.


title: Low-cost Thermal Mapping for Concrete Heat Monitoring

abstract: Robotics has been widely applied in smart construction for generating the digital twin or for autonomous inspection of construction sites. For example, for thermal inspection during concrete curing, continual monitoring of the concrete temperature is required to ensure concrete strength and to avoid cracks. However, buildings are typically too large to be monitored by installing fixed thermal cameras, and post-processing is required to compute the accumulated heat of each measurement point. Thus, by using an autonomous monitoring system with the capability of long-term thermal mapping at a large construction site, both cost-effectiveness and a precise safety margin of the curing period estimation can be acquired. Therefore, this study proposes a low-cost thermal mapping system consisting of a 2D range scanner attached to a consumer-level inertial measurement unit and a thermal camera for automated heat monitoring in construction using mobile robots.


title: Unintended Memorization and Timing Attacks in Named Entity Recognition Models

abstract: Named entity recognition models (NER), are widely used for identifying named entities (e.g., individuals, locations, and other information) in text documents. Machine learning based NER models are increasingly being applied in privacy-sensitive applications that need automatic and scalable identification of sensitive information to redact text for data sharing. In this paper, we study the setting when NER models are available as a black-box service for identifying sensitive information in user documents and show that these models are vulnerable to membership inference on their training datasets. With updated pre-trained NER models from spaCy, we demonstrate two distinct membership attacks on these models. Our first attack capitalizes on unintended memorization in the NER's underlying neural network, a phenomenon NNs are known to be vulnerable to. Our second attack leverages a timing side-channel to target NER models that maintain vocabularies constructed from the training data. We show that different functional paths of words within the training dataset in contrast to words not previously seen have measurable differences in execution time. Revealing membership status of training samples has clear privacy implications, e.g., in text redaction, sensitive words or phrases to be found and removed, are at risk of being detected in the training dataset. Our experimental evaluation includes the redaction of both password and health data, presenting both security risks and privacy/regulatory issues. This is exacerbated by results that show memorization with only a single phrase. We achieved 70% AUC in our first attack on a text redaction use-case. We also show overwhelming success in the timing attack with 99.23% AUC. Finally we discuss potential mitigation approaches to realize the safe use of NER models in light of the privacy and security implications of membership inference attacks.


title: DatChain -- Blockchain implementation in Data transfer for IoT Devices

abstract: Currently, the IoT ecosystem is comprised of fully connected smart devices that exchange data to provide more automated, precise, and fast decisions. This idealised situation can only be accomplished if a system for data transactions is processed efficiently and security is ensured with high scalability and practicability. The integrity of data must be maintained during the exchange or transfer of data between entities. We propose to make a application called DatChain that responds to the above situation. The application stores data sensed by the Iot sensors in the backend after encrypting it and when the data is required for any purpose it can be exchanged using a suitable blockchain network that can keep up with the transfer rate even at high traffic in a secure environment.


title: Music Mixing Style Transfer: A Contrastive Learning Approach to Disentangle Audio Effects

abstract: We propose an end-to-end music mixing style transfer system that converts the mixing style of an input multitrack to that of a reference song. This is achieved with an encoder pre-trained with a contrastive objective to extract only audio effects related information from a reference music recording. All our models are trained in a self-supervised manner from an already-processed wet multitrack dataset with an effective data preprocessing method that alleviates the data scarcity of obtaining unprocessed dry data. We analyze the proposed encoder for the disentanglement capability of audio effects and also validate its performance for mixing style transfer through both objective and subjective evaluations. From the results, we show the proposed system not only converts the mixing style of multitrack audio close to a reference but is also robust with mixture-wise style transfer upon using a music source separation model.


title: Divergent stiffness of one-dimensional growing interfaces

abstract: When a spatially localized stress is applied to a growing one-dimensional interface, the interface deforms. This deformation is described by the effective surface tension representing the stiffness of the interface. We present that the stiffness exhibits divergent behavior in the large system size limit for a growing interface with thermal noise, which has never been observed for equilibrium interfaces. Furthermore, by connecting the effective surface tension with a space-time correlation function, we elucidate the mechanism that anomalous dynamical fluctuations lead to divergent stiffness.


title: Fast, Robust Inference for Linear Instrumental Variables Models using Self-Normalized Moments

abstract: We propose and implement an approach to inference in linear instrumental variables models which is simultaneously robust and computationally tractable. Inference is based on self-normalization of sample moment conditions, and allows for (but does not require) many (relative to the sample size), weak, potentially invalid or potentially endogenous instruments, as well as for many regressors and conditional heteroskedasticity. Our coverage results are uniform and can deliver a small sample guarantee. We develop a new computational approach based on semidefinite programming, which we show can equally be applied to rapidly invert existing tests (e.g,. AR, LM, CLR, etc.).


title: Real-Time Target Sound Extraction

abstract: We present the first neural network model to achieve real-time and streaming target sound extraction. To accomplish this, we propose Waveformer, an encoder-decoder architecture with a stack of dilated causal convolution layers as the encoder, and a transformer decoder layer as the decoder. This hybrid architecture uses dilated causal convolutions for processing large receptive fields in a computationally efficient manner while also leveraging the generalization performance of transformer-based architectures. Our evaluations show as much as 2.2-3.3 dB improvement in SI-SNRi compared to the prior models for this task while having a 1.2-4x smaller model size and a 1.5-2x lower runtime. We provide code, dataset, and audio samples: https://waveformer.cs.washington.edu/.


title: Evidence for the disruption of a planetary system during the formation of the Helix Nebula

abstract: The persistence of planetary systems after their host stars evolve into their post-main sequence phase is poorly constrained by observations. Many young white dwarf systems exhibit infrared excess emission and/or spectral absorption lines associated with a reservoir of dust (or planetesimals) and its accretion. However, most white dwarfs are too cool to sufficiently heat any circumstellar dust to detectable levels of emission. The Helix Nebula (NGC 7293) is a young, nearby planetary nebula; observations at mid- and far-infrared wavelengths revealed excess emission associated with its central white dwarf (WD 2226-210). The origin of this excess is ambiguous. It could be a remnant planetesimal belt, a cloud of comets, or the remnants of material shed during the post-asymptotic giant branch phase. Here we combine infrared (SOFIA, Spitzer, Herschel ) and millimetre (ALMA) observations of the system to determine the origin of this excess using multi-wavelength imaging and radiative transfer modelling. We find the data are incompatible with a compact remnant planetesimal belt or post-asymptotic giant branch disc, and conclude the dust most likely originates from deposition by a cometary cloud. The measured dust mass, and lifetime of the constituent grains, implies disruption of several thousand Hale-Bopp equivalent comets per year to fuel the observed excess emission around the Helix Nebula's white dwarf.


title: A new scheme of negative muon beam generation with MuCF

abstract: A new scheme of low energy negative muon source with the muon catalyzed fusion (MuCF) is described. In the MuCF reaction process, muonic helium ions ($\mu$He$^+$) are created. By re-accelerating and stripping $\mu$He$^+$ ions, a low emittance negative muon beam is generated.


title: The presence of surfactants controls the stability of bubble chains in carbonated drinks

abstract: Bubbles appear when a carbonated drink is poured in a glass. Very stable bubble chains are clearly observed in champagne, showing an almost straight line from microscopic nucleation sites from which they are continuously formed. In some other drinks such as soda, such chains are not straight (not stable). Considering pair interactions for spherical clean bubbles, bubble chains should not be stable which contradicts these observations. The aim of this work is to explain the conditions for bubble chain stability. For this purpose, experiments and direct numerical simulation are conducted. The bubble size as well as the level of interface contamination are varied, to match the range of parameters in typical drinks. Both factors are shown to affect the bubble chain stability. The transition from stable to ustable behavior results from the reversal of the lift force, which is induced by the bubble wake. A criteria based on the production of vorticity at the bubble surface is proposed to identify the conditions of transition from stable to unstable bubble chains. Beyond carbonated drinks, understanding bubble clustering has impact in many two-phase problems of current importance.


title: How Does Adaptive Optimization Impact Local Neural Network Geometry?

abstract: Adaptive optimization methods are well known to achieve superior convergence relative to vanilla gradient methods. The traditional viewpoint in optimization, particularly in convex optimization, explains this improved performance by arguing that, unlike vanilla gradient schemes, adaptive algorithms mimic the behavior of a second-order method by adapting to the global geometry of the loss function. We argue that in the context of neural network optimization, this traditional viewpoint is insufficient. Instead, we advocate for a local trajectory analysis. For iterate trajectories produced by running a generic optimization algorithm OPT, we introduce $R^{\text{OPT}}_{\text{med}}$, a statistic that is analogous to the condition number of the loss Hessian evaluated at the iterates. Through extensive experiments, we show that adaptive methods such as Adam bias the trajectories towards regions where $R^{\text{Adam}}_{\text{med}}$ is small, where one might expect faster convergence. By contrast, vanilla gradient methods like SGD bias the trajectories towards regions where $R^{\text{SGD}}_{\text{med}}$ is comparatively large. We complement these empirical observations with a theoretical result that provably demonstrates this phenomenon in the simplified setting of a two-layer linear network. We view our findings as evidence for the need of a new explanation of the success of adaptive methods, one that is different than the conventional wisdom.


title: Spectral Regularization: an Inductive Bias for Sequence Modeling

abstract: Various forms of regularization in learning tasks strive for different notions of simplicity. This paper presents a spectral regularization technique, which attaches a unique inductive bias to sequence modeling based on an intuitive concept of simplicity defined in the Chomsky hierarchy. From fundamental connections between Hankel matrices and regular grammars, we propose to use the trace norm of the Hankel matrix, the tightest convex relaxation of its rank, as the spectral regularizer. To cope with the fact that the Hankel matrix is bi-infinite, we propose an unbiased stochastic estimator for its trace norm. Ultimately, we demonstrate experimental results on Tomita grammars, which exhibit the potential benefits of spectral regularization and validate the proposed stochastic estimator.


title: ISA-Net: Improved spatial attention network for PET-CT tumor segmentation

abstract: Achieving accurate and automated tumor segmentation plays an important role in both clinical practice and radiomics research. Segmentation in medicine is now often performed manually by experts, which is a laborious, expensive and error-prone task. Manual annotation relies heavily on the experience and knowledge of these experts. In addition, there is much intra- and interobserver variation. Therefore, it is of great significance to develop a method that can automatically segment tumor target regions. In this paper, we propose a deep learning segmentation method based on multimodal positron emission tomography-computed tomography (PET-CT), which combines the high sensitivity of PET and the precise anatomical information of CT. We design an improved spatial attention network(ISA-Net) to increase the accuracy of PET or CT in detecting tumors, which uses multi-scale convolution operation to extract feature information and can highlight the tumor region location information and suppress the non-tumor region location information. In addition, our network uses dual-channel inputs in the coding stage and fuses them in the decoding stage, which can take advantage of the differences and complementarities between PET and CT. We validated the proposed ISA-Net method on two clinical datasets, a soft tissue sarcoma(STS) and a head and neck tumor(HECKTOR) dataset, and compared with other attention methods for tumor segmentation. The DSC score of 0.8378 on STS dataset and 0.8076 on HECKTOR dataset show that ISA-Net method achieves better segmentation performance and has better generalization. Conclusions: The method proposed in this paper is based on multi-modal medical image tumor segmentation, which can effectively utilize the difference and complementarity of different modes. The method can also be applied to other multi-modal data or single-modal data by proper adjustment.


title: Certification with an NP Oracle

abstract: In the certification problem, the algorithm is given a function $f$ with certificate complexity $k$ and an input $x^\star$, and the goal is to find a certificate of size $\le \text{poly}(k)$ for $f$'s value at $x^\star$. This problem is in $\mathsf{NP}^{\mathsf{NP}}$, and assuming $\mathsf{P} \ne \mathsf{NP}$, is not in $\mathsf{P}$. Prior works, dating back to Valiant in 1984, have therefore sought to design efficient algorithms by imposing assumptions on $f$ such as monotonicity. Our first result is a $\mathsf{BPP}^{\mathsf{NP}}$ algorithm for the general problem. The key ingredient is a new notion of the balanced influence of variables, a natural variant of influence that corrects for the bias of the function. Balanced influences can be accurately estimated via uniform generation, and classic $\mathsf{BPP}^{\mathsf{NP}}$ algorithms are known for the latter task. We then consider certification with stricter instance-wise guarantees: for each $x^\star$, find a certificate whose size scales with that of the smallest certificate for $x^\star$. In sharp contrast with our first result, we show that this problem is $\mathsf{NP}^{\mathsf{NP}}$-hard even to approximate. We obtain an optimal inapproximability ratio, adding to a small handful of problems in the higher levels of the polynomial hierarchy for which optimal inapproximability is known. Our proof involves the novel use of bit-fixing dispersers for gap amplification.


title: Brownian path preserving mappings on the Heisenberg group

abstract: We study continuous mappings on the Heisenberg group that up to a time change preserve horizontal Brownian motion. It is proved that only harmonic morphisms possess this property.


title: Be optical lattice clocks with the fractional Stark shift up to the level of 10$^{-19}$

abstract: The energy levels and electric dipole ($E1$) matrix elements of the ground state and low-lying excited states of Be atoms are calculated using the relativistic configuration interaction plus core polarization (RCICP) method. The static and dynamic $E1$, magnetic dipole ($M1$) and electric quadrupole ($E2$) polarizabilities as well as the hyperpolarizabilities of the $2s^2~^1S_0$ and $2s2p~^3P_0$ states are determined. Two magic wavelengths, 300.03 and 252.28 nm, of $2s^2~^1S_0 \rightarrow 2s2p~^3P_0$ clock transition are found. Then, the multipolar and nonlinear Stark shifts of the clock transition at the magic wavelength are discussed in detail. We find that when the laser intensity $I$ is in the range of 14.3 $\sim$ 15.9 kW/cm$^{2}$ and the detuning $\delta$ (the frequency detuning of the lattice laser frequency relative to the magic frequency) is in the range of 40.7 $\sim$ 40.9 MHz, the fractional Stark shifts of the clock transition are less than 1.0 $\times$ 10$^{-18}$. While, when $I$ is in the range of 15.01 $\sim$ 15.46 kW/cm$^{2}$ and $\delta$ is in the range of 40.73 $\sim$ 40.76 MHz, the fractional Stark shifts are lower than 1.0 $\times$ 10$^{-19}$.


title: Quantum Sensor Network Algorithms for Transmitter Localization

abstract: A quantum sensor (QS) is able to measure various physical phenomena with extreme sensitivity. QSs have been used in several applications such as atomic interferometers, but few applications of a quantum sensor network (QSN) have been proposed or developed. We look at a natural application of QSN -- localization of an event (in particular, of a wireless signal transmitter). In this paper, we develop effective quantum-based techniques for the localization of a transmitter using a QSN. Our approaches pose the localization problem as a well-studied quantum state discrimination (QSD) problem and address the challenges in its application to the localization problem. In particular, a quantum state discrimination solution can suffer from a high probability of error, especially when the number of states (i.e., the number of potential transmitter locations in our case) can be high. We address this challenge by developing a two-level localization approach, which localizes the transmitter at a coarser granularity in the first level, and then, in a finer granularity in the second level. We address the additional challenge of the impracticality of general measurements by developing new schemes that replace the QSD's measurement operator with a trained parameterized hybrid quantum-classical circuit. Our evaluation results using a custom-built simulator show that our best scheme is able to achieve meter-level (1-5m) localization accuracy; in the case of discrete locations, it achieves near-perfect (99-100\%) classification accuracy.


title: Seismic-phase detection using multiple deep learning models for global and local representations of waveforms

abstract: The detection of earthquakes is a fundamental prerequisite for seismology and contributes to various research areas, such as forecasting earthquakes and understanding the crust/mantle structure. Recent advances in machine learning technologies have enabled the automatic detection of earthquakes from waveform data. In particular, various state-of-the-art deep-learning methods have been applied to this endeavour. In this study, we proposed and tested a novel phase detection method employing deep learning, which is based on a standard convolutional neural network in a new framework. The novelty of the proposed method is its separate explicit learning strategy for global and local representations of waveforms, which enhances its robustness and flexibility. Prior to modelling the proposed method, we identified local representations of the waveform by the multiple clustering of waveforms, in which the data points were optimally partitioned. Based on this result, we considered a global representation and two local representations of the waveform. Subsequently, different phase detection models were trained for each global and local representation. For a new waveform, the overall phase probability was evaluated as a product of the phase probabilities of each model. This additional information on local representations makes the proposed method robust to noise, which is demonstrated by its application to the test data. Furthermore, an application to seismic swarm data demonstrated the robust performance of the proposed method compared with those of other deep learning methods. Finally, in an application to low-frequency earthquakes, we demonstrated the flexibility of the proposed method, which is readily adaptable for the detection of low-frequency earthquakes by retraining only a local model.


title: The Bardeen-Petterson Effect as an Observable Support for the Blanford-Payne Process Black Hole Jet Production

abstract: Relativistic jets are observed around accreting black holes, from stellar mass to super massive black holes. But Its origin has not been fully understood. Although Blanford-Payne process has been considered as most reliable theory of jet production It has no observational proof or supports. In this problem, We suggested the way to display that Bardeen-Petterson effect can become a supporter as providing observational idea of Blanford-Payne process. And we studied black hole jet production by Blanford-Payne process and Bardeen-Peterson effect. As a result, we could calculate observable timescale of black hole jet preccetion


title: Impact Learning: A Learning Method from Features Impact and Competition

abstract: Machine learning is the study of computer algorithms that can automatically improve based on data and experience. Machine learning algorithms build a model from sample data, called training data, to make predictions or judgments without being explicitly programmed to do so. A variety of wellknown machine learning algorithms have been developed for use in the field of computer science to analyze data. This paper introduced a new machine learning algorithm called impact learning. Impact learning is a supervised learning algorithm that can be consolidated in both classification and regression problems. It can furthermore manifest its superiority in analyzing competitive data. This algorithm is remarkable for learning from the competitive situation and the competition comes from the effects of autonomous features. It is prepared by the impacts of the highlights from the intrinsic rate of natural increase (RNI). We, moreover, manifest the prevalence of the impact learning over the conventional machine learning algorithm.


title: Adhesion of fluid infused silicone elastomer to glass

abstract: Elastomers swollen with non-polar fluids show potential as anti-adhesive materials. We study the effect of oil fraction and contact time on the adhesion between swollen spherical probes of PDMS (polydimethylsiloxane) and flat glass surfaces. The PDMS probes are swollen with pre-determined amount of 10 cSt silicone oil to span the range where the PDMS is fluid free (via solvent extraction) up to the limit where it is oil saturated. Probe tack measurements show that adhesion decreases rapidly with an increase in oil fraction. The decrease in adhesion is attributed to excess oil present at the PDMS-air interface. Contact angle measurements and optical microscopy images support this observation. Adhesion also increases with contact time for a given oil fraction. The increase in adhesion with contact time can be interpreted through different competing mechanisms that depend on the oil fraction where the dominant mechanism changes from extracted to fully swollen PDMS. For partially swollen PDMS, we observe that adhesion initially increases because of viscoelastic relaxation and at long times increases because of contact aging. In contrast, adhesion between fully swollen PDMS and glass barely increases over time and is mainly due to capillary forces. While the relaxation of PDMS in contact is well-described by a visco-poroelastic model, we do not see evidence that poroelastic relaxation of the PDMS contributes to an increase of adhesion with glass whether it is partially or fully swollen.


title: Experiences from Using Code Explanations Generated by Large Language Models in a Web Software Development E-Book

abstract: Advances in natural language processing have resulted in large language models (LLMs) that are capable of generating understandable and sensible written text. Recent versions of these models, such as OpenAI Codex and GPT-3, can generate code and code explanations. However, it is unclear whether and how students might engage with such explanations. In this paper, we report on our experiences generating multiple code explanation types using LLMs and integrating them into an interactive e-book on web software development. We modified the e-book to make LLM-generated code explanations accessible through buttons next to code snippets in the materials, which allowed us to track the use of the explanations as well as to ask for feedback on their utility. Three different types of explanations were available for students for each explainable code snippet; a line-by-line explanation, a list of important concepts, and a high-level summary of the code. Our preliminary results show that all varieties of explanations were viewed by students and that the majority of students perceived the code explanations as helpful to them. However, student engagement appeared to vary by code snippet complexity, explanation type, and code snippet length. Drawing on our experiences, we discuss future directions for integrating explanations generated by LLMs into existing computer science classrooms.


title: Rescuing the End-user systems from Vulnerable Applications using Virtualization Techniques

abstract: In systems owned by normal end-users, many times security attacks are mounted by sneaking in malicious applications or exploiting existing software vulnerabilities through security non-conforming actions of users. Virtualization approaches can address this problem by providing a quarantine environment for applications, malicious devices, and device drivers, which are mostly used as entry points for security attacks. However, the existing methods to provide quarantine environments using virtualization are not transparent to the user, both in terms of application interface transparency and file system transparency. Further, software configuration level solutions like remote desktops and remote application access mechanisms combined with shared file systems do not meet the user transparency and security requirements. We propose qOS, a VM-based solution combined with certain OS extensions to meet the security requirements of end-point systems owned by normal users, in a transparent and efficient manner. We demonstrate the efficacy of qOS by empirically evaluating the prototype implementation in the Linux+KVM system in terms of efficiency, security, and user transparency.


title: Photoexcited state dynamics and singlet fission in carotenoids

abstract: We describe our dynamical simulations of the excited states of the carotenoid, neurosporene, following its photoexcitation into the 'bright' (nominally $1^1B_u^+$) state. We employ the adaptive tDMRG method on the UV model of $\pi$-conjugated electrons and use the Ehrenfest equations of motion to simulate the coupled nuclei dynamics. To account for the experimental and theoretical uncertainty in the relative energetic ordering of the nominal $1^1B_u^+$ and $2^1A_g^-$ states at the Franck-Condon point, we consider two parameter sets. In both cases there is ultrafast internal conversion from the 'bright' state to a 'dark' singlet triplet-pair state. We make a direct connection from our predictions to experimental observables by calculating the transient absorption. For the case of direct $1^1B_u^+$ to $2^1A_g^-$ internal conversion, we show that the dominant transition at ca. 2 eV, being close to but lower in energy than the $T_1$ to $T_1^*$ transition, can be attributed to the $2^1A_g^-$ component of $S_1$. Moreover, we show that it is the charge-transfer exciton component of the $2^1A_g^-$ state that is responsible for this transition, and not its triplet-pair component. We next discuss the microscopic mechanism of 'bright' to 'dark' state internal conversion, emphasising that this occurs via the exciton components of both states. Finally, we describe a mechanism whereby the strongly bound intrachain triplet-pairs of the 'dark' state may undergo interchain exothermic dissociation. We predict that this is only possible if the molecules are twisted in their ground states. The computational methodology underlying the calculations described here is explained in our companion paper, $\textit{Dynamical simulations of carotenoid photoexcited states using density matrix renormalization group techniques}$, D. Manawadu, D. J. Valentine, and W. Barford, $\textit{J. Chem. Theo. Comp.}$ (2023).


title: Exploiting the polyhedral geometry of stochastic linear bilevel programming

abstract: We study linear bilevel programming problems whose lower-level objective is given by a random cost vector with known distribution. We consider the case where this distribution is nonatomic, allowing to reformulate the problem of the leader using the Bayesian approach in the sense of Salas and Svensson (2023), with a decision-dependent distribution that concentrates on the vertices of the feasible set of the follower's problem. We call this a vertex-supported belief. We prove that this formulation is piecewise affine over the so-called chamber complex of the feasible set of the high-point relaxation. We propose two algorithmic approaches to solve general problems enjoying this last property. The first one is based on enumerating the vertices of the chamber complex. This approach is not scalable, but we present it as a computational baseline and for its theoretical interest. The second one is a Monte-Carlo approximation scheme based on the fact that randomly drawn points of the domain lie, with probability 1, in the interior of full-dimensional chambers, where the problem (restricted to this chamber) can be reduced to a linear program. Finally, we evaluate these methods through computational experiments showing both approaches' advantages and challenges.