title: Heterogeneous CPU+GPU Stochastic Gradient Descent Algorithms

abstract: The widely-adopted practice is to train deep learning models with specialized hardware accelerators, e.g., GPUs or TPUs, due to their superior performance on linear algebra operations. However, this strategy does not employ effectively the extensive CPU and memory resources -- which are used only for preprocessing, data transfer, and scheduling -- available by default on the accelerated servers. In this paper, we study training algorithms for deep learning on heterogeneous CPU+GPU architectures. Our two-fold objective -- maximize convergence rate and resource utilization simultaneously -- makes the problem challenging. In order to allow for a principled exploration of the design space, we first introduce a generic deep learning framework that exploits the difference in computational power and memory hierarchy between CPU and GPU through asynchronous message passing. Based on insights gained through experimentation with the framework, we design two heterogeneous asynchronous stochastic gradient descent (SGD) algorithms. The first algorithm -- CPU+GPU Hogbatch -- combines small batches on CPU with large batches on GPU in order to maximize the utilization of both resources. However, this generates an unbalanced model update distribution which hinders the statistical convergence. The second algorithm -- Adaptive Hogbatch -- assigns batches with continuously evolving size based on the relative speed of CPU and GPU. This balances the model updates ratio at the expense of a customizable decrease in utilization. We show that the implementation of these algorithms in the proposed CPU+GPU framework achieves both faster convergence and higher resource utilization than TensorFlow on several real datasets and on two computing architectures -- an on-premises server and a cloud instance.


title: Maximizing robustness of point-set registration by leveraging non-convexity

abstract: Point-set registration is a classical image processing problem that looks for the optimal transformation between two sets of points. In this work, we analyze the impact of outliers when finding the optimal rotation between two point clouds. The presence of outliers motivates the use of least unsquared deviation, which is a non-smooth minimization problem over non-convex domain. We compare approaches based on non-convex optimization over special orthogonal group and convex relaxations. We show that if the fraction of outliers is larger than a certain threshold, any naive convex relaxation fails to recover the ground truth rotation regardless of the sample size and dimension. In contrast, minimizing the least unsquared deviation directly over the special orthogonal group exactly recovers the ground truth rotation for any level of corruption as long as the sample size is large enough. These theoretical findings are supported by numerical simulations.


title: Safe Screening Rules for $\ell_0$-Regression

abstract: We give safe screening rules to eliminate variables from regression with $\ell_0$ regularization or cardinality constraint. These rules are based on guarantees that a feature may or may not be selected in an optimal solution. The screening rules can be computed from a convex relaxation solution in linear time, without solving the $\ell_0$ optimization problem. Thus, they can be used in a preprocessing step to safely remove variables from consideration apriori. Numerical experiments on real and synthetic data indicate that, on average, 76\% of the variables can be fixed to their optimal values, hence, reducing the computational burden for optimization substantially. Therefore, the proposed fast and effective screening rules extend the scope of algorithms for $\ell_0$-regression to larger data sets.


title: Code Review in the Classroom

abstract: This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the positive outcomes it generates. However, it is not an individual activity and requires substantial interaction among stakeholders, deliverance, and acceptance of feedback, timely actions upon feedback as well as the ability to agree on a solution in the wake of diverse viewpoints. Young developers in a classroom setting provide a clear picture of the potential favourable and problematic areas of the code review process. Their feedback suggests that the process has been well received with some points to better the process. This paper can be used as guidelines to perform code reviews in the classroom.


title: Two-dimensional Ultrasound Imaging Technique based on Neural Network using Acoustic Simulation

abstract: The two-dimensional (2D) ultrasound imaging is widely used in several fields. In this study, the potential of two-dimensional ultrasound imaging technique based on machine learning is shown. A line transmitter was placed at one side and a receiver array was placed at the opposite side of the medium, respectively. The received signals at the receiver array was considered as a 2D image and it was converted to a 2D geometry of the target medium using convolutional neural network (CNN). The results of the numerical simulation studies which use up to 40000 simulation data showed the good agreement between the estimated and true geometry.


title: Prism Removes Consensus Bottleneck for Smart Contracts

abstract: The performance of existing permissionless smart contract platforms such as Ethereum is limited by the consensus layer. Prism is a new proof-of-work consensus protocol that provably achieves throughput and latency up to physical limits while retaining the strong guarantees of the longest chain protocol. This paper reports experimental results from implementations of two smart contract virtual machines, EVM and MoveVM, on top of Prism and demonstrates that the consensus bottleneck has been removed. Code can be found at https://github.com/wgr523/prism-smart-contracts.


title: Faster Dynamic Range Mode

abstract: In the dynamic range mode problem, we are given a sequence $a$ of length bounded by $N$ and asked to support element insertion, deletion, and queries for the most frequent element of a contiguous subsequence of $a$. In this work, we devise a deterministic data structure that handles each operation in worst-case $\tilde{O}(N^{0.655994})$ time, thus breaking the $O(N^{2/3})$ per-operation time barrier for this problem. The data structure is achieved by combining the ideas in Williams and Xu (SODA 2020) for batch range mode with a novel data structure variant of the Min-Plus product.


title: Magnetic susceptibility of QCD matter and its decomposition from the lattice

abstract: We determine the magnetic susceptibility of thermal QCD matter by means of first principles lattice simulations using staggered quarks with physical masses. A novel method is employed that only requires simulations at zero background field, thereby circumventing problems related to magnetic flux quantization. After a careful continuum limit extrapolation, diamagnetic behavior (negative susceptibility) is found at low temperatures and strong paramagnetism (positive susceptibility) at high temperatures. We revisit the decomposition of the magnetic susceptibility into spin- and orbital angular momentum-related contributions. The spin term -- related to the normalization of the photon lightcone distribution amplitude at zero temperature -- is calculated non-perturbatively and extrapolated to the continuum limit. Having access to both the full magnetic susceptibility and the spin term, we calculate the orbital angular momentum contribution for the first time. The results reveal the opposite of what might be expected based on a free fermion picture. We provide a simple parametrization of the temperature- and magnetic field-dependence of the QCD equation of state that can be used in phenomenological studies.


title: Resolvent-based design and experimental testing of porous materials for passive turbulence control

abstract: An extended version of the resolvent formulation is used to evaluate the use of anisotropic porous materials as passive flow control devices for turbulent channel flow. The effect of these porous substrates is introduced into the governing equations via a generalized version of Darcy's law. Model predictions show that materials with high streamwise permeability and low wall-normal permeability ($\phi_{xy} = k_{xx}/k_{yy}\gg1$) can suppress resolvent modes resembling the energetic near-wall cycle. Based on these predictions, two anisotropic porous substrates with $\phi_{xy} > 1$ and $\phi_{xy} < 1$ were designed and fabricated for experiments in a benchtop water channel experiment. Particle Image Velocimetry (PIV) measurements were used to compute mean turbulence statistics and to educe coherent structure via snapshot Proper Orthogonal Decomposition (POD). Friction velocity estimates based on the Reynolds shear stress profiles do not show evidence of discernible friction reduction (or increase) over the streamwise-preferential substrate with $\phi_{xy}>1$ relative to a smooth wall flow at identical bulk Reynolds number. A significant increase in friction is observed over the substrate with $\phi_{xy} < 1$. This increase in friction is linked to the emergence of spanwise rollers resembling Kelvin-Helmholtz vortices. Coherent structures extracted via POD analysis show qualitative agreement with model predictions.


title: Time Series Data Augmentation for Neural Networks by Time Warping with a Discriminative Teacher

abstract: Neural networks have become a powerful tool in pattern recognition and part of their success is due to generalization from using large datasets. However, unlike other domains, time series classification datasets are often small. In order to address this problem, we propose a novel time series data augmentation called guided warping. While many data augmentation methods are based on random transformations, guided warping exploits the element alignment properties of Dynamic Time Warping (DTW) and shapeDTW, a high-level DTW method based on shape descriptors, to deterministically warp sample patterns. In this way, the time series are mixed by warping the features of a sample pattern to match the time steps of a reference pattern. Furthermore, we introduce a discriminative teacher in order to serve as a directed reference for the guided warping. We evaluate the method on all 85 datasets in the 2015 UCR Time Series Archive with a deep convolutional neural network (CNN) and a recurrent neural network (RNN). The code with an easy to use implementation can be found at https://github.com/uchidalab/time_series_augmentation .


title: Theoretical estimate of the probability for macromolecule formation

abstract: We estimate the probability regarding polymerization of a macromolecule which is made of distinct monomers. The lattice model of the random walk has been used to mimic the conformations of an ideal chain in two and three dimensions. It has been shown through analytical estimates that the flexible macromolecules may be easily formed than the stiff macromolecules in two and three dimensions.


title: Deep Learning Improves Contrast in Low-Fluence Photoacoustic Imaging

abstract: Low fluence illumination sources can facilitate clinical transition of photoacoustic imaging because they are rugged, portable, affordable, and safe. However, these sources also decrease image quality due to their low fluence. Here, we propose a denoising method using a multi-level wavelet-convolutional neural network to map low fluence illumination source images to its corresponding high fluence excitation map. Quantitative and qualitative results show a significant potential to remove the background noise and preserve the structures of target. Substantial improvements up to 2.20, 2.25, and 4.3-fold for PSNR, SSIM, and CNR metrics were observed, respectively. We also observed enhanced contrast (up to 1.76-fold) in an in vivo application using our proposed methods. We suggest that this tool can improve the value of such sources in photoacoustic imaging.


title: Decision Problems in Information Theory

abstract: Constraints on entropies are considered to be the laws of information theory. Even though the pursuit of their discovery has been a central theme of research in information theory, the algorithmic aspects of constraints on entropies remain largely unexplored. Here, we initiate an investigation of decision problems about constraints on entropies by placing several different such problems into levels of the arithmetical hierarchy. We establish the following results on checking the validity over all almost-entropic functions: first, validity of a Boolean information constraint arising from a monotone Boolean formula is co-recursively enumerable; second, validity of "tight" conditional information constraints is in $\Pi^0_3$. Furthermore, under some restrictions, validity of conditional information constraints "with slack" is in $\Sigma^0_2$, and validity of information inequality constraints involving max is Turing equivalent to validity of information inequality constraints (with no max involved). We also prove that the classical implication problem for conditional independence statements is co-recursively enumerable.


title: Finite irreducible conformal modules over the Lie conformal superalgebra $\mathcal{S}(p)$

abstract: In the present paper, we introduce a class of infinite Lie conformal superalgebras $\mathcal{S}(p)$, which are closely related to Lie conformal algebras of extended Block type defined in \cite{CHS}. Then all finite non-trivial irreducible conformal modules over $\mathcal{S}(p)$ for $p\in\C^*$ are completely classified. As an application, we also present the classifications of finite non-trivial irreducible conformal modules over finite quotient algebras $\mathfrak{s}(n)$ for $n\geq1$ and $\mathfrak{sh}$ which is isomorphic to a subalgebra of Lie conformal algebra of $N=2$ superconformal algebra. Moreover, as a generalized version of $\mathcal{S}(p)$, the infinite Lie conformal superalgebras $\mathcal{GS}(p)$ are constructed, which have a subalgebra isomorphic to the finite Lie conformal algebra of $N=2$ superconformal algebra.


title: Constraints on Axions from a Theoretical Model of Spatially-Extended Gamma-Ray Emission from Neutron Stars

abstract: Axions are hypothetical particles proposed to solve the strong CP problem in QCD and may constitute a significant fraction of the dark matter in the Universe. Axions are expected to be produced in neutron stars and subsequently decay, producing gamma-rays detectable by the Fermi Large Area Telescope (Fermi-LAT). Considering that light QCD axions, as opposed to axions $>1$eV, may travel a long range before they decay into gamma rays, neutron stars may appear as a spatially-extended source of gamma rays. We extend our previous search for gamma rays from axions, based on a point source model, to consider the neutron star as an extended source of gamma rays. The extended consideration of neutron stars' leads to higher sensitivity to searches for axions, as it will be shown. We investigate the spatial emission of gamma rays using phenomenological models of neutron star axion emission. We present models including the fundamental astrophysics and relativistic, extended gamma-ray emission from axions around neutron stars. A Monte Carlo simulation of the LAT gives us an expectation for the extended angular profile and spectrum. For a source of $\simeq$ 100 pc, we predict a mean angular spread of $\simeq 2^\circ$ with gamma-ray energies in the range 10-200 MeV. We demonstrate the feasibility of setting more stringent limits for axions in this mass range, excluding a range not probed by observations before. We consider projected sensitivities for mass limits on axions from J0108-1431. Based on the extended angular profile of the source, the expected sensitivity of the 95\% CL upper limit on the axion mass from J0108-1431 is $\lesssim$10 meV. The limit based on 7.9 years of Fermi-LAT data is 0.76 meV for an inner temperature of the neutron star of 20 MeV.


title: An Open Source Simulink Based Program for Simulating Power Systems Integrated with Renewable Energy Sources

abstract: This paper presents an open source Simulink based program developed for simulating power systems integrated with renewable energy sources (RES). The generic model of a photovoltaic, wind turbine, and battery energy storage is used for the RES. The program can be used for educational and research studies. It comes with several important subjects in power systems including power system modeling and integration, linearization, modal analysis, participation factor analysis, controller selection using residue analysis, and frequency response analysis. IEEE 68 bus dynamic test system is used to verify the performance of the program. The results show the efficiency and speed of the program to simulate a large scale modern power system.


title: AD-Cluster: Augmented Discriminative Clustering for Domain Adaptive Person Re-identification

abstract: Domain adaptive person re-identification (re-ID) is a challenging task, especially when person identities in target domains are unknown. Existing methods attempt to address this challenge by transferring image styles or aligning feature distributions across domains, whereas the rich unlabeled samples in target domains are not sufficiently exploited. This paper presents a novel augmented discriminative clustering (AD-Cluster) technique that estimates and augments person clusters in target domains and enforces the discrimination ability of re-ID models with the augmented clusters. AD-Cluster is trained by iterative density-based clustering, adaptive sample augmentation, and discriminative feature learning. It learns an image generator and a feature encoder which aim to maximize the intra-cluster diversity in the sample space and minimize the intra-cluster distance in the feature space in an adversarial min-max manner. Finally, AD-Cluster increases the diversity of sample clusters and improves the discrimination capability of re-ID models greatly. Extensive experiments over Market-1501 and DukeMTMC-reID show that AD-Cluster outperforms the state-of-the-art with large margins.


title: Equivalence of conditions on initial data below the ground state to NLS with a repulsive inverse power potential

abstract: In this paper, we consider the nonlinear Schr\"odinger equation with a repulsive inverse power potential. First, we show that some global well-posedness results and "blow-up or grow-up" results below the ground state without the potential. Then, we prove equivalence of the conditions on the initial data below the ground state without potential. We note that recently, we established existence of a radial ground state and characterized it by the virial functional for NLS with a general potential in two or higher space dimensions in [8]. Then, we also prove a global well-posedness result and a "blow-up or grow-up" result below the radial ground state with a repulsive inverse power potential obtained in [8].


title: BanFakeNews: A Dataset for Detecting Fake News in Bangla

abstract: Observing the damages that can be done by the rapid propagation of fake news in various sectors like politics and finance, automatic identification of fake news using linguistic analysis has drawn the attention of the research community. However, such methods are largely being developed for English where low resource languages remain out of the focus. But the risks spawned by fake and manipulative news are not confined by languages. In this work, we propose an annotated dataset of ~50K news that can be used for building automated fake news detection systems for a low resource language like Bangla. Additionally, we provide an analysis of the dataset and develop a benchmark system with state of the art NLP techniques to identify Bangla fake news. To create this system, we explore traditional linguistic features and neural network based methods. We expect this dataset will be a valuable resource for building technologies to prevent the spreading of fake news and contribute in research with low resource languages.


title: UNet 3+: A Full-Scale Connected UNet for Medical Image Segmentation

abstract: Recently, a growing interest has been seen in deep learning-based semantic segmentation. UNet, which is one of deep learning networks with an encoder-decoder architecture, is widely used in medical image segmentation. Combining multi-scale features is one of important factors for accurate segmentation. UNet++ was developed as a modified Unet by designing an architecture with nested and dense skip connections. However, it does not explore sufficient information from full scales and there is still a large room for improvement. In this paper, we propose a novel UNet 3+, which takes advantage of full-scale skip connections and deep supervisions. The full-scale skip connections incorporate low-level details with high-level semantics from feature maps in different scales; while the deep supervision learns hierarchical representations from the full-scale aggregated feature maps. The proposed method is especially benefiting for organs that appear at varying scales. In addition to accuracy improvements, the proposed UNet 3+ can reduce the network parameters to improve the computation efficiency. We further propose a hybrid loss function and devise a classification-guided module to enhance the organ boundary and reduce the over-segmentation in a non-organ image, yielding more accurate segmentation results. The effectiveness of the proposed method is demonstrated on two datasets. The code is available at: github.com/ZJUGiveLab/UNet-Version


title: Estimating High-Dimensional Discrete Choice Model of Differentiated Products with Random Coefficients

abstract: We propose an estimation procedure for discrete choice models of differentiated products with possibly high-dimensional product attributes. In our model, high-dimensional attributes can be determinants of both mean and variance of the indirect utility of a product. The key restriction in our model is that the high-dimensional attributes affect the variance of indirect utilities only through finitely many indices. In a framework of the random-coefficients logit model, we show a bound on the error rate of a $l_1$-regularized minimum distance estimator and prove the asymptotic linearity of the de-biased estimator.


title: Counting planar maps, coloured or uncoloured

abstract: We present recent results on the enumeration of $q$-coloured planar maps, where each monochromatic edge carries a weight $\nu$. This is equivalent to weighting each map by its Tutte polynomial, or to solving the $q$-state Potts model on random planar maps. The associated generating function, obtained by Olivier Bernardi and the author, is differentially algebraic. That is, it satisfies a (non-linear) differential equation. The starting point of this result is a functional equation written by Tutte in 1971, which translates into enumerative terms a simple recursive description of planar maps. The proof follows and adapts Tutte's solution of properly $q$-coloured triangulations (1973-1984). We put this work in perspective with the much better understood enumeration of families of uncoloured planar maps, for which the recursive approach almost systematically yields algebraic generating functions. In the past 15 years, these algebraicity properties have been explained combinatorially by illuminating bijections between maps and families of plane trees. We survey both approaches, recursive and bijective. Comparing the coloured and uncoloured results raises the question of designing bijections for coloured maps. No complete bijective solution exists at the moment, but we present bijections for certain specialisations of the general problem. We also show that for these specialisations, Tutte's functional equation is much easier to solve that in the general case. We conclude with some open questions.


title: Pattern Learning for Detecting Defect Reports and Improvement Requests in App Reviews

abstract: Online reviews are an important source of feedback for understanding customers. In this study, we follow novel approaches that target this absence of actionable insights by classifying reviews as defect reports and requests for improvement. Unlike traditional classification methods based on expert rules, we reduce the manual labour by employing a supervised system that is capable of learning lexico-semantic patterns through genetic programming. Additionally, we experiment with a distantly-supervised SVM that makes use of noisy labels generated by patterns. Using a real-world dataset of app reviews, we show that the automatically learned patterns outperform the manually created ones, to be generated. Also the distantly-supervised SVM models are not far behind the pattern-based solutions, showing the usefulness of this approach when the amount of annotated data is limited.


title: Robust Frequency-Based Structure Extraction

abstract: State of the art mapping algorithms can produce high-quality maps. However, they are still vulnerable to clutter and outliers which can affect map quality and in consequence hinder the performance of a robot, and further map processing for semantic understanding of the environment. This paper presents ROSE, a method for building-level structure detection in robotic maps. ROSE exploits the fact that indoor environments usually contain walls and straight-line elements along a limited set of orientations. Therefore metric maps often have a set of dominant directions. ROSE extracts these directions and uses this information to segment the map into structure and clutter through filtering the map in the frequency domain (an approach substantially underutilised in the mapping applications). Removing the clutter in this way makes wall detection (e.g. using the Hough transform) more robust. Our experiments demonstrate that (1) the application of ROSE for decluttering can substantially improve structural feature retrieval (e.g., walls) in cluttered environments, (2) ROSE can successfully distinguish between clutter and structure in the map even with substantial amount of noise and (3) ROSE can numerically assess the amount of structure in the map.


title: Extractive Summarization as Text Matching

abstract: This paper creates a paradigm shift with regard to the way we build neural extractive summarization systems. Instead of following the commonly used framework of extracting sentences individually and modeling the relationship between sentences, we formulate the extractive summarization task as a semantic text matching problem, in which a source document and candidate summaries will be (extracted from the original text) matched in a semantic space. Notably, this paradigm shift to semantic matching framework is well-grounded in our comprehensive analysis of the inherent gap between sentence-level and summary-level extractors based on the property of the dataset. Besides, even instantiating the framework with a simple form of a matching model, we have driven the state-of-the-art extractive result on CNN/DailyMail to a new level (44.41 in ROUGE-1). Experiments on the other five datasets also show the effectiveness of the matching framework. We believe the power of this matching-based summarization framework has not been fully exploited. To encourage more instantiations in the future, we have released our codes, processed dataset, as well as generated summaries in https://github.com/maszhongming/MatchSum.


title: When Residual Learning Meets Dense Aggregation: Rethinking the Aggregation of Deep Neural Networks

abstract: Various architectures (such as GoogLeNets, ResNets, and DenseNets) have been proposed. However, the existing networks usually suffer from either redundancy of convolutional layers or insufficient utilization of parameters. To handle these challenging issues, we propose Micro-Dense Nets, a novel architecture with global residual learning and local micro-dense aggregations. Specifically, residual learning aims to efficiently retrieve features from different convolutional blocks, while the micro-dense aggregation is able to enhance each block and avoid redundancy of convolutional layers by lessening residual aggregations. Moreover, the proposed micro-dense architecture has two characteristics: pyramidal multi-level feature learning which can widen the deeper layer in a block progressively, and dimension cardinality adaptive convolution which can balance each layer using linearly increasing dimension cardinality. The experimental results over three datasets (i.e., CIFAR-10, CIFAR-100, and ImageNet-1K) demonstrate that the proposed Micro-Dense Net with only 4M parameters can achieve higher classification accuracy than state-of-the-art networks, while being 12.1$\times$ smaller depends on the number of parameters. In addition, our micro-dense block can be integrated with neural architecture search based models to boost their performance, validating the advantage of our architecture. We believe our design and findings will be beneficial to the DNN community.


title: GHZ states as near-optimal states for reference frame alignment

abstract: Let two coordinate systems, in possession of Alice and Bob, be related to each other by an unknown rotation $R\in SO(3)$. Alice is to send identical states $|\psi_0\ra$ to Bob who will make measurements on the received state and will determine the rotation $R$. The task of Bob is to estimate these parameters of the rotation $R$ by the best possible measurements. Based on the Quantum Fisher Information, we show that Greenberger-Horne-Zeilinger (GHZ) states are near optimal states for this task. Compared to the optimal states proposed before, the advantage of $GHZ$ states are that they can be more easily prepared experimentally, and more importantly, we show concrete measurements which will allow Bob to determine the rotation $R$. We also study the robustness of these states in keeping their encoded information, against common sources of noises.


title: Knowledge-graph based Proactive Dialogue Generation with Improved Meta-Learning

abstract: Knowledge graph-based dialogue systems can narrow down knowledge candidates for generating informative and diverse responses with the use of prior information, e.g., triple attributes or graph paths. However, most current knowledge graph (KG) cover incomplete domain-specific knowledge. To overcome this drawback, we propose a knowledge graph based proactive dialogue generation model (KgDg) with three components, improved model-agnostic meta-learning algorithm (MAML), knowledge selection in knowledge triplets embedding, and knowledge aware proactive response generator. For knowledge triplets embedding and selection, we formulate it as a problem of sentence embedding to better capture semantic information. Our improved MAML algorithm is capable of learning general features from a limited number of knowledge graphs, which can also quickly adapt to dialogue generation with unseen knowledge triplets. Extensive experiments are conducted on a knowledge aware dialogue dataset (DuConv). The results show that KgDg adapts both fast and well to knowledge graph-based dialogue generation and outperforms state-of-the-art baseline.


title: On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers

abstract: We propose type-aware operator mutation, a simple, but unusually effective approach for testing SMT solvers. The key idea is to mutate operators of conforming types within the seed formulas to generate well-typed mutant formulas. These mutant formulas are then used as the test cases for SMT solvers. We realized type-aware operator mutation within the OpFuzz tool and used it to stress-test Z3 and CVC4, two state-of-the-art SMT solvers. Type-aware operator mutations are unusually effective: During one year of extensive testing with OpFuzz, we reported 1,092 bugs on Z3's and CVC4's respective GitHub issue trackers, out of which 819 unique bugs were confirmed and 685 of the confirmed bugs were fixed by the developers. The detected bugs are highly diverse -- we found bugs of many different types (soundness bugs, invalid model bugs, crashes, etc.), logics and solver configurations. We have further conducted an in-depth study of the bugs found by OpFuzz. The study results show that the bugs found by OpFuzz are of high quality. Many of them affect core components of the SMT solvers' codebases, and some required major changes for the developers to fix. Among the 819 confirmed bugs found by OpFuzz, 184 were soundness bugs, the most critical bugs in SMT solvers, and 489 were in the default modes of the solvers. Notably, OpFuzz found 27 critical soundness bugs in CVC4, which has proved to be a very stable SMT solver.


title: Verteilung der Primzahlen und Asymptotik bez\"uglich der Kongruenzen der rationalen Punkte auf elliptischen Kurven \"uber einem endlichen K\"orper

abstract: This work has two main purposes. On the one side we investigate in this work a question of H. Esnault on congruence formula in a construction of H. Esnault and C. Xu for the number of rational points on the closed fiber of a singular model of the projective plane over a local field. From the viewpoint of asymptotic analysis, the question is quite familiar with a question of N. Koblitz, which in turn has some meaningful applications in cryptography. We don't try to solve those questions in this work, but rather concentrate on studying asymptotic behaviours with very elementary techniques of generating functions. On the other side we extend the discussion on generating functions to the global situation, which inherit hybrid-properties from the Riemann zeta function and the $L$-function of elliptic curves. At the end we will look at an example of modular forms, where we are able to prove an analytic result, which is similar to a result of P\'olya for the Riemann $\xi$-function.


title: On synchronization of partial automata

abstract: A goal of this paper is to introduce the new construction of an automaton with shortest synchronizing word of length $O(d^{\frac{n}{d}})$, where $d \in \mathbb{N}$ and $n$ is the number of states for that automaton. Additionally we introduce new transformation from any synchronizable DFA or carefully synchronizable PFA of $n$ states to carefully synchronizable PFA of $d \cdot n$ states with shortest synchronizing word of length $\Omega(d^{\frac{n}{d}})$.


title: Self-similar solutions of energy-supercritical focusing wave equations in all dimensions

abstract: In this paper, we prove the existence of a countable family of regular spherically symmetric self-similar solutions to focusing energy super-critical semi-linear wave equations \begin{equation*} \partial_{tt}u-\Delta u=|u|^{p-1}u \qquad \text{in} \,\, \mathbb{R}^{N}, \end{equation*} where $N\geq 3$, $1+\frac{4}{N-2}<p$, and, if $N\geq 4$, $p \leq 1+\frac{4}{N-3}$. This was previously known only in the case $N=3$, for integer $p$ (see Bizo\'{n}, Maison and Wasserman \cite{BMW}). We also study the asymptotics of these solutions.


title: On Steenrod $\mathbb{L}$-homology, generalized manifolds, and surgery

abstract: The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized $n$-manifold $X^n$, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the $n$-th Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb{L}^+),$ where $\mathbb{L}^+$ is the connected covering spectrum of the periodic surgery spectrum $\mathbb{L}$, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topological manifolds.


title: Constraining MHD disk winds with ALMA. Apparent rotation signatures and application to HH212

abstract: Large millimeter interferometers are revealing a growing number of rotating outflows, which are suggested to trace magneto-centrifugal disk winds (MHD DWs). However, their impact on disk accretion is not yet well quantified. Here we identify systematic biases in retrieving the true launch zone, magnetic lever arm, and angular momentum flux of an MHD DW from apparent rotation signatures. Synthetic position-velocity cuts are constructed from self-similar MHD DWs over a broad range of parameters, and three different methods are applied for estimating the specific angular momentum. We find that the launch radius inferred using the well-known relation from Anderson et al. (2006) can markedly differ from the true outermost launch radius $r_{out}$ of the DW. The "double-peak separation" and "flow width" methods provide only a strict lower limit to $r_{out}$. This bias is independent of angular resolution and can reach a factor ten. In contrast, the "rotation curve" method gives a good estimate of $r_{out}$ when the flow is well resolved, and an upper limit otherwise. The magnetic lever arm is always underestimated. Only comparison with synthetic predictions can take into account properly all observational effects. As an application, we present a comparison with ALMA observations of HH212 at resolutions from 250 au to 16 au, which represents the most stringent observational test of MHD DW to date. This comparison confirms our predicted biases for the double-peak separation method, and the large $r_{out}\sim40~$au and small magnetic lever arm first suggested by Tabone et al. (2017). We also derive the first accurate analytical expression for the fraction of disk angular momentum extracted by an MHD disk wind of given radial extent, magnetic lever arm, and mass flux. Application to HH212 confirms that MHD DWs are serious candidates for the steady angular momentum extraction process in young disks.


title: On the decomposition of generalized semiautomata

abstract: Semi-automata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by dropping the restrictions imposed by probability. It is well-known that each stochastic semiautomaton can be decomposed into a sequential product of a dependent source and a deterministic semiautomaton making partly use of the celebrated theorem of Birkhoff-von Neumann. It will be shown that each generalized semiautomaton can be partitioned into a sequential product of a generalized dependent source and a deterministic semiautomaton.


title: On the rules of science game

abstract: Credit allocation in the mainstream bibliometrics is fundamentally flawed and the popular indicators have been misleading science for decades. Originally a simple technical mistake has become an integral part of our culture and is very difficult to correct. Although the problem has been raised in scientific articles, it seems mostly unknown to wider audience.


title: Zig-zag sampling for discrete structures and non-reversible phylogenetic MCMC

abstract: We construct a zig-zag process targeting a posterior distribution defined on a hybrid state space consisting of both discrete and continuous variables. The construction does not require any assumptions on the structure among discrete variables. We demonstrate our method on two examples in genetics based on the Kingman coalescent, showing that the zig-zag process can lead to efficiency gains of up to several orders of magnitude over classical Metropolis-Hastings algorithms, and that it is well suited to parallel computation. Our construction resembles existing techniques for Hamiltonian Monte Carlo on a hybrid state space, which suffers from implementationally and analytically complex boundary crossings when applied to the coalescent. We demonstrate that the continuous-time zig-zag process avoids these complications.

categories: stat.CO math.ST q-bio.PE stat.ME stat.TH


title: F-manifolds and geometry of information

abstract: The theory of $F$-manifolds, and more generally, manifolds endowed with commutative and associative multiplication of their tangent fields, was discovered and formalised in various models of quantum field theory involving algebraic and analytic geometry, at least since 1990's. The focus of this paper consists in the demonstration that various spaces of probability distributions defined and studied at least since 1960's also carry natural structures of $F$-manifolds. This fact remained somewhat hidden in various domains of the vast territory of models of information storing and transmission that are briefly surveyed here.


title: stochprofML: Stochastic Profiling Using Maximum Likelihood Estimation in R

abstract: Tissues are often heterogeneous in their single-cell molecular expression, and this can govern the regulation of cell fate. For the understanding of development and disease, it is important to quantify heterogeneity in a given tissue. We introduce the \proglang{R} package \pkg{stochprofML} which is designed to parameterize heterogeneity from the cumulative expression of small random pools of cells. This method outweighs the demixing of mixed samples with a saving in cost and effort and less measurement error. The approach uses the maximum likelihood principle and was originally presented in Bajikar et al.(2014); its extension to varying pool sizes was used in Tirier et al. (2019). We evaluate the algorithm's performance in simulation studies and present further application opportunities.


title: Many-electron effects in the hyperfine splitting of lithiumlike ions

abstract: The rigorous QED evaluation of the one- and two-photon exchange corrections to the ground-state hyperfine splitting in Li-like ions is presented for the wide range of nuclear charge number $Z= 7 - 82$. The calculations are carried out in the framework of the extended Furry picture, i.e., with inclusion of the effective local screening potential in the zeroth-order approximation. The interelectronic-interaction contributions of the third and higher orders are taken into account in the framework of the Breit approximation employing the recursive perturbation theory. In comparison to the previous theoretical calculations, the accuracy of the interelectronic-interaction contributions to the ground-state hyperfine splitting in Li-like ions is substantially improved.


title: Network Coding-based Routing and Spectrum Allocation in Elastic Optical Networks for Enhanced Physical Layer Security

abstract: In this work, an eavesdropping-aware routing and spectrum allocation approach is proposed utilizing network coding (NC) in elastic optical networks (EONs). To provide physical layer security in EONs and secure the confidential connections against eavesdropping attacks using NC, the signals of the confidential connections are combined (XOR-ed) with other signals at different nodes in their path, while transmitted through the network. The combination of signals through NC significantly increases the security of confidential connections, since an eavesdropper must access all individual signals, traversing different links, in order to decrypt the combined signal. A novel heuristic approach is proposed, that solves the combined network coding and routing and spectrum allocation (NC-RSA) problem, that also takes into account additional NC constraints that are required in order to consider a confidential connection as secure. Different routing and spectrum allocation strategies are proposed, aiming to maximize the level of security provided for the confidential demands, followed by an extensive performance evaluation of each approach in terms of the level of security provided, as well as the spectrum utilization and blocking probability, under different network parameters. Performance results demonstrate that the proposed approaches can provide efficient solutions in terms of network performance, while providing the level of security required for each demand.


title: WeTrace -- A Privacy-preserving Mobile COVID-19 Tracing Approach and Application

abstract: For the protection of people and society against harm and health threats -- especially for the COVID-19 pandemic -- a variety of different disciplines needs to be involved. The data collection of very basic and health-related data of individuals in today's highly mobile society does help to plan, protect, and identify next steps health authorities and governments can, shall, or need to plan for or even implement. Thus, every individual, every human, and every inhabitant of the world is the key player -- very different to many past crises'. And since the individual is involved -- all individuals -- his/her (a) health and (b) privacy shall be considered in a very carefully crafted balance, not overruling one aspect with another one or even prioritizing certain aspects. Privacy remains the key. Thus, the solution of the current pandemic's data collection can be based on a fully privacy-preserving application, which can be used by individuals on their mobile devices, such as smartphones, while maintaining at the same time their privacy. Additionally, respective data collected in such a fully distributed setting does help to confine the pandemic and can be achieved in a democratic and very open, but still and especially privacy-protecting world. Therefore, the WeTrace approach and application as described in this paper utilizes the Bluetooth Low Energy (BTE) communication channel, many modern mobile devices offer, where asymmetric cryptography is being applied to allows for the decyphering of a message for that destination it had been intended for. Since literally every other potential participant only listens to random data, even a brute force attack will not succeed. WeTrace and its Open Source implementation is the only known approach so far, which ensures that any receiver of a message knows that this is for him/her, but does not know who the original sender was.


title: Threshold effects of the two-particle Schr\"odinger operators on lattices

abstract: We consider a wide class of the two-particle Schr\"{o}dinger operators $H_{\mu}(k)=H_{0}(k)+\mu V, \,\mu>0,$ with a fixed two-particle quasi-momentum $k$ in the $d$ -dimensional torus $\mathbb{T}^d$, associated to the Bose-Hubbard hamiltonian $H_{\mu}$ of a system of two identical quantum-mechanical particles (bosons) on the $d$- dimensional hypercubic lattice $\mathbb{Z}% ^d$ interacting via short-range pair potentials. We study the existence of eigenvalues of $H_{\mu}(k)$ below the threshold of the essential spectrum depending on the interaction energy $\mu>0$ and the quasi-momentum $k\in \mathbb{T}^d$ of particles. We prove that the threshold (bottom of the essential spectrum), as a singular point (a threshold resonance or a threshold eigenvalue), creates eigenvalues below the essential spectrum under perturbations of both the coupling constant $\mu>0$ and the quasi-momentum $k$ of the particles. Moreover, we show that if the threshold is a regular point, then it does not create any eigenvalues under small perturbations of the coupling constant $\mu>0$ and the quasi-momentum $k$.


title: Graph-Structured Referring Expression Reasoning in The Wild

abstract: Grounding referring expressions aims to locate in an image an object referred to by a natural language expression. The linguistic structure of a referring expression provides a layout of reasoning over the visual contents, and it is often crucial to align and jointly understand the image and the referring expression. In this paper, we propose a scene graph guided modular network (SGMN), which performs reasoning over a semantic graph and a scene graph with neural modules under the guidance of the linguistic structure of the expression. In particular, we model the image as a structured semantic graph, and parse the expression into a language scene graph. The language scene graph not only decodes the linguistic structure of the expression, but also has a consistent representation with the image semantic graph. In addition to exploring structured solutions to grounding referring expressions, we also propose Ref-Reasoning, a large-scale real-world dataset for structured referring expression reasoning. We automatically generate referring expressions over the scene graphs of images using diverse expression templates and functional programs. This dataset is equipped with real-world visual contents as well as semantically rich expressions with different reasoning layouts. Experimental results show that our SGMN not only significantly outperforms existing state-of-the-art algorithms on the new Ref-Reasoning dataset, but also surpasses state-of-the-art structured methods on commonly used benchmark datasets. It can also provide interpretable visual evidences of reasoning. Data and code are available at https://github.com/sibeiyang/sgmn


title: Convergent expansions of eigenvalues of the generalized Friedrichs model with a rank-one perturbation

abstract: We study the existence of eigenvalues of the generalized Friedrichs model $H_\mu(p)$, with a rank-one perturbation, depending on parameters $\mu>0$ and $p\in\mathbb{T}^2$, and found an absolutely convergent expansions for eigenvalues at $\mu(p)$, the coupling constant threshold. The expansions are highly dependent on that, whether the threshold $m(p)$ of the essential spectrum is: $(i)$ neither an threshold eigenvalue nor a threshold resonance; $(ii)$ a threshold resonance; $(iii)$ an threshold eigenvalue.


title: Alternating birth-death processes

abstract: We consider a continuous time Markov process on $\mathbb{N}_0$ which can be interpreted as generalized alternating birth-death process in a non-autonomous random environment. Depending on the status of the environment the process either increases until the environment changes and the process starts to decrease until the environment changes again, and the process restarts to increase, and so on, or its starts decreasing, reversing its direction due to environmental changes, et cetera. The birth and death rates depend on the state (height, population size) of the birth-death process and the environment's transition rates depend on the state of the birth-death process as well. Moreover, a birth or death event may trigger an immediate change of the environment. Our main result is an explicit expression for the stationary distribution if the system is ergodic, providing ergodicity conditions as well. Removing the reflecting boundary at zero we obtain a two-sided version on $\mathbb{Z}$ of this alternating birth-death process, which for suitable parameter constellations is ergodic as well. We determine the stationary distribution. This two-sided version is a locally inhomogeneous discrete space version of the classical telegraph process. We demonstrate that alternating birth-death processes in a random environment provide a versatile class of models from different areas of applications. Examples from the literature are discussed.


title: Dataset for anomalies detection in 3D printing

abstract: Nowadays, Internet of Things plays a significant role in many domains. Especially, Industry 4.0 is making a great usage of concepts like smart sensors and big data analysis. IoT devices are commonly used to monitor industry machines and detect anomalies in their work. In this paper we present and describe a set of data streams coming from working 3D printer. Among others, it contains accelerometer data of printer head, intrusion power and temperatures of the printer elements. In order to gain data we lead to several printing malfunctions applied to the 3D model. Resulting dataset can therefore be used for anomalies detection research.


title: Preprocessing Vertex-Deletion Problems: Characterizing Graph Properties by Low-Rank Adjacencies

abstract: We consider the $\Pi$-free Deletion problem parameterized by the size of a vertex cover, for a range of graph properties $\Pi$. Given an input graph $G$, this problem asks whether there is a subset of at most $k$ vertices whose removal ensures the resulting graph does not contain a graph from $\Pi$ as induced subgraph. Many vertex-deletion problems such as Perfect Deletion, Wheel-free Deletion, and Interval Deletion fit into this framework. We introduce the concept of characterizing a graph property $\Pi$ by low-rank adjacencies, and use it as the cornerstone of a general kernelization theorem for $\Pi$-Free Deletion parameterized by the size of a vertex cover. The resulting framework captures problems such as AT-Free Deletion, Wheel-free Deletion, and Interval Deletion. Moreover, our new framework shows that the vertex-deletion problem to perfect graphs has a polynomial kernel when parameterized by vertex cover, thereby resolving an open question by Fomin et al. [JCSS 2014]. Our main technical contribution shows how linear-algebraic dependence of suitably defined vectors over $\mathbb{F}_2$ implies graph-theoretic statements about the presence of forbidden induced subgraphs.


title: Superconductivity-induced transverse plasma mode and phonon anomaly in the $c$-axis response of the bilayer compound RbCa$_2$Fe$_4$As$_4$F$_2$

abstract: With infrared spectroscopy we studied the out-of-plane ($c$-axis) response of the iron arsenide superconductor ACa$_2$Fe$_4$As$_4$F$_2$ (A = Rb,Cs) which has a bilayer structure similar to the high $T_c$ cuprates YBa$_2$Cu$_3$O$_7$ (YBCO) and Bi$_2$Sr$_2$CaCu$_2$O$_8$ (Bi2212). In analogy to the cuprates, we observe a superconductivity-induced transverse plasma mode (tPM) and a phonon anomaly that are both signatures of local electric field effects that arise from a large difference between the local conductivities in the intra- and inter-bilayer regions. Using a multilayer model developed for the cuprates, we obtain a good description of the $c$-axis response and derive the local conductivities at $T \simeq T_c$ of $\sigma_1^{\mathrm{bl}}(\omega \rightarrow 0) \simeq$ 1\,000 $\Omega^{-1}\mathrm{cm}^{-1}$ and $\sigma_1^{\mathrm{int}}(\omega \rightarrow 0) \simeq$ 15 $\Omega^{-1}\mathrm{cm}^{-1}$, respectively, that are similar to the ones previously found in underdoped YBCO. Different from the cuprates, we find no evidence of a normal state pseudogap in terms of a partial suppression of the low-energy electronic states that sets in already well above $T_c$. There is also no clear sign of an onset of precursor superconducting pairing correlations well above $T_c \simeq$ 30~K. This highlights that the pseudogap and the precursor superconducting pairing well above $T_c$ are unique features of the cuprates with their strong electronic correlations and, for example, not just the result of a strongly anisotropic electronic response due to the layered crystal structure.


title: Producing and detecting long-lived particles at different experiments at the LHC

abstract: We propose a new strategy to look for long-lived particles (LLP) at the LHC. The LLPs are produced at one experiment, but its decay products are detected by a detector at another experiment. We use a confining Hidden Valley scenario as a benchmark. Through showering and hadronization, the multiplicity of hidden mesons can be large, and their decay products, dimuon as chosen in this study, are typically too soft to pass triggers in traditional LHC searches. We find the best acceptance is achieved if we produce LLPs at collision points at the LHCb and ALICE experiments, and use the muon chamber of ATLAS for detection. This new search is cost-efficient since it does not require a new detector to be built. Meanwhile, it can provide coverage of interesting parameter space, which is complementary to other proposed LLP searches.


title: Human Activity Recognition using Inertial, Physiological and Environmental Sensors: a Comprehensive Survey

abstract: In the last decade, Human Activity Recognition (HAR) has become a vibrant research area, especially due to the spread of electronic devices such as smartphones, smartwatches and video cameras present in our daily lives. In addition, the advance of deep learning and other machine learning algorithms has allowed researchers to use HAR in various domains including sports, health and well-being applications. For example, HAR is considered as one of the most promising assistive technology tools to support elderly's daily life by monitoring their cognitive and physical function through daily activities. This survey focuses on critical role of machine learning in developing HAR applications based on inertial sensors in conjunction with physiological and environmental sensors.


title: Shifted inverse curvature flows in hyperbolic space

abstract: We introduce the shifted inverse curvature flow in hyperbolic space. This is a family of hypersurfaces in hyperbolic space expanding by $F^{-p}$ with positive power $p$ for a smooth, symmetric, strictly increasing and $1$-homogeneous curvature function $f$ of the shifted principal curvatures with some concavity properties. We study the maximal existence and asymptotical behavior of the flow for horo-convex hypersurfaces. In particular, for $0<p\leq 1$ we show that the limiting shape of the solution is always round as the maximal existence time is approached. This is in contrast to the asymptotical behavior of the (non-shifted) inverse curvature flow, as Hung and Wang [18] constructed a counterexample to show that the limiting shape of inverse curvature flow in hyperbolic space is not necessarily round.


title: Constructions and $T^{\ast}$-Extensions of 3-Bihom-Lie Superalgebras

abstract: The aim of this paper is to generalise the construction of $3$-Bihom-Lie superalgebras and we provide some properties can be lifted to its $T^{\ast}$-extensions such as nilpotency, solvability and decomposition. We study the representations, $T_{\theta}$-extensions and $T^{\ast}_{\theta}$-extension of $3$-Bihom-Lie superalgebras and prove the necessary and sufficient conditions for a $2n$-dimensional quadratic $3$-Bihom-Lie superalgebra to be isomorphic to a $T^{\ast}_{\theta}$-extension.


title: Mass hierarchy from the flavor symmetry in supersymmetric multi-Higgs doublet model

abstract: We study the supersymmetric standard model with multiple Higgs doublets with gauged $\mathrm{U}(1)_X$ flavor symmetry. When the flavor symmetry is broken by the vacuum expectation value of flavon, the $\mathbb{Z}_3$ symmetry $M_3$ called matter triality remains and it prohibits the baryon number violation up to dimension-5 operators. We study the contribution of the extra-Higgs fields to the anomaly cancellation of flavor symmetry and analyze the mass spectra including the multiple generations of Higgs fields as well as quarks and leptons. We show a series of $\mathrm{U}(1)_X$ charge assignments, which reproduce the observed masses and mixing angles of quark and lepton. We also find that, with such realistic charge assignments, the extra-Higgs fields obtain masses around the intermediate scale and decouple from the electroweak physics because of the holomorphy of superpotential.


title: A Chinese Corpus for Fine-grained Entity Typing

abstract: Fine-grained entity typing is a challenging task with wide applications. However, most existing datasets for this task are in English. In this paper, we introduce a corpus for Chinese fine-grained entity typing that contains 4,800 mentions manually labeled through crowdsourcing. Each mention is annotated with free-form entity types. To make our dataset useful in more possible scenarios, we also categorize all the fine-grained types into 10 general types. Finally, we conduct experiments with some neural models whose structures are typical in fine-grained entity typing and show how well they perform on our dataset. We also show the possibility of improving Chinese fine-grained entity typing through cross-lingual transfer learning.


title: DeepCFD: Efficient Steady-State Laminar Flow Approximation with Deep Convolutional Neural Networks

abstract: Computational Fluid Dynamics (CFD) simulation by the numerical solution of the Navier-Stokes equations is an essential tool in a wide range of applications from engineering design to climate modeling. However, the computational cost and memory demand required by CFD codes may become very high for flows of practical interest, such as in aerodynamic shape optimization. This expense is associated with the complexity of the fluid flow governing equations, which include non-linear partial derivative terms that are of difficult solution, leading to long computational times and limiting the number of hypotheses that can be tested during the process of iterative design. Therefore, we propose DeepCFD: a convolutional neural network (CNN) based model that efficiently approximates solutions for the problem of non-uniform steady laminar flows. The proposed model is able to learn complete solutions of the Navier-Stokes equations, for both velocity and pressure fields, directly from ground-truth data generated using a state-of-the-art CFD code. Using DeepCFD, we found a speedup of up to 3 orders of magnitude compared to the standard CFD approach at a cost of low error rates.


title: Reply to "Comment on `Noise, not squeezing, boosts synchronization in the deep quantum regime' "

abstract: In this reply we clarify the main points of our manuscript and respond to the critique in the Comment arXiv:2002.11514. In particular, we emphasize that our conclusion "squeezing loses effectiveness in the deep quantum regime" does not contradict the previous work arXiv:1801.10383, but instead adds to it, and raises fundamental questions on classifying parameter regimes for quantum synchronization. Moreover, we address the concern brought up on the validity of the master equation in the deep quantum regime, and show that our noise-enhanced synchronization differs from previous literature. Through numerical examples, we also demonstrate that the choice of ansatz, while appearing inconsistent, does not lead to erroneous conclusions. Lastly, we expound on the physics of noise-boosted synchronization, and show that it is indeed a genuine feature unique to the deep quantum regime. However, we note that single photon dissipation is a more accurate term, and will move to using that.


title: Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth

abstract: Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with $n$ states and $m$ transitions, we show that each of the classical quantitative objectives can be computed in $O((n+m)\cdot t^2)$ time, given a tree decomposition of the MC that has width $t$. Our results also imply a bound of $O(\kappa\cdot (n+m)\cdot t^2)$ for each objective on MDPs, where $\kappa$ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experimental results show that on MCs and MDPs with small treewidth, our algorithms outperform existing well-established methods by one or more orders of magnitude.


title: A pedestrian introduction to coherent and squeezed states

abstract: This review is intended for readers who want to have a quick understanding on the theoretical underpinnings of coherent states and squeezed states which are conventionally generated from the prototype harmonic oscillator but not always restricting to it. Noting that the treatments of building up such states have a long history, we collected the important ingredients and reproduced them from a fresh perspective but refrained from delving into detailed derivation of each topic. By no means we claim a comprehensive presentation of the subject but have only tried to re-capture some of the essential results and pointed out their inter-connectivity.


title: Improving Robot Dual-System Motor Learning with Intrinsically Motivated Meta-Control and Latent-Space Experience Imagination

abstract: Combining model-based and model-free learning systems has been shown to improve the sample efficiency of learning to perform complex robotic tasks. However, dual-system approaches fail to consider the reliability of the learned model when it is applied to make multiple-step predictions, resulting in a compounding of prediction errors and performance degradation. In this paper, we present a novel dual-system motor learning approach where a meta-controller arbitrates online between model-based and model-free decisions based on an estimate of the local reliability of the learned model. The reliability estimate is used in computing an intrinsic feedback signal, encouraging actions that lead to data that improves the model. Our approach also integrates arbitration with imagination where a learned latent-space model generates imagined experiences, based on its local reliability, to be used as additional training data. We evaluate our approach against baseline and state-of-the-art methods on learning vision-based robotic grasping in simulation and real world. The results show that our approach outperforms the compared methods and learns near-optimal grasping policies in dense- and sparse-reward environments.


title: Ultimate heat transfer in `wall-bounded' convective turbulence

abstract: Direct numerical simulations have been performed for turbulent thermal convection between horizontal no-slip, permeable walls with a distance $H$ and a constant temperature difference $\Delta T$ at the Rayleigh number $Ra=3\times10^{3}-10^{10}$. On the no-slip wall surfaces $z=0$, $H$ the wall-normal (vertical) transpiration velocity is assumed to be proportional to the local pressure fluctuation, i.e. $w=-\beta p'/\rho, +\beta p'/\rho$ (Jim\'enez et al., J. Fluid Mech., vol. 442, 2001, pp. 89-117), and the property of the permeable wall is given by the permeability parameter $\beta U$ normalised with the buoyancy-induced terminal velocity $U={(g\alpha\Delta TH)}^{1/2}$, where $\rho$, $g$ and $\alpha$ are mass density, acceleration due to gravity and volumetric thermal expansivity, respectively. A zero net mass flux through the wall is instantaneously ensured, and thermal convection is driven only by buoyancy without any additional energy inputs. The critical transition of heat transfer in convective turbulence has been found between the two $Ra$ regimes for fixed $\beta U=3$ and fixed Prandtl number $Pr=1$. In the subcritical regime at lower $Ra$ the Nusselt number $Nu$ scales with $Ra$ as $Nu\sim Ra^{1/3}$, as commonly observed in turbulent Rayleigh-B\'enard convection. In the supercritical regime at higher $Ra$, on the other hand, the ultimate scaling $Nu\sim Ra^{1/2}$ is achieved, meaning that the wall-to-wall heat flux scales with $U\Delta T$ independent of the thermal diffusivity, although the heat transfer on the wall is dominated by thermal conduction. The physical mechanisms of the achievement of the ultimate heat transfer are presented.


title: A Quantum Network Node with Crossed Optical Fibre Cavities

abstract: Quantum networks provide unique possibilities for resolving open questions on entanglement and promise innovative applications ranging from secure communication to scalable computation. While two quantum nodes coupled by a single channel are adequate for basic quantum communication tasks between two parties, fully functional large-scale quantum networks require a web-like architecture with multiply connected nodes. Efficient interfaces between network nodes and channels can be implemented with optical cavities. Using two optical fibre cavities coupled to one atom, we here realise a quantum network node that connects to two quantum channels. It functions as a passive, heralded and high-fidelity quantum memory that requires neither amplitude- and phase-critical control fields nor error-prone feedback loops. Our node is robust, fits naturally into larger fibre-based networks, can be scaled to more cavities, and thus provides clear perspectives for a quantum internet including qubit controlled quantum switches, routers, and repeaters.


title: Dynamic Knowledge Graph-based Dialogue Generation with Improved Adversarial Meta-Learning

abstract: Knowledge graph-based dialogue systems are capable of generating more informative responses and can implement sophisticated reasoning mechanisms. However, these models do not take into account the sparseness and incompleteness of knowledge graph (KG)and current dialogue models cannot be applied to dynamic KG. This paper proposes a dynamic Knowledge graph-based dialogue generation method with improved adversarial Meta-Learning (KDAD). KDAD formulates dynamic knowledge triples as a problem of adversarial attack and incorporates the objective of quickly adapting to dynamic knowledge-aware dialogue generation. We train a knowledge graph-based dialog model with improved ADML using minimal training samples. The model can initialize the parameters and adapt to previous unseen knowledge so that training can be quickly completed based on only a few knowledge triples. We show that our model significantly outperforms other baselines. We evaluate and demonstrate that our method adapts extremely fast and well to dynamic knowledge graph-based dialogue generation.


title: Precise predictions for charged Higgs boson pair production in photon-photon collisions

abstract: The charged Higgs pair production via photon-photon collisions is investigated in the framework of two Higgs doublet model (2HDM), taking into account a full set of one-loop-level scattering amplitudes, i.e., including electroweak (EW) corrections together with soft and hard QED radiation. The numerical evaluation is carried out for three different scenarios, so-called non-alignment, low-$m_H$ and short-cascade, defined in the presence of the up-to-date experimental constraints and consistent with theoretical constraints as well. The total cross sections of $\gamma\gamma \rightarrow H^{-}H^{+}$ are scanned over the plane ($m_{\phi^0},\sqrt{s}$), where $\phi^0$ is $h^0$ for low-$m_{H^0}$ scenario and $H^0$ for other two scenarios. The regions of the parameter space in which the production rates are sufficiently large are highlighted for each scenario. The production rates in different polarization collision modes of initial beams are also discussed. It can be enhanced up to two-times by oppositely polarized photons at high energies and right-handed polarized photons at low energies. Furthermore, decay channels of the charged Higgs boson are examined for each scenario. It is observed that the one-loop EW corrections, i.e., the virtual plus real radiation corrections, reduce the tree-level cross sections and the relative correction is typically in the range of $-10\%$ to $-30\%$, depending on model parameters.


title: Properties of AGN Multiband Optical Variability in the HSC SSP Transient Survey

abstract: We study variability of active galactic nuclei (AGNs) by using the deep optical multiband photometry data obtained from the Hyper Suprime-Cam Subaru Strategic Program (HSC SSP) survey in the COSMOS field. The images analyzed here were taken with 8, 10, 13, and 15 epochs over three years in the $g$, $r$, $i$, and $z$ bands, respectively. We identified 491 robust variable AGN candidates, down to $i=25$ mag and with redshift up to $4.26$. Ninety percent of the variability-selected AGNs are individually identified with the X-ray sources detected in the Chandra COSMOS Legacy survey. We investigate their properties in variability by using structure function analysis and find that the structure function for low-luminosity AGNs ($L_{\mathrm{bol}}\lesssim10^{45}$ erg s$^{-1}$) shows a positive correlation with luminosity, which is the opposite trend for the luminous quasars. This trend is likely to be caused by larger contribution of the host galaxy light for lower-luminosity AGNs. Using the model templates of galaxy spectra, we evaluate the amount of host galaxy contribution to the structure function analysis and find that dominance of the young stellar population is needed to explain the observed luminosity dependence. This suggests that low-luminosity AGNs at $0.8\lesssim z\lesssim1.8$ are predominantly hosted in star-forming galaxies. The X-ray stacking analysis reveals the significant emission from the individually X-ray undetected AGNs in our variability-selected sample. The stacked samples show very large hardness ratios in their stacked X-ray spectrum, which suggests that these optically variable sources have large soft X-ray absorption by dust-free gas.


title: Trollthrottle -- Raising the Cost of Astroturfing

abstract: Astroturfing, i.e., the fabrication of public discourse by private or state-controlled sponsors via the creation of fake online accounts, has become incredibly widespread in recent years. It gives a disproportionally strong voice to wealthy and technology-savvy actors, permits targeted attacks on public forums and could in the long run harm the trust users have in the internet as a communication platform. Countering these efforts without deanonymising the participants has not yet proven effective; however, we can raise the cost of astroturfing. Following the principle `one person, one voice', we introduce Trollthrottle, a protocol that limits the number of comments a single person can post on participating websites. Using direct anonymous attestation and a public ledger, the user is free to choose any nickname, but the number of comments is aggregated over all posts on all websites, no matter which nickname was used. We demonstrate the deployability of Trollthrottle by retrofitting it to the popular news aggregator website Reddit and by evaluating the cost of deployment for the scenario of a national newspaper (168k comments per day), an international newspaper (268k c/d) and Reddit itself (4.9M c/d).


title: Data Driven Transfer Functions and Transmission Network Parameters for GIC Modelling

abstract: Typical geomagnetically induced current (GIC) modelling assumes the induced quasi-DC current at a node in the transmission network is linearly related to the local geoelectric field by a pair of network parameters. Given a limited time-series of measured geomagnetic and GIC data, an empirical method is presented that results in a statistically significant generalised ensemble of parameter estimates with the error in the estimates identified. The method is showcased for different transmission networks and geomagnetic storms and, where prior modelling exists, shows improved GIC estimation. Furthermore, modelled networks can be locally characterised and probed without any further network knowledge. Insights include network parameter variation, effective network directionality and response. Merging the network parameters and geoelectric field estimation, a transfer function is derived which offers an alternative approach to assessing transformer exposure to GICs.


title: Extended Abstract of Performance Analysis and Prediction of Model Transformation

abstract: In the software development process, model transformation is increasingly assimilated. However, systems being developed with model transformation sometimes grow in size and become complex. Meanwhile, the performance of model transformation tends to decrease. Hence, performance is an important quality of model transformation. According to current research model transformation performance focuses on optimising the engines internally. However, there exists no research activities to support transformation engineer to identify performance bottleneck in the transformation rules and hence, to predict the overall performance. In this paper we vision our aim at providing an approach of monitoring and profiling to identify the root cause of performance issues in the transformation rules and to predict the performance of model transformation. This will enable software engineers to systematically identify performance issues as well as predict the performance of model transformation.


title: New growth mechanism of dust grains in protoplanetary disks with magnetically driven disk winds

abstract: We discovered a new growth mode of dust grains to km-sized bodies in protoplanetary disks that evolve by viscous accretion and magnetically driven disk winds (MDWs). We solved an approximate coagulation equation of dust grains with time-evolving disks that consist of both gas and solid components by a one-dimensional model. With the grain growth, all solid particles initially drift inward toward the central star by the gas drag force. However, the radial profile of gas pressure, $P$, is modified by the MDW that disperses the gas in an inside-out manner. Consequently, a local concentration of solid particles is created by the converging radial flux of drifting dust grains at the location with the convex upward profile of $P$. When the dimensionless stopping time, ${\rm St}$, there exceeds unity, the solid particles spontaneously reach the growth dominated state because of the positive feedback between the suppressed radial drift and the enhanced accumulation of dust particles that drift from the outer part. Once the solid particles are in the drift limited state, the above-mentioned condition of ${\rm St} \gtrsim 1$ for the dust growth is equivalent with \begin{equation} \Sigma_{\rm d}/\Sigma_{\rm g}\gtrsim \eta, \nonumber \end{equation} where $\Sigma_{\rm d}/\Sigma_{\rm g}$ is the dust-to-gas surface-density ratio and $\eta$ is dimensionless radial pressure-gradient force. As a consequence of the successful growth of dust grains, a ring-like structure containing planetesimal-sized bodies is formed at the inner part of the protoplanetary disks. Such a ring-shaped concentration of planetesimals is expected to play a vital role in the subsequent planet formation.


title: The lattice of monomial clones on finite fields

abstract: We investigate the lattice of clones that are generated by a set of functions that are induced on a finite field $\mathbb{F}$ by monomials. We study the atoms and coatoms of this lattice and investigate whether this lattice contains infinite ascending chains, or infinite descending chains, or infinite antichains. We give a connection between the lattice of these clones and semi-affine algebras. Furthermore, we show that the sublattice of idempotent clones of this lattice is finite and every idempotent monomial clone is principal.


title: Cohomologies of complex manifolds with symplectic $(1,1)$-forms

abstract: Let $(X, J)$ be a complex manifold with a non-degenerated smooth $d$-closed $(1,1)$-form $\omega$. Then we have a natural double complex $\overline{\partial}+\overline{\partial}^\Lambda$, where $\overline{\partial}^\Lambda$ denotes the symplectic adjoint of the $\overline{\partial}$-operator. We study the Hard Lefschetz Condition on the Dolbeault cohomology groups of $X$ with respect to the symplectic form $\omega$. In \cite{TW}, we proved that such a condition is equivalent to a certain symplectic analogous of the $\partial\overline{\partial}$-Lemma, namely the $\overline{\partial}\, \overline{\partial}^\Lambda$-Lemma, which can be characterized in terms of Bott--Chern and Aeppli cohomologies associated to the above double complex. We obtain Nomizu type theorems for the Bott--Chern and Aeppli cohomologies and we show that the $\overline{\partial}\, \overline{\partial}^\Lambda$-Lemma is stable under small deformations of $\omega$, but not stable under small deformations of the complex structure. However, if we further assume that $X$ satisfies the $\partial\overline{\partial}$-Lemma then the $\overline{\partial}\, \overline{\partial}^\Lambda$-Lemma is stable.


title: Predictability: Can the turning point and end of an expanding epidemic be precisely forecast?

abstract: No, they can't. Epidemic spread is characterized by exponentially growing dynamics, which are intrinsically unpredictable. The time at which the growth in the number of infected individuals halts and starts decreasing cannot be calculated with certainty before the turning point is actually attained; neither can the end of the epidemic after the turning point. An SIR model with confinement (SCIR) illustrates how lockdown measures inhibit infection spread only above a threshold that we calculate. The existence of that threshold has major effects in predictability: A Bayesian fit to the COVID-19 pandemic in Spain shows that a slow-down in the number of newly infected individuals during the expansion phase allows to infer neither the precise position of the maximum nor whether the measures taken will bring the propagation to the inhibition regime. There is a short horizon for reliable prediction, followed by a dispersion of the possible trajectories that grows extremely fast. The impossibility to predict in the mid-term is not due to wrong or incomplete data, since it persists in error-free, synthetically produced data sets, and does not necessarily improve by using larger data sets. Our study warns against precise forecasts of the evolution of epidemics based on mean-field, effective or phenomenological models, and supports that only probabilities of different outcomes can be confidently given.


title: Thermal conductivity and Lorenz ratio of metals at intermediate temperature: a first-principles analysis

abstract: Electronic and phononic thermal conductivity are involved in the thermal conduction for metals and Wiedemann-Franz law is usually employed to predict them separately. However, Wiedemann-Franz law is shown to be invalid at intermediate temperatures. Here, to obtain the accurate thermal conductivity and Lorenz ratio for metals, the momentum relaxation time is used for electrical conductivity and energy relaxation time for electronic thermal conductivity. The mode-level first-principles calculation is conducted on two representative metals copper and aluminum. It is shown that the method can correctly predict electrical transport coefficients from 6 to 300 K. Also, the anomalous Lorenz ratio is observed within the present scheme, which has significant departure from the Sommerfeld value. The calculation scheme can be expanded to other metallic systems and is valuable in a better understanding of the electron dynamics and transport properties of metals.


title: History-dependent evaluations in POMDPs

abstract: We consider POMDPs in which the weight of the stage payoff depends on the past sequence of signals and actions occurring in the infinitely repeated problem. We prove that for all epsilon>0, there exists a strategy that is epsilon-optimal for any sequence of weights satisfying a property that interprets as "the decision-maker is patient enough". This unifies and generalizes several results of the literature, and applies notably to POMDPs with limsup payoffs.


title: Design of a novel monolithic parabolic-mirror ion-trap to precisely align the RF null point with the optical focus

abstract: We propose a novel ion trap design with the high collection efficiency parabolic-mirror integrated with the ion trap electrodes. This design has three radio frequency (RF) electrodes and eight direct current(DC) compensation electrodes. By carefully adjusting three RF voltages, the parabolic mirror focus can be made precisely coincident with the RF null point. Thus, the aberration and the ion micromotion can be minimized at the same time. This monolithic design can significantly improve the ion-ion entanglement generation speed by extending the photon collecting solid angle beyond $90\%\cdot4\pi$. Further analysis of the trapping setup shows that the RF voltage variation method relexes machining accuracy to a broad range. This design is expected to be a robust scheme for trapping ion to speed entanglement network node.


title: BuGL -- A Cross-Language Dataset for Bug Localization

abstract: Bug Localization is the process of locating potential error-prone files or methods from a given bug report and source code. There is extensive research on bug localization in the literature that focuses on applying information retrieval techniques or machine learning/deep learning approaches or both, to detect location of bugs. The common premise for all approaches is the availability of a good dataset, which in this case, is the standard benchmark dataset that comprises of 6 Java projects and in some cases, more than 6 Java projects. The existing dataset do not comprise projects of other programming languages, despite of the need to investigate specific and cross project bug localization. To the best of our knowledge, we are not aware of any dataset that addresses this concern. In this paper, we present BuGL, a large-scale cross-language dataset. BuGL constitutes of more than 10,000 bug reports drawn from open-source projects written in four programming languages, namely C, C++, Java, and Python. The dataset consists of information which includes Bug Reports and Pull-Requests. BuGL aims to unfold new research opportunities in the area of bug localization.


title: Minimizing Total Interference in Asymmetric Sensor Networks

abstract: The problem of computing a connected network with minimum interference is a fundamental problem in wireless sensor networks. Several models of interference have been studied in the literature. The most common model is the receiver-centric, in which the interference of a node $p$ is defined as the number of other nodes whose transmission range covers $p$. In this paper, we study the problem of assigning a transmission range to each sensor, such that the resulting network is strongly connected and the total interference of the network is minimized. For the one-dimensional case, we show how to solve the problem optimally in $O(n^3)$ time. For the two-dimensional case, we show that the problem is NP-complete and give a polynomial-time 2-approximation algorithm for the problem.


title: Optimal control of an SIR epidemic through finite-time non-pharmaceutical intervention

abstract: We consider the problem of controlling an SIR-model epidemic by temporarily reducing the rate of contact within a population. The control takes the form of a multiplicative reduction in the contact rate of infectious individuals. The control is allowed to be applied only over a finite time interval, while the objective is to minimize the total number of individuals infected in the long-time limit, subject to some cost function for the control. We first consider the no-cost scenario and analytically determine the optimal control and solution. We then study solutions when a cost of intervention is included, as well as a cost associated with overwhelming the available medical resources. Examples are studied through the numerical solution of the associated Hamilton-Jacobi-Bellman equation. Finally, we provide some examples related directly to the current pandemic.


title: The Attacker's Perspective on Automatic Speaker Verification: An Overview

abstract: Security of automatic speaker verification (ASV) systems is compromised by various spoofing attacks. While many types of non-proactive attacks (and their defenses) have been studied in the past, attacker's perspective on ASV, represents a far less explored direction. It can potentially help to identify the weakest parts of ASV systems and be used to develop attacker-aware systems. We present an overview on this emerging research area by focusing on potential threats of adversarial attacks on ASV, spoofing countermeasures, or both. We conclude the study with discussion on selected attacks and leveraging from such knowledge to improve defense mechanisms against adversarial attacks.


title: On unramified Brauer groups of torsors over tori

abstract: In this paper we introduce a method to obtain algebraic information using arithmetic one in the study of tori and their principal homogeneous spaces. In particular, using some results of the authors with Tingyu Lee, we determine the unramified Brauer groups of some norm one tori, and their torsors.


title: Approximate Nearest Neighbour Search on Privacy-aware Encoding of User Locations to Identify Susceptible Infections in Simulated Epidemics

abstract: Amidst an increasing number of infected cases during the Covid-19 pandemic, it is essential to trace, as early as possible, the susceptible people who might have been infected by the disease due to their close proximity with people who were tested positive for the virus. This early contact tracing is likely to limit the rate of spread of the infection within a locality. In this paper, we investigate how effectively and efficiently can such a list of susceptible people be found given a list of infected persons and their locations. To address this problem from an information retrieval (search) perspective, we represent the location of each person at each time instant as a point in a vector space. By using the locations of the given list of infected persons as queries, we investigate the feasibility of applying approximate nearest neighbour (ANN) based indexing and retrieval approaches to obtain a list of top-k suspected users in real-time. Since leveraging information from true user location data can lead to security and privacy concerns, we also investigate what effects does distance-preserving encoding methods have on the effectiveness of the ANN methods. Experiments conducted on real and synthetic datasets demonstrate that the top-k retrieved lists of susceptible users retrieved with existing ANN approaches (KD-tree and HNSW) yield satisfactory precision and recall values, thus indicating that ANN approaches can potentially be applied in practice to facilitate real-time contact tracing even under the presence of imposed privacy constraints.


title: Mobility-Assisted Covert Communication over Wireless Ad Hoc Networks

abstract: We study the effect of node mobility on the throughput scaling of the covert communication over a wireless adhoc network. It is assumed that $n$ mobile nodes want to communicate each other in a unit disk while keeping the presence of the communication secret from each of $\Theta(n^s)$ non-colluding wardens ($s>0$). Our results show that the node mobility greatly improves the throughput scaling, compared to the case of fixed node location. In particular, for $0<s<1$, the aggregate throughput scaling is shown to be linear in $n$ when the number of channel uses that each warden uses to judge the presence of communication is not too large compared to $n$. For the achievability, we modify the two-hop based scheme by Grossglauser and Tse (2002), which was proposed for a wireless ad hoc network without a covertness constraint, by introducing a preservation region around each warden in which the senders are not allowed to transmit and by carefully analyzing the effect of covertness constraint on the transmit power and the resultant transmission rates. This scheme is shown to be optimal for $0<s<1$ under an assumption that each node outside preservation regions around wardens uses the same transmit power.


title: An anisotropic monotoncity formula, with applications to some segregation problems

abstract: We prove an Alt-Caffarelli-Friedman montonicity formula for pairs of functions solving elliptic equations driven by different ellipticity matrices in their positivity sets. As application, we derive Liouville-type theorems for subsolutions of some elliptic systems, and we analyze segregation phenomena for systems of equations where the diffusion of each density is described by a different operator.


title: Planar Bichromatic Bottleneck Spanning Trees

abstract: Given a set $P$ of $n$ red and blue points in the plane, a \emph{planar bichromatic spanning tree} of $P$ is a spanning tree of $P$, such that each edge connects between a red and a blue point, and no two edges intersect. In the bottleneck planar bichromatic spanning tree problem, the goal is to find a planar bichromatic spanning tree $T$, such that the length of the longest edge in $T$ is minimized. In this paper, we show that this problem is NP-hard for points in general position. Moreover, we present a polynomial-time $(8\sqrt{2})$-approximation algorithm, by showing that any bichromatic spanning tree of bottleneck $\lambda$ can be converted to a planar bichromatic spanning tree of bottleneck at most $8\sqrt{2}\lambda$.


title: Editorial to the special issue "probing new physics with black holes"

abstract: Black holes are fantastic laboratories to probe new physics. Both theoretically and experimentally, many new ideas are emerging to use them as tools for understanding better quantum gravity or classical gravity beyond general relativity. I briefly review some new results.


title: Local Differential Privacy based Federated Learning for Internet of Things

abstract: Internet of Vehicles (IoV) is a promising branch of the Internet of Things. IoV simulates a large variety of crowdsourcing applications such as Waze, Uber, and Amazon Mechanical Turk, etc. Users of these applications report the real-time traffic information to the cloud server which trains a machine learning model based on traffic information reported by users for intelligent traffic management. However, crowdsourcing application owners can easily infer users' location information, which raises severe location privacy concerns of the users. In addition, as the number of vehicles increases, the frequent communication between vehicles and the cloud server incurs unexpected amount of communication cost. To avoid the privacy threat and reduce the communication cost, in this paper, we propose to integrate federated learning and local differential privacy (LDP) to facilitate the crowdsourcing applications to achieve the machine learning model. Specifically, we propose four LDP mechanisms to perturb gradients generated by vehicles. The Three-Outputs mechanism is proposed which introduces three different output possibilities to deliver a high accuracy when the privacy budget is small. The output possibilities of Three-Outputs can be encoded with two bits to reduce the communication cost. Besides, to maximize the performance when the privacy budget is large, an optimal piecewise mechanism (PM-OPT) is proposed. We further propose a suboptimal mechanism (PM-SUB) with a simple formula and comparable utility to PM-OPT. Then, we build a novel hybrid mechanism by combining Three-Outputs and PM-SUB.


title: Polarization effects in Kerr black hole shadow due to the coupling between photon and bumblebee field

abstract: We present firstly the equation of motion for the photon coupled to a special bumblebee vector field in a Kerr black hole spacetime and find that the propagation of light depends on its polarization due to the birefringence phenomenon. The dependence of black hole shadow on the light's polarization is dominated by the rotation of black hole. In the non-rotating case, we find that the black hole shadow is independent of the polarization of light. However, the status is changed in the rotating case, in which the black hole shadow depends on the light's polarization and the coupling between bumblebee vector field and electromagnetic field. These features of black hole shadow casted by polarized lights could help us to understand the bumblebee vector field with Lorentz symmetry breaking and its interaction with electromagnetic field.


title: Make E Smart Again

abstract: In this work in progress, we demonstrate a new use-case for the ENIGMA system. The ENIGMA system using the XGBoost implementation of gradient boosted decision trees has demonstrated high capability to learn to guide the E theorem prover's inferences in real-time. Here, we strip E to the bare bones: we replace the KBO term ordering with an identity relation as the minimal possible ordering, disable literal selection, and replace evolved strategies with a simple combination of the clause weight and FIFO (first in first out) clause evaluation functions. We experimentally demonstrate that ENIGMA can learn to guide E as well as the smart, evolved strategies even without these standard automated theorem prover functionalities. To this end, we experiment with XGBoost's meta-parameters over a dozen loops.


title: Effectiveness of Testing, Tracing, Social Distancing and Hygiene in Tackling Covid-19 in India: A System Dynamics Model

abstract: We present a System Dynamics (SD) model of the Covid-19 pandemic spread in India. The detailed age-structured compartment-based model endogenously captures various disease transmission pathways, expanding significantly from the standard SEIR model. The model is customized for India by using the appropriate population pyramid, contact rate matrices, external arrivals (as per actual data), and a few other calibrated fractions based on the reported cases of Covid-19 in India. Also, we have explicitly modeled, using independent time-variant levers, the effects of testing, contact tracing, isolating Covid-positive patients, quarantining, use of mask/better hygiene practices, social distancing through contact rate reductions at distinct zones of home(H), work(W), school(S) and other(O) locations. Simulation results show that, even after an extended lock-down, some non-trivial number of infections (even asymptomatic) will be left and the pandemic will resurface. Only tools that work against the pandemic is high rate of testing of those who show Covid-19 like symptoms, isolating them if they are positive and contact tracing all contacts of positive patients and quarantining them, in combination with use of face masks and personal hygiene. A wide range of combination of effectiveness of contact tracing, isolation, quarantining and personal hygiene measures help minimize the pandemic impact and some imperfections in implementation of one measure can be compensated by better implementation of other measures.