title: Clifford Boundary Conditions for Periodic Systems: the Madelung Constant of Cubic Crystals in 1, 2 and 3 Dimensions

abstract: In this work we demonstrate the robustness of a real-space approach for the treatment of infinite systems described with periodic boundary conditions that we have recently proposed [J. Phys. Chem. Lett. 17, 7090]. In our approach we extract a fragment, i.e., a supercell, out of the infinite system, and then modifying its topology into the that of a Clifford torus which is a flat, finite and border-less manifold. We then renormalize the distance between two points by defining it as the Euclidean distance in the embedding space of the Clifford torus. With our method we have been able to calculate the reference results available in the literature with a remarkable accuracy, and at a very low computational effort. In this work we show that our approach is robust with respect to the shape of the supercell. In particular, we show that the Madelung constants converge to the same values but that the convergence properties are different. Our approach scales linearly with the number of atoms. The calculation of Madelung constants only takes a few seconds on a laptop computer for a relative precision of about 10$^{-6}$.


title: Improving SABRE hyperpolarization with highly non-intuitive pulse sequences: moving beyond avoided crossings to describe dynamics

abstract: Signal Amplification By Reversible Exchange (SABRE) creates hyperpolarization (large spin magnetization) using a transition metal catalyst and parahydrogen, addressing the sensitivity limitations of magnetic resonance. SABRE and its heteronuclear variant X-SABRE are simple, fast and general, but to date have not produced polarization levels as large as more established methods. We show here that inaccuracies in the theoretical framework for these applications, which focuses on avoided crossings (also called level anti-crossings or LACs) steer current SABRE and X-SABRE experiments away from optimal solutions. Accurate simulations show astonishingly rich and unexpected dynamics in SABRE/X-SABRE, which we explain with a combination of perturbation theory and average Hamiltonian approaches. This theoretical picture predicts simple pulse sequences with field values far from LACs (both instantaneously and on average), using different terms in the effective Hamiltonian to strategically control evolution and improve polarization transfer. Significant signal enhancements under such highly non-intuitive conditions are verified experimentally.


title: Scaled-Time-Attention Robust Edge Network

abstract: This paper describes a systematic approach towards building a new family of neural networks based on a delay-loop version of a reservoir neural network. The resulting architecture, called Scaled-Time-Attention Robust Edge (STARE) network, exploits hyper dimensional space and non-multiply-and-add computation to achieve a simpler architecture, which has shallow layers, is simple to train, and is better suited for Edge applications, such as Internet of Things (IoT), over traditional deep neural networks. STARE incorporates new AI concepts such as Attention and Context, and is best suited for temporal feature extraction and classification. We demonstrate that STARE is applicable to a variety of applications with improved performance and lower implementation complexity. In particular, we showed a novel way of applying a dual-loop configuration to detection and identification of drone vs bird in a counter Unmanned Air Systems (UAS) detection application by exploiting both spatial (video frame) and temporal (trajectory) information. We also demonstrated that the STARE performance approaches that of a State-of-the-Art deep neural network in classifying RF modulations, and outperforms Long Short-term Memory (LSTM) in a special case of Mackey Glass time series prediction. To demonstrate hardware efficiency, we designed and developed an FPGA implementation of the STARE algorithm to demonstrate its low-power and high-throughput operations. In addition, we illustrate an efficient structure for integrating a massively parallel implementation of the STARE algorithm for ASIC implementation.


title: Lifelong Teacher-Student Network Learning

abstract: A unique cognitive capability of humans consists in their ability to acquire new knowledge and skills from a sequence of experiences. Meanwhile, artificial intelligence systems are good at learning only the last given task without being able to remember the databases learnt in the past. We propose a novel lifelong learning methodology by employing a Teacher-Student network framework. While the Student module is trained with a new given database, the Teacher module would remind the Student about the information learnt in the past. The Teacher, implemented by a Generative Adversarial Network (GAN), is trained to preserve and replay past knowledge corresponding to the probabilistic representations of previously learn databases. Meanwhile, the Student module is implemented by a Variational Autoencoder (VAE) which infers its latent variable representation from both the output of the Teacher module as well as from the newly available database. Moreover, the Student module is trained to capture both continuous and discrete underlying data representations across different domains. The proposed lifelong learning framework is applied in supervised, semi-supervised and unsupervised training. The code is available~: \url{https://github.com/dtuzi123/Lifelong-Teacher-Student-Network-Learning}


title: Three-electron bunches in occupation of a 5-site Coulomb cluster

abstract: Attraction of like charges in a localized system implies that, upon increasing the Fermi energy, the occupation of the system changes as, n\rightarrow (n+2), while the occupation, (n+1), is skipped. In this way, the attraction translates into the bunching of electrons. For a localized system of N=4 sites, attraction of electrons manifests itself in skipping of n=2 occupation. The origin of the attraction is rearrangement of the occupations of the surrounding sites which plays the role of a polaronic effect. We consider an N=5-site cluster and demonstrate that, with screened Coulomb repulsion, three-electron bunching becomes possible, i.e. the change of occupation n=1\rightarrow n=4 with n=2 and n=3 occupations skipped.


title: An Initial Investigation of Non-Native Spoken Question-Answering

abstract: Text-based machine comprehension (MC) systems have a wide-range of applications, and standard corpora exist for developing and evaluating approaches. There has been far less research on spoken question answering (SQA) systems. The SQA task considered in this paper is to extract the answer from a candidate$\text{'}$s spoken response to a question in a prompt-response style language assessment test. Applying these MC approaches to this SQA task rather than, for example, off-topic response detection provides far more detailed information that can be used for further downstream processing. One significant challenge is the lack of appropriately annotated speech corpora to train systems for this task. Hence, a transfer-learning style approach is adopted where a system trained on text-based MC is evaluated on an SQA task with non-native speakers. Mismatches must be considered between text documents and spoken responses; non-native spoken grammar and written grammar. In practical SQA, ASR systems are used, necessitating an investigation of the impact of ASR errors. We show that a simple text-based ELECTRA MC model trained on SQuAD2.0 transfers well for SQA. It is found that there is an approximately linear relationship between ASR errors and the SQA assessment scores but grammar mismatches have minimal impact.


title: Effect of Electron Precipitation on E-Region Instabilities: Theoretical Analysis

abstract: During periods of strong geomagnetic activity, intense currents flow from the magnetosphere into the high-latitude E-region ionosphere along geomagnetic field lines, B. In this region, collisions between the plasma and neutral molecules allow currents to flow across B, enabling the entire magnetosphere-ionosphere current system to close. These same currents cause strong DC electric fields in the E-region ionosphere where they drive plasma instabilities, including the Farley-Buneman instability (FBI). These instabilities give rise to small-scale plasma turbulence that modifies the large-scale ionospheric conductance that, in turn, affects the evolution of the entire near-Earth plasma environment. Also, during geomagnetic storms, precipitating electrons of high energies, $\gtrsim$ 5 keV, frequently penetrate down to the same regions where intense currents and E fields develop. This research examines the effects of precipitating electrons on the generation of the FBI and shows that, under many common conditions, it can easily suppress the instability in a predictable manner. Therefore, we expect precipitation to exert a significant feedback on the magnetosphere by preventing the elevated conductivity caused by FBI driven turbulence. This suppression should be taken into account in global modeling of the magnetosphere-ionosphere coupling.


title: First- and second-order optimality conditions for second-order cone and semidefinite programming under a constant rank condition

abstract: The well known constant rank constraint qualification [Math. Program. Study 21:110--126, 1984] introduced by Janin for nonlinear programming has been recently extended to a conic context by exploiting the eigenvector structure of the problem. In this paper we propose a more general and geometric approach for defining a new extension of this condition to the conic context. The main advantage of our approach is that we are able to recast the strong second-order properties of the constant rank condition in a conic context. In particular, we obtain a second-order necessary optimality condition that is stronger than the classical one obtained under Robinson's constraint qualification, in the sense that it holds for every Lagrange multiplier, even though our condition is independent of Robinson's condition.


title: Lifelong Mixture of Variational Autoencoders

abstract: In this paper, we propose an end-to-end lifelong learning mixture of experts. Each expert is implemented by a Variational Autoencoder (VAE). The experts in the mixture system are jointly trained by maximizing a mixture of individual component evidence lower bounds (MELBO) on the log-likelihood of the given training samples. The mixing coefficients in the mixture, control the contributions of each expert in the goal representation. These are sampled from a Dirichlet distribution whose parameters are determined through non-parametric estimation during lifelong learning. The model can learn new tasks fast when these are similar to those previously learnt. The proposed Lifelong mixture of VAE (L-MVAE) expands its architecture with new components when learning a completely new task. After the training, our model can automatically determine the relevant expert to be used when fed with new data samples. This mechanism benefits both the memory efficiency and the required computational cost as only one expert is used during the inference. The L-MVAE inference model is able to perform interpolation in the joint latent space across the data domains associated with different tasks and is shown to be efficient for disentangled learning representation.


title: L2M: Practical posterior Laplace approximation with optimization-driven second moment estimation

abstract: Uncertainty quantification for deep neural networks has recently evolved through many techniques. In this work, we revisit Laplace approximation, a classical approach for posterior approximation that is computationally attractive. However, instead of computing the curvature matrix, we show that, under some regularity conditions, the Laplace approximation can be easily constructed using the gradient second moment. This quantity is already estimated by many exponential moving average variants of Adagrad such as Adam and RMSprop, but is traditionally discarded after training. We show that our method (L2M) does not require changes in models or optimization, can be implemented in a few lines of code to yield reasonable results, and it does not require any extra computational steps besides what is already being computed by optimizers, without introducing any new hyperparameter. We hope our method can open new research directions on using quantities already computed by optimizers for uncertainty estimation in deep neural networks.


title: Mapping the Electronic Structure Origins of Surface- and Chemistry-Dependent Doping Trends in III-V Quantum Dots

abstract: Modifying the optoelectronic properties of nanostructured materials through introduction of dopant atoms has attracted intense interest. Nevertheless, the approaches employed are often trial and error, preventing rational design. We demonstrate the power of large-scale electronic structure calculations with density functional theory (DFT) to build an atlas of preferential dopant sites for a range of M(II) and M(III) dopants in the representative III-V InP magic sized cluster (MSC). We quantify the thermodynamic favorability of dopants, which we identify to be both specific to the sites within the MSC (i.e., interior vs surface) and to the nature of the dopant atom (i.e., smaller Ga(III) vs larger Y(III) or Sc(III)). These observations motivate development of maps of the most and least favorable doping sites, which are consistent with some known experimental expectations but also yield unexpected observations. For isovalent doping (i.e., Y(III)/Sc(III) or Ga(III), we observed stronger sensitivity of the predicted energetics to the type of ligand orientation on the surface than to the dopant type, but divergent behavior is observed for whether interior doping is favorable. For charge balancing with M(II) (i.e., Zn or Cd) dopants, we show that the type of ligand removed during the doping reaction is critical. We show that limited cooperativity with dopants up to moderate concentrations occurs, indicating rapid single-dopant estimations of favorability from DFT can efficiently guide rational design. Our work emphasizes the strong importance of ligand chemistry and surface heterogeneity in determining paths to favorable doping in quantum dots, an observation that will be general to other III-V and II-VI quantum dot systems generally synthesized with carboxylate ligands.


title: Practicable Robust Stochastic Optimization under Divergence Measures

abstract: We seek to provide practicable approximations of the two-stage robust stochastic optimization (RSO) model when its ambiguity set is constructed with an f-divergence radius. These models are known to be numerically challenging to various degrees, depending on the choice of the f-divergence function. The numerical challenges are even more pronounced under mixed-integer first-stage decisions. In this paper, we propose novel divergence functions that produce practicable robust counterparts, while maintaining versatility in modeling diverse ambiguity aversions. Our functions yield robust counterparts that have comparable numerical difficulties to their nominal problems. We also propose ways to use our divergences to mimic existing f-divergences without affecting the practicability. We implement our models in a realistic location-allocation model for humanitarian operations in Brazil. Our humanitarian model optimizes an effectiveness-equity trade-off, defined with a new utility function and a Gini mean difference coefficient. With the case study, we showcase 1) the significant improvement in practicability of the RSO counterparts with our proposed divergence functions compared to existing f-divergences, 2) the greater equity of humanitarian response that our new objective function enforces and 3) the greater robustness to variations in probability estimations of the resulting plans when ambiguity is considered.


title: Waiting to Borrow From a 457(b) Plan

abstract: This paper formulates and solves the optimal stopping problem for a loan made to one's self from a tax-advantaged retirement account such as a 401(k), 403(b), or 457(b) plan. If the plan participant has access to an external asset with a higher expected rate of return than the investment funds and indices that are available within the retirement account, then he must decide how long to wait before exercising the loan option. On the one hand, taking the loan quickly will result in many years of exponential capital growth at the higher (external) rate; on the other hand, if we wait to accumulate more funds in the 457(b), then we can make a larger deposit into the external asset (albeit for a shorter period of time). I derive a variety of cutoff rules for optimal loan control; in general, the investor must wait until he accumulates a certain amount of money (measured in contribution-years) that depends on the disparate yields, the loan parameters, and the date certain at which he will liquidate the retirement account. Letting the horizon tend to infinity, the optimal (horizon-free) policy gains in elegance, simplicity, and practical robustness to different life outcomes. When asset prices and returns are stochastic, the (continuous time) cutoff rule turns into a "wait region," whereby the mean of terminal wealth is rising and the variance of terminal wealth is falling. After his sojourn through the wait region is over, the participant finds himself on the mean-variance frontier, at which point his subsequent behavior is a matter of personal risk preference.

categories: econ.GN q-fin.CP q-fin.EC q-fin.GN q-fin.PM q-fin.RM


title: Approximation algorithms for the directed path partition problems

abstract: Given a directed graph $G = (V, E)$, the $k$-path partition problem is to find a minimum collection of vertex-disjoint directed paths each of order at most $k$ to cover all the vertices of $V$. The problem has various applications in facility location, network monitoring, transportation and others. Its special case on undirected graphs has received much attention recently, but the general directed version is seemingly untouched in the literature. We present the first $k/2$-approximation algorithm, for any $k \ge 3$, based on a novel concept of augmenting path to minimize the number of singletons in the partition. When $k \ge 7$, we present an improved $(k+2)/3$-approximation algorithm based on the maximum path-cycle cover followed by a careful $2$-cycle elimination process. When $k = 3$, we define the second novel kind of augmenting paths and propose an improved $13/9$-approximation algorithm.


title: The unreasonable effectiveness of optimal transport in economics

abstract: Optimal transport has become part of the standard quantitative economics toolbox. It is the framework of choice to describe models of matching with transfers, but beyond that, it allows to: extend quantile regression; identify discrete choice models; provide new algorithms for computing the random coefficient logit model; and generalize the gravity model in trade. This paper offer a brief review of the basics of the theory, its applications to economics, and some extensions.


title: Coulomb field correction due to virtual $e^+e^-$ production in heavy ion collisions

abstract: The correction to the Coulomb energy due to virtual production of $e^+e^-$ pairs, which is on the order of one percent of the Coulomb energy at nuclear scales is discussed. The effects of including a pair-production term in the semi-empirical mass formula and the correction to the Coulomb barrier for a handful of nuclear collisions using the Bass and Coulomb potentials are studied. With an eye toward future work using Constrained Molecular Dynamics (CoMD) model, we also calculate the correction to the Coulomb energy and force between protons after folding with a Gaussian spatial distribution.


title: Um Metodo para Busca Automatica de Redes Neurais Artificiais

abstract: This paper describes a method that automatically searches Artificial Neural Networks using Cellular Genetic Algorithms. The main difference of this method for a common genetic algorithm is the use of a cellular automaton capable of providing the location for individuals, reducing the possibility of local minima in search space. This method employs an evolutionary search for simultaneous choices of initial weights, transfer functions, architectures and learning rules. Experimental results have shown that the developed method can find compact, efficient networks with a satisfactory generalization power and with shorter training times when compared to other methods found in the literature.


title: Late-Time Evolution and Modeling of the Off-Axis Gamma-ray Burst Candidate FIRST J141918.9+394036

abstract: We present new radio and optical data, including very long baseline interferometry, as well as archival data analysis, for the luminous decades-long radio transient FIRST J141918.9+394036. The radio data reveal a synchrotron self-absorption peak around 0.3 GHz and a radius of around 1.3 mas (0.5 pc) 26 years post-discovery, indicating a blastwave energy $\sim5 \times 10^{50}$ erg. The optical spectrum shows a broad [OIII]$\lambda$4959,5007 emission-line that may indicate collisional-excitation in the host galaxy, but its association with the transient cannot be ruled out. The properties of the host galaxy are suggestive of a massive stellar progenitor that formed at low metallicity. Based on the radio light curve, blastwave velocity, energetics, nature of the host galaxy and transient rates we find that the properties of FIRST J1419+39 are most consistent with long gamma-ray burst (LGRB) afterglows. Other classes of (optically-discovered) stellar explosions as well as neutron star mergers are disfavored, and invoking any exotic scenario may not be necessary. It is therefore likely that FIRST J1419+39 is an off-axis LGRB afterglow (as suggested by Law et al. and Marcote et al.), and under this premise the inverse beaming fraction is found to be $f_b^{-1}\simeq280^{+700}_{-200}$, corresponding to an average jet half-opening angle $<\theta_j>\simeq5^{+4}_{-2}$ degrees (68% confidence), consistent with previous estimates. From the volumetric rate we predict that surveys with the VLA, ASKAP and MeerKAT will find a handful of FIRST J1419+39-like events over the coming years.


title: Revisiting the physical origin and nature of surface states in inverted-band semiconductors

abstract: We revisit the problem of surface states in semiconductors with inverted band structures, such as $\alpha$-Sn and HgTe. We unravel the confusion that arose over the past decade regarding the origin of the surface states, their topological nature, and the role of strain. Within a single minimalistic description, we reconcile different solutions found in the 1980s with the results obtained from modern-day numerical simulations, allowing us to unambiguously identify all branches of surface states around the $\Gamma$-point of the Brillouin zone in different regimes. We also show that strain is a smooth "deformation" to the surface states, following the usual continuity principle of physics, and not leading to any drastic change of the physical properties in these materials, in contrast to what has recently been advanced in the literature. We consider biaxial in-plane strain that is either tensile or compressive, leading to different branches of surface states for topological insulators and Dirac semimetals, respectively. Our model can help in interpreting numerous experiments on topological surface states originating from inverted-band semiconductors.


title: InfoVAEGAN : learning joint interpretable representations by information maximization and maximum likelihood

abstract: Learning disentangled and interpretable representations is an important step towards accomplishing comprehensive data representations on the manifold. In this paper, we propose a novel representation learning algorithm which combines the inference abilities of Variational Autoencoders (VAE) with the generalization capability of Generative Adversarial Networks (GAN). The proposed model, called InfoVAEGAN, consists of three networks~: Encoder, Generator and Discriminator. InfoVAEGAN aims to jointly learn discrete and continuous interpretable representations in an unsupervised manner by using two different data-free log-likelihood functions onto the variables sampled from the generator's distribution. We propose a two-stage algorithm for optimizing the inference network separately from the generator training. Moreover, we enforce the learning of interpretable representations through the maximization of the mutual information between the existing latent variables and those created through generative and inference processes.


title: Smaller ACC0 Circuits for Symmetric Functions

abstract: What is the power of constant-depth circuits with $MOD_m$ gates, that can count modulo $m$? Can they efficiently compute MAJORITY and other symmetric functions? When $m$ is a constant prime power, the answer is well understood: Razborov and Smolensky proved in the 1980s that MAJORITY and $MOD_m$ require super-polynomial-size $MOD_q$ circuits, where $q$ is any prime power not dividing $m$. However, relatively little is known about the power of $MOD_m$ circuits for non-prime-power $m$. For example, it is still open whether every problem in $EXP$ can be computed by depth-$3$ circuits of polynomial size and only $MOD_6$ gates. We shed some light on the difficulty of proving lower bounds for $MOD_m$ circuits, by giving new upper bounds. We construct $MOD_m$ circuits computing symmetric functions with non-prime power $m$, with size-depth tradeoffs that beat the longstanding lower bounds for $AC^0[m]$ circuits for prime power $m$. Our size-depth tradeoff circuits have essentially optimal dependence on $m$ and $d$ in the exponent, under a natural circuit complexity hypothesis. For example, we show for every $\varepsilon > 0$ that every symmetric function can be computed with depth-3 $MOD_m$ circuits of $\exp(O(n^{\varepsilon}))$ size, for a constant $m$ depending only on $\varepsilon > 0$. That is, depth-$3$ $CC^0$ circuits can compute any symmetric function in \emph{subexponential} size. This demonstrates a significant difference in the power of depth-$3$ $CC^0$ circuits, compared to other models: for certain symmetric functions, depth-$3$ $AC^0$ circuits require $2^{\Omega(\sqrt{n})}$ size [H{\aa}stad 1986], and depth-$3$ $AC^0[p^k]$ circuits (for fixed prime power $p^k$) require $2^{\Omega(n^{1/6})}$ size [Smolensky 1987]. Even for depth-two $MOD_p \circ MOD_m$ circuits, $2^{\Omega(n)}$ lower bounds were known [Barrington Straubing Th\'erien 1990].


title: Continuous Wave Multipass Microscopy

abstract: We present a continuous-wave, post selection-free implementation of a widefield optical multipass microscope. It can be operated with a spatially and temporally incoherent light source, and requires no active outcoupling or exotic detection schemes. This implementation is capable of deterministically interrogating a sample sequentially up to $m=4$ times. Through multiple interrogations, a linear enhancement in phase shift and absorption imparted by the sample can be achieved, fundamentally increasing the signal-to-noise of the obtainable images.


abstract: In this paper, we propose a new continuously learning generative model, called the Lifelong Twin Generative Adversarial Networks (LT-GANs). LT-GANs learns a sequence of tasks from several databases and its architecture consists of three components: two identical generators, namely the Teacher and Assistant, and one Discriminator. In order to allow for the LT-GANs to learn new concepts without forgetting, we introduce a new lifelong training approach, namely Lifelong Adversarial Knowledge Distillation (LAKD), which encourages the Teacher and Assistant to alternately teach each other, while learning a new database. This training approach favours transferring knowledge from a more knowledgeable player to another player which knows less information about a previously given task.


title: Multiplayer Homicidal Chauffeur Reach-Avoid Games via Guaranteed Winning Strategies

abstract: This paper studies a planar multiplayer Homicidal Chauffeur reach-avoid differential game, where each pursuer is a Dubins car and each evader has simple motion. The pursuers aim to protect a goal region cooperatively from the evaders. Due to the high-dimensional strategy space among pursuers, we decompose the whole game into multiple one-pursuer-one-evader subgames, each of which is solved in an analytical approach instead of solving Hamilton-Jacobi-Isaacs equations. For each subgame, an evasion region (ER) is introduced, based on which a pursuit strategy guaranteeing the winning of a simple-motion pursuer under specific conditions is proposed. Motivated by the simple-motion pursuer, a strategy for a Dubins-car pursuer is proposed when the pursuer-evader configuration satisfies separation condition (SC) and interception orientation (IO). The necessary and sufficient condition on capture radius, minimum turning radius and speed ratio to guarantee the pursuit winning is derived. When the IO is not satisfied (Non-IO), a heading adjustment pursuit strategy is proposed, and the condition to achieve IO within a finite time, is given. Then, a two-step pursuit strategy is proposed for the SC and Non-IO case. A non-convex optimization problem is introduced to give a condition guaranteeing the winning of the pursuer. A polynomial equation gives a lower bound of the non-convex problem, providing a sufficient and efficient pursuit winning condition. Finally, these pairwise outcomes are collected for the pursuer-evader matching. Simulations are provided to illustrate the theoretical results.


title: Cartan subalgebras in von Neumann algebras associated with graph product groups

abstract: In this short note we classify the Cartan subalgebras in all von Neumann algebras associated with graph product groups and their free ergodic measure preserving actions on probability spaces.


title: Fragments of the Past: Curating Peer Support with Perpetrators of Domestic Violence

abstract: There is growing evidence that digital peer-support networks can have a positive influence on behaviour change and wellbeing outcomes for people who harm themselves and others. However, making and sustaining such networks are subject to ethical and pragmatic challenges, particularly for perpetrators of domestic violence whom pose unique risks when brought together. In this work we report on a ten-month study where we worked with six support workers and eighteen perpetrators in the design and deployment of Fragments of the Past; a socio-material system that connects audio messages with tangible artefacts. We share how crafting digitally-augmented artefacts - 'fragments' - of experiences of desisting from violence can translate messages for motivation and rapport between peers, without subjecting the process to risks inherent with direct inter-personal communication. These insights provide the basis for practical considerations for future network design with challenging populations.


title: On the Nature of Code Cloning in Open-Source Java Projects

abstract: Code cloning plays a very important role in open-source software engineering. The presence of clones within a project may indicate a need for refactoring, and clones between projects are even more interesting, since code migration takes place and violations are possible. But how is code being copied? How prevalent is the process and on what level does it happen? In this general study, we attempt to shed some light on these questions by searching for clones in a large dataset of over 23 thousand Java projects on the level of both files and methods, and by studying the code fragments themselves and their clone pairs. We study the size and the age of code fragments, the prevalence of their clones, relationships between exact and non-exact clones, as well as between method-level and file-level clones. We also discover and describe various anomalies in the code clones that were detected in the dataset. Our research shows that the copying occurs all through the years of the Java code existence and that method-level copying is much more prevalent than file-level copying, with only 35.4% of methods having no clones at all. Additionally, some of the discovered anomalies can be useful for future large-scale cloning research as they can be used for removing auto-generated code.


title: Automated Graph Learning via Population Based Self-Tuning GCN

abstract: Owing to the remarkable capability of extracting effective graph embeddings, graph convolutional network (GCN) and its variants have been successfully applied to a broad range of tasks, such as node classification, link prediction, and graph classification. Traditional GCN models suffer from the issues of overfitting and oversmoothing, while some recent techniques like DropEdge could alleviate these issues and thus enable the development of deep GCN. However, training GCN models is non-trivial, as it is sensitive to the choice of hyperparameters such as dropout rate and learning weight decay, especially for deep GCN models. In this paper, we aim to automate the training of GCN models through hyperparameter optimization. To be specific, we propose a self-tuning GCN approach with an alternate training algorithm, and further extend our approach by incorporating the population based training scheme. Experimental results on three benchmark datasets demonstrate the effectiveness of our approaches on optimizing multi-layer GCN, compared with several representative baselines.


title: A Topological-Framework to Improve Analysis of Machine Learning Model Performance

abstract: As both machine learning models and the datasets on which they are evaluated have grown in size and complexity, the practice of using a few summary statistics to understand model performance has become increasingly problematic. This is particularly true in real-world scenarios where understanding model failure on certain subpopulations of the data is of critical importance. In this paper we propose a topological framework for evaluating machine learning models in which a dataset is treated as a "space" on which a model operates. This provides us with a principled way to organize information about model performance at both the global level (over the entire test set) and also the local level (on specific subpopulations). Finally, we describe a topological data structure, presheaves, which offer a convenient way to store and analyze model performance between different subpopulations.


title: DDCNet: Deep Dilated Convolutional Neural Network for Dense Prediction

abstract: Dense pixel matching problems such as optical flow and disparity estimation are among the most challenging tasks in computer vision. Recently, several deep learning methods designed for these problems have been successful. A sufficiently larger effective receptive field (ERF) and a higher resolution of spatial features within a network are essential for providing higher-resolution dense estimates. In this work, we present a systemic approach to design network architectures that can provide a larger receptive field while maintaining a higher spatial feature resolution. To achieve a larger ERF, we utilized dilated convolutional layers. By aggressively increasing dilation rates in the deeper layers, we were able to achieve a sufficiently larger ERF with a significantly fewer number of trainable parameters. We used optical flow estimation problem as the primary benchmark to illustrate our network design strategy. The benchmark results (Sintel, KITTI, and Middlebury) indicate that our compact networks can achieve comparable performance in the class of lightweight networks.


title: Sub-GeV $U(1)_{R}$ gauge boson to address the proton radius discrepancy

abstract: We propose a Standard Model extension by a $U(1)_{R}$ gauge symmetry where only right-handed chiral fermions can carry a non-trivial charge. Here we show that the simplest anomaly-free solution to accommodate the proton charge radius discrepancy takes right-handed muons $\mu_R$ and first generation quarks, $u_R$ and $d_R$. Consistency with the latest muon's $(g-2)$ measurements is achieved through an extra light scalar, which itself must lie in the tens of MeV mass range to be viable.


title: Consecutive patterns in circular permutations

abstract: In their study of cyclic pattern containment, Domagalski et al. conjecture differential equations for the generating functions of circular permutations avoiding consecutive patterns of length 3. In this note, we prove and significantly generalize these conjectures. We show that, for every consecutive pattern $\sigma$ beginning with 1, the bivariate generating function counting occurrences of $\sigma$ in circular permutations can be obtained from the generating function counting occurrences of $\sigma$ in (linear) permutations. This includes all the patterns for which the latter generating function is known.


title: Wind-tree model for billiard motion from a signal processing viewpoint

abstract: In the Ehrenfest wind tree model, a point particle moves on the plane and collides with randomly placed fixed square obstacles under the usual law of geometric optics. The particle represents the wind and the squares are the trees. We examine the periodic version of the model. Previous authors analyze the dynamical properties of the model using techniques from algebraic topology or ergodic theory. In contrast to these works, we adopt a signal processing viewpoint. We describe the phenomenon of the long-term trajectories by using a 3-state hidden Markov model.


title: Influencias astron\'omicas sobre la evoluci\'on geol\'ogica y biol\'ogica de la Tierra (parte I)

abstract: This monograph presents a study of the nature and origin of meteorites, asteroids and comets; and of the consequences of encounters of these cosmic objects with the Earth. The purpose of this monograph is mainly of divulgation for non-specialists, even though we have not avoided some elementary technical aspects and some own proposals: 1) Calculation of the evolution of an expanding bubble originated by the explosion of a cosmic object that releases 50 Mt of energy in the terrestrial atmosphere, at a height of 5 km from the ground. 2) A new explanation of the white nights observed in Eurasia and of other phenomena related to the Tunguska's explosion of 1908.


title: An Empirical Study of Data Constraint Implementations in Java

abstract: Software systems are designed according to guidelines and constraints defined by business rules. Some of these constraints define the allowable or required values for data handled by the systems. These data constraints usually originate from the problem domain (e.g., regulations), and developers must write code that enforces them. Understanding how data constraints are implemented is essential for testing, debugging, and software change. Unfortunately, there are no widely-accepted guidelines or best practices on how to implement data constraints. This paper presents an empirical study that investigates how data constraints are implemented in Java. We study the implementation of 187 data constraints extracted from the documentation of eight real-world Java software systems. First, we perform a qualitative analysis of the textual description of data constraints and identify four data constraint types. Second, we manually identify the implementations of these data constraints and reveal that they can be grouped into 30 implementation patterns. The analysis of these implementation patterns indicates that developers prefer a handful of patterns when implementing data constraints and deviations from these patterns are associated with unusual implementation decisions or code smells. Third, we develop a tool-assisted protocol that allows us to identify 256 additional trace links for the data constraints implemented using the 13 most common patterns. We find that almost half of these data constraints have multiple enforcing statements, which are code clones of different types.


title: U-Net with Hierarchical Bottleneck Attention for Landmark Detection in Fundus Images of the Degenerated Retina

abstract: Fundus photography has routinely been used to document the presence and severity of retinal degenerative diseases such as age-related macular degeneration (AMD), glaucoma, and diabetic retinopathy (DR) in clinical practice, for which the fovea and optic disc (OD) are important retinal landmarks. However, the occurrence of lesions, drusen, and other retinal abnormalities during retinal degeneration severely complicates automatic landmark detection and segmentation. Here we propose HBA-U-Net: a U-Net backbone enriched with hierarchical bottleneck attention. The network consists of a novel bottleneck attention block that combines and refines self-attention, channel attention, and relative-position attention to highlight retinal abnormalities that may be important for fovea and OD segmentation in the degenerated retina. HBA-U-Net achieved state-of-the-art results on fovea detection across datasets and eye conditions (ADAM: Euclidean Distance (ED) of 25.4 pixels, REFUGE: 32.5 pixels, IDRiD: 32.1 pixels), on OD segmentation for AMD (ADAM: Dice Coefficient (DC) of 0.947), and on OD detection for DR (IDRiD: ED of 20.5 pixels). Our results suggest that HBA-U-Net may be well suited for landmark detection in the presence of a variety of retinal degenerative diseases.


title: Attitude Reconstruction from Inertial Measurement: Mitigating Runge Effect for Dynamic Applications

abstract: Time-equispaced inertial measurements are practically used as inputs for motion determination. Polynomial interpolation is a common technique of recovering the gyroscope signal but is subject to a fundamentally numerical stability problem due to the Runge effect on equispaced samples. This paper reviews the theoretical results of Runge phenomenon in related areas and proposes a straightforward borrowing-and-cutting (BAC) strategy to depress it. It employs the neighboring samples for higher-order polynomial interpolation but only uses the middle polynomial segment in the actual time interval. The BAC strategy has been incorporated into attitude computation by functional iteration, leading to accuracy benefit of several orders of magnitude under the classical coning motion. It would potentially bring significant benefits to the inertial navigation computation under sustained dynamic motions.


title: Classifying sections of del Pezzo fibrations, II

abstract: Let $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.


title: Longitudinal Correlation Analysis for Decoding Multi-Modal Brain Development

abstract: Starting from childhood, the human brain restructures and rewires throughout life. Characterizing such complex brain development requires effective analysis of longitudinal and multi-modal neuroimaging data. Here, we propose such an analysis approach named Longitudinal Correlation Analysis (LCA). LCA couples the data of two modalities by first reducing the input from each modality to a latent representation based on autoencoders. A self-supervised strategy then relates the two latent spaces by jointly disentangling two directions, one in each space, such that the longitudinal changes in latent representations along those directions are maximally correlated between modalities. We applied LCA to analyze the longitudinal T1-weighted and diffusion-weighted MRIs of 679 youths from the National Consortium on Alcohol and Neurodevelopment in Adolescence. Unlike existing approaches that focus on either cross-sectional or single-modal modeling, LCA successfully unraveled coupled macrostructural and microstructural brain development from morphological and diffusivity features extracted from the data. A retesting of LCA on raw 3D image volumes of those subjects successfully replicated the findings from the feature-based analysis. Lastly, the developmental effects revealed by LCA were inline with the current understanding of maturational patterns of the adolescent brain.


title: Magnetism of Fullerene C60 Compared with Graphene Molecule by DFT Calculation, Laboratory Experiment and Astronomical Observation

abstract: Magnetism of fullerene C60 was studied by three methods of the density functional theory (DFT) calculation, laboratory experiment and astronomical observation. DFT revealed that the most stable spin state was non-magnetic one of Sz=0/2. This is contrary to our recent study on void induced graphene molecules of C23 and C53 to be magnetic one of Sz=2/2. Two graphene molecules combined model suggested that two up-spin at every carbon pentagon ring may cancel each other to bring Sz=0/2. Similar cancelation may occur on C60. Molecular vibrational infrared spectrum of C60 show four major bands, which coincide with gas-phase laboratory experiment, also with astronomically observed one of carbon rich planetary nebula Tc1 and Lin49. However, there remain many unidentified bands on astronomical one. We supposed multiple voids on graphene sheet, which may create both C60 and complex graphene molecules. It was revealed that spectrum of two voids induced graphene molecule coincident well with major astronomical bands. Simple sum of C60 and graphene molecules could successfully reproduce astronomical bands in detail.


title: Precise binding free energy calculations for multiple molecules using an optimal measurement network of pairwise differences

abstract: Alchemical binding free energy (BFE) calculations offer an efficient and thermodynamically rigorous approach to in silico binding affinity predictions. As a result of decades of methodological improvements and recent advances in computer technology, alchemical BFE calculations are now widely used in drug discovery research. They help guide the prioritization of candidate drug molecules by predicting their binding affinities for a biomolecular target of interest (and potentially selectivity against undesirable anti-targets). Statistical variance associated with such calculations, however, may undermine the reliability of their predictions, introducing uncertainty both in ranking candidate molecules and in benchmarking their predictive accuracy. Here, we present a computational method that substantially improves the statistical precision in BFE calculations for a set of ligands binding to a common receptor by dynamically allocating computational resources to different BFE calculations according to an optimality objective established in a previous work from our group and extended in this work. Our method, termed Network Binding Free Energy (NetBFE), performs adaptive binding free energy calculations in iterations, re-optimizing the allocations in each iteration based on the statistical variances estimated from previous iterations. Using examples of NetBFE calculations for protein-binding of congeneric ligand series, we demonstrate that NetBFE approaches the optimal allocation in a small number (<= 5) of iterations and that NetBFE reduces the statistical variance in the binding free energy estimates by approximately a factor of two when compared to a previously published and widely used allocation method at the same total computational cost.


title: Reflection theorems for number rings

abstract: This is the original version of my Ph.D. thesis. The main results have been divided up between papers arXiv:2111.09784 and arXiv:2204.10924. This paper has been kept on the arXiv to preserve some proofs of elementary lemmas that will be removed from the peer-reviewed version.


title: Cubic planar bipartite graphs are dispersable

abstract: A graph is called dispersable if it has a book embedding in which each page has maximum degree 1 and the number of pages is the maximum degree. Bernhart and Kainen conjectured every k-regular bipartite graph is dispersable. Forty years later, Alam, Bekos, Gronemann, Kaufmann, and Pupyrev have disproved this conjecture, identifying nonplanar 3- and 4-regular bipartite graphs that are not dispersable. They also proved all cubic planar bipartite 3-connected graphs are dispersable and conjectured that the connectivity condition could be relaxed. We prove that every cubic planar bipartite multigraph is dispersable. A postscript is added which includes new references.


title: Potential and sky coverage for off-axis fringe tracking in optical long baseline interferometry

abstract: The spectacular results provided by the second-generation VLTI instruments GRAVITY and MATISSE on active galactic nuclei (AGN) trigger and justify a strong increase in the sensitivity limit of optical interferometers. A key component of such an upgrade is off-axis fringe tracking. To evaluate its potential and limitations, we describe and analyse its error budget including fringe sensing precision and temporal, angular and chromatic perturbations of the piston. The global tracking error is computed using standard seeing parameters for different sites, seeing conditions and telescope sizes for the current GRAVITY Fringe Tracker (GFT) and a new concept of Hierarchical Fringe Tracker. Then, it is combined with a large catalogue of guide star candidates from Gaia to produce sky coverage maps that give the probability to find a usable off-axis guide star in any part of the observable sky. These maps can be used to set the specifications of the system, check its sensitivity to seeing conditions, and evaluate the feasibility of science programs. We check the availability of guide stars and the tracking accuracy for a large set of 15 799 Quasars to confirm the feasibility of a large program on Broad Line Regions in the K band with the GFT and show how it can be extended to the L, M, and N bands. Another set of 331 well-characterized nearby AGNs shows the high potential of MATISSE for imaging and characterization of the dust torus in the N band under off-axis tracking on both Unit Telescopes and Auxiliary Telescopes.


title: Excitation spectrum of spin-1 Kitaev spin liquids

abstract: We study the excitation spectrum of the spin-1 Kitaev model using the symmetric tensor network. By evaluating the virtual order parameters defined on the virtual Hilbert space in the tensor network formalism, we confirm the ground state is in a $\mathbb{Z}_2$ spin liquid phase. Using the correspondence between the transfer matrix spectrum and low-lying excitations, we find that contrary to the dispersive Majorana excitation in the spin-1/2 case, the isotropic spin-1 Kitaev model has a dispersive charge anyon excitation. Bottom of the gapped single-particle charge excitations are found at $\mathbf{K}, \mathbf{K}'=(\pm2\pi/3, \mp 2\pi/3)$, with a corresponding correlation length of $\xi \approx 6.7$ unit cells. The lower edge of the two-particle continuum, which is closely related to the dynamical structure factor measured in inelastic neutron scattering experiments, is obtained by extracting the excitations in the vacuum superselection sector in the anyon theory language


title: Effect of characteristic size on the collective phonon transport in crystalline GeTe

abstract: We study the effect of characteristic size variation on the phonon thermal transport in crystalline GeTe for a wide range of temperatures using the first-principles density-functional method coupled with the kinetic collective model approach. The characteristic size dependence of phonon thermal transport reveals an intriguing collective phonon transport regime, located in between the ballistic and the diffusive transport regimes. Therefore, systematic investigations have been carried out to describe the signatures of phonon hydrodynamics via the competitive effects between grain size and temperature. A characteristic nonlocal length associated with phonon hydrodynamics and a heat wave propagation length has been extracted. The connections between phonon hydrodynamics and these length scales are discussed in terms of the Knudsen number. Further, the scaling relation of thermal conductivity as a function of characteristic size in the intermediate size range emerges as a crucial indicator of the strength of the hydrodynamic behavior. A ratio concerning normal and resistive scattering rates has been employed to understand these different scaling relations, which seems to control the strength and prominent visibility of the collective phonon transport in GeTe. This systematic investigation emphasizes the importance of the competitive effects between temperature and characteristic size on phonon hydrodynamics in GeTe, which can lead to a better understanding of the generic behavior and consequences of the phonon hydrodynamics and its controlling parameters in low-thermal conductivity materials.


title: Unconditionally stable exponential time differencing schemes for the mass-conserving Allen-Cahn equation with nonlocal and local effects

abstract: It is well known that the classic Allen-Cahn equation satisfies the maximum bound principle (MBP), that is, the absolute value of its solution is uniformly bounded for all time by certain constant under suitable initial and boundary conditions. In this paper, we consider numerical solutions of the modified Allen-Cahn equation with a Lagrange multiplier of nonlocal and local effects, which not only shares the same MBP as the original Allen-Cahn equation but also conserves the mass exactly. We reformulate the model equation with a linear stabilizing technique, then construct first- and second-order exponential time differencing schemes for its time integration. We prove the unconditional MBP preservation and mass conservation of the proposed schemes in the time discrete sense and derive their error estimates under some regularity assumptions. Various numerical experiments in two and three dimensions are also conducted to verify the theoretical results.


title: The $\ell$-adic hypergeometric function and associators

abstract: We introduce an $\ell$-adic analogue of Gauss's hypergeometric function arising from the Galois action on the fundamental torsor of the projective line minus three points. Its definition is motivated by a relation between the KZ-equation and the hypergeometric differential equation in the complex case. We show two basic properties, analogues of Gauss's hypergeometric theorem and of Euler's transformation formula for our $\ell$-adic function. We prove them by detecting a connection of a certain two-by-two matrix specialization of even unitary associators with the associated gamma function, which extends the result of Ohno and Zagier.


title: Layer-wise Analysis of a Self-supervised Speech Representation Model

abstract: Recently proposed self-supervised learning approaches have been successful for pre-training speech representation models. The utility of these learned representations has been observed empirically, but not much has been studied about the type or extent of information encoded in the pre-trained representations themselves. Developing such insights can help understand the capabilities and limits of these models and enable the research community to more efficiently develop their usage for downstream applications. In this work, we begin to fill this gap by examining one recent and successful pre-trained model (wav2vec 2.0), via its intermediate representation vectors, using a suite of analysis tools. We use the metrics of canonical correlation, mutual information, and performance on simple downstream tasks with non-parametric probes, in order to (i) query for acoustic and linguistic information content, (ii) characterize the evolution of information across model layers, and (iii) understand how fine-tuning the model for automatic speech recognition (ASR) affects these observations. Our findings motivate modifying the fine-tuning protocol for ASR, which produces improved word error rates in a low-resource setting.


title: Local-to-Global Self-Attention in Vision Transformers

abstract: Transformers have demonstrated great potential in computer vision tasks. To avoid dense computations of self-attentions in high-resolution visual data, some recent Transformer models adopt a hierarchical design, where self-attentions are only computed within local windows. This design significantly improves the efficiency but lacks global feature reasoning in early stages. In this work, we design a multi-path structure of the Transformer, which enables local-to-global reasoning at multiple granularities in each stage. The proposed framework is computationally efficient and highly effective. With a marginal increasement in computational overhead, our model achieves notable improvements in both image classification and semantic segmentation. Code is available at https://github.com/ljpadam/LG-Transformer


title: Assessing Data Efficiency in Task-Oriented Semantic Parsing

abstract: Data efficiency, despite being an attractive characteristic, is often challenging to measure and optimize for in task-oriented semantic parsing; unlike exact match, it can require both model- and domain-specific setups, which have, historically, varied widely across experiments. In our work, as a step towards providing a unified solution to data-efficiency-related questions, we introduce a four-stage protocol which gives an approximate measure of how much in-domain, "target" data a parser requires to achieve a certain quality bar. Specifically, our protocol consists of (1) sampling target subsets of different cardinalities, (2) fine-tuning parsers on each subset, (3) obtaining a smooth curve relating target subset (%) vs. exact match (%), and (4) referencing the curve to mine ad-hoc (target subset, exact match) points. We apply our protocol in two real-world case studies -- model generalizability and intent complexity -- illustrating its flexibility and applicability to practitioners in task-oriented semantic parsing.


title: An End-to-End AI-Based Framework for Automated Discovery of CEST/MT MR Fingerprinting Acquisition Protocols and Quantitative Deep Reconstruction (AutoCEST)

abstract: Purpose: To develop an automated machine-learning-based method for the discovery of rapid and quantitative chemical exchange saturation transfer (CEST) MR fingerprinting acquisition and reconstruction protocols. Methods: An MR physics governed AI system was trained to generate optimized acquisition schedules and the corresponding quantitative reconstruction neural-network. The system (termed AutoCEST) is composed of a CEST saturation block, a spin dynamics module, and a deep reconstruction network, all differentiable and jointly connected. The method was validated using a variety of chemical exchange phantoms and an in-vivo mouse brain at 9.4T. Results: The acquisition times for AutoCEST optimized schedules ranged from 35-71s, with a quantitative image reconstruction time of only 29 ms. The resulting exchangeable proton concentration maps for the phantoms were in good agreement with the known solute concentrations for AutoCEST sequences (mean absolute error = 2.42 mM; Pearson's r=0.992 , p$<$0.0001), but not for an unoptimized sequence (mean absolute error = 65.19 mM; Pearson's r=-0.161, p=0.522). Similarly, improved exchange rate agreement was observed between AutoCEST and quantification of exchange using saturation power (QUESP) methods (mean absolute error: 35.8 Hz, Pearson's r=0.971, p$<$0.0001) compared to an unoptimized schedule and QUESP (mean absolute error = 58.2 Hz; Pearson's r=0.959, p$<$0.0001). The AutoCEST in-vivo mouse brain semi-solid proton volume-fractions were lower in the cortex (12.21$\pm$1.37%) compared to the white-matter (19.73 $\pm$ 3.30%), as expected, and the amide proton volume-fraction and exchange rates agreed with previous reports. Conclusion: AutoCEST can automatically generate optimized CEST/MT acquisition protocols that can be rapidly reconstructed into quantitative exchange parameter maps.


title: Bounded System of Monopole and Half-monopole in the Weinberg-Salam Model

abstract: In this work, we study the one plus half-monopole configuration in Weinberg-Salam model, covering $\phi$-winding number $n$ = 1. We observed that while the finite separation between the one-monopole and the half-monopole becomes larger as compared to the same configuration in SU(2) Yang-Mills-Higgs theory, a flux tube is established, creating a bound-state of one-monopole and half-monopole in Weinberg-Salam model. There is no electromagnetic current loop circulating the pair of one-monopole and half-monopole, but the system possesses non-vanishing magnetic dipole moment. The non-Abelian gauge potential and the electromagnetic gauge potential are singular along the negative $z$-axis, but the total energy is finite. The solutions are investigated by fixing the Weinberg angle while varying the Higgs self-coupling constant and vice versa. It is shown that this configuration in Weinberg-Salam model possesses different behaviours than its counterpart in SU(2) Yang-Mills-Higgs theory.


title: Photoinduced Magnetic Force Microscopy: Enabling Direct and Exclusive Detection of Optical Magnetism

abstract: Modern optical nano-elements pursue ever-smaller sizes and individualized functionalities. Those elements that can efficiently manipulate the magnetic field of light boast promising future applications with a great challenge: the magnetic near field is irretrievable from conventional optical far-field characterization. Here we propose photoinduced magnetic force microscopy to directly and exclusively sense the magnetic field of light at the nanoscale. The proposed instrument exploits a magnetic nanoprobe with exclusive magnetic excitation under structured light illumination. The magnetic nanoprobe detects the photoinduced magnetic force, which is defined as the dipolar Lorentz force exerted on the photoinduced magnetic dipole in the nanoprobe. Since the resulting magnetic force is proportional to the incident magnetic field, the measured force reveals the magnetic near-field distribution at the nanoscale. The proposed instrument represents a fundamental step towards comprehensive electric and magnetic near-field detection and/or manipulation in single nano-element optical devices.


title: Absorption Spectra of Solids from Periodic Equation-of-Motion Coupled-Cluster Theory

abstract: We present ab initio absorption spectra of six three-dimensional semiconductors and insulators calculated using Gaussian-based periodic equation-of-motion coupled-cluster theory with single and double excitations (EOM-CCSD). The spectra are calculated efficiently by solving a system of linear equations at each frequency, giving access to an energy range of tens of eV without explicit enumeration of excited states. We assess the impact of Brillouin zone sampling, for which it is hard to achieve convergence due to the cost of EOM-CCSD. Although our most converged spectra exhibit lineshapes that are in good agreement with experiment, they are uniformly shifted to higher energies by about 1 eV. We tentatively attribute this discrepancy to a combination of vibrational effects and the remaining electron correlation, i.e., triple excitations and above.


title: Variability Fault Localization: A Benchmark

abstract: Software fault localization is one of the most expensive, tedious, and time-consuming activities in program debugging. This activity becomes even much more challenging in Software Product Line (SPL) systems due to the variability of failures in SPL systems. These unexpected behaviors are caused by variability faults which can only be exposed under some combinations of system features. Although localizing bugs in non-configurable code has been investigated in-depth, variability fault localization in SPL systems still remains mostly unexplored. To approach this challenge, we propose a benchmark for variability fault localization with a large set of 1,570 buggy versions of six SPL systems and baseline variability fault localization performance results. Our hope is to engage the community to propose new and better approaches to the problem of variability fault localization in SPL systems.


title: Test of the hyperon-nucleon interaction within leading order covariant chiral effective field theory

abstract: Motivated by the recent experimental measurements of differential cross sections of the $\Sigma^{-}p$ elastic scattering in the momentum range of $470$ to $850$ MeV$/c$ by the J-PARC E$40$ experiment, we extend our previous studies of $S=-1$ hyperon-nucleon interactions to relatively higher energies up to $900$ MeV$/c$ for both the coupled-channel $\Lambda p\rightarrow(\Lambda p, \Sigma^{+}n, \Sigma^{0}p)$, $\Sigma^{-}p\rightarrow(\Lambda n, \Sigma^{0}n, \Sigma^{-}p)$ and single-channel $\Sigma^{+}p\rightarrow\Sigma^{+}p$ reactions. We show that although the leading order covariant chiral effective field theory is only constrained by the low energy data, it can describe the high energy data reasonably well, in particular, the J-PARC E40 differential cross sections. The predicted cusp structure close to the $\Sigma N$ threshold in the $\Lambda p\to \Lambda p$ reaction agrees with the latest ALICE observation as well as with the results of the next-to-leading order heavy baryon chiral effective theory. On the other hand, the comparison with the latest CLAS data on the $\Lambda p$ cross sections between 0.9 and 2.0 GeV$/c$ clearly indicates the need of higher order chiral potentials for such high momenta. This is also the case for the latest J-PARC data on the $\Sigma p \rightarrow \Lambda n$ differential cross sections. Nevertheless, even for these cases, the predictions are in qualitative agreement with the data, albeit with large uncertainties, implying that the predicted total and differential cross sections are of relevance for ongoing and planned experiments.


title: HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis

abstract: Android has become the most popular mobile operating system. Correspondingly, an increasing number of Android malware has been developed and spread to steal users' private information. There exists one type of malware whose benign behaviors are developed to camouflage malicious behaviors. The malicious component occupies a small part of the entire code of the application (app for short), and the malicious part is strongly coupled with the benign part. In this case, the malware may cause false negatives when malware detectors extract features from the entire apps to conduct classification because the malicious features of these apps may be hidden among benign features. Moreover, some previous work aims to divide the entire app into several parts to discover the malicious part. However, the premise of these methods to commence app partition is that the connections between the normal part and the malicious part are weak. In this paper, we call this type of malware as Android covert malware and generate the first dataset of covert malware. To detect them, we first conduct static analysis to extract the call graphs. Through the deep analysis on graphs, we observe that although the correlations between the normal part and the malicious part in these graphs are high, the degree of these correlations has a distribution. Based on the observation, we design HomDroid to detect covert malware by analyzing the homophily of call graphs. We identify the ideal threshold of correlation to distinguish the normal part and the malicious part based on the evaluation results on a dataset of 4,840 benign apps and 3,385 covert malicious apps. According to our evaluation results, HomDroid is capable of detecting 96.8% of covert malware while the False Negative Rates of another four state-of-the-art systems (i.e., PerDroid, Drebin, MaMaDroid, and IntDroid) are 30.7%, 16.3%, 15.2%, and 10.4%, respectively.


title: Nonlinearly stability of solutions on the outer Pressure Problem of Compressible Navier-Stokes System with Temperature-Dependent Heat Conductivity

abstract: In this paper, the one-dimensional compressible Navier-Stokes system with outer pressure boundary conditions is investigated. Under some suitable assumptions, we prove that the specific volume and the temperature are bounded from below and above independently of time, and then give the local and global existence of strong solutions. Furthermore, we also obtain the convergence of the global strong solution to a stationary state and the nonlinearly stability of its convergence. It is worth noticing that all the assumptions imposed on the initial data are the same as Takeyuki Nagasawa [Japan.J.Appl.Math.(1988)]. Therefore, our work can be regarded as an improvement of the results of Takeyuki.


title: Self-calibrating interloper bias in spectroscopic galaxy clustering surveys

abstract: Contamination of interloper galaxies due to misidentified emission lines can be a big issue in the spectroscopic galaxy clustering surveys, especially in future high-precision observations. We propose a statistical method based on the cross-correlations of the observational data itself between two redshift bins to efficiently reduce this effect, and it also can derive the interloper fraction f_i in a redshift bin with a high level of accuracy. The ratio of cross and auto angular correlation functions or power spectra between redshift bins are suggested to estimate f_i, and the key equations are derived for theoretical discussion. In order to explore and prove the feasibility and effectiveness of this method, we also run simulations, generate mock data, and perform cosmological constraints considering systematics based on the observation of the China Space Station Telescope (CSST). We find that this method can effectively reduce the interloper effect, and accurately constrain the cosmological parameters for f_i<1%~10%, which is suitable for most future surveys. This method also can be applied to other kinds of galaxy clustering surveys like line intensity mapping.


title: Consensual Collaborative Training And Knowledge Distillation Based Facial Expression Recognition Under Noisy Annotations

abstract: Presence of noise in the labels of large scale facial expression datasets has been a key challenge towards Facial Expression Recognition (FER) in the wild. During early learning stage, deep networks fit on clean data. Then, eventually, they start overfitting on noisy labels due to their memorization ability, which limits FER performance. This work proposes an effective training strategy in the presence of noisy labels, called as Consensual Collaborative Training (CCT) framework. CCT co-trains three networks jointly using a convex combination of supervision loss and consistency loss, without making any assumption about the noise distribution. A dynamic transition mechanism is used to move from supervision loss in early learning to consistency loss for consensus of predictions among networks in the later stage. Inference is done using a single network based on a simple knowledge distillation scheme. Effectiveness of the proposed framework is demonstrated on synthetic as well as real noisy FER datasets. In addition, a large test subset of around 5K images is annotated from the FEC dataset using crowd wisdom of 16 different annotators and reliable labels are inferred. CCT is also validated on it. State-of-the-art performance is reported on the benchmark FER datasets RAFDB (90.84%) FERPlus (89.99%) and AffectNet (66%). Our codes are available at https://github.com/1980x/CCT.


title: Secure Dual-Functional Radar-Communication Transmission: Exploiting Interference for Resilience Against Target Eavesdropping

abstract: We study security solutions for dual-functional radar communication (DFRC) systems, which detect the radar target and communicate with downlink cellular users in millimeter-wave (mmWave) wireless networks simultaneously. Uniquely for such scenarios, the radar target is regarded as a potential eavesdropper which might surveil the information sent from the base station (BS) to communication users (CUs), that is carried by the radar probing signal. Transmit waveform and receive beamforming are jointly designed to maximize the signal-to-interference-plus-noise ratio (SINR) of the radar under the security and power budget constraints. We apply a Directional Modulation (DM) approach to exploit constructive interference (CI), where the known multiuser interference (MUI) can be exploited as a source of useful signal. Moreover, to further deteriorate the eavesdropping signal at the radar target, we utilize destructive interference (DI) by pushing the received symbols at the target towards the destructive region of the signal constellation. Our numerical results verify the effectiveness of the proposed design showing a secure transmission with enhanced performance against benchmark DFRC techniques.


title: Resilient Edge Service Placement under Demand and Node Failure Uncertainties

abstract: Resiliency plays a critical role in designing future communication networks. How to make edge computing systems resilient against unpredictable failures and fluctuating demand is an important and challenging problem. To this end, this paper investigates a resilient service placement and workload allocation problem for a service provider (SP) who can procure resources from numerous edge nodes to serve its users, considering both resource demand and node failure uncertainties. We introduce a novel two-stage adaptive robust model to capture this problem. The service placement and resource procurement decisions are optimized in the first stage while the workload allocation decision is determined in the second stage after the uncertainty realization. By exploiting the special structure of the uncertainty set, we develop an efficient iterative algorithm that can converge to an exact optimal solution within a finite number of iterations. We further present an affine decision rule approximation approach for solving large-scale problem instances in a reasonable time. Extensive numerical results demonstrate the advantages of the proposed model and approaches, which can help the SP make proactive decisions to mitigate the impacts of the uncertainties.


title: Resilience of Autonomous Vehicle Object Category Detection to Universal Adversarial Perturbations

abstract: Due to the vulnerability of deep neural networks to adversarial examples, numerous works on adversarial attacks and defenses have been burgeoning over the past several years. However, there seem to be some conventional views regarding adversarial attacks and object detection approaches that most researchers take for granted. In this work, we bring a fresh perspective on those procedures by evaluating the impact of universal perturbations on object detection at a class-level. We apply it to a carefully curated data set related to autonomous driving. We use Faster-RCNN object detector on images of five different categories: person, car, truck, stop sign and traffic light from the COCO data set, while carefully perturbing the images using Universal Dense Object Suppression algorithm. Our results indicate that person, car, traffic light, truck and stop sign are resilient in that order (most to least) to universal perturbations. To the best of our knowledge, this is the first time such a ranking has been established which is significant for the security of the data sets pertaining to autonomous vehicles and object detection in general.


title: Multi-Agent Imitation Learning with Copulas

abstract: Multi-agent imitation learning aims to train multiple agents to perform tasks from demonstrations by learning a mapping between observations and actions, which is essential for understanding physical, social, and team-play systems. However, most existing works on modeling multi-agent interactions typically assume that agents make independent decisions based on their observations, ignoring the complex dependence among agents. In this paper, we propose to use copula, a powerful statistical tool for capturing dependence among random variables, to explicitly model the correlation and coordination in multi-agent systems. Our proposed model is able to separately learn marginals that capture the local behavioral patterns of each individual agent, as well as a copula function that solely and fully captures the dependence structure among agents. Extensive experiments on synthetic and real-world datasets show that our model outperforms state-of-the-art baselines across various scenarios in the action prediction task, and is able to generate new trajectories close to expert demonstrations.


title: Study of $\Lambda_c$$\Lambda_c$ dibaryon and $\Lambda_c$$\bar{\Lambda}_c$ baryonium states via QCD sum rules

abstract: In this article, we construct the six-quark currents with the $J^P=0^+$, $0^-$, $1^+$ and $1^-$ to study the $\Lambda_c$$\Lambda_c$ dibaryon and $\Lambda_c$$\bar{\Lambda}_c$ baryonium states via QCD sum rules. We consider the vacuum condensates up to dimension 16 and truncation of the order $\mathcal{O}(\alpha_s^k )$ with $k\leq3$. The predicted masses are $5.11_{-0.12}^{+0.15}$GeV, $4.66_{-0.06}^{+0.10}$GeV, $4.99_{-0.09}^{+0.10}$GeV $4.68^{+0.08}_{-0.08}$GeV for the $J^P=0^+$, $0^-$, $1^+$ and $1^-$ states, respectively, which can be confronted to the experimental data in the future considering the high integrated luminosity at the center-of-mass energy about $4.8\,\rm{GeV}$ at the BESIII. We find the terms with $\frac{3}{2}< k \leq 3$ do play a tiny role, and we can ignore these terms safely in the QCD sum rules.


title: Coexisting of Quantum Hall and Quantum Anomalous Hall phases in Disordered $\mathrm{MnBi_2Te_4}$

abstract: In most cases, to observe quantized Hall plateaux, an external magnetic field is applied in intrinsic magnetic topological insulators $\mathrm{MnBi_2Te_4}$. Nevertheless, whether the nonzero Chern number ($C\neq 0$) phase is a quantum anomalous Hall (QAH) state, or a quantum Hall (QH) state, or a mixing state of both is still a puzzle, especially for the recently observed $C=2$ phase [Deng \textit{et al}., Science \textbf{367}, 895 (2020)]. In this Letter, we propose a physical picture based on the Anderson localization to understand the observed Hall plateaux in disordered $\mathrm{MnBi_2Te_4}$. Rather good consistency between the experimental and numerical results confirms that the bulk states are localized in the absence of a magnetic field and a QAH edge state emerges with $C=1$. However, under a strong magnetic field, the lowest Landau band formed with the localized bulk states, survives disorder, together with the QAH edge state, leading to a $C=2$ phase. Eventually, we present a phase diagram of a disordered $\mathrm{MnBi_2Te_4}$ which indicates more coexistence states of QAH and QH to be verified by future experiments.


title: Hopf action on vertex algebras

abstract: In present paper, some properties of Hopf action on vertex algebras will be given. We prove that $V#H$ is an $\mathcal{S}$-local vertex algebra but it is not a vertex algebra when $V$ is an $H$-module vertex algebra. In addition, we extend the $\mathcal{S}$-locality to the quantum vertex algebras.


title: Lower Bounds for Prior Independent Algorithms

abstract: The prior independent framework for algorithm design considers how well an algorithm that does not know the distribution of its inputs approximates the expected performance of the optimal algorithm for this distribution. This paper gives a method that is agnostic to problem setting for proving lower bounds on the prior independent approximation factor of any algorithm. The method constructs a correlated distribution over inputs that can be generated both as a distribution over i.i.d. good-for-algorithms distributions and as a distribution over i.i.d. bad-for-algorithms distributions. Prior independent algorithms are upper-bounded by the optimal algorithm for the latter distribution even when the true distribution is the former. Thus, the ratio of the expected performances of the Bayesian optimal algorithms for these two decompositions is a lower bound on the prior independent approximation ratio. The techniques of the paper connect prior independent algorithm design, Yao's Minimax Principle, and information design. We apply this framework to give new lower bounds on several canonical prior independent mechanism design problems.


title: Beyond Low-pass Filtering: Graph Convolutional Networks with Automatic Filtering

abstract: Graph convolutional networks are becoming indispensable for deep learning from graph-structured data. Most of the existing graph convolutional networks share two big shortcomings. First, they are essentially low-pass filters, thus the potentially useful middle and high frequency band of graph signals are ignored. Second, the bandwidth of existing graph convolutional filters is fixed. Parameters of a graph convolutional filter only transform the graph inputs without changing the curvature of a graph convolutional filter function. In reality, we are uncertain about whether we should retain or cut off the frequency at a certain point unless we have expert domain knowledge. In this paper, we propose Automatic Graph Convolutional Networks (AutoGCN) to capture the full spectrum of graph signals and automatically update the bandwidth of graph convolutional filters. While it is based on graph spectral theory, our AutoGCN is also localized in space and has a spatial form. Experimental results show that AutoGCN achieves significant improvement over baseline methods which only work as low-pass filters.


title: Quintessential constant-roll inflation

abstract: We investigate a single field model in the context of the constant-roll inflation in which inflaton moves down to the minimum point of the potential with a constant rate of rolling. We use a quintessential inflationary model obtained by a Lorentzian function which is dependent on the number of e-folds. We present the inflationary analysis for the model and find the observational constraints on the parameters space using the observations of CMB anisotropies \textit{i.e.} the Planck and Keck/array datasets. We find the observationally acceptable values of the Width of the Lorentzian function as $0.3<\Gamma\leq0.5$ at the $68\%$ CL and $\Gamma\leq0.3$ at the $95\%$ CL when $\xi=120$, $|\beta|=0.02$ and $N=60$. Also, we acquire the observationally favoured values of the amplitude of the Lorentzian function as $400<\xi\leq600$ at the $68\%$ CL and $\xi\leq400$ at the $95\%$ CL when $\Gamma=0.1$, $|\beta|=0.02$ and $N=60$. Moreover, we study the model from the Weak Gravity Conjecture approach using the swampland criteria.


title: On quasi-log schemes

abstract: The notion of quasi-log schemes was first introduced by Florin Ambro in his epoch-making paper: Quasi-log varieties. In this paper, we establish the basepoint-free theorem of Reid--Fukuda type for quasi-log schemes in full generality. Roughly speaking, it means that all the results for quasi-log schemes claimed in Ambro's paper hold true. The proof is Kawamata's X-method with the aid of the theory of basic slc-trivial fibrations. For the reader's convenience, we make many comments on the theory of quasi-log schemes in order to make it more accessible.


title: On multipoint Pad\'e approximants whose poles accumulate on contours that separate the plane

abstract: In this note we consider asymptotics of the multipoint Pad\'e approximants to Cauchy integrals of analytic non-vanishing densities defined on a Jordan arc connecting $ -1 $ and $ 1 $. We allow for the situation where the (symmetric) contour attracting the poles of the approximants does separate the plane.


title: Exponential and Weibull models for spherical and spherical-shell diffusion-controlled release systems with semi-absorbing boundaries

abstract: We consider the classical problem of particle diffusion in $d$-dimensional radially-symmetric systems with absorbing boundaries. A key quantity to characterise such diffusive transport is the evolution of the proportion of particles remaining in the system over time, which we denote by $\mathcal{P}(t)$. Rather than work with analytical expressions for $\mathcal{P}(t)$ obtained from solution of the corresponding continuum model, which when available take the form of an infinite series of exponential terms, single-term low-parameter models are commonly proposed to approximate $\mathcal{P}(t)$ to ease the process of fitting, characterising and interpreting experimental release data. Previous models of this form have mainly been developed for circular and spherical systems with an absorbing boundary. In this work, we consider circular, spherical, annular and spherical-shell systems with absorbing, reflecting and/or semi-absorbing boundaries. By proposing a moment matching approach, we develop several simple one and two parameter exponential and Weibull models for $\mathcal{P}(t)$, each involving parameters that depend explicitly on the system dimension, diffusivity, geometry and boundary conditions. The developed models, despite their simplicity, agree very well with values of $\mathcal{P}(t)$ obtained from stochastic model simulations and continuum model solutions.


title: Leptin densities in amenable groups

abstract: Consider a positive Borel measure on a locally compact group. We define a notion of uniform density for such a measure, which is based on a group invariant introduced by Leptin in 1966. We then restrict to unimodular amenable groups and to translation bounded measures. In that case our density notion coincides with the well-known Beurling density from Fourier analysis, also known as Banach density from dynamical systems theory. We use Leptin densities for a geometric proof of the model set density formula, which expresses the density of a uniform regular model set in terms of the volume of its window, and for a proof of uniform mean almost periodicity of such model sets.


title: Analysis of the superdeterministic Invariant-set theory in a hidden-variable setting

abstract: A recent proposal for a superdeterministic account of quantum mechanics, named Invariant-set theory, appears to bring ideas from several diverse fields like chaos theory, number theory and dynamical systems to quantum foundations. However, a clear cut hidden-variable model has not been developed, which makes it difficult to assess the proposal from a quantum foundational perspective. In this article, we first build a hidden-variable model based on the proposal, and then critically analyse several aspects of the proposal using the model. We show that several arguments related to counter-factual measurements, nonlocality, non-commutativity of quantum observables, measurement independence etcetera that appear to work in the proposal fail when considered in our model. We further show that our model is not only superdeterministic but also nonlocal, with an ontic quantum state. We argue that the bit string defined in the model is a hidden variable and that it contains redundant information. Lastly, we apply the analysis developed in a previous work (Proc. R. Soc. A, 476(2243):20200214, 2020) to illustrate the issue of superdeterministic conspiracy in the model. Our results lend further support to the view that superdeterminism is unlikely to solve the puzzle posed by the Bell correlations.


title: Strengthening and Weakening by Dislocations in Monolayer MoS2

abstract: Dislocations govern the properties of any crystals. Yet, how dislocation of pentagonheptagon (5|7) in grain boundaries (GBs) affects the mechanical properties of two-dimensional MoS2 crystals remains poorly known. Using atomistic simulations and continuum disclination dipole model, we show that, depending on the tilt angle and 5|7 dislocation arrangement, MoS2 GB strength can be enhanced or reduced with tilt angle. For zigzag-tilt GBs primarily composed of Mo5|7+S5|7 dislocations, GB strength monotonically increases as the square of tilt angle. For armchair-tilt GBs with Mo5|7 or S5|7 dislocations, however, the trend of GB strength breaks down as 5|7 dislocations are non-evenly spaced. Moreover, mechanical failure initiates at the bond shared by 5|7 rings, in contrast to graphene where failure occurs at the bond shared by 6|7 rings. This work provides new insights into mechanical design of synthetic transition metal dichalcogenide crystals via dislocation engineering.


title: Hitting Weighted Even Cycles in Planar Graphs

abstract: A classical branch of graph algorithms is graph transversals, where one seeks a minimum-weight subset of nodes in a node-weighted graph $G$ which intersects all copies of subgraphs~$F$ from a fixed family $\mathcal F$. Many such graph transversal problems have been shown to admit polynomial-time approximation schemes (PTAS) for planar input graphs $G$, using a variety of techniques like the shifting technique (Baker, J. ACM 1994), bidimensionality (Fomin et al., SODA 2011), or connectivity domination (Cohen-Addad et al., STOC 2016). These techniques do not seem to apply to graph transversals with parity constraints, which have recently received significant attention, but for which no PTASs are known. In the even-cycle transversal (\ECT) problem, the goal is to find a minimum-weight hitting set for the set of even cycles in an undirected graph. For ECT, Fiorini et al. (IPCO 2010) showed that the integrality gap of the standard covering LP relaxation is $\Theta(\log n)$, and that adding sparsity inequalities reduces the integrality gap to~10. Our main result is a primal-dual algorithm that yields a $47/7\approx6.71$-approximation for ECT on node-weighted planar graphs, and an integrality gap of the same value for the standard LP relaxation on node-weighted planar graphs.


title: Hack The Box: Fooling Deep Learning Abstraction-Based Monitors

abstract: Deep learning is a type of machine learning that adapts a deep hierarchy of concepts. Deep learning classifiers link the most basic version of concepts at the input layer to the most abstract version of concepts at the output layer, also known as a class or label. However, once trained over a finite set of classes, some deep learning models do not have the power to say that a given input does not belong to any of the classes and simply cannot be linked. Correctly invalidating the prediction of unrelated classes is a challenging problem that has been tackled in many ways in the literature. Novelty detection gives deep learning the ability to output "do not know" for novel/unseen classes. Still, no attention has been given to the security aspects of novelty detection. In this paper, we consider the case study of abstraction-based novelty detection and show that it is not robust against adversarial samples. Moreover, we show the feasibility of crafting adversarial samples that fool the deep learning classifier and bypass the novelty detection monitoring at the same time. In other words, these monitoring boxes are hackable. We demonstrate that novelty detection itself ends up as an attack surface.


title: Mechanical Ductile Detwinning in CH3NH3PbI3 Perovskite

abstract: Twin boundaries (TBs) were identified to show conflicting positive/negative effects on the physical properties of CH3NH3PbI3 perovskite, but their roles on the mechanical properties are pending. Herein, tensile characteristics of a variety of TB-dominated bicrystalline CH3NH3PbI3 perovskites are explored using molecular simulations. TB-contained CH3NH3PbI3 are classified into four types from their tensile ductile detwinning characteristics. Type I is characterized by smooth loading flow stressstrain responses, originating from relatively uniform stress distribution induced gradual amorphization at TB region. Types II and III are represented by sudden drop of loading stresses but then distinct ductile flow stress-strain curves, resulting from limited and large-area amorphizations of TB-involved structures, respectively. However, Type IV is highlighted by double apparent peaks in the loading curve followed by ductile flow response, coming from stress-concentration of localization-to-globalization at TB structure, as well as amorphization. This study provides critical insights into mechanics of CH3NH3PbI3 perovskites, and offers that TB engineering is a promising strategy to design mechanically robust hybrid organic-inorganic perovskites-based device systems


title: Convergence Analysis of Schr{\"o}dinger-F{\"o}llmer Sampler without Convexity

abstract: Schr\"{o}dinger-F\"{o}llmer sampler (SFS) is a novel and efficient approach for sampling from possibly unnormalized distributions without ergodicity. SFS is based on the Euler-Maruyama discretization of Schr\"{o}dinger-F\"{o}llmer diffusion process $$\mathrm{d} X_{t}=-\nabla U\left(X_t, t\right) \mathrm{d} t+\mathrm{d} B_{t}, \quad t \in[0,1],\quad X_0=0$$ on the unit interval, which transports the degenerate distribution at time zero to the target distribution at time one. In \cite{sfs21}, the consistency of SFS is established under a restricted assumption that %the drift term $b(x,t)$ the potential $U(x,t)$ is uniformly (on $t$) strongly %concave convex (on $x$). In this paper we provide a nonasymptotic error bound of SFS in Wasserstein distance under some smooth and bounded conditions on the density ratio of the target distribution over the standard normal distribution, but without requiring the strongly convexity of the potential.


title: Anomaly Detection in Residential Video Surveillance on Edge Devices in IoT Framework

abstract: Intelligent resident surveillance is one of the most essential smart community services. The increasing demand for security needs surveillance systems to be able to detect anomalies in surveillance scenes. Employing high-capacity computational devices for intelligent surveillance in residential societies is costly and not feasible. Therefore, we propose anomaly detection for intelligent surveillance using CPU-only edge devices. A modular framework to capture object-level inferences and tracking is developed. To cope with partial occlusions, posture deformations, and complex scenes, we employed feature encoding and trajectory association governed by two metrices complementing to each other. The elements of an anomaly detection framework are optimized to run on CPU-only edge devices with sufficient frames per second (FPS). The experimental results indicate the proposed method is feasible and achieves satisfactory results in real-life scenarios.


title: DualVGR: A Dual-Visual Graph Reasoning Unit for Video Question Answering

abstract: Video question answering is a challenging task, which requires agents to be able to understand rich video contents and perform spatial-temporal reasoning. However, existing graph-based methods fail to perform multi-step reasoning well, neglecting two properties of VideoQA: (1) Even for the same video, different questions may require different amount of video clips or objects to infer the answer with relational reasoning; (2) During reasoning, appearance and motion features have complicated interdependence which are correlated and complementary to each other. Based on these observations, we propose a Dual-Visual Graph Reasoning Unit (DualVGR) which reasons over videos in an end-to-end fashion. The first contribution of our DualVGR is the design of an explainable Query Punishment Module, which can filter out irrelevant visual features through multiple cycles of reasoning. The second contribution is the proposed Video-based Multi-view Graph Attention Network, which captures the relations between appearance and motion features. Our DualVGR network achieves state-of-the-art performance on the benchmark MSVD-QA and SVQA datasets, and demonstrates competitive results on benchmark MSRVTT-QA datasets. Our code is available at https://github.com/MMIR/DualVGR-VideoQA.


title: Standard Model Physics and the Digital Quantum Revolution: Thoughts about the Interface

abstract: Advances in isolating, controlling and entangling quantum systems are transforming what was once a curious feature of quantum mechanics into a vehicle for disruptive scientific and technological progress. Pursuing the vision articulated by Feynman, a concerted effort across many areas of research and development is introducing prototypical digital quantum devices into the computing ecosystem available to domain scientists. Through interactions with these early quantum devices, the abstract vision of exploring classically-intractable quantum systems is evolving toward becoming a tangible reality. Beyond catalyzing these technological advances, entanglement is enabling parallel progress as a diagnostic for quantum correlations and as an organizational tool, both guiding improved understanding of quantum many-body systems and quantum field theories defining and emerging from the Standard Model. From the perspective of three domain science theorists, this article compiles thoughts about the interface on entanglement, complexity, and quantum simulation in an effort to contextualize recent NISQ-era progress with the scientific objectives of nuclear and high-energy physics.