title: Single-cell protein analysis by mass-spectrometry

abstract: Human physiology and pathology arise from the coordinated interactions of diverse single cells. However, analyzing single cells has been limited by the low sensitivity and throughput of analytical methods. DNA sequencing has recently made such analysis feasible for nucleic acids, but single-cell protein analysis remains limited. Mass-spectrometry is the most powerful method for protein analysis, but its application to single cells faces three major challenges: Efficiently delivering proteins/peptides to MS detectors, identifying their sequences, and scaling the analysis to many thousands of single cells. These challenges have motivated corresponding solutions, including SCoPE-design multiplexing and clean, automated, and miniaturized sample preparation. Synergistically applied, these solutions enable quantifying thousands of proteins across many single cells and establish a solid foundation for further advances. Building upon this foundation, the SCoPE concept will enable analyzing subcellular organelles and post-translational modifications while increases in multiplexing capabilities will increase the throughput and decrease cost.


title: ReADS: A Rectified Attentional Double Supervised Network for Scene Text Recognition

abstract: In recent years, scene text recognition is always regarded as a sequence-to-sequence problem. Connectionist Temporal Classification (CTC) and Attentional sequence recognition (Attn) are two very prevailing approaches to tackle this problem while they may fail in some scenarios respectively. CTC concentrates more on every individual character but is weak in text semantic dependency modeling. Attn based methods have better context semantic modeling ability while tends to overfit on limited training data. In this paper, we elaborately design a Rectified Attentional Double Supervised Network (ReADS) for general scene text recognition. To overcome the weakness of CTC and Attn, both of them are applied in our method but with different modules in two supervised branches which can make a complementary to each other. Moreover, effective spatial and channel attention mechanisms are introduced to eliminate background noise and extract valid foreground information. Finally, a simple rectified network is implemented to rectify irregular text. The ReADS can be trained end-to-end and only word-level annotations are required. Extensive experiments on various benchmarks verify the effectiveness of ReADS which achieves state-of-the-art performance.


title: Incorporating Bilingual Dictionaries for Low Resource Semi-Supervised Neural Machine Translation

abstract: We explore ways of incorporating bilingual dictionaries to enable semi-supervised neural machine translation. Conventional back-translation methods have shown success in leveraging target side monolingual data. However, since the quality of back-translation models is tied to the size of the available parallel corpora, this could adversely impact the synthetically generated sentences in a low resource setting. We propose a simple data augmentation technique to address both this shortcoming. We incorporate widely available bilingual dictionaries that yield word-by-word translations to generate synthetic sentences. This automatically expands the vocabulary of the model while maintaining high quality content. Our method shows an appreciable improvement in performance over strong baselines.


title: Any-Shot Sequential Anomaly Detection in Surveillance Videos

abstract: Anomaly detection in surveillance videos has been recently gaining attention. Even though the performance of state-of-the-art methods on publicly available data sets has been competitive, they demand a massive amount of training data. Also, they lack a concrete approach for continuously updating the trained model once new data is available. Furthermore, online decision making is an important but mostly neglected factor in this domain. Motivated by these research gaps, we propose an online anomaly detection method for surveillance videos using transfer learning and any-shot learning, which in turn significantly reduces the training complexity and provides a mechanism that can detect anomalies using only a few labeled nominal examples. Our proposed algorithm leverages the feature extraction power of neural network-based models for transfer learning and the any-shot learning capability of statistical detection methods.


title: Model-free Reinforcement Learning for Non-stationary Mean Field Games

abstract: In this paper, we consider a finite horizon, non-stationary, mean field games (MFG) with a large population of homogeneous players, sequentially making strategic decisions, where each player is affected by other players through an aggregate population state termed as mean field state. Each player has a private type that only it can observe, and a mean field population state representing the empirical distribution of other players' types, which is shared among all of them. Recently, authors in [1] provided a sequential decomposition algorithm to compute mean field equilibrium (MFE) for such games which allows for the computation of equilibrium policies for them in linear time than exponential, as before. In this paper, we extend it for the case when state transitions are not known, to propose a reinforcement learning algorithm based on Expected Sarsa with a policy gradient approach that learns the MFE policy by learning the dynamics of the game simultaneously. We illustrate our results using cyber-physical security example.


title: Piltz divisor problem over number fields \`a la Vorono\"i

abstract: In this article, we study the Piltz divisor problem, which is sometimes called the generalized Dirichlet divisor problem, over number fields. We establish an identity akin to Vorono\"i's formula concerning the error term in the Dirichlet divisor problem.


title: Eisenstein extension, connectedness and the second vanishing theorem

abstract: In this paper, at first, we show that for a ramified regular local ring $S$, which is an Eisenstein extension of an unramified regular local ring $R$, when an ideal $I$ of $S$ is extended from an ideal $J$ of $R$, the punctured spectrum of $R/J$ is connected if that of $S/JS$ is connected. Using this, we extend the result of SVT to complete ramified regular local ring only for the extended ideals. If the punctured spectrum of $S/JS$ is disconnected then that of $R/J$ is also disconnected when every minimal primes $\p$ of $J$, $R/\p$ is normal. Under this situation we prove that both of them have the same number of connected components and the Matlis duals of the local cohomology modules support the Conjecture 1 and the result of Corollary 1.2 of \cite{L-Y}.


title: Independent User Partition Multicast Scheme for the Groupcast Index Coding Problem

abstract: The groupcast index coding (GIC) problem is a generalization of the index coding problem, where one packet can be demanded by multiple users. In this paper, we propose a new coding scheme called independent user partition multicast (IUPM) for the GIC problem. The novelty of this scheme compared to the user partition multicast (UPM) (Shanmugam \textit{et al.}, 2015) is in removing redundancies in the UPM solution by eliminating the linearly dependent coded packets. We also prove that the UPM scheme subsumes the packet partition multicast (PPM) scheme (Tehrani \textit{et al.}, 2012). Hence, the IUPM scheme is a generalization of both PPM and UPM schemes. Furthermore, inspired by jointly considering users and packets, we modify the approximation partition multicast (CAPM) scheme (Unal and Wagner, 2016) to achieve a new polynomial-time algorithm for solving the general GIC problem. We characterize a class of GIC problems with $\frac{k(k-1)}{2}$ packets, for any integer $k\geq 2$, for which the IUPM scheme is optimal. We also prove that for this class, the broadcast rate of the proposed new heuristic algorithm is $k$, while the broadcast rate of the CAPM scheme is $\mathcal{O}(k^2)$.


title: Machine Translation Pre-training for Data-to-Text Generation -- A Case Study in Czech

abstract: While there is a large body of research studying deep learning methods for text generation from structured data, almost all of it focuses purely on English. In this paper, we study the effectiveness of machine translation based pre-training for data-to-text generation in non-English languages. Since the structured data is generally expressed in English, text generation into other languages involves elements of translation, transliteration and copying - elements already encoded in neural machine translation systems. Moreover, since data-to-text corpora are typically small, this task can benefit greatly from pre-training. Based on our experiments on Czech, a morphologically complex language, we find that pre-training lets us train end-to-end models with significantly improved performance, as judged by automatic metrics and human evaluation. We also show that this approach enjoys several desirable properties, including improved performance in low data scenarios and robustness to unseen slot values.


title: Global Behaviors of weak KAM Solutions for exact symplectic Twist Maps

abstract: We investigated several global behaviors of the weak KAM solutions $u_c(x,t)$ parametrized by $c\in H^1(\mathbb T,\mathbb R)$. For the suspended Hamiltonian $H(x,p,t)$ of the exact symplectic twist map, we could find a family of weak KAM solutions $u_c(x,t)$ parametrized by $c(\sigma)\in H^1(\mathbb T,\mathbb R)$ with $c(\sigma)$ continuous and monotonic and \[ \partial_tu_c+H(x,\partial_x u_c+c,t)=\alpha(c),\quad \text{a.e.\ } (x,t)\in\mathbb T^2, \] such that sequence of weak KAM solutions $\{u_c\}_{c\in H^1(\mathbb T,\mathbb R)}$ is $1/2-$H\"older continuity of parameter $\sigma\in \mathbb{R}$. Moreover, for each generalized characteristic (no matter regular or singular) solving \[ \left\{ \begin{aligned} &\dot{x}(s)\in \text{co} \Big[\partial_pH\Big(x(s),c+D^+u_c\big(x(s),s+t\big),s+t\Big)\Big], & \\ &x(0)=x_0,\quad (x_0,t)\in\mathbb T^2,& \end{aligned} \right. \] we evaluate it by a uniquely identified rotational number $\omega(c)\in H_1(\mathbb T,\mathbb R)$. This property leads to a certain topological obstruction in the phase space and causes local transitive phenomenon of trajectories. Besides, we discussed this applies to high-dimensional cases.


title: Luminosity-duration relations and luminosity functions of repeating and non-repeating fast radio bursts

abstract: Fast radio bursts (FRBs) are mysterious radio bursts with a time scale of approximately milliseconds. Two populations of FRB, namely repeating and non-repeating FRBs, are observationally identified. However, the differences between these two and their origins are still cloaked in mystery. Here we show the time-integrated luminosity-duration ($L_{\nu}$-$w_{\rm int,rest}$) relations and luminosity functions (LFs) of repeating and non-repeating FRBs in the FRB Catalogue project. These two populations are obviously separated in the $L_{\nu}$-$w_{\rm int,rest}$ plane with distinct LFs, i.e., repeating FRBs have relatively fainter $L_{\nu}$ and longer $w_{\rm int,rest}$ with a much lower LF. In contrast with non-repeating FRBs, repeating FRBs do not show any clear correlation between $L_{\nu}$ and $w_{\rm int,rest}$. These results suggest essentially different physical origins of the two. The faint ends of the LFs of repeating and non-repeating FRBs are higher than volumetric occurrence rates of neutron-star mergers and accretion-induced collapse (AIC) of white dwarfs, and are consistent with those of soft gamma-ray repeaters (SGRs), type Ia supernovae, magnetars, and white-dwarf mergers. This indicates two possibilities: either (i) faint non-repeating FRBs originate in neutron-star mergers or AIC and are actually repeating during the lifetime of the progenitor, or (ii) faint non-repeating FRBs originate in any of SGRs, type Ia supernovae, magnetars, and white-dwarf mergers. The bright ends of LFs of repeating and non-repeating FRBs are lower than any candidates of progenitors, suggesting that bright FRBs are produced from a very small fraction of the progenitors regardless of the repetition. Otherwise, they might originate in unknown progenitors.


title: Stability of the Einstein Static Universe in $4 D$ Gauss-Bonnet Gravity

abstract: By rescaling the Gauss-Bonnet (GB) coupling constant $\alpha \rightarrow \alpha/(D-4)$ and considering the $D \rightarrow 4$ limit, the GB gravity gives rise to nontrivial modification of general relativity in four dimensions. In this work, we investigate the realization of the emergent universe scenario in the $4 D$ GB gravity. First, we obtain the Einstein static universe filled with a perfect fluid. Then, we show that both spatially closed and open universes can be stable against both homogeneous and inhomogeneous scalar perturbations simultaneously.


title: Achieving Zero Asymptotic Queueing Delay for Parallel Jobs

abstract: Zero queueing delay is highly desirable in large-scale computing systems. Existing work has shown that it can be asymptotically achieved by using the celebrated Power-of-$d$-choices (pod) policy with a probe overhead $d = \omega\left(\frac{\log N}{1-\lambda}\right)$, and it is impossible when $d = O\left(\frac{1}{1-\lambda}\right)$, where $N$ is the number of servers and $\lambda$ is the load of the system. However, these results are based on the model where each job is an indivisible unit, which does not capture the parallel structure of jobs in today's predominant parallel computing paradigm. This paper thus considers a model where each job consists of a batch of parallel tasks. Under this model, we propose a new notion of zero (asymptotic) queueing delay that requires the job delay under a policy to approach the job delay given by the max of its tasks' service times, i.e., the job delay assuming its tasks entered service right upon arrival. This notion quantifies the effect of queueing on a job level for jobs consisting of multiple tasks, and thus deviates from the conventional zero queueing delay for single-task jobs in the literature. We show that zero queueing delay for parallel jobs can be achieved using the batch-filling policy (a variant of the celebrated pod policy) with a probe overhead $d = \omega\left(\frac{1}{(1-\lambda)\log k}\right)$ in the sub-Halfin-Whitt heavy-traffic regime, where $k$ is the number of tasks in each job { and $k$ properly scales with $N$ (the number of servers)}. This result demonstrates that for parallel jobs, zero queueing delay can be achieved with a smaller probe overhead. We also establish an impossibility result: we show that zero queueing delay cannot be achieved if $d = \exp\left({o\left(\frac{\log N}{\log k}\right)}\right)$.


title: On Tractable Representations of Binary Neural Networks

abstract: We consider the compilation of a binary neural network's decision function into tractable representations such as Ordered Binary Decision Diagrams (OBDDs) and Sentential Decision Diagrams (SDDs). Obtaining this function as an OBDD/SDD facilitates the explanation and formal verification of a neural network's behavior. First, we consider the task of verifying the robustness of a neural network, and show how we can compute the expected robustness of a neural network, given an OBDD/SDD representation of it. Next, we consider a more efficient approach for compiling neural networks, based on a pseudo-polynomial time algorithm for compiling a neuron. We then provide a case study in a handwritten digits dataset, highlighting how two neural networks trained from the same dataset can have very high accuracies, yet have very different levels of robustness. Finally, in experiments, we show that it is feasible to obtain compact representations of neural networks as SDDs.


title: A Resource for Studying Chatino Verbal Morphology

abstract: We present the first resource focusing on the verbal inflectional morphology of San Juan Quiahije Chatino, a tonal mesoamerican language spoken in Mexico. We provide a collection of complete inflection tables of 198 lemmata, with morphological tags based on the UniMorph schema. We also provide baseline results on three core NLP tasks: morphological analysis, lemmatization, and morphological inflection.


title: A Yaglom type asymptotic result for subcritical branching Brownian motion with absorption

abstract: We consider a slightly subcritical branching Brownian motion with absorption, where particles move as Brownian motions with drift $-\sqrt{2+2\varepsilon}$, undergo dyadic fission at rate $1$, and are killed when they reach the origin. We obtain a Yaglom type asymptotic result, showing that the long run expected number of particles conditioned on survival grows exponentially as $1/\sqrt{\varepsilon}$ as the process approaches criticality.


title: Information Mining for COVID-19 Research From a Large Volume of Scientific Literature

abstract: The year 2020 has seen an unprecedented COVID-19 pandemic due to the outbreak of a novel strain of coronavirus in 180 countries. In a desperate effort to discover new drugs and vaccines for COVID-19, many scientists are working around the clock. Their valuable time and effort may benefit from computer-based mining of a large volume of health science literature that is a treasure trove of information. In this paper, we have developed a graph-based model using abstracts of 10,683 scientific articles to find key information on three topics: transmission, drug types, and genome research related to coronavirus. A subgraph is built for each of the three topics to extract more topic-focused information. Within each subgraph, we use a betweenness centrality measurement to rank order the importance of keywords related to drugs, diseases, pathogens, hosts of pathogens, and biomolecules. The results reveal intriguing information about antiviral drugs (Chloroquine, Amantadine, Dexamethasone), pathogen-hosts (pigs, bats, macaque, cynomolgus), viral pathogens (zika, dengue, malaria, and several viruses in the coronaviridae virus family), and proteins and therapeutic mechanisms (oligonucleotide, interferon, glycoprotein) in connection with the core topic of coronavirus. The categorical summary of these keywords and topics may be a useful reference to expedite and recommend new and alternative directions for COVID-19 research.


title: Arbitrary Scale Super-Resolution for Brain MRI Images

abstract: Recent attempts at Super-Resolution for medical images used deep learning techniques such as Generative Adversarial Networks (GANs) to achieve perceptually realistic single image Super-Resolution. Yet, they are constrained by their inability to generalise to different scale factors. This involves high storage and energy costs as every integer scale factor involves a separate neural network. A recent paper has proposed a novel meta-learning technique that uses a Weight Prediction Network to enable Super-Resolution on arbitrary scale factors using only a single neural network. In this paper, we propose a new network that combines that technique with SRGAN, a state-of-the-art GAN-based architecture, to achieve arbitrary scale, high fidelity Super-Resolution for medical images. By using this network to perform arbitrary scale magnifications on images from the Multimodal Brain Tumor Segmentation Challenge (BraTS) dataset, we demonstrate that it is able to outperform traditional interpolation methods by up to 20$\%$ on SSIM scores whilst retaining generalisability on brain MRI images. We show that performance across scales is not compromised, and that it is able to achieve competitive results with other state-of-the-art methods such as EDSR whilst being fifty times smaller than them. Combining efficiency, performance, and generalisability, this can hopefully become a new foundation for tackling Super-Resolution on medical images. Check out the webapp here: https://metasrgan.herokuapp.com/ Check out the github tutorial here: https://github.com/pancakewaffles/metasrgan-tutorial


title: Large color $R$-matrix for knot complements and strange identities

abstract: The Gukov-Manolescu series, denoted by $F_K$, is a conjectural invariant of knot complements that, in a sense, analytically continues the colored Jones polynomials. In this paper we use the large color $R$-matrix to study $F_K$ for some simple links. Specifically, we give a definition of $F_K$ for positive braid knots, and compute $F_K$ for various knots and links. As a corollary, we present a class of `strange identities' for positive braid knots.


title: Feature Quantization Improves GAN Training

abstract: The instability in GAN training has been a long-standing problem despite remarkable research efforts. We identify that instability issues stem from difficulties of performing feature matching with mini-batch statistics, due to a fragile balance between the fixed target distribution and the progressively generated distribution. In this work, we propose Feature Quantization (FQ) for the discriminator, to embed both true and fake data samples into a shared discrete space. The quantized values of FQ are constructed as an evolving dictionary, which is consistent with feature statistics of the recent distribution history. Hence, FQ implicitly enables robust feature matching in a compact space. Our method can be easily plugged into existing GAN models, with little computational overhead in training. We apply FQ to 3 representative GAN models on 9 benchmarks: BigGAN for image generation, StyleGAN for face synthesis, and U-GAT-IT for unsupervised image-to-image translation. Extensive experimental results show that the proposed FQ-GAN can improve the FID scores of baseline methods by a large margin on a variety of tasks, achieving new state-of-the-art performance.


title: Event Clustering & Event Series Characterization on Expected Frequency

abstract: We present an efficient clustering algorithm applicable to one-dimensional data such as e.g. a series of timestamps. Given an expected frequency $\Delta T^{-1}$, we introduce an $\mathcal{O}(N)$-efficient method of characterizing $N$ events represented by an ordered series of timestamps $t_1,t_2,\dots,t_N$. In practice, the method proves useful to e.g. identify time intervals of "missing" data or to locate "isolated events". Moreover, we define measures to quantify a series of events by varying $\Delta T$ to e.g. determine the quality of an Internet of Things service.


title: On indefinite and potentially universal quadratic forms over number fields

abstract: A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more than one variables represents all integers of $k$ over the ring of integers of a finite extension of $k$ if and only if this quadratic form represents $1$ over the ring of integers of a finite extension of $k$.


title: Simulations of the Early Post-Bounce Phase of Core-Collapse Supernovae in Three-Dimensional Space with Full Boltzmann Neutrino Transport

abstract: We report on the core-collapse supernova simulation we conducted for a 11.2 M progenitor model in three-dimensional space up to 20 ms after bounce, using a radiation hydrodynamics code with full Boltzmann neutrino transport. We solve the six-dimensional Boltzmann equations for three neutrino species and the three-dimensional compressible Euler equations with Furusawa and Togashi's nuclear equation of state. We focus on the prompt convection at 10 ms after bounce and investigate how neutrinos are transported in the convective matter. We apply a new analysis based on the eigenvalues and eigenvectors of the Eddington tensor and make a comparison between the Boltzmann transport results and the M1 closure approximation in the transition regime between the optically thick and thin limits. We visualize the eigenvalues and eigenvectors using an ellipsoid, in which each principal axis is parallel to one of the eigenvectors and has a length proportional to the corresponding eigenvalue. This approach enables us to understand the difference between the Eddington tensor derived directly from the Boltzmann simulation and the one given by the M1 prescription from a new perspective. We find that the longest principal axis of the ellipsoid is almost always nearly parallel to the energy flux in the M1 closure approximation whereas in the Boltzmann simulation it becomes perpendicular in some transition regions, where the mean free path is 0.1 times the radius. In three spatial dimensions, the convective motions make it difficult to predict where this happens and to possibly improve the closure relation there.


title: The prescribed time sliding mode control for attitude tracking of spacecraft

abstract: With the development of the space missions, there are extensive missions in the demand of the prescribed time convergence. However, it is still a difficult work to combine the prescribed time method with the sliding mode control due to the infinite gain of the prescribed time method while approaching the prescribed time and two periods of sliding mode control. In this paper, a new prescribed time sliding mode control method is proposed for general systems with matched disturbances, from the second-order system to the high-order system. A novel sliding mode variable with explicit time term is designed for achieving the prescribed time convergence. More importantly, as time approaches the prescribed time, the singularity of control input can be avoided. Finally, this paper presents a disturbance observer based prescribed time sliding mode control method for attitude tracking of spacecraft and the efficiency of this method has been verified through the numerical simulations.


title: Deeply Aligned Adaptation for Cross-domain Object Detection

abstract: Cross-domain object detection has recently attracted more and more attention for real-world applications, since it helps build robust detectors adapting well to new environments. In this work, we propose an end-to-end solution based on Faster R-CNN, where ground-truth annotations are available for source images (e.g., cartoon) but not for target ones (e.g., watercolor) during training. Motivated by the observation that the transferabilities of different neural network layers differ from each other, we propose to apply a number of domain alignment strategies to different layers of Faster R-CNN, where the alignment strength is gradually reduced from low to higher layers. Moreover, after obtaining region proposals in our network, we develop a foreground-background aware alignment module to further reduce the domain mismatch by separately aligning features of the foreground and background regions from the source and target domains. Extensive experiments on benchmark datasets demonstrate the effectiveness of our proposed approach.


title: Locality Sensitive Hashing-based Sequence Alignment Using Deep Bidirectional LSTM Models

abstract: Bidirectional Long Short-Term Memory (LSTM) is a special kind of Recurrent Neural Network (RNN) architecture which is designed to model sequences and their long-range dependencies more precisely than RNNs. This paper proposes to use deep bidirectional LSTM for sequence modeling as an approach to perform locality-sensitive hashing (LSH)-based sequence alignment. In particular, we use the deep bidirectional LSTM to learn features of LSH. The obtained LSH is then can be utilized to perform sequence alignment. We demonstrate the feasibility of the modeling sequences using the proposed LSTM-based model by aligning the short read queries over the reference genome. We use the human reference genome as our training dataset, in addition to a set of short reads generated using Illumina sequencing technology. The ultimate goal is to align query sequences into a reference genome. We first decompose the reference genome into multiple sequences. These sequences are then fed into the bidirectional LSTM model and then mapped into fixed-length vectors. These vectors are what we call the trained LSH, which can then be used for sequence alignment. The case study shows that using the introduced LSTM-based model, we achieve higher accuracy with the number of epochs.


title: Viscosity Solutions to First Order Path-Dependent HJB Equations

abstract: In this article, a notion of viscosity solutions is introduced for first order path-dependent Hamilton-Jacobi-Bellman (HJB) equations associated with optimal control problems for path-dependent differential equations. We identify the value functional of the optimal control problems as a unique viscosity solution to the associated HJB equations. We also show that our notion of viscosity solutions is consistent with the corresponding notion of classical solutions, and satisfies a stability property.


title: Flexible Control Strategy of DC Bus for AC-DC Hybrid Microgrid with Electric Vehicle

abstract: As a new type of microgrid structure, AC-DC hybrid microgrid can efficiently consume new energy distributed generator based on photovoltaics, which is very suitable for microgrid systems with electric vehicles as the main load. Unlike the AC microgrid, the DC bus of the AC-DC hybrid microgrid is a low-inertia system. How to improve the DC bus inertia of the AC-DC hybrid microgrid system and the stability of the DC bus voltage become particularly important. Based on this, this paper presents a method for flexible control strategy of microgrid bus voltage based on multi-node droop. By considering the P / U droop characteristics of DC ports of power electronic equipment such as energy storage and electric vehicle charging-discharging equipment, different types of distributed generator are comprehensively considered. The power reserve rate and energy reserve rate, through curve shift and other adjustment methods, improve the DC bus inertia, which effectively guarantees the stability of the microgrid system voltage. The validity of the proposed method is verified by building a matlab / simulik simulation system.


title: DeepFLASH: An Efficient Network for Learning-based Medical Image Registration

abstract: This paper presents DeepFLASH, a novel network with efficient training and inference for learning-based medical image registration. In contrast to existing approaches that learn spatial transformations from training data in the high dimensional imaging space, we develop a new registration network entirely in a low dimensional bandlimited space. This dramatically reduces the computational cost and memory footprint of an expensive training and inference. To achieve this goal, we first introduce complex-valued operations and representations of neural architectures that provide key components for learning-based registration models. We then construct an explicit loss function of transformation fields fully characterized in a bandlimited space with much fewer parameterizations. Experimental results show that our method is significantly faster than the state-of-the-art deep learning based image registration methods, while producing equally accurate alignment. We demonstrate our algorithm in two different applications of image registration: 2D synthetic data and 3D real brain magnetic resonance (MR) images. Our code is available at https://github.com/jw4hv/deepflash.


title: Pre-Lie analogues of Poisson-Nijenhuis structures and Maurer-Cartan equations

abstract: In this paper, we study pre-Lie analogues of Poisson-Nijenhuis structures and introduce ON-structures on bimodules over pre-Lie algebras. We show that an ON-structure gives rise to a hierarchy of pairwise compatible O-operators. We study solutions of the strong Maurer-Cartan equation on the twilled pre-Lie algebra associated to an O-operator, which gives rise to a pair of ON-structures which are naturally in duality. We show that KVN-structures and HN-structures on a pre-Lie algebra g are corresponding to ON-structures on the bimodule $(\mathfrak g^*;\mathrm{ad}^*,-R^*)$, and $KV\Omega$-structures are corresponding to solutions of the strong Maurer-Cartan equation on a twilled pre-Lie algebra associated to an $s$-matrix.


title: Learning and Recognizing Archeological Features from LiDAR Data

abstract: We present a remote sensing pipeline that processes LiDAR (Light Detection And Ranging) data through machine & deep learning for the application of archeological feature detection on big geo-spatial data platforms such as e.g. IBM PAIRS Geoscope. Today, archeologists get overwhelmed by the task of visually surveying huge amounts of (raw) LiDAR data in order to identify areas of interest for inspection on the ground. We showcase a software system pipeline that results in significant savings in terms of expert productivity while missing only a small fraction of the artifacts. Our work employs artificial neural networks in conjunction with an efficient spatial segmentation procedure based on domain knowledge. Data processing is constraint by a limited amount of training labels and noisy LiDAR signals due to vegetation cover and decay of ancient structures. We aim at identifying geo-spatial areas with archeological artifacts in a supervised fashion allowing the domain expert to flexibly tune parameters based on her needs.


title: The Role of History in Learning and Teaching Mathematics: A Personal Perspective

abstract: This is a slightly revised version of the Presidential address (General) delivered at the 84th Annual Conference of the Indian Mathematical Society held at Jammu, India during November 2018.


title: New error bounds in multivariate normal approximations via exchangeable pairs with applications to Wishart matrices and fourth moment theorems

abstract: We extend Stein's celebrated Wasserstein bound for normal approximation via exchangeable pairs to the multi-dimensional setting. As an intermediate step, we exploit the symmetry of exchangeable pairs to obtain an error bound for smooth test functions. We also obtain a continuous version of the multi-dimensional Wasserstein bound in terms of fourth moments. We apply the main results to multivariate normal approximations to Wishart matrices of size $n$ and degree $d$, where we obtain the optimal convergence rate $\sqrt{n^3/d}$ under only moment assumptions, and to quadratic forms and Poisson functionals, where we strengthen a few of the fourth moment bounds in the literature on the Wasserstein distance.


title: Universal commensurability augmented Teichm\"uller space and moduli space

abstract: It is known that every finitely unbranched covering $\alpha:\widetilde{S}_{g(\alpha)}\rightarrow S$ of a compact Riemann surface $S$ with genus $g\geq2$ induces an isometric embedding $\Gamma_{\alpha}$ from the Teichm\"uller space $T(S)$ to the Teich\"uller space $T(\widetilde{S}_{g(\alpha)})$. Actually, it has been showed that the isometric embedding $\Gamma_{\alpha}$ can be extended isometrically to the augmented Teichm\"{u}ller space $\widehat{T}(S)$ of $T(S)$. Using this result, we construct a directed limit $\widehat{T}_{\infty}(S)$ of augmented Teichm\"uller spaces, where the index runs over all finitely unbranched coverings of $S$. Then, we show that the action of the universal commensurability modular group $Mod_{\infty}(S)$ can extend isometrically on $\widehat{T}_{\infty}(S)$. Furthermore, for any $X_{\infty}\in T_{\infty}(S)$, its orbit of the action of the universal commensurability modular group $Mod_{\infty}(S)$ on the universal commensurability augmented Teichm\"uller space $\widehat{T}_{\infty}(S)$ is dense. Finally, we also construct a directed limit $\widehat{M}_{\infty}(S)$ of augmented moduli spaces by characteristic towers and show that the subgroup $Caut(\pi_{1}(S))$ of $Mod_{\infty}(S)$ acts on $\widehat{T}_{\infty}(S)$ to produce $\widehat{M}_{\infty}(S)$ as the quotient.


title: Phase separation kinetics of a symmetric binary mixture of glass-forming liquids

abstract: Mixtures of glass-forming fluids sometimes exhibit glass-glass phase separation at low temperatures. Here, we use a molecular dynamics simulation to study one of the simplest examples of the glass-glass phase separation. We consider a mixture composed of type A and B particles, in which the A-A and B-B interactions are the identical Lennard-Jones interactions and the A-B interaction is repulsive only. To avoid crystallization, we also introduce the polydispersity in the particle sizes for each component. We study the phase separation kinetics of this model at a 50:50 concentration at various temperatures. We find that hydrodynamic coarsening takes place when the temperature is higher than the onset temperature of the glassy dynamics. At lower temperatures, diffusive coarsening is observed over a long duration, and a further slower coarsening appears within a shorter time. Below the glass transition temperature, the domain growth does not stop but becomes logarithmically slow or even slower than logarithmic. By analyzing two-time correlation functions, we show that these slow coarsening processes are accompanied by a slowing down of the microscopic dynamics, which has qualitative similarities with the aging dynamics without phase separation. Based on the results, we discuss a possible link between the slow coarsening and the aging-like microscopic slowing down in the glass-glass phase separation.


abstract: Cameron-Liebler sets of subspaces in projective spaces were studied recently by Blokhuis, De Boeck and D'haeseleer (Des. Codes Cryptogr., 2019). In this paper, we discuss Cameron-Liebler sets in bilinear forms graphs, obtain several equivalent definitions and present some classification results.


title: Unsupervised Domain Clusters in Pretrained Language Models

abstract: The notion of "in-domain data" in NLP is often over-simplistic and vague, as textual data varies in many nuanced linguistic aspects such as topic, style or level of formality. In addition, domain labels are many times unavailable, making it challenging to build domain-specific systems. We show that massive pre-trained language models implicitly learn sentence representations that cluster by domains without supervision -- suggesting a simple data-driven definition of domains in textual data. We harness this property and propose domain data selection methods based on such models, which require only a small set of in-domain monolingual data. We evaluate our data selection methods for neural machine translation across five diverse domains, where they outperform an established approach as measured by both BLEU and by precision and recall of sentence selection with respect to an oracle.


title: $QQ\bar{q}\bar{q}$ in a chiral constituent quark model

abstract: Inspired by $\Xi_{cc}$ reported by LHCb Collaboration and $X(5568)$ reported by $D0$ Collaboration, the $QQ\bar{q}\bar{q}$ ($Q=c,b,s$, $q=u,d$) tetraquark states, are studied in the present work. With the help of gaussian expansion method, two structures, diquark-antiquark and meson-meson, with all possible color configurations are investigated systematically in a chiral quark model to search for the possible stable states. The results show that there is no bound state in the isovector $QQ\bar{q}\bar{q}$ system, while there are rather deep bound states in the isoscalar $bb\bar{q}\bar{q}$, $cc\bar{q}\bar{q}$ and $bc\bar{q}\bar{q}$ systems. There are also several shallow bound states in $QQ^{\prime}$ system. Mixing two structures of diquark-antidiquark and meson-meson can introduce more attractions and convert some unbound isoscalar states into shallow bound states. The large mass of the heavy quark is beneficial to the formation of the bound state. The separations between quarks are calculated to unravel the spacial structure of the system.


title: Classical topological order of the Rys F-model and its breakdown in realistic spin ice: Topological sectors of Faraday loops

abstract: Both the Rys F-model and antiferromagnetic square ice posses the same ordered, antiferromagnetic ground state, but the ordering transition is of second order in the latter, and of infinite order in the former. To tie this difference to topological properties and their breakdown, we introduce a Faraday line representation where loops carry the energy and magnetization of the system. Because of the absence of monopoles in the F-model, its loops have distinct topological properties, absent in square ice, and which allow for a natural partition of its phase space into topological sectors. Then the N\'eel temperature corresponds to a transition from trivial to non-trivial topological sectors. Moreover, its zero susceptibility below a critical field is explained by the homotopy invariance of its magnetization. In spin ices, instead, monopoles destroy the homotopy invariance of the magnetization, and thus erase this rich topological structure. Consequently, even trivial loops can be magnetized, and their susceptibility is never zero.


title: Attentive One-Dimensional Heatmap Regression for Facial Landmark Detection and Tracking

abstract: Although heatmap regression is considered a state-of-the-art method to locate facial landmarks, it suffers from huge spatial complexity and is prone to quantization error. To address this, we propose a novel attentive one-dimensional heatmap regression method for facial landmark localization. First, we predict two groups of 1D heatmaps to represent the marginal distributions of the x and y coordinates. These 1D heatmaps reduce spatial complexity significantly compared to current heatmap regression methods, which use 2D heatmaps to represent the joint distributions of x and y coordinates. With much lower spatial complexity, the proposed method can output high-resolution 1D heatmaps despite limited GPU memory, significantly alleviating the quantization error. Second, a co-attention mechanism is adopted to model the inherent spatial patterns existing in x and y coordinates, and therefore the joint distributions on the x and y axes are also captured. Third, based on the 1D heatmap structures, we propose a facial landmark detector capturing spatial patterns for landmark detection on an image; and a tracker further capturing temporal patterns with a temporal refinement mechanism for landmark tracking. Experimental results on four benchmark databases demonstrate the superiority of our method.


title: S4oC: A Self-optimizing, Self-adapting Secure System-on-Chip Design Framework to Tackle Unknown Threats -- A Network Theoretic, Learning Approach

abstract: We propose a framework for the design and optimization of a secure self-optimizing, self-adapting system-on-chip (S4oC) architecture. The goal is to minimize the impact of attacks such as hardware Trojan and side-channel, by making real-time adjustments. S4oC learns to reconfigure itself, subject to various security measures and attacks, some of which possibly unknown at design time. Furthermore, the data types and patterns of the target applications, environmental conditions, and sources of variations are incorporated. S4oC is a manycore system, modeled as a four-layer graph, representing the model of computation (MoCp), model of connection (MoCn), model of memory (MoM) and model of storage (MoS), with a large number of elements including heterogeneous reconfigurable processing elements in MoCp, and memory elements in the MoM layer. Security driven community detection, and neural networks are utilized for application task clustering, and distributed reinforcement learning (RL) for task mapping.


title: On the cohomology of quiver Grassmannians for acyclic quivers

abstract: For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincar\'e polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result, we give another proof of the odd cohomology vanishing theorem for quiver Grassmanians. Meanwhile, for Dynkin quivers, we show that the Poincar\'e polynomials of rigid quiver Grassmannians are the coefficients of dual PBW bases of the algebra $U_q^-(\mathfrak{g})$.


title: Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications

abstract: Temporal logics provide a formalism for expressing complex system specifications. A large body of literature has addressed the verification and the control synthesis problem for deterministic systems under such specifications. For stochastic systems or systems operating in unknown environments, however, only the probability of satisfying a specification has been considered so far, neglecting the risk of not satisfying the specification. Towards addressing this shortcoming, we consider, for the first time, risk metrics, such as (but not limited to) the Conditional Value-at-Risk, and propose risk signal temporal logic. Specifically, we compose risk metrics with stochastic predicates to consider the risk of violating certain spatial specifications. As a particular instance of such stochasticity, we consider control systems in unknown environments and present a determinization of the risk signal temporal logic specification to transform the stochastic control problem into a deterministic one. For unicycle-like dynamics, we then extend our previous work on deterministic time-varying control barrier functions.


title: Unimodular Sasaki and Vaisman Lie groups

abstract: This is a continuation of our study on homogeneous locally conformally Kaehler and Sasaki manifolds. In a recent work, applying the technique of modification we have determined all homogeneous Sasaki and Vaisman manifolds of unimodular Lie groups, up to modifications. In this paper we determine all such modifications explicitly for the case of Lie groups, obtaining a complete classification of unimodular Sasaki and Vaisman Lie groups. Furthermore, we determine the biholomorphism type of a simply connected unimodular Vaisman Lie group of each type.


title: Emotional Video to Audio Transformation Using Deep Recurrent Neural Networks and a Neuro-Fuzzy System

abstract: Generating music with emotion similar to that of an input video is a very relevant issue nowadays. Video content creators and automatic movie directors benefit from maintaining their viewers engaged, which can be facilitated by producing novel material eliciting stronger emotions in them. Moreover, there's currently a demand for more empathetic computers to aid humans in applications such as augmenting the perception ability of visually and/or hearing impaired people. Current approaches overlook the video's emotional characteristics in the music generation step, only consider static images instead of videos, are unable to generate novel music, and require a high level of human effort and skills. In this study, we propose a novel hybrid deep neural network that uses an Adaptive Neuro-Fuzzy Inference System to predict a video's emotion from its visual features and a deep Long Short-Term Memory Recurrent Neural Network to generate its corresponding audio signals with similar emotional inkling. The former is able to appropriately model emotions due to its fuzzy properties, and the latter is able to model data with dynamic time properties well due to the availability of the previous hidden state information. The novelty of our proposed method lies in the extraction of visual emotional features in order to transform them into audio signals with corresponding emotional aspects for users. Quantitative experiments show low mean absolute errors of 0.217 and 0.255 in the Lindsey and DEAP datasets respectively, and similar global features in the spectrograms. This indicates that our model is able to appropriately perform domain transformation between visual and audio features. Based on experimental results, our model can effectively generate audio that matches the scene eliciting a similar emotion from the viewer in both datasets, and music generated by our model is also chosen more often.


title: Challenges and perspectives for new material solutions in batteries

abstract: We outline main challenges for future research in batteries, particularly, addressing the urgent needs of developing new environmentally friendly material solutions to enhance the energy density and safety of these storage devices. This will require embracing a multidisciplinary approach encompassing traditional electrochemistry and experimental solid-state physics, multiscale computational modelling, materials synthesis, and advanced characterization and testing


title: An Eigenspace Divide-and-Conquer Approach for Large-Scale Optimization

abstract: Divide-and-conquer-based (DC-based) evolutionary algorithms (EAs) have achieved notable success in dealing with large-scale optimization problems (LSOPs). However, the appealing performance of this type of algorithms generally requires a high-precision decomposition of the optimization problem, which is still a challenging task for existing decomposition methods. This study attempts to address the above issue from a different perspective and proposes an eigenspace divide-and-conquer (EDC) approach. Different from existing DC-based algorithms that perform decomposition and optimization in the original decision space, EDC first establishes an eigenspace by conducting singular value decomposition on a set of high-quality solutions selected from recent generations. Then it transforms the optimization problem into the eigenspace, and thus significantly weakens the dependencies among the corresponding eigenvariables. Accordingly, these eigenvariables can be efficiently grouped by a simple random strategy and each of the resulting subproblems can be addressed more easily by a traditional EA. To verify the efficiency of EDC, comprehensive experimental studies were conducted on two sets of benchmark functions. Experimental results indicate that EDC is robust to its parameters and has good scalability to the problem dimension. The comparison with several state-of-the-art algorithms further confirms that EDC is pretty competitive and performs better on complicated LSOPs.


title: Carath\'eodory density of the Hurwitz metric on plane domains

abstract: It is well-known that the Carath\'eodory metric is a natural generalization of the Poincar\'e metric, namely, the hyperbolic metric of the unit disk. In 2016, the Hurwitz metric was introduced by D. Minda in arbitrary proper subdomains of the complex plane and he proved that this metric coincides with the hyperbolic metric when the domains are simply connected. In this paper, we define a new metric which generalizes the Hurwitz metric in the sense of Carath\'eodory. Our main focus is to study its various basic properties in connection with the Hurwitz metric.


title: New study of the Boer-Mulders function: Implications for the quark and hadron transverse momenta

abstract: In series of papers the Boer-Mulders function for a given quark flavour has been extracted: (i) from data on semi-inclusive deep inelastic scattering, using the simplifying, but theoretically inconsistent, assumption that it is proportional to the Sivers function for each quark flavour and (ii) from data on Drell-Yan reactions. In earlier papers, using the semi-inclusive deep inelastic COMPASS deuteron data on the $\langle\cos\phi_h\rangle$ and $\langle\cos 2 \phi_h\rangle$ asymmetries, we extracted the collinear $x_{_{\!B}}$ dependence of the Boer-Mulders function for the sum of the valence quarks $Q_V=u_V + d_V$ using a small number of model dependent assumptions and found a significant disagreement with the analysis in (i). In the present paper, we provide a more complete analysis of the semi-inclusive deep inelastic scattering reaction, including a discussion of higher twist and interaction-dependent terms, and also a comparison with the Boer-Mulders function extracted from data on the Drell-Yan reaction. We confirm that the proportionality relation of the BM function to the Sivers function, for each quark flavour, fails badly, but find that it holds rather well if applied to the nonsinglet valence-quark combination, $Q_V$. We also find good agreement with the results of the Drell-Yan analysis. Furthermore, we obtain interesting information on the quark transverse momentum densities in the nucleon and on the hadron transverse momentum dependence in quark fragmentation.


title: GIANT: Scalable Creation of a Web-scale Ontology

abstract: Understanding what online users may pay attention to is key to content recommendation and search services. These services will benefit from a highly structured and web-scale ontology of entities, concepts, events, topics and categories. While existing knowledge bases and taxonomies embody a large volume of entities and categories, we argue that they fail to discover properly grained concepts, events and topics in the language style of online population. Neither is a logically structured ontology maintained among these notions. In this paper, we present GIANT, a mechanism to construct a user-centered, web-scale, structured ontology, containing a large number of natural language phrases conforming to user attentions at various granularities, mined from a vast volume of web documents and search click graphs. Various types of edges are also constructed to maintain a hierarchy in the ontology. We present our graph-neural-network-based techniques used in GIANT, and evaluate the proposed methods as compared to a variety of baselines. GIANT has produced the Attention Ontology, which has been deployed in various Tencent applications involving over a billion users. Online A/B testing performed on Tencent QQ Browser shows that Attention Ontology can significantly improve click-through rates in news recommendation.


title: Developments and improvements of radiopure ZnWO$_{4}$ anisotropic scintillators

abstract: The ZnWO$_4$ is an anisotropic crystal scintillator; for its peculiar characteristics, it is a very promising detector to exploit the so-called directionality approach in the investigation of those Dark Matter (DM) candidates inducing nuclear recoils. Recently, in the framework of the ADAMO project, an R\&D to develop high quality and ultra-radiopure ZnWO$_4$ crystal scintillators has been carried out. In the present paper the measurements to study the anisotropic response of a ZnWO$_4$ to $\alpha$ particles and to nuclear recoils induced by neutron scattering are reported. Monochromatic neutrons have been produced by a neutron generator at ENEA-CASACCIA. The quenching factor values for nuclear recoils along different crystallographic axes have been determined for three different nuclear recoils energies. These results open the possibility to realize a pioneer experiment to investigate the above mentioned DM candidates by means of the directionality.


title: Simpler completeness proofs for modal logics with intersection

abstract: There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledge. Completeness proofs for such logics tend to be complicated, in particular on model classes such as S5 like in standard epistemic logic, mainly due to the undefinability of intersection of modalities in standard modal logics. A standard proof method for the S5 case was outlined in [8] and later explicated in more detail in [13], using an "unraveling-folding method" case to achieve a treelike model to deal with the problem of undefinability. This method, however, is not easily adapted to other logics, due to the level of detail and reliance on S5. In this paper we propose a simpler proof technique by building a treelike canonical model directly, which avoids the complications in the processes of unraveling and folding. We demonstrate the technique by showing completeness of the normal modal logics K, D, T, B, S4 and S5 extended with intersection modalities. Furthermore, these treelike canonical models are compatible with Fischer-Ladner-style closures, and we combine the methods to show the completeness of the mentioned logics further extended with transitive closure of union modalities known from PDL or epistemic logic. Some of these completeness results are new.


title: An Unsupervised Random Forest Clustering Technique for Automatic Traffic Scenario Categorization

abstract: A modification of the Random Forest algorithm for the categorization of traffic situations is introduced in this paper. The procedure yields an unsupervised machine learning method. The algorithm generates a proximity matrix which contains a similarity measure. This matrix is then reordered with hierarchical clustering to achieve a graphically interpretable representation. It is shown how the resulting proximity matrix can be visually interpreted and how the variation of the methods' metaparameter reveals different insights into the data. The proposed method is able to cluster data from any data source. To demonstrate the methods' potential, multiple features derived from a traffic simulation are used in this paper. The knowledge of traffic scenario clusters is crucial to accelerate the validation process. The clue of the method is that scenario templates can be generated automatically from actual traffic situations. These templates can be employed in all stages of the development process. The results prove that the procedure is well suited for an automatic categorization of traffic scenarios. Diverse other applications can benefit from this work.


title: Anisotropic Convolutional Networks for 3D Semantic Scene Completion

abstract: As a voxel-wise labeling task, semantic scene completion (SSC) tries to simultaneously infer the occupancy and semantic labels for a scene from a single depth and/or RGB image. The key challenge for SSC is how to effectively take advantage of the 3D context to model various objects or stuffs with severe variations in shapes, layouts and visibility. To handle such variations, we propose a novel module called anisotropic convolution, which properties with flexibility and power impossible for the competing methods such as standard 3D convolution and some of its variations. In contrast to the standard 3D convolution that is limited to a fixed 3D receptive field, our module is capable of modeling the dimensional anisotropy voxel-wisely. The basic idea is to enable anisotropic 3D receptive field by decomposing a 3D convolution into three consecutive 1D convolutions, and the kernel size for each such 1D convolution is adaptively determined on the fly. By stacking multiple such anisotropic convolution modules, the voxel-wise modeling capability can be further enhanced while maintaining a controllable amount of model parameters. Extensive experiments on two SSC benchmarks, NYU-Depth-v2 and NYUCAD, show the superior performance of the proposed method. Our code is available at https://waterljwant.github.io/SSC/


title: Parity-to-charge conversion in Majorana qubit readout

abstract: We study the time-dependent effect of Markovian readout processes on Majorana qubits whose parity degrees of freedom are converted into the charge of a tunnel-coupled quantum dot. By applying a recently established effective Lindbladian approximation [1-3], we obtain a completely positive and trace preserving Lindblad master equation for the combined dot-qubit dynamics, describing relaxation and decoherence processes beyond the rotating-wave approximation. This approach is applicable to a wide range of weakly coupled environments representing experimentally relevant readout devices. We study in detail the case of thermal decay in the presence of a generic Ohmic bosonic bath, in particular for potential fluctuations in an electromagnetic circuit. In addition, we consider the nonequilibrium measurement environment for a parity readout using a quantum point contact capacitively coupled to the dot charge.


title: Readout of Majorana Qubits

abstract: Schemes for topological quantum computation with Majorana bound states rely heavily on the ability to measure products of Majorana operators projectively. Here, we employ Markovian quantum measurement theory, including the readout device, to analyze such measurements. Specifically, we focus on the readout of Majorana qubits via continuous charge sensing of a tunnel-coupled quantum dot by a quantum point contact. We show that projective measurements of Majorana products $\prod_i\hat{\gamma}_i$ can be implemented by continuous charge sensing under quite general circumstances. Essential requirements are that a combined local parity $\hat{\pi}$, involving the quantum dot charge along with the Majorana product of interest, be conserved, and that the two eigenspaces of the combined parity $\hat{\pi}$ generate distinguishable measurement signals. We find that qubit readout may have to rely on measuring noise correlations of the quantum-point-contact current. The average current encodes the qubit readout only transiently for fine-tuned parameters or in the presence of relaxation processes. We also discuss the corresponding measurement and decoherence times and consider processes such as residual Majorana hybridizations which are detrimental to the measurement protocol. Finally, we emphasize that the underlying mechanism -- which we term symmetry-protected readout -- is quite general and has further implications for both, Majorana and non-Majorana systems.


title: On the number of independent orders

abstract: We investigate a model theoretic invariant $\kappa_{srd}^m(T)$, which was introduced by Shelah in his famous book, and prove that $\kappa_{srd}^m(T)$ is sub-additive. When $\kappa_{srd}^m(T)$ is infinite, this gives the equality $\kappa^m_{srd}(T)=\kappa^1_{srd}(T)$, answering a question by Shelah. We apply the same proof method to analyze another invariant $\kappa^m_{ird}(T)$, and show that it is also sub-additive, improving a result in the book.


title: Unsupervised and Supervised Learning with the Random Forest Algorithm for Traffic Scenario Clustering and Classification

abstract: The goal of this paper is to provide a method, which is able to find categories of traffic scenarios automatically. The architecture consists of three main components: A microscopic traffic simulation, a clustering technique and a classification technique for the operational phase. The developed simulation tool models each vehicle separately, while maintaining the dependencies between each other. The clustering approach consists of a modified unsupervised Random Forest algorithm to find a data adaptive similarity measure between all scenarios. As part of this, the path proximity, a novel technique to determine a similarity based on the Random Forest algorithm is presented. In the second part of the clustering, the similarities are used to define a set of clusters. In the third part, a Random Forest classifier is trained using the defined clusters for the operational phase. A thresholding technique is described to ensure a certain confidence level for the class assignment. The method is applied for highway scenarios. The results show that the proposed method is an excellent approach to automatically categorize traffic scenarios, which is particularly relevant for testing autonomous vehicle functionality.


title: Reference Language based Unsupervised Neural Machine Translation

abstract: Exploiting a common language as an auxiliary for better translation has a long tradition in machine translation and lets supervised learning-based machine translation enjoy the enhancement delivered by the well-used pivot language in the absence of a source language to target language parallel corpus. The rise of unsupervised neural machine translation (UNMT) almost completely relieves the parallel corpus curse, though UNMT is still subject to unsatisfactory performance due to the vagueness of the clues available for its core back-translation training. Further enriching the idea of pivot translation by extending the use of parallel corpora beyond the source-target paradigm, we propose a new reference language-based framework for UNMT, RUNMT, in which the reference language only shares a parallel corpus with the source, but this corpus still indicates a signal clear enough to help the reconstruction training of UNMT through a proposed reference agreement mechanism. Experimental results show that our methods improve the quality of UNMT over that of a strong baseline that uses only one auxiliary language, demonstrating the usefulness of the proposed reference language-based UNMT and establishing a good start for the community.


title: Characterizing Random-singlet State in Two-dimensional Frustrated Quantum Magnets and Implications for the Double Perovskite Sr$_2$CuTe$_{1-x}$W$_{x}$O$_6$

abstract: Motivated by experimental observation of the non-magnetic phase in the compounds with frustration and disorder, we study the ground state of the spin-$1/2$ square-lattice Heisenberg model with randomly distributed nearest-neighbor $J_1$ and next-nearest-neighbor $J_2$ couplings. By using the density matrix renormalization group (DMRG) calculation on cylinder system with circumference up to $10$ lattice sites, we identify a disordered phase between the N\'eel and stripe magnetic phase with growing $J_2 / J_1$ in the presence of strong bond randomness. The vanished spin-freezing parameter indicates the absence of spin glass order. The large-scale DMRG results unveil the size-scaling behaviors of the spin-freezing parameter, the power-law decay of the average spin correlation, and the exponential decay of the typical spin correlation, which all agree with the corresponding behavior in the one-dimensional random singlet (RS) state and characterize the RS nature of this disordered phase. The DMRG simulation also provides insights and opportunities for characterizing a class of non-magnetic states in two-dimensional frustrated magnets with disorder. We also compare with existing experiments and suggest more measurements for understanding the spin-liquid-like behaviors in the double perovskite Sr$_2$CuTe$_{1-x}$W$_{x}$O$_6$.


title: #P-completeness of counting update digraphs, cacti, and a series-parallel decomposition method

abstract: Automata networks are a very general model of interacting entities, with applications to biological phenomena such as gene regulation. In many contexts, the order in which entities update their state is unknown, and the dynamics may be very sensitive to changes in this schedule of updates. Since the works of Aracena et. al, it is known that update digraphs are pertinent objects to study non-equivalent block-sequential update schedules. We prove that counting the number of equivalence classes, that is a tight upper bound on the synchronism sensitivity of a given network, is #P-complete. The problem is nevertheless computable in quasi-quadratic time for oriented cacti, and for oriented series-parallel graphs thanks to a decomposition method.


title: Exceptional points of Bloch eigenmodes on a dielectric slab with a periodic array of cylinders

abstract: Eigenvalue problems for electromagnetic resonant states on open dielectric structures are non-Hermitian and may have exceptional points (EPs) at which two or more eigenfrequencies and the corresponding eigenfunctions coalesce. EPs of resonant states for photonic structures give rise to a number of unusual wave phenomena and have potentially important applications. It is relatively easy to find a few EPs for a structure with parameters, but isolated EPs provide no information about their formation and variation in parameter space, and it is always difficult to ensure that all EPs in a domain of the parameter space are found. In this paper, we analyze EPs for a dielectric slab containing a periodic array of circular cylinders. By tuning the periodic structure towards a uniform slab and following the EPs continuously, we are able to obtain a precise condition about the limiting uniform slab, and thereby order and classify EPs as tracks with their endpoints determined analytically. It is found that along each track, a second order EP of resonant states (with a complex frequency) is transformed to a special kind of third order EP with a real frequency via a special fourth order EP. Our study provides a clear and complete picture for EPs in parameter space, and gives useful guidance to their practical applications.


title: Learning Deep Graph Representations via Convolutional Neural Networks

abstract: Graph-structured data arise in many scenarios. A fundamental problem is to quantify the similarities of graphs for tasks such as classification. R-convolution graph kernels are positive-semidefinite functions that decompose graphs into substructures and compare them. One problem in the effective implementation of this idea is that the substructures are not independent, which leads to high-dimensional feature space. In addition, graph kernels cannot capture the high-order complex interactions between vertices. To mitigate these two problems, we propose a framework called DeepMap to learn deep representations for graph feature maps. The learned deep representation for a graph is a dense and low-dimensional vector that captures complex high-order interactions in a vertex neighborhood. DeepMap extends Convolutional Neural Networks (CNNs) to arbitrary graphs by generating aligned vertex sequences and building the receptive field for each vertex. We empirically validate DeepMap on various graph classification benchmarks and demonstrate that it achieves state-of-the-art performance.


title: Deep Homography Estimation for Dynamic Scenes

abstract: Homography estimation is an important step in many computer vision problems. Recently, deep neural network methods have shown to be favorable for this problem when compared to traditional methods. However, these new methods do not consider dynamic content in input images. They train neural networks with only image pairs that can be perfectly aligned using homographies. This paper investigates and discusses how to design and train a deep neural network that handles dynamic scenes. We first collect a large video dataset with dynamic content. We then develop a multi-scale neural network and show that when properly trained using our new dataset, this neural network can already handle dynamic scenes to some extent. To estimate a homography of a dynamic scene in a more principled way, we need to identify the dynamic content. Since dynamic content detection and homography estimation are two tightly coupled tasks, we follow the multi-task learning principles and augment our multi-scale network such that it jointly estimates the dynamics masks and homographies. Our experiments show that our method can robustly estimate homography for challenging scenarios with dynamic scenes, blur artifacts, or lack of textures.


title: Neuron Linear Transformation: Modeling the Domain Shift for Crowd Counting

abstract: Cross-domain crowd counting (CDCC) is a hot topic due to its importance in public safety. The purpose of CDCC is to alleviate the domain shift between the source and target domain. Recently, typical methods attempt to extract domain-invariant features via image translation and adversarial learning. When it comes to specific tasks, we find that the domain shifts are reflected on model parameters' differences. To describe the domain gap directly at the parameter-level, we propose a Neuron Linear Transformation (NLT) method, exploiting domain factor and bias weights to learn the domain shift. Specifically, for a specific neuron of a source model, NLT exploits few labeled target data to learn domain shift parameters. Finally, the target neuron is generated via a linear transformation. Extensive experiments and analysis on six real-world datasets validate that NLT achieves top performance compared with other domain adaptation methods. An ablation study also shows that the NLT is robust and more effective than supervised and fine-tune training. Code is available at: \url{https://github.com/taohan10200/NLT}.


title: Adversarial-Prediction Guided Multi-task Adaptation for Semantic Segmentation of Electron Microscopy Images

abstract: Semantic segmentation is an essential step for electron microscopy (EM) image analysis. Although supervised models have achieved significant progress, the need for labor intensive pixel-wise annotation is a major limitation. To complicate matters further, supervised learning models may not generalize well on a novel dataset due to domain shift. In this study, we introduce an adversarial-prediction guided multi-task network to learn the adaptation of a well-trained model for use on a novel unlabeled target domain. Since no label is available on target domain, we learn an encoding representation not only for the supervised segmentation on source domain but also for unsupervised reconstruction of the target data. To improve the discriminative ability with geometrical cues, we further guide the representation learning by multi-level adversarial learning in semantic prediction space. Comparisons and ablation study on public benchmark demonstrated state-of-the-art performance and effectiveness of our approach.


title: Adding A Filter Based on The Discriminator to Improve Unconditional Text Generation

abstract: The autoregressive language model (ALM) trained with maximum likelihood estimation (MLE) is widely used in unconditional text generation. Due to exposure bias, the generated texts still suffer from low quality and diversity. This presents statistically as a discrepancy between the real text and generated text. Some research shows a discriminator can detect this discrepancy. Because the discriminator can encode more information than the generator, discriminator has the potentiality to improve generator. To alleviate the exposure bias, generative adversarial networks (GAN) use the discriminator to update the generator's parameters directly, but they fail by being evaluated precisely. A critical reason for the failure is the difference between the discriminator input and the ALM input. We propose a novel mechanism by adding a filter which has the same input as the discriminator. First, discriminator detects the discrepancy signals and passes to filter directly (or by learning). Then, we use the filter to reject some generated samples with a sampling-based method. Thus, the original generative distribution is revised to reduce the discrepancy. Two ALMs, RNN-based and Transformer-based, are experimented. Evaluated precisely by three metrics, our mechanism consistently outperforms the ALMs and all kinds of GANs across two benchmark data sets.


title: One-shot screening of potential peptide ligands on HR1 domain in COVID-19 glycosylated spike (S) protein with deep siamese network

abstract: The novel coronavirus (2019-nCoV) has been declared to be a new international health emergence and no specific drug has been yet identified. Several methods are currently being evaluated such as protease and glycosylated spike (S) protein inhibitors, that outlines the main fusion site among coronavirus and host cells. Notwithstanding, the Heptad Repeat 1 (HR1) domain on the glycosylated spike (S) protein is the region with less mutability and then the most encouraging target for new inhibitors drugs.The novelty of the proposed approach, compared to others, lies in a precise training of a deep neural network toward the 2019-nCoV virus. Where a Siamese Neural Network (SNN) has been trained to distingue the whole 2019-nCoV protein sequence amongst two different viruses family such as HIV-1 and Ebola. In this way, the present deep learning system has precise knowledge of peptide linkage among 2019-nCoV protein structure and differently, of other works, is not trivially trained on public datasets that have not been provided any ligand-peptide information for 2019-nCoV. Suddenly, the SNN shows a sensitivity of $83\%$ of peptide affinity classification, where $3027$ peptides on SATPdb bank have been tested towards the specific region HR1 of 2019-nCoV exhibiting an affinity of $93\%$ for the peptidyl-prolyl cis-trans isomerase (PPIase) peptide. This affinity between PPIase and HR1 can open new horizons of research since several scientific papers have already shown that CsA immunosuppression drug, a main inhibitor of PPIase, suppress the reproduction of different CoV virus included SARS-CoV and MERS-CoV. Finally, to ensure the scientific reproducibility, code and data have been made public at the following link: https://github.com/bionick87/2019-nCoV


title: Anomaly Detection and Prototype Selection Using Polyhedron Curvature

abstract: We propose a novel approach to anomaly detection called Curvature Anomaly Detection (CAD) and Kernel CAD based on the idea of polyhedron curvature. Using the nearest neighbors for a point, we consider every data point as the vertex of a polyhedron where the more anomalous point has more curvature. We also propose inverse CAD (iCAD) and Kernel iCAD for instance ranking and prototype selection by looking at CAD from an opposite perspective. We define the concept of anomaly landscape and anomaly path and we demonstrate an application for it which is image denoising. The proposed methods are straightforward and easy to implement. Our experiments on different benchmarks show that the proposed methods are effective for anomaly detection and prototype selection.


title: Flow2Stereo: Effective Self-Supervised Learning of Optical Flow and Stereo Matching

abstract: In this paper, we propose a unified method to jointly learn optical flow and stereo matching. Our first intuition is stereo matching can be modeled as a special case of optical flow, and we can leverage 3D geometry behind stereoscopic videos to guide the learning of these two forms of correspondences. We then enroll this knowledge into the state-of-the-art self-supervised learning framework, and train one single network to estimate both flow and stereo. Second, we unveil the bottlenecks in prior self-supervised learning approaches, and propose to create a new set of challenging proxy tasks to boost performance. These two insights yield a single model that achieves the highest accuracy among all existing unsupervised flow and stereo methods on KITTI 2012 and 2015 benchmarks. More remarkably, our self-supervised method even outperforms several state-of-the-art fully supervised methods, including PWC-Net and FlowNet2 on KITTI 2012.


title: Intense beam of metastable Muonium

abstract: Precision spectroscopy of the Muonium Lamb shift and fine structure requires a robust source of 2S Muonium. To date, the beam-foil technique is the only demonstrated method for creating such a beam in vacuum. Previous experiments using this technique were statistics limited, and new measurements would benefit tremendously from the efficient 2S production at a low energy muon ($<20$ keV) facility. Such a source of abundant low energy $\mathrm{\mu^+}$ has only become available in recent years, e.g. at the Low-Energy Muon beamline at the Paul Scherrer Institute. Using this source, we report on the successful creation of an intense, directed beam of metastable Muonium. We find that even though the theoretical Muonium fraction is maximal in the low energy range of $2-5$ keV, scattering by the foil and transport characteristics of the beamline favor slightly higher $\mathrm{\mu^+}$ energies of $7-10$ keV. We estimate that an event detection rate of a few events per second for a future Lamb shift measurement is feasible, enabling an increase in precision by two orders of magnitude over previous determinations.


title: Bending of light in novel 4$D$ Gauss-Bonnet-de Sitter black holes by Rindler-Ishak method

abstract: We study the bending of light in the space-time of black holes in four-dimensional Einstein-Gauss-Bonnet theory of gravity, recently proposed by Glavan and Lin \cite{Glavan}. Using Rindler-Ishak method, the effect of Gauss-Bonnet coupling on the bending angle is studied. We show that a positive Gauss-Bonnet coupling gives a negative contribution to the Schwarzschild-de Sitter deflection angle, as one would expect.


title: Tau affects P53 function and cell fate during the DNA damage response

abstract: Cells are constantly exposed to DNA damaging insults. To protect the organism, cells developed a complex molecular response coordinated by P53, the master regulator of DNA repair, cell division and cell fate. DNA damage accumulation and abnormal cell fate decision may represent a pathomechanism shared by aging-associated disorders such as cancer and neurodegeneration. Here, we examined this hypothesis in the context of tauopathies, a neurodegenerative disorder group characterized by Tau protein deposition. For this, the response to an acute DNA damage was studied in neuroblastoma cells with depleted Tau, as a model of loss-of-function. Under these conditions, altered P53 stability and activity result in reduced cell death and increased cell senescence. This newly discovered function of Tau involves abnormal modification of P53 and its E3 ubiquitin ligase MDM2. Considering the medical need with vast social implications caused by neurodegeneration and cancer, our study may reform our approach to disease-modifying therapies.


title: Beauty mesons in $N_f=2+1+1+1 $ lattice QCD with exact chiral symmetry

abstract: We present the first study of $N_f=2+1+1+1$ lattice QCD with domain-wall quarks. The $(b, c, s)$ quarks are physical, while the $(u, d)$ quarks are heavier than their physical masses, with the pion mass $ \sim 700 $ MeV. The gauge ensemble is generated by hybrid Monte Carlo simulation with the Wilson gauge action for the gluons, and the optimal domain-wall fermion action for the quarks. Using point-to-point quark propagators, we measure the time-correlation functions of quark-antiquark meson interpolators with quark contents $\bar b b$, $\bar b c$, $\bar b s$, and $ \bar c c$, and obtain the masses of the low-lying mesons. They are in good agreement with the experimental values, plus some predictions which have not been observed in experiments. Moreover, we also determine the masses of $(b, c, s)$ quarks.


title: Reinforced Multi-task Approach for Multi-hop Question Generation

abstract: Question generation (QG) attempts to solve the inverse of question answering (QA) problem by generating a natural language question given a document and an answer. While sequence to sequence neural models surpass rule-based systems for QG, they are limited in their capacity to focus on more than one supporting fact. For QG, we often require multiple supporting facts to generate high-quality questions. Inspired by recent works on multi-hop reasoning in QA, we take up Multi-hop question generation, which aims at generating relevant questions based on supporting facts in the context. We employ multitask learning with the auxiliary task of answer-aware supporting fact prediction to guide the question generator. In addition, we also proposed a question-aware reward function in a Reinforcement Learning (RL) framework to maximize the utilization of the supporting facts. We demonstrate the effectiveness of our approach through experiments on the multi-hop question answering dataset, HotPotQA. Empirical evaluation shows our model to outperform the single-hop neural question generation models on both automatic evaluation metrics such as BLEU, METEOR, and ROUGE, and human evaluation metrics for quality and coverage of the generated questions.


title: Dynamics of contact epidemic models for finite populations

abstract: We study contact epidemic models for the spread of infective diseases in finite populations. The size dependence enters in the infection rate. The dynamics of such models is then analyzed within the deterministic approximation, as well as in terms of a stochastic formulation. At the level of the deterministic equations, we deduce relations between the parameters of the model for the disease to become endemic. Within the stochastic formulation, it is possible to write recursion relations for the probability distribution, that lead to exact expression for some of its moments and check the validity of the stochastic threshold theorems.


title: Weak $(1,1)$ estimates for multiple operator integrals and generalized absolute value functions

abstract: Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1} \rightarrow \mathbb{C}$ and let $1 < p_1, \ldots, p_n < \infty$ be such that $\sum_{l=1}^n p_l^{-1} = 1$. Let $\mathcal{S}_{p_l}$ denote the Schatten-von Neumann ideals and let $\mathcal{S}_{1,\infty}$ denote the weak trace class ideal. We show that for any $(n+1)$-tuple ${\bf A}$ of bounded self-adjoint operators the multiple operator integral $T_{a^{[n]}}^{{\bf A}}$ maps $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1, \infty}$ boundedly with uniform bound in ${\bf A}$. The same is true for the class of $C^{n+1}$-functions that outside the interval $[-1, 1]$ equal $a$. In [CLPST16] it was proved that for a function $f$ in this class such boundedness of $T^{ {\bf A} }_{f^{[n]}}$ from $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1}$ may fail, resolving a problem by V. Peller. This shows that the estimates in the current paper are optimal. The proof is based on a new reduction method for arbitrary multiple operator integrals of divided differences.


title: Optimal control of magnetization reversal in a monodomain particle by means of applied magnetic field

abstract: A complete analytical solution to the optimal reversal of a macrospin with easy-axis anisotropy is presented. Optimal control path minimizing the energy cost of the reversal is identified and used to derive time-dependent direction and amplitude of the optimal switching field. The minimum energy cost of the reversal scales inversely with the switching time for fast switching, follows an exponential asymptotics for slow switching and reaches the lower limit proportional to the energy barrier between the target states and to the damping parameter at infinitely long switching time. For a given switching time, the energy cost is never smaller than that for a free macrospin. This limitation can be bypassed by adding a hard anisotropy axis which activates the internal torque in the desired switching direction, thereby significantly reducing the energy cost. Comparison between the calculated optimal control path and minimum energy path reveals that optimal control does not translate to the minimization of the energy barrier, but signifies effective use of the system's internal dynamics to aid the desired magnetic transition.


title: BiSeNet V2: Bilateral Network with Guided Aggregation for Real-time Semantic Segmentation

abstract: The low-level details and high-level semantics are both essential to the semantic segmentation task. However, to speed up the model inference, current approaches almost always sacrifice the low-level details, which leads to a considerable accuracy decrease. We propose to treat these spatial details and categorical semantics separately to achieve high accuracy and high efficiency for realtime semantic segmentation. To this end, we propose an efficient and effective architecture with a good trade-off between speed and accuracy, termed Bilateral Segmentation Network (BiSeNet V2). This architecture involves: (i) a Detail Branch, with wide channels and shallow layers to capture low-level details and generate high-resolution feature representation; (ii) a Semantic Branch, with narrow channels and deep layers to obtain high-level semantic context. The Semantic Branch is lightweight due to reducing the channel capacity and a fast-downsampling strategy. Furthermore, we design a Guided Aggregation Layer to enhance mutual connections and fuse both types of feature representation. Besides, a booster training strategy is designed to improve the segmentation performance without any extra inference cost. Extensive quantitative and qualitative evaluations demonstrate that the proposed architecture performs favourably against a few state-of-the-art real-time semantic segmentation approaches. Specifically, for a 2,048x1,024 input, we achieve 72.6% Mean IoU on the Cityscapes test set with a speed of 156 FPS on one NVIDIA GeForce GTX 1080 Ti card, which is significantly faster than existing methods, yet we achieve better segmentation accuracy.


title: Enhanced contact angle hysteresis of salt aqueous solution on graphite surface by a tiny amount of cation

abstract: We experimentally observed the enhanced contact angle hysteresis (CAH) of dilute aqueous salt solution on graphite surface, i.e., 40.6$^\circ$, 34.6$^\circ$, and 27.8$^\circ$, for LiCl, NaCl, and KCl, indicating the effective tuning of the CAHs by cations. Molecular dynamics simulations reveal that the preferential adsorption of cations on the HOPG surface due to the cation-{\pi} interaction pins the water at the backward liquid-gas-solid interfaces, reducing the receding contact angle and hence enhancing the CAH. This finding provides a simple method to control the contact angle and the CAH of aqueous drops on graphitic surfaces such as graphene, carbon nanotube, biomolecules, and airborne pollutants.


title: Valley-Hall topological plasmons in a graphene nanohole plasmonic crystal waveguide

abstract: We demonstrate that unidirectional and backscattering immune propagation of terahertz optical waves can be achieved in a topological valley-Hall waveguide made of graphene nanohole plasmonic crystals. In order to gain deeper physical insights into these phenomena, the band diagram of graphene nanohole plamsonic crystals has been investigated and optimized. We found that a graphene plasmonic crystal with nanohole arrays belonging to the $C_{6v}$ symmetry group possesses gapless Dirac cones, which can be gapped out by introducing extra nanoholes such that the symmetry point group of the system is reduced from $C_{6v}$ to $C_{3v}$. Taking advantage of this feature, we design a mirror symmetric domain-wall interface by placing together two optimized graphene plasmonic crystals so as to construct valley-polarized topological interface modes inside the opened bandgap. Our computational analysis shows that the valley-Hall topological domain-wall interface modes can be achieved at an extremely deep subwavelength scale, and do not rely on the application of external static magnetic fields. This work may pave a new way to develop highly-integrated and robust terahertz plasmonic waveguides at deep-subwavelength scale.


title: Theoretical Physics and Indian Philosophy: Conceptual Coherence

abstract: The paper addresses the phenomenon of cross-cultural resonance, which arises when ideas coming from different cultures and view systems show mutual correlation, or coherence. We particularly dwell on the parallels between modern physics and Indian classical philosophy. The coherence in ideological, methodological, and ethical spheres is noted and exemplified. Interpretation of correlations in terms of the Jaspers 'ciphers of transcendence' is proposed. A brief survey of studies also dealing with coherence between modern science and ancient teachings is given. In conclusion, a broader perspective of interrelations between rational science and spiritual tradition is discussed.


title: Current Algebra Formulation of Quantum Gravity and Its Application to Cosmology

abstract: Gravity theory based on current algebra is formulated. The gauge principle rather than the general covariance combined with the equivalence principle plays the pivotal role in the formalism, and the latter principles are derived as a consequence of the theory. In this approach, it turns out that gauging the Poincar\'e algebra is not appropriate but gauging the $SO(N,M)$ algebra gives a consistent theory. This makes it possible to have Anti-de Sitter and de Sitter space-time by adopting a relation between the spin connection and the tetrad field. The Einstein equation is a part of our basic equation for gravity which is written in terms of the spin connection. When this formalism is applied to the $E(11)$ algebra in which the three-form antisymmetric tensor is a part of gravity multiplet, we have a current algebra gravity theory based on M-theory to be applied to cosmology in its classical limit. Without introducing any other ad-hoc field, we can obtain accelerating universe in the manner of the "inflating" universe at its early stage.


title: Orbits of bounded bijective operators and Gabor frames

abstract: This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of $L^2(\mathbb{R})$, which are made of translations and modulations of one or more windows, are often used in applications. More precisely, the paper deals with a question posed in the last years by Christensen and Hasannasab about the existence of overcomplete Gabor frames, with some ordering over $\mathbb{Z}$, which are orbits of bounded operators on $L^2(\mathbb{R})$. Two classes of overcomplete Gabor frames which cannot be ordered over $\mathbb{Z}$ and represented by orbits of operators in $GL(L^2(\mathbb{R}))$ are given. Some results about operator representation are stated in a general context for arbitrary frames, covering also certain wavelet frames.


title: When do Keller-Segel systems with heterogeneous logistic sources admit generalized solutions?

abstract: We construct global generalized solutions to the chemotaxis system \begin{align*} \begin{cases} u_t = \Delta u - \nabla \cdot (u \nabla v) + \lambda(x) u - \mu(x) u^\kappa,\\ v_t = \Delta v - v + u \end{cases} \end{align*} in smooth, bounded domains $\Omega \subset \mathbb R^n$, $n \geq 2$, for certain choices of $\lambda, \mu$ and $\kappa$. Here, inter alia, the selections $\mu(x) = |x|^\alpha$ with $\alpha < 2$ and $\kappa = 2$as well as $\mu \equiv \mu_1 > 0$ and $\kappa > \min\{\frac{2n-2}{n}, \frac{2n+4}{n+4}\}$ are admissible (in both cases for any sufficiently smooth $\lambda$). While the former case appears to be novel in general, in the two- and three-dimensional setting, the latter improves on a recent result by Winkler (Adv. Nonlinear Anal. 9 (2019), no. 1, 526-566), where the condition $\kappa > \frac{2n+4}{n+4}$ has been imposed. In particular, for $n = 2$, our result shows that taking any $\kappa > 1$ suffices to exclude the possibility of collapse into a persistent Dirac distribution.


title: Sharp bounds for the largest eigenvalue

abstract: We generalize the classical sharp bounds for the largest eigenvalue of the normalized Laplace operator, $\frac{N}{N-1}\leq \lambda_N\leq 2$, to the case of chemical hypergraphs.


title: Hints of a Local Matter Underdensity or Modified Gravity in the Low $z$ Pantheon data

abstract: A redshift tomography of the Pantheon type Ia supernovae (SnIa) data focusing on the best fit value of the absolute magnitude $M$ and/or Hubble constant $H_0$ in the context of $\Lambda$CDM indicates a local variation ($z\lesssim 0.2$) at $2\sigma$ level, with respect to the best fit of the full dataset. If this variation is physical, it can be interpreted either as a locally higher value of $H_0$, corresponding to a local matter underdensity $\delta \rho_0/\rho_0 \simeq -0.10 \pm 0.04$ or as a time variation of Newton's constant which implies an evolving Chandrasekhar mass and thus an evolving absolute magnitude $M$ of SnIa. The local void scenario would predict an anisotropy in the best fit value of $H_0$ since it is unlikely that we are located at the center of a local spherical underdensity. Using a hemisphere comparison method we find an anisotropy level consistent with simulated isotropic datasets. We show however, that the anisotropic sky distribution of the Pantheon SnIa data induces a preferred range of directions even in simulated Pantheon data obtained in the context of isotropic $\Lambda$CDM. We thus construct a more isotropically distributed subset of the Pantheon SnIa and show that the preferred range of directions disappears. Using this subset we again find no evidence for anisotropy using either the hemisphere comparison method or the dipole fit method. In the context of the modified gravity scenario, we allow for an evolving normalized Newton's constant consistent with General Relativity (GR) at early and late times $\mu(z)=1+g_a z^2/(1+z)^2-g_a z^4/(1+z)^4$ and fit for $g_a$ assuming $L\sim G_{\rm{eff}}^b$. For $b=-3/2$ indicated by previous studies we find $g_a=-0.47 \pm 0.36$ which is more than $1.5\sigma$ away from the GR value of $g_a=0$. This weak hint for weaker gravity at low $z$ is consistent with similar evidence from growth and weak lensing data.


title: Spin wave based tunable switch between superconducting flux qubits

abstract: Quantum computing hardware has received world-wide attention and made considerable progress recently. YIG thin film have spin wave (magnon) modes with low dissipation and reliable control for quantum information processing. However, the coherent coupling between a quantum device and YIG thin film has yet been demonstrated. Here, we propose a scheme to achieve strong coupling between superconducting flux qubits and magnon modes in YIG thin film. Unlike the direct $\sqrt{N}$ enhancement factor in coupling to the Kittel mode or other spin ensembles, with N the total number of spins, an additional spatial dependent phase factor needs to be considered when the qubits are magnetically coupled with the magnon modes of finite wavelength. To avoid undesirable cancelation of coupling caused by the symmetrical boundary condition, a CoFeB thin layer is added to one side of the YIG thin film to break the symmetry. Our numerical simulation demonstrates avoided crossing and coherent transfer of quantum information between the flux qubits and the standing spin waves in YIG thin films. We show that the YIG thin film can be used as a tunable switch between two flux qubits, which have modified shape with small direct inductive coupling between them. Our results manifest that it is possible to couple flux qubits while suppressing undesirable cross-talk.