title: Rigidity results for $L^p$-operator algebras and applications

abstract: For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an \'etale groupoid $\mathcal{G}_A$, which in many cases of interest is a complete invariant for $A$. By identifying this groupoid for large classes of examples, we obtain a number of rigidity results that display a stark contrast with the case $p=2$; the most striking one being that of crossed products by topologically free actions. Our rigidity results give answers to questions concerning the existence of isomorphisms between different algebras. Among others, we show that for the $L^p$-analog $\mathcal{O}_2^p$ of the Cuntz algebra, there is no isometric isomorphism between $\mathcal{O}_2^p$ and $\mathcal{O}_2^p\otimes^p\mathcal{O}_2^p$, when $p\neq 2$. In particular, we deduce that there is no $L^p$-version of Kirchberg's absorption theorem, and that there is no $K$-theoretic classification of purely infinite simple amenable $L^p$-operator algebras for $p\neq 2$. Our methods also allow us to recover a folklore fact in the case of C*-algebras ($p=2$), namely that no isomorphism $\mathcal{O}_2^p\cong \mathcal{O}_2^p\otimes\mathcal{O}_2^p$ preserves the canonical Cartan subalgebras.


title: DublinCity: Annotated LiDAR Point Cloud and its Applications

abstract: Scene understanding of full-scale 3D models of an urban area remains a challenging task. While advanced computer vision techniques offer cost-effective approaches to analyse 3D urban elements, a precise and densely labelled dataset is quintessential. The paper presents the first-ever labelled dataset for a highly dense Aerial Laser Scanning (ALS) point cloud at city-scale. This work introduces a novel benchmark dataset that includes a manually annotated point cloud for over 260 million laser scanning points into 100'000 (approx.) assets from Dublin LiDAR point cloud [12] in 2015. Objects are labelled into 13 classes using hierarchical levels of detail from large (i.e., building, vegetation and ground) to refined (i.e., window, door and tree) elements. To validate the performance of our dataset, two different applications are showcased. Firstly, the labelled point cloud is employed for training Convolutional Neural Networks (CNNs) to classify urban elements. The dataset is tested on the well-known state-of-the-art CNNs (i.e., PointNet, PointNet++ and So-Net). Secondly, the complete ALS dataset is applied as detailed ground truth for city-scale image-based 3D reconstruction.


title: Strong polarization of individual nuclear spins weakly coupled to nitrogen-vacancy color centers in diamond

abstract: We experimentally demonstrate high degree of polarization of 13C nuclear spins weakly interacting with nitrogen-vacancy (NV) centers in diamond. We combine coherent microwave excitation pulses with optical illumination to provide controlled relaxation and achieve a polarity-tunable, fast nuclear polarization of degree higher than 85% at room temperature for remote 13C nuclear spins exhibiting hyperfine interaction strength with NV centers of the order of 600 kHz. We show with the aid of numerical simulation that the anisotropic hyperfine tensor components naturally provide a route to control spin mixing parameter so that highly efficient nuclear polarization is enabled through careful tuning of nuclear quantization axis by external magnetic field. We further discuss spin dynamics and wide applicability of this method to various target 13C nuclear spins around the NV center electron spin. The proposed control method demonstrates an efficient and versatile route to realize, for example, high-fidelity spin register initialization and quantum metrology using nuclear spin resources in solids.


title: Neural Architecture Search in Embedding Space

abstract: The neural architecture search (NAS) algorithm with reinforcement learning can be a powerful and novel framework for the automatic discovering process of neural architectures. However, its application is restricted by noncontinuous and high-dimensional search spaces, which result in difficulty in optimization. To resolve these problems, we proposed NAS in embedding space (NASES), which is a novel framework. Unlike other NAS with reinforcement learning approaches that search over a discrete and high-dimensional architecture space, this approach enables reinforcement learning to search in an embedding space by using architecture encoders and decoders. The current experiment demonstrated that the performance of the final architecture network using the NASES procedure is comparable with that of other popular NAS approaches for the image classification task on CIFAR-10. The results of the experiment were efficient and indicated that NASES was highly efficient to discover final architecture only in $<$3.5 GPU hours. The beneficial-performance and effectiveness of NASES was impressive when the architecture-embedding searching and weight initialization were applied.


title: Formulating Manipulable Argumentation with Intra-/Inter-Agent Preferences

abstract: From marketing to politics, exploitation of incomplete information through selective communication of arguments is ubiquitous. In this work, we focus on development of an argumentation-theoretic model for manipulable multi-agent argumentation, where each agent may transmit deceptive information to others for tactical motives. In particular, we study characterisation of epistemic states, and their roles in deception/honesty detection and (mis)trust-building. To this end, we propose the use of intra-agent preferences to handle deception/honesty detection and inter-agent preferences to determine which agent(s) to believe in more. We show how deception/honesty in an argumentation of an agent, if detected, would alter the agent's perceived trustworthiness, and how that may affect their judgement as to which arguments should be acceptable.


title: Experimental realization of state transfer by quantum walks with two coins

abstract: Quantum state transfer between different sites is a significant problem for quantum networks and quantum computers. By selecting quantum walks with two coins as the basic model and two coin spaces as the communication carriers, we successfully implement quantum state transfer on various graphs (EPL, \textbf{124} (2018) 60009) \cite{Shang_2019}. Here, we demonstrate the experimental implementation of this scheme using IBM quantum experience platform. In particular, we show the transfer of Bell state, GHZ state and W state on complete graph on the quantum device. Also, we observe that our protocol has high fidelity by preforming quantum state tomography.


title: Bias-Variance Games

abstract: Firms engaged in electronic commerce increasingly rely on predictive analytics via machine-learning algorithms to drive a wide array of managerial decisions. The tuning of many standard machine learning algorithms can be understood as trading off bias (i.e., accuracy) with variance (i.e., precision) in the algorithm's predictions. The goal of this paper is to understand how competition between firms affects their strategic choice of such algorithms. To this end, we model the interaction of two firms choosing learning algorithms as a game and analyze its equilibria. Absent competition, players care only about the magnitude of predictive error and not its source. In contrast, our main result is that with competition, players prefer to incur error due to variance rather than due to bias, even at the cost of higher total error. In addition, we show that competition can have counterintuitive implications -- for example, reducing the error incurred by a firm's algorithm can be harmful to that firm -- but we provide conditions under which such phenomena do not occur. In addition to our theoretical analysis, we also validate our insights by applying our metrics to several publicly available datasets.


title: Weakly Supervised Localization Using Background Images

abstract: Weakly Supervised Object Localization (WSOL) methodsusually rely on fully convolutional networks in order to ob-tain class activation maps(CAMs) of targeted labels. How-ever, these networks always highlight the most discriminativeparts to perform the task, the located areas are much smallerthan entire targeted objects. In this work, we propose a novelend-to-end model to enlarge CAMs generated from classifi-cation models, which can localize targeted objects more pre-cisely. In detail, we add an additional module in traditionalclassification networks to extract foreground object propos-als from images without classifying them into specific cate-gories. Then we set these normalized regions as unrestrictedpixel-level mask supervision for the following classificationtask. We collect a set of images defined as Background ImageSet from the Internet. The number of them is much smallerthan the targeted dataset but surprisingly well supports themethod to extract foreground regions from different pictures.The region extracted is independent from classification task,where the extracted region in each image covers almost en-tire object rather than just a significant part. Therefore, theseregions can serve as masks to supervise the response mapgenerated from classification models to become larger andmore precise. The method achieves state-of-the-art results onCUB-200-2011 in terms of Top-1 and Top-5 localization er-ror while has a competitive result on ILSVRC2016 comparedwith other approaches.


title: An Adaptive Stochastic Nesterov Accelerated Quasi Newton Method for Training RNNs

abstract: A common problem in training neural networks is the vanishing and/or exploding gradient problem which is more prominently seen in training of Recurrent Neural Networks (RNNs). Thus several algorithms have been proposed for training RNNs. This paper proposes a novel adaptive stochastic Nesterov accelerated quasiNewton (aSNAQ) method for training RNNs. The proposed method aSNAQ is an accelerated method that uses the Nesterov's gradient term along with second order curvature information. The performance of the proposed method is evaluated in Tensorflow on benchmark sequence modeling problems. The results show an improved performance while maintaining a low per-iteration cost and thus can be effectively used to train RNNs.


title: A Stochastic Quasi-Newton Method with Nesterov's Accelerated Gradient

abstract: Incorporating second order curvature information in gradient based methods have shown to improve convergence drastically despite its computational intensity. In this paper, we propose a stochastic (online) quasi-Newton method with Nesterov's accelerated gradient in both its full and limited memory forms for solving large scale non-convex optimization problems in neural networks. The performance of the proposed algorithm is evaluated in Tensorflow on benchmark classification and regression problems. The results show improved performance compared to the classical second order oBFGS and oLBFGS methods and popular first order stochastic methods such as SGD and Adam. The performance with different momentum rates and batch sizes have also been illustrated.


title: Transfer Reward Learning for Policy Gradient-Based Text Generation

abstract: Task-specific scores are often used to optimize for and evaluate the performance of conditional text generation systems. However, such scores are non-differentiable and cannot be used in the standard supervised learning paradigm. Hence, policy gradient methods are used since the gradient can be computed without requiring a differentiable objective. However, we argue that current n-gram overlap based measures that are used as rewards can be improved by using model-based rewards transferred from tasks that directly compare the similarity of sentence pairs. These reward models either output a score of sentence-level syntactic and semantic similarity between entire predicted and target sentences as the expected return, or for intermediate phrases as segmented accumulative rewards. We demonstrate that using a \textit{Transferable Reward Learner} leads to improved results on semantical evaluation measures in policy-gradient models for image captioning tasks. Our InferSent actor-critic model improves over a BLEU trained actor-critic model on MSCOCO when evaluated on a Word Mover's Distance similarity measure by 6.97 points, also improving on a Sliding Window Cosine Similarity measure by 10.48 points. Similar performance improvements are also obtained on the smaller Flickr-30k dataset, demonstrating the general applicability of the proposed transfer learning method.


title: A bottom-up approach to fermion mass hierarchy: a case with vector-like fermions

abstract: We propose a bottom-up approach that a structure of a high-energy physics is explored by accumulating existence proofs and/or no-go theorems in the standard model or its extension. As an illustration, we study fermion mass hierarchies based on an extension of the standard model with vector-like fermions. It is shown that a magnitude of elements of Yukawa coupling matrices can become $O(1)$ and a Yukawa coupling unification can be realized in a theory beyond the extended model, if vector-like fermions mix with three families. In this case, small Yukawa couplings in the standard model can be highly sensitive to a small variation of matrix elements, and it seems that the mass hierarchy occurs as a result of a fine tuning.


title: On Two-Dimensional Steady Hypersonic-Limit Euler Flows Passing Ramps and Radon Measure Solutions of Compressible Euler Equations

abstract: We proposed rigorous definitions of Radon measure solutions for boundary value problems of steady compressible Euler equations which modeling hypersonic-limit inviscid flows passing two-dimensional ramps, and their interactions with still gas and pressureless jets. We proved the Newton-Busemann pressure law of drags of body in hypersonic flow, and constructed various physically interesting measure solutions with density containing Dirac measures supported on curves, also exhibited examples of blow up of certain measure solutions. This established a mathematical foundation for applications in engineering and further studies of measure solutions of compressible Euler equations.


title: CBNet: A Novel Composite Backbone Network Architecture for Object Detection

abstract: In existing CNN based detectors, the backbone network is a very important component for basic feature extraction, and the performance of the detectors highly depends on it. In this paper, we aim to achieve better detection performance by building a more powerful backbone from existing backbones like ResNet and ResNeXt. Specifically, we propose a novel strategy for assembling multiple identical backbones by composite connections between the adjacent backbones, to form a more powerful backbone named Composite Backbone Network (CBNet). In this way, CBNet iteratively feeds the output features of the previous backbone, namely high-level features, as part of input features to the succeeding backbone, in a stage-by-stage fashion, and finally the feature maps of the last backbone (named Lead Backbone) are used for object detection. We show that CBNet can be very easily integrated into most state-of-the-art detectors and significantly improve their performances. For example, it boosts the mAP of FPN, Mask R-CNN and Cascade R-CNN on the COCO dataset by about 1.5 to 3.0 percent. Meanwhile, experimental results show that the instance segmentation results can also be improved. Specially, by simply integrating the proposed CBNet into the baseline detector Cascade Mask R-CNN, we achieve a new state-of-the-art result on COCO dataset (mAP of 53.3) with single model, which demonstrates great effectiveness of the proposed CBNet architecture. Code will be made available on https://github.com/PKUbahuangliuhe/CBNet.


title: Vehicular LTE Connectivity Analysis in Urban and Rural Environments using USRP Measurements

abstract: The intelligent transportation system (ITS) offers a wide range of applications related to traffic management, which often require high data rate and low latency. The ubiquitous coverage and advancements of the Long Term Evolution (LTE) technology have made it possible to achieve these requirements and to enable broadband applications for vehicular users. In this paper, we perform field trial measurements in various different commercial LTE networks using software defined radios (SDRs) and report our findings. First, we provide a detailed tutorial overview on how to post-process SDR measurements for decoding broadcast channels and reference signal measurements from LTE networks. We subsequently describe the details of our measurement campaigns in urban, sub-urban, and rural environments. Based on these measurements, we report joint distributions of base station density, cellular coverage, link strength, disconnected vehicle duration, and vehicle velocity in these environments, and compare the LTE coverage in different settings. Our experimental results quantify the stronger coverage, shorter link distances, and shorter duration of disconnectivity in urban environments when compared to sub-urban and rural settings.


title: Hidden Monopole Dark Matter via Axion Portal and its Implications for Direct Detection Searches, Beam-Dump Experiments, and the $H_0$ Tension

abstract: Hidden monopole is a plausible dark matter candidate due to its stability, but its direct experimental search is extremely difficult due to feeble interactions with the standard model particles in the minimal form. Then, we introduce an axion, $a$, connecting the hidden monopole and the standard model particles and examine the current limits and future prospects of direct dark matter searches and beam-dump experiments. We find two parameter regions around $m_a = {\cal O}(10)$ MeV, $f_a = {\cal O}(10^{5})$ GeV and $m_a = {\cal O}(100)$ MeV, $f_a = {\cal O}(10^{4})$ GeV where monopole dark matter and the axion are respectively within the reach of the future experiments such as PICO-500 and SHiP. We also note that the hidden photons mainly produced by the axion decay contribute to dark radiation with $\Delta N_{\rm eff} \simeq 0.6$ which can relax the $H_0$ tension.


title: $C$-differentials, multiplicative uniformity and (almost) perfect $c$-nonlinearity

abstract: In this paper we define a new (output) multiplicative differential, and the corresponding $c$-differential uniformity. With this new concept, even for characteristic $2$, there are perfect $c$-nonlinear (PcN) functions. We first characterize the $c$-differential uniformity of a function in terms of its Walsh transform. We further look at some of the known perfect nonlinear (PN) and show that only one remains a PcN function, under a different condition on the parameters. In fact, the $p$-ary Gold PN function increases its $c$-differential uniformity significantly, under some conditions on the parameters. We then precisely characterize the $c$-differential uniformity of the inverse function (in any dimension and characteristic), relevant for the Rijndael (and Advanced Encryption Standard) block cipher.


title: Dynamic channel selection in wireless communications via a multi-armed bandit algorithm using laser chaos time series

abstract: Dynamic channel selection is among the most important wireless communication elements in dynamically changing electromagnetic environments wherein a user can experience improved communication quality by choosing a better channel. Multi-armed bandit (MAB) algorithms are a promising approach by which the difficult tradeoff between exploration to search for better a channel and exploitation to experience enhanced communication quality is resolved. Ultrafast solution of MAB problems has been demonstrated by utilizing chaotically oscillating time series generated by semiconductor lasers. In this study, we experimentally demonstrate a MAB algorithm incorporating laser chaos time series in a wireless local area network (WLAN). Autonomous and adaptive dynamic channel selection is successfully demonstrated in an IEEE802.11a-based, four-channel WLAN. Although the laser chaos time series is arranged prior to the WLAN experiments, the results confirm the usefulness of ultrafast chaotic sequences for real wireless applications. In addition, we numerically examine the underlining adaptation mechanism of the significantly simplified MAB algorithm implemented in the present study compared with the previously reported chaos-based decision makers. This study provides a first step toward the application of ultrafast chaotic lasers for future high-performance wireless communication networks.


title: Back-action effects in cavity-coupled quantum conductors

abstract: We study the electronic transport through a pair of distant nanosystems ($S_a$ and $S_b$) embedded in a single-mode cavity. Each system is connected to source and drain particle reservoirs and the electron-photon coupling is described by the Tavis-Cummings model. The generalized master equation approach provides the reduced density operator of the double-system in the dressed-states basis. It is shown that the photon-mediated coupling between the two subsystems leaves a signature on their transient and steady-state currents. In particular, a suitable bias applied on subsystem $S_b$ induces a photon-assisted current in the other subsystem $S_a$ which is otherwise in the Coulomb blockade. We also predict that a transient current passing through one subsystem triggers a charge transfer between the optically active levels of the second subsystem even if the latter is not connected to the leads. As a result of back-action, the transient current through the open system develops Rabi oscillations (ROs) whose period depends on the initial state of the closed system.


title: Communication-Censored Distributed Stochastic Gradient Descent

abstract: This paper develops a communication-efficient algorithm to solve the stochastic optimization problem defined over a distributed network, aiming at reducing the burdensome communication in applications such as distributed machine learning.Different from the existing works based on quantization and sparsification, we introduce a communication-censoring technique to reduce the transmissions of variables, which leads to our communication-Censored distributed Stochastic Gradient Descent (CSGD) algorithm. Specifically, in CSGD, the latest mini-batch stochastic gradient at a worker will be transmitted to the server if and only if it is sufficiently informative. When the latest gradient is not available, the stale one will be reused at the server. To implement this communication-censoring strategy, the batch-size is increasing in order to alleviate the effect of stochastic gradient noise. Theoretically, CSGD enjoys the same order of convergence rate as that of SGD, but effectively reduces communication. Numerical experiments demonstrate the sizable communication saving of CSGD.


title: Improving the scalabiliy of neutron cross-section lookup codes on multicore NUMA system

abstract: We use the XSBench proxy application, a memory-intensive OpenMP program, to explore the source of on-node scalability degradation of a popular Monte Carlo (MC) reactor physics benchmark on non-uniform memory access (NUMA) systems. As background, we present the details of XSBench, a performance abstraction "proxy app" for the full MC simulation, as well as the internal design of the Linux kernel. We explain how the physical memory allocation inside the kernel affects the multicore scalability of XSBench. On a sixteen-core, two-socket NUMA testbed, the scaling efficiency is improved from a nonoptimized 70% to an optimized 95%, and the optimized version consumes 25% less energy than does the nonoptimized version. In addition to the NUMA optimization we evaluate a page-size optimization to XSBench and observe a 1.5x performance improvement, compared with a nonoptimized one.


title: Boundary-layer profile of a singularly perturbed non-local semi-linear problem arising in chemotaxis

abstract: This paper is concerned with the following singularly perturbed non-local semi-linear problem \begin{equation} \label{h} \tag{$\ast$} \begin{cases} \varepsilon^2 \Delta u=\frac{m}{\int_{\Omega}e^{u}{\mathrm{d}x}}u e^u\quad &\mathrm{in}~\Omega,\\ u= u_0~&\mathrm{on}~\partial\Omega, \end{cases} \end{equation} which corresponds to the stationary problem of a chemotaxis system describing the aerobic bacterial movement, where $\Omega$ is a smooth bounded domain in $\mathbb{R}^N (N\geq 1)$, $\varepsilon, m$ and $u_0$ are positive constants. We show that the problem \eqref{h} admits a unique classical solution which is of boundary-layer profile as $\varepsilon \to 0$, where the boundary-layer thickness is of order $\varepsilon$. When $\Omega=B_R(0)$ is a ball with radius $R>0$, we find a refined asymptotic boundary layer profile up to the first-order expansion of $\varepsilon$ by which we find that the slope of the layer profile in the immediate vicinity of the boundary decreases with respect to (w.r.t.) the curvature while the boundary-layer thickness increases {w.r.t.} the curvature.


title: Krylov Subspace Method for Nonlinear Dynamical Systems with Random Noise

abstract: Operator-theoretic analysis of nonlinear dynamical systems has attracted much attention in a variety of engineering and scientific fields, endowed with practical estimation methods using data such as dynamic mode decomposition. In this paper, we address a lifted representation of nonlinear dynamical systems with random noise based on transfer operators, and develop a novel Krylov subspace method for estimating the operators using finite data, with consideration of the unboundedness of operators. For this purpose, we first consider Perron-Frobenius operators with kernel-mean embeddings for such systems. We then extend the Arnoldi method, which is the most classical type of Kryov subspace method, so that it can be applied to the current case. Meanwhile, the Arnoldi method requires the assumption that the operator is bounded, which is not necessarily satisfied for transfer operators on nonlinear systems. We accordingly develop the shift-invert Arnoldi method for Perron-Frobenius operators to avoid this problem. Also, we describe an approach of evaluating predictive accuracy by estimated operators on the basis of the maximum mean discrepancy, which is applicable, for example, to anomaly detection in complex systems. The empirical performance of our methods is investigated using synthetic and real-world healthcare data.


title: Nb$_{2}$SiTe$_{4}$: A Stable Narrow-Gap Two-Dimensional Material with Ambipolar Transport and Mid-Infrared Response

abstract: Two-dimensional (2D) materials with narrow band gaps (~0.3 eV) are of great importance for realizing ambipolar transistors and mid-infrared (MIR) detection. However, most of the 2D materials studied so far have band gaps that are too large. A few of them with suitable band gaps are not stable under ambient conditions. In this study, the layered Nb$_{2}$SiTe$_{4}$ is shown to be a stable 2D material with a band gap of 0.39 eV. Field-effect transistors based on few-layer Nb$_2$SiTe$_4$ show ambipolar transport with similar magnitude of electron and hole current and high charge-carrier mobility of ~ 100 cm$^{2}$V$^{-1}$s$^{-1}$ at room temperature. Optoelectronic measurements of the devices show clear response to MIR wavelength of 3.1 $\mathrm\mu$m with a high responsivity of ~ 0.66 AW$^{-1}$. These results establish Nb$_{2}$SiTe$_{4}$ as a good candidate for ambipolar devices and MIR detection.


title: Information Gathering in Ad-Hoc Radio Networks

abstract: In the ad-hoc radio network model, nodes communicate with their neighbors via radio signals, without knowing the topology of the graph. We study the information gathering problem, where each node has a piece of information called a rumor, and the objective is to transmit all rumors to a designated target node. We provide an O(n^1.5*polylog(n)) deteministic protocol for information gathering in ad-hoc radio networks, significantly improving the trivial bound of O(n^2).


title: Theory of Optimal Bayesian Feature Filtering

abstract: Optimal Bayesian feature filtering (OBF) is a supervised screening method designed for biomarker discovery. In this article, we prove two major theoretical properties of OBF. First, optimal Bayesian feature selection under a general family of Bayesian models reduces to filtering if and only if the underlying Bayesian model assumes all features are mutually independent. Therefore, OBF is optimal if and only if one assumes all features are mutually independent, and OBF is the only filter method that is optimal under at least one model in the general Bayesian framework. Second, OBF under independent Gaussian models is consistent under very mild conditions, including cases where the data is non-Gaussian with correlated features. This result provides conditions where OBF is guaranteed to identify the correct feature set given enough data, and it justifies the use of OBF in non-design settings where its assumptions are invalid.


title: Solving Continual Combinatorial Selection via Deep Reinforcement Learning

abstract: We consider the Markov Decision Process (MDP) of selecting a subset of items at each step, termed the Select-MDP (S-MDP). The large state and action spaces of S-MDPs make them intractable to solve with typical reinforcement learning (RL) algorithms especially when the number of items is huge. In this paper, we present a deep RL algorithm to solve this issue by adopting the following key ideas. First, we convert the original S-MDP into an Iterative Select-MDP (IS-MDP), which is equivalent to the S-MDP in terms of optimal actions. IS-MDP decomposes a joint action of selecting K items simultaneously into K iterative selections resulting in the decrease of actions at the expense of an exponential increase of states. Second, we overcome this state space explo-sion by exploiting a special symmetry in IS-MDPs with novel weight shared Q-networks, which prov-ably maintain sufficient expressive power. Various experiments demonstrate that our approach works well even when the item space is large and that it scales to environments with item spaces different from those used in training.


title: Optimal Lipschitz Maps on One-holed Tori and the Thurston Metric Theory of Teichmueller Space

abstract: We study Thurston's Lipschitz and curve metrics, as well as the arc metric on the Teichmueller space of one-hold tori equipped with complete hyperbolic metrics with boundary holonomy of fixed length. We construct natural Lipschitz maps between two surfaces equipped with such hyperbolic metrics that generalize Thurston's stretch maps and prove the following: (1) On the Teichmueller space of the torus with one boundary component, the Lipschitz and the curve metrics coincide and define a geodesic metric on this space. (2) On the same space, the arc and the curve metrics coincide when the length of the boundary component is =< 4 arcsinh(1), but differ when the boundary length is large. We further apply our stretch map generalization to construct novel Thurston geodesics on the Teichmueller spaces of closed hyperbolic surfaces, and use these geodesics to show that the sum-symmetrization of the Thurston metric fails to exhibit Gromov hyperbolicity.


title: Double parton interaction: the values of $\sigma_{\rm eff}$

abstract: In this letter we show that the two parton showers mechanism for $J/\Psi$ production, that has been discussed in Ref.[28], leads to small values of $\sigma_{\rm eff}$ for the production of a pair of $J/\Psi$. We develop a simple two channel approach to estimate the values of $\sigma_{\rm eff}$, which produces values that are in accord with the experimental data.


title: Definable (co)homology, pro-torus rigidity, and (co)homological classification

abstract: We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact metrizable spaces up to homotopy. In particular, we show that pro-tori are completely classified up to homeomorphism by their definable homology. This is in contrast with the fact that, for example, there exist uncountably many pairwise non-homeomorphic solenoids with the same Steenrod homology groups. We similarly develop a definable cohomology theory which strengthens \v{C}ech cohomology and we show that it completely classifies complements of pro-tori up to homeomorphism. We also apply definable cohomology theory to the study of the space $\left[ X,S^{2}\right] $ of homotopy classes of continuous functions from a solenoid complement $X$ to the $2$-sphere, which was initiated by Borsuk and Eilenberg in 1936. It was proved by Eilenberg and Steenrod in 1940 that the space $\left[ X,S^{2}\right] $ is uncountable. We will strengthen this result, by showing that each orbit of the canonical action $\mathrm{Homeo}% \left( X\right) \curvearrowright \left[ X,S^{2}\right] $ is countable, and hence that such an action has uncountably many orbits. This can be seen as a rigidity result, and will be deduced from a rigidity result for definable automorphisms of the \v{C}ech cohomology of $X$. We will also show that these results still hold if one replaces solenoids with pro-tori. We conclude by applying the machinery developed herein to bound the Borel complexity of several well-studied classification problems in mathematics, such as that of automorphisms of continuous-trace $C^{*}$-algebras up to unitary equivalence, or that of Hermitian line bundles, up to isomorphism, over a locally compact second countable space.


title: Impulse Response Data Augmentation and Deep Neural Networks for Blind Room Acoustic Parameter Estimation

abstract: The reverberation time (T60) and the direct-to-reverberant ratio (DRR) are commonly used to characterize room acoustic environments. Both parameters can be measured from an acoustic impulse response (AIR) or using blind estimation methods that perform estimation directly from speech. When neural networks are used for blind estimation, however, a large realistic dataset is needed, which is expensive and time consuming to collect. To address this, we propose an AIR augmentation method that can parametrically control the T60 and DRR, allowing us to expand a small dataset of real AIRs into a balanced dataset orders of magnitude larger. Using this method, we train a previously proposed convolutional neural network (CNN) and show we can outperform past single-channel state-of-the-art methods. We then propose a more efficient, straightforward baseline CNN that is 4-5x faster, which provides an additional improvement and is better or comparable to all previously reported single- and multi-channel state-of-the-art methods.


title: On the logarithm of the Riemann zeta-function and its iterated integrals

abstract: This paper gives some results for the logarithm of the Riemann zeta-function and its iterated integrals. We obtain a certain explicit approximation formula for these functions. The formula has some applications, which are related with the value distribution of these functions and a relation between prime numbers and the distribution of zeros in short intervals.


title: Joint Long-Term Admission Control and Beamforming in Green Downlink Networks: Offline and Online Approaches

abstract: Admission control is an effective solution to managing a wireless network with a large user set. It dynamically rejects users in bad conditions, and thereby guarantees high quality-of-service (QoS) for the others. Unfortunately, a frequently-varying admissible user set requests remarkable power to continually re-establish the transmission link. Hence, we explore the stability of admissible user set, and formulate a joint long-term admission control and beamforming problem for a network with one multi-antenna base station (BS) and multiple single-antenna users. We consider the downlink transmission in a time period containing multiple time slices. By jointly optimizing the admissible users and the BS transmit beamformers in different time slices, we aim to minimize the total power cost, including not only the power for QoS guarantee, but also the power for user status switching. Due to the NP-hardness of the problem, we develop two (offline and online) algorithms to find some efficient suboptimal solutions. The offline algorithm requires all channel state information (CSI), and solves the admissible users and beamformers in different time slices in one shot, based on successive upper-bound minimization (SUM). To support real-time data transmission, we further design an alternating direction method of multipliers (ADMM)-based online algorithm, which outputs the admissible users and beamformers in different time slices successively, utilizing the previous admissible user set, the actual value of current CSI, and the distribution of future CSI. Simulations validate the performance of the two algorithms, and show that the online algorithm is an efficient practical alternative to the offline algorithm.


title: A class of curvature type equations

abstract: In this paper, we study the solvability of a general class of fully nonlinear curvature equations, which can be viewed as generalizations of the equations for Christoffel-Minkowski problem in convex geometry. We will also study the Dirichlet problem of the corresponding degenerate equations as an extension of the equations studied by Krylov.


title: High-fidelity and long-distance entangled-state transfer with Floquet topological edge modes

abstract: We propose the generation of entangled qubits by utilizing the properties of edge states appearing at one end of a periodically driven (Floquet) superconducting qubit chain. Such qubits are naturally protected by the system's topology and their manipulation is possible through adiabatic control of the system parameters. By utilizing a Y-junction geometry, we then develop a protocol to perform high-fidelity transfer of entangled qubits from one end to another end of a qubit chain. Our quantum state transfer protocol is found to be robust against disorder and imperfection in the system parameters. More importantly, our proposed protocol also performs remarkably well at larger system sizes due to nonvanishing gaps between the involved edge states and the bulk states, thus allowing us in principle to transfer entangled states over an arbitrarily large distance. This work hence indicates that Floquet topological edge states are not only resourceful for implementing quantum gate operations, but also useful for high-fidelity and long-distance transfer of entangled states along solid-state qubit chains.


title: A Comprehensive Benchmark for Single Image Compression Artifacts Reduction

abstract: We present a comprehensive study and evaluation of existing single image compression artifacts removal algorithms, using a new 4K resolution benchmark including diversified foreground objects and background scenes with rich structures, called Large-scale Ideal Ultra high definition 4K (LIU4K) benchmark. Compression artifacts removal, as a common post-processing technique, aims at alleviating undesirable artifacts such as blockiness, ringing, and banding caused by quantization and approximation in the compression process. In this work, a systematic listing of the reviewed methods is presented based on their basic models (handcrafted models and deep networks). The main contributions and novelties of these methods are highlighted, and the main development directions, including architectures, multi-domain sources, signal structures, and new targeted units, are summarized. Furthermore, based on a unified deep learning configuration (i.e. same training data, loss function, optimization algorithm, etc.), we evaluate recent deep learning-based methods based on diversified evaluation measures. The experimental results show the state-of-the-art performance comparison of existing methods based on both full-reference, non-reference and task-driven metrics. Our survey would give a comprehensive reference source for future research on single image compression artifacts removal and inspire new directions of the related fields.


title: Role of Neutron Transfer in Sub-Barrier Fusion

abstract: Fusion excitation function of $^{35}$Cl + $^{130}$Te system is measured in the energy range around the Coulomb barrier and analyzed in the framework of the coupled-channels approach. The role of projectile deformation, nuclear structure, and the couplings of inelastic excitations and positive Q$-$value neutron transfer channels in sub-barrier fusion are investigated through the comparison of reduced fusion excitation functions of $^{35,37}$Cl +$^{130}$Te systems. The reduced fusion excitation function of $^{35}$Cl + $^{130}$Te system shows substantial enhancement over $^{37}$Cl + $^{130}$Te system in sub-barrier energy region which is attributed to the presence of positive Q-value neutron transfer channels in $^{35}$Cl + $^{130}$Te system. Findings of this work strongly suggest the importance of +2$n$ - transfer coupling in sub-barrier fusion apart from the simple inclusion of inelastic excitations of interacting partners, and are in stark contrast with the results presented by Kohley \textit{et al.}, [Phys. Rev. Lett. 107, 202701 (2011)].


title: On complex explicit formulae connected with the M\"obius function of an elliptic curve

abstract: We study analytic properties function $m(z, E)$, which is defined on the upper half-plane as an integral from the shifted $L$-function of an elliptic curve. We show that $m(z, E)$ analytically continues to a meromorphic function on the whole complex plane and satisfies certain functional equation. Moreover, we give explicit formula for $m(z, E)$ in the strip $|\Im{z}|<2\pi$.


title: Real-time and interactive tools for vocal training based on an analytic signal with a cosine series envelope

abstract: We introduce real-time and interactive tools for assisting vocal training. In this presentation, we demonstrate mainly a tool based on real-time visualizer of fundamental frequency candidates to provide information-rich feedback to learners. The visualizer uses an efficient algorithm using analytic signals for deriving phase-based attributes. We start using these tools in vocal training for assisting learners to acquire the awareness of appropriate vocalization. The first author made the MATLAB implementation of the tools open-source. The code and associated video materials are accessible in the first author's GitHub repository.


title: The Alpha-Beta-Skew-Logistic Distribution And Its Applications

abstract: In this paper, an alpha-beta-skew-logistic distribution is proposed following the same methodology as those of alpha-beta-skew-normal of Shafiei et al. (2016) and investigated some of its related distributional properties. Finally, the validity of our proposed distribution has tested by considering three real life applications and comparing the values of Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC) with the values of some other related distributions. Likelihood ratio test is used for discriminating between logistic and the proposed distributions. Keywords: Skew Distributions, Alpha-Skew Distributions, Bimodal Distributions


title: Common surface structures of graphene and Au(111) : The effect of rotational angle on adsorption and electronic properties

abstract: Graphene adsorption on Au(111) surface was explored to identify their common surface structures by means of van der Waals corrected density functional theory calculations. The alignment of graphene in the form of certain rotational angles on the gold surface has an important role on the lattice matching which causes Moir\'{e} patterns, and on the electronic properties of the resulting common cell structures. The dispersive weak interactions between carbon and gold layers lead to a downward shift of Fermi energy of the adsorption system with respect to the Dirac point of graphene showing a $p$-type doping character. Moreover, the shift was shown to depend on the rotational angle of graphene on Au(111).


title: Open Data Chatbot

abstract: Recently, chatbots received an increased attention from industry and diverse research communities as a dialogue-based interface providing advanced human-computer interactions. On the other hand, Open Data continues to be an important trend and a potential enabler for government transparency and citizen participation. This paper shows how these two paradigms can be combined to help non-expert users find and discover open government datasets through dialogue.


title: The Future of Misinformation Detection: New Perspectives and Trends

abstract: The massive spread of misinformation in social networks has become a global risk, implicitly influencing public opinion and threatening social/political development. Misinformation detection (MID) has thus become a surging research topic in recent years. As a promising and rapid developing research field, we find that many efforts have been paid to new research problems and approaches of MID. Therefore, it is necessary to give a comprehensive review of the new research trends of MID. We first give a brief review of the literature history of MID, based on which we present several new research challenges and techniques of it, including early detection, detection by multimodal data fusion, and explanatory detection. We further investigate the extraction and usage of various crowd intelligence in MID, which paves a promising way to tackle MID challenges. Finally, we give our own views on the open issues and future research directions of MID, such as model adaptivity/generality to new events, embracing of novel machine learning models, explanatory detection models, and so on.


title: The Properties of Planetesimal Collisions under Jupiter's Perturbation and the Application to Chondrule Formation via Impact Jetting

abstract: Understanding chondrule formation provides invaluable clues about the origin of the solar system. Recent studies suggest that planetesimal collisions and the resulting impact melts are promising for forming chondrules. Given that the dynamics of planetesimals is a key in impact-based chondrule formation scenarios, we here perform direct $N$-body simulations to examine how the presence of Jupiter affects the properties of chondrule-forming collisions. Our results show that the absence/presence of Jupiter considerably changes the properties of high velocity collisions whose impact velocities are higher than 2.5 km s$^{-1}$; high velocity collisions occur due to impacts between protoplanets and planetesimals for the case without Jupiter; for the case with Jupiter, eccentricities of planetesimals are pumped up by the secular and resonant perturbations from Jupiter. We also categorize the resulting planetesimal collisions and find that most of high velocity collisions are classified as grazing ones for both cases. To examine the effect of Jupiter on chondrule formation directly, we adopt the impact jetting scenario and compute the resulting abundance of chondrules. Our results show that for the case without Jupiter, chondrule formation proceeds in the inside-out manner, following the growth of protoplanets. If Jupiter is present, the location and timing of chondrule formation are determined by Jupiter's eccentricity, which is treated as a free parameter in our simulations. Thus, the existence of Jupiter is the key parameter for specifying when and where chondrule formation occurs for impact-based scenarios.


title: Saliency based Semi-supervised Learning for Orbiting Satellite Tracking

abstract: The trajectory and boundary of an orbiting satellite are fundamental information for on-orbit repairing and manipulation by space robots. This task, however, is challenging owing to the freely and rapidly motion of on-orbiting satellites, the quickly varying background and the sudden change in illumination conditions. Traditional tracking usually relies on a single bounding box of the target object, however, more detailed information should be provided by visual tracking such as binary mask. In this paper, we proposed a SSLT (Saliency-based Semi-supervised Learning for Tracking) algorithm that provides both the bounding box and segmentation binary mask of target satellites at 12 frame per second without requirement of annotated data. Our method, SSLT, improves the segmentation performance by generating a saliency map based semi-supervised on-line learning approach within the initial bounding box estimated by tracking. Once a customized segmentation model has been trained, the bounding box and satellite trajectory will be refined using the binary segmentation result. Experiment using real on-orbit rendezvous and docking video from NASA (Nation Aeronautics and Space Administration), simulated satellite animation sequence from ESA (European Space Agency) and image sequences of 3D printed satellite model took in our laboratory demonstrate the robustness, versatility and fast speed of our method compared to state-of-the-art tracking and segmentation methods. Our dataset will be released for academic use in future.


title: Probing nonlocality of Majorana fermions in Josephson junctions of Kitaev chains connected to normal metal leads

abstract: Kitaev chain (KC) is a prototypical model for the study of Majorana fermions (MFs). In the topological phase, a KC hosts two MFs at its ends. Being separated in space, these two MFs are nonlocal. The nonlocal transport in a KC biased between two normal metal leads is mediated by electron tunneling (ET) and crossed Andreev reflection (CAR). ET contributes positively while CAR contributes negatively to the nonlocal conductance. Enhanced CAR and hence a negative nonlocal conductance is a hallmark of nonlocality of MFs. But simple conductance measurements in the above setup cannot probe the nonlocality of MFs due to the almost cancellation of currents from ET and CAR. On the other hand, a Josephson junction between two KCs hosts two Andreev bound states (ABSs) at the junction formed by a recombination of Majorana fermions of the individual KCs. The energies of the ABSs are away from zero and can be changed by altering the superconducting phase difference. A Josephson junction between two finitely long KCs hosts two MFs at the two ends and two ABSs at the junction. We show that when normal metal leads are connected to two ends of such a Josephson junction, the nonlocal conductance of the setup can be negative for bias values equal to the energies of the ABSs. Thus the nonlocal conductance in such setup can probe the nonlocality of the constituent MFs.


title: Sindarin: A Versatile Scripting API for the Pharo Debugger

abstract: Debugging is one of the most important and time consuming activities in software maintenance, yet mainstream debuggers are not well-adapted to several debugging scenarios. This has led to the research of new techniques covering specific families of complex bugs. Notably, recent research proposes to empower developers with scripting DSLs, plugin-based and moldable debuggers. However, these solutions are tailored to specific use-cases, or too costly for one-time-use scenarios. In this paper we argue that exposing a debugging scripting interface in mainstream debuggers helps in solving many challenging debugging scenarios. For this purpose, we present Sindarin, a scripting API that eases the expression and automation of different strategies developers pursue during their debugging sessions. Sindarin provides a GDB-like API, augmented with AST-bytecode-source code mappings and object-centric capabilities. To demonstrate the versatility of Sindarin, we reproduce several advanced breakpoints and non-trivial debugging mechanisms from the literature.


title: Quantum differentiability on quantum tori

abstract: We provide a full characterisation of quantum differentiability (in the sense of Connes) on quantum tori. We also prove a quantum integration formula which differs substantially from the commutative case.


title: The effective shear and dilatational viscosity of a particle-laden interface in the dilute limit

abstract: The effective dilatational and shear viscosities of a particle-laden fluid interface are computed in the dilute limit under the assumption of an asymptotically vanishing viscosity ratio between both fluids. Spherical particles with a given contact angle of the fluid interface at the particle surface are considered. A planar fluid interface and a small Reynolds number are assumed. The theoretical analysis is based on a domain perturbation expansion in the deviation of the contact angle from $90^\circ$ up to the second order. The resulting effective dilatational viscosity shows a stronger dependence on the contact angle than the effective shear viscosity, and its magnitude is larger for all contact angles. As an application of the theory, the stability of a liquid cylinder decorated with particles is considered. The limits of validity of the theory and possible applications in terms of numerical simulations of particle-laden interfaces are discussed.


title: Extracting physical power plant parameters from historical behaviour

abstract: The information needed for fundamental modelling of the power markets -- the efficiency, start-up, fixed, and variable operating costs of each power plant -- is not publicly available. These parameters are usually estimated by considering the type of technology and the age of a power plant. We present a method to extract these parameters for thermal power plants on the British electricity market using only the publicly available data. For each power plant, we solve a bilevel optimisation problem, where the inner level solves the Unit Commitment (UC) problem and outputs the optimal schedule given the prices of fuel, emissions, electricity, and the unknown plant parameters. The outer level then optimises over the plant parameters matching the historical production of each plant as closely as possible.


title: Polar decomposition of semigroups generated by non-selfadjoint quadratic differential operators and regularizing effects

abstract: We characterize geometrically the regularizing effects of the semigroups generated by accretive non-selfadjoint quadratic differential operators. As a byproduct, we establish the subelliptic estimates enjoyed by these operators, being expected to be optimal. These results prove conjectures by M. Hitrik, K. Pravda-Starov and J. Viola. The proof relies on a new representation of the polar decomposition of these semigroups. In particular, we identify the selfadjoint part as the evolution operator generated by the Weyl quantization of a time-dependent real-valued nonnegative quadratic form for which we prove a sharp anisotropic lower bound.


title: Green's Functions of Recurrence Relations with Reflection

abstract: In this work we develop an algebraic theory of linear recurrence equations and systems with constant coefficients and reflection. We obtain explicit solutions and the Green's functions associated to different problems under general linear boundary conditions. Furthermore, we establish different relations between the algebras of recurrence and differential operators, showing the similarities and differences between them.


title: Learning How to Dynamically Route Autonomous Vehicles on Shared Roads

abstract: Road congestion induces significant costs across the world, and road network disturbances, such as traffic accidents, can cause highly congested traffic patterns. If a planner had control over the routing of all vehicles in the network, they could easily reverse this effect. In a more realistic scenario, we consider a planner that controls autonomous cars, which are a fraction of all present cars. We study a dynamic routing game, in which the route choices of autonomous cars can be controlled and the human drivers react selfishly and dynamically. As the problem is prohibitively large, we use deep reinforcement learning to learn a policy for controlling the autonomous vehicles. This policy indirectly influences human drivers to route themselves in such a way that minimizes congestion on the network. To gauge the effectiveness of our learned policies, we establish theoretical results characterizing equilibria and empirically compare the learned policy results with best possible equilibria. We prove properties of equilibria on parallel roads and provide a polynomial-time optimization for computing the most efficient equilibrium. Moreover, we show that in the absence of these policies, high demand and network perturbations would result in large congestion, whereas using the policy greatly decreases the travel times by minimizing the congestion. To the best of our knowledge, this is the first work that employs deep reinforcement learning to reduce congestion by indirectly influencing humans' routing decisions in mixed-autonomy traffic.


title: Detection of genuine tripartite entanglement by multiple sequential observers

abstract: Due to the difficulties present in experimentally preparing genuine tripartite entanglement, it is important to explore the possibility of multiple usage of a single genuine entangled state. In the present paper, we present one such possibility by considering a scenario consisting of three spin-$\frac{1}{2}$ particles shared between Alice, Bob and multiple Charlies. Alice performs measurements on the first particle, Bob performs measurements on the second particle and multiple Charlies perform measurements on the third particle sequentially and independently. In this scenario, we investigate whether more than one Charlie can detect genuine tripartite entanglement, and we answer this question affirmatively. In order to probe genuine entanglement, we use correlation inequalities whose violations certify genuine tripartite entanglement in a device-independent way. We extend our investigation by using appropriate genuine tripartite entanglement witness operators. Using each of these different tools for detecting genuine tripartite entanglement, we find out the maximum number of Charlies who can detect genuine entanglement in the above scenario.


title: Traces of powers of matrices over finite fields

abstract: Let $M$ be a random matrix chosen according to Haar measure from the unitary group $\mathrm{U}(n,\mathbb{C})$. Diaconis and Shahshahani proved that the traces of $M,M^2,\ldots,M^k$ converge in distribution to independent normal variables as $n \to \infty$, and Johansson proved that the rate of convergence is superexponential in $n$. We prove a finite field analogue of these results. Fixing a prime power $q = p^r$, we choose a matrix $M$ uniformly from the finite unitary group $\mathrm{U}(n,q)\subseteq \mathrm{GL}(n,q^2)$ and show that the traces of $\{ M^i \}_{1 \le i \le k,\, p \nmid i}$ converge to independent uniform variables in $\mathbb{F}_{q^2}$ as $n \to \infty$. Moreover we show the rate of convergence is exponential in $n^2$. We also consider the closely related problem of the rate at which characteristic polynomial of $M$ equidistributes in `short intervals' of $\mathbb{F}_{q^2}[T]$. Analogous results are also proved for the general linear, special linear, symplectic and orthogonal groups over a finite field. In the two latter families we restrict to odd characteristic. The proofs depend upon applying techniques from analytic number theory over function fields to formulas due to Fulman and others for the probability that the characteristic polynomial of a random matrix equals a given polynomial.


title: Generalized logarithmic Hardy-Littlewood-Sobolev inequality

abstract: This paper is devoted to logarithmic Hardy-Littlewood-Sobolev inequalities in the two-dimensional Euclidean space, in presence of an external potential with logarithmic growth. The coupling with the potential introduces a new parameter, with two regimes. The attractive regime reflects the standard logarithmic Hardy-Littlewood-Sobolev inequality. The second regime corresponds to a reverse inequality, with the opposite sign in the convolution term, that allows us to bound the free energy of a drift-diffusion-Poisson system from below. Our method is based on an extension of an entropy method proposed by E. Carlen, J. Carrillo and M. Loss, and on a nonlinear diffusion equation.


title: Path-connectivity of the set of uniquely ergodic and cobounded foliations

abstract: We show that for a closed surface of genus at least 5, or a surface of genus at least 2 with at least one marked point, the set of uniquely ergodic foliations and the set of cobounded foliations is path-connected and locally path-connected.


title: DensePoint: Learning Densely Contextual Representation for Efficient Point Cloud Processing

abstract: Point cloud processing is very challenging, as the diverse shapes formed by irregular points are often indistinguishable. A thorough grasp of the elusive shape requires sufficiently contextual semantic information, yet few works devote to this. Here we propose DensePoint, a general architecture to learn densely contextual representation for point cloud processing. Technically, it extends regular grid CNN to irregular point configuration by generalizing a convolution operator, which holds the permutation invariance of points, and achieves efficient inductive learning of local patterns. Architecturally, it finds inspiration from dense connection mode, to repeatedly aggregate multi-level and multi-scale semantics in a deep hierarchy. As a result, densely contextual information along with rich semantics, can be acquired by DensePoint in an organic manner, making it highly effective. Extensive experiments on challenging benchmarks across four tasks, as well as thorough model analysis, verify DensePoint achieves the state of the arts.


title: The heat kernel on $SL(2,\mathbb{R})$

abstract: Let $G$ be a noncompact semisimple Lie group equipped with a certain invariant Riemannian metric. Then, we can consider a heat kernel function on $G$ associated to the Riemannian metric. We give an explicit formula for the heat kernel when $G = SL(2,\mathbb{R})$. The main tools are spherical transform and Helgason-Fourier transform for homogeneous vector bundles studied by R. Camporesi.


title: Narrow autoresonant magnetization structures in finite length ferromagnetic nanoparticles

abstract: The autoresonant approach to excitation and control of large amplitude uniformly precessing magnetization structures in finite length easy axis ferromagnetic nanoparticles is suggested and analyzed within the Landau-Lifshitz-Gilbert model. These structures are excited by using a spatially uniform, oscillating, chirped frequency magnetic field, while the localization is imposed via boundary conditions. The excitation requires the amplitude of the driving oscillations to exceed a threshold. The dissipation effect on the threshold is also discussed. The autoresonant driving effectively compensates the effect of dissipation, but lowers the maximum amplitude of the excited structures. Fully nonlinear localized autoresonant solutions are illustrated in simulations and described via an analog of a quasi-particle in an effective potential. The precession frequency of these solutions is continuously locked to that of the drive, while the spatial magnetization profile approaches the soliton limit when the length of the nanoparticle and the amplitude of the excited solution increase.


title: Two-point String Amplitudes Revisited by Operator Formalism

abstract: So far we have considered that a two-point string amplitude vanishes due to the infinite volume of residual gauge symmetry. However recently Erbin-Maldacena-Skliros have suggested that the two-point amplitude can have non-zero value, because one can cancel the infinite volume by the infinity coming from on-shell energy conservation. They derived the two-point function by Fadeev-Popov method. In this paper we revisit this two-point string amplitude in the operator formalism. We find the mostly BRST exact operator which yields non-zero two-point amplitudes.


title: An Evaluation of BBR and its variants

abstract: The congestion control algorithm bring such importance that it avoids the network link into severe congestion and guarantees network normal operation. Since The loss based algorithms introduce high transmission delay, to design new algorithm simultaneously achieving high throughout and low buffer occupation is a new working direction. The bottleneck bandwidth and round trip time (BBR) belongs such kind, and it has drawn much attention since its release. There are other algorithms modified from BBR to gain better performance. And the implementation of BBR v2.0 is released recently. We implement a framework to compare the performance of these algorithms in simulated environment.


title: Faithful Simulation and Detection of Quantum Spin Hall Effect on Superconducting Circuits

abstract: Topological states of quantum matter have inspired both fascinating physics findings and exciting opportunities for applications. Due to the over-complicated structure of, as well as interactions between, real materials, a faithful quantum simulation of topological matter is very important in deepening our understanding of these states. This requirement puts the quantum superconducting circuits system as a good option for mimicking topological materials, owing to their flexible tunability and fine controllability. As a typical example herein, we realize a $\mathbb{Z}_2$-type topological insulator featuring the quantum spin Hall effect state, using a coupled system of transmission-line resonators and transmons. The single-excitation eigenstates of each unit cell are used as a pseudo-spin 1/2 system. The boundary of the topological phase transition is fixed in the phase diagram. Topological edge states are shown, which can be experimentally verified by detecting the population at the boundary of the plane. Compared to the previous simulations, this compositional system is fairly controllable, stable and less limited. Therefore, our scheme provides a reliable platform for faithful quantum simulations of topological matter.


title: Generating infinite digraphs by derangements

abstract: A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^\sigma)$ for $x\in V$ and $\sigma\in\mathcal{S}$. We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erd\H{o}s for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite $1$-factor cover for an associated bipartite (undirected) graph.


title: Joint, Partially-joint, and Individual Independent Component Analysis in Multi-Subject fMRI Data

abstract: Objective: Joint analysis of multi-subject brain imaging datasets has wide applications in biomedical engineering. In these datasets, some sources belong to all subjects (joint), a subset of subjects (partially-joint), or a single subject (individual). In this paper, this source model is referred to as joint/partially-joint/individual multiple datasets multidimensional (JpJI-MDM), and accordingly, a source extraction method is developed. Method: We present a deflation-based algorithm utilizing higher order cumulants to analyze the JpJI-MDM source model. The algorithm maximizes a cost function which leads to an eigenvalue problem solved with thin-SVD (singular value decomposition) factorization. Furthermore, we introduce the JpJI-feature which indicates the spatial shape of each source and the amount of its jointness with other subjects. We use this feature to determine the type of sources. Results: We evaluate our algorithm by analyzing simulated data and two real functional magnetic resonance imaging (fMRI) datasets. In our simulation study, we will show that the proposed algorithm determines the type of sources with the accuracy of 95% and 100% for 2-class and 3-class clustering scenarios, respectively. Furthermore, our algorithm extracts meaningful joint and partially-joint sources from the two real datasets, which are consistent with the existing neuroscience studies. Conclusion: Our results in analyzing the real datasets reveal that both datasets follow the JpJI-MDM source model. This source model improves the accuracy of source extraction methods developed for multi-subject datasets. Significance: The proposed joint blind source separation algorithm is robust and avoids parameters which are difficult to fine-tune.


title: Learning Task-Specific Generalized Convolutions in the Permutohedral Lattice

abstract: Dense prediction tasks typically employ encoder-decoder architectures, but the prevalent convolutions in the decoder are not image-adaptive and can lead to boundary artifacts. Different generalized convolution operations have been introduced to counteract this. We go beyond these by leveraging guidance data to redefine their inherent notion of proximity. Our proposed network layer builds on the permutohedral lattice, which performs sparse convolutions in a high-dimensional space allowing for powerful non-local operations despite small filters. Multiple features with different characteristics span this permutohedral space. In contrast to prior work, we learn these features in a task-specific manner by generalizing the basic permutohedral operations to learnt feature representations. As the resulting objective is complex, a carefully designed framework and learning procedure are introduced, yielding rich feature embeddings in practice. We demonstrate the general applicability of our approach in different joint upsampling tasks. When adding our network layer to state-of-the-art networks for optical flow and semantic segmentation, boundary artifacts are removed and the accuracy is improved.


title: Embedding Theorem For Weighted Hardy Spaces into Lebesgue Spaces

abstract: In this paper, we consider the weighted Hardy space $\mathcal{H}^p(\omega)$ induced by an $A_1$ weight $\omega.$ We characterize the positive Borel measure $\mu$ such that the identical operator maps $\mathcal{H}^p(\omega)$ into $L^q(d\mu)$ boundedly when $0<p, q<\infty.$ As an application, we obtain necessary and sufficient conditions for the boundedness of generalized area operators $A_{\mu,\nu}$ from $\mathcal{H}^p(\omega)$ to $L^q(\omega).$


title: Estimating the potential for shared autonomous scooters

abstract: Recent technological developments have shown significant potential for transforming urban mobility. Considering first- and last-mile travel and short trips, the rapid adoption of dockless bike-share systems showed the possibility of disruptive change, while simultaneously presenting new challenges, such as fleet management or the use of public spaces. In this paper, we evaluate the operational characteristics of a new class of shared vehicles that are being actively developed in the industry: scooters with self-repositioning capabilities. We do this by adapting the methodology of shareability networks to a large-scale dataset of dockless bike-share usage, giving us estimates of ideal fleet size under varying assumptions of fleet operations. We show that the availability of self-repositioning capabilities can help achieve up to 10 times higher utilization of vehicles than possible in current bike-share systems. We show that actual benefits will highly depend on the availability of dedicated infrastructure, a key issue for scooter and bicycle use. Based on our results, we envision that technological advances can present an opportunity to rethink urban infrastructures and how transportation can be effectively organized in cities.


title: Machine Learning Approach for Air Shower Recognition in EUSO-SPB Data

abstract: The main goal of The Extreme Universe Space Observatory on a Super Pressure Balloon (EUSO-SPB1) was to observe from above extensive air showers caused by ultra-high energy cosmic rays. EUSO-SPB1 uses a fluorescence detector that observes the atmosphere in a nadir observation mode from a near space altitude. During the 12-day flight, an onboard first level trigger detected more than \num{175000} candidate events. This paper presents an approach to recognize air showers in this dataset. The approach uses a feature extraction method to create a simpler representation of an event and then it uses established machine learning techniques to classify data into at least two classes - shower and noise. The machine learning models are trained on a set of air shower simulations put on top of the background observed during the flight and a set of events from the flight. We present the efficiency of the method on datasets of simulated events. The flight data events are also used in unsupervised learning methods to identify groups of events with similar features. The presented methods allow us to shorten the candidate events list and, thanks to the groups of similar events identified by the unsupervised methods, the classification of the triggered events is made simpler.


title: Outlier Detection in High Dimensional Data

abstract: High-dimensional data poses unique challenges in outlier detection process. Most of the existing algorithms fail to properly address the issues stemming from a large number of features. In particular, outlier detection algorithms perform poorly on data set of small size with a large number of features. In this paper, we propose a novel outlier detection algorithm based on principal component analysis and kernel density estimation. The proposed method is designed to address the challenges of dealing with high-dimensional data by projecting the original data onto a smaller space and using the innate structure of the data to calculate anomaly scores for each data point. Numerical experiments on synthetic and real-life data show that our method performs well on high-dimensional data. In particular, the proposed method outperforms the benchmark methods as measured by the $F_1$-score. Our method also produces better-than-average execution times compared to the benchmark methods.


title: Elastic higher-order topological insulators with quantization of the quadrupole moments

abstract: We demonstrate that HOTIs with the quantization of the quadrupole moments can be realized in the two-dimensional elastic phononic crystals (PnCs). Both one-dimensional (1D) topological edge states and zero-dimensional (0D) topological corner states are visualized and can be transformed each other by tuning the crystalline symmetry in a hierarchical structure. The systematic band structure calculations indicate that elastic wave energy in the hierarchical structure can be localized with remarkable robustness, which is very promising for new generations of integrated solid-state phononic circuits with a great versatility.


title: Don't Take the Easy Way Out: Ensemble Based Methods for Avoiding Known Dataset Biases

abstract: State-of-the-art models often make use of superficial patterns in the data that do not generalize well to out-of-domain or adversarial settings. For example, textual entailment models often learn that particular key words imply entailment, irrespective of context, and visual question answering models learn to predict prototypical answers, without considering evidence in the image. In this paper, we show that if we have prior knowledge of such biases, we can train a model to be more robust to domain shift. Our method has two stages: we (1) train a naive model that makes predictions exclusively based on dataset biases, and (2) train a robust model as part of an ensemble with the naive one in order to encourage it to focus on other patterns in the data that are more likely to generalize. Experiments on five datasets with out-of-domain test sets show significantly improved robustness in all settings, including a 12 point gain on a changing priors visual question answering dataset and a 9 point gain on an adversarial question answering test set.


title: Multitype branching process with nonhomogeneous Poisson and generalized Polya immigration

abstract: In a multitype branching process, it is assumed that immigrants arrive according to a nonhomogeneous Poisson or a generalized Polya process (both processes are formulated as a nonhomogeneous birth process with an appropriate choice of transition intensities). We show that the renormalized numbers of objects of the various types alive at time $t$ for supercritical, critical, and subcritical cases jointly converge in distribution under those two different arrival processes. Furthermore, some transient moment analysis when there are only two types of particles is provided. AMS 2000 subject classifications: Primary 60J80, 60J85; secondary 60K10, 60K25, 90B15.


title: Spatial heterogeneities in structural temperature cause Kovacs expansion gap paradox in aging of glasses

abstract: Volume and enthalpy relaxation of glasses after a sudden temperature change has been extensively studied since Kovacs seminal work. One observes an asymmetric approach to equilibrium upon cooling versus heating and, more counter-intuitively, the expansion gap paradox, i.e. a dependence on the initial temperature of the effective relaxation time even close to equilibrium when heating. Here we show that a distinguishable-particles lattice model can capture both the asymmetry and the expansion gap. We quantitatively characterize the energetic states of the particles configurations using a physical realization of the fictive temperature called the structural temperature, which, in the heating case, displays a strong spatial heterogeneity. The system relaxes by nucleation and expansion of warmer mobile domains having attained the final temperature, against cooler immobile domains maintained at the initial temperature. A small population of these cooler regions persists close to equilibrium, thus explaining the paradox.


title: Collisional gyrokinetic full-f particle-in-cell simulations on open field lines with PICLS

abstract: Applying gyrokinetic simulations for theoretical turbulence and transport studies to the plasma edge and scrape-off layer (SOL) presents significant challenges. To in particular account for steep density and temperature gradients in the SOL, the "full-f" code PICLS was developed. PICLS is a gyrokinetic particle-in-cell (PIC) code and is based on an electrostatic model with a linearized field equation and uses kinetic electrons. In previously published results we were applying PICLS to the well-studied 1D parallel transport problem during an edge-localized mode (ELM) in the SOL without collisions. As an extension to this collision-less case and in preparation for 3D simulations, in this work a collisional model will be introduced. The implemented Lenard-Bernstein collision operator and its Langevin discretization will be shown. Conservation properties of the collision operator as well as a comparison of the collisional and non-collisional case will be discussed.


title: Trunk Pitch Oscillations for Joint Load Redistribution in Humans and Humanoid Robots

abstract: Creating natural-looking running gaits for humanoid robots is a complex task due to the underactuated degree of freedom in the trunk, which makes the motion planning and control difficult. The research on trunk movements in human locomotion is insufficient, and no formalism is known to transfer human motion patterns onto robots. Related work mostly focuses on the lower extremities, and simplifies the problem by stabilizing the trunk at a fixed angle. In contrast, humans display significant trunk motions that follow the natural dynamics of the gait. In this work, we use a spring-loaded inverted pendulum model with a trunk (TSLIP) together with a virtual point (VP) target to create trunk oscillations and investigate the impact of these movements. We analyze how the VP location and forward speed determine the direction and magnitude of the trunk oscillations. We show that positioning the VP below the center of mass (CoM) can explain the forward trunk pitching observed in human running. The VP below the CoM leads to a synergistic work between the hip and leg, reducing the leg loading. However, it comes at the cost of increased peak hip torque. Our results provide insights for leveraging the trunk motion to redistribute joint loads and potentially improve the energy efficiency in humanoid robots.


title: Mode II fracture of an elastic-plastic sandwich layer

abstract: The shear strength of a pre-cracked sandwich layer is predicted, assuming that the layer is linear elastic or elastic-plastic, with yielding characterized by either J2 plasticity theory or by a strip-yield model. The substrates are elastic and of dissimilar modulus to that of the layer. Two geometries are analysed: (i) a semi-infinite crack in a sandwich layer, subjected to a remote mode II K-field and (ii) a centre-cracked sandwich plate of finite width under remote shear stress. For the semi-infinite crack, the near tip stress field is determined as a function of elastic mismatch, and crack tip plasticity is either prevented (the elastic case) or is duly accounted for (the elastic-plastic case). Analytical and numerical solutions are then obtained for the centre-cracked sandwich plate of finite width. First, a mode II K-calibration is obtained for a finite crack in the elastic sandwich layer. Second, the analysis is extended to account for crack tip plasticity via a mode II strip-yield model of finite strength and of finite toughness. The analytical predictions are verified by finite element simulations and a failure map is constructed in terms of specimen geometry and crack length.


title: On the Shafarevich Group of Restricted Ramification Extensions of Number Fields in the Tame Case

abstract: Let $K$ be a number field and $S$ a finite set of places of $K$. We study the kernels $\Sha_S$ of maps $H^2(G_S,\fq_p) \rightarrow \oplus_{v\in S} H^2(\G_v,\fq_p)$. There is a natural injection $\Sha_S \hookrightarrow \CyB_S$, into the dual $\CyB_S$ of a certain readily computable Kummer group $V_S$, which is always an isomorphism in the wild case. The tame case is much more mysterious. Our main result is that given a finite $X$ coprime to $p$, there exists a finite set of places $S$ coprime to $p$ such that $\Sha_{S\cup X} \stackrel{\simeq}{\hookrightarrow} \CyB_{S\cup X} \stackrel{\simeq}{\twoheadleftarrow} \CyB_X \hookleftarrow \Sha_X$. In particular, we show that in the tame case $\Sha_Y$ can {\it increase} with increasing $Y$. This is in contrast with the wild case where $\Sha_Y$ is nonincreasing in size with increasing $Y$.


title: Graphical Frobenius representations of non-abelian groups

abstract: A group $G$ has a Frobenius graphical representation (GFR) if there is a simple graph $\varGamma$ whose full automorphism group is isomorphic to $G$ and it acts on vertices as a Frobenius group. In particular, any group $G$ with GFR is a Frobenius group and $\varGamma$ is a Cayley graph. The existence of an infinite family of groups with GFR whose Frobenius kernel is a non-abelian $2$-group has been an open question. In this paper, we give a positive answer by showing that the Higman group $A(f,q_0)$ has a GFR for an infinite sequence of $f$ and $q_0$.


title: The Cook-Reckhow definition

abstract: The Cook-Reckhow 1979 paper defined the area of research we now call Proof Complexity. There were earlier papers which contributed to the subject as we understand it today, the most significant being Tseitin's 1968 paper, but none of them introduced general notions that would allow to make an explicit and universal link between lengths-of-proofs problems and computational complexity theory. In this note we shall highlight three particular definitions from the paper: of proof systems, p-simulations and the pigeonhole principle formula, and discuss their role in defining the field. We will also mention some related developments and open problems.


title: VLTI/PIONIER survey of disks around post-AGB binaries. Dust sublimation physics rules!

abstract: Post-AGB binaries are surrounded by circumbinary disks of gas and dust that are similar to protoplanetary disks found around young stars. We aim to understand the structure of these disks and identify the physical phenomena at play in their very inner regions. We want to understand the disk-binary interaction and to further investigate the comparison with protoplanetary disks. We have conducted an interferometric snapshot survey of 23 post-AGB binaries in the near-infrared (H-band) using VLTI/PIONIER. We have fitted the multiwavelength visibilities and closure phases with purely geometrical models with an increasing complexity in order to retrieve the sizes, temperatures and flux ratios of the different components All sources are resolved and the different components contributing to the H-band flux are dissected. The environment of these targets is very complex: 13/23 targets need models with thirteen or more parameters to fit the data. We find that the inner disk rims follow and extend the size-luminosity relation established for disks around young stars with an offset toward larger sizes. The measured temperature of the near-infrared circumstellar emission of post-AGB binaries is lower (Tsub~1200K) than for young stars, probably due to a different dust mineralogy and/or gas density in the dust sublimation region. The dusty inner rims of the circumbinary disks around post-AGB binaries are ruled by dust sublimation physics. Additionally, a significant amount of the circumstellar H-band flux is over-resolved (14 targets have more than 10% of their non-stellar flux over-resolved) hinting for more structure from a yet unknown origin (disk structure or outflow). The amount of over-resolved flux is larger than around young stars. Due to the complexity of these targets, interferometric imaging is a necessary tool to reveal the interacting inner regions in a model-independent way.


title: On a Theorem of Lov\'asz that $\hom(\cdot, H)$ Determines the Isomorphism Type of $H$

abstract: Graph homomorphism has been an important research topic since its introduction [17]. Stated in the language of binary relational structures in that paper [17], Lov\'asz proved a fundamental theorem that, for a graph $H$ given by its $0$-$1$ valued adjacency matrix, the graph homomorphism function $G \mapsto \hom(G, H)$ determines the isomorphism type of $H$. In the past 50 years various extensions have been proved by many researchers [18, 12, 1, 23, 21]. These extend the basic $0$-$1$ case to admit vertex and edge weights; but these extensions all have some restrictions such as all vertex weights must be positive. In this paper we prove a general form of this theorem where H can have arbitrary vertex and edge weights. A noteworthy aspect is that we prove this by a surprisingly simple and unified argument. This bypasses various technical obstacles and unifies and extends all previous known versions of this theorem on graphs. The constructive proof of our theorem can be used to make various complexity dichotomy theorems for graph homomorphism effective in the following sense: it provides an algorithm that for any $H$ either outputs a P-time algorithm solving $\hom(\cdot, H)$ or a P-time reduction from a canonical #P-hard problem to $\hom(\cdot, H)$.


title: Action Functional for a Particle with Damping

abstract: In this brief report we discuss the action functional of a particle with damping, showing that it can be obtained from the dissipative equation of motion through a modification which makes the new dissipative equation invariant for time reversal symmetry. This action functional is exactly the effective action of Caldeira-Leggett model but, in our approach, it is derived without the assumption that the particle is weakly coupled to a bath of infinite harmonic oscillators.


title: The Second Regularized Trace of Even Order Differential Operators with Operator Coefficient

abstract: In this paper, we investigate the spectrum of the self adjoint differential operator with operator coefficitent in a separable Hilbert space. We also derive asymptotic formulas for the sum of eigenvalues of this operator.


title: Hard-core collisional dynamics in the hamiltonian mean-field model

abstract: We consider a modification of the well studied Hamiltonian Mean-Field model by introducing a hard-core point-like repulsive interaction and propose a numerical integration scheme to integrate numerically its dynamics. Our results show that the outcome of the initial violent relaxation is altered, and also that the phase-diagram is modified with a critical temperature at a higher value than in the non-collisional counterpart.


title: Physics without Determinism: Alternative Interpretations of Classical Physics

abstract: Classical physics is generally regarded as deterministic, as opposed to quantum mechanics that is considered the first theory to have introduced genuine indeterminism into physics. We challenge this view by arguing that the alleged determinism of classical physics relies on the tacit, metaphysical assumption that there exists an actual value of every physical quantity, with its infinite predetermined digits (which we name \emph{principle of infinite precision}). Building on recent information-theoretic arguments showing that the principle of infinite precision (which translates into the attribution of a physical meaning to mathematical real numbers) leads to unphysical consequences, we consider possible alternative indeterministic interpretations of classical physics. We also link those to well-known interpretations of quantum mechanics. In particular, we propose a model of classical indeterminism based on \emph{finite information quantities} (FIQs). Moreover, we discuss the perspectives that an indeterministic physics could open (such as strong emergence), as well as some potential problematic issues. Finally, we make evident that any indeterministic interpretation of physics would have to deal with the problem of explaining how the indeterminate values become determinate, a problem known in the context of quantum mechanics as (part of) the ``quantum measurement problem''. We discuss some similarities between the classical and the quantum measurement problems, and propose ideas for possible solutions (e.g., ``collapse models'' and ``top-down causation'').


title: Dipole subtraction at next-to-leading order in nonrelativistic-QCD factorization

abstract: We describe an implementation of a subtraction scheme in the nonrelativistic-QCD treatment of heavy-quarkonium production at next-to-leading-order in the strong-coupling constant, covering $S$- and $P$-wave bound states. It is based on the dipole subtraction in the massless version by Catani and Seymour and its extension to massive quarks by Phaf and Weinzierl. Important additions include the treatment of heavy-quark bound states, in particular due to the more complicated infrared-divergence structure in the case of $P$-wave states.


title: A graph-theoretic approach to Wilf's conjecture

abstract: Let S $\subseteq$ N be a numerical semigroup with multiplicity m = min(S \ {0}) and conductor c = max(N \ S) + 1. Let P be the set of primitive elements of S, and let L be the set of elements of S which are smaller than c. A longstand-ing open question by Wilf in 1978 asks whether the inequality |P||L| $\ge$ c always holds. Among many partial results, Wilf's conjecture has been shown to hold in case |P| $\ge$ m/2 by Sammartano in 2012. Using graph theory in an essential way, we extend the verification of Wilf's conjecture to the case |P| $\ge$ m/3. This case covers more than 99.999% of numerical semigroups of genus g $\le$ 45.


title: Dissipation controls transport and phase transitions in active fluids: Mobility, diffusion and biased ensembles

abstract: Active fluids operate by constantly dissipating energy at the particle level to perform a directed motion, yielding dynamics and phases without any equilibrium equivalent. The emerging behaviors have been studied extensively, yet deciphering how local energy fluxes control the collective phenomena is still largely an open challenge. We provide generic relations between the activity-induced dissipation and the transport properties of an internal tracer. By exploiting a mapping between active fluctuations and disordered driving, our results reveal how the local dissipation, at the basis of self-propulsion, constrains internal transport by reducing the mobility and the diffusion of particles. Then, we employ techniques of large deviations to investigate how interactions are affected when varying dissipation. This leads us to shed light on a microscopic mechanism to promote clustering at low dissipation, and we also show the existence of collective motion at high dissipation. Overall, these results illustrate how tuning dissipation provides an alternative route to phase transitions in active fluids.


title: Superconductivity and intra-unit-cell electronic nematic phase in the three-band model of cuprates

abstract: The intra-unit-cell nematic phase is studied within the three-band Emery model of the cuprates with the use of the approach based on the diagrammatic expansion of the Gutzwiller wave function (DE-GWF). According to our analysis the spontaneous $C_4$ symmetry breaking of the electronic wave function, leading to the nematic behavior, can appear due to electron correlations induced mainly by the onsite Coulomb repulsion, even in the absence of the corresponding intersite oxygen-oxygen repulsion term. The latter has been considered as the triggering factor of the nematic state formation in a number of previous studies. Also, we show that, at the transition to the nematic phase electron concentration transfer from $d$- to $p$- orbitals takes place, apart from the usually discussed $p_x/p_y$ polarization. The determined stability regime of the nematic phase appears in the doping range similar to that of the paired phase, showing that both phases have a common origin, even though they compete. Also, we show that in a significant doping range a coexistence region of superconductivity and nematicity appears. The results are discussed in the view of the experimental findings considering the relation between nematicity and pseudogap behavior.


title: BPZT HBARs for bias-tunable, stress generation at GHz frequencies

abstract: The high frequency performance of strong piezoelectric materials like PZT remains relatively less explored due to the assumption of large dielectric/ferroelectric losses at GHz frequencies. Recently, the advent of magnetoelectric technology as an on-chip route to excite magnetization dynamics has provided the impetus to evaluate the electromechanical performance of PZT at microwave frequencies. In this work, we demonstrate that HBARs fabricated using Barium-doped PZT (BPZT) films can efficiently generate acoustic waves up to 15 GHz. The ferroelectricity of BPZT endows added functionality to the resonator in the form of voltage tunability of the electromechanical performance. We extract the piezoelectric coefficient by numerically comparing the performance of BPZT with the Mason model. The extracted piezoelectric coefficient ~60 pm/V agrees well with reported values on thin film PZT measured at low frequencies (<100 MHz). Our results suggest that with further improvement in device design and material processing, BPZT resonators could operate as large amplitude, tunable stress transducers at GHz frequencies.


title: Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

abstract: I/O conformance testing theories (e.g., ioco) are concerned with formally defining when observable output behaviors of an implementation conform to those permitted by a specification. Thereupon, several real-time extensions of ioco, usually called tioco, have been proposed, further taking into account permitted delays between actions. In this paper, we propose an improved version of tioco, called live timed ioco (ltioco), tackling various weaknesses of existing definitions. Here, a reasonable adaptation of quiescence (i.e., observable absence of any outputs) to real-time behaviors has to be done with care: ltioco therefore distinguishes safe outputs being allowed to happen, from live outputs being enforced to happen within a certain time period thus inducing two different facets of quiescence. Furthermore, tioco is frequently defined on Timed I/O Labeled Transition Systems (TIOLTS), a semantic model of Timed I/O Automata (TIOA) which is infinitely branching and thus infeasible for practical testing tools. Instead, we extend the theory of zone graphs to enable ltioco testing on a finite semantic model of TIOA. Finally, we investigate compositionality of ltioco with respect to parallel composition including a proper treatment of silent transitions.


title: Estimating Granger Causality with Unobserved Confounders via Deep Latent-Variable Recurrent Neural Network

abstract: Granger causality analysis, as one of the most popular time series causality methods, has been widely used in the economics, neuroscience. However, unobserved confounders is a fundamental problem in the observational studies, which is still not solved for the non-linear Granger causality. The application works often deal with this problem in virtue of the proxy variables, who can be treated as a measure of the confounder with noise. But the proxy variables has been proved to be unreliable, because of the bias it may induce. In this paper, we try to "recover" the unobserved confounders for the Granger causality. We use a generative model with latent variable to build the relationship between the unobserved confounders and the observed variables(tested variable and the proxy variables). The posterior distribution of the latent variable is adopted to represent the confounders distribution, which can be sampled to get the estimated confounders. We adopt the variational autoencoder to estimate the intractable posterior distribution. The recurrent neural network is applied to build the temporal relationship in the data. We evaluate our method in the synthetic and semi-synthetic dataset. The result shows our estimated confounders has a better performance than the proxy variables in the non-linear Granger causality with multiple proxies in the semi-synthetic dataset. But the performances of the synthetic dataset and the different noise level of proxy seem terrible. Any advice can really help.