title: Fissile Material Detection using Neutron Coincidence Counters

abstract: A paper study is conducted on the detection of fissile material using neutron coincidence counters. Three unknown independent properties of assays of fissile material assays are identified to be the effective mass, the (alpha,n) production rate and the neutron multiplication rate. Singlet counting can only be implemented for very well-known assay samples. Doublet counting may be employed with calibration curves which reduce the number of unknowns from three to one. Multiplicity counting theoretically enables assay mass determination without calibration curves. Coincidence counting is most widely applied via active and passive well coincidence counters. Passive neutron well counters are well suited for determination of 240 Pu masses. Active neutron well counters are well suited for determination of fissile material masses. Active well counters are found to have relative mass errors of 4% for a highly enriched uranium (HEU) sample of mass of 1kg and 8% for a mass of 50g. Thermal neutron interrogation sources feature smaller relative errors in small assays than fast neutron interrogation sources.


title: The new MRTOF mass spectrograph following the ZeroDegree spectrometer at RIKEN's RIBF facility

abstract: A newly assembled multi-reflection time-of-flight mass spectrograph (MRTOF-MS) at RIKEN's RIBF facility became operational for the first time in spring 2020; further modifications and performance tests using stable ions were completed in early 2021. By using a pulsed-drift-tube technique to modify the ions' kinetic energy in a wide range, we directly characterize the dispersion function of the system for use in a new procedure for optimizing the voltages applied to the electrostatic mirrors. Thus far, a mass resolving power of $R_m > 1\,000\,000$ is reached within a total time-of-flight of only $12.5\,\mathrm{ms}$, making the spectrometer capable of studying short-lived nuclei possessing low-lying isomers. Detailed information about the setup and measurement procedure is reported, and an alternative in-MRTOF ion selection scheme to remove molecular contaminants in the absence of a dedicated deflection device is introduced. The setup underwent an initial on-line commissioning at the BigRIPS facility at the end of 2020, where more than 70 nuclear masses have been measured. A summary of the commissioning experiments and results from a test of mass accuracy will be presented.


title: The MAGNEX magnetic spectrometer for double charge exchange reactions

abstract: Physics cases of increasing interest in the recent years, such as the study of double charge exchange reactions for neutrino physics, require the study of very suppressed reaction channels in medium-heavy ion induced nuclear reactions. The main experimental challenges are the possibility to identify and detect the medium-heavy quasi-projectiles and the capability to measure very low cross-sections (few nb) with high sensitivity at very forward angles, including zero degree. The experimental techniques adopted in the setup of the MAGNEX magnetic spectrometer to face these issues are described in this paper.


title: Introduction to data assimilation for parameter estimation

abstract: In this study, two classes of methods including statistical and variational data assimilation algorithms will be described. In statistical methods, the model state is updated sequentially based on the previous estimate. Variational methods, on the other hand, seek an estimation in space and time by minimizing a cost function. Both of these methods require estimates of background state which is the prior information of the system and its error covariances. In terms of linear and Gaussian problems, they have the same solution. In the family of Kalman Filter algorithms, the conventional Kalman Filter (KF) and Ensemble Kalman Filter (EnKF) will be implemented. A three-dimension variational method (3D-Var) will be employed to illustrate the variational approaches. A simple case of an ordinary differential equation (ODE) is coupled to highlight the difference between these algorithms. Namely, a mass-spring system governed by a second order differential equation will be examined. We also look at the situation where a periodic external force is applied to the system. Then different data assimilation algorithms will be applied to this system. Results from the experiments will be analyzed to showcase the advantages and disadvantages of each method.


title: Local-dimension-invariant Calderbank-Shor-Steane Codes with an Improved Distance Promise

abstract: Quantum computers will need effective error-correcting codes. Current quantum processors require precise control of each particle, so having fewer particles to control might be beneficial. Although traditionally quantum computers are considered as using qubits (2-level systems), qudits (systems with more than 2-levels) are appealing since they can have an equivalent computational space using fewer particles, meaning fewer particles need to be controlled. In this work we prove how to construct codes with parameters $[[2^N,2^N-1-2N,\geq 3]]_q$ for any choice of prime $q$ and natural number $N$. This is accomplished using the technique of local-dimension-invariant (LDI) codes. Generally LDI codes have the drawback of needing large local-dimensions to ensure the distance is at least preserved, and so this work also reduces this requirement by utilizing the structure of CSS codes, allowing for the aforementioned code family to be imported for any local-dimension choice.


title: Energy-conserving explicit and implicit time integration methods for the multi-dimensional Hermite-DG discretization of the Vlasov-Maxwell equations

abstract: We study the conservation properties of the Hermite-discontinuous Galerkin (Hermite-DG) approximation of the Vlasov-Maxwell equations. In this semi-discrete formulation, the total mass is preserved independently for every plasma species. Further, an energy invariant exists if central numerical fluxes are used in the DG approximation of Maxwell's equations, while a dissipative term is present when upwind fluxes are employed. In general, traditional temporal integrators might fail to preserve invariants associated with conservation laws during the time evolution. Hence, we analyze the capability of explicit and implicit Runge-Kutta (RK) temporal integrators to preserve such invariants. Since explicit RK methods can only ensure preservation of linear invariants but do not provide any control on the system energy, we consider modified explicit RK methods in the family of relaxation Runge-Kutta methods (RRK). These methods can be tuned to preserve the energy invariant at the continuous or semi-discrete level, a distinction that is important when upwind fluxes are used in the discretization of Maxwell's equations since upwind provides a numerical source of energy dissipation that is not present when central fluxes are used. We prove that the proposed methods are able to preserve the energy invariant and to maintain the semi-discrete energy dissipation (if present) according to the discretization of Maxwell's equations. An extensive set of numerical experiments corroborates the theoretical findings. It also suggests that maintaining the semi-discrete energy dissipation when upwind fluxes are used leads to an overall better accuracy of the method relative to using upwind fluxes while forcing exact energy conservation.


title: Volumetric Data Fusion of External Depth and Onboard Proximity Data For Occluded Space Reduction

abstract: In this work, we present a method for a probabilistic fusion of external depth and onboard proximity data to form a volumetric 3-D map of a robot's environment. We extend the Octomap framework to update a representation of the area around the robot, dependent on each sensor's optimal range of operation. Areas otherwise occluded from an external view are sensed with onboard sensors to construct a more comprehensive map of a robot's nearby space. Our simulated results show that a more accurate map with less occlusions can be generated by fusing external depth and onboard proximity data.


title: Product Expansions Redux

abstract: We introduce a generalization of the product expansion of a finite semigroup. As an application, we provide an alternative proof of the decidability of pointlike sets for pseudovarieties consisting of semigroups whose subgroups all belong to a given decidable pseudovariety of groups.


title: SYNERGY: Building Task Bots at Scale Using Symbolic Knowledge and Machine Teaching

abstract: In this paper we explore the use of symbolic knowledge and machine teaching to reduce human data labeling efforts in building neural task bots. We propose SYNERGY, a hybrid learning framework where a task bot is developed in two steps: (i) Symbolic knowledge to neural networks: Large amounts of simulated dialog sessions are generated based on task-specific symbolic knowledge which is represented as a task schema consisting of dialog flows and task-oriented databases. Then a pre-trained neural dialog model, SOLOIST, is fine-tuned on the simulated dialogs to build a bot for the task. (ii) Neural learning: The fine-tuned neural dialog model is continually refined with a handful of real task-specific dialogs via machine teaching, where training samples are generated by human teachers interacting with the task bot. We validate SYNERGY on four dialog tasks. Experimental results show that SYNERGY maps task-specific knowledge into neural dialog models achieving greater diversity and coverage of dialog flows, and continually improves model performance with machine teaching, thus demonstrating strong synergistic effects of symbolic knowledge and machine teaching.


title: Degree of Satisfiability in Heyting Algebras

abstract: Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$? In group theory, a well-known result of Gustafson states that the equation $xy=yx$ has a finite satisfiability gap: its degree of satisfiability is either $1$ (in Abelian groups) or no larger than $\frac{5}{8}$. Degree of satisfiability has proven useful in the study of (finite and infinite) group-like and ring-like algebraic structures, but finite satisfiability gap questions have not been considered in lattice-like, order-theoretic settings yet. Here we investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap. In particular we prove that, in a finite non-Boolean Heyting algebra, the probability that a randomly chosen element satisfies $x \vee \neg x = \top$ is no larger than $\frac{2}{3}$. Finally, we generalize our results to infinite Heyting algebras, and present their applications to point-set topology, black-box algebras, and the philosophy of logic.


title: Contact Anticipation for Physical Human-Robot Interaction with Robotic Manipulators using Onboard Proximity Sensors

abstract: In this paper, we present a framework that unites obstacle avoidance and deliberate physical interaction for robotic manipulators. As humans and robots begin to coexist in work and household environments, pure collision avoidance is insufficient, as human-robot contact is inevitable and, in some situations, desired. Our work enables manipulators to anticipate, detect, and act on contact. To achieve this, we allow limited deviation from the robot's original trajectory through velocity reduction and motion restrictions. Then, if contact occurs, a robot can detect it and maneuver based on a novel dynamic contact thresholding algorithm. The core contribution of this work is dynamic contact thresholding, which allows a manipulator with onboard proximity sensors to track nearby objects and reduce contact forces in anticipation of a collision. Our framework elicits natural behavior during physical human-robot interaction. We evaluate our system on a variety of scenarios using the Franka Emika Panda robot arm; collectively, our results demonstrate that our contribution is not only able to avoid and react on contact, but also anticipate it.


title: Real-Time Ground-Plane Refined LiDAR SLAM

abstract: SLAM system using only point cloud has been proven successful in recent years. In most of these systems, they extract features for tracking after ground removal, which causes large variance on the z-axis. Ground actually provides robust information to obtain [t_z, \theta_{roll}, \theta_{pitch}]$. In this project, we followed the LeGO-LOAM, a light-weighted real-time SLAM system that extracts and registers ground as an addition to the original LOAM, and we proposed a new clustering-based method to refine the planar extraction algorithm for ground such that the system can handle much more noisy or dynamic environments. We implemented this method and compared it with LeGo-LOAM on our collected data of CMU campus, as well as a collected dataset for ATV (All-Terrain Vehicle) for off-road self-driving. Both visualization and evaluation results show obvious improvement of our algorithm.


title: Space-Terrestrial Integrated Internet of Things: Challenges and Opportunities

abstract: Large geographical regions of our planet remain uncovered by terrestrial network connections. Sparse and dense constellations of near-Earth orbit satellites can bridge this gap by providing Internet of Things (IoT) connectivity on a world-wide scale in a flexible and cost-effective manner. This paper presents a novel space-terrestrial integrated IoT network architecture spanning direct- and indirect-to-satellite access from IoT assets on the surface. Framed on the identified requirements, we analyze NB-IoT and LoRa/LoRaWAN features to put these technologies forward as appealing candidates for future satellite IoT deployments. Finally, we list and discuss the key open research challenges to be addressed in order to achieve a successful space-terrestrial IoT integration.


title: SiliFuzz: Fuzzing CPUs by proxy

abstract: CPUs are becoming more complex with every generation, at both the logical and the physical levels. This potentially leads to more logic bugs and electrical defects in CPUs being overlooked during testing, which causes data corruption or other undesirable effects when these CPUs are used in production. These ever-present problems may also have simply become more evident as more CPUs are operated and monitored by large cloud providers. If the RTL ("source code") of a CPU were available, we could apply greybox fuzzing to the CPU model almost as we do to any other software [arXiv:2102.02308]. However our targets are general purpose x86_64 CPUs produced by third parties, where we do not have the RTL design, so in our case CPU implementations are opaque. Moreover, we are more interested in electrical defects as opposed to logic bugs. We present SiliFuzz, a work-in-progress system that finds CPU defects by fuzzing software proxies, like CPU simulators or disassemblers, and then executing the accumulated test inputs (known as the corpus) on actual CPUs on a large scale. The major difference between this work and traditional software fuzzing is that a software bug fixed once will be fixed for all installations of the software, while for CPU defects we have to test every individual core repeatedly over its lifetime due to wear and tear. In this paper we also analyze four groups of CPU defects that SiliFuzz has uncovered and describe patterns shared by other SiliFuzz findings.


title: Power Saving Evaluation with Automatic Offloading

abstract: Heterogeneous hardware other than small-core CPU such as GPU, FPGA, or many-core CPU is increasingly being used. However, heterogeneous hardware usage presents high technical skill barriers such as familiarity with CUDA. To overcome this challenge, I previously proposed environment-adaptive software that enables automatic conversion, automatic configuration, and high-performance and low-power operation of once-written code, in accordance with the hardware to be placed. I also previously verified performance improvement of automatic GPU and FPGA offloading. In this paper, I verify low-power operation with environment adaptation by evaluating power utilization after automatic offloading. I compare Watt*seconds of existing applications after automatic offloading with the case of CPU-only processing.


title: High Level Synthesis Implementation of a Three-dimensional Systolic Array Architecture for Matrix Multiplications on Intel Stratix 10 FPGAs

abstract: In this paper, we consider the HLS implementation of a three-dimensional systolic array architecture for matrix multiplication that targets specific characteristics of Intel Stratix 10 FPGAs in order to produce designs that achieve a high floating-point throughput using most of the DSPs at high frequencies in a way that avoids the congestion of the routing fabric. The investigated three-dimensional systolic array architecture is able to produce hardware designs that use 99% of the available DSPs with maximum frequencies that let us achieve performances above 3 TFLOPS.


title: 2021 Effective Area calibration of the Nuclear Spectroscopic Telescope ARray (NuSTAR)

abstract: We present here the updated calibration of The Nuclear Spectroscopic Telescope ARray NuSTAR, which was performed using data on the Crab accumulated over the last 9 years in orbit. The basis for this new calibration contains over 250ks of focused Crab (imaged through the optics) and over 500ks of stray-light Crab (not imaged through optics). We measured an epoch averaged Crab spectrum of the stray-light Crab data and define a canonical Crab spectrum of Gamma = 2.103 +- 0.001 and N = 9.69 +- 0.02 keV-1 cm-2 s-1 at 1 keV, which we use as our calibration standard. The new calibration, released in the CALDB update 20211020, provides significant updates to: 1) the detector absorption component, 2) the detector response function, and 3) the effective area vignetting function. The calibration improves agreement between FPMA and FPMB across detectors with a standard deviation of 1.7% for repeat observations between off-axis angles of 1-4 arcmin, and the measured flux has increased by 5-15%, with 5% below 1 arcmin off-axis angle, 10% between 1-2 arcmin, and 15 above 4arcmin.


title: NMR crystallography reveals carbonate induced Al-ordering in ZnAl layered double hydroxide

abstract: Layered double hydroxides (LDHs) serve a score of applications in catalysis, drug delivery, and environmental remediation. Smarter crystallography, combining X-ray diffraction and NMR spectroscopy revealed how interplay between carbonate and pH determines the LDH structure and Al ordering in ZnAl LDH. Carbonate intercalated ZnAl LDHs were synthesized at different pH (pH 8.5, pH 10.0, pH 12.5) with a Zn/Al ratio of 2, without subsequent hydrothermal treatment to avoid extensive recrystallisation. In ideal configuration, all Al cations should be part of the LDH and be coordinated with 6 Zn atoms, but NMR revealed two different Al local environments were present in all samples in a ratio dependent on synthesis pH. NMR-crystallography, integrating NMR spectroscopy and X-ray diffraction, succeeded to identify them as Al residing in the highly ordered crystalline phase, next to Al in disordered material. With increasing synthesis pH, crystallinity increased, and the side phase fraction decreased. Using 1 H-13 C, 13 C-27 Al HETCOR NMR in combination with 27 Al MQMAS, 27 Al-DQ-SQ measurements and Rietveld refinement on high-resolution PXRD data, the extreme anion exchange selectivity of these LDHs for CO3 2-over HCO3-was linked to strict Al and CO3 2-ordering in the crystalline LDH. Even upon equilibration of the LDH in pure NaHCO3 solutions, only CO3 2-was adsorbed by the LDH. This reveals the structure directing role of bivalent cations such as CO3 2-during crystallization of [M 2+ 4M 3+ 2(OH)2] 2+ [A 2-]1.yH2O LDH phases.


title: Sequential Voting with Relational Box Fields for Active Object Detection

abstract: A key component of understanding hand-object interactions is the ability to identify the active object -- the object that is being manipulated by the human hand. In order to accurately localize the active object, any method must reason using information encoded by each image pixel, such as whether it belongs to the hand, the object, or the background. To leverage each pixel as evidence to determine the bounding box of the active object, we propose a pixel-wise voting function. Our pixel-wise voting function takes an initial bounding box as input and produces an improved bounding box of the active object as output. The voting function is designed so that each pixel inside of the input bounding box votes for an improved bounding box, and the box with the majority vote is selected as the output. We call the collection of bounding boxes generated inside of the voting function, the Relational Box Field, as it characterizes a field of bounding boxes defined in relationship to the current bounding box. While our voting function is able to improve the bounding box of the active object, one round of voting is typically not enough to accurately localize the active object. Therefore, we repeatedly apply the voting function to sequentially improve the location of the bounding box. However, since it is known that repeatedly applying a one-step predictor (i.e., auto-regressive processing with our voting function) can cause a data distribution shift, we mitigate this issue using reinforcement learning (RL). We adopt standard RL to learn the voting function parameters and show that it provides a meaningful improvement over a standard supervised learning approach. We perform experiments on two large-scale datasets: 100DOH and MECCANO, improving AP50 performance by 8% and 30%, respectively, over the state of the art.


title: Digital and Physical-World Attacks on Remote Pulse Detection

abstract: Remote photoplethysmography (rPPG) is a technique for estimating blood volume changes from reflected light without the need for a contact sensor. We present the first examples of presentation attacks in the digital and physical domains on rPPG from face video. Digital attacks are easily performed by adding imperceptible periodic noise to the input videos. Physical attacks are performed with illumination from visible spectrum LEDs placed in close proximity to the face, while still being difficult to perceive with the human eye. We also show that our attacks extend beyond medical applications, since the method can effectively generate a strong periodic pulse on 3D-printed face masks, which presents difficulties for pulse-based face presentation attack detection (PAD). The paper concludes with ideas for using this work to improve robustness of rPPG methods and pulse-based face PAD.


title: Wide Neural Networks Forget Less Catastrophically

abstract: A primary focus area in continual learning research is alleviating the "catastrophic forgetting" problem in neural networks by designing new algorithms that are more robust to the distribution shifts. While the recent progress in continual learning literature is encouraging, our understanding of what properties of neural networks contribute to catastrophic forgetting is still limited. To address this, instead of focusing on continual learning algorithms, in this work, we focus on the model itself and study the impact of "width" of the neural network architecture on catastrophic forgetting, and show that width has a surprisingly significant effect on forgetting. To explain this effect, we study the learning dynamics of the network from various perspectives such as gradient orthogonality, sparsity, and lazy training regime. We provide potential explanations that are consistent with the empirical results across different architectures and continual learning benchmarks.


title: Proceedings Third Workshop on Formal Methods for Autonomous Systems

abstract: Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021), which was held virtually on the 21st and 22nd of October 2021. Like the previous workshop, FMAS 2021 was an online, stand-alone event, as an adaptation to the ongoing COVID-19 restrictions. Despite the challenges this brought, we were determined to build on the success of the previous two FMAS workshops. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous and/or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.


title: Validation and parameterization of a novel physics-constrained neural dynamics model applied to turbulent fluid flow

abstract: In fluid physics, data-driven models to enhance or accelerate solution methods are becoming increasingly popular for many application domains, such as alternatives to turbulence closures, system surrogates, or for new physics discovery. In the context of reduced order models of high-dimensional time-dependent fluid systems, machine learning methods grant the benefit of automated learning from data, but the burden of a model lies on its reduced-order representation of both the fluid state and physical dynamics. In this work, we build a physics-constrained, data-driven reduced order model for the Navier-Stokes equations to approximate spatio-temporal turbulent fluid dynamics. The model design choices mimic numerical and physical constraints by, for example, implicitly enforcing the incompressibility constraint and utilizing continuous Neural Ordinary Differential Equations for tracking the evolution of the differential equation. We demonstrate this technique on three-dimensional, moderate Reynolds number turbulent fluid flow. In assessing the statistical quality and characteristics of the machine-learned model through rigorous diagnostic tests, we find that our model is capable of reconstructing the dynamics of the flow over large integral timescales, favoring accuracy at the larger length scales. More significantly, comprehensive diagnostics suggest that physically-interpretable model parameters, corresponding to the representations of the fluid state and dynamics, have attributable and quantifiable impact on the quality of the model predictions and computational complexity.


title: Spectral Reciprocity for the product of Rankin-Selberg $L$-functions

abstract: We prove a new case of spectral reciprocity formulae for the product of $GL(n+1) \times GL(n)$ and $GL(n) \times GL(n-1)$ Rankin-Selberg $L$-functions ($n \geq 3$), which are first developed by Blomer and Khan in \cite{BK17} for degree 8 $L$-functions ($n=2$ case, the product of $GL(3) \times GL(2)$ and $GL(2) \times GL(1)$ Rankin-Selberg $L$-functions). Our result can be viewed as a generalization of Blomer and Khan's work to higher rank case. We will mainly follow the method developed in \cite{Nun20}. We will use the integral representations of Rankin-Selberg $L$-functions generalized by Ichino and Yamana \cite{IY15}, spectral theory of $L^2$ space and the language of automorphic representations.


title: Exponential Fermi Acceleration in a Switching Billiard

abstract: In this paper we show an infinite measure set of exponentially escaping orbits for a resonant Fermi accelerator, which is realised as a square billiard with a periodically oscillating platform. We use normal forms to describe how the energy changes in a period and we employ techniques for hyperbolic systems with singularities to show the exponential drift of these normal forms on a divided time-energy phase.


title: Fractional Modeling in Action: A Survey of Nonlocal Models for Subsurface Transport, Turbulent Flows, and Anomalous Materials

abstract: Modeling of phenomena such as anomalous transport via fractional-order differential equations has been established as an effective alternative to partial differential equations, due to the inherent ability to describe large-scale behavior with greater efficiency than fully-resolved classical models. In this review article, we first provide a broad overview of fractional-order derivatives with a clear emphasis on the stochastic processes that underlie their use. We then survey three exemplary application areas - subsurface transport, turbulence, and anomalous materials - in which fractional-order differential equations provide accurate and predictive models. For each area, we report on the evidence of anomalous behavior that justifies the use of fractional-order models, and survey both foundational models as well as more expressive state-of-the-art models. We also propose avenues for future research, including more advanced and physically sound models, as well as tools for calibration and discovery of fractional-order models.


title: Generalised parton distributions from the off-forward Compton amplitude in lattice QCD

abstract: We determine the properties of generalised parton distributions (GPDs) from a lattice QCD calculation of the off-forward Compton amplitude (OFCA). By extending the Feynman-Hellmann relation to second-order matrix elements at off-forward kinematics, this amplitude can be calculated from lattice propagators computed in the presence of a background field. Using an operator product expansion, we show that the deeply-virtual part of the OFCA can be parameterised in terms of the low-order Mellin moments of the GPDs. We apply this formalism to a numerical investigation for zero-skewness kinematics at two values of the soft momentum transfer, $t = -1.1, -2.2 \;\text{GeV}^2$, and a pion mass of $m_{\pi}\approx 470\;\text{MeV}$. The form factors of the lowest two moments of the nucleon GPDs are determined, including the first lattice QCD determination of the $n=4$ moments. Hence we demonstrate the viability of this method to calculate the OFCA from first principles, and thereby provide novel constraint on the $x$- and $t$-dependence of GPDs.


title: State mixing and masses of the $\pi^0$, $\eta$ and $\eta^\prime$ mesons from $n_f=1+1+1$ lattice QCD+QED

abstract: We present a lattice analysis of the light pseudoscalar mesons with consideration for the mixing between the flavour-neutral states $\pi^0$, $\eta$ and $\eta^\prime$. We extract the masses and flavour compositions of the pseudoscalar meson nonet in $n_f=1+1+1$ lattice QCD+QED around an SU(3)-flavour symmetric point, and observe flavour-symmetry features of the extracted data, along with preliminary extrapolation results for the flavour compositions at the physical point. A key result of this work is the observed mass splitting between the $\pi^0$ and $\eta$ on our ensembles, which is found to exhibit behaviour that is simply related to the corresponding flavour compositions.


title: The Optimal Pilot Power Allocation Strategy for Multi-IRS Assisted Communication Systems

abstract: Intelligent reflecting surface (IRS) is a promising technology that enables the precise control of the electromagnetic environment in future wireless communication networks. To leverage the IRS effectively, the acquisition of channel state information (CSI) is crucial in IRS-assisted communication systems, which, however, is challenging. In this paper, we propose the optimal pilot power allocation strategy for the channel estimation of IRS-assisted communication systems, which is capable of further improving the achievable rate performance with imperfect CSI. More specifically, first of all, we introduce a multi-IRS-assisted communication system in the face of practical channel estimation errors. Furthermore, the ergodic capacity with imperfect CSI is derived in an explicit closed-form expression under the single-input single-output (SISO) consideration. Secondly, we formulate the optimization problem of maximizing the ergodic capacity with imperfect CSI, subject to the constraint of the average uplink pilot power. Thirdly, the method of Lagrange multipliers is invoked to solve the ergodic rate maximizing problem and thus to obtain the optimal pilot power allocation strategy. The resultant pilot power allocation solution suggests allocating more amount of power to the pilots for estimating the weak reflection channels. Besides, we also elaborate on the expense of the proposed pilot power allocation strategy upon analyzing the peak-to-average-power ratio (PAPR) increase quantitatively. Finally, the extensive simulation results verify our analysis and reveal some interesting results. For example, for the user in the vicinity of a large IRS, it is suggested to switch off other IRSs and only switch on the IRS nearest the user; For the user near a small IRS, it is better to switch on all IRSs and perform the optimal pilot power allocation for enhancing the achievable rate performance.


title: Clean ballistic quantum point contact in SrTiO$_3$

abstract: Two dimensional electron gases based on SrTiO$_3$ are an intriguing platform for exploring mesoscopic superconductivity combined with spin-orbit coupling, offering electrostatic tunability from insulator to metal to superconductor within a single material. So far, however, quantum effects in SrTiO$_3$ nanostructures have been complicated by disorder. Here we introduce a facile approach to achieving high mobility and patterning gate-tunable structures in SrTiO$_3$, and use it to demonstrate ballistic constrictions with clean normal state conductance quantization. Conductance plateaus show two-fold degeneracy that persists to magnetic fields of at least 5 T - far beyond what one would expect from the $g$-factor extracted at high fields - a potential signature of electron pairing extending outside the superconducting regime.


title: Neural-guided, Bidirectional Program Search for Abstraction and Reasoning

abstract: One of the challenges facing artificial intelligence research today is designing systems capable of utilizing systematic reasoning to generalize to new tasks. The Abstraction and Reasoning Corpus (ARC) measures such a capability through a set of visual reasoning tasks. In this paper we report incremental progress on ARC and lay the foundations for two approaches to abstraction and reasoning not based in brute-force search. We first apply an existing program synthesis system called DreamCoder to create symbolic abstractions out of tasks solved so far, and show how it enables solving of progressively more challenging ARC tasks. Second, we design a reasoning algorithm motivated by the way humans approach ARC. Our algorithm constructs a search graph and reasons over this graph structure to discover task solutions. More specifically, we extend existing execution-guided program synthesis approaches with deductive reasoning based on function inverse semantics to enable a neural-guided bidirectional search algorithm. We demonstrate the effectiveness of the algorithm on three domains: ARC, 24-Game tasks, and a 'double-and-add' arithmetic puzzle.


title: Error-divisible two-qubit gates

abstract: We introduce a simple, widely applicable formalism for designing "error-divisible" two qubit gates: a quantum gate set where fractional rotations have proportionally reduced error compared to the full entangling gate. In current noisy intermediate-scale quantum (NISQ) algorithms, performance is largely constrained by error proliferation at high circuit depths, of which two-qubit gate error is generally the dominant contribution. Further, in many hardware implementations, arbitrary two qubit rotations must be composed from multiple two-qubit stock gates, further increasing error. This work introduces a set of criteria, and example waveforms and protocols to satisfy them, using superconducting qubits with tunable couplers for constructing continuous gate sets with significantly reduced error for small-angle rotations. If implemented at scale, NISQ algorithm performance would be significantly improved by our error-divisible gate protocols.


title: Computing the Invariant Distribution of Randomly Perturbed Dynamical Systems Using Deep Learning

abstract: The invariant distribution, which is characterized by the stationary Fokker-Planck equation, is an important object in the study of randomly perturbed dynamical systems. Traditional numerical methods for computing the invariant distribution based on the Fokker-Planck equation, such as finite difference or finite element methods, are limited to low-dimensional systems due to the curse of dimensionality. In this work, we propose a deep learning based method to compute the generalized potential, i.e. the negative logarithm of the invariant distribution multiplied by the noise. The idea of the method is to learn a decomposition of the force field, as specified by the Fokker-Planck equation, from the trajectory data. The potential component of the decomposition gives the generalized potential. The method can deal with high-dimensional systems, possibly with partially known dynamics. Using the generalized potential also allows us to deal with systems at low temperatures, where the invariant distribution becomes singular around the metastable states. These advantages make it an efficient method to analyze invariant distributions for practical dynamical systems. The effectiveness of the proposed method is demonstrated by numerical examples.


title: Azimuthal Angular Correlation as a Boosted Top Jet Substructure

abstract: We propose a novel jet substructure observable of boosted tops that is related to the linear polarization of the $W$ boson in boosted top quark decay, which results in a $\cos2\phi$ angular correlation between the $t\to bW$ and $W\to f\bar{f'}$ decay planes. We discuss in detail the origin of such linear polarization by applying Wigner's little group transformation. We show that the unique $\cos2\phi$ angular correlation only exists in the boosted regime but not in the top quark rest frame. We construct an experimental observable for such correlation based on the transverse energy deposition asymmetry in the top jet that does not require the reconstruction of $W$ decay products. The degree of this asymmetry can be used to measure the longitudinal polarization of the top quark, which is an important probe of new physics that couples to the top sector, and can discriminate a boosted top quark jet from its background events, such as QCD jets. A numerical simulation is also performed and found to agree well with the analytic prediction of the Standard Model.


title: Wacky Weights in Learned Sparse Representations and the Revenge of Score-at-a-Time Query Evaluation

abstract: Recent advances in retrieval models based on learned sparse representations generated by transformers have led us to, once again, consider score-at-a-time query evaluation techniques for the top-k retrieval problem. Previous studies comparing document-at-a-time and score-at-a-time approaches have consistently found that the former approach yields lower mean query latency, although the latter approach has more predictable query latency. In our experiments with four different retrieval models that exploit representational learning with bags of words, we find that transformers generate "wacky weights" that appear to greatly reduce the opportunities for skipping and early exiting optimizations that lie at the core of standard document-at-a-time techniques. As a result, score-at-a-time approaches appear to be more competitive in terms of query evaluation latency than in previous studies. We find that, if an effectiveness loss of up to three percent can be tolerated, a score-at-a-time approach can yield substantial gains in mean query latency while at the same time dramatically reducing tail latency.


title: Quantum algorithm for Neighborhood Preserving Embedding

abstract: Neighborhood Preserving Embedding (NPE) is an important linear dimensionality reduction technique that aims at preserving the local manifold structure. NPE contains three steps, i.e., finding the nearest neighbors of each data point, constructing the weight matrix, and obtaining the transformation matrix. Liang et al. proposed a variational quantum algorithm (VQA) for NPE [Phys. Rev. A 101, 032323 (2020)]. The algorithm consists of three quantum sub-algorithms, corresponding to the three steps of NPE, and was expected to have an exponential speedup on the dimensionality $n$. However, the algorithm has two disadvantages: (1) It is incomplete in the sense that the input of the third sub-algorithm cannot be obtained by the second sub-algorithm. (2) Its complexity cannot be rigorously analyzed because the third sub-algorithm in it is a VQA. In this paper, we propose a complete quantum algorithm for NPE, in which we redesign the three sub-algorithms and give a rigorous complexity analysis. It is shown that our algorithm can achieve a polynomial speedup on the number of data points $m$ and an exponential speedup on the dimensionality $n$ under certain conditions over the classical NPE algorithm, and achieve significant speedup compared to Liang et al.'s algorithm even without considering the complexity of the VQA.


title: Adverse Media Mining for KYC and ESG Compliance

abstract: In recent years, institutions operating in the global market economy face growing risks stemming from non-financial risk factors such as cyber, third-party, and reputational outweighing traditional risks of credit and liquidity. Adverse media or negative news screening is crucial for the identification of such non-financial risks. Typical tools for screening are not real-time, involve manual searches, require labor-intensive monitoring of information sources. Moreover, they are costly processes to maintain up-to-date with complex regulatory requirements and the institution's evolving risk appetite. In this extended abstract, we present an automated system to conduct both real-time and batch search of adverse media for users' queries (person or organization entities) using news and other open-source, unstructured sources of information. Our scalable, machine-learning driven approach to high-precision, adverse news filtering is based on four perspectives - relevance to risk domains, search query (entity) relevance, adverse sentiment analysis, and risk encoding. With the help of model evaluations and case studies, we summarize the performance of our deployed application.


title: Some properties of certain close-to-convex harmonic mappings

abstract: In this paper, we determine the sharp estimates for Toeplitz determinants of a subclass of close-to-convex harmonic mappings. Moreover, we obtain an improved version of Bohr's inequalities for a subclass of close-to-convex harmonic mappings, whose analytic parts are Ma-Minda convex functions.


title: Stabilization of stochastic McKean-Vlasov equations with feedback control based on discrete-time state observation

abstract: In this paper, we study the stability of solutions of stochastic McKean-Vlasov equations (SMVEs) via feedback control based on discrete-time state observation. By using a specific Lyapunov function, the $H_{\infty}$ stability, asymptotic stability and exponential stability in mean square for the solution of the controlled systems are obtained. Since the distribution of solution is difficult to be observed, we study the corresponding particle system which can be observed for the feedback control. We prove that the exponential stability of control system is equivalent to the the exponential stability of the corresponding particle system. Finally, an example is provided to show the effectiveness of the theory.


title: Pseudo Supervised Monocular Depth Estimation with Teacher-Student Network

abstract: Despite recent improvement of supervised monocular depth estimation, the lack of high quality pixel-wise ground truth annotations has become a major hurdle for further progress. In this work, we propose a new unsupervised depth estimation method based on pseudo supervision mechanism by training a teacher-student network with knowledge distillation. It strategically integrates the advantages of supervised and unsupervised monocular depth estimation, as well as unsupervised binocular depth estimation. Specifically, the teacher network takes advantage of the effectiveness of binocular depth estimation to produce accurate disparity maps, which are then used as the pseudo ground truth to train the student network for monocular depth estimation. This effectively converts the problem of unsupervised learning to supervised learning. Our extensive experimental results demonstrate that the proposed method outperforms the state-of-the-art on the KITTI benchmark.


title: Enhancing interval observers for state estimation using constraints

abstract: This work considers the problem of calculating an interval-valued state estimate for a nonlinear system subject to bounded inputs and measurement errors. Such state estimators are often called interval observers. Interval observers can be constructed using methods from reachability theory. Recent advances in the construction of interval enclosures of reachable sets for nonlinear systems inspire the present work. These advances can incorporate constraints on the states to produce tighter interval enclosures. When applied to the state estimation problem, bounded-error measurements may be used as state constraints in these new theories. The result is a method that is easily implementable and which generally produces better, tighter interval state estimates. Furthermore, a novel linear programming-based method is proposed for calculating the observer gain, which must be tuned in practice. In contrast with previous approaches, this method does not rely on special system structure. The new approaches are demonstrated with numerical examples.


title: p-Laplacian wave equations in non-cylindrical domains

abstract: This paper is devoted to studying the stability of p-Laplacian wave equations with strong damping in non-cylindrical domains. The method of proof based on some estimates for time-varying coefficients rising from moving boundary and a modified Kormonik inequality. Meanwhile, by selecting appropriate auxiliary functions, finally we obtain the polynomial stability (p > 2) and exponential stability (p = 2) for such systems in some unbounded development domains.


title: Fiberwise amenability of ample \'{e}tale groupoids

abstract: Let $\mathcal{G}$ be a locally compact $\sigma$-compact Hausdorff ample groupoid on a compact space. In this paper, we further examine the (ubiquitous) fiberwise amenability introduced by the author and Jianchao Wu for $\mathcal{G}$. We define the corresponding concepts of F{\o}lner sequences and Banach densities for $\mathcal{G}$, based on which, we establish a topological groupoid version of the Ornstein-Weiss quasi-tilling theorem. This leads to the notion of almost finiteness in measure for ample groupoids as a weaker version of Matui's almost finiteness. As applications, we first show that $C^*_r(\mathcal{G})$ has the uniform property $\Gamma$ and thus satisfies the Toms-Winter conjecture when $\mathcal{G}$ is minimal second countable (topologically) amenable and almost finite in measure. Then we prove that the topological full group $[[\mathcal{G}]]$ is always sofic when $\mathcal{G}$ is second countable minimal and admits a F{\o}lner sequence. This can be used to strengthen one of Matui's result on the commutator subgroup $D[[\mathcal{G}]]$ when $\mathcal{G}$ is almost finite. Concrete examples are provided.


title: On the Ehrhart Polynomial of Schubert Matroids

abstract: In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.


title: A two stage approach for order and rack allocation with order backlog in a mobile rack environment

abstract: In this paper we investigate a problem associated with operating a robotic mobile fulfilment system (RMFS). This is the problem of allocating orders and mobile storage racks to pickers. We present a two-stage formulation of the problem. In our two-stage approach we, in the first-stage, deal with the orders which must be definitely fulfilled (picked), where the racks chosen to fulfil these first-stage orders are chosen so as to (collectively) contain sufficient product to satisfy all orders. In the second-stage we restrict attention to those racks chosen in the first-stage solution in terms of allocating second-stage orders. We present three different strategies for first-stage order selection; one of these strategies minimises the requirement to make decisions as to the rack sequence (i.e. the sequence in which racks are presented to each picker). We present a heuristic procedure to reduce the number of racks that need to be considered. Extensive computational results are presented for test problems that are made publicly available; including test problems that are significantly larger than previous problems considered in the literature.


title: Signature-Graph Networks

abstract: We propose a novel approach for visual representation learning called Signature-Graph Neural Networks (SGN). SGN learns latent global structures that augment the feature representation of Convolutional Neural Networks (CNN). SGN constructs unique undirected graphs for each image based on the CNN feature maps. The feature maps are partitioned into a set of equal and non-overlapping patches. The graph nodes are located on high-contrast sharp convolution features with the local maxima or minima in these patches. The node embeddings are aggregated through novel Signature-Graphs based on horizontal and vertical edge connections. The representation vectors are then computed based on the spectral Laplacian eigenvalues of the graphs. SGN outperforms existing methods of recent graph convolutional networks, generative adversarial networks, and auto-encoders with image classification accuracy of 99.65% on ASIRRA, 99.91% on MNIST, 98.55% on Fashion-MNIST, 96.18% on CIFAR-10, 84.71% on CIFAR-100, 94.36% on STL10, and 95.86% on SVHN datasets. We also introduce a novel implementation of the state-of-the-art multi-head attention (MHA) on top of the proposed SGN. Adding SGN to MHA improved the image classification accuracy from 86.92% to 94.36% on the STL10 dataset


title: GCNScheduler: Scheduling Distributed Computing Applications using Graph Convolutional Networks

abstract: We consider the classical problem of scheduling task graphs corresponding to complex applications on distributed computing systems. A number of heuristics have been previously proposed to optimize task scheduling with respect to metrics such as makespan and throughput. However, they tend to be slow to run, particularly for larger problem instances, limiting their applicability in more dynamic systems. Motivated by the goal of solving these problems more rapidly, we propose, for the first time, a graph convolutional network-based scheduler (GCNScheduler). By carefully integrating an inter-task data dependency structure with network settings into an input graph and feeding it to an appropriate GCN, the GCNScheduler can efficiently schedule tasks of complex applications for a given objective. We evaluate our scheme with baselines through simulations. We show that not only can our scheme quickly and efficiently learn from existing scheduling schemes, but also it can easily be applied to large-scale settings where current scheduling schemes fail to handle. We show that it achieves better makespan than the classic HEFT algorithm, and almost the same throughput as throughput-oriented HEFT (TP-HEFT), while providing several orders of magnitude faster scheduling times in both cases. For example, for makespan minimization, GCNScheduler schedules 50-node task graphs in about 4 milliseconds while HEFT takes more than 1500 seconds; and for throughput maximization, GCNScheduler schedules 100-node task graphs in about 3.3 milliseconds, compared to about 6.9 seconds for TP-HEFT.


title: Prototypical Classifier for Robust Class-Imbalanced Learning

abstract: Deep neural networks have been shown to be very powerful methods for many supervised learning tasks. However, they can also easily overfit to training set biases, i.e., label noise and class imbalance. While both learning with noisy labels and class-imbalanced learning have received tremendous attention, existing works mainly focus on one of these two training set biases. To fill the gap, we propose \textit{Prototypical Classifier}, which does not require fitting additional parameters given the embedding network. Unlike conventional classifiers that are biased towards head classes, Prototypical Classifier produces balanced and comparable predictions for all classes even though the training set is class-imbalanced. By leveraging this appealing property, we can easily detect noisy labels by thresholding the confidence scores predicted by Prototypical Classifier, where the threshold is dynamically adjusted through the iteration. A sample reweghting strategy is then applied to mitigate the influence of noisy labels. We test our method on CIFAR-10-LT, CIFAR-100-LT and Webvision datasets, observing that Prototypical Classifier obtains substaintial improvements compared with state of the arts.


title: Effect of the Atomic Dipole-Dipole Interaction on the Phase Diagrams of Field-Matter Interactions I: Variational procedure

abstract: We establish, within the second quantization method, the general dipole-dipole Hamiltonian interaction of a system of $n$-level atoms. The variational energy surface of the $n$-level atoms interacting with $\ell$-mode fields and under the Van Der Waals forces is calculated with respect the tensorial product of matter and electromagnetic field coherent states. This is used to determine the quantum phase diagram associated to the ground state of the system and quantify the effect of the dipole-dipole Hamiltonian interaction. By considering real induced electric dipole moments, we find the quantum phase transitions for $2$- and $3$-level atomic systems interacting with $1$- and $2$- modes of the electromagnetic field, respectively. The corresponding order of the transitions is established by means of Ehrenfest classification; for some undetermined cases, we propose two procedures: the difference of the expectation value of the Casimir operators of the $2$-level subsystems, and by maximizing the Bures distance between neighbor variational solutions.


title: The partial derivative of Okamoto's functions with respect to the parameter

abstract: The differentiability of the one parameter family of Okomoto's functions as functions of $x$ has been analyzed extensively since their introduction in 2005. As an analogue to a similar investigation, in this paper, we consider the partial derivative of Okomoto's functions with respect to the parameter $a$. We place a significant focus on $a = 1/3$ to describe the properties of a nowhere differentiable function $K(x)$ for which the set of points of infinite derivative produces an example of a measure zero set with Hausdorff dimension $1$.


title: Free Energy Cost to Assemble Superlattices of Polymer-Grafted Nanoparticles

abstract: Mesoparticles consisting of a hard core and a soft corona like polymer-grafted nanoparticles (PGNPs) can assemble into various superlattice structures, in which each mesoparticle assumes the shape of the corresponding Wigner-Seitz (or Voronoi) cell. Conventional wisdom often perceives the stability of these superlattices in a mean-field view of surface area minimization or corona entropy maximization, which lacks a molecular interpretation. We develop a simulation method to calculate the free energy cost to deform spherical PGNPs into Wigner-Seitz polyhedra, which are then relaxed in a certain crystalline superlattice. With this method, we successfully quantify the free energy differences between model BCC, FCC and A15 systems of PGNPs and identify BCC as the most stable structure in most cases. Analysis of polymer configurations in the corona, whose boundary is blurred by chain interpenetration, shows that the radial distribution of grafted chains and the corresponding entropy is almost identical among BCC and FCC, suggesting that the higher stability of BCC structure cannot be explained by a mean-field description of corona shape.


title: Limit Cycle Oscillations, response time and the time-dependent solution to the Lotka-Volterra Predator-Prey model

abstract: In this work, the time-dependent solution for the Lotka-Volterra Predator-Prey model is derived with the help of the Lambert W function. This allows an exact analytical expression for the period of the associated limit-cycle oscillations (LCO), and also for the response time between predator and prey population. These results are applied to the predator-prey interaction of zonal density corrugations and turbulent particle flux in gyrokinetic simulations of collisionless trapped-electron model (CTEM) turbulence. In the turbulence simulations, the response time is shown to increase when approaching the linear threshold, and the same trend is observed in the Lotka-Volterra model.


title: MHAttnSurv: Multi-Head Attention for Survival Prediction Using Whole-Slide Pathology Images

abstract: In pathology, whole-slide images (WSI) based survival prediction has attracted increasing interest. However, given the large size of WSIs and the lack of pathologist annotations, extracting the prognostic information from WSIs remains a challenging task. Previous studies have used multiple instance learning approaches to combine the information from multiple randomly sampled patches, but different visual patterns may contribute differently to prognosis prediction. In this study, we developed a multi-head attention approach to focus on various parts of a tumor slide, for more comprehensive information extraction from WSIs. We evaluated our approach on four cancer types from The Cancer Genome Atlas database. Our model achieved an average c-index of 0.640, outperforming two existing state-of-the-art approaches for WSI-based survival prediction, which have an average c-index of 0.603 and 0.619 on these datasets. Visualization of our attention maps reveals each attention head focuses synergistically on different morphological patterns.


title: Single atom trapping in a metasurface lens optical tweezer

abstract: Optical metasurfaces of subwavelength pillars have provided new capabilities for the versatile definition of the amplitude, phase, and polarization of light. In this work, we demonstrate that an efficient dielectric metasurface lens can be used to trap and image single neutral atoms with a long working distance from the lens of 3 mm. We characterize the high-numerical-aperture optical tweezers using the trapped atoms and compare with numerical computations of the metasurface lens performance. We predict that future metasurfaces for atom trapping will be able to leverage multiple ongoing developments in metasurface design and enable multifunctional control in complex quantum information experiments with neutral-atoms arrays.


title: Adaptive Bridge between Training and Inference for Dialogue

abstract: Although exposure bias has been widely studied in some NLP tasks, it faces its unique challenges in dialogue response generation, the representative one-to-various generation scenario. In real human dialogue, there are many appropriate responses for the same context, not only with different expressions, but also with different topics. Therefore, due to the much bigger gap between various ground-truth responses and the generated synthetic response, exposure bias is more challenging in dialogue generation task. What's more, as MLE encourages the model to only learn the common words among different ground-truth responses, but ignores the interesting and specific parts, exposure bias may further lead to the common response generation problem, such as "I don't know" and "HaHa?" In this paper, we propose a novel adaptive switching mechanism, which learns to automatically transit between ground-truth learning and generated learning regarding the word-level matching score, such as the cosine similarity. Experimental results on both Chinese STC dataset and English Reddit dataset, show that our adaptive method achieves a significant improvement in terms of metric-based evaluation and human evaluation, as compared with the state-of-the-art exposure bias approaches. Further analysis on NMT task also shows that our model can achieve a significant improvement.


title: Merging Two Cultures: Deep and Statistical Learning

abstract: Merging the two cultures of deep and statistical learning provides insights into structured high-dimensional data. Traditional statistical modeling is still a dominant strategy for structured tabular data. Deep learning can be viewed through the lens of generalized linear models (GLMs) with composite link functions. Sufficient dimensionality reduction (SDR) and sparsity performs nonlinear feature engineering. We show that prediction, interpolation and uncertainty quantification can be achieved using probabilistic methods at the output layer of the model. Thus a general framework for machine learning arises that first generates nonlinear features (a.k.a factors) via sparse regularization and stochastic gradient optimisation and second uses a stochastic output layer for predictive uncertainty. Rather than using shallow additive architectures as in many statistical models, deep learning uses layers of semi affine input transformations to provide a predictive rule. Applying these layers of transformations leads to a set of attributes (a.k.a features) to which predictive statistical methods can be applied. Thus we achieve the best of both worlds: scalability and fast predictive rule construction together with uncertainty quantification. Sparse regularisation with un-supervised or supervised learning finds the features. We clarify the duality between shallow and wide models such as PCA, PPR, RRR and deep but skinny architectures such as autoencoders, MLPs, CNN, and LSTM. The connection with data transformations is of practical importance for finding good network architectures. By incorporating probabilistic components at the output level we allow for predictive uncertainty. For interpolation we use deep Gaussian process and ReLU trees for classification. We provide applications to regression, classification and interpolation. Finally, we conclude with directions for future research.


title: Temporal Point Process Graphical Models

abstract: Many real-world objects can be modeled as a stream of events on the nodes of a graph. In this paper, we propose a class of graphical event models named temporal point process graphical models for representing the temporal dependencies among different components of a multivariate point process. In our model, the intensity of an event stream can depend on the historical events in a nonlinear way. We provide a procedure that allows us to estimate the parameters in the model with a convex loss function in the high-dimensional setting. For the approximation error introduced during the implementation, we also establish the error bound for our estimators. We demonstrate the performance of our method with extensive simulations and a spike train data set.


title: Ultrasensitive barocaloric material for room-temperature solid-state refrigeration

abstract: Solid-state refrigeration based on caloric effects is an energetically efficient and environmentally friendly technology, which is deemed as a potential alternative to the conventional vapor-compression technology. One of the greatest obstacles to the real application is the huge driving fields. Here, we report a giant barocaloric effect in inorganic NH4I with maximum entropy changes of {\Delta}S_BCE^max ~89 J K-1 kg-1 around room temperature, associated with the orientationally order-disorder phase transition. The phase transition temperature, Tt, varies dramatically with pressure in a rate of dTt/dP ~0.81 K MPa-1, which leads to a very much small saturation driving pressure of {\Delta}P ~20 MPa, an unprecedentedly large caloric strength of |{\Delta}S_BCE^max/{\Delta}P| ~4.45 J K-1 kg-1 MPa-1, as well as a broad temperature window of ~68 K under an 80 MPa driving pressure. Comprehensive characterization of the crystal structure and dynamics by neutron scattering measurements reveals a strong reorientation-vibration coupling that is responsible for the large pressure sensitivity of Tt. This work is expected to advance the practical application of barocaloric refrigeration.


title: Ultralight scalar dark matter detection with ZAIGA

abstract: ZAIGA is a proposed underground long-baseline atom interferometer (AI) facility, aiming for experimental research on gravitation and related problems. In this paper, we study the possibility of detecting the ultralight scalar dark matter (DM) with ZAIGA. According to a popular scalar DM model, the DM field contains a background oscillation term and a local exponential fluctuation term. In order to calculate the proposed constraints on DM coupling parameters, we need to first compute the DM signals in ZAIGA. For the case of two AIs vertically separated by 300 meters, the DM-induced differential phase consists of three contributions, coming from the DM-induced changes in atomic internal energy levels, atomic masses and the gravitational acceleration. For the case of two AIs horizontally separated by several kilometers, the signal comes from the DM-induced changes in atomic internal energy levels. With the current and future technical parameters of ZAIGA, we then obtain the proposed constraints on five DM coupling parameters. It turns out that our proposed constraints could be several orders of magnitude better than the ones set by the MICROSCOPE space mission.


title: Tighter constraints of multiqubit entanglement in terms of unified entropy

abstract: We present classes of monogamy inequalities related to the $\alpha$-th ($\alpha \geq 1$) power of the entanglement measure based on the unified-($q,s$) entropy, and polygamy inequalities related to the $\beta$-th ($0 \leq \beta \leq 1$) power of the unified-($q,s$) entanglement of assistance by using Hamming weight. We show that these monogamy and polygamy inequalities are tighter than the existing ones. Detailed examples are given for illustrating the advantages.


title: Super-Suppression of Long Phonon Mean-Free-Paths in Nano-engineered Si due to Heat Current Anticorrelations

abstract: The ability to minimize the thermal conductivity of dielectrics with minimal structural intervention that could affect electrical properties is an important capability for engineering thermoelectric efficiency in low-cost materials such as Si. We recently reported the discovery of special arrangements for nanoscale pores in Si that produce a particularly large reduction in thermal conductivity accompanied by strongly anticorrelated heat current fluctuations, a phenomenon that is missed by the diffuse adiabatic boundary conditions conventionally used in numerical Boltzmann transport models. This manuscript presents the results of molecular dynamics simulations and a Monte Carlo ray tracing model that teases apart this phenomenon to reveal that special pore layouts elastically backscatter long-wavelength heat-carrying phonons. This means that heat carriage by a phonon before scattering is undone by the scattered phonon, resulting in an effective mean-free-path that is significantly shorter than the geometric line-of-sight to the pores. This effect is particularly noticeable for the long-wavelength, long mean-free-path phonons whose transport is impeded drastically more than is expected purely from the usual considerations of scattering defined by the distance between defects. This super-suppression of the mean-free-path below the characteristic length scale of the nanostructuring offers a route for minimizing thermal conductivity with minimal structural impact, while the stronger impact on long wavelengths offers possibilities for the design of band-pass phonon filtering. Moreover, the ray tracing model developed in this paper shows that different forms of correlated scattering imprint a unique signature in the heat current autocorrelation function that could be used as a diagnostic in other nanostructured systems.


title: Logical Assessment Formula and Its Principles for Evaluations with Inaccurate Ground-Truth Labels

abstract: Evaluations with accurate ground-truth labels (AGTLs) have been widely employed to assess predictive models for artificial intelligence applications. However, in some specific fields, such as medical histopathology whole slide image analysis, it is quite usual the situation that AGTLs are difficult to be precisely defined or even do not exist. To alleviate this situation, we propose logical assessment formula (LAF) and reveal its principles for evaluations with inaccurate ground-truth labels (IAGTLs) via logical reasoning under uncertainty. From the revealed principles of LAF, we summarize the practicability of LAF: 1) LAF can be applied for evaluations with IAGTLs on a more difficult task, able to act like usual strategies for evaluations with AGTLs reasonably; 2) LAF can be applied for evaluations with IAGTLs from the logical perspective on an easier task, unable to act like usual strategies for evaluations with AGTLs confidently.


title: Convergence Analysis of a Viscosity Parameter Recovery Algorithm for the 2D Navier-Stokes Equations

abstract: In this paper, the convergence of an algorithm for recovering the unknown kinematic viscosity of a two-dimensional incompressible, viscous fluid is studied. The algorithm of interest is a recursive feedback control-based algorithm that leverages observations that are received continuously-in-time, then dynamically provides updated values of the viscosity at judicious moments. It is shown that in an idealized setup, convergence to the true value of the viscosity can indeed be achieved under a natural and practically verifiable non-degeneracy condition. This appears to be first such result of its kind for parameter estimation of nonlinear partial differential equations. Analysis for two parameter update rules is carried out: one which involves instantaneous evaluation in time and the other, averaging in time. The proofs of convergence for either rule exploits sensitivity-type bounds in higher-order Sobolev topologies, while the instantaneous version particularly requires delicate energy estimates involving the time-derivative of the sensitivity-type variable. Indeed, a crucial component in the analysis of the first update rule is the identification of a dissipative structure for the time-derivative of the sensitivity-type variable, which ultimately ensures a favorable dependence on the tuning parameter of the algorithm.


title: Creation and annihilation of mobile fractional solitons in atomic chains

abstract: Localized modes in one dimensional topological systems, such as Majonara modes in topological superconductors, are promising platforms for robust information processing. In one dimensional topological insulators, mobile topological solitons are expected but have not been fully realized yet. We discover fractionalized phase defects moving along trimer silicon atomic chains formed along step edges of a vicinal silicon surface. Tunneling microscopy identifies local defects with phase shifts of 2{\pi}/3 and 4{\pi}/3 with their electronic states within the band gap and with their motions activated above 100 K. Theoretical calculations reveal the topological soliton origin of the phase defects with fractional charges of {\pm}2e/3 and {\pm}4e/3. An individual soliton can be created and annihilated at a desired location by current pulse from the probe tip. Mobile and manipulatable topological solitons discovered here provide a new platform of robustly-protected informatics with extraordinary functionalities.


title: MIC: Model-agnostic Integrated Cross-channel Recommenders

abstract: Semantically connecting users and items is a fundamental problem for the matching stage of an industrial recommender system. Recent advances in this topic are based on multi-channel retrieval to efficiently measure users' interest on items from the massive candidate pool. However, existing work are primarily built upon pre-defined retrieval channels, including User-CF (U2U), Item-CF (I2I), and Embedding-based Retrieval (U2I), thus access to the limited correlation between users and items which solely entail from partial information of latent interactions. In this paper, we propose a model-agnostic integrated cross-channel (MIC) approach for the large-scale recommendation, which maximally leverages the inherent multi-channel mutual information to enhance the matching performance. Specifically, MIC robustly models correlation within user-item, user-user, and item-item from latent interactions in a universal schema. For each channel, MIC naturally aligns pairs with semantic similarity and distinguishes them otherwise with more uniform anisotropic representation space. While state-of-the-art methods require specific architectural design, MIC intuitively considers them as a whole by enabling the complete information flow among users and items. Thus MIC can be easily plugged into other retrieval recommender systems. Extensive experiments show that our MIC helps several state-of-the-art models boost their performance on two real-world benchmarks. The satisfactory deployment of the proposed MIC on industrial online services empirically proves its scalability and flexibility.


title: Anti-Backdoor Learning: Training Clean Models on Poisoned Data

abstract: Backdoor attack has emerged as a major security threat to deep neural networks (DNNs). While existing defense methods have demonstrated promising results on detecting or erasing backdoors, it is still not clear whether robust training methods can be devised to prevent the backdoor triggers being injected into the trained model in the first place. In this paper, we introduce the concept of \emph{anti-backdoor learning}, aiming to train \emph{clean} models given backdoor-poisoned data. We frame the overall learning process as a dual-task of learning the \emph{clean} and the \emph{backdoor} portions of data. From this view, we identify two inherent characteristics of backdoor attacks as their weaknesses: 1) the models learn backdoored data much faster than learning with clean data, and the stronger the attack the faster the model converges on backdoored data; 2) the backdoor task is tied to a specific class (the backdoor target class). Based on these two weaknesses, we propose a general learning scheme, Anti-Backdoor Learning (ABL), to automatically prevent backdoor attacks during training. ABL introduces a two-stage \emph{gradient ascent} mechanism for standard training to 1) help isolate backdoor examples at an early training stage, and 2) break the correlation between backdoor examples and the target class at a later training stage. Through extensive experiments on multiple benchmark datasets against 10 state-of-the-art attacks, we empirically show that ABL-trained models on backdoor-poisoned data achieve the same performance as they were trained on purely clean data. Code is available at \url{https://github.com/bboylyg/ABL}.


title: Reinforcement Learning for Process Control with Application in Semiconductor Manufacturing

abstract: Process control is widely discussed in the manufacturing process, especially for semiconductor manufacturing. Due to unavoidable disturbances in manufacturing, different process controllers are proposed to realize variation reduction. Since reinforcement learning (RL) has shown great advantages in learning actions from interactions with a dynamic system, we introduce RL methods for process control and propose a new controller called RL-based controller. Considering the fact that most existing process controllers mainly rely on a linear model assumption for the process input-output relationship, we first propose theoretical properties of RL-based controllers according to the linear model assumption. Then the performance of RL-based controllers and traditional process controllers (e.g., exponentially weighted moving average (EWMA), general harmonic rule (GHR) controllers) are compared for linear processes. Furthermore, we find that the RL-based controllers have potential advantages to deal with other complicated nonlinear processes that are with and without assumed explicit model formulations. The intensive numerical studies validate the advantages of the proposed RL-based controllers.


title: A Versatile and Efficient Reinforcement Learning Framework for Autonomous Driving

abstract: Heated debates continue over the best autonomous driving framework. The classic modular pipeline is widely adopted in the industry owing to its great interpretability and stability, whereas the fully end-to-end paradigm has demonstrated considerable simplicity and learnability along with the rise of deep learning. As a way of marrying the advantages of both approaches, learning a semantically meaningful representation and then use in the downstream driving policy learning tasks provides a viable and attractive solution. However, several key challenges remain to be addressed, including identifying the most effective representation, alleviating the sim-to-real generalization issue as well as balancing model training cost. In this study, we propose a versatile and efficient reinforcement learning framework and build a fully functional autonomous vehicle for real-world validation. Our framework shows great generalizability to various complicated real-world scenarios and superior training efficiency against the competing baselines.


title: Linear-Equation Ordered-Statistics Decoding

abstract: In this paper, we propose a new linear-equation ordered-statistics decoding (LE-OSD). Unlike the OSD, LE-OSD uses high reliable parity bits rather than information bits to recover the codeword estimates, which is equivalent to solving a system of linear equations (SLE). Only test error patterns (TEPs) that create feasible SLEs, referred to as the valid TEPs, are used to obtain different codeword estimates. We introduce several constraints on the Hamming weight of TEPs to limit the overall decoding complexity. Furthermore, we analyze the block error rate (BLER) and the computational complexity of the proposed approach. It is shown that LE-OSD has a similar performance as OSD in terms of BLER, which can asymptotically approach Maximum-likelihood (ML) performance with proper parameter selections. Simulation results demonstrate that the LE-OSD has a significantly reduced complexity compared to OSD, especially for low-rate codes, that usually require high decoding order in OSD. Nevertheless, the complexity reduction can also be observed for high-rate codes. In addition, we further improve LE-OSD by applying the decoding stopping condition and the TEP discarding condition. As shown by simulations, the improved LE-OSD has a considerably reduced complexity while maintaining the BLER performance, compared to the latest OSD approach from literature.


title: Methodology for Assessing the State of the Practice for Domain X

abstract: To improve software development methods and tools for research software, we first need to understand the current state of the practice. Therefore, we have developed a methodology for assessing the state of the software development practices for a given research software domain. For each domain we wish to answer questions such as: i) What artifacts (documents, code, test cases, etc.) are present? ii) What tools are used? iii) What principles, process and methodologies are used? iv) What are the pain points for developers? v) What actions are used to improve qualities like maintainability and reproducibility? To answer these questions, our methodology prescribes the following steps: i) Identify the domain; ii) Identify a list of candidate software packages; iii) Filter the list to a length of about 30 packages; iv) Gather source code and documentation for each package; v) Collect repository related data on each software package, like number of stars, number of open issues, number of lines of code; vi) Fill in the measurement template (the template consists of 108 questions to assess 9 qualities (including the qualities of installability, usability and visibility)); vii) Interview developers (the interview consists of 20 questions and takes about an hour); viii) Rank the software using the Analytic Hierarchy Process (AHP); and, ix) Analyze the data to answer the questions posed above. A domain expert should be engaged throughout the process, to ensure that implicit information about the domain is properly represented and to assist with conducting an analysis of the commonalities and variabilities between the 30 selected packages. Using our methodology, spreadsheet templates and AHP tool, we estimate (based on our experience with using the process) the time to complete an assessment for a given domain at 173 person hours.


title: Focusing on Difficult Directions for Learning HMC Trajectory Lengths

abstract: Hamiltonian Monte Carlo (HMC) is a premier Markov Chain Monte Carlo (MCMC) algorithm for continuous target distributions. Its full potential can only be unleashed when its problem-dependent hyperparameters are tuned well. The adaptation of one such hyperparameter, trajectory length ($\tau$), has been closely examined by many research programs with the No-U-Turn Sampler (NUTS) coming out as the preferred method in 2011. A decade later, the evolving hardware profile has lead to the proliferation of personal and cloud based SIMD hardware in the form of Graphics and Tensor Processing Units (GPUs, TPUs) which are hostile to certain algorithmic details of NUTS. This has opened up a hole in the MCMC toolkit for an algorithm that can learn $\tau$ while maintaining good hardware utilization. In this work we build on recent advances along this direction and introduce SNAPER-HMC, a SIMD-accelerator-friendly adaptive-MCMC scheme for learning $\tau$. The algorithm maximizes an upper bound on per-gradient effective sample size along an estimated principal component. We empirically show that SNAPER-HMC is stable when combined with mass-matrix adaptation, and is tolerant of certain pathological target distribution covariance spectra while providing excellent long and short run sampling efficiency. We provide a complete implementation for continuous multi-chain adaptive HMC combining trajectory learning with standard step-size and mass-matrix adaptation in one turnkey inference package.


title: Investigating Exit Choice in Built Environment Evacuation combining Immersive Virtual Reality and Discrete Choice Modelling

abstract: In the event of a fire emergency in the built environment, occupants face a range of evacuation decisions, including the choice of exits. An important question from the standpoint of evacuation safety is how evacuees make these choices and what factors affect their choices. Understanding how humans weigh these (often) competing factors is essential knowledge for evacuation planning and safe design. Here, we use immersive Virtual Reality (VR) experiments to investigate, in controlled settings, how these trade-offs are made using empirical data and econometric choice models. In each VR scenario, participants are confronted with trade-offs between choosing exits that are familiar to them, exits that are less occupied, exits that are nearer to them and exits to which visibility is less affected by fire smoke. The marginal role of these competing factors on their decisions is quantified in a discrete choice model. Post-experiment questionnaires also determine factors such as their perceived realism and emotion evoked by the VR evacuation experience. Results indicate that none of the investigated factors dominated the others in terms of their influence on exit choices. The participants exhibited patterns of multi-attribute conjoint decision-making, consistent with the recent findings in the literature. While lack of familiarity and the presence of smoke both negatively affected the desirability of an exit to evacuees, neither solely determined exit choice. It was also observed that prioritisation of the said factors by participants changed during the repeated scenarios when compared to the first scenario that they experienced. Results have implications for both fire safety designs and future VR evacuation experiment designs. These empirical models can also be employed as input in computer simulations of building evacuation.


title: PRECAD: Privacy-Preserving and Robust Federated Learning via Crypto-Aided Differential Privacy

abstract: Federated Learning (FL) allows multiple participating clients to train machine learning models collaboratively by keeping their datasets local and only exchanging model updates. Existing FL protocol designs have been shown to be vulnerable to attacks that aim to compromise data privacy and/or model robustness. Recently proposed defenses focused on ensuring either privacy or robustness, but not both. In this paper, we develop a framework called PRECAD, which simultaneously achieves differential privacy (DP) and enhances robustness against model poisoning attacks with the help of cryptography. Using secure multi-party computation (MPC) techniques (e.g., secret sharing), noise is added to the model updates by the honest-but-curious server(s) (instead of each client) without revealing clients' inputs, which achieves the benefit of centralized DP in terms of providing a better privacy-utility tradeoff than local DP based solutions. Meanwhile, a crypto-aided secure validation protocol is designed to verify that the contribution of model update from each client is bounded without leaking privacy. We show analytically that the noise added to ensure DP also provides enhanced robustness against malicious model submissions. We experimentally demonstrate that our PRECAD framework achieves higher privacy-utility tradeoff and enhances robustness for the trained models.


title: How to Schedule Near-Optimally under Real-World Constraints

abstract: Scheduling is a critical part of practical computer systems, and scheduling has also been extensively studied from a theoretical perspective. Unfortunately, there is a gap between theory and practice, as the optimal scheduling policies presented by theory can be difficult or impossible to perfectly implement in practice. In this work, we use recent breakthroughs in queueing theory to begin to bridge this gap. We show how to translate theoretically optimal policies -- which provably minimize mean response time (a.k.a. latency) -- into near-optimal policies that are easily implemented in practical settings. Specifically, we handle the following real-world constraints: - We show how to schedule in systems where job sizes (a.k.a. running time) are unknown, or only partially known. We do so using simple policies that achieve performance very close to the much more complicated theoretically optimal policies. - We show how to schedule in systems that have only a limited number of priority levels available. We show how to adapt theoretically optimal policies to this constrained setting and determine how many levels we need for near-optimal performance. - We show how to schedule in systems where job preemption can only happen at specific checkpoints. Adding checkpoints allows for smarter scheduling, but each checkpoint incurs time overhead. We give a rule of thumb that near-optimally balances this tradeoff.


title: Accelerated Lifetime Testing and Analysis of Delta-doped Silicon Test Structures

abstract: As transistor features shrink beyond the 2 nm node, studying and designing for atomic scale effects become essential. Being able to combine conventional CMOS with new atomic scale fabrication routes capable of creating 2D patterns of highly doped phosphorus layers with atomic precision has implications for the future of digital electronics. This work establishes the accelerated lifetime tests of such doped layers, showing that these materials survive high current (>3.0 MA/cm2) and 300$^{\circ}$C for greater than 70 days and are still electrically conductive. The doped layers compare well to failures in traditional metal layers like aluminum and copper where mean time to failure at these temperatures and current densities would occur within hours. It also establishes that these materials are more stable than metal features, paving the way toward their integration with operational CMOS.


title: A Two-stage Pricing Strategy Considering Learning Effects and Word-of-Mouth

abstract: This paper proposes a two-stage pricing strategy for nondurable (such as typical electronics) products, where retail price is cut down at certain time points of the product lifecycle. We consider learning effect of electronic products that, with the accumulation of production, average production cost decreases over time as manufacturers get familiar with the production process. Moreover, word-of-mouth (WOM) of existing customers is used to analyze future demand, which is sensitive to the difference between the actual reliability and the perceived reliability of products. We theoretically prove the existence and uniqueness of the optimal switch time between the two stages and the optimal price in each stage. In addition, warranty as another important factor of electronic products is also considered, whose interaction with word-of-mouth as well as the corresponding influences on total profit are analyzed. Interestingly, our findings indicate that (1) the main reason for manufacturers to cut down prices for electronic products pertains to the learning effects; (2) even through both internal factors (e.g., the learning effects of manufacturers) and external factors (e.g., the price elasticity of customers) have impacts on product price, their influence on manufacturer's profit is widely divergent; (3) generally warranty weakens the influence of external advertising on the reliability estimate, because warranty price only partially reflects the actual reliability information of products; (4) and the optimal warranty price can increase the profits for the manufacturer by approximately 10%.


title: An Economy of Neural Networks: Learning from Heterogeneous Experiences

abstract: This paper proposes a new way to model behavioral agents in dynamic macro-financial environments. Agents are described as neural networks and learn policies from idiosyncratic past experiences. I investigate the feedback between irrationality and past outcomes in an economy with heterogeneous shocks similar to Aiyagari (1994). In the model, the rational expectations assumption is seriously violated because learning of a decision rule for savings is unstable. Agents who fall into learning traps save either excessively or save nothing, which provides a candidate explanation for several empirical puzzles about wealth distribution. Neural network agents have a higher average MPC and exhibit excess sensitivity of consumption. Learning can negatively affect intergenerational mobility.


title: EvoGAN: An Evolutionary Computation Assisted GAN

abstract: The image synthesis technique is relatively well established which can generate facial images that are indistinguishable even by human beings. However, all of these approaches uses gradients to condition the output, resulting in the outputting the same image with the same input. Also, they can only generate images with basic expression or mimic an expression instead of generating compound expression. In real life, however, human expressions are of great diversity and complexity. In this paper, we propose an evolutionary algorithm (EA) assisted GAN, named EvoGAN, to generate various compound expressions with any accurate target compound expression. EvoGAN uses an EA to search target results in the data distribution learned by GAN. Specifically, we use the Facial Action Coding System (FACS) as the encoding of an EA and use a pre-trained GAN to generate human facial images, and then use a pre-trained classifier to recognize the expression composition of the synthesized images as the fitness function to guide the search of the EA. Combined random searching algorithm, various images with the target expression can be easily sythesized. Quantitative and Qualitative results are presented on several compound expressions, and the experimental results demonstrate the feasibility and the potential of EvoGAN.


title: Multiwave COVID-19 Prediction from Social Awareness using Web Search and Mobility Data

abstract: Recurring outbreaks of COVID-19 have posed enduring effects on global society, which calls for a predictor of pandemic waves using various data with early availability. Existing prediction models that forecast the first outbreak wave using mobility data may not be applicable to the multiwave prediction, because the evidence in the USA and Japan has shown that mobility patterns across different waves exhibit varying relationships with fluctuations in infection cases. Therefore, to predict the multiwave pandemic, we propose a Social Awareness-Based Graph Neural Network (SAB-GNN) that considers the decay of symptom-related web search frequency to capture the changes in public awareness across multiple waves. Our model combines GNN and LSTM to model the complex relationships among urban districts, inter-district mobility patterns, web search history, and future COVID-19 infections. We train our model to predict future pandemic outbreaks in the Tokyo area using its mobility and web search data from April 2020 to May 2021 across four pandemic waves collected by Yahoo Japan Corporation under strict privacy protection rules. Results demonstrate our model outperforms state-of-the-art baselines such as ST-GNN, MPNN, and GraphLSTM. Though our model is not computationally expensive (only 3 layers and 10 hidden neurons), the proposed model enables public agencies to anticipate and prepare for future pandemic outbreaks.


title: Monotone edge flips to an orientation of maximum edge-connectivity \`a la Nash-Williams

abstract: We initiate the study of $k$-edge-connected orientations of undirected graphs through edge flips for $k \geq 2$. We prove that in every orientation of an undirected $2k$-edge-connected graph, there exists a sequence of edges such that flipping their directions one by one does not decrease the edge-connectivity, and the final orientation is $k$-edge-connected. This yields an ``edge-flip based'' new proof of Nash-Williams' theorem: an undirected graph $G$ has a $k$-edge-connected orientation if and only if $G$ is $2k$-edge-connected. As another consequence of the theorem, we prove that the edge-flip graph of $k$-edge-connected orientations of an undirected graph $G$ is connected if $G$ is $(2k+2)$-edge-connected. This has been known to be true only when $k=1$.


title: Wide and Narrow: Video Prediction from Context and Motion

abstract: Video prediction, forecasting the future frames from a sequence of input frames, is a challenging task since the view changes are influenced by various factors, such as the global context surrounding the scene and local motion dynamics. In this paper, we propose a new framework to integrate these complementary attributes to predict complex pixel dynamics through deep networks. We present global context propagation networks that iteratively aggregate the non-local neighboring representations to preserve the contextual information over the past frames. To capture the local motion pattern of objects, we also devise local filter memory networks that generate adaptive filter kernels by storing the prototypical motion of moving objects in the memory. The proposed framework, utilizing the outputs from both networks, can address blurry predictions and color distortion. We conduct experiments on Caltech pedestrian and UCF101 datasets, and demonstrate state-of-the-art results. Especially for multi-step prediction, we obtain an outstanding performance in quantitative and qualitative evaluation.


title: Bosonic fractional quantum Hall conductance in shaken honeycomb optical lattices without flat bands

abstract: We propose a scheme to realize bosonic fractional quantum Hall conductance in shaken honeycomb optical lattices. This scheme does not require a very flat band, and the necessary long-range interaction relies on s-wave scattering, which is common in many ultracold-atom experiments. By filling the lattice at 1/4 with identical bosons under Feshbach resonance, two degenerate many-body ground states share one Chern number of 1 and correspond exactly to the fractional quantum Hall conductance of 1/2. Meanwhile, we prove that the fractional quantum Hall state can be prepared by adiabatically turning on the lattice shaking, and the fractional conductance is robust in the shaken lattice. This provides an easy way to initialize and prepare the fractional quantum Hall states in ultracold-atom platforms, and it paves the way to investigate and simulate strongly correlated quantum matters with degenerate quantum gas.