title: In-situ X-ray analysis of misfit strain and curvature of bent polytypic GaAs-In(x)Ga(1-x)As core-shell nanowires

abstract: Misfit strain in core-shell nanowires can be elastically released by nanowire bending in case of asymmetric shell growth around the nanowire core. In this work, we investigate the bending of GaAs nanowires during the asymmetric overgrowth by an In(x)Ga(1-x)As shell caused by avoiding substrate rotation. We observe that the nanowire bending direction depends on the nature of the substrate's oxide layer, demonstrated by Si substrates covered by native and thermal oxide layers. Further, we follow the bending evolution by time-resolved in-situ X-ray diffraction measurements during the deposition of the asymmetric shell. The XRD measurements give insight into the temporal development of the strain as well as the bending evolution in the core-shell nanowire.


title: Optimizing the Use of Behavioral Locking for High-Level Synthesis

abstract: The globalization of the electronics supply chain requires effective methods to thwart reverse engineering and IP theft. Logic locking is a promising solution, but there are many open concerns. First, even when applied at a higher level of abstraction, locking may result in significant overhead without improving the security metric. Second, optimizing a security metric is application-dependent and designers must evaluate and compare alternative solutions. We propose a meta-framework to optimize the use of behavioral locking during the high-level synthesis (HLS) of IP cores. Our method operates on chip's specification (before HLS) and it is compatible with all HLS tools, complementing industrial EDA flows. Our meta-framework supports different strategies to explore the design space and to select points to be locked automatically. We evaluated our method on the optimization of differential entropy, achieving better results than random or topological locking: 1) we always identify a valid solution that optimizes the security metric, while topological and random locking can generate unfeasible solutions; 2) we minimize the number of bits used for locking up to more than 90% (requiring smaller tamper-proof memories); 3) we make better use of hardware resources since we obtain similar overheads but with higher security metric.


title: Unreliable Sensors for Reliable Efficient Robots

abstract: The vast majority of existing Distributed Computing literature about mobile robotic swarms considers computability issues: characterizing the set of system hypotheses that enables problem solvability. By contrast, the focus of this work is to investigate complexity issues: obtaining quantitative results about a given problem that admits solutions. Our quantitative measurements rely on a newly developed simulation framework to benchmark pen and paper designs. First, we consider the maximum traveled distance when gathering robots at a given location, not known beforehand (both in the two robots and in the n robots settings) in the classical OBLOT model, for the FSYNC, SSYNC, and ASYNC schedulers. This particular metric appears relevant as it correlates closely to what would be real world fuel consumption. Then, we introduce the possibility of errors in the vision of robots, and assess the behavior of known rendezvous (aka two robots gathering) and leader election protocols when sensors are unreliable. We also introduce two new algorithms, one for fuel efficient convergence, and one for leader election, that operate reliably despite unreliable sensors.


title: Multi-band transit follow up observations of five hot-Jupiters with critical noise treatments: Improved physical properties

abstract: The most challenging limitation in transit photometry arises from the noises in the photometric signal. In particular, the ground-based telescopes are heavily affected by the noise due to perturbation in the Earth's atmosphere. Use of telescopes with large apertures can improve the photometric signal-to-noise ratio (S/N) to a great extent. However, detecting a transit signal out of a noisy light curve of the host star and precisely estimating the transit parameters call for various noise reduction techniques. Here, we present multi-band transit photometric follow-up observations of five hot-Jupiters e.g., HAT-P-30 b, HAT-P-54 b, WASP-43 b, TrES-3 b and XO-2 N b, using the 2m Himalayan Chandra Telescope (HCT) at the Indian Astronomical Observatory, Hanle and the 1.3m J. C. Bhattacharya Telescope (JCBT) at the Vainu Bappu Observatory, Kavalur. Our critical noise treatment approach includes techniques such as Wavelet Denoising and Gaussian Process regression, which effectively reduce both time-correlated and time-uncorrelated noise components from our transit light curves. In addition to these techniques, use of our state-of-the-art model algorithms have allowed us to estimate the physical properties of the target exoplanets with a better accuracy and precision compared to the previous studies.


title: Evolution of topological defects at two sequential phase transitions of Nd2SrFe2O7

abstract: How topological defects, unavoidable at symmetry-breaking phase transitions in a wide range of systems, evolve through consecutive phase transitions with different broken symmetries remains unexplored. Nd2SrFe2O7, a bilayer ferrite, exhibits two intriguing structural phase transitions and dense networks of the so-called type-II Z8 structural vortices at room temperature, so it is an ideal system to explore the topological defect evolution. From our extensive experimental investigation, we demonstrate that the cooling rate at the second-order transition (1290oC) plays a decisive role in determining the vortex density at room temperature, following the universal Kibble-Zurek mechanism. In addition, we discovered a transformation between topologically-distinct vortices (Z8 to Z4 vortices) at the first-order transition (550oC), which conserves the number of vortex cores. Remarkably, the Z4 vortices consist of two phases with an identical symmetry but two distinct magnitudes of an order parameter. Furthermore, when lattice distortion is enhanced by chemical doping, a new type of topological defects emerges: loop domain walls with orthorhombic distortions in the tetragonal background, resulting in unique pseudo-orthorhombic twins. Our findings open a new avenue to explore the evolution of topological defects through multiple phase transitions.


title: Ensemble machine learning approach for screening of coronary heart disease based on echocardiography and risk factors

abstract: Background: Extensive clinical evidence suggests that a preventive screening of coronary heart disease (CHD) at an earlier stage can greatly reduce the mortality rate. We use 64 two-dimensional speckle tracking echocardiography (2D-STE) features and seven clinical features to predict whether one has CHD. Methods: We develop a machine learning approach that integrates a number of popular classification methods together by model stacking, and generalize the traditional stacking method to a two-step stacking method to improve the diagnostic performance. Results: By borrowing strengths from multiple classification models through the proposed method, we improve the CHD classification accuracy from around 70% to 87.7% on the testing set. The sensitivity of the proposed method is 0.903 and the specificity is 0.843, with an AUC of 0.904, which is significantly higher than those of the individual classification models. Conclusions: Our work lays a foundation for the deployment of speckle tracking echocardiography-based screening tools for coronary heart disease.


title: Fast Numerical Simulation of Allen-Cahn Equation

abstract: Simulation speed depends on code structures, hence it is crucial how to build a fast algorithm. We solve the Allen-Cahn equation by an explicit finite difference method, so it requires grid calculations implemented by many for-loops in the simulation code. In terms of programming, many for-loops make the simulation speed slow. To solve the problem, we propose a model architecture containing a pad and a convolution operation for the Allen-Cahn equation. Also, the GPU operation is used to boost up the speed more. In this way, the simulation of other differential equations can be improved. In this paper, various numerical simulations are conducted to confirm that the Allen-Cahn equation follows motion by mean curvature and phase separation in two-dimensional and three-dimensional spaces. Finally, we demonstrate that our algorithm is much faster than an unoptimized code and the CPU operation.


title: Newsalyze: Enabling News Consumers to Understand Media Bias

abstract: News is a central source of information for individuals to inform themselves on current topics. Knowing a news article's slant and authenticity is of crucial importance in times of "fake news," news bots, and centralization of media ownership. We introduce Newsalyze, a bias-aware news reader focusing on a subtle, yet powerful form of media bias, named bias by word choice and labeling (WCL). WCL bias can alter the assessment of entities reported in the news, e.g., "freedom fighters" vs. "terrorists." At the core of the analysis is a neural model that uses a news-adapted BERT language model to determine target-dependent sentiment, a high-level effect of WCL bias. While the analysis currently focuses on only this form of bias, the visualizations already reveal patterns of bias when contrasting articles (overview) and in-text instances of bias (article view).


title: An Exact Poly-Time Membership-Queries Algorithm for Extraction a three-Layer ReLU Network

abstract: We consider the natural problem of learning a ReLU network from queries, which was recently remotivated by model extraction attacks. In this work, we present a polynomial-time algorithm that can learn a depth-two ReLU network from queries under mild general position assumptions. We also present a polynomial-time algorithm that, under mild general position assumptions, can learn a rich class of depth-three ReLU networks from queries. For instance, it can learn most networks where the number of first layer neurons is smaller than the dimension and the number of second layer neurons. These two results substantially improve state-of-the-art: Until our work, polynomial-time algorithms were only shown to learn from queries depth-two networks under the assumption that either the underlying distribution is Gaussian (Chen et al. (2021)) or that the weights matrix rows are linearly independent (Milli et al. (2019)). For depth three or more, there were no known poly-time results.


title: On game chromatic vertex-critical graphs

abstract: Several games that arise from graph coloring have been introduced and studied. Let $\varphi$ denote a graph invariant that arises from such a game. If $G$ is a graph and $\varphi(G-x)\neq \varphi(G)=k$, $k \geq 1$, holds true for every vertex $x \in V(G)$, then $G$ is called a $k$-$\varphi$-game-vertex-critical graph. We study the concept of $\varphi$-game-vertex-criticality for $\varphi \in \{\chi_g, \chi_i, \chi_{ig}^{A}, \chi_{ig}^{AB}\}$, where $\chi_g$ denotes the standard game chromatic number, $\chi_i$ denotes the indicated game chromatic number and $\chi_{ig}^{A}$, $\chi_{ig}^{AB}$ denote two versions of the independence game chromatic number. Since the game chromatic number $\varphi(G-x)$ can either decrease or increase with respect to $\varphi(G)$, we distinguish between lower, upper and mixed vertex-criticality. We show that for $\varphi \in \{\chi_g, \chi_{ig}^{A}, \chi_{ig}^{AB}\}$ the difference $\varphi(G)-\varphi(G-x)$, $x \in V(G)$, can be arbitrarily large. A characterization of $2$-$\varphi$-game-vertex-critical and (connected) $3$-$\varphi$-lower-game-vertex-critical graphs for all $\varphi \in \{\chi_g, \chi_i, \chi_{ig}^{A}, \chi_{ig}^{AB}\}$ is given. It is shown that $\chi_g$-game-vertex-critical, $\chi_{ig}^{A}$-game-vertex-critical and $\chi_{ig}^{AB}$-game-vertex-critical graphs are not necessarily connected. However, it is also shown that $\chi_i$-lower-game-vertex-critical graphs are always connected.


title: On the Parameterized Complexity of Polytree Learning

abstract: A Bayesian network is a directed acyclic graph that represents statistical dependencies between variables of a joint probability distribution. A fundamental task in data science is to learn a Bayesian network from observed data. \textsc{Polytree Learning} is the problem of learning an optimal Bayesian network that fulfills the additional property that its underlying undirected graph is a forest. In this work, we revisit the complexity of \textsc{Polytree Learning}. We show that \textsc{Polytree Learning} can be solved in $3^n \cdot |I|^{\mathcal{O}(1)}$ time where $n$ is the number of variables and $|I|$ is the total instance size. Moreover, we consider the influence of the number of variables $d$ that might receive a nonempty parent set in the final DAG on the complexity of \textsc{Polytree Learning}. We show that \textsc{Polytree Learning} has no $f(d)\cdot |I|^{\mathcal{O}(1)}$-time algorithm, unlike Bayesian network learning which can be solved in $2^d \cdot |I|^{\mathcal{O}(1)}$ time. We show that, in contrast, if $d$ and the maximum parent set size are bounded, then we can obtain efficient algorithms.


title: An analytic model for gravitational collapse of spherical matter under mixed pressure

abstract: We investigate spherically symmetric gravitational collapse of thick matter shell without radiation in the Einstein gravity with cosmological constant. The orbit of the infalling thick matter is determined by imposing an equation of state for the matter near interface, where pressure constituted of the transverse component and the longitudinal one is proportional to energy density. We present analytic solutions for the equation of state and discuss parameter region to satisfy physical conditions such as the absence of the shell crossing singularity, the monotonic increase of the emergent infinite redshift surface and energy conditions. We finally show that adopting the definition presented in arXiv:2005.13233 the total energy in this time-dependent system is invariant under the given time evolution.


title: On rate of convergence estimates for homogeneous discrete-time nonlinear Markov chains

abstract: The paper studies an improved estimate for the rate of convergence for nonlinear homogeneous discrete-time Markov chains. These processes are nonlinear in terms of the distribution law. Hence, the transition kernels are dependent on the current probability distributions of the process apart from being dependent on the current state. Such processes often act as limits for large-scale systems of dependent Markov chains with interaction. The paper generalizes the convergence results by taking the estimate over two steps. Such an approach keeps the existence and uniqueness results under assumptions that are analogical to the one-step result. It is shown that such an approach may lead to a better rate of convergence. Several examples provided illustrating the fact that the suggested estimate may have a better rate of convergence than the original one. Also, it is shown that the new estimate may even be applicable in some cases when the conditions of the result on one step cannot guarantee any convergence. Finally, these examples depict that the original conditions may not be an obstacle for the convergence of nonlinear Markov chains.


title: Congestion-Aware Routing in Dynamic IoT Networks: A Reinforcement Learning Approach

abstract: The innovative services empowered by the Internet of Things (IoT) require a seamless and reliable wireless infrastructure that enables communications within heterogeneous and dynamic low-power and lossy networks (LLNs). The Routing Protocol for LLNs (RPL) was designed to meet the communication requirements of a wide range of IoT application domains. However, a load balancing problem exists in RPL under heavy traffic-load scenarios, degrading the network performance in terms of delay and packet delivery. In this paper, we tackle the problem of load-balancing in RPL networks using a reinforcement-learning framework. The proposed method adopts Q-learning at each node to learn an optimal parent selection policy based on the dynamic network conditions. Each node maintains the routing information of its neighbours as Q-values that represent a composite routing cost as a function of the congestion level, the link-quality and the hop-distance. The Q-values are updated continuously exploiting the existing RPL signalling mechanism. The performance of the proposed approach is evaluated through extensive simulations and compared with the existing work to demonstrate its effectiveness. The results show that the proposed method substantially improves network performance in terms of packet delivery and average delay with a marginal increase in the signalling frequency.


title: Improved Neuronal Ensemble Inference with Generative Model and MCMC

abstract: Neuronal ensemble inference is a significant problem in the study of biological neural networks. Various methods have been proposed for ensemble inference from experimental data of neuronal activity. Among them, Bayesian inference approach with generative model was proposed recently. However, this method requires large computational cost for appropriate inference. In this work, we give an improved Bayesian inference algorithm by modifying update rule in Markov chain Monte Carlo method and introducing the idea of simulated annealing for hyperparameter control. We compare the performance of ensemble inference between our algorithm and the original one, and discuss the advantage of our method.


title: KLUE: Korean Language Understanding Evaluation

abstract: We introduce Korean Language Understanding Evaluation (KLUE) benchmark. KLUE is a collection of 8 Korean natural language understanding (NLU) tasks, including Topic Classification, SemanticTextual Similarity, Natural Language Inference, Named Entity Recognition, Relation Extraction, Dependency Parsing, Machine Reading Comprehension, and Dialogue State Tracking. We build all of the tasks from scratch from diverse source corpora while respecting copyrights, to ensure accessibility for anyone without any restrictions. With ethical considerations in mind, we carefully design annotation protocols. Along with the benchmark tasks and data, we provide suitable evaluation metrics and fine-tuning recipes for pretrained language models for each task. We furthermore release the pretrained language models (PLM), KLUE-BERT and KLUE-RoBERTa, to help reproducing baseline models on KLUE and thereby facilitate future research. We make a few interesting observations from the preliminary experiments using the proposed KLUE benchmark suite, already demonstrating the usefulness of this new benchmark suite. First, we find KLUE-RoBERTa-large outperforms other baselines, including multilingual PLMs and existing open-source Korean PLMs. Second, we see minimal degradation in performance even when we replace personally identifiable information from the pretraining corpus, suggesting that privacy and NLU capability are not at odds with each other. Lastly, we find that using BPE tokenization in combination with morpheme-level pre-tokenization is effective in tasks involving morpheme-level tagging, detection and generation. In addition to accelerating Korean NLP research, our comprehensive documentation on creating KLUE will facilitate creating similar resources for other languages in the future. KLUE is available at https://klue-benchmark.com.


title: Bidirectional LSTM-CRF Attention-based Model for Chinese Word Segmentation

abstract: Chinese word segmentation (CWS) is the basic of Chinese natural language processing (NLP). The quality of word segmentation will directly affect the rest of NLP tasks. Recently, with the artificial intelligence tide rising again, Long Short-Term Memory (LSTM) neural network, as one of easily modeling in sequence, has been widely utilized in various kinds of NLP tasks, and functions well. Attention mechanism is an ingenious method to solve the memory compression problem on LSTM. Furthermore, inspired by the powerful abilities of bidirectional LSTM models for modeling sequence and CRF model for decoding, we propose a Bidirectional LSTM-CRF Attention-based Model in this paper. Experiments on PKU and MSRA benchmark datasets show that our model performs better than the baseline methods modeling by other neural networks.


title: Tensionless Tales: Vacua and Critical Dimensions

abstract: Recently, a careful canonical quantisation of the theory of closed bosonic tensionless strings has resulted in the discovery of three separate vacua and hence three different quantum theories that emerge from this single classical tensionless theory. In this note, we perform lightcone quantisation with the aim of determination of the critical dimension of these three inequivalent quantum theories. The satisfying conclusion of a rather long and tedious calculation is that one of vacua does not lead to any constraint on the number of dimensions, while the other two give $D=26$. This implies that all three quantum tensionless theories can be thought of as consistent sub-sectors of quantum tensile bosonic closed string theory.


title: DPN-SENet:A self-attention mechanism neural network for detection and diagnosis of COVID-19 from chest x-ray images

abstract: Background and Objective: The new type of coronavirus is also called COVID-19. It began to spread at the end of 2019 and has now spread across the world. Until October 2020, It has infected around 37 million people and claimed about 1 million lives. We propose a deep learning model that can help radiologists and clinicians use chest X-rays to diagnose COVID-19 cases and show the diagnostic features of pneumonia. Methods: The approach in this study is: 1) we propose a data enhancement method to increase the diversity of the data set, thereby improving the generalization performance of the model. 2) Our deep convolution neural network model DPN-SE adds a self-attention mechanism to the DPN network. The addition of a self-attention mechanism has greatly improved the performance of the network. 3) Use the Lime interpretable library to mark the feature regions on the X-ray medical image that helps doctors more quickly diagnose COVID-19 in people. Results: Under the same network model, the data with and without data enhancement is put into the model for training respectively. At last, comparing two experimental results: among the 10 network models with different structures, 7 network models have improved their effects after using data enhancement, with an average improvement of 1% in recognition accuracy. We propose that the accuracy and recall rates of the DPN-SE network are 93% and 98% of cases (COVID vs. pneumonia bacteria vs. viral pneumonia vs. normal). Compared with the original DPN, the respective accuracy is improved by 2%. Conclusion: The data augmentation method we used has achieved effective results on a small amount of data set, showing that a reasonable data augmentation method can improve the recognition accuracy without changing the sample size and model structure. Overall, the proposed method and model can effectively become a very useful tool for clinical radiologists.


title: Crowd Counting by Self-supervised Transfer Colorization Learning and Global Prior Classification

abstract: Labeled crowd scene images are expensive and scarce. To significantly reduce the requirement of the labeled images, we propose ColorCount, a novel CNN-based approach by combining self-supervised transfer colorization learning and global prior classification to leverage the abundantly available unlabeled data. The self-supervised colorization branch learns the semantics and surface texture of the image by using its color components as pseudo labels. The classification branch extracts global group priors by learning correlations among image clusters. Their fused resultant discriminative features (global priors, semantics and textures) provide ample priors for counting, hence significantly reducing the requirement of labeled images. We conduct extensive experiments on four challenging benchmarks. ColorCount achieves much better performance as compared with other unsupervised approaches. Its performance is close to the supervised baseline with substantially less labeled data (10\% of the original one).


title: Simple Transparent Adversarial Examples

abstract: There has been a rise in the use of Machine Learning as a Service (MLaaS) Vision APIs as they offer multiple services including pre-built models and algorithms, which otherwise take a huge amount of resources if built from scratch. As these APIs get deployed for high-stakes applications, it's very important that they are robust to different manipulations. Recent works have only focused on typical adversarial attacks when evaluating the robustness of vision APIs. We propose two new aspects of adversarial image generation methods and evaluate them on the robustness of Google Cloud Vision API's optical character recognition service and object detection APIs deployed in real-world settings such as sightengine.com, picpurify.com, Google Cloud Vision API, and Microsoft Azure's Computer Vision API. Specifically, we go beyond the conventional small-noise adversarial attacks and introduce secret embedding and transparent adversarial examples as a simpler way to evaluate robustness. These methods are so straightforward that even non-specialists can craft such attacks. As a result, they pose a serious threat where APIs are used for high-stakes applications. Our transparent adversarial examples successfully evade state-of-the art object detections APIs such as Azure Cloud Vision (attack success rate 52%) and Google Cloud Vision (attack success rate 36%). 90% of the images have a secret embedded text that successfully fools the vision of time-limited humans but is detected by Google Cloud Vision API's optical character recognition. Complementing to current research, our results provide simple but unconventional methods on robustness evaluation.


title: Contact Interactions at Future Circular Collider based Muon-Proton Colliders

abstract: Recently proposed Future Circular Collider based muon-proton colliders will allow investigating lepton-hadron interactions at the highest center-of-mass energy. In this study, we investigate the potential of these colliders for a four-fermion contact interactions search. Regarding the constructive and destructive interferences of contact interactions, we estimated discovery, observation, and exclusion limits on the compositeness scale for the left-left, right-right, left-right, and right-left helicity structures. This study's findings show that the FCC-based {\mu}p colliders have great potential for investigating four-fermion contact interactions.


title: Secure, Anonymity-Preserving and Lightweight Mutual Authentication and Key Agreement Protocol for Home Automation IoT Networks

abstract: Home automation Internet of Things (IoT) systems have recently become a target for several types of attacks. In this paper, we present an authentication and key agreement protocol for a home automation network based on the ZigBee standard, which connects together a central controller and several end devices. Our scheme performs mutual authentication between end devices and the controller, which is followed by device-to-device communication. The scheme achieves confidentiality, message integrity, anonymity, unlinkability, forward and backward secrecy, and availability. Our scheme uses only simple hash and XOR computations and symmetric key encryption, and hence is resource-efficient. We show using a detailed security analysis and numerical results that our proposed scheme provides better security and anonymity, and is more efficient in terms of computation time, communication cost, and storage cost than schemes proposed in prior works.


title: A flexible split-step scheme for solving McKean-Vlasov Stochastic Differential Equations

abstract: We present an implicit Split-Step explicit Euler type Method (dubbed SSM) for the simulation of McKean-Vlasov Stochastic Differential Equations (MV-SDEs) with drifts of superlinear growth in space, Lipschitz in measure and non-constant Lipschitz diffusion coefficient. The scheme is designed to leverage the structure induced by the interacting particle approximation system, including parallel implementation and the solvability of the implicit equation. The scheme attains the classical $1/2$ root mean square error (rMSE) convergence rate in stepsize and closes the gap left by [18, "Simulation of McKean-Vlasov SDEs with super-linear growth" in IMA Journal of Numerical Analysis, 01 2021. draa099] regarding efficient implicit methods and their convergence rate for this class of McKean-Vlasov SDEs. A sufficient condition for mean-square contractivity of the scheme is presented. Several numerical examples are presented, including a comparative analysis to other known algorithms for this class (Taming and Adaptive time-stepping) across parallel and non-parallel implementations.


title: Channel Estimation for 6G V2X HybridSystems using Multi-Vehicular Learning

abstract: Channel estimation for hybrid Multiple Input Multiple Output (MIMO) systems at Millimeter-Waves (mmW)/sub-THz is a fundamental, despite challenging, prerequisite for an efficient design of hybrid MIMO precoding/combining. Most works propose sequential search algorithms, e.g., Compressive Sensing (CS), that are most suited to static channels and consequently cannot apply to highly dynamic scenarios such as Vehicle-to-Everything (V2X). To address the latter ones, we leverage \textit{recurrent vehicle passages} to design a novel Multi Vehicular (MV) hybrid MIMO channel estimation suited for Vehicle-to-Infrastructure (V2I) and Vehicle-to-Network (V2N) systems. Our approach derives the analog precoder/combiner through a MV beam alignment procedure. For the digital precoder/combiner, we adapt the Low-Rank (LR) channel estimation method to learn the position-dependent eigenmodes of the received digital signal (after beamforming), which is used to estimate the compressed channel in the communication phase. Extensive numerical simulations, obtained with ray-tracing channel data and realistic vehicle trajectories, demonstrate the benefits of our solution in terms of both achievable Spectral Efficiency (SE) and Mean Square Error (MSE) compared to the Unconstrained Maximum Likelihood (U-ML) estimate of the compressed digital channel, making it suitable for both 5G and future 6G systems. Most notably, in some scenarios, we obtain the performance of the optimal Fully Digital (FD) systems.


title: The prospects of Monte Carlo antibody loop modelling on a fault-tolerant quantum computer

abstract: Quantum computing for the biological sciences is an area of rapidly growing interest, but specific industrial applications remain elusive. Quantum Markov chain Monte Carlo has been proposed as a method for accelerating a broad class of computational problems, including problems of pharmaceutical interest. Here we investigate the prospects of quantum advantage via this approach, by applying it to the problem of modelling antibody structure, a crucial task in drug development. To minimize the resources required while maintaining pharmaceutical-level accuracy, we propose a specific encoding of molecular dihedral angles into registers of qubits and a method for implementing, in quantum superposition, a Markov chain Monte Carlo update step based on a classical all-atom force field. We give the first detailed analysis of the resources required to solve a problem of industrial size and relevance and find that, though the time and space requirements of using a quantum computer in this way are considerable, continued technological improvements could bring the required resources within reach in the future.


title: Isolating systematic effects with beam polarisation at $e^+e^-$ colliders

abstract: Future high-energy $e^+e^-$ colliders will provide some of the most precise tests of the Standard Model. Statistical uncertainties are expected to improve by orders of magnitude over current measurements. This provides a new challenge in accurately assessing and minimizing systematic uncertainties. Beam polarisation may hold a unique potential to isolate and determine the size of systematic effects. This study aims to set this hypothesis by setting up a combined fit of systematic effect and electroweak observables that can test different configurations of available beam polarisations and luminosities. A framework for this fit is developed. In a first test it fits the luminosity and polarisation with external constraints to 2-fermion and 4-fermion differential distributions. An implementation of a first systematic - the muon acceptance - shows consistent behaviour in this framework. This lays the groundwork for testing the interplay of systematic and physical effects in the presence or absence of beam polarisation.


title: Paring density waves as the origin of a ring-like RIXS profile in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$

abstract: The coexistence of a homogeneous d-wave gap and short-ranged pairing density waves (PDW) accounts for the apparent "ring" charge order in all directions of the copper oxide plane, observed by recent RIXS measurements in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$


title: Implications of $b\to s\ell^+\ell^-$ constraints on $b\to s\nu\bar\nu$ and $s\to d\nu\bar\nu$

abstract: We investigate the consequences of deviations from the Standard Model observed in $b\to s\mu\mu$ transitions for flavour-changing neutral-current processes involving down-type quarks and neutrinos, under generic assumptions concerning the structure of New Physics. We derive the relevant Wilson coefficients within an effective field theory approach respecting the SM gauge symmetry, including right-handed currents and assuming a flavour structure based on approximate $U(2)$ symmetry, and only SM-like light neutrinos. We discuss correlations among $B \to K^{(*)} \nu \bar \nu$ and $K\to \pi \nu \bar \nu$ branching ratios in the case of linear Minimal Flavour Violation and in a more general framework, highlighting in each case the role played by various New Physics scenarios proposed to explain $b\to s\mu\mu$ deviations. This talk is based on arXiv:2005.03734.


title: Topologically ordered time crystals

abstract: We define topological time crystals, a dynamical phase of periodically driven quantum many-body systems capturing the coexistence of intrinsic topological order with the spontaneous breaking of discrete time-translation symmetry. We show that many-body localization can stabilize this phase against generic perturbations and establish some of its key features and signatures, including a dynamical, time-crystal form of the perimeter law for topological order. We link topological and ordinary time crystals through three complementary perspectives: higher-form symmetries, quantum error-correcting codes, and a holographic correspondence. We also propose an experimental realization of a surface-code-based topological time crystal for the Google Sycamore processor.


title: Hierarchical Non-Stationary Temporal Gaussian Processes With $L^1$-Regularization

abstract: This paper is concerned with regularized extensions of hierarchical non-stationary temporal Gaussian processes (NSGPs) in which the parameters (e.g., length-scale) are modeled as GPs. In particular, we consider two commonly used NSGP constructions which are based on explicitly constructed non-stationary covariance functions and stochastic differential equations, respectively. We extend these NSGPs by including $L^1$-regularization on the processes in order to induce sparseness. To solve the resulting regularized NSGP (R-NSGP) regression problem we develop a method based on the alternating direction method of multipliers (ADMM) and we also analyze its convergence properties theoretically. We also evaluate the performance of the proposed methods in simulated and real-world datasets.


title: A Terabit Hybrid FPGA-ASIC Platform for Switch Virtualization

abstract: The roll-out of technologies like 5G and the need for multi-terabit bandwidth in backbone networks requires networking companies to make significant investments to keep up with growing service demands. For lower capital expenditure and faster time-to-market, companies can resort to anything-as-a-service providers to lease virtual resources. Nevertheless, existing virtualization technologies are still lagging behind next-generation networks' requirements. This paper breaks the terabit barrier by introducing a hybrid FPGA-ASIC architecture to virtualize programmable forwarding planes. In contrast to existing solutions, our architecture involves an ASIC that multiplexes network flows between programmable virtual switches running in an FPGA capable of full and partial reconfiguration, enabling virtual switch hot-swapping. Our evaluation shows the feasibility of a switch virtualization architecture capable of achieving a combined throughput of 3.2 Tbps by having up to 26 virtual switch instances in parallel with low resource occupation overhead.


title: Modeling the effects of social distancing on the large-scale spreading of diseases

abstract: To contain the propagation of emerging diseases that are transmissible from human to human, non-pharmaceutical interventions (NPIs) aimed at reducing the interactions between humans are usually implemented. One example of the latter kind of measures is social distancing, which can be either policy-driven or can arise endogenously in the population as a consequence of the fear of infection. However, if NPIs are lifted before the population reaches herd immunity, further re-introductions of the pathogen would lead to secondary infections. Here we study the effects of different social distancing schemes on the large scale spreading of diseases. Specifically, we generalize metapopulation models to include social distancing mechanisms at the subpopulation level and model short- and long-term strategies that are fed with local or global information about the epidemics. We show that different model ingredients might lead to very diverse outcomes in different subpopulations. Our results suggest that there is not a unique answer to the question of whether contention measures are more efficient if implemented and managed locally or globally and that model outcomes depends on how the full complexity of human interactions is taken into account.


title: Challenges for the interaction region design of the Future Circular Collider FCC-ee

abstract: The FCC-ee is a proposed future high-energy, high-intensity and high-precision lepton collider. Here, we present the latest development for the FCC-ee interaction regions, which shall ensure optimum conditions for the particle physics experiments. We discuss measures of background reduction and a revised interaction region layout including a low impedance compact beam chamber design. We also discuss the possible impact of the radiation generated in the interaction region including beamstrahlung.


title: Constraining active-sterile neutrino transition magnetic moments at DUNE near and far detectors

abstract: We consider the sensitivity of the DUNE experiment to a heavy neutral lepton, HNL (also known as sterile neutrino) in the mass range from a few MeV to a few GeV, interacting with the Standard Model via a transition magnetic moment to the active neutrinos, the so-called dipole portal. The HNL is produced via the upscattering of active neutrinos, and the subsequent decay inside the detector provides a single-photon signal. We show that the tau-neutrino dipole portal can be efficiently probed at the DUNE far detector, using the tau-neutrino flux generated by neutrino oscillations, while the near detector provides better sensitivity to the electron- and muon-neutrino dipole portal. DUNE will be able to explore large regions of currently unconstrained parameter space and has comparable sensitivity to other planned dedicated experiments, such as SHiP. We also comment briefly on the sensitivity to pure HNL mixing with the tau neutrino at the DUNE far detector.


title: Educational Robotics in Online Distance Learning: An Experience from Primary School

abstract: Temporary school closures caused by the Covid-19 pandemic have posed new challenges for many teachers and students worldwide. Especially the abrupt shift to online distance learning posed many obstacles to be overcome and it particularly complicated the implementation of Educational Robotics activities. Such activities usually comprise a variety of different learning artifacts, which were not accessible to many students during the period of school closure. Moreover, online distance learning considerably limits the possibilities for students to interact with their peers and teachers. In an attempt to address these issues, this work presents the development of an Educational Robotics activity particularly conceived for online distance learning in primary school. The devised activities are based on pen and paper approaches that are complemented by commonly used social media to facilitate communication and collaboration. They were proposed to 13 students, as a way to continue ER activities in online distance learning over the time period of four weeks.


title: An Empirical Study of Vehicle Re-Identification on the AI City Challenge

abstract: This paper introduces our solution for the Track2 in AI City Challenge 2021 (AICITY21). The Track2 is a vehicle re-identification (ReID) task with both the real-world data and synthetic data. We mainly focus on four points, i.e. training data, unsupervised domain-adaptive (UDA) training, post-processing, model ensembling in this challenge. (1) Both cropping training data and using synthetic data can help the model learn more discriminative features. (2) Since there is a new scenario in the test set that dose not appear in the training set, UDA methods perform well in the challenge. (3) Post-processing techniques including re-ranking, image-to-track retrieval, inter-camera fusion, etc, significantly improve final performance. (4) We ensemble CNN-based models and transformer-based models which provide different representation diversity. With aforementioned techniques, our method finally achieves 0.7445 mAP score, yielding the first place in the competition. Codes are available at https://github.com/michuanhaohao/AICITY2021_Track2_DMT.


title: A Case Study on Pros and Cons of Regular Expression Detection and Dependency Parsing for Negation Extraction from German Medical Documents. Technical Report

abstract: We describe our work on information extraction in medical documents written in German, especially detecting negations using an architecture based on the UIMA pipeline. Based on our previous work on software modules to cover medical concepts like diagnoses, examinations, etc. we employ a version of the NegEx regular expression algorithm with a large set of triggers as a baseline. We show how a significantly smaller trigger set is sufficient to achieve similar results, in order to reduce adaptation times to new text types. We elaborate on the question whether dependency parsing (based on the Stanford CoreNLP model) is a good alternative and describe the potentials and shortcomings of both approaches.


title: Study on triple-hadron bound states with Gaussian expansion method

abstract: In recent years, more and more exotic hadronic states have been discovered successively. Many of them can be explained as hadronic molecules, such as $D_{s0}^*(2317)$, $X(3872)$, and $P_c$ pentaquark states. Analogous to the formation of nuclei, we study three-body hadronic molecules with the Gaussian expansion method and predict the existence of the $DDK$, $\Xi_{cc}\Xi_{cc}\bar{K}$, and $BB\bar{K}$ bound states, which are likely to be found in the current and updated facilities.


title: Unraveling the Photophysics of Liquid-Phase Exfoliated Two-Dimensional ReS2 Nanoflakes

abstract: Few-layered transition metal dichalcogenides (TMDs) are increasingly popular materials for optoelectronics and catalysis. Amongst the various types of TMDs available today, rhenium-chalcogenides (ReX2) stand out due to their remarkable electronic structure, such as the occurrence of anisotropic excitons and potential direct bandgap behavior throughout multi-layered stacks. In this letter, we have analyzed the nature and dynamics of charge carriers in highly crystalline liquid-phase exfoliated ReS2, using a unique combination of optical pump-THz probe and broadband transient absorption spectroscopy. Two distinct time regimes are identified, both of which are dominated by unbound charge carriers despite the high exciton binding energy. In the first time regime, the unbound charge carriers cause an increase and a broadening of the exciton absorption band. In the second time regime, a peculiar narrowing of the excitonic absorption profile is observed, which we assign to the presence of built-in fields and/or charged defects. Our results pave the way to analyze spectrally complex transient absorption measurements on layered TMD materials and indicate the potential for ReS2 to produce mobile free charge carriers, a feat relevant for photovoltaic applications.


title: Low-complexity Multicast Beamforming for Multi-stream Multi-group Communications

abstract: In this paper, assuming multi-antenna transmitter and receivers, we consider multicast beamformer design for the weighted max-min-fairness (WMMF) problem in a multi-stream multi-group communication setup. Unlike the single-stream scenario, the WMMF objective in this setup is not equivalent to maximizing the minimum weighted SINR due to the summation over the rates of multiple streams. Therefore, the non-convex problem at hand is first approximated with a convex one and then solved using Karush-Kuhn-Tucker (KKT) conditions. Then, a practically appealing closed-form solution is derived, as a function of dual variables, for both transmit and receive beamformers. Finally, we use an iterative solution based on the sub-gradient method to solve for the mutually coupled and interdependent dual variables. The proposed solution does not rely on generic solvers and does not require any bisection loop for finding the achievable rate of various streams. As a result, it significantly outperforms the state-of-art in terms of computational cost and convergence speed.


title: Rearrangement of electron shells and interchannel interaction in the K photoabsorption of Ne

abstract: A detailed theoretical analysis of the 1s photoionization of neon is presented. It is found that the most significant many-electron correlation in computing photoionization of inner shells is the rearrangement of the outer shells caused by the inner vacancy. Further noticeable effects are: (i) the polarization of the ion core by the outgoing photoelectron and (ii) the coherent effect of double excitation/ionization. The core polarization increases the photoionization cross section by about 10% at the 1s threshold, and the coherent excitation results in further increases by about 5%. Incoherent excitation of the satellite channel leads to an additional 10% increase in the photoabsorption cross section in the double-ionization threshold region.


title: Spatio-temporal Local Interpolation of Global Ocean Heat Transport using Argo Floats: A Debiased Latent Gaussian Process Approach

abstract: The world ocean plays a key role in redistributing heat in the climate system and hence in regulating Earth's climate. Yet statistical analysis of ocean heat transport suffers from partially incomplete large-scale data intertwined with complex spatio-temporal dynamics, as well as from potential model misspecification. We present a comprehensive spatio-temporal statistical framework tailored to interpolating the global ocean heat transport using in-situ Argo profiling float measurements. We formalize the statistical challenges using latent local Gaussian process regression accompanied by a two-stage fitting procedure. We introduce an approximate Expectation-Maximization algorithm to jointly estimate both the mean field and the covariance parameters, and refine the potentially under-specified mean field model with a debiasing procedure. This approach provides data-driven global ocean heat transport fields that vary in both space and time and can provide insights into crucial dynamical phenomena, such as El Ni{\~n}o \& La Ni{\~n}a, as well as the global climatological mean heat transport field, which by itself is of scientific interest. The proposed framework and the Argo-based estimates are thoroughly validated with state-of-the-art multimission satellite products and shown to yield realistic subsurface ocean heat transport estimates.


title: Mean dimension of continuous cellular automata

abstract: We investigate the mean dimension of a cellular automaton (CA for short) with a compact non-discrete space of states. A formula for the mean dimension is established for (near) strongly permutative, permutative algebraic and unit one-dimensional automata. In higher dimensions, a CA permutative algebraic or having a spaceship has infinite mean dimension. However, building on Meyerovitch's example, we give an example of algebraic surjective cellular automaton with positive finite mean dimension.


title: On mutually inverse transforms of functions on a half-line

abstract: Two transforms of functions on a half-line are considered. It is proved that their composition gives a concave majorant for every nonnegative function. In particular, this composition is the identity transform on the class of nonnegative concave functions. Applications of this result to some problems of mathematical physics are indicated. Several open questions are formulated.

categories: math.CA math-ph math.FA math.MG math.MP math.OC


title: Unified Conversational Recommendation Policy Learning via Graph-based Reinforcement Learning

abstract: Conversational recommender systems (CRS) enable the traditional recommender systems to explicitly acquire user preferences towards items and attributes through interactive conversations. Reinforcement learning (RL) is widely adopted to learn conversational recommendation policies to decide what attributes to ask, which items to recommend, and when to ask or recommend, at each conversation turn. However, existing methods mainly target at solving one or two of these three decision-making problems in CRS with separated conversation and recommendation components, which restrict the scalability and generality of CRS and fall short of preserving a stable training procedure. In the light of these challenges, we propose to formulate these three decision-making problems in CRS as a unified policy learning task. In order to systematically integrate conversation and recommendation components, we develop a dynamic weighted graph based RL method to learn a policy to select the action at each conversation turn, either asking an attribute or recommending items. Further, to deal with the sample efficiency issue, we propose two action selection strategies for reducing the candidate action space according to the preference and entropy information. Experimental results on two benchmark CRS datasets and a real-world E-Commerce application show that the proposed method not only significantly outperforms state-of-the-art methods but also enhances the scalability and stability of CRS.


title: An Attractor-Guided Neural Networks for Skeleton-Based Human Motion Prediction

abstract: Joint relation modeling is a curial component in human motion prediction. Most existing methods tend to design skeletal-based graphs to build the relations among joints, where local interactions between joint pairs are well learned. However, the global coordination of all joints, which reflects human motion's balance property, is usually weakened because it is learned from part to whole progressively and asynchronously. Thus, the final predicted motions are sometimes unnatural. To tackle this issue, we learn a medium, called balance attractor (BA), from the spatiotemporal features of motion to characterize the global motion features, which is subsequently used to build new joint relations. Through the BA, all joints are related synchronously, and thus the global coordination of all joints can be better learned. Based on the BA, we propose our framework, referred to Attractor-Guided Neural Network, mainly including Attractor-Based Joint Relation Extractor (AJRE) and Multi-timescale Dynamics Extractor (MTDE). The AJRE mainly includes Global Coordination Extractor (GCE) and Local Interaction Extractor (LIE). The former presents the global coordination of all joints, and the latter encodes local interactions between joint pairs. The MTDE is designed to extract dynamic information from raw position information for effective prediction. Extensive experiments show that the proposed framework outperforms state-of-the-art methods in both short and long-term predictions in H3.6M, CMU-Mocap, and 3DPW.


title: makemyprior: Intuitive Construction of Joint Priors for Variance Parameters in R

abstract: Priors allow us to robustify inference and to incorporate expert knowledge in Bayesian hierarchical models. This is particularly important when there are random effects that are hard to identify based on observed data. The challenge lies in understanding and controlling the joint influence of the priors for the variance parameters, and makemyprior is an R package that guides the formulation of joint prior distributions for variance parameters. A joint prior distribution is constructed based on a hierarchical decomposition of the total variance in the model along a tree, and takes the entire model structure into account. Users input their prior beliefs or express ignorance at each level of the tree. Prior beliefs can be general ideas about reasonable ranges of variance values and need not be detailed expert knowledge. The constructed priors lead to robust inference and guarantee proper posteriors. A graphical user interface facilitates construction and assessment of different choices of priors through visualization of the tree and joint prior. The package aims to expand the toolbox of applied researchers and make priors an active component in their Bayesian workflow.


title: New Physics and Two Boosted W-jets plus Missing Energy

abstract: We show that the signature of two boosted $W$-jets plus large missing energy is very promising to probe heavy charged resonances ($X^\pm$) through the process of $pp\to X^+X^-\to W^+W^- X^0 X^0$ where $X^0$ denotes dark matter candidate. The hadronic decay mode of the $W$ boson is considered to maximize the number of signal events. When the mass split between $X^\pm$ and $X^0$ is large, one has to utilize the jet-substructure technique to analyze the boosted $W$-jet. For illustration we consider the process of chargino pair production at the LHC, i.e., $pp\to \chi_1^+\chi^-_1 \to W^+W^-\chi_1^0\chi_1^0$, and demonstrate that the proposed signature is able to cover more parameter space of $m_{\chi_1^\pm}$ and $m_{\chi_1^0}$ than the conventional signature of multiple leptons plus missing energy. More importantly, the signature of our interests is not sensitive to the spin of heavy resonances.


title: Decoherence of Dirac-particle quantumness for fermionic fields in a dilatonic black hole

abstract: The quantumness of Dirac paticles for quantized fields in a dilatonic black hole is estimated by means of quantum channel. We develop a general Bloch vector representation of quantum channel in black hole spacetimes beyond single mode approximation. The nonclassicality of Dirac particles can be measured by the minimization of quantum coherence over all orthonormal basis sets. The quantumness of the channel decreases as the dilaton parameter increases. The interplay between the external reservoir noise and dilaton black hole on the dynamical behavior of quantum coherence and steerability is investigated in the Pauli basis. The external environment is modelled by a random telegraph noise channel. The monotonous decay of quantum nonlocality occurs in the weak coupling case. The degradation and revival of quantum nonlocality are observed in the strong coupling condition. It is found that quantum fluctuation effects of the external reservoir can protect quantum coherence and steerability from the information loss of the black hole.


title: Development of inequality and characterization of equality conditions for the numerical radius

abstract: Let $A$ be a bounded linear operator on a complex Hilbert space and $\Re(A)$ ( $\Im(A)$ ) denote the real part (imaginary part) of A. Among other refinements of the lower bounds for the numerical radius of $A$, we prove that \begin{eqnarray*} w(A)&\geq &\frac{1}{2} \left \|A \right\| + \frac{ 1}{2} \mid \|\Re(A)\|-\|\Im(A)\|\mid,\,\,\mbox{and}\\ w^2(A)&\geq& \frac{1}{4} \left \|A^*A+AA^* \right\| + \frac{1}{2}\mid \|\Re(A)\|^2-\|\Im(A)\|^2 \mid, \end{eqnarray*} where $w(A)$ is the numerical radius of the operator $A$. We study the equality conditions for $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|}$ and prove that $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|} $ if and only if the numerical range of $A$ is a circular disk with center at the origin and radius $\frac{1}{2}\sqrt{\|A^*A+AA^*\|} $. We also obtain upper bounds for the numerical radius of commutators of operators which improve on the existing ones.


title: A Stochastic Composite Augmented Lagrangian Method For Reinforcement Learning

abstract: In this paper, we consider the linear programming (LP) formulation for deep reinforcement learning. The number of the constraints depends on the size of state and action spaces, which makes the problem intractable in large or continuous environments. The general augmented Lagrangian method suffers the double-sampling obstacle in solving the LP. Namely, the conditional expectations originated from the constraint functions and the quadratic penalties in the augmented Lagrangian function impose difficulties in sampling and evaluation. Motivated from the updates of the multipliers, we overcome the obstacles in minimizing the augmented Lagrangian function by replacing the intractable conditional expectations with the multipliers. Therefore, a deep parameterized augment Lagrangian method is proposed. Furthermore, the replacement provides a promising breakthrough to integrate the two steps in the augmented Lagrangian method into a single constrained problem. A general theoretical analysis shows that the solutions generated from a sequence of the constrained optimizations converge to the optimal solution of the LP if the error is controlled properly. A theoretical analysis on the quadratic penalty algorithm under neural tangent kernel setting shows the residual can be arbitrarily small if the parameter in network and optimization algorithm is chosen suitably. Preliminary experiments illustrate that our method is competitive to other state-of-the-art algorithms.


title: Lossless broadband adiabatic polarizing beam splitting in a plasmonic system

abstract: The intriguing analogy between quantum physics and optics has inspired the design of unconventional integrated photonics devices. In this paper, we numerically demonstrate a broadband integrated polarization beam splitter (PBS) by implementing the stimulated Raman adiabatic passage (STIRAP) technique in a three-waveguide plasmonic system. Our proposed PBS exhibits >250 nm TM bandwidth with <-40 dB extinction and >150 nm TE bandwidth with <-20 dB extinction, covering the entire S-, C- and L-band and partly E-band. Moreover, near-lossless light transfer is achieved in our system despite the incorporation of a plasmonic hybrid waveguide because of the unique loss mitigating feature of the STIRAP scheme. Through this approach, various broadband integrated devices that were previously impossible can be realized, which will allow innovation in integrated optics.


title: Numerical radius inequalities of $2 \times 2$ operator matrices

abstract: Several upper and lower bounds for the numerical radius of $2 \times 2$ operator matrices are developed which refine and generalize the earlier related bounds. In particular, we show that if $B,C$ are bounded linear operators on a complex Hilbert space, then \begin{eqnarray*} && \frac{1}{2}\max \left \{ \|B\|, \|C\| \right \}+\frac{1}{4} \left | \|B+C^*\|-\|B-C^*\| \right | &&\leq w \left(\left[\begin{array}{cc} 0 & B C& 0 \end{array}\right]\right)\\ &&\leq \frac{1}{2} \max \left\{\|B\|,\|C\|\right \}+\frac{1}{2}\max \left \{r^{\frac{1}{2}}(|B||C^*|),r^{\frac{1}{2}}(|B^*||C|)\right\}, \end{eqnarray*} where $w(.)$, $r(.)$ and $\|.\|$ are the numerical radius, spectral radius and operator norm of a bounded linear operator, respectively. We also obtain equality conditions for the numerical radius of the operator matrix $\left[\begin{array}{cc} 0 & B C& 0 \end{array}\right]$. As application of results obtained, we show that if $B,C$ are self-adjoint operators then, $\max \Big \{\|B+C\|^2 , \|B-C\|^2 \Big\}\leq \left \|B^2+C^2 \right \|+2w(|B||C|). $


title: Towards a Sample Efficient Reinforcement Learning Pipeline for Vision Based Robotics

abstract: Deep Reinforcement learning holds the guarantee of empowering self-ruling robots to master enormous collections of conduct abilities with negligible human mediation. The improvements brought by this technique enables robots to perform difficult tasks such as grabbing or reaching targets. Nevertheless, the training process is still time consuming and tedious especially when learning policies only with RGB camera information. This way of learning is capital to transfer the task from simulation to the real world since the only external source of information for the robot in real life is video. In this paper, we study how to limit the time taken for training a robotic arm with 6 Degrees Of Freedom (DOF) to reach a ball from scratch by assembling a pipeline as efficient as possible. The pipeline is divided into two parts: the first one is to capture the relevant information from the RGB video with a Computer Vision algorithm. The second one studies how to train faster a Deep Reinforcement Learning algorithm in order to make the robotic arm reach the target in front of him. Follow this link to find videos and plots in higher resolution: \url{https://drive.google.com/drive/folders/1_lRlDSoPzd_GTcVrxNip10o_lm-_DPdn?usp=sharing}


title: Covid-19 Detection from Chest X-ray and Patient Metadata using Graph Convolutional Neural Networks

abstract: The novel corona virus (Covid-19) has introduced significant challenges due to its rapid spreading nature through respiratory transmission. As a result, there is a huge demand for Artificial Intelligence (AI) based quick disease diagnosis methods as an alternative to high demand tests such as Polymerase Chain Reaction (PCR). Chest X-ray (CXR) Image analysis is such cost-effective radiography technique due to resource availability and quick screening. But, a sufficient and systematic data collection that is required by complex deep leaning (DL) models is more difficult and hence there are recent efforts that utilize transfer learning to address this issue. Still these transfer learnt models suffer from lack of generalization and increased bias to the training dataset resulting poor performance for unseen data. Limited correlation of the transferred features from the pre-trained model to a specific medical imaging domain like X-ray and overfitting on fewer data can be reasons for this circumstance. In this work, we propose a novel Graph Convolution Neural Network (GCN) that is capable of identifying bio-markers of Covid-19 pneumonia from CXR images and meta information about patients. The proposed method exploits important relational knowledge between data instances and their features using graph representation and applies convolution to learn the graph data which is not possible with conventional convolution on Euclidean domain. The results of extensive experiments of proposed model on binary (Covid vs normal) and three class (Covid, normal, other pneumonia) classification problems outperform different benchmark transfer learnt models, hence overcoming the aforementioned drawbacks.


title: Thermal Signals from Collective Electronic Excitations in Inhomogeneous Warm Dense Matter

abstract: We predict the emergence of novel collective electronic excitations in warm dense matter with an inhomogeneous electronic structure based on first-principles calculations. The emerging modes are controlled by the imposed perturbation amplitude. They include satellite signals around the standard plasmon feature, transformation of plasmons to optical modes, and double-plasmon modes. Most importantly, these modes exhibit a pronounced dependence on the temperature. This makes them potentially invaluable for the diagnostics of plasma parameters in the warm dense matter regime. We demonstrate that these modes can be probed with present experimental techniques.


title: Formation of massive disk galaxies in the IllustrisTNG simulation

abstract: We investigate the formation history of massive disk galaxies in hydro-dynamical simulation--the IllustrisTNG, to study why massive disk galaxies survive through cosmic time. 83 galaxies in the simulation are selected with M$_{*,z=0}$ $>8\times10^{10}$ M$_\odot$ and kinematic bulge-to-total ratio less than $0.3$. We find that 8.4 percent of these massive disk galaxies have quiet merger histories and preserve disk morphology since formed. 54.2 percent have a significant increase in bulge components in history, then become disks again till present time. The rest 37.3 percent experience prominent mergers but survive to remain disky. While mergers and even major mergers do not always turn disk galaxies into ellipticals, we study the relations between various properties of mergers and the morphology of merger remnants. We find a strong dependence of remnant morphology on the orbit type of major mergers. Specifically, major mergers with a spiral-in falling orbit mostly lead to disk-dominant remnants, and major mergers of head-on galaxy-galaxy collision mostly form ellipticals. This dependence of remnant morphology on orbit type is much stronger than the dependence on cold gas fraction or orbital configuration of merger system as previously studied.


title: Algebraic characterizations of some relative notions of size

abstract: We obtain algebraic characterizations of relative notions of size in a discrete semigroup that generalize the usual combinatorial notions of syndetic, thick, and piecewise syndetic sets. "Filtered" syndetic and piecewise syndetic sets were defined and applied earlier by Shuungula, Zelenyuk, and Zelenyuk [24]. Other instances of these relative notions of size have appeared explicitly (and more often implicitly) in the literature related to the algebraic structure of the Stone-\v{C}ech compactification. Building on this prior work, we observe a natural duality and demonstrate how these notions of size may be composed to characterize previous notions of size (like piecewise syndetic sets) and serve as a convenient description for new notions of size.


title: Brackets by any other name

abstract: Brackets by another name, Whitehead or Samelson products, have a history parallel to that in Kosmann-Schwarzbach's From Schouten to Mackenzie: notes on brackets. Here I sketch the development of these and some of the other brackets and products and braces within homotopy theory and homological algebra and with applications to mathematical physics. In contrast to the brackets of Schouten, Nijenhuis and of Gerstenhaber, which involve a relation to another graded product, in homotopy theory many of the brackets are free standing binary operations. My path takes me through many twists and turns. The path leads beyond binary to multi-linear n-ary operations, either for a single n or for whole coherent congeries of such assembled into what is known now as an $\infty$-algebra, such as in homotopy Gerstenhaber algebras. It also leads to more subtle invariants. Along the way, attention will be called to interaction with `physics'; indeed, it has been a two-way street.


title: Local and Global Quantum Gates

abstract: In this note, approaches towards local $p$-adic and global adelic quantum gates are proposed.


title: A nonlinear metasurface combining telecom-range intersubband transitions in GaN/AlN quantum wells with resonant plasmonic antenna arrays

abstract: We realize and investigate a nonlinear metasurface taking advantage of intersubband transitions in ultranarrow GaN/AlN multi-quantum well heterostructures. Owing to huge band offsets, the structures offer resonant transitions in the telecom window around 1.55 $\mu$m. These heterostructures are functionalized with an array of plasmonic antennas featuring cross-polarized resonances at these near-infrared wavelengths and their second harmonic. This kind of nonlinear metasurface allows for substantial second-harmonic generation at normal incidence which is completely absent for an antenna array without the multi-quantum well structure underneath. While the second harmonic is originally radiated only into the plane of the quantum wells, a proper geometrical arrangement of the plasmonic elements permits to redirect the second-harmonic light to free-space radiation, which is emitted perpendicular to the surface.


title: Pushing the Capture Limit of Thermionic Gun Linacs

abstract: Although accelerator technology has matured sufficiently, state-of-the-art X-ray linacs for radiotherapy and cargo-scanning capture merely 30-50% of the electrons from a thermionic cathode, requiring a higher cathode current and leaving uncaptured electrons to cause problems due to back bombardment, shortening of cathode life, etc. Any solution to increase capture should be effective, simple, reliable, compact, and low cost in order to be adopted by industry. To address this, we present the design of a 6 MeV high capture efficiency S-band electron linac that captures 90% of the initial DC beam. This linac does not require any extra parts that would increase the cost as the high efficiency is achieved via a low-field-amplitude in the first bunching cell to decrease the number of backstreaming electrons, to velocity bunch the electron beam, and recapture backstreaming electrons. Under the low field amplitude, any electrons launched at decelerating phases travel backward with low speeds, thus most of them can catch the next RF cycle, and get re-accelerated/recaptured. As the electron speed is low, the cell length is also shorter than existing linacs. Such a short field is achieved by the use of asymmetric cells with differential coupling to the side-coupled cells. Our novel design has implications for all commercial high current thermionic gun linacs for increasing beam current and increasing cathode lifetime.


title: Ghost imaging as loss estimation: Quantum versus classical schemes

abstract: Frequency correlations are a versatile and powerful tool which can be exploited to perform spectral analysis of objects whose direct measurement might be unfeasible. This is achieved through a so-called ghost spectrometer, that can be implemented with quantum and classical resources alike. While there are some known advantages associated to either choice, an analysis of their metrological capabilities has not yet been performed. Here we report on the metrological comparison between a quantum and a classical ghost spectrometer. We perform the estimation of the transmittivity of a bandpass filter using frequency-entangled photon pairs. Our results show that a quantum advantage is achievable, depending on the values of the transmittivity and on the number of frequency modes analyzed.


title: The Adoption of Image-Driven Machine Learning for Microstructure Characterization and Materials Design: A Perspective

abstract: The recent surge in the adoption of machine learning techniques for materials design, discovery, and characterization has resulted in an increased interest and application of Image Driven Machine Learning (IDML) approaches. In this work, we review the application of IDML to the field of materials characterization. A hierarchy of six action steps is defined which compartmentalizes a problem statement into well-defined modules. The studies reviewed in this work are analyzed through the decisions adopted by them at each of these steps. Such a review permits a granular assessment of the field, for example the impact of IDML on materials characterization at the nanoscale, the number of images in a typical dataset required to train a semantic segmentation model on electron microscopy images, the prevalence of transfer learning in the domain, etc. Finally, we discuss the importance of interpretability and explainability, and provide an overview of two emerging techniques in the field: semantic segmentation and generative adversarial networks.


title: StringSpinner -- adding spin to the PYTHIA string fragmentation

abstract: StringSpinner is a plugin for the introduction of the spin effects in the hadronization part of the PYTHIA 8 event generator. The spin effects are generated for pseudoscalar meson production by propagating the quark polarization along the fragmentation chain according to the rules of the quantum mechanical string+${}^3P_0$ model. By using parametrizations for the transversity parton distribution functions, StringSpinner allows to simulate the polarized semi inclusive deep inelastic scattering process on protons and neutrons. The instructions to use StringSpinner and to modify the parametrizations of the transversity distribution functions are presented, as well as an example of the calculation of the Collins asymmetries as obtained from simulations of the transversely polarized semi inclusive deep inelastic scattering process.


title: Free limits of free algebras

abstract: Consider a diagram $\cdots \to F_3 \to F_2\to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the $F_i$ are free associative algebras over a fixed field then the limit in the category of graded algebras is again free on a set of homogeneous generators; (b) on the other hand, the limit in the category of associative (ungraded) algebras is a free formal power series algebra on a set of homogeneous elements, and (c) if the $F_i$ are free Lie algebras then the limit in the category of graded Lie algebras is again free.


title: Zero-dimensional and symbolic extensions of topological flows

abstract: A zero-dimensional (resp. symbolic) flow is a suspension flow over a zero-dimensional system (resp. a subshift). We show that any topological flow admits a principal extension by a zero-dimensional flow. Following [Bur19] we deduce that any topological flow admits an extension by a symbolic flow if and only if its time-$t$ map admits an extension by a subshift for any $t\neq 0$. Moreover the existence of such an extension is preserved under orbit equivalence for regular topological flows, but this property does not hold more true for singular flows. Finally we investigate symbolic extensions for singular suspension flows. In particular, the suspension flow over the full shift on $\{0,1\}^{\mathbb Z}$ with a roof function $f$ vanishing at the zero sequence $0^\infty$ admits a principal symbolic extension or not depending on the smoothness of $f$ at $0^\infty$.


title: Ultrahigh stiffness and anisotropic Dirac cones in BeN4 and MgN4 monolayers: A first-principles study

abstract: Beryllium polynitrides, BeN4 is a novel layered material, which has been most recently fabricated under high pressure (Phys. Rev. Lett. 126(2021), 175501). As a new class of 2D materials, in this work we conduct first-principles calculations to examine the stability and explore the electronic nature of MN4 (M= Be, Mg, Ir, Rh, Ni, Cu, Au, Pd, Pt) monolayers. Acquired results confirm the dynamical and thermal stability of BeN4, MgN4, IrN4, PtN4 and RhN4 monolayers. Interestingly, BeN4 and MgN4 monolayers are found to show anisotropic Dirac cones in their electronic structure. While PtN4 monolayer is predicted to be a narrow band-gap semiconductor, IrN4 and RhN4 monolayers are found to be metallic systems. We also elaborately explore the effects of number of atomic layers on the electronic features of BeN4 nanosheets, which reveal highly appealing physics. Our results highlight that BeN4 nanosheet yield ultrahigh elastic modulus and mechanical strength, outperforming all other carbon-free 2D materials. Notably, RhN4 nanosheet is predicted to yield high capacities of 562, 450 and 900 mAh/g, for Li, Na and Ca ions storages, respectively. This study provides a comprehensive understanding on the intrinsic properties of MN4 nanosheets and highlight their outstanding physics.


title: Solar Radiation profiles for a 3U CubeSat in LEO

abstract: This paper introduces a relatively simple model to retrieve data about the solar radiation profiles on the external faces of a generic 3U-CubeSat in Low Earth Orbit (LEO). The model is inspired by relevant papers, and the related code is entirely written on Matlab. The code was intended to be well adjustable for various ranges of orbits and CubeSats with minimum effort and provide base data to be used in higher-level studies.


title: Giant Enhancement of Nonlinear Harmonic Generation in a Silicon Topological Photonic Crystal Nanocavity Chain

abstract: Strongly enhanced third-harmonic generation (THG) by the topological localization of an edge mode in a Su-Schrieffer-Heeger (SSH) chain of silicon photonic crystal nanocavities is demonstrated. The edge mode of the nanocavity chain not only naturally inherits resonant properties of the single nanocavity, but also exhibits the topological feature with mode robustness extending well beyond individual nanocavity. By engineering the SSH nanocavities with alternating strong and weak coupling strengths on a silicon slab, we observe the edge mode formation that entails a THG signal with three orders of magnitude enhancement compared with that in a trivial SSH structure. Our results indicate that the photonic crystal nanocavity chain could provide a promising on-chip platform for topology-driven nonlinear photonics.


title: Exploring trade-offs between landscape impact, land use and resource quality for onshore variable renewable energy: an application to Great Britain

abstract: The ambitious Net Zero aspirations of Great Britain (GB) require massive and rapid developments of Variable Renewable Energy (VRE) technologies. GB possesses substantial resources for these technologies, but questions remain about which VRE should be exploited where. This study explores the trade-offs between landscape impact, land use competition and resource quality for onshore wind as well as ground- and roof-mounted photovoltaic (PV) systems for GB. These trade-offs constrain the technical and economic potentials for these technologies at the Local Authority level. Our approach combines techno-economic and geospatial analyses with crowd-sourced scenicness data to quantify landscape aesthetics. Despite strong correlations between scenicness and planning application outcomes for onshore wind, no such relationship exists for ground-mounted PV. The innovative method for rooftop-PV assessment combines bottom-up analysis of four cities with a top-down approach at the national level. The results show large technical potentials that are strongly constrained by both landscape and land use aspects. This equates to about 1324 TWh of onshore wind, 153 TWh of rooftop PV and 1200-7093 TWh ground-mounted PV, depending on scenario. We conclude with five recommendations that focus around aligning energy and planning policies for VRE technologies across multiple scales and governance arenas.


title: Quantifying Topology In Pancreatic Tubular Networks From Live Imaging 3D Microscopy

abstract: Motivated by the challenging segmentation task of pancreatic tubular networks, this paper tackles two commonly encountered problems in biomedical imaging: Topological consistency of the segmentation, and expensive or difficult annotation. Our contributions are the following: a) We propose a topological score which measures both topological and geometric consistency between the predicted and ground truth segmentations, applied to model selection and validation. b) We provide a full deep-learning methodology for this difficult noisy task on time-series image data. In our method, we first use a semisupervised U-net architecture, applicable to generic segmentation tasks, which jointly trains an autoencoder and a segmentation network. We then use tracking of loops over time to further improve the predicted topology. This semi-supervised approach allows us to utilize unannotated data to learn feature representations that generalize to test data with high variability, in spite of our annotated training data having very limited variation. Our contributions are validated on a challenging segmentation task, locating tubular structures in the fetal pancreas from noisy live imaging confocal microscopy. We show that our semi-supervised model outperforms not only fully supervised and pre-trained models but also an approach which takes topological consistency into account during training. Further, our approach achieves a mean loop score of 0.808 for detecting loops in the fetal pancreas, compared to a U-net trained with clDice with mean loop score 0.762.


title: Superalgebra structure on differential forms of manifold

abstract: As an analogy of superalgebra of multivector fields with the Schounte bracket, we introduce a non-trivial superbracket on differential forms of manifold. We show properties of this new superalgebra. We extend this superalgebra by adding one factor. The new extended superalgebra should be studied more widely and in deep. We study Betti numbers of double weighted homology groups by the Euler vector field. In appendix, we explain our bracket is produced like as the Schouten bracket.


title: A dynamic-kinematic 3D model for density-driven ocean circulation flows: Construction, global well-posedness and dynamics

abstract: Differential buoyancy surface sources in the ocean may induce a density-driven flow that joins faster flow components to create a multi-scale, 3D flow. Potential temperature and salinity are active tracers that determine the ocean's potential density: their distribution strongly affects the density-driven component while the overall flow affects their distribution. We present a robust framework that allows one to study the effects of a general 3D flow on a density-driven velocity component, by constructing a modular observation-based 3D model of intermediate complexity. The model contains an incompressible velocity that couples two advection-diffusion equations, for temperature and salinity. Instead of solving the Navier-Stokes equations for the velocity, we consider a flow composed of several temporally separated, spatially predetermined modes. One of these modes models the density-driven flow: its spatial form describes the density-driven flow structure and its strength is determined dynamically by average density differences. The other modes are completely predetermined, consisting of any incompressible, possibly unsteady, 3D flow, e.g. as determined by kinematic models, observations, or simulations. The model is a non-linear, weakly coupled system of two non-local PDEs. We prove its well-posedness in the sense of Hadamard, and obtain rigorous bounds regarding analytical solutions. The model's relevance to oceanic systems is demonstrated by tuning the model to mimic the North Atlantic ocean's dynamics. In one limit the model recovers a simplified oceanic box model and in another limit a kinematic model of oceanic chaotic advection, suggesting it can be utilized to study spatially dependent feedback processes in the ocean.


title: Evaluating the Correctness of Explainable AI Algorithms for Classification

abstract: Explainable AI has attracted much research attention in recent years with feature attribution algorithms, which compute "feature importance" in predictions, becoming increasingly popular. However, there is little analysis of the validity of these algorithms as there is no "ground truth" in the existing datasets to validate their correctness. In this work, we develop a method to quantitatively evaluate the correctness of XAI algorithms by creating datasets with known explanation ground truth. To this end, we focus on the binary classification problems. String datasets are constructed using formal language derived from a grammar. A string is positive if and only if a certain property is fulfilled. Symbols serving as explanation ground truth in a positive string are part of an explanation if and only if they contributes to fulfilling the property. Two popular feature attribution explainers, Local Interpretable Model-agnostic Explanations (LIME) and SHapley Additive exPlanations (SHAP), are used in our experiments.We show that: (1) classification accuracy is positively correlated with explanation accuracy; (2) SHAP provides more accurate explanations than LIME; (3) explanation accuracy is negatively correlated with dataset complexity.


title: The SOPHIE search for northern extrasolar planets -- XVII. A wealth of new objects: Six cool Jupiters, three brown dwarfs, and 16 low-mass binary stars

abstract: Distinguishing classes within substellar objects and understanding their formation and evolution need larger samples of substellar companions such as exoplanets, brown dwarfs, and low-mass stars. In this paper, we look for substellar companions using radial velocity surveys of FGK stars with the SOPHIE spectrograph at the Observatoire de Haute-Provence. We assign here the radial velocity variations of 27 stars to their orbital motion induced by low-mass companions. We also constrained their plane-of-the-sky motion using HIPPARCOS and Gaia Data Release 1 measurements, which constrain the true masses of some of these companions. We report the detection and characterization of six cool Jupiters, three brown dwarf candidates, and 16 low-mass stellar companions. We additionally update the orbital parameters of the low-mass star HD 8291 B, and we conclude that the radial velocity variations of HD 204277 are likely due to stellar activity despite resembling the signal of a giant planet. One of the new giant planets, BD+631405 b, adds to the population of highly eccentric cool Jupiters, and it is presently the most massive member. Two of the cool Jupiter systems also exhibit signatures of an additional outer companion. The orbital periods of the new companions span 30 days to 11.5 years, their masses 0.72 Jupiter mass to 0.61 Solar mass, and their eccentricities 0.04 to 0.88. These discoveries probe the diversity of substellar objects and low-mass stars, which will help constrain the models of their formation and evolution.


title: Robustness of end-to-end Automatic Speech Recognition Models -- A Case Study using Mozilla DeepSpeech

abstract: When evaluating the performance of automatic speech recognition models, usually word error rate within a certain dataset is used. Special care must be taken in understanding the dataset in order to report realistic performance numbers. We argue that many performance numbers reported probably underestimate the expected error rate. We conduct experiments controlling for selection bias, gender as well as overlap (between training and test data) in content, voices, and recording conditions. We find that content overlap has the biggest impact, but other factors like gender also play a role.


title: lazybvtoint at the SMT Competition 2020

abstract: lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.


title: Squarefree powers of edge ideals of forests

abstract: Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for any forest $G$.


title: On the fluctuations of Internal DLA on the Sierpinski gasket graph

abstract: Internal diffusion limited aggregation (IDLA) is a random aggregation model on a graph $G$, whose clusters are formed by random walks started in the origin (some fixed vertex) and stopped upon visiting a previously unvisited site. On the Sierpinski gasket graph the asymptotic shape is known to be a ball in the usual graph metric. In this paper we establish bounds for the fluctuations of the cluster from its asymptotic shape.


title: Euclid: constraining dark energy coupled to electromagnetism using astrophysical and laboratory data

abstract: In physically realistic scalar-field based dynamical dark energy models (including, e.g., quintessence) one naturally expects the scalar field to couple to the rest of the model's degrees of freedom. In particular, a coupling to the electromagnetic sector leads to a time (redshift) dependence of the fine-structure constant and a violation of the Weak Equivalence Principle. Here we extend the previous Euclid forecast constraints on dark energy models to this enlarged (but physically more realistic) parameter space, and forecast how well Euclid, together with high-resolution spectroscopic data and local experiments, can constrain these models. Our analysis combines simulated Euclid data products with astrophysical measurements of the fine-structure constant, $\alpha$, and local experimental constraints, and includes both parametric and non-parametric methods. For the astrophysical measurements of $\alpha$ we consider both the currently available data and a simulated dataset representative of Extremely Large Telescope measurements and expected to be available in the 2030s. Our parametric analysis shows that in the latter case the inclusion of astrophysical and local data improves the Euclid dark energy figure of merit by between $8\%$ and $26\%$, depending on the correct fiducial model, with the improvements being larger in the null case where the fiducial coupling to the electromagnetic sector is vanishing. These improvements would be smaller with the current astrophysical data. Moreover, we illustrate how a genetic algorithms based reconstruction provides a null test for the presence of the coupling. Our results highlight the importance of complementing surveys like Euclid with external data products, in order to accurately test the wider parameter spaces of physically motivated paradigms.


title: Implementation of two-field inflation for cosmic linear anisotropy solving system

abstract: We outline the modifications in the numerical Boltzmann code Cosmic Linear Anisotropy Solving System (CLASS) in order to include extra inflationary fields. The functioning of the code is first described, how and where modifications are meant to be done are later explained. In the present study, we focus on the modifications needed for the implementation of a two-field inflationary model, with canonical kinetic terms and a polynomial potential with no cross terms, presenting preliminary results for the effect of the second field on the spectra. The adaptability of the code is exploited, making use of the classes and structures of C and the generic Runge-Kutta integration tool provided by the program.


title: A ranked-based estimator of the mean past lifetime with its application

abstract: The mean past lifetime (MPL) is an important tool in reliability and survival analysis for measuring the average time elapsed since the occurrence of an event, under the condition that the event has occurred before a specific time $t>0$. This article develops a nonparametric estimator for MPL based on observations collected according to ranked set sampling (RSS) design. It is shown that the estimator that we have developed is a strongly uniform consistent. It is also proved that the introduced estimator tends to a Gaussian process under some mild conditions. A Monte Carlo simulation study is employed to evaluate the performance of the proposed estimator with its competitor in simple random sampling (SRS). Our findings show the introduced estimator is more efficient than its counterpart estimator in SRS as long as the quality of ranking is better than random. Finally, an illustrative example is provided to describe the potential application of the developed estimator in assessing the average time between the infection and diagnosis in HIV patients.


title: Density perturbations in axion-like particles: classical vs quantum field treatment

abstract: Axions and axion-like particles are bosonic quantum fields. They are often assumed to follow classical field equations due to their high degeneracy in the phase space. In this work, we explore the disparity between classical and quantum field treatments in the context of density and velocity fields of axions. Once the initial density and velocity field are specified, the evolution of the axion fluid is unique in the classical field treatment. However, in the quantum field treatment, there are many quantum states consistent with the given initial density and velocity field. We show that evolutions of the density perturbations for these quantum states are not necessarily identical and, in general, differ from the unique classical evolution. To illustrate the underlying physics, we consider a system of large number of bosons in a one-dimensional box, moving under the gravitational potential of a heavy static point-mass. We ignore the self-interactions between the bosons here. Starting with homogeneous number density and zero velocity field, we determine the density perturbations in the linear regime in both quantum and classical field theories. We find that classical and quantum evolutions are identical in the linear regime if only one single-particle state is occupied by all the bosons and the self-interaction is absent. If more than one single-particle states are occupied, the density perturbations in quantum evolutions differ from the classical prediction after a certain time which depends upon the parameters of the system.


title: Anchor-based Plain Net for Mobile Image Super-Resolution

abstract: Along with the rapid development of real-world applications, higher requirements on the accuracy and efficiency of image super-resolution (SR) are brought forward. Though existing methods have achieved remarkable success, the majority of them demand plenty of computational resources and large amount of RAM, and thus they can not be well applied to mobile device. In this paper, we aim at designing efficient architecture for 8-bit quantization and deploy it on mobile device. First, we conduct an experiment about meta-node latency by decomposing lightweight SR architectures, which determines the portable operations we can utilize. Then, we dig deeper into what kind of architecture is beneficial to 8-bit quantization and propose anchor-based plain net (ABPN). Finally, we adopt quantization-aware training strategy to further boost the performance. Our model can outperform 8-bit quantized FSRCNN by nearly 2dB in terms of PSNR, while satisfying realistic needs at the same time. Code is avaliable at https://github.com/NJU- Jet/SR_Mobile_Quantization.


title: Geodesic Growth of some 3-dimensional RACGs

abstract: We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons


title: Topological phases of the dimerized Hofstadter butterfly

abstract: In this work, we study the topological phases of the dimerized square lattice in the presence of an external magnetic field. The dimerization pattern in the lattice's hopping amplitudes can induce a series of bulk energy gap openings in the Hofstadter spectrum at certain fractional fillings, giving rise to various topological phases. In particular, we show that at $\frac{1}{2}$-filling the topological quadrupole insulator phase with a quadrupole moment quantized to $\frac{e}{2}$ and associated corner-localized mid-gap states exists in certain parameter regime for all magnetic fluxes. At $\frac{1}{4}$ filling, the system can host obstructed atomic limit phases or Chern insulator phases. For those configurations gapped at fillings below $\frac{1}{4}$, the system is in Chern insulator phases of various non-vanishing Chern numbers. Across the phase diagram, both bulk-obstructed and boundary-obstructed topological phase transitions exist in this model.


title: Profiling Visual Dynamic Complexity Using a Bio-Robotic Approach

abstract: Visual dynamic complexity is a ubiquitous, hidden attribute of the visual world that every dynamic vision system is faced with. However, it is implicit and intractable which has never been quantitatively described due to the difficulty in defending temporal features correlated to spatial image complexity. To fill this vacancy, we propose a novel bio-robotic approach to profile visual dynamic complexity which can be used as a new metric. Here we apply a state-of-the-art brain-inspired motion detection neural network model to explicitly profile such complexity associated with spatial-temporal frequency (SF-TF) of visual scene. This model is for the first time implemented in an autonomous micro-mobile robot which navigates freely in an arena with visual walls displaying moving sine-wave grating or cluttered natural scene. The neural dynamic response can make reasonable prediction on surrounding complexity since it can be mapped monotonically to varying SF-TF of visual scene. The experiments show this approach is flexible to different visual scenes for profiling the dynamic complexity. We also use this metric as a predictor to investigate the boundary of another collision detection visual system performing in changing environment with increasing dynamic complexity. This research demonstrates a new paradigm of using biologically plausible visual processing scheme to estimate dynamic complexity of visual scene from both spatial and temporal perspectives, which could be beneficial to predicting input complexity when evaluating dynamic vision systems.