title: Unsupervised Proxy Selection for Session-based Recommender Systems

abstract: Session-based Recommender Systems (SRSs) have been actively developed to recommend the next item of an anonymous short item sequence (i.e., session). Unlike sequence-aware recommender systems where the whole interaction sequence of each user can be used to model both the short-term interest and the general interest of the user, the absence of user-dependent information in SRSs makes it difficult to directly derive the user's general interest from data. Therefore, existing SRSs have focused on how to effectively model the information about short-term interest within the sessions, but they are insufficient to capture the general interest of users. To this end, we propose a novel framework to overcome the limitation of SRSs, named ProxySR, which imitates the missing information in SRSs (i.e., general interest of users) by modeling proxies of sessions. ProxySR selects a proxy for the input session in an unsupervised manner, and combines it with the encoded short-term interest of the session. As a proxy is jointly learned with the short-term interest and selected by multiple sessions, a proxy learns to play the role of the general interest of a user and ProxySR learns how to select a suitable proxy for an input session. Moreover, we propose another real-world situation of SRSs where a few users are logged-in and leave their identifiers in sessions, and a revision of ProxySR for the situation. Our experiments on real-world datasets show that ProxySR considerably outperforms the state-of-the-art competitors, and the proxies successfully imitate the general interest of the users without any user-dependent information.


title: Population Synthesis of Black Hole Binaries with Compact Star Companions

abstract: We perform a systematic study of merging black hole (BH) binaries with compact star (CS) companions, including black hole--white dwarf (BH--WD), black hole--neutron star (BH--NS) and black hole--black hole (BH--BH) systems. Previous studies have shown that mass transfer stability and common envelope evolution can significantly affect the formation of merging BH--CS binaries through isolated binary evolution. With detailed binary evolution simulations, we obtain easy-to-use criteria for the occurrence of the common envelope phase in mass-transferring BH binaries with a nondegenerate donor, and incorporate into population synthesis calculations. To explore the impact of possible mass gap between NSs and BHs on the properties of merging BH--CS binary population, we adopt different supernova mechanisms involving the \textit{rapid}, \textit{delayed} and \textit{stochastic} prescriptions to deal with the compact remnant masses and the natal kicks. Our calculations show that there are $ \sim 10^{5} -10^{6}$ BH--CS binaries in the Milky Way, among which dozens are observable by future space-based gravitational wave detectors. We estimate that the local merger rate density of all BH--CS systems is $ \sim 60-200 \,\rm Gpc^{-3}yr^{-1}$. While there are no low-mass BHs formed via \textit{rapid} supernovae, both \textit{delayed} and \textit{stochastic} prescriptions predict that $ \sim 100\% $/$ \sim 70\% $/$ \sim 30\% $ of merging BH--WD/BH--NS/BH--BH binaries are likely to have BH components within the mass gap.


title: Maximal pronilfactors and a topological Wiener-Wintner theorem

abstract: For strictly ergodic systems, we introduce the class of CF-Nil($k$) systems: systems for which the maximal measurable and maximal topological $k$-step pronilfactors coincide as measure-preserving systems. Weiss' theorem implies that such systems are abundant in a precise sense. We show that the CF-Nil($k$) systems are precisely the class of minimal systems for which the $k$-step nilsequence version of the Wiener-Wintner average converges everywhere. As part of the proof we establish that pronilsystems are $coalescent$ both in the measurable and topological categories. In addition, we characterize a CF-Nil($k$) system in terms of its $(k+1)$-$th\ dynamical\ cubespace$. In particular, for $k=1$, this provides for strictly ergodic systems a new condition equivalent to the property that every measurable eigenfunction has a continuous version.


title: High Force Density Multi-Stage Electrohydrodynamic Jets Using Folded Laser Microfabricated Electrodes

abstract: The electrohydrodynamic (EHD) force produced by ions ejected from a corona plasma is a solid state, silent mechanism for accelerating air, useful for applications ranging from electronics cooling to flying microrobots. This paper presents the theoretical motivation and the first implementation of a multi-stage, highly miniaturized EHD device, which can provide both improved absolute power output and power density as compared to single-stage devices. A laser microfabricated, folded electrode design reduces component count and assembly time. Data from one, two, and three-stage devices demonstrates a near linear scaling of output force with stage count, indicating inter-stage ducting successfully reduces losses. Device lifetime is assessed to validate the use of stainless-steel emission electrodes. Areal thrust, force density, and volumetric power density for the three-stage device are among the highest ever measured from an EHD actuator.


title: Nuclear fission chain reaction in cooling white dwarf stars

abstract: The first solids that form as a white dwarf (WD) starts to crystallize are expected to be greatly enriched in actinides. Previously [PRL 126, 1311010] we found that these solids might support a nuclear fission chain reaction that could ignite carbon burning and provide a new Type Ia supernova (SN Ia) mechanism involving an {\it isolated} WD. Here we explore this fission mechanism in more detail and calculate the final temperature and density after the chain reaction and discuss a number of open physics questions.


title: Dynamic Data-Race Detection through the Fine-Grained Lens

abstract: Data races are among the most common bugs in concurrency. The standard approach to data-race detection is via dynamic analyses, which work over executions of concurrent programs, instead of the program source code. The rich literature on the topic has created various notions of dynamic data races, which are known to be detected efficiently when certain parameters (e.g., number of threads) are small. However, the \emph{fine-grained} complexity of all these notions of races has remained elusive, making it impossible to characterize their trade-offs between precision and efficiency. In this work we establish several fine-grained separations between many popular notions of dynamic data races. The input is an execution trace with $N$ events, $T$ threads and $L$ locks. Our main results are as follows. First, we show that happens-before (HB) races can be detected in $O(N\cdot \min(T, L))$ time, improving over the standard $O(N\cdot T)$ bound when $L=o(T)$. Moreover, we show that even reporting an HB race that involves a read access is hard for 2-orthogonal vectors (2-OV). This is the first rigorous proof of the conjectured quadratic lower-bound in detecting HB races. Second, we show that the recently introduced synchronization-preserving races are hard to detect for OV-3 and thus have a cubic lower bound, when $T=\Omega(N)$. This establishes a complexity separation from HB races which are known to be less expressive. Third, we show that lock-cover races are hard for 2-OV, and thus have a quadratic lower-bound, even when $T=2$ and $L = \omega(\log N)$. The similar notion of lock-set races is known to be detectable in $O(N\cdot L)$ time, and thus we achieve a complexity separation between the two. Moreover, we show that lock-set races become hitting-set (HS)-hard when $L=\Theta(N)$, and thus also have a quadratic lower bound, when the input is sufficiently complex.


title: Fast Online Algorithms for Linear Programming

abstract: This paper presents fast first-order methods for solving linear programs (LP) approximately. We adapt online linear programming algorithms to offline LPs and obtain algorithms that avoid any matrix multiplication. We also introduce a variable-duplication technique that copies each variable $K$ times and reduces optimality gap and constraint violation by a factor of $\sqrt{K}$. Furthermore, we show how online algorithms can be effectively integrated into sifting, a column generation scheme for large-scale LPs. Numerical experiments demonstrate that our methods can serve as either an approximate direct solver, or an initialization subroutine for exact LP solving.


title: Study muon g-2 at two-loop level in the $U(1)_X$SSM

abstract: The new experiment data of muon g-2 is reported by the workers at Fermilab National Accelerator Laboratory(FNAL). Combined with the previous Brookhaven National Laboratory(BNL) E821 result, the departure from the standard model prediction is about 4.2 $\sigma$. It strengthens our faith in the new physics. $U(1)_X$SSM is the U(1) extension of the minimal supersymmetric standard model, where we study the electroweak corrections to the anomalous magnetic dipole moment of muon from the one-loop diagrams and some two-loop diagrams possessing important contributions. These two-loop diagrams include Barr-Zee type, rainbow type and diamond type. The virtual supersymmetric particles in these two-loop diagrams are chargino, scalar neutrino, neutralino, scalar lepton, which are supposed not very heavy to make relatively large corrections. We obtain the Wilson coefficients of the dimension 6 operators inducing the anomalous magnetic dipole moment of muon. The numerical results can reach $25\times 10^{-10}$ and even larger.


title: A Note on General Statistics of Publicly Accessible Knowledge Bases

abstract: Knowledge bases are prevalent in various domains and have been widely used in a large number of real applications such as applications in online encyclopedia, social media, biomedical fields, bibliographical networks. Due to their great importance, knowledge bases have received much attention from both the academia and industry community in recent years. In this paper, we provide a summary of the general statistics of several open-source and publicly accessible knowledge bases, ranging from the number of objects, relations to the object types and the relation types. With such statistics, this concise note can not only help researchers form a better and quick understanding of existing open accessible knowledge bases, but can also guide the general audience to use the resource effectively when they conduct research with knowledge bases.


title: Deep Structural Point Process for Learning Temporal Interaction Networks

abstract: This work investigates the problem of learning temporal interaction networks. A temporal interaction network consists of a series of chronological interactions between users and items. Previous methods tackle this problem by using different variants of recurrent neural networks to model sequential interactions, which fail to consider the structural information of temporal interaction networks and inevitably lead to sub-optimal results. To this end, we propose a novel Deep Structural Point Process termed as DSPP for learning temporal interaction networks. DSPP simultaneously incorporates the topological structure and long-range dependency structure into our intensity function to enhance model expressiveness. To be specific, by using the topological structure as a strong prior, we first design a topological fusion encoder to obtain node embeddings. An attentive shift encoder is then developed to learn the long-range dependency structure between users and items in continuous time. The proposed two modules enable our model to capture the user-item correlation and dynamic influence in temporal interaction networks. DSPP is evaluated on three real-world datasets for both tasks of item prediction and time prediction. Extensive experiments demonstrate that our model achieves consistent and significant improvements over state-of-the-art baselines.


title: On the 4-Adic Complexity of Quaternary Sequences with Ideal Autocorrelation

abstract: In this paper, we determine the 4-adic complexity of the balanced quaternary sequences of period $2p$ and $2(2^n-1)$ with ideal autocorrelation defined by Kim et al. (ISIT, pp. 282-285, 2009) and Jang et al. (ISIT, pp. 278-281, 2009), respectively. Our results show that the 4-adic complexity of the quaternary sequences defined in these two papers is large enough to resist the attack of the rational approximation algorithm.


title: Uncertainty-aware Human Motion Prediction

abstract: Human motion prediction is essential for tasks such as human motion analysis and human-robot interactions. Most existing approaches have been proposed to realize motion prediction. However, they ignore an important task, the evaluation of the quality of the predicted result. It is far more enough for current approaches in actual scenarios because people can't know how to interact with the machine without the evaluation of prediction, and unreliable predictions may mislead the machine to harm the human. Hence, we propose an uncertainty-aware framework for human motion prediction (UA-HMP). Concretely, we first design an uncertainty-aware predictor through Gaussian modeling to achieve the value and the uncertainty of predicted motion. Then, an uncertainty-guided learning scheme is proposed to quantitate the uncertainty and reduce the negative effect of the noisy samples during optimization for better performance. Our proposed framework is easily combined with current SOTA baselines to overcome their weakness in uncertainty modeling with slight parameters increment. Extensive experiments also show that they can achieve better performance in both short and long-term predictions in H3.6M, CMU-Mocap.


title: Rethinking of Pedestrian Attribute Recognition: A Reliable Evaluation under Zero-Shot Pedestrian Identity Setting

abstract: Pedestrian attribute recognition aims to assign multiple attributes to one pedestrian image captured by a video surveillance camera. Although numerous methods are proposed and make tremendous progress, we argue that it is time to step back and analyze the status quo of the area. We review and rethink the recent progress from three perspectives. First, given that there is no explicit and complete definition of pedestrian attribute recognition, we formally define and distinguish pedestrian attribute recognition from other similar tasks. Second, based on the proposed definition, we expose the limitations of the existing datasets, which violate the academic norm and are inconsistent with the essential requirement of practical industry application. Thus, we propose two datasets, PETA\textsubscript{$ZS$} and RAP\textsubscript{$ZS$}, constructed following the zero-shot settings on pedestrian identity. In addition, we also introduce several realistic criteria for future pedestrian attribute dataset construction. Finally, we reimplement existing state-of-the-art methods and introduce a strong baseline method to give reliable evaluations and fair comparisons. Experiments are conducted on four existing datasets and two proposed datasets to measure progress on pedestrian attribute recognition.


title: Adaptive Stress Testing for Adversarial Learning in a Financial Environment

abstract: We demonstrate the use of Adaptive Stress Testing to detect and address potential vulnerabilities in a financial environment. We develop a simplified model for credit card fraud detection that utilizes a linear regression classifier based on historical payment transaction data coupled with business rules. We then apply the reinforcement learning model known as Adaptive Stress Testing to train an agent, that can be thought of as a potential fraudster, to find the most likely path to system failure -- successfully defrauding the system. We show the connection between this most likely failure path and the limits of the classifier and discuss how the fraud detection system's business rules can be further augmented to mitigate these failure modes.


title: Video 3D Sampling for Self-supervised Representation Learning

abstract: Most of the existing video self-supervised methods mainly leverage temporal signals of videos, ignoring that the semantics of moving objects and environmental information are all critical for video-related tasks. In this paper, we propose a novel self-supervised method for video representation learning, referred to as Video 3D Sampling (V3S). In order to sufficiently utilize the information (spatial and temporal) provided in videos, we pre-process a video from three dimensions (width, height, time). As a result, we can leverage the spatial information (the size of objects), temporal information (the direction and magnitude of motions) as our learning target. In our implementation, we combine the sampling of the three dimensions and propose the scale and projection transformations in space and time respectively. The experimental results show that, when applied to action recognition, video retrieval and action similarity labeling, our approach improves the state-of-the-arts with significant margins.


title: On the geometric connected components of moduli spaces of p-adic shtukas and local Shimura varieties

abstract: We study connected components of local Shimura varieties. Given local shtuka datum $(G,b,\mu)$, with $G$ unramified over $\mathbb{Q}_p$ and $(b,\mu)$ HN-irreducible, we determine $\pi_0(\mathrm{Sht}_{G,b,[\mu],\infty}\times \mathbb{C}_p)$ with its $G(\mathbb{Q}_p)\times J_b(\mathbb{Q}p)\times W_E$-action. This confirms new cases of a conjecture of Rapoport and Viehmann. We construct and study the specialization map for moduli spaces of $p$-adic shtukas at parahoric level whose target is an affine Deligne--Lusztig variety.


title: Strong clustering of primordial black holes from Affleck-Dine mechanism

abstract: Primordial black hole (PBH) is a fascinating candidate for the origin of binary merger events observed by LIGO-Virgo collaboration. The spatial distribution of PBHs at formation is an important feature to estimate the merger rate. We investigate the clustering of PBHs formed by Affleck-Dine (AD) baryogenesis, where dense baryon bubbles collapse to form PBHs. We found that formed PBHs show a strong clustering due to the stochastic dynamics of the AD field. Including the clustering, we evaluate the merger rate and isocurvature perturbations of PBHs, which show significant deviations from those without clustering.


title: Cell phenotypic transition proceeds through concerted reorganization of gene regulatory network

abstract: Phenotype transition takes place in many biological processes such as differentiation, and understanding how a cell reprograms its global gene expression profile is a problem of rate theories. A cell phenotype transition accompanies with switching of expression rates of clusters of genes, analogous to domain flipping in an Ising system. Here through analyzing single cell RNA sequencing data in the framework of transition path theory, we set to study how such a genome-wide expression program switching proceeds in three different cell transition processes. For each process after reconstructing a Markov transition model in the cell state space, we formed an ensemble of shortest paths connecting the initial and final cell states, reconstructed a reaction coordinate describing the transition progression, and inferred the gene regulation network (GRN) along the reaction coordinate. In all three processes we observed common pattern that the frustration of gene regulatory network (GRN), defined as overall confliction between the regulation received by genes and their expression states, first increases then decreases when approaching a new phenotype. The results support a mechanism of concerted silencing of genes that are active in the initial phenotype and activation of genes that are active in the final phenotype.


title: Design and Deployment of an Autonomous Unmanned Ground Vehicle for Urban Firefighting Scenarios

abstract: Autonomous mobile robots have the potential to solve missions that are either too complex or dangerous to be accomplished by humans. In this paper, we address the design and autonomous deployment of a ground vehicle equipped with a robotic arm for urban firefighting scenarios. We describe the hardware design and algorithm approaches for autonomous navigation, planning, fire source identification and abatement in unstructured urban scenarios. The approach employs on-board sensors for autonomous navigation and thermal camera information for source identification. A custom electro{mechanical pump is responsible to eject water for fire abatement. The proposed approach is validated through several experiments, where we show the ability to identify and abate a sample heat source in a building. The whole system was developed and deployed during the Mohamed Bin Zayed International Robotics Challenge (MBZIRC) 2020, for Challenge No. 3 Fire Fighting Inside a High-Rise Building and during the Grand Challenge where our approach scored the highest number of points among all UGV solutions and was instrumental to win the first place.


title: Measurement of structure dependent radiative $K^{+} \rightarrow e^{+} \nu \gamma$ decays using stopped positive kaons

abstract: The structure dependent radiative $K^+ \rightarrow e^+ \nu \gamma$ ($K_{e2\gamma}^{\rm SD^+}$) decay was investigated with stopped positive kaons. The $e^+$ momentum spectra containing 574$\pm$30 $K_{e2\gamma}^{\rm SD^+}$ events with a $K^+ \rightarrow \mu^+ \nu$ ($K_{\mu2}$) background of 28$\pm$19 events were measured with and without a photon in coincidence and analyzed with Monte Carlo simulations for acceptance and detector response to extract the ratio of the branching ratio of the $K_{e2\gamma}^{\rm SD^+}$ decay and the $K^+ \rightarrow e^+ \nu$ decay including the internal bremsstrahlung process ($K_{e2(\gamma)}$). A value of $Br(K_{e2\gamma}^{\rm SD^+}) / Br(K_{e2(\gamma)}) = 1.12\pm0.07_{\rm stat} \pm 0.04_{\rm syst}$ was obtained. This indicates a partial branching ratio, $Br(K_{e2\gamma}^{\rm SD^+}, ~{p_e>200~{\rm MeV}/c}, ~{E_\gamma>10~{\rm MeV}})/Br(K_{\mu2}) =(1.85 \pm 0.11_{\rm{stat}} \pm 0.07_{\rm{syst}}) \times10^{-5}$, which is $25\%(\sim$2.5$\sigma)$ higher than the previous experimental result.


title: Evaluating Sensitivity to the Stick-Breaking Prior in Bayesian Nonparametrics

abstract: Bayesian models based on the Dirichlet process and other stick-breaking priors have been proposed as core ingredients for clustering, topic modeling, and other unsupervised learning tasks. Prior specification is, however, relatively difficult for such models, given that their flexibility implies that the consequences of prior choices are often relatively opaque. Moreover, these choices can have a substantial effect on posterior inferences. Thus, considerations of robustness need to go hand in hand with nonparametric modeling. In the current paper, we tackle this challenge by exploiting the fact that variational Bayesian methods, in addition to having computational advantages in fitting complex nonparametric models, also yield sensitivities with respect to parametric and nonparametric aspects of Bayesian models. In particular, we demonstrate how to assess the sensitivity of conclusions to the choice of concentration parameter and stick-breaking distribution for inferences under Dirichlet process mixtures and related mixture models. We provide both theoretical and empirical support for our variational approach to Bayesian sensitivity analysis.


title: Improved bounds for colouring circle graphs

abstract: We prove the first $\chi$-bounding function for circle graphs that is optimal up to a constant factor. To be more precise, we prove that every circle graph with clique number at most $\omega$ has chromatic number at most $2\omega \log_2 (\omega) +2\omega \log_2(\log_2 (\omega)) + 10\omega$.


title: Chiral domain wall dynamics in magnetic heterostructures with bulk Dzyaloshinskii-Moriya interactions

abstract: In this work, dynamics of chiral domain walls in long and narrow magnetic heterostructures based on non-centrosymmetric chiral magnets with bulk Dzyaloshinskii-Moriya interactions (DMI) and perpendicular magnetic anisotropy is systematically investigated. The driving forces can be out-of-plane magnetic fields and in-plane currents, correspondingly both steady and precessional flows are considered. Their dividing points (the Walker critical field and current density) are obtained as functions of bulk DMI strength ($D_{\mathrm{b}}$) and the ratio ($\kappa$) of total (crystalline plus shape) anisotropy in the hard axis over that in the easy one. When far beyond Walker breakdown, the dependence curve of wall velocity on external in-plane bias field takes parabolic shape around the compensation point where the total in-plane field disappears. The center shift is determined by $D_{\mathrm{b}}$, $\kappa$, and the wall's topological charge, thus can be used to measure the bulk DMI strength in chiral magnets.


title: The Jacobian Conjecture and Partial Differential Equations

abstract: The Jacobian conjecture over a field of characteristic zero is considered directly in view of the nonlinear partial differential equations it is associated with. Exploring such partial differential equations, this work obtains broad families of polynomial maps satisfying the conjecture in all dimensions and of arbitrarily high degrees and henceforth affirmatively and constructively settles a reformulated multiply parametrized version of the conjecture in all dimensions.


title: Identification and Adaptation with Binary-Valued Observations under Non-Persistent Excitation Condition

abstract: Dynamical systems with binary-valued observations are widely used in information industry, technology of biological pharmacy and other fields. Though there have been much efforts devoted to the identification of such systems, most of the previous investigations are based on first-order gradient algorithm which usually has much slower convergence rate than the Quasi-Newton algorithm. Moreover, persistence of excitation(PE) conditions are usually required to guarantee consistent parameter estimates in the existing literature, which are hard to be verified or guaranteed for feedback control systems. In this paper, we propose an online projected Quasi-Newton type algorithm for parameter estimation of stochastic regression models with binary-valued observations and varying thresholds. By using both the stochastic Lyapunov function and martingale estimation methods, we establish the strong consistency of the estimation algorithm and provide the convergence rate, under a signal condition which is considerably weaker than the traditional PE condition and coincides with the weakest possible excitation known for the classical least square algorithm of stochastic regression models. Convergence of adaptive predictors and their applications in adaptive control are also discussed.


title: Characterising Improvements in Photometric Redshift Probability Density Functions with Galaxy Morphology

abstract: In this work, we studied the impact of galaxy morphology on photometric redshift (photo-$z$) probability density functions (PDFs). By including galaxy morphological parameters like the radius, axis-ratio, surface brightness and the S\'ersic index in addition to the $ugriz$ broadbands as input parameters, we used the machine learning photo-$z$ algorithm ANNz2 to train and test on galaxies from the Canada-France-Hawaii Telescope Stripe-82 (CS82) Survey. Metrics like the continuous ranked probability score (CRPS), probability integral transform (PIT), Bayesian odds parameter, and even the width and height of the PDFs were evaluated, and the results were compared when different number of input parameters were used during the training process. We find improvements in the CRPS and width of the PDFs when galaxy morphology has been added to the training, and the improvement is larger especially when the number of broadband magnitudes are lacking.


title: CTM/Zeta Correspondence

abstract: In our previous work, we investigated the relation between zeta functions and discrete-time models including random and quantum walks. In this paper, we introduce a zeta function for the continuous-time model (CTM) and consider CTMs including the corresponding random and quantum walks on the d-dimensional torus.


title: Relation-Based Associative Joint Location for Human Pose Estimation in Videos

abstract: Video-based human pose estimation (VHPE) is a vital yet challenging task. While deep learning methods have made significant progress for the VHPE, most approaches to this task implicitly model the long-range interaction between joints by enlarging the receptive field of the convolution. Unlike prior methods, we design a lightweight and plug-and-play joint relation extractor (JRE) to model the associative relationship between joints explicitly and automatically. The JRE takes the pseudo heatmaps of joints as input and calculates the similarity between pseudo heatmaps. In this way, the JRE flexibly learns the relationship between any two joints, allowing it to learn the rich spatial configuration of human poses. Moreover, the JRE can infer invisible joints according to the relationship between joints, which is beneficial for the model to locate occluded joints. Then, combined with temporal semantic continuity modeling, we propose a Relation-based Pose Semantics Transfer Network (RPSTN) for video-based human pose estimation. Specifically, to capture the temporal dynamics of poses, the pose semantic information of the current frame is transferred to the next with a joint relation guided pose semantics propagator (JRPSP). The proposed model can transfer the pose semantic features from the non-occluded frame to the occluded frame, making our method robust to the occlusion. Furthermore, the proposed JRE module is also suitable for image-based human pose estimation. The proposed RPSTN achieves state-of-the-art results on the video-based Penn Action dataset, Sub-JHMDB dataset, and PoseTrack2018 dataset. Moreover, the proposed JRE improves the performance of backbones on the image-based COCO2017 dataset. Code is available at https://github.com/YHDang/pose-estimation.


title: Conformer-specific Chemistry Imaged in Real Space and Time

abstract: Conformational isomers or conformers of molecules play a decisive role in chemistry and biology. However, experimental methods to investigate chemical reaction dynamics are typically not conformer-sensitive. Here, we report on a gas-phase megaelectronvolt ultrafast electron diffraction investigation of {\alpha}-phellandrene undergoing an electrocyclic ring-opening reaction. We directly image the evolution of a specific set of {\alpha}-phellandrene conformers into the product isomer predicted by the Woodward-Hoffmann rules in real space and time. Our experimental results are in quantitative agreement with nonadiabatic quantum molecular dynamics simulations, which provide unprecedented detail of how conformation influences time scale and quantum efficiency of photoinduced ring-opening reactions. Due to the prevalence of large numbers of conformers in organic chemistry, our findings impact our general understanding of reaction dynamics in chemistry and biology.


title: Some invariant subalgebras are graded isolated singularities

abstract: In this note, we prove that the invariant subalgebra of the (-1)-skew polynomial algebra under a permutation action is a graded isolated singularity, and thus a conjecture of Chan-Young-Zhang is true.


title: Derived equivalences for a class of PI algebras

abstract: A description of tilting complexes is given for a class of PI algebras whose prime spectrum is canonically homeomorphic to the prime spectrum of its center. Some Sklyanin algebras are the kind of algebras considered. As an application, it is proved that any algebra derived equivalent to such kind of algebra, is Morita equivalent to it.


title: Photonic circuits for laser stabilization with ultra-low-loss and nonlinear resonators

abstract: Laser-frequency stabilization with on-chip photonic integrated circuits will provide compact, low cost solutions to realize spectrally pure laser sources. Developing high-performance and scalable lasers is critical for applications including quantum photonics, precision navigation and timing, spectroscopy, and high-capacity fiber communications. We demonstrate a significant advance in compact, stabilized lasers to achieve a record low integral emission linewidth and precision carrier stabilization by combining integrated waveguide nonlinear Brillouin and ultra-low loss waveguide reference resonators. Using a pair of 56.4 Million quality factor (Q) Si$_3$N$_4$ waveguide ring-resonators, we reduce the free running Brillouin laser linewidth by over an order of magnitude to 330 Hz integral linewidth and stabilize the carrier to 6.5$\times$10$^{-13}$ fractional frequency at 8 ms, reaching the cavity-intrinsic thermorefractive noise limit for frequencies down to 80 Hz. This work demonstrates the lowest linewidth and highest carrier stability achieved to date using planar, CMOS compatible photonic integrated resonators, to the best of our knowledge. These results pave the way to transfer stabilized laser technology from the tabletop to the chip-scale. This advance makes possible scaling the number of stabilized lasers and complexity of atomic and molecular experiments as well as reduced sensitivity to environmental disturbances and portable precision atomic, molecular and optical (AMO) solutions.


title: Emergence of Unconventional Interfacial Magnetic Phenomenon in Topological Insulator-Based Magnetic Heterostructures

abstract: In a topological insulator (TI)/magnetic insulator (MI) hetero-structure, large spin-orbit coupling of the TI and inversion symmetry breaking at the interface could foster non-planar spin textures such as skyrmions at the interface. This is observed as topological Hall effect in a conventional Hall set-up. While this effect has been observed at the interface of TI/MI, where MI beholds perpendicular magnetic anisotropy, non-trivial spin-textures that develop in interfacial MI with in-plane magnetic anisotropy is under-reported. In this work, we study Bi$_2$Te$_3$/EuS hetero-structure using planar Hall effect (PHE). We observe planar topological Hall and spontaneous planar Hall features that are characteristic of non-trivial in-plane spin textures at the interface. We find that the latter is minimum when the current and magnetic field directions are aligned parallel, and maximum when they are aligned perpendicularly within the sample plane, which maybe attributed to the underlying planar anisotropy of the spin-texture. These results demonstrate the importance of PHE for sensitive detection and characterization of non-trivial magnetic phase that has evaded exploration in the TI/MI interface.


title: Causal Structural Learning Via Local Graphs

abstract: We consider the problem of learning causal structures in sparse high-dimensional settings that may be subject to the presence of (potentially many) unmeasured confounders, as well as selection bias. Based on the structure found in common families of large random networks and examining the representation of local structures in linear structural equation models (SEM), we propose a new local notion of sparsity for consistent structure learning in the presence of latent and selection variables, and develop a new version of the Fast Causal Inference (FCI) algorithm with reduced computational and sample complexity, which we refer to as local FCI (lFCI). The new notion of sparsity allows the presence of highly connected hub nodes, which are common in real-world networks, but problematic for existing methods. Our numerical experiments indicate that the lFCI algorithm achieves state-of-the-art performance across many classes of large random networks, and its performance is superior to that of existing methods for networks containing hub nodes.


title: A note on the discriminant of reflection Hopf algebras

abstract: We provide a formula for commputing the discriminant of skew Calabi-Yau algebra over a central Calabi-Yau algebra. This method is applied to study the Jacobian and discriminant for reflection Hopf algebras.


title: A Liouville theorem for the Neumann problem of the Monge-Ampere equation

abstract: In this paper, we study the Neumann problem of Monge-Amp\`ere equations in Semi-space. For two dimensional case, we prove that its viscosity convex solutions must be a quadratic polynomial. When the space dimension $n\geq 3$, we show that the conclusion still holds if either the boundary value is zero or the viscosity convex solutions restricted on some $n-2$ dimensional subspace is bounded from above by a quadratic function.


title: Reinforcement Learning based Negotiation-aware Motion Planning of Autonomous Vehicles

abstract: For autonomous vehicles integrating onto roadways with human traffic participants, it requires understanding and adapting to the participants' intention and driving styles by responding in predictable ways without explicit communication. This paper proposes a reinforcement learning based negotiation-aware motion planning framework, which adopts RL to adjust the driving style of the planner by dynamically modifying the prediction horizon length of the motion planner in real time adaptively w.r.t the event of a change in environment, typically triggered by traffic participants' switch of intents with different driving styles. The framework models the interaction between the autonomous vehicle and other traffic participants as a Markov Decision Process. A temporal sequence of occupancy grid maps are taken as inputs for RL module to embed an implicit intention reasoning. Curriculum learning is employed to enhance the training efficiency and the robustness of the algorithm. We applied our method to narrow lane navigation in both simulation and real world to demonstrate that the proposed method outperforms the common alternative due to its advantage in alleviating the social dilemma problem with proper negotiation skills.


title: Superpoint-guided Semi-supervised Semantic Segmentation of 3D Point Clouds

abstract: 3D point cloud semantic segmentation is a challenging topic in the computer vision field. Most of the existing methods in literature require a large amount of fully labeled training data, but it is extremely time-consuming to obtain these training data by manually labeling massive point clouds. Addressing this problem, we propose a superpoint-guided semi-supervised segmentation network for 3D point clouds, which jointly utilizes a small portion of labeled scene point clouds and a large number of unlabeled point clouds for network training. The proposed network is iteratively updated with its predicted pseudo labels, where a superpoint generation module is introduced for extracting superpoints from 3D point clouds, and a pseudo-label optimization module is explored for automatically assigning pseudo labels to the unlabeled points under the constraint of the extracted superpoints. Additionally, there are some 3D points without pseudo-label supervision. We propose an edge prediction module to constrain features of edge points. A superpoint feature aggregation module and a superpoint feature consistency loss function are introduced to smooth superpoint features. Extensive experimental results on two 3D public datasets demonstrate that our method can achieve better performance than several state-of-the-art point cloud segmentation networks and several popular semi-supervised segmentation methods with few labeled scenes.


title: Case-based Similar Image Retrieval for Weakly Annotated Large Histopathological Images of Malignant Lymphoma Using Deep Metric Learning

abstract: In the present study, we propose a novel case-based similar image retrieval (SIR) method for hematoxylin and eosin (H&E)-stained histopathological images of malignant lymphoma. When a whole slide image (WSI) is used as an input query, it is desirable to be able to retrieve similar cases by focusing on image patches in pathologically important regions such as tumor cells. To address this problem, we employ attention-based multiple instance learning, which enables us to focus on tumor-specific regions when the similarity between cases is computed. Moreover, we employ contrastive distance metric learning to incorporate immunohistochemical (IHC) staining patterns as useful supervised information for defining appropriate similarity between heterogeneous malignant lymphoma cases. In the experiment with 249 malignant lymphoma patients, we confirmed that the proposed method exhibited higher evaluation measures than the baseline case-based SIR methods. Furthermore, the subjective evaluation by pathologists revealed that our similarity measure using IHC staining patterns is appropriate for representing the similarity of H&E-stained tissue images for malignant lymphoma.


title: CLAIM: Curriculum Learning Policy for Influence Maximization in Unknown Social Networks

abstract: Influence maximization is the problem of finding a small subset of nodes in a network that can maximize the diffusion of information. Recently, it has also found application in HIV prevention, substance abuse prevention, micro-finance adoption, etc., where the goal is to identify the set of peer leaders in a real-world physical social network who can disseminate information to a large group of people. Unlike online social networks, real-world networks are not completely known, and collecting information about the network is costly as it involves surveying multiple people. In this paper, we focus on this problem of network discovery for influence maximization. The existing work in this direction proposes a reinforcement learning framework. As the environment interactions in real-world settings are costly, so it is important for the reinforcement learning algorithms to have minimum possible environment interactions, i.e, to be sample efficient. In this work, we propose CLAIM - Curriculum LeArning Policy for Influence Maximization to improve the sample efficiency of RL methods. We conduct experiments on real-world datasets and show that our approach can outperform the current best approach.


title: Measurement of $e^+e^-\to\gamma \chi_{c0,c1,c2}$ cross sections at center-of-mass energies between 3.77 and 4.60 GeV

abstract: The $e^+e^-\to\gamma\chi_{cJ}$ ($J=0,1,2$) processes are studied at center-of-mass energies ranging from 3.773 to 4.600 GeV, using a total integrated luminosity of 19.3 fb$^{-1}$ $e^+e^-$ annihilation data accumulated with the BESIII detector at BEPCII. We observe for the first time $e^+e^-\to\gamma \chi_{c1,c2}$ signals at $\sqrt{s}=$ 4.180 GeV with statistical significances of 7.6$\sigma$ and 6.0$\sigma$, respectively. The production cross section of $e^+e^-\to\gamma \chi_{c1,c2}$ at each center-of-mass energy is also measured. We find that the line shape of the $e^+e^-\to\gamma \chi_{c1}$ cross section can be described with conventional charmonium states $\psi(3686)$, $\psi(3770)$, $\psi(4040)$, $\psi(4160)$. Compared with this, for the $e^+e^-\to\gamma \chi_{c2}$ channel, one more additional resonance is added to describe the cross section line shape. Its mass and width are measured to be $M=4371.7\pm7.5\pm1.8$ MeV/$c^2$ and $\Gamma^{tot}=51.1\pm17.6\pm1.9$ MeV, where the first uncertainties are statistical and the second systematic. The significance of this resonance is estimated to be 5.8$\sigma$, and its parameters agree with the $Y(4360)$ resonance previously reported in $e^+e^-\to\pi^+\pi^-\psi(3686)$, and the $Y(4390)$ in $e^+e^-\to\pi^+\pi^-h_c$ within uncertainties. No significant signal for the $e^+e^-\to\gamma \chi_{c0}$ process is observed, and the upper limits of Born cross sections $\sigma_{B}(e^+e^-\to\gamma \chi_{c0})$ at 90\% confidence level are reported.


title: PNC Enabled IIoT: A General Framework for Channel-Coded Asymmetric Physical-Layer Network Coding

abstract: This paper investigates the application of physical-layer network coding (PNC) to Industrial Internet-of-Things (IIoT) where a controller and a robot are out of each other's transmission range, and they exchange messages with the assistance of a relay. We particularly focus on a scenario where the controller has more transmitted information, and the channel of the controller is stronger than that of the robot. To reduce the communication latency, we propose an asymmetric transmission scheme where the controller and robot transmit different amount of information in the uplink of PNC simultaneously. To achieve this, the controller chooses a higher order modulation. In addition, the both users apply channel codes to guarantee the reliability. A problem is a superimposed symbol at the relay contains different amount of source information from the two end users. It is thus hard for the relay to deduce meaningful network-coded messages by applying the current PNC decoding techniques which require the end users to transmit the same amount of information. To solve this problem, we propose a lattice-based scheme where the two users encode-and-modulate their information in lattices with different lattice construction levels. Our design is versatile on that the two end users can freely choose their modulation orders based on their channel power, and the design is applicable for arbitrary channel codes.


title: 4D Attention: Comprehensive Framework for Spatio-Temporal Gaze Mapping

abstract: This study presents a framework for capturing human attention in the spatio-temporal domain using eye-tracking glasses. Attention mapping is a key technology for human perceptual activity analysis or Human-Robot Interaction (HRI) to support human visual cognition; however, measuring human attention in dynamic environments is challenging owing to the difficulty in localizing the subject and dealing with moving objects. To address this, we present a comprehensive framework, 4D Attention, for unified gaze mapping onto static and dynamic objects. Specifically, we estimate the glasses pose by leveraging a loose coupling of direct visual localization and Inertial Measurement Unit (IMU) values. Further, by installing reconstruction components into our framework, dynamic objects not captured in the 3D environment map are instantiated based on the input images. Finally, a scene rendering component synthesizes a first-person view with identification (ID) textures and performs direct 2D-3D gaze association. Quantitative evaluations showed the effectiveness of our framework. Additionally, we demonstrated the applications of 4D Attention through experiments in real situations.


title: SpecGrav -- Detection of Gravitational Waves using Deep Learning

abstract: Gravitational waves are ripples in the fabric of space-time that travel at the speed of light. The detection of gravitational waves by LIGO is a major breakthrough in the field of astronomy. Deep Learning has revolutionized many industries including health care, finance and education. Deep Learning techniques have also been explored for detection of gravitational waves to overcome the drawbacks of traditional matched filtering method. However, in several researches, the training phase of neural network is very time consuming and hardware devices with large memory are required for the task. In order to reduce the extensive amount of hardware resources and time required in training a neural network for detecting gravitational waves, we made SpecGrav. We use 2D Convolutional Neural Network and spectrograms of gravitational waves embedded in noise to detect gravitational waves from binary black hole merger and binary neutron star merger. The training phase of our neural network was of about just 19 minutes on a 2GB GPU.


title: Studies of Cepheus X-4 during 2018 outburst observed with AstroSat

abstract: We present timing and spectral results of 2018 outburst of Cepheus X-4, observed twice by AstroSat at luminosity of $2.04 \times 10^{37}$ erg s$^{-1}$ and $1.02 \times 10^{37}$ erg s$^{-1}$ respectively. The light curves showed strong pulsation and co-related X-ray intensity variation in SXT (0.5--8.0 keV) and LAXPC (3--60 keV) energy bands. Spin-period and spin-down rate of the pulsar were determined from two observations as $65.35080\pm0.00014$ s , $(-2.10\pm0.8)\times10^{-12}$ Hz s$^{-1}$ at an epoch MJD 58301.61850 and $65.35290\pm0.00017$ s, $(-1.6\pm0.8)\times10^{-12}$ Hz s$^{-1}$ for an epoch MJD 58307.40211. Pulse-shape studies with AstroSat showed energy and intensity dependent variations. The pulsar showed an overall continuous spin-down, over 30 years at an average-rate of $(-2.455\pm0.004)\times10^{-14}$ Hz s$^{-1}$, attributed to propeller-effect in the subsonic-regime of the pulsar, in addition to variations during its outburst activities. Spectra between 0.7--55 keV energy band were well fitted by two continuum models, an absorbed compTT-model and an absorbed power-law with a Fermi-Dirac cutoff (FD-cutoff) model with a black-body. These were combined with an iron-emission line and a cyclotron absorption line. The prominent cyclotron resonance scattering features with a peak absorption energy of $30.48^{+0.33}_{-0.34}$ keV and $30.68^{+0.45}_{-0.44}$ keV for FD-cutoff-model and $30.46^{+0.32}_{-0.28}$ keV and $30.30^{+0.36}_{-0.34}$ keV for compTT-model were detected during two AstroSat observations. These when compared with earlier results, showed long term stability of its average value of $30.23 \pm 0.22$ keV. The pulsar showed pulse-phase as well as luminosity dependent variations in cyclotron-line energy and width and in plasma optical-depth of its spectral continuum.


title: Multi-frame Collaboration for Effective Endoscopic Video Polyp Detection via Spatial-Temporal Feature Transformation

abstract: Precise localization of polyp is crucial for early cancer screening in gastrointestinal endoscopy. Videos given by endoscopy bring both richer contextual information as well as more challenges than still images. The camera-moving situation, instead of the common camera-fixed-object-moving one, leads to significant background variation between frames. Severe internal artifacts (e.g. water flow in the human body, specular reflection by tissues) can make the quality of adjacent frames vary considerately. These factors hinder a video-based model to effectively aggregate features from neighborhood frames and give better predictions. In this paper, we present Spatial-Temporal Feature Transformation (STFT), a multi-frame collaborative framework to address these issues. Spatially, STFT mitigates inter-frame variations in the camera-moving situation with feature alignment by proposal-guided deformable convolutions. Temporally, STFT proposes a channel-aware attention module to simultaneously estimate the quality and correlation of adjacent frames for adaptive feature aggregation. Empirical studies and superior results demonstrate the effectiveness and stability of our method. For example, STFT improves the still image baseline FCOS by 10.6% and 20.6% on the comprehensive F1-score of the polyp localization task in CVC-Clinic and ASUMayo datasets, respectively, and outperforms the state-of-the-art video-based method by 3.6% and 8.0%, respectively. Code is available at \url{https://github.com/lingyunwu14/STFT}.


title: NccFlow: Unsupervised Learning of Optical Flow With Non-occlusion from Geometry

abstract: Optical flow estimation is a fundamental problem of computer vision and has many applications in the fields of robot learning and autonomous driving. This paper reveals novel geometric laws of optical flow based on the insight and detailed definition of non-occlusion. Then, two novel loss functions are proposed for the unsupervised learning of optical flow based on the geometric laws of non-occlusion. Specifically, after the occlusion part of the images are masked, the flowing process of pixels is carefully considered and geometric constraints are conducted based on the geometric laws of optical flow. First, neighboring pixels in the first frame will not intersect during the pixel displacement to the second frame. Secondly, when the cluster containing adjacent four pixels in the first frame moves to the second frame, no other pixels will flow into the quadrilateral formed by them. According to the two geometrical constraints, the optical flow non-intersection loss and the optical flow non-blocking loss in the non-occlusion regions are proposed. Two loss functions punish the irregular and inexact optical flows in the non-occlusion regions. The experiments on datasets demonstrated that the proposed unsupervised losses of optical flow based on the geometric laws in non-occlusion regions make the estimated optical flow more refined in detail, and improve the performance of unsupervised learning of optical flow. In addition, the experiments training on synthetic data and evaluating on real data show that the generalization ability of optical flow network is improved by our proposed unsupervised approach.


title: Stool Studies Don't Pass the Sniff Test: A Systematic Review of Human Gut Microbiome Research Suggests Widespread Misuse of Machine Learning

abstract: In the machine learning culture, an independent test set is required for proper model verification. Failures in model verification, including test set omission and test set leakage, make it impossible to know whether or not a trained model is fit for purpose. In this article, we present a systematic review and quantitative analysis of human gut microbiome classification studies, conducted to measure the frequency and impact of test set omission and test set leakage on area under the receiver operating curve (AUC) reporting. Among 102 articles included for analysis, we find that only 12% of studies report a bona fide test set AUC, meaning that the published AUCs for 88% of studies cannot be trusted at face value. Our findings cast serious doubt on the general validity of research claiming that the gut microbiome has high diagnostic or prognostic potential in human disease.


title: Quantum projective planes as certain graded twisted tensor products

abstract: Let $\mathbb{k}$ be an algebraically closed field. Building upon previous work, we classify, up to isomorphism of graded algebras, quadratic graded twisted tensor products of $\mathbb{k}[x,y]$ and $\mathbb{k}[z]$. When such an algebra is Artin-Schelter regular, we identify its point scheme and type. We also describe which three-dimensional Sklyanin algebras contain a subalgebra isomorphic to a quantum $\mathbb{P}^1$, and we show that every algebra in this family is a graded twisted tensor product of $\mathbb{k}_{-1}[x,y]$ and $\mathbb{k}[z]$.


title: European Longitude Prizes. III. The Unsolved Mystery of an Alleged Venetian Longitude Prize

abstract: Despite frequent references in modern reviews to a seventeenth-century Venetian longitude prize, only a single, circumstantial reference to the alleged prize is known from contemporary sources. Edward Harrison's scathing assessment of the conditions governing the award of an alleged Venetian longitude prize simultaneously disparages the rewards offered by the Dutch States General. However, the latter had long run its course by 1696, the year of the citation, thus rendering Harrison's reference unreliable. Whereas other longitude awards offered by the leading European maritime nations attracted applicants from far and wide, often accompanied by extensive, self-published pamphlets, the alleged Venetian prize does not seem to have been subject to similar hype. The alleged existence of seventeenth-century Venetian award is particularly curious, because the city's fortune was clearly in decline, and longitude determination on the open seas does not appear to have been a priority; the city's mariners already had access to excellent "portolan" charts. It is therefore recommended that authors refrain from referring to a potentially phantom Venetian longitude prize in the same context as the major sixteenth- to eighteenth-century European awards offered by the dominant sea-faring nations.


title: European Longitude Prizes. IV. Thomas Axe's Impossible Terms

abstract: Although governments across Europe had realised the need to incentivise the development of practically viable longitude solutions as early as the late-sixteenth century, the English government was late to the party. An sense of urgency among the scientific community and maritime navigators led to the establishment of a number of longitude awards by private donors. The first private British award was bequeathed in 1691 by Thomas Axe, parish clerk of Ottery St. Mary (Devon). Despite the absence of an expenses component and the onerous and costly nature of its terms and conditions, the Axe prize attracted a number of optimistic claimants. Although the award was never disbursed, it may have contributed to the instigation of the government-supported monetary reward associated with the British Longitude Act of 1714. It is likely that the conditions governing the British "Longitude Prize", specifically the required accuracy and the need for sea trials and of disclosure of a successful method's theoretical principles, can be traced back at least in part to the Axe Prize requirements.


title: Angles of Arc-Polygons and Lombardi Drawings of Cacti

abstract: We characterize the triples of interior angles that are possible in non-self-crossing triangles with circular-arc sides, and we prove that a given cyclic sequence of angles can be realized by a non-self-crossing polygon with circular-arc sides whenever all angles are at most pi. As a consequence of these results, we prove that every cactus has a planar Lombardi drawing (a drawing with edges depicted as circular arcs, meeting at equal angles at each vertex) for its natural embedding in which every cycle of the cactus is a face of the drawing. However, there exist planar embeddings of cacti that do not have planar Lombardi drawings.


title: Scaling Limit of Moderately Interacting Particle Systems with Singular Interaction and Environmental Noise

abstract: We consider moderately interacting particle systems with singular interaction kernel and environmental noise. It is shown that the mollified empirical measures converge in strong norms to the unique (local) solutions of nonlinear Fokker-Planck equations. The approach works for the Biot-Savart and repulsive Poisson kernels.


title: Traffic prediction at signalised intersections using Integrated Nested Laplace Approximation

abstract: A Bayesian approach to predicting traffic flows at signalised intersections is considered using the the INLA framework. INLA is a deterministic, computationally efficient alternative to MCMC for estimating a posterior distribution. It is designed for latent Gaussian models where the parameters follow a joint Gaussian distribution. An assumption which naturally evolves from an LGM is that of a Gaussian Markov Random Field (GMRF). It can be shown that a traffic prediction model based in both space and time satisfies this assumption, and as such the INLA algorithm provides accurate prediction when space, time, and other relevant covariants are included in the model.


title: Topological synthesis of fluidic pressure-actuated robust compliant mechanisms

abstract: This paper presents a robust density-based topology optimization approach for synthesizing pressure-actuated compliant mechanisms. To ensure functionality under manufacturing inaccuracies, the robust or three-field formulation is employed, involving dilated, intermediate and eroded realizations of the design. Darcy's law in conjunction with a conceptualized drainage term is used to model the pressure load as a function of the design vector. The consistent nodal loads are evaluated from the obtained pressure field using the standard finite element method. The objective and load sensitivities are obtained using the adjoint-variable approach. A multi-criteria objective involving both the stiffness and flexibility of the mechanism is employed in the robust formulation, and min-max optimization problems are solved to obtain pressure-actuated inverter, gripper, and contractor compliant mechanisms with different minimum feature sizes. Limitations of the linear elasticity assumptions while designing mechanisms are identified with high pressure loads. Challenges involved in designing finite deformable pressure-actuated compliant mechanisms are presented.


title: Validation and Inference of Agent Based Models

abstract: Agent Based Modelling (ABM) is a computational framework for simulating the behaviours and interactions of autonomous agents. As Agent Based Models are usually representative of complex systems, obtaining a likelihood function of the model parameters is nearly always intractable. There is a necessity to conduct inference in a likelihood free context in order to understand the model output. Approximate Bayesian Computation is a suitable approach for this inference. It can be applied to an Agent Based Model to both validate the simulation and infer a set of parameters to describe the model. Recent research in ABC has yielded increasingly efficient algorithms for calculating the approximate likelihood. These are investigated and compared using a pedestrian model in the Hamilton CBD.


title: Predicting Disease Progress with Imprecise Lab Test Results

abstract: In existing deep learning methods, almost all loss functions assume that sample data values used to be predicted are the only correct ones. This assumption does not hold for laboratory test data. Test results are often within tolerable or imprecision ranges, with all values in the ranges acceptable. By considering imprecision samples, we propose an imprecision range loss (IR loss) method and incorporate it into Long Short Term Memory (LSTM) model for disease progress prediction. In this method, each sample in imprecision range space has a certain probability to be the real value, participating in the loss calculation. The loss is defined as the integral of the error of each point in the impression range space. A sampling method for imprecision space is formulated. The continuous imprecision space is discretized, and a sequence of imprecise data sets are obtained, which is convenient for gradient descent learning. A heuristic learning algorithm is developed to learn the model parameters based on the imprecise data sets. Experimental results on real data show that the prediction method based on IR loss can provide more stable and consistent prediction result when test samples are generated from imprecision range.


title: Modeling the triple-GEM detector response to background particles for the CMS Experiment

abstract: An estimate of environmental background hit rate on triple-GEM chambers is performed using Monte Carlo (MC) simulation and compared to data taken by test chambers installed in the CMS experiment (GE1/1) during Run-2 at the Large Hadron Collider (LHC). The hit rate is measured using data collected with proton-proton collisions at 13 TeV and a luminosity of 1.5$\times10^{34}$ cm$^{-2}$ s$^{-1}$. The simulation framework uses a combination of the FLUKA and Geant4 packages to obtain the hit rate. FLUKA provides the radiation environment around the GE1/1 chambers, which is comprised of the particle flux with momentum direction and energy spectra ranging from $10^{-11}$ to $10^{4}$ MeV for neutrons, $10^{-3}$ to $10^{4}$ MeV for $\gamma$'s, $10^{-2}$ to $10^{4}$ MeV for $e^{\pm}$, and $10^{-1}$ to $10^{4}$ MeV for charged hadrons. Geant4 provides an estimate of detector response (sensitivity) based on an accurate description of detector geometry, material composition and interaction of particles with the various detector layers. The MC simulated hit rate is estimated as a function of the perpendicular distance from the beam line and agrees with data within the assigned uncertainties of 10-14.5%. This simulation framework can be used to obtain a reliable estimate of background rates expected at the High Luminosity LHC.


title: The effects of light-wave nonstaticity on accompanying geometric-phase evolutions

abstract: Quantum mechanics allows the emergence of nonstatic quantum light waves in the Fock state even in a transparent medium of which electromagnetic parameters do not vary over time. Such wave packets become broad and narrow in turn periodically in time in the quadrature space. We investigate the effects of wave nonstaticity arisen in a static environment on the behavior of accompanying geometric phases in the Fock states. In this case, the geometric phases appear only when the measure of nonstaticity is not zero and their time behavior is deeply related to the measure of nonstaticity. While the dynamical phases undergo linear decrease over time, the geometric phases exhibit somewhat oscillatory behavior where the center of oscillation linearly increases. In particular, if the measure of nonstaticity is sufficiently high, the geometric phases abruptly change whenever the waves become narrow in the quadrature space. The understanding for the phase evolution of nonstatic light waves is necessary in their technological applications regarding wave modulations.


title: Projective representation of the Galilei group for classical and quantum-classical systems

abstract: A physically relevant unitary irreducible non-projective representation of the Galilei group is possible in the Koopman-von Neumann formulation of classical mechanics. This classical representation is characterized by the vanishing of the central charge of the Galilei algebra. This is in contrast to the quantum case where the mass plays the role of the central charge. Here we show, by direct construction, that classical mechanics also allows for a projective representation of the Galilei group where the mass is the central charge of the algebra. We extend the result to certain kind of quantum-classical hybrid systems.


title: Modeling silo clogging with nonlocal granular rheology

abstract: Granular flow in a silo demonstrates multiple nonlocal rheological phenomena due to the finite size of grains. We solve the Nonlocal Granular Fluidity (NGF) continuum model in quasi-2D silo geometries and evaluate its ability to predict these nonlocal effects, including flow spreading and, importantly, clogging (arrest) when the opening is small enough. The model is augmented to include a free-separation criterion and is implemented numerically with an extension of the trans-phase granular flow solver described in arXiv:1411.5447, to produce full-field solutions. The implementation is validated against analytical results of the model in the inclined chute geometry, such as the solution for the $H_{\mathrm{stop}}$ curve for size-dependent flow arrest, and the velocity profile as a function of layer height. We then implement the model in the silo geometry and vary the apparent grain size. The model predicts a jamming criterion when the opening competes with the scale of the mean grain size, which agrees with previous experimental studies, marking the first time to our knowledge that silo jamming has been achieved with a continuum model. For larger openings, the flow within the silo obtains a diffusive characteristic whose spread depends on the model's nonlocal amplitude and the mean grain size. The numerical tests are controlled for grid effects and a comparison study of coarse vs refined numerical simulations shows agreement in the pressure field, the shape of the arch in a jammed silo configuration, and the velocity field in a flowing configuration.


title: Using CollGram to Compare Formulaic Language in Human and Neural Machine Translation

abstract: A comparison of formulaic sequences in human and neural machine translation of quality newspaper articles shows that neural machine translations contain less lower-frequency, but strongly-associated formulaic sequences, and more high-frequency formulaic sequences. These differences were statistically significant and the effect sizes were almost always medium or large. These observations can be related to the differences between second language learners of various levels and between translated and untranslated texts. The comparison between the neural machine translation systems indicates that some systems produce more formulaic sequences of both types than other systems.


title: Quantum Many-Body Calculations using Body-Centered Cubic Lattices

abstract: It is often computationally advantageous to model space as a discrete set of points forming a lattice grid. This technique is particularly useful for computationally difficult problems such as quantum many-body systems. For reasons of simplicity and familiarity, nearly all quantum many-body calculations have been performed on simple cubic lattices. Since the removal of lattice artifacts is often an important concern, it would be useful to perform calculations using more than one lattice geometry. In this work we show how to perform quantum many-body calculations using auxiliary-field Monte Carlo simulations on a three-dimensional body-centered cubic (BCC) lattice. As a benchmark test we compute the ground state energy of 33 spin-up and 33 spin-down fermions in the unitary limit, which is an idealized limit where the interaction range is zero and scattering length is infinite. As a fraction of the free Fermi gas energy $E_{\rm FG}$, we find that the ground state energy is $E_0/E_{\rm FG}= 0.369(2), 0.371(2),$ using two different definitions of the finite-system energy ratio. This is in excellent agreement with recent results obtained on a cubic lattice \cite{He:2019ipt}. We find that the computational effort and performance on a BCC lattice is approximately the same as that for a cubic lattice with the same number of lattice points. We discuss how the lattice simulations with different geometries can be used to constrain the size lattice artifacts in simulations of continuum quantum many-body systems.


title: Finite series representation for the bound states of a spiked isotropic oscillator with inverse-quartic singularity

abstract: We use the tridiagonal representation approach to obtain an exact solution of the three-dimensional radial Schr\"odinger equation for a spiked oscillator with inverse quartic singularity and for all angular momenta. The solution is a finite series of square integrable functions written in terms of the Bessel polynomial.


title: Assassins and torsion functors II

abstract: Fairness and centredness of ideals in commutative rings, i.e., the relations between assassins and weak assassins of a module, its small or large torsion submodule, and the corresponding quotients, are studied. General criteria as well as more specific results about idempotent or nil ideals are given, and several examples are presented.


title: Simple and loss-tolerant free-space QKD using a squeezed laser

abstract: We consider a continuous-variable (CV) quantum key distribution (QKD) protocol over free-space channels, which is simpler and more robust than typical CV QKD protocols. It uses a bright laser, squeezed and modulated in the amplitude quadrature, and self-homodyne detection. We consider a scenario, where the line of sight is classically monitored to detect active eavesdroppers, so that we can assume a passive eavesdropper. Under this assumption, we analyse security of the QKD protocol in the composable finite-size regime. Proper modulation of the squeezed laser to the shot-noise level can completely eliminate information leakage to the eavesdropper and also eliminate the turbulence-induced noise of the channel in the amplitude quadrature. Under these conditions, estimation of the eavesdropper's information is no longer required. The protocol is extremely robust to modulation noise and highly loss-tolerant, which makes it a promising candidate for satellite-based continuous-variable quantum communication.


title: A Quantum Convolutional Neural Network for Image Classification

abstract: Artificial neural networks have achieved great success in many fields ranging from image recognition to video understanding. However, its high requirements for computing and memory resources have limited further development on processing big data with high dimensions. In recent years, advances in quantum computing show that building neural networks on quantum processors is a potential solution to this problem. In this paper, we propose a novel neural network model named Quantum Convolutional Neural Network (QCNN), aiming at utilizing the computing power of quantum systems to accelerate classical machine learning tasks. The designed QCNN is based on implementable quantum circuits and has a similar structure as classical convolutional neural networks. Numerical simulation results on the MNIST dataset demonstrate the effectiveness of our model.


title: Reconstructing a minimal topological dynamical system from a set of return times

abstract: We investigate to what extent a minimal topological dynamical system is uniquely determined by a set of return times to some open set. We show that in many situations this is indeed the case as long as the closure of this open set has no non-trivial translational symmetries. For instance, we show that under this assumption two Kronecker systems with the same set of return times must be isomorphic. More generally, we show that if a minimal dynamical system has a set of return times that coincides with a set of return times to some open set in a Kronecker system with translationarily asymmetric closure, then that Kronecker system must be a factor. We also study similar problems involving Nilsystems and polynomial return times. We state a number of questions on whether these results extend to other homogeneous spaces and transitive group actions, some of which are already interesting for finite groups.


title: GPU accelerated RBF-FD solution of Poisson's equation

abstract: The Radial Basis Function-generated finite differences became a popular variant of local meshless strong form methods due to its robustness regarding the position of nodes and its controllable order of accuracy. In this paper, we present a GPU accelerated numerical solution of Poisson's equation on scattered nodes in 2D for orders from 2 up to 6. We specifically study the effect of using different orders on GPU acceleration efficiency.


title: Generalization Error of GAN from the Discriminator's Perspective

abstract: The generative adversarial network (GAN) is a well-known model for learning high-dimensional distributions, but the mechanism for its generalization ability is not understood. In particular, GAN is vulnerable to the memorization phenomenon, the eventual convergence to the empirical distribution. We consider a simplified GAN model with the generator replaced by a density, and analyze how the discriminator contributes to generalization. We show that with early stopping, the generalization error measured by Wasserstein metric escapes from the curse of dimensionality, despite that in the long term, memorization is inevitable. In addition, we present a hardness of learning result for WGAN.


title: Semileptonic $B^{-}\to\pi^{+}\pi^{-}\ell^{-}\bar\nu_\ell$ decay with $\pi\pi$ invariant mass spectrum

abstract: BELLE has recently reported the measurement of the branching fraction of the semileptonic $B^{-}\to\pi^{+}\pi^{-}\ell^{-}\bar\nu_\ell$ decay, where $\ell$ represents an electron or a muon. With the new information on the $\pi\pi$ invariant mass spectrum, we extract $|V_{ub}|=(3.31\pm 0.61)\times 10^{-3}$ in agreement with those from the other exclusive $B$ decays. In particular, we determine the non-resonant $B\to\pi\pi$ transition form factors, and predict the non-resonant branching fraction ${\cal B}(B^{-}\to\pi^{+}\pi^{-}\ell^{-}\bar\nu_\ell)=(3.5\pm 1.4^{+4.3}_{-2.4})\times 10^{-5}$, which is accessible to the BELLEII and LHCb experiments.


title: Sublinear Regret for Learning POMDPs

abstract: We study the model-based undiscounted reinforcement learning for partially observable Markov decision processes (POMDPs). The oracle we consider is the optimal policy of the POMDP with a known environment in terms of the average reward over an infinite horizon. We propose a learning algorithm for this problem, building on spectral method-of-moments estimations for hidden Markov models, the belief error control in POMDPs and upper-confidence-bound methods for online learning. We establish a regret bound of $O(T^{2/3}\sqrt{\log T})$ for the proposed learning algorithm where $T$ is the learning horizon. This is, to the best of our knowledge, the first algorithm achieving sublinear regret with respect to our oracle for learning general POMDPs.


title: Discretized boundary surface reconstruction

abstract: Domain discretization is an essential part of the solution procedure in numerical simulations. Meshless methods simplify the domain discretization to positioning of nodes in the interior and on the boundary of the domain. However, generally speaking, the shape of the boundary is often undefined and thus needs to be constructed before it can be discretized with a desired internodal spacing. Domain shape construction is far from trivial and is the main challenge of this paper. We tackle the simulation of moving boundary problems where the lack of domain shape information can introduce difficulties. We present a solution for 2D surface reconstruction from discretization points using cubic splines and thus providing a surface description anywhere in the domain. We also demonstrate the presented algorithm in a simulation of phase-change-like problem.


title: Multi-peak solitons in nonlocal nonlinear system with sine-oscillation response

abstract: The multi-peak solitons and their stability are investigated for the nonlocal nonlinear system with the sine-oscillation response, including both the cases of positive and negative Kerr coefficients. The Hermite-Gaussian-type multi-peak solitons and the ranges of the degree of nonlocality within which the solitons exist are analytically obtained by the variational approach. This is the first time, to our knowledge at least, to discuss the solution existence range of the multi-peak solitons analytically, although approximately. The variational analytical results are confirmed by the numerical ones. The stability of the multi-peak solitons are addressed by the linear stability analysis. It is found that the upper thresholds of the peak-number of the stable solitons are five and four for the system with negative and positive Kerr coefficients, respectively.


title: An investigation of IBM Quantum Computing device performance on Combinatorial Optimisation Problems

abstract: The intractability of deterministic solutions in solving $\mathcal{NP}$-Hard Combinatorial Optimisation Problems (COP) is well reported in the literature. One mechanism for overcoming this difficulty has been the use of efficient COP non-deterministic approaches. However, with the advent of quantum technology, these modern devices' potential to overcome this tractability limitation requires exploration. This paper juxtaposes classical and quantum optimisation algorithms' performance to solve two common COP, the Travelling Salesman Problem (TSP) and the Quadratic Assignment Problem (QAP). Two accepted classical optimisation methods, Branch and Bound (BNB) and Simulated Annealing (SA), are compared to two quantum optimisation methods, Variational Quantum Eigensolver (VQE) algorithm and Quantum Approximate Optimisation Algorithm (QAOA). These algorithms are respectively executed on both classical devices and IBM's suite of Noisy Intermediate-Scale Quantum (NISQ) devices. We have encoded the COP problems for the respective technologies and algorithms and provided the computational encodings for the NISQ devices. Our experimental results show that current classical devices significantly outperform the presently available NISQ devices, which agrees and extends with findings in the literature. Further, we introduce additional performance metrics to better compare the two approaches concerning computational time, feasibility and solution quality. Our results show that the VQE performs better than QAOA for these metrics, and we infer that this is due to the increased number of operations required. Additionally, we investigate the impact of a new set of basis gates on the quantum optimisation techniques and show they yield no notable improvement in the results. Finally, we present the shortcomings of state-of-the-art NISQ IBM quantum devices and argue for potential future work and investigation.


title: p-refined RBF-FD solution of a Poisson problem

abstract: Local meshless methods obtain higher convergence rates when RBF approximations are augmented with monomials up to a given order. If the order of the approximation method is spatially variable, the numerical solution is said to be p-refined. In this work, we employ RBF-FD approximation method with polyharmonic splines augmented with monomials and study the numerical properties of p-refined solutions, such as convergence orders and execution time. To fully exploit the refinement advantages, the numerical performance is studied on a Poisson problem with a strong source within the domain.


title: A Dataset and Method for Hallux Valgus Angle Estimation Based on Deep Learing

abstract: Angular measurements is essential to make a resonable treatment for Hallux valgus (HV), a common forefoot deformity. However, it still depends on manual labeling and measurement, which is time-consuming and sometimes unreliable. Automating this process is a thing of concern. However, it lack of dataset and the keypoints based method which made a great success in pose estimation is not suitable for this field.To solve the problems, we made a dataset and developed an algorithm based on deep learning and linear regression. It shows great fitting ability to the ground truth.


title: The impact of nasal adhesions on airflow and mucosal cooling -- a computational fluid dynamics analysis

abstract: Nasal adhesions are a known postoperative complication following surgical procedures for nasal airway obstruction (NAO); and are a common cause of surgical failure, with patients often reporting significant NAO, despite relatively minor adhesion size. Division of such nasal adhesions often provides much greater relief than anticipated, based on the minimal reduction in cross-sectional area associated with the adhesion. The available literature regarding nasal adhesions provides little evidence examining their quantitative and qualitative effects on nasal airflow using objective measures. This study examined the impact of nasal adhesions at various anatomical sites on nasal airflow and mucosal cooling using computational fluid dynamics (CFD). A high-resolution CT scan of the paranasal sinuses of a 25-year-old, healthy female patient was segmented to create a three-dimensional nasal airway model. Virtual nasal adhesions of 2.5~mm diameter were added to various locations within the nasal cavity, representing common sites seen following NAO surgery. A series of models with single adhesions were created. CFD analysis was performed on each model and compared with a baseline no-adhesion model, comparing airflow and heat and mass transfer. The nasal adhesions resulted in no significant change in bulk airflow patterns through the nasal cavity. However, significant changes were observed in local airflow and mucosal cooling around and immediately downstream to the nasal adhesions. These were most evident with anterior nasal adhesions at the internal valve and anterior inferior turbinate.


title: Image restoration quality assessment based on regional differential information entropy

abstract: With the development of image recovery models,especially those based on adversarial and perceptual losses,the detailed texture portions of images are being recovered more naturally.However,these restored images are similar but not identical in detail texture to their reference images.With traditional image quality assessment methods,results with better subjective perceived quality often score lower in objective scoring.Assessment methods suffer from subjective and objective inconsistencies.This paper proposes a regional differential information entropy (RDIE) method for image quality assessment to address this problem.This approach allows better assessment of similar but not identical textural details and achieves good agreement with perceived quality.Neural networks are used to reshape the process of calculating information entropy,improving the speed and efficiency of the operation. Experiments conducted with this study image quality assessment dataset and the PIPAL dataset show that the proposed RDIE method yields a high degree of agreement with people average opinion scores compared to other image quality assessment metrics,proving that RDIE can better quantify the perceived quality of images.


title: A Pila--Wilkie theorem for Hensel minimal curves

abstract: Recently, a new axiomatic framework for tameness in henselian valued fields was developed by Cluckers, Halupczok, Rideau-Kikuchi and Vermeulen and termed Hensel minimality. In this article we develop Diophantine applications of Hensel minimality. We prove a Pila--Wilkie type theorem for transcendental curves definable in Hensel minimal structures. In order to do so, we introduce a new notion of point counting in this context related to dimension counting over the residue field. We examine multiple classes of examples, showcasing the need for this new dimension counting and prove that our bounds are optimal.


title: ComFormer: Code Comment Generation via Transformer and Fusion Method-based Hybrid Code Representation

abstract: Developers often write low-quality code comments due to the lack of programming experience, which can reduce the efficiency of developers program comprehension. Therefore, developers hope that code comment generation tools can be developed to illustrate the functionality and purpose of the code. Recently, researchers mainly model this problem as the neural machine translation problem and tend to use deep learning-based methods. In this study, we propose a novel method ComFormer based on Transformer and fusion method-based hybrid code presentation. Moreover, to alleviate OOV (out-of-vocabulary) problem and speed up model training, we further utilize the Byte-BPE algorithm to split identifiers and Sim_SBT method to perform AST Traversal. We compare ComFormer with seven state-of-the-art baselines from code comment generation and neural machine translation domains. Comparison results show the competitiveness of ComFormer in terms of three performance measures. Moreover, we perform a human study to verify that ComFormer can generate high-quality comments.


title: Assessment of hybrid machine learning models for non-linear system identification of fatigue test rigs

abstract: The prediction of system responses for a given fatigue test bench drive signal is a challenging task, for which linear frequency response function models are commonly used. To account for non-linear phenomena, a novel hybrid model is suggested, which augments existing approaches using Long Short-Term Memory networks. Additional virtual sensing applications of this method are demonstrated. The approach is tested using non-linear experimental data from a servo-hydraulic test rig and this dataset is made publicly available. A variety of metrics in time and frequency domains, as well as fatigue strength under variable amplitudes, are employed in the evaluation.


title: Indoor noise level measurements and subjective comfort: feasibility of smartphone-based participatory experiments

abstract: We designed and performed a participatory sensing initiative to explore the reliability and effectiveness of a distributed network of citizen-operated smartphones in evaluating the impact of environmental noise in residential areas. We asked participants to evaluate the comfort of their home environment in different situations and at different times, to select the most and least comfortable states and to measure noise levels with their smartphones. We then correlated comfort ratings with noise measurements and additional contextual information provided by participants. We discuss how to strengthen methods and procedures, particularly regarding the calibration of the devices, in order to make similar citizen-science efforts effective at monitoring environmental noise and planning long-term solutions to human well-being.


title: Present Status Of The Experiment On The Search For Dark Photons By Multi-Cathode Counter

abstract: In this paper we describe the apparatus used in this experiment and the procedure of data treatment. We give the latest experimental results and discuss the possibility to observe diurnal variations of the count rates due to rotation of the Earth. We outline our future plans.


title: Deep Learning Based Image Retrieval in the JPEG Compressed Domain

abstract: Content-based image retrieval (CBIR) systems on pixel domain use low-level features, such as colour, texture and shape, to retrieve images. In this context, two types of image representations i.e. local and global image features have been studied in the literature. Extracting these features from pixel images and comparing them with images from the database is very time-consuming. Therefore, in recent years, there has been some effort to accomplish image analysis directly in the compressed domain with lesser computations. Furthermore, most of the images in our daily transactions are stored in the JPEG compressed format. Therefore, it would be ideal if we could retrieve features directly from the partially decoded or compressed data and use them for retrieval. Here, we propose a unified model for image retrieval which takes DCT coefficients as input and efficiently extracts global and local features directly in the JPEG compressed domain for accurate image retrieval. The experimental findings indicate that our proposed model performed similarly to the current DELG model which takes RGB features as an input with reference to mean average precision while having a faster training and retrieval speed.


title: Heavily Augmented Sound Event Detection utilizing Weak Predictions

abstract: The performances of Sound Event Detection (SED) systems are greatly limited by the difficulty in generating large strongly labeled dataset. In this work, we used two main approaches to overcome the lack of strongly labeled data. First, we applied heavy data augmentation on input features. Data augmentation methods used include not only conventional methods used in speech/audio domains but also our proposed method named FilterAugment. Second, we propose two methods to utilize weak predictions to enhance weakly supervised SED performance. As a result, we obtained the best PSDS1 of 0.4336 and best PSDS2 of 0.8161 on the DESED real validation dataset. This work is submitted to DCASE 2021 Task4 and is ranked on the 3rd place. Code availa-ble: https://github.com/frednam93/FilterAugSED.


title: Inclusions of C*-algebras of graded groupoids

abstract: We consider a locally compact Hausdorff groupoid $G$ which is graded over a discrete group. Then the fibre over the identity is an open and closed subgroupoid $G_e$. We show that both the full and reduced C*-algebras of this subgroupoid embed isometrically into the full and reduced C*-algebras of $G$; this extends a theorem of Kaliszewski--Quigg--Raeburn from the \'etale to the non-\'etale setting. As an application we show that the full and reduced C*-algebras of $G$ are topologically graded in the sense of Exel, and we discuss the full and reduced C*-algebras of the associated bundles.


title: Elastic deformation of optical coherence tomography images of diabetic macular edema for deep-learning models training: how far to go?

abstract: To explore the clinical validity of elastic deformation of optical coherence tomography (OCT) images for data augmentation in the development of deep-learning model for detection of diabetic macular edema (DME).


title: Suppressing laser phase noise in an optomechanical system

abstract: We propose a scheme to suppress the laser phase noise without increasing the optomechanical single-photon coupling strength. In the scheme, the parametric amplification terms, created by Kerr and Duffing nonlinearities, can restrain laser phase noise and strengthen the effective optomechanical coupling, respectively. Interestingly, decreasing laser phase noise leads to increasing thermal noise, which is inhibited by bringing in a broadband-squeezed vacuum environment. To reflect the superiority of the scheme, we simulate quantum memory and stationary optomechanical entanglement as examples, and the corresponding numerical results demonstrate that the laser phase noise is extremely suppressed. Our method can pave the way for studying other quantum phenomena.


title: MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications

abstract: Recent breakthroughs in ML have produced new classes of models that allow ML inference to run directly on milliwatt-powered IoT devices. On one hand, existing ML-to-FPGA compilers are designed for deep neural-networks on large FPGAs. On the other hand, general-purpose HLS tools fail to exploit properties specific to ML inference, thereby resulting in suboptimal performance. We propose MAFIA, a tool to compile ML inference on small form-factor FPGAs for IoT applications. MAFIA provides native support for linear algebra operations and can express a variety of ML algorithms, including state-of-the-art models. We show that MAFIA-generated programs outperform best-performing variant of a commercial HLS compiler by 2.5x on average.


title: Global existence of strong solutions to the multi-dimensional inhomogeneous incompressible MHD equations

abstract: This paper is concerned with the Cauchy problem of the multi-dimensional incompressible magnetohydrodynamic equations with inhomogeneous density and fractional dissipation. It is shown that when $\alpha+\beta=1+\frac{n}{2}$ satisfying $1\leq \beta\leq \alpha\leq\min \{\frac{3\beta}{2},\frac{n}{2},1+\frac{n}{4}\}$ and $\frac{n}{4}<\alpha$ for $n\geq3$ , then the inhomogeneous incompressible MHD equations has a unique global strong solution for the initial data in Sobolev space which do not need a small condition.


title: Power corrections and gradient expansion in QED transport theory

abstract: The hard thermal loop (HTL) effective field theory of QED can be derived from the classical limit of transport theory, corresponding to the leading term in a gradient expansion of the quantum approach. In this paper, we show that power corrections to the HTL effective Lagrangian of QED can also be obtained from transport theory by including higher orders in such gradient expansion. The gradient expansion is increasingly infrared (IR) divergent, but the correction that we compute is IR finite. We employ dimensional regularization, and show that this result comes after a cancellation of divergencies between the vacuum and medium contributions. While the transport framework is an effective field theory of the long distance physics of the plasma, we show that it correctly reproduces the correct QED ultraviolet divergencies associated with the photon wave function renormalization.


title: Instanton counting and O-vertex

abstract: We present closed-form expressions of unrefined instanton partition functions for gauge groups of type $BCD$ as sums over Young diagrams. For $\mathrm{SO}(n)$ gauge groups, we provide a fivebrane web picture of our formula based on the vertex-operator formalism of the topological vertex with a new type called O-vertex for an O5-plane.


title: Optical Excitation and Trapping of $^{81}$Kr

abstract: We have realized optical excitation, trapping and detection of the radioisotope $^{81}$Kr with an isotopic abundance of 0.9 ppt. The 124 nm light needed for the production of metastable atoms is generated by a resonant discharge lamp. Photon transport through the optically thick krypton gas inside the lamp is simulated and optimized to enhance both brightness and resonance. We achieve a state-of-the-art $^{81}$Kr loading rate of 1800 atoms/h, which can be further scaled up by adding more lamps. The all-optical approach overcomes the limitations on precision and sample size of radiokrypton dating, enabling new applications in the earth sciences, particularly for dating of polar ice cores.


title: Specific heat ratio effects of compressible Rayleigh-Taylor instability studied by discrete Boltzmann method

abstract: Rayleigh-Taylor (RT) instability widely exists in nature and engineering fields. How to better understand the physical mechanism of RT instability is of great theoretical significance and practical value. At present, abundant results of RT instability have been obtained by traditional macroscopic methods. However, research on the thermodynamic non-equilibrium (TNE) effects in the process of system evolution is relatively scarce. In this paper, the discrete Boltzmann method based on non-equilibrium statistical physics is utilized to study the effects of the specific heat ratio on compressible RT instability. The evolution process of the compressible RT system with different specific heat ratios can be analyzed by the temperature gradient and the proportion of the non-equilibrium region. Firstly, as a result of the competition between the macroscopic magnitude gradient and the non-equilibrium region, the average TNE intensity first increases and then reduces, and it increases with the specific heat ratio decreasing; the specific heat ratio has the same effect on the global strength of the viscous stress tensor. Secondly, the moment when the total temperature gradient in y direction deviates from the fixed value can be regarded as a physical criterion for judging the formation of the vortex structure. Thirdly, under the competition between the temperature gradients and the contact area of the two fluids, the average intensity of the non-equilibrium quantity related to the heat flux shows diversity, and the influence of the specific heat ratio is also quite remarkable.