title: Delay-Aware Wireless Network Coding in Adversarial Traffic

abstract: We analyze a wireless line network employing wireless network coding. The two end nodes exchange their packets through relays. While a packet at a relay might not find its coding pair upon arrival, a transmission cost can be reduced by waiting for coding with a packet from the other side. To strike a balance between the reduced transmission cost and the cost incurred by the delay, a scheduling algorithm determining either to transmit an uncoded packet or to wait for coding is needed. Because of highly uncertain traffic injections, scheduling with no assumption of the traffic is critical. This paper proposes a randomized online scheduling algorithm for a relay in arbitrary traffic, which can be non-stationary or adversarial. The expected total cost (including a transmission cost and a delay cost) incurred by the proposed algorithm is at most e/(e-1) ~ 1.58 times the minimum achievable total cost. In particular, the proposed algorithm is universal in the sense that the ratio is independent of the traffic. With the universality, the proposed algorithm can be implemented at each relay distributedly (in a multi-relay network) with the same ratio. Moreover, the proposed algorithm turns out to generalize the classic ski-rental online algorithm.


title: Two-Stream FCNs to Balance Content and Style for Style Transfer

abstract: Style transfer is to render given image contents in given styles, and it has an important role in both computer vision fundamental research and industrial applications. Following the success of deep learning based approaches, this problem has been re-launched recently, but still remains a difficult task because of trade-off between preserving contents and faithful rendering of styles. Indeed, how well-balanced content and style are is crucial in evaluating the quality of stylized images. In this paper, we propose an end-to-end two-stream Fully Convolutional Networks (FCNs) aiming at balancing the contributions of the content and the style in rendered images. Our proposed network consists of the encoder and decoder parts. The encoder part utilizes a FCN for content and a FCN for style where the two FCNs have feature injections and are independently trained to preserve the semantic content and to learn the faithful style representation in each. The semantic content feature and the style representation feature are then concatenated adaptively and fed into the decoder to generate style-transferred (stylized) images. In order to train our proposed network, we employ a loss network, the pre-trained VGG-16, to compute content loss and style loss, both of which are efficiently used for the feature injection as well as the feature concatenation. Our intensive experiments show that our proposed model generates more balanced stylized images in content and style than state-of-the-art methods. Moreover, our proposed network achieves efficiency in speed.


title: Jointly De-biasing Face Recognition and Demographic Attribute Estimation

abstract: We address the problem of bias in automated face recognition and demographic attribute estimation algorithms, where errors are lower on certain cohorts belonging to specific demographic groups. We present a novel de-biasing adversarial network (DebFace) that learns to extract disentangled feature representations for both unbiased face recognition and demographics estimation. The proposed network consists of one identity classifier and three demographic classifiers (for gender, age, and race) that are trained to distinguish identity and demographic attributes, respectively. Adversarial learning is adopted to minimize correlation among feature factors so as to abate bias influence from other factors. We also design a new scheme to combine demographics with identity features to strengthen robustness of face representation in different demographic groups. The experimental results show that our approach is able to reduce bias in face recognition as well as demographics estimation while achieving state-of-the-art performance.


title: Singularities of the dual varieties associated to exterior representations: 1. Dual Grassmannian

abstract: For a given irreducible projective variety $X$, the closure of the set of all hyperplanes containing tangents to $X$ is the projectively dual variety $X^{\vee}$. We study the singular locus of projectively dual varieties of certain Segre-Pl\"{u}cker embeddings in series of papers. In this work we give a classification of the irreducible components of the singular locus of the dual Grassmannian. Basically, it admits two components: cusp type and node type which are degeneracies of a certain Hessian matrix, and the closure of the set of tangent planes having more than one critical point, respectively. In particular we reproduce the result about the normality of the dual Grassmannian varieties.


title: Low rank tensor completion with sparse regularization in a transformed domain

abstract: Tensor completion is a challenging problem with various applications. Many related models based on the low-rank prior of the tensor have been proposed. However, the low-rank prior may not be enough to recover the original tensor from the observed incomplete tensor. In this paper, we prose a tensor completion method by exploiting both the low-rank and sparse prior of tensor. Specifically, the tensor completion task can be formulated as a low-rank minimization problem with a sparse regularizer. The low-rank property is depicted by the tensor truncated nuclear norm based on tensor singular value decomposition (T-SVD) which is a better approximation of tensor tubal rank than tensor nuclear norm. While the sparse regularizer is imposed by a $\ell_{1}$-norm in a discrete cosine transformation (DCT) domain, which can better employ the local sparse property of completed data. To solve the optimization problem, we employ an alternating direction method of multipliers (ADMM) in which we only need to solve several subproblems which have closed-form solutions. Substantial experiments on real world images and videos show that the proposed method has better performances than the existing state-of-the-art methods.


title: Application Level Authentication for Ethereum Private Blockchain Atomic Crosschain Transactions

abstract: Atomic Crosschain Transaction technology allows composable programming across private Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole call graph of function calls is rolled back. Traditional Ethereum contract functions can limit which accounts can call them by specialised application program logic. This is important as it allows application developers to specify which callers can execute functions that update contract state. In this paper we introduce the strategy required to restrict which contracts on one blockchain can call a function in a contract that is deployed on another blockchain. We show that validating the Originating Blockchain Id (the blockchain the crosschain function call started on), From Blockchain Id, and From Account provides contracts with certainty that a function call came from a specific contract on a specific blockchain.


title: Primary decomposition of knot concordance and von Neumann rho-invariants

abstract: We address the primary decomposition of the knot concordance group in terms of the solvable filtration and higher-order von Neumann $\rho$-invariants by Cochran, Orr, and Teichner. We show that for a nonnegative integer n, if the connected sum of two n-solvable knots with coprime Alexander polynomials is slice, then each of the knots has vanishing von Neumann $\rho$-invariants of order n. This gives positive evidence for the conjecture that nonslice knots with coprime Alexander polynomials are not concordant. As an application, we show that if K is one of Cochran-Orr-Teichner's knots which are the first examples of nonslice knots with vanishing Casson-Gordon invariants, then K is not concordant to any knot with Alexander polynomial coprime to that of K.


title: Outlier-Robust High-Dimensional Sparse Estimation via Iterative Filtering

abstract: We study high-dimensional sparse estimation tasks in a robust setting where a constant fraction of the dataset is adversarially corrupted. Specifically, we focus on the fundamental problems of robust sparse mean estimation and robust sparse PCA. We give the first practically viable robust estimators for these problems. In more detail, our algorithms are sample and computationally efficient and achieve near-optimal robustness guarantees. In contrast to prior provable algorithms which relied on the ellipsoid method, our algorithms use spectral techniques to iteratively remove outliers from the dataset. Our experimental evaluation on synthetic data shows that our algorithms are scalable and significantly outperform a range of previous approaches, nearly matching the best error rate without corruptions.


title: Energy Dissipation and Entropy in Collisionless Plasma

abstract: It is well known that collisionless systems are dissipation free from the perspective of particle collision and thus conserve entropy. On the other hand, processes such as magnetic reconnection and turbulence appear to convert large-scale magnetic energy into heat. In this paper, we investigate the energization and heating of collisionless plasma. The dissipation process is discussed in terms of fluid entropy in both isotropic and gyrotropic forms. Evolution equations for the entropy are derived and they reveal mechanisms that lead to changes in fluid entropy. These equations are verified by a collisionless particle-in-cell simulation of multiple reconnecting current sheets. In addition to previous findings regarding the pressure tensor, we emphasize the role of heat flux in the dissipation process.


title: Positive semigroups and generalized Frobenius numbers over totally real number fields

abstract: Frobenius problem and its many generalizations have been extensively studied in several areas of mathematics. We study semigroups of totally positive algebraic integers in totally real number fields, defining analogues of the Frobenius numbers in this context. We use a geometric framework recently introduced by Aliev, De Loera and Louveaux to produce upper bounds on these Frobenius numbers in terms of a certain height function. We discuss some properties of this function, relating it to absolute Weil height and obtaining a lower bound in the spirit of Lehmer's conjecture for algebraic vectors satisfying some special conditions. We also use a result of Borosh and Treybig to obtain bounds on the size of representations and number of elements of bounded height in such positive semigroups of totally real algebraic integers.


title: Effect of strain and doping on the polar metal phase in LiOsO$_3$

abstract: We systematically investigate the effect of strain and doping on the polar metal phase in lithium osmate, LiOsO$_3$, using first-principles calculations. We demonstrate that the polar metal phase in LiOsO$_3$ can be controlled by biaxial strain. Based on density functional calculations, we show that a compressive biaxial strain enhances the stability of the polar $R3c$ phase. On the other hand, a tensile biaxial strain favors the centrosymmetric $R\overline{3}c$ structure. Thus, strain emerges as a promising control parameter over polar metallicity in this material. We uncover a strain-driven quantum phase transition under tensile strain, and highlight intriguing properties that could emerge in the vicinity of this polar to non-polar metal transition. We examine the effect of charge doping on the polar metal phase. By means of electrostatic doping as well as supercell calculations, we find that screening from additional charge carriers, expected to suppress the polar distortions, have only a small effect on them. Rather remarkably, and in contrast to conventional ferroelectrics, the polar metal phase in LiOsO$_3$ remains robust against charge doping up to large doping values.


title: "The Human Body is a Black Box": Supporting Clinical Decision-Making with Deep Learning

abstract: Machine learning technologies are increasingly developed for use in healthcare. While research communities have focused on creating state-of-the-art models, there has been less focus on real world implementation and the associated challenges to accuracy, fairness, accountability, and transparency that come from actual, situated use. Serious questions remain under examined regarding how to ethically build models, interpret and explain model output, recognize and account for biases, and minimize disruptions to professional expertise and work cultures. We address this gap in the literature and provide a detailed case study covering the development, implementation, and evaluation of Sepsis Watch, a machine learning-driven tool that assists hospital clinicians in the early diagnosis and treatment of sepsis. We, the team that developed and evaluated the tool, discuss our conceptualization of the tool not as a model deployed in the world but instead as a socio-technical system requiring integration into existing social and professional contexts. Rather than focusing on model interpretability to ensure a fair and accountable machine learning, we point toward four key values and practices that should be considered when developing machine learning to support clinical decision-making: rigorously define the problem in context, build relationships with stakeholders, respect professional discretion, and create ongoing feedback loops with stakeholders. Our work has significant implications for future research regarding mechanisms of institutional accountability and considerations for designing machine learning systems. Our work underscores the limits of model interpretability as a solution to ensure transparency, accuracy, and accountability in practice. Instead, our work demonstrates other means and goals to achieve FATML values in design and in practice.


title: Deep Detector Health Management under Adversarial Campaigns

abstract: Machine learning models are vulnerable to adversarial inputs that induce seemingly unjustifiable errors. As automated classifiers are increasingly used in industrial control systems and machinery, these adversarial errors could grow to be a serious problem. Despite numerous studies over the past few years, the field of adversarial ML is still considered alchemy, with no practical unbroken defenses demonstrated to date, leaving PHM practitioners with few meaningful ways of addressing the problem. We introduce turbidity detection as a practical superset of the adversarial input detection problem, coping with adversarial campaigns rather than statistically invisible one-offs. This perspective is coupled with ROC-theoretic design guidance that prescribes an inexpensive domain adaptation layer at the output of a deep learning model during an attack campaign. The result aims to approximate the Bayes optimal mitigation that ameliorates the detection model's degraded health. A proactively reactive type of prognostics is achieved via Monte Carlo simulation of various adversarial campaign scenarios, by sampling from the model's own turbidity distribution to quickly deploy the correct mitigation during a real-world campaign.


title: Stable intersection of Cantor sets in higher dimension and robust homoclinic tangency of the largest codimension

abstract: In this paper, we construct (a) a pair of two regular Cantor sets in higher dimension which exhibits $C^1$-stable intersection and (b) a hyperbolic basic set which exhibits $C^2$-robust homoclinic tangency of the largest codimension for any higher dimensional manifold, using blenders. The former implies that an analog of Moreira's theorem on Cantor sets in the real line does not hold in higher dimension. The latter solves a question posed by Barrientos and A.Raibekas.


title: Emergence of life in an inflationary universe

abstract: Abiotic emergence of ordered information stored in the form of RNA is an important unresolved problem concerning the origin of life. A polymer longer than 40--100 nucleotides is necessary to expect a self-replicating activity, but the formation of such a long polymer having a correct nucleotide sequence by random reactions seems statistically unlikely. However, our universe, created by a single inflation event, likely includes more than $10^{100}$ Sun-like stars. If life can emerge at least once in such a large volume, it is not in contradiction with our observations of life on Earth, even if the expected number of abiogenesis events is negligibly small within the observable universe that contains only $10^{22}$ stars. Here, a quantitative relation is derived between the minimum RNA length $l_{\min}$ required to be the first biological polymer, and the universe size necessary to expect the formation of such a long and active RNA by randomly adding monomers. It is then shown that an active RNA can indeed be produced somewhere in an inflationary universe, giving a solution to the abiotic polymerization problem. On the other hand, $l_{\min}$ must be shorter than $\sim$20 nucleotides for the abiogenesis probability close to unity on a terrestrial planet, but a self-replicating activity is not expected for such a short RNA. Therefore, if extraterrestrial organisms of a different origin from those on Earth are discovered in the future, it would imply an unknown mechanism at work to polymerize nucleotides much faster than random statistical processes.

categories: q-bio.PE astro-ph.CO astro-ph.EP q-bio.BM


title: ASASSN-14ho: Longest-period Dwarf Nova with Multiple Rebrightenings

abstract: The post-outburst rebrightening phenomenon in dwarf novae and X-ray novae is still one of the most challenging subjects for theories of accretion disks. It has been widely recognized that post-outburst rebrightenings are a key feature of WZ Sge-type dwarf novae, which predominantly have short ($\lesssim$0.06 d) orbital periods. I found four post-outburst rebrightenings in ASASSN-14ho during its 2014 outburst, whose orbital period has recently measured to be exceptionally long [0.24315(10) d]. Using the formal solution of the radial velocity study in the literature, I discuss the possibility that this object can be an SU UMa-type dwarf nova near the stability border of the 3:1 resonance despite its exceptionally long orbital period. Such objects are considered to be produced if mass transfer occurs after the secondary has undergone significant nuclear evolution and they may be hidden in a significant number among dwarf novae showing multiple post-outburst rebrightenings.


title: Strongly Budget Balanced Auctions for Multi-Sided Markets

abstract: In two-sided markets, Myerson and Satterthwaite's impossibility theorem states that one can not maximize the gain-from-trade while also satisfying truthfulness, individual-rationality and no deficit. Attempts have been made to circumvent Myerson and Satterthwaite's result by attaining approximately-maximum gain-from-trade: the double-sided auctions of McAfee (1992) is truthful and has no deficit, and the one by Segal-Halevi et al. (2016) additionally has no surplus --- it is strongly-budget-balanced. They consider two categories of agents --- buyers and sellers, where each trade set is composed of a single buyer and a single seller. The practical complexity of applications such as supply chain require one to look beyond two-sided markets. Common requirements are for: buyers trading with multiple sellers of different or identical items, buyers trading with sellers through transporters and mediators, and sellers trading with multiple buyers. We attempt to address these settings. We generalize Segal-Halevi et al. (2016)'s strongly-budget-balanced double-sided auction setting to a multilateral market where each trade set is composed of any number of agent categories. Our generalization refines the notion of competition in multi-sided auctions by introducing the concepts of external competition and trade reduction. We also show an obviously-truthful implementation of our auction using multiple ascending prices.


title: Invariance and attraction properties of Galton-Watson trees

abstract: We give a description of invariants and attractors of the critical and subcritical Galton-Watson tree measures under the operation of Horton pruning (cutting tree leaves with subsequent series reduction). Under a regularity condition, the class of invariant measures consists of the critical binary Galton-Watson tree and a one-parameter family of critical Galton-Watson trees with offspring distribution $\{q_k\}$ that has a power tail $q_k\sim Ck^{-(1+1/q_0)}$, where $q_0\in(1/2,1)$. Each invariant measure has a non-empty domain of attraction under consecutive Horton pruning, specified by the tail behavior of the initial Galton-Watson offspring distribution. The invariant measures satisfy the Toeplitz property for the Tokunaga coefficients and obey the Horton law with exponent $R = (1-q_0)^{-1/q_0}$.


title: Searching for the possible signal of the photon-axionlike particle oscillation in the combined GeV and TeV spectra of supernova remnants

abstract: The conversion between photons and axionlike particles (ALPs) in the Milky Way magnetic field could result in the detectable oscillation phenomena in $\gamma$-ray spectra of Galactic sources. In this work, the GeV (Fermi-LAT) and TeV (MAGIC/VERITAS/H.E.S.S.) data of three bright supernova remnants (SNRs, ie. IC443, W51C and W49B) have been adopted together to search such the oscillation effect. Different from our previous analysis of the sole Fermi-LAT data of IC443, we do not find any reliable signal for the photon-ALP oscillation in the joint broadband spectrum of each SNR. The reason for the inconsistence is that in this work we use the latest revision (P8R3) of Fermi-LAT data, updated diffuse emission templates and the new version of the source catalog (4FGL), which lead to some modification of the GeV spectrum of IC443. Then we set constraints on ALP parameters based on the combined analysis of all the three sources. Though these constraints are somewhat weaker than limits from the CAST experiment and globular clusters, they are supportive of and complementary to these other results.


title: AddNet: Deep Neural Networks Using FPGA-Optimized Multipliers

abstract: Low-precision arithmetic operations to accelerate deep-learning applications on field-programmable gate arrays (FPGAs) have been studied extensively, because they offer the potential to save silicon area or increase throughput. However, these benefits come at the cost of a decrease in accuracy. In this article, we demonstrate that reconfigurable constant coefficient multipliers (RCCMs) offer a better alternative for saving the silicon area than utilizing low-precision arithmetic. RCCMs multiply input values by a restricted choice of coefficients using only adders, subtractors, bit shifts, and multiplexers (MUXes), meaning that they can be heavily optimized for FPGAs. We propose a family of RCCMs tailored to FPGA logic elements to ensure their efficient utilization. To minimize information loss from quantization, we then develop novel training techniques that map the possible coefficient representations of the RCCMs to neural network weight parameter distributions. This enables the usage of the RCCMs in hardware, while maintaining high accuracy. We demonstrate the benefits of these techniques using AlexNet, ResNet-18, and ResNet-50 networks. The resulting implementations achieve up to 50% resource savings over traditional 8-bit quantized networks, translating to significant speedups and power savings. Our RCCM with the lowest resource requirements exceeds 6-bit fixed point accuracy, while all other implementations with RCCMs achieve at least similar accuracy to an 8-bit uniformly quantized design, while achieving significant resource savings.


title: HighEr-Resolution Network for Image Demosaicing and Enhancing

abstract: Neural-networks based image restoration methods tend to use low-resolution image patches for training. Although higher-resolution image patches can provide more global information, state-of-the-art methods cannot utilize them due to their huge GPU memory usage, as well as the instable training process. However, plenty of studies have shown that global information is crucial for image restoration tasks like image demosaicing and enhancing. In this work, we propose a HighEr-Resolution Network (HERN) to fully learning global information in high-resolution image patches. To achieve this, the HERN employs two parallel paths to learn image features in two different resolutions, respectively. By combining global-aware features and multi-scale features, our HERN is able to learn global information with feasible GPU memory usage. Besides, we introduce a progressive training method to solve the instability issue and accelerate model convergence. On the task of image demosaicing and enhancing, our HERN achieves state-of-the-art performance on the AIM2019 RAW to RGB mapping challenge. The source code of our implementation is available at https://github.com/MKFMIKU/RAW2RGBNet.


title: Operator symbols. II

abstract: We consider special classes of linear bounded operators in Banach spaces and suggest certain operator variant of symbolic calculus. It permits to formulate an index theorem and to describe Fredholm properties of elliptic pseudo-differential operator on manifolds with non-smooth boundaries.


title: On critical points of Gaussian random fields under diffeomorphic transformations

abstract: Let $\{X(t), t\in M\}$ and $\{Z(t'), t'\in M'\}$ be smooth Gaussian random fields parameterized on Riemannian manifolds $M$ and $M'$, respectively, such that $X(t) = Z(f(t))$, where $f: M \to M'$ is a diffeomorphic transformation. We study the expected number and height distribution of the critical points of $X$ in connection with those of $Z$. As an important case, when $X$ is an anisotropic Gaussian random field, then we show that its expected number of critical points becomes proportional to that of an isotropic field $Z$, while the height distribution remains the same as that of $Z$.


title: Non-interactive classical verification of quantum computation

abstract: In a recent breakthrough, Mahadev constructed an interactive protocol that enables a purely classical party to delegate any quantum computation to an untrusted quantum prover. In this work, we show that this same task can in fact be performed non-interactively and in zero-knowledge. Our protocols result from a sequence of significant improvements to the original four-message protocol of Mahadev. We begin by making the first message instance-independent and moving it to an offline setup phase. We then establish a parallel repetition theorem for the resulting three-message protocol, with an asymptotically optimal rate. This, in turn, enables an application of the Fiat-Shamir heuristic, eliminating the second message and giving a non-interactive protocol. Finally, we employ classical non-interactive zero-knowledge (NIZK) arguments and classical fully homomorphic encryption (FHE) to give a zero-knowledge variant of this construction. This yields the first purely classical NIZK argument system for QMA, a quantum analogue of NP. We establish the security of our protocols under standard assumptions in quantum-secure cryptography. Specifically, our protocols are secure in the Quantum Random Oracle Model, under the assumption that Learning with Errors is quantumly hard. The NIZK construction also requires circuit-private FHE.


title: Channels, Billiards, and Perfect Matching 2-Divisibility

abstract: Let $m_G$ denote the number of perfect matchings of the graph $G$. We introduce a number of combinatorial tools for determining the parity of $m_G$ and giving a lower bound on the power of 2 dividing $m_G$. In particular, we introduce certain vertex sets called channels, which correspond to elements in the kernel of the adjacency matrix of $G$ modulo $2$. A result of Lov\'asz states that the existence of a nontrivial channel is equivalent to $m_G$ being even. We give a new combinatorial proof of this result and strengthen it by showing that the number of channels gives a lower bound on the power of $2$ dividing $m_G$ when $G$ is planar. We describe a number of local graph operations which preserve the number of channels. We also establish a surprising connection between 2-divisibility of $m_G$ and dynamical systems by showing an equivalency between channels and billiard paths. We exploit this relationship to show that $2^{\frac{\gcd(m+1,n+1)-1}{2}}$ divides the number of domino tilings of the $m\times n$ rectangle. We also use billiard paths to give a fast algorithm for counting channels (and hence determining the parity of the number of domino tilings) in simply connected regions of the square grid.


title: A Normal Approximation Method for Statistics in Knockouts

abstract: The authors give an approximation method for Bayesian inference in arena model, which is focused on paired comparisons with eliminations and bifurcations. The approximation method simplifies the inference by reducing parameters and introducing normal distribution functions into the computation of posterior distribution, which is largely based on an important property of normal random variables. Maximum a posteriori probability (MAP) and Bayesian prediction are then used to mine the information from the past pairwise comparison data, such as an individual's strength or volatility and his possible future results. We conduct a simulation to show the accuracy and stability of the approximation method and demonstrate the algorithm on nonlinear parameter inference as well as prediction problem arising in the FIFA World Cup.


title: KAM tori for the generalized Bejamin-Bona-Mahony equation

abstract: A generalized Benjamin-Bona-Mahony (gBBM) equation subject to the periodic boundary condition is studied in this paper. Based on a new infinite dimensional Kolomogorov-Arnold-Moser (KAM) theorem with normal frequencies of finite limit-points, it is shown that the gBBM equation admits plenty of time-quasi-periodic solutions with two frequencies of high modes.


title: Three-dimensional Generative Adversarial Nets for Unsupervised Metal Artifact Reduction

abstract: The reduction of metal artifacts in computed tomography (CT) images, specifically for strong artifacts generated from multiple metal objects, is a challenging issue in medical imaging research. Although there have been some studies on supervised metal artifact reduction through the learning of synthesized artifacts, it is difficult for simulated artifacts to cover the complexity of the real physical phenomena that may be observed in X-ray propagation. In this paper, we introduce metal artifact reduction methods based on an unsupervised volume-to-volume translation learned from clinical CT images. We construct three-dimensional adversarial nets with a regularized loss function designed for metal artifacts from multiple dental fillings. The results of experiments using 915 CT volumes from real patients demonstrate that the proposed framework has an outstanding capacity to reduce strong artifacts and to recover underlying missing voxels, while preserving the anatomical features of soft tissues and tooth structures from the original images.


title: How Likely are Ride-share Drivers to Earn a Living Wage? Large-scale Spatio-temporal Density Smoothing with the Graph-fused Elastic Net

abstract: Ride-sourcing or transportation network companies (TNCs) provide on-demand transportation service for compensation, connecting drivers of personal vehicles with passengers through smartphone applications. In this study, we consider the problem of estimating a spatiotemporally varying probability distribution for the productivity of a TNC driver, using data on more than 1.2 million TNC trips in Austin, Texas. We propose a graph-based smoothing approach that allows for distinct spatial and temporal dynamics, including different degrees of smoothness, spatio-temporal interactions, and interpolation in regions with little or no data. For such a goal, we introduce the Graph-fused Elastic Net (GFEN) and use it in combination with a dyadic tree decomposition for density estimation. In addition, we present an optimization-driven approach for fast point estimates scalable to massive graphs. Bayesian inference and uncertainty quantification with MCMC are also illustrated. The main results demonstrate that the optimization strategy is an effective exploration tool for selecting adequate regularization schemes using Bayesian optimization of the cross-validation loss. Two key empirical findings made possible by our method include: 1) the probability that a TNC driver can expect to earn a living wage in Austin exhibits high variability in space and time, from as low as 25% to as high as 85%; and 2) some drivers suffer considerable "tail risk", with the bottom 10% of the earnings distribution falling below $10 per hour -- grossly below a living wage in Austin for a single adult -- for specific times and locations. All code and data for the paper are publicly available, as a Shiny app for visualizing the results and a software package in Julia for implementing the GFEN.


title: The Masses of Isolated Neutron Stars Inferred from the Gravitational Redshift Measurements

abstract: For some neutron stars (NSs) in the binary systems, the masses have been accurately measured. While for the isolated neutron stars (INSs), no mass measurement has been reported yet. The situation will change soon thanks to the successful performance of the Neutron Star Interior Composition Explorer (NICER), with which the radius and mass of the isolated PSR J0030+0451 can be simultaneously measured. For most INSs, no mass measurements are possible for NICER because of observational limitations. Benefiting from recent significant progress made on constraining the equation of state of NSs, in this work we propose a way to estimate the masses of the INSs with the measured gravitational redshifts. We apply our method to RX J1856.5-3754, RX J0720.4-3125, and RBS 1223, three members of "The Magnificent Seven" (M7), and estimate their masses to be $1.24_{-0.29}^{+0.29}M_{\odot}$, $1.23_{-0.05}^{+0.10}M_{\odot}$, and $1.08_{-0.11}^{+0.20}M_{\odot}$, respectively. These masses are consistent with that of binary NS systems, suggesting no evidence for experiencing significant accretion of these isolated objects.


title: Superconductivity below 2.5K in Nb0.25Bi2Se3 topological insulator single crystal

abstract: We report crystal growth and below 2.5K superconductivity of Nb0.25Bi2Se3. These crystals are grown by self flux method. The X-ray diffraction (XRD) pattern of as grown crystal flake shows (00l) plane (c-orientation) growth. The Rietveld refinement of crushed crystal powder XRD (PXRD) pattern confirms the phase purity of the studied sample having R-3m space group of rhombohedral crystalline structure. The Raman spectrum of the studied Nb0.25Bi2Se3 crystal distinctly shows three well defined vibrational modes in terms of A11g, Eg2, A21g at around 72, 129 and 173cm-1, which are slightly shifted in comparison to pure Bi2Se3. Magnetization studies in terms of field cooled (FC) and Zero field cooled (ZFC) magnetic susceptibility measurements show the diamagnetic transition (Tconset) of the compound at around 2.5K and near saturation of the same below around 2.1K. The isothernal magnetization (MH) being taken at 2K, revealed the lower critical field (Hc1) of around 50Oe and the upper critical field (Hc2) of 900Oe. It is clear the studied Nb0.25Bi2Se3 is a bulk superconductor. The superconducting critical parameters thus calculated viz. the coherence length, upper and lower critical fields and superconducting transition temperature for as grown Nb0.25Bi2Se3 single crystal are reported here.


title: 2D Eigenvalue Problem I: Existence and Number of Solutions

abstract: A two dimensional eigenvalue problem (2DEVP) of a Hermitian matrix pair $(A, C)$ is introduced in this paper. The 2DEVP can be viewed as a linear algebraic formulation of the well-known eigenvalue optimization problem of the parameter matrix $H(\mu) = A - \mu C$. We present fundamental properties of the 2DEVP such as the existence, the necessary and sufficient condition for the finite number of 2D-eigenvalues and variational characterizations. We use eigenvalue optimization problems from the minmax of two Rayleigh quotients and the computation of distance to instability to show their connections with the 2DEVP and new insights of these problems derived from the properties of the 2DEVP.


title: Experimental demonstration of one-shot coherence distillation: High-dimensional state conversions

abstract: We experimentally investigate problems of one-shot coherence distillation [Regula, Fang, Wang, and Adesso, Phys. Rev. Lett. 121, 010401 (2018)]. Based on a set of optical devices, we design a type of strictly incoherent operation (SIO), which is applicable in high-dimensional cases and can be applied to accomplish the transformations from higher-dimensional states to lower-dimensional states. Furthermore, a relatively complete process of the one-shot coherence distillation is experimentally demonstrated for three- and four-dimensional input states. Experimental data reveal an interesting result: higher coherence distillation rates (but defective) can be reached by tolerating a larger error. Our finding paves a fresh way in the experimental investigation of quantum coherence conversions through various incoherent operations.


title: Placement Optimization of Aerial Base Stations with Deep Reinforcement Learning

abstract: Unmanned aerial vehicles (UAVs) can be utilized as aerial base stations (ABSs) to assist terrestrial infrastructure for keeping wireless connectivity in various emergency scenarios. To maximize the coverage rate of N ground users (GUs) by jointly placing multiple ABSs with limited coverage range is known to be a NP-hard problem with exponential complexity in N. The problem is further complicated when the coverage range becomes irregular due to site-specific blockage (e.g., buildings) on the air-ground channel in the 3-dimensional (3D) space. To tackle this challenging problem, this paper applies the Deep Reinforcement Learning (DRL) method by 1) representing the state by a coverage bitmap to capture the spatial correlation of GUs/ABSs, whose dimension and associated neural network complexity is invariant with arbitrarily large N; and 2) designing the action and reward for the DRL agent to effectively learn from the dynamic interactions with the complicated propagation environment represented by a 3D Terrain Map. Specifically, a novel two-level design approach is proposed, consisting of a preliminary design based on the dominant line-of-sight (LoS) channel model, and an advanced design to further refine the ABS positions based on site-specific LoS/non-LoS channel states. The double deep Q-network (DQN) with Prioritized Experience Replay (Prioritized Replay DDQN) algorithm is applied to train the policy of multi-ABS placement decision. Numerical results show that the proposed approach significantly improves the coverage rate in complex environment, compared to the benchmark DQN and K-means algorithms.


title: Extended Answer and Uncertainty Aware Neural Question Generation

abstract: In this paper, we study automatic question generation, the task of creating questions from corresponding text passages where some certain spans of the text can serve as the answers. We propose an Extended Answer-aware Network (EAN) which is trained with Word-based Coverage Mechanism (WCM) and decodes with Uncertainty-aware Beam Search (UBS). The EAN represents the target answer by its surrounding sentence with an encoder, and incorporates the information of the extended answer into paragraph representation with gated paragraph-to-answer attention to tackle the problem of the inadequate representation of the target answer. To reduce undesirable repetition, the WCM penalizes repeatedly attending to the same words at different time-steps in the training stage. The UBS aims to seek a better balance between the model confidence in copying words from an input text paragraph and the confidence in generating words from a vocabulary. We conduct experiments on the SQuAD dataset, and the results show our approach achieves significant performance improvement.


title: Hunting for Troll Comments in News Community Forums

abstract: There are different definitions of what a troll is. Certainly, a troll can be somebody who teases people to make them angry, or somebody who offends people, or somebody who wants to dominate any single discussion, or somebody who tries to manipulate people's opinion (sometimes for money), etc. The last definition is the one that dominates the public discourse in Bulgaria and Eastern Europe, and this is our focus in this paper. In our work, we examine two types of opinion manipulation trolls: paid trolls that have been revealed from leaked reputation management contracts and mentioned trolls that have been called such by several different people. We show that these definitions are sensible: we build two classifiers that can distinguish a post by such a paid troll from one by a non-troll with 81-82% accuracy; the same classifier achieves 81-82% accuracy on so called mentioned troll vs. non-troll posts.


title: Neural Network Pruning with Residual-Connections and Limited-Data

abstract: Filter level pruning is an effective method to accelerate the inference speed of deep CNN models. Although numerous pruning algorithms have been proposed, there are still two open issues. The first problem is how to prune residual connections. We propose to prune both channels inside and outside the residual connections via a KL-divergence based criterion. The second issue is pruning with limited data. We observe an interesting phenomenon: directly pruning on a small dataset is usually worse than fine-tuning a small model which is pruned or trained from scratch on the large dataset. Knowledge distillation is an effective approach to compensate for the weakness of limited data. However, the logits of a teacher model may be noisy. In order to avoid the influence of label noise, we propose a label refinement approach to solve this problem. Experiments have demonstrated the effectiveness of our method (CURL, Compression Using Residual-connections and Limited-data). CURL significantly outperforms previous state-of-the-art methods on ImageNet. More importantly, when pruning on small datasets, CURL achieves comparable or much better performance than fine-tuning a pretrained small model.


title: Nonequilibrium polarity-induced mechanism for chemotaxis: emergent Galilean symmetry and exact scaling exponents

abstract: A generically observed mechanism that drives the self-organization of living systems is interaction via chemical signals among the individual elements -- which may represent cells, bacteria, or even enzymes. Here we propose a novel mechanism for such interactions, in the context of chemotaxis, which originates from the polarity of the particles and which generalizes the well-known Keller--Segel interaction term. We study the resulting large-scale dynamical properties of a system of such chemotactic particles using the exact stochastic formulation of Dean and Kawasaki along with dynamical renormalization group analysis of the critical state of the system. At this critical point, an emergent "Galilean" symmetry is identified, which allows us to obtain the dynamical scaling exponents exactly; these exponents reveal superdiffusive density fluctuations and non-Poissonian number fluctuations. We expect our results to shed light on how molecular regulation of chemotactic circuits can determine large-scale behavior of cell colonies and tissues.


title: Performance enhancement of quantum annealing under the Lechner-Hauke-Zoller scheme by non-linear driving of the constraint term

abstract: We analyze the performance of quantum annealing as formulated by Lechner, Hauke, and Zoller (LHZ), by which a Hamiltonian with all-to-all two-body interactions is reduced to a corresponding Hamiltonian with local many-body interactions. Mean-field analyses show that problematic first-order quantum phase transitions that exist in the original LHZ formulation can be avoided, and thus an exponential speedup is achieved, if we drive the coefficient of the many-body term, which represents the constraint, non-linearly as a function of time. This result applies not only to a simple ferromagnetic model but also to the spin glass problem if a parameter in the spin glass model is chosen appropriately.


title: A Hybrid Morpheme-Word Representation for Machine Translation of Morphologically Rich Languages

abstract: We propose a language-independent approach for improving statistical machine translation for morphologically rich languages using a hybrid morpheme-word representation where the basic unit of translation is the morpheme, but word boundaries are respected at all stages of the translation process. Our model extends the classic phrase-based model by means of (1) word boundary-aware morpheme-level phrase extraction, (2) minimum error-rate training for a morpheme-level translation model using word-level BLEU, and (3) joint scoring with morpheme- and word-level language models. Further improvements are achieved by combining our model with the classic one. The evaluation on English to Finnish using Europarl (714K sentence pairs; 15.5M English words) shows statistically significant improvements over the classic model based on BLEU and human judgments.


title: Improving FLAIR SAR efficiency at 7T by adaptive tailoring of adiabatic pulse power using deep convolutional neural networks

abstract: Purpose: The purpose of this study is to demonstrate a method for Specific Absorption Rate (SAR) reduction for T2-FLAIR MRI sequences at 7T by predicting the required adiabatic pulse power and scaling the amplitude in a slice-wise fashion. Methods: We used a TR-FOCI adiabatic pulse for spin inversion in a T2-FLAIR sequence to improve B1+ homogeneity and calculate the pulse power required for adiabaticity slice-by-slice to minimize the SAR. Drawing on the implicit B1+ inhomogeneity present in a standard localizer scan, 3D AutoAlign localizers and SA2RAGE B1+ maps were acquired in eight volunteers. A convolutional neural network (CNN) was then trained to predict the B1+ profile from the localizers and scale factors for the pulse power for each slice were calculated. The ability to predict the B1+ profile as well as how the derived pulse scale factors affected the FLAIR inversion efficiency were assessed in transverse, sagittal, and coronal orientations. Results: The predicted B1+ maps matched the measured B1+ maps with a mean difference of 4.45% across all slices. The acquisition in the transverse orientation was shown to be most effective for this method and delivered a 40% reduction in SAR along with 1min and 30-sec reduction in scan time (28%) without degradation of image quality. Conclusion: We propose a SAR reduction technique based on the prediction of B1+ profiles from standard localizer scans using a CNN and show that scaling the inversion pulse power slice-by-slice for FLAIR sequences at 7T reduces SAR and scan time without compromising image quality.


title: Adaptive Routing Between Capsules

abstract: Capsule network is the most recent exciting advancement in the deep learning field and represents positional information by stacking features into vectors. The dynamic routing algorithm is used in the capsule network, however, there are some disadvantages such as the inability to stack multiple layers and a large amount of computation. In this paper, we propose an adaptive routing algorithm that can solve the problems mentioned above. First, the low-layer capsules adaptively adjust their direction and length in the routing algorithm and removing the influence of the coupling coefficient on the gradient propagation, so that the network can work when stacked in multiple layers. Then, the iterative process of routing is simplified to reduce the amount of computation and we introduce the gradient coefficient $\lambda$. Further, we tested the performance of our proposed adaptive routing algorithm on CIFAR10, Fashion-MNIST, SVHN and MNIST, while achieving better results than the dynamic routing algorithm.


title: Quantum phases of a one-dimensional Majorana-Bose-Hubbard model

abstract: Majorana zero modes (MZM-s) occurring at the edges of a 1D, p-wave, spinless superconductor, in absence of fluctuations of the phase of the superconducting order parameter, are quintessential examples of topologically-protected zero-energy modes occurring at the edges of 1D symmetry-protected topological phases. In this work, we numerically investigate the fate of the topological phase in the presence of phase-fluctuations using the density matrix renormalization group (DMRG) technique. To that end, we consider a one-dimensional array of MZM-s on mesoscopic superconducting islands at zero temperature. Cooper-pair and MZM-assisted single-electron tunneling, together with finite charging energy of the mesoscopic islands, give rise to a rich phase-diagram of this model. We show that the system can be in either a Mott-insulating phase, a Luttinger liquid (LL) phase of Cooper-pairs or a second gapless phase. In contrast to the LL of Cooper-pairs, this second phase is characterized by nonlocal string correlation functions which decay algebraically due to gapless charge-$e$ excitations. The three phases are separated from each other by phase-transitions of either Kosterlitz-Thouless or Ising type. Using a Jordan-Wigner transformation, we map the system to a generalized Bose-Hubbard model with two types of hopping and use DMRG to analyze the different phases and the phase-transitions.

categories: cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el quant-ph


title: Estimation of Orientation and Camera Parameters from Cryo-Electron Microscopy Images with Variational Autoencoders and Generative Adversarial Networks

abstract: Cryo-electron microscopy (cryo-EM) is capable of producing reconstructed 3D images of biomolecules at near-atomic resolution. As such, it represents one of the most promising imaging techniques in structural biology. However, raw cryo-EM images are only highly corrupted - noisy and band-pass filtered - 2D projections of the target 3D biomolecules. Reconstructing the 3D molecular shape starts with the removal of image outliers, the estimation of the orientation of the biomolecule that has produced the given 2D image, and the estimation of camera parameters to correct for intensity defects. Current techniques performing these tasks are often computationally expensive, while the dataset sizes keep growing. There is a need for next-generation algorithms that preserve accuracy while improving speed and scalability. In this paper, we combine variational autoencoders (VAEs) and generative adversarial networks (GANs) to learn a low-dimensional latent representation of cryo-EM images. We perform an exploratory analysis of the obtained latent space, that is shown to have a structure of "orbits", in the sense of Lie group theory, consistent with the acquisition procedure of cryo-EM images. This analysis leads us to design an estimation method for orientation and camera parameters of single-particle cryo-EM images, together with an outliers detection procedure. As such, it opens the door to geometric approaches for unsupervised estimations of orientations and camera parameters, making possible fast cryo-EM biomolecule reconstruction.


title: Unidirectional Seebeck effect in magnetic topological insulators

abstract: We theoretically investigate the temperature gradient-dependent or unidirectional Seebeck effect (USE) in a magnetic/ nonmagnetic topological insulator (TI) heterostructure with in-plane magnetization in terms of the semiclassical electron dynamics and Fermi golden rule. The USE has a quantum origin arising from the magnon asymmetric scattering of surface Dirac electrons on TI. We discuss the USE in the heterostructures, Cr$_{x}$(Bi$_{1-y}$Sb$_y$)$_{2-x}$Te$_{3}$/ (Bi$_{1-y}$Sb$_{y})_2$Te$_{3}$. The USE exhibits $\cos\phi$-dependence (measured from $y$-direction) on the orientation of magnetization. It's found that the sign of USE stays unchanged when the system is transferred from $p$-doping to $n$-doping. The USE shows on inverse-linearly temperature dependent at high temperature.


title: The hadronic light-by-light scattering contribution to the muon anomalous magnetic moment from lattice QCD

abstract: We report the first result for the hadronic light-by-light scattering contribution to the muon anomalous magnetic moment with all errors systematically controlled. Several ensembles using 2+1 flavors of physical mass M\"obius domain-wall fermions, generated by the RBC/UKQCD collaborations, are employed to take the continuum and infinite volume limits of finite volume lattice QED+QCD. We find $a_\mu^{\rm HLbL} = 7.87(3.06)_\text{stat}(1.77)_\text{sys}\times 10^{-10}$. Our value is consistent with previous model results and leaves little room for this notoriously difficult hadronic contribution to explain the difference between the Standard Model and the BNL experiment.


title: Candidate radio supernova remnants observed by the GLEAM survey over $345^\circ < l < 60^\circ$ and $180^\circ < l < 240^\circ$

abstract: We examined the latest data release from the GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) survey covering $345^\circ < l < 60^\circ$, $180^\circ < l < 240^\circ$, using these data and that of the Widefield Infrared Survey Explorer to follow up proposed candidate Supernova Remnants from other sources. Of the 101 candidates proposed in the region, we are able to definitively confirm ten as SNRs, tentatively confirm two as SNRs, and reclassify five as Hii regions. A further two are detectable in our images but difficult to classify; the remaining 82 are undetectable in these data. We also investigated the 18 unclassified Multi-Array Galactic Plane Imaging Survey (MAGPIS) candidate SNRs, newly confirming three as SNRs, reclassifying two as Hii regions, and exploring the unusual spectra and morphology of two others.


title: In Search of Credible News

abstract: We study the problem of finding fake online news. This is an important problem as news of questionable credibility have recently been proliferating in social media at an alarming scale. As this is an understudied problem, especially for languages other than English, we first collect and release to the research community three new balanced credible vs. fake news datasets derived from four online sources. We then propose a language-independent approach for automatically distinguishing credible from fake news, based on a rich feature set. In particular, we use linguistic (n-gram), credibility-related (capitalization, punctuation, pronoun use, sentiment polarity), and semantic (embeddings and DBPedia data) features. Our experiments on three different testsets show that our model can distinguish credible from fake news with very high accuracy.


title: New candidate radio supernova remnants detected in the GLEAM survey over $345^\circ < l < 60^\circ$, $180^\circ < l < 240^\circ$

abstract: We have detected 27 new supernova remnants (SNRs) using a new data release of the GLEAM survey from the Murchison Widefield Array (MWA) telescope, including the lowest surface-brightness SNR ever detected, G0.1-9.7. Our method uses spectral fitting to the radio continuum to derive spectral indices for 26/27 candidates, and our low-frequency observations probe a steeper-spectrum population than previously discovered. None of the candidates have coincident Wide-field Infrared Survey Explorer mid-IR emission, further showing that the emission is non-thermal. Using pulsar associations we derive physical properties for six candidate SNRs, finding G0.1-9.7 may be younger than 10kyr. 60% of the candidates subtend areas larger than 0.2deg$^{2}$ on the sky, compared to $<25$% of previously-detected SNRs. We also make the first detection of two SNRs in the Galactic longitude range $220^\circ-240^\circ$.


title: GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) survey II: Galactic Plane $345^\circ < l < 67^\circ$, $180^\circ < l < 240^\circ$

abstract: This work makes available a further 2,860deg$^2$ of the GLEAM survey, covering half of the accessible Galactic Plane, across twenty frequency bands sampling $72-231$MHz, with resolution $4'-2'$. Unlike previous GLEAM data releases, we used multi-scale clean to better deconvolve large-scale Galactic structure. For the Galactic longitude ranges $345^\circ < l < 67^\circ$, $180^\circ < l < 240^\circ$, we provide a compact source catalogue of 22,037 components selected from a 60-MHz bandwidth image centred at 200-MHz, with RMS noise $\approx10-20$mJy beam$^{-1}$ and position accuracy better than $2"$. The catalogue has a completeness of 50% at $\approx120$mJy, and a reliability of 99.86%. It covers Galactic latitudes $1^\circ\leq|b|\leq10^\circ$ toward the Galactic Centre and $|b|\leq10^\circ$ for other regions, and is available from Vizier; images covering $|b|\leq10^\circ$ for all longitudes are made available on the GLEAM VO server and SkyView.


title: Distributed Generative Adversarial Net

abstract: Recently the Generative Adversarial Network has become a hot topic. Considering the application of GAN in multi-user environment, we propose Distributed-GAN. It enables multiple users to train with their own data locally and generates more diverse samples. Users don't need to share data with each other to avoid the leakage of privacy. In recent years, commercial companies have launched cloud platforms based on artificial intelligence to provide model for users who lack computing power. We hope our work can inspire these companies to provide more powerful AI services.


title: Communication, Distortion, and Randomness in Metric Voting

abstract: In distortion-based analysis of social choice rules over metric spaces, one assumes that all voters and candidates are jointly embedded in a common metric space. Voters rank candidates by non-decreasing distance. The mechanism, receiving only this ordinal (comparison) information, should select a candidate approximately minimizing the sum of distances from all voters. It is known that while the Copeland rule and related rules guarantee distortion at most 5, many other standard voting rules, such as Plurality, Veto, or $k$-approval, have distortion growing unboundedly in the number $n$ of candidates. Plurality, Veto, or $k$-approval with small $k$ require less communication from the voters than all deterministic social choice rules known to achieve constant distortion. This motivates our study of the tradeoff between the distortion and the amount of communication in deterministic social choice rules. We show that any one-round deterministic voting mechanism in which each voter communicates only the candidates she ranks in a given set of $k$ positions must have distortion at least $\frac{2n-k}{k}$; we give a mechanism achieving an upper bound of $O(n/k)$, which matches the lower bound up to a constant. For more general communication-bounded voting mechanisms, in which each voter communicates $b$ bits of information about her ranking, we show a slightly weaker lower bound of $\Omega(n/b)$ on the distortion. For randomized mechanisms, it is known that Random Dictatorship achieves expected distortion strictly smaller than 3, almost matching a lower bound of $3-\frac{2}{n}$ for any randomized mechanism that only receives each voter's top choice. We close this gap, by giving a simple randomized social choice rule which only uses each voter's first choice, and achieves expected distortion $3-\frac{2}{n}$.


title: Topological computing of arrangements with (co)chains

abstract: In many areas of applied geometric/numeric computational mathematics, including geo-mapping, computer vision, computer graphics, finite element analysis, medical imaging, geometric design, and solid modeling, one has to compute incidences, adjacencies and ordering of cells, generally using disparate and often incompatible data structures and algorithms. This paper introduces computational topology algorithms to discover the 2D/3D space partition induced by a collection of geometric objects of dimension 1D/2D, respectively. Methods and language are those of basic geometric and algebraic topology. Only sparse vectors and matrices are used to compute both spaces and maps, i.e., the chain complex, from dimension zero to three.


title: Systematic Regularity of Solar Coronal Rotation During the Time Interval 1939-2019

abstract: Temporal variation of the solar coronal rotation appears to be very complex and its relevances to the eleven-year solar activity cycle are still unclear. Using the modified coronal index for the time interval from 1939 January 1 to 2019 May 31, the systematic regularities of the solar coronal rotation are investigated. Our main findings are as follows: (1) from a global point of view, the synodic coronal rotation period with a value of 27.5 days is the only significant period at the periodic scales shorter than 64 days; (2) the coronal rotation period exhibit an obviously decreasing trend during the considered time interval, implying the solar corona accelerates its global rotation rate in the long run; (3) there exist significant periods of 3.25, 6.13, 9.53, and 11.13 years in the period length of the coronal rotation, providing an evidence that the coronal rotation should be connected with the quasi-biennial oscillation, the eleven-year solar cycle, and the 22-year Hale cycle (or the magnetic activity reversal); and (4) the phase relationship between the coronal rotation period and the solar magnetic activity is not only time-dependent but also frequency-dependent. For a small range around the 11- year cycle band, there is a systematic trend in the phase, and the small mismatch in this band brings out the phase to drift. The possible mechanism for the above analysis results is discussed.


title: The emergence of expanding space-time and intersecting D-branes from classical solutions in the Lorentzian type IIB matrix model

abstract: The type IIB matrix model is a promising candidate for a nonperturbative formulation of superstring theory. As such, it is expected to explain the origin of space--time and matter at the same time. This has been partially demonstrated by the previous Monte Carlo studies on the Lorentzian version of the model, which suggested the emergence of (3+1)-dimensional expanding space--time. Here we investigate the same model by solving numerically the classical equation of motion, which is expected to be valid at late times since the action becomes large due to the expansion of space. Many solutions are obtained by the gradient descent method starting from random matrix configurations, assuming a quasi-direct-product structure for the (3+1)-dimensions and the extra 6 dimensions. We find that these solutions generally admit the emergence of expanding space--time and a block-diagonal structure in the extra dimensions, the latter being important for the emergence of intersecting D-branes. For solutions corresponding to D-branes with appropriate dimensionality, the Dirac operator is shown to acquire a zero mode in the limit of infinite matrix size.


title: Low-Complexity Linear Equalization for OTFS Systems with Rectangular Waveforms

abstract: Orthogonal time frequency space (OTFS) is a promising technology for high-mobility wireless communications. However, the equalization realization in practical OTFS systems is a great challenge when the non-ideal rectangular waveforms are adopted. In this paper, first of all, we theoretically prove that the effective channel matrix under rectangular waveforms holds the block-circulant property and the special Fourier transform structure with time-domain channel. Then, by exploiting the proved property and structure, we further propose the corresponding low-complexity algorithms for two mainstream linear equalization methods, i.e., zero-forcing (ZF) and minimum mean square error (MMSE). Compared with the existing direct-matrix-inversion-based equalization, the complexities can be reduced by a few thousand times for ZF and a few hundred times for MMSE without any performance loss, when the numbers of symbols and subcarriers are both 32 in OTFS systems.


title: Protecting RESTful IoT Devices from Battery Exhaustion DoS Attacks

abstract: Many IoT use cases involve constrained battery-powered devices offering services in a RESTful manner to their communication partners. Such services may involve, e.g., costly computations or actuator/sensor usage, which may have significant influence on the power consumption of the service Providers. Remote attackers may excessively use those services in order to exhaust the Providers' batteries, which is a form of a Denial of Service (DoS) attack. Previous work proposed solutions based on lightweight symmetric authentication. These solutions scale poorly due to requiring pre-shared keys and do not provide protection against compromised service Requesters. In contrast, we consider more powerful attackers even capable of compromising legit Requesters. We propose a method that combines attacker detection and throttling, conducted by a third trusted Backend, with a lightweight authentication protocol. For attacker detection and throttling, we propose a novel approach using rate limitation algorithms. In addition, we propose and formally verify two authentication protocols suitable for different, widely used IoT network topologies. Our protocols ensure service availability for benign Requesters even if Providers are under a battery exhaustion attack. The protocols do neither require pre-shared keys between Requesters and Providers, nor the usage of asymmetric cryptography and public key infrastructures on the Provider. This makes our protocols suitable for a variety of IoT deployments involving constrained devices and constrained networks. We demonstrate the feasibility of our method through a simulation and a proof of concept implementation.


title: Investigating the relationship between graph eigenvector ordering and the signal processing dual

abstract: Graph signal processing uses the graph eigenvector basis to analyze signals. However, these graph eigenvectors are typically linearly ordered (by total variation), which may not be reasonable for many graph structures. There have been structure based similarity metrics proposed in the literature that better capture the geometry of graph eigenvectors. On the other hand, there has been work that attempts to generalize the concept of duality to graph signal processing. The (signal processing) the dual graph captures the relationship between graph frequencies and is obtained by typically inverting the graph Fourier transform operation. In this work, we investigate the connections between these two concepts. We propose a dualness measure of two graphs, which quantifies how close the graphs are being (signal processing) duals of each other. We show that this definition satisfies some desirable properties and develop an algorithm based on coordinate descent and perfect matching to compute an approximation to dualness. By computing the dualness measure, we observe that for structured graphs, the similarity metric-based techniques give a better dual graph (and vice-versa for ER graphs), suggesting a potentially novel approach unifying the two methods.


title: Enhancing the Extraction of Interpretable Information for Ischemic Stroke Imaging from Deep Neural Networks

abstract: We implement a visual interpretability method Layer-wise Relevance Propagation (LRP) on top of 3D U-Net trained to perform lesion segmentation on the small dataset of multi-modal images provided by ISLES 2017 competition. We demonstrate that LRP modifications could provide more sensible visual explanations to an otherwise highly noise-skewed saliency map. We also link amplitude of modified signals to useful information content. High amplitude localized signals appear to constitute the noise that undermines the interpretability capacity of LRP. Furthermore, mathematical framework for possible analysis of function approximation is developed by analogy.


title: Bredon cohomology of finite dimensional $C_p$-spaces

abstract: For finite dimensional free $C_p$-spaces, the calculation of the Bredon cohomology ring as an algebra over the cohomology of $S^0$ is used to prove the non-existence of certain $C_p$-maps. These are related to Borsuk-Ulam type theorems, and equivariant maps related to the topological Tverberg conjecture. For certain finite dimensional $C_p$-spaces which are formed out of representations, it is proved that the cohomology is a free module over the cohomology of a point. All the calculations are done for the cohomology with constant coefficients $\mathbb{Z}/p$.


title: A regularized hidden Markov model for analyzing the 'hot shoe' in football

abstract: Although academic research on the 'hot hand' effect (in particular, in sports, especially in basketball) has been going on for more than 30 years, it still remains a central question in different areas of research whether such an effect exists. In this contribution, we investigate the potential occurrence of a 'hot shoe' effect for the performance of penalty takers in football based on data from the German Bundesliga. For this purpose, we consider hidden Markov models (HMMs) to model the (latent) forms of players. To further account for individual heterogeneity of the penalty taker as well as the opponent's goalkeeper, player-specific abilities are incorporated in the model formulation together with a LASSO penalty. Our results suggest states which can be tied to different forms of players, thus providing evidence for the hot shoe effect, and shed some light on exceptionally well-performing goalkeepers, which are of potential interest to managers and sports fans.


title: MarioNETte: Few-shot Face Reenactment Preserving Identity of Unseen Targets

abstract: When there is a mismatch between the target identity and the driver identity, face reenactment suffers severe degradation in the quality of the result, especially in a few-shot setting. The identity preservation problem, where the model loses the detailed information of the target leading to a defective output, is the most common failure mode. The problem has several potential sources such as the identity of the driver leaking due to the identity mismatch, or dealing with unseen large poses. To overcome such problems, we introduce components that address the mentioned problem: image attention block, target feature alignment, and landmark transformer. Through attending and warping the relevant features, the proposed architecture, called MarioNETte, produces high-quality reenactments of unseen identities in a few-shot setting. In addition, the landmark transformer dramatically alleviates the identity preservation problem by isolating the expression geometry through landmark disentanglement. Comprehensive experiments are performed to verify that the proposed framework can generate highly realistic faces, outperforming all other baselines, even under a significant mismatch of facial characteristics between the target and the driver.


title: Non-existence theorems and solutions of the Wu-Yang monopole equation

abstract: We consider the dynamics of the classical $SU(2)$ Wu-Yang monopole problem and show a set of new directions for its analysis starting from a variational setting. This allows us to give a new interpretation of the monopole charge as a string in a centrifugal potential. The field equations are solved using both standard power series, as well as a new Pad\'e approach. Furthermore, we discuss non-existence, and give a proof that rule out even singular non-trivial smooth finite energy solutions. Due to its non-vanishing chromomagnetic fields, the monopole can be interpreted as a collection of magnetic dipoles. Along the same lines, a non-smooth glue-ball solution is discussed that may serve as a toy model of the proton or a radiation-dominated cosmological expansion. Finally, we discuss generalizations of the Wu-Yang monopole.


title: Tell Me What They're Holding: Weakly-supervised Object Detection with Transferable Knowledge from Human-object Interaction

abstract: In this work, we introduce a novel weakly supervised object detection (WSOD) paradigm to detect objects belonging to rare classes that have not many examples using transferable knowledge from human-object interactions (HOI). While WSOD shows lower performance than full supervision, we mainly focus on HOI as the main context which can strongly supervise complex semantics in images. Therefore, we propose a novel module called RRPN (relational region proposal network) which outputs an object-localizing attention map only with human poses and action verbs. In the source domain, we fully train an object detector and the RRPN with full supervision of HOI. With transferred knowledge about localization map from the trained RRPN, a new object detector can learn unseen objects with weak verbal supervision of HOI without bounding box annotations in the target domain. Because the RRPN is designed as an add-on type, we can apply it not only to the object detection but also to other domains such as semantic segmentation. The experimental results on HICO-DET dataset show the possibility that the proposed method can be a cheap alternative for the current supervised object detection paradigm. Moreover, qualitative results demonstrate that our model can properly localize unseen objects on HICO-DET and V-COCO datasets.


title: GraphTER: Unsupervised Learning of Graph Transformation Equivariant Representations via Auto-Encoding Node-wise Transformations

abstract: Recent advances in Graph Convolutional Neural Networks (GCNNs) have shown their efficiency for non-Euclidean data on graphs, which often require a large amount of labeled data with high cost. It it thus critical to learn graph feature representations in an unsupervised manner in practice. To this end, we propose a novel unsupervised learning of Graph Transformation Equivariant Representations (GraphTER), aiming to capture intrinsic patterns of graph structure under both global and local transformations. Specifically, we allow to sample different groups of nodes from a graph and then transform them node-wise isotropically or anisotropically. Then, we self-train a representation encoder to capture the graph structures by reconstructing these node-wise transformations from the feature representations of the original and transformed graphs. In experiments, we apply the learned GraphTER to graphs of 3D point cloud data, and results on point cloud segmentation/classification show that GraphTER significantly outperforms state-of-the-art unsupervised approaches and pushes greatly closer towards the upper bound set by the fully supervised counterparts. The code is available at: https://github.com/gyshgx868/graph-ter.


title: Second class particles and limit shapes of evacuation and sliding paths for random tableaux

abstract: We investigate two closely related setups. In the first one we consider a TASEP-style system of particles with specified initial and final configurations. The probability of each history of the system is assumed to be equal. We show that the rescaled trajectory of the \emph{second class particle} converges (as the size of the system tends to infinity) to a random arc of an ellipse. In the second setup we consider a uniformly random Young tableau of square shape and look for typical (in the sense of probability) sliding paths and evacuation paths in the asymptotic setting as the size of the square tends to infinity. We show that the probability distribution of such paths converges to a random meridian connecting the opposite corners of the square. We also discuss analogous results for non-square Young tableaux.


title: On the Dynamics of Inverse Magnetic Billiards

abstract: Consider a strictly convex set $\Omega$ in the plane, and a homogeneous, stationary magnetic field orthogonal to the plane whose strength is $B$ on the complement of $\Omega$ and $0$ inside $\Omega$. The trajectories of a charged particle in this setting are straight lines concatenated with circular arcs of Larmor radius $\mu$. We examine the dynamics of such a particle and call this inverse magnetic billiards. Comparisons are made to standard Birkhoff billiards and magnetic billiards, as some theorems regarding inverse magnetic billiards are consistent with each of these billiard variants while others are not.


title: Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

abstract: LTLf synthesis is the automated construction of a reactive system from a high-level description, expressed in LTLf, of its finite-horizon behavior. So far, the conversion of LTLf formulas to deterministic finite-state automata (DFAs) has been identified as the primary bottleneck to the scalabity of synthesis. Recent investigations have also shown that the size of the DFA state space plays a critical role in synthesis as well. Therefore, effective resolution of the bottleneck for synthesis requires the conversion to be time and memory performant, and prevent state-space explosion. Current conversion approaches, however, which are based either on explicit-state representation or symbolic-state representation, fail to address these necessities adequately at scale: Explicit-state approaches generate minimal DFA but are slow due to expensive DFA minimization. Symbolic-state representations can be succinct, but due to the lack of DFA minimization they generate such large state spaces that even their symbolic representations cannot compensate for the blow-up. This work proposes a hybrid representation approach for the conversion. Our approach utilizes both explicit and symbolic representations of the state-space, and effectively leverages their complementary strengths. In doing so, we offer an LTLf to DFA conversion technique that addresses all three necessities, hence resolving the bottleneck. A comprehensive empirical evaluation on conversion and synthesis benchmarks supports the merits of our hybrid approach.


title: Trees in positive entropy subshifts

abstract: I give a simple proof for the fact that positive entropy subshifts contain infinite binary trees where branching happens synchronously in each branch, and that the branching times form a set with positive lower asymptotic density.


title: Learning Weighted Submanifolds with Variational Autoencoders and Riemannian Variational Autoencoders

abstract: Manifold-valued data naturally arises in medical imaging. In cognitive neuroscience, for instance, brain connectomes base the analysis of coactivation patterns between different brain regions on the analysis of the correlations of their functional Magnetic Resonance Imaging (fMRI) time series - an object thus constrained by construction to belong to the manifold of symmetric positive definite matrices. One of the challenges that naturally arises consists of finding a lower-dimensional subspace for representing such manifold-valued data. Traditional techniques, like principal component analysis, are ill-adapted to tackle non-Euclidean spaces and may fail to achieve a lower-dimensional representation of the data - thus potentially pointing to the absence of lower-dimensional representation of the data. However, these techniques are restricted in that: (i) they do not leverage the assumption that the connectomes belong on a pre-specified manifold, therefore discarding information; (ii) they can only fit a linear subspace to the data. In this paper, we are interested in variants to learn potentially highly curved submanifolds of manifold-valued data. Motivated by the brain connectomes example, we investigate a latent variable generative model, which has the added benefit of providing us with uncertainty estimates - a crucial quantity in the medical applications we are considering. While latent variable models have been proposed to learn linear and nonlinear spaces for Euclidean data, or geodesic subspaces for manifold data, no intrinsic latent variable model exists to learn nongeodesic subspaces for manifold data. This paper fills this gap and formulates a Riemannian variational autoencoder with an intrinsic generative model of manifold-valued data. We evaluate its performances on synthetic and real datasets by introducing the formalism of weighted Riemannian submanifolds.


title: Denial of Service Attacks on Control Systems with Packet Loss

abstract: The performance of control systems with packet loss as a result of an attack over the actuation communication channel is analysed. The operator is assumed to monitor the state of the channel by measuring the average number of packet losses and an attack detection criteria is established based on the statistic. The performance of the attacker is measured in terms of the increase of the linear quadratic cost function of the operator subject to a given detection constraint. Within that setting, the optimal denial of service (DoS) attack strategy is formulated for UDP-like and TCP-like communication protocols. {For both communication protocols,} DoS attack constructions that are independent and identically distributed (IID) are compared to those that are non-stationary. The main contributions of this paper are (i) explicit characterisation of the expected cost increase of the optimal attack constructions and the associated packet loss parameter for the IID case, (ii) proof, by example, that non-stationary random attacks outperform IID attacks in the presence of detection constraints.


title: Differentiating Features for Scene Segmentation Based on Dedicated Attention Mechanisms

abstract: Semantic segmentation is a challenge in scene parsing. It requires both context information and rich spatial information. In this paper, we differentiate features for scene segmentation based on dedicated attention mechanisms (DF-DAM), and two attention modules are proposed to optimize the high-level and low-level features in the encoder, respectively. Specifically, we use the high-level and low-level features of ResNet as the source of context information and spatial information, respectively, and optimize them with attention fusion module and 2D position attention module, respectively. For attention fusion module, we adopt dual channel weight to selectively adjust the channel map for the highest two stage features of ResNet, and fuse them to get context information. For 2D position attention module, we use the context information obtained by attention fusion module to assist the selection of the lowest-stage features of ResNet as supplementary spatial information. Finally, the two sets of information obtained by the two modules are simply fused to obtain the prediction. We evaluate our approach on Cityscapes and PASCAL VOC 2012 datasets. In particular, there aren't complicated and redundant processing modules in our architecture, which greatly reduces the complexity, and we achieving 82.3% Mean IoU on PASCAL VOC 2012 test dataset without pre-training on MS-COCO dataset.


title: Two-Way Physical Layer Security Protocol for Gaussian Channels

abstract: In this paper we propose a two-way protocol of physical layer security using the method of privacy amplification against eavesdroppers. First we justify our proposed protocol by analyzing the physical layer security provided by the classic wiretap channel model (i.e. one-way protocol). In the Gaussian channels, the classic one-way protocol requires Eve's channel to be degraded w.r.t. Bob's channel. However, this channel degradation condition depends on Eve's location and whether Eve's receiving antenna is more powerful than Bob's. To overcome this limitation, we introduce a two-way protocol inspired in IEEE TIT (1993) that eliminates the channel degradation condition. In the proposed two-way protocol, on a first phase, via Gaussian channel, Bob sends randomness to Alice, which is partially leaked to Eve. Then, on a second phase, Alice transmits information to Bob over a public noiseless channel. We derive the secrecy capacity of the two-way protocol when the channel to Eve is also Gaussian. We show that the capacity of the two-way protocol is always positive. We present numerical values of the capacities illustrating the gains obtained by our proposed protocol. We apply our result to simple yet realistic models of satellite communication channels.


title: Retrospective and Prospective Mixture-of-Generators for Task-oriented Dialogue Response Generation

abstract: Dialogue response generation (DRG) is a critical component of task-oriented dialogue systems (TDSs). Its purpose is to generate proper natural language responses given some context, e.g., historical utterances, system states, etc. State-of-the-art work focuses on how to better tackle DRG in an end-to-end way. Typically, such studies assume that each token is drawn from a single distribution over the output vocabulary, which may not always be optimal. Responses vary greatly with different intents, e.g., domains, system actions. We propose a novel mixture-of-generators network (MoGNet) for DRG, where we assume that each token of a response is drawn from a mixture of distributions. MoGNet consists of a chair generator and several expert generators. Each expert is specialized for DRG w.r.t. a particular intent. The chair coordinates multiple experts and combines the output they have generated to produce more appropriate responses. We propose two strategies to help the chair make better decisions, namely, a retrospective mixture-of-generators (RMoG) and prospective mixture-of-generators (PMoG). The former only considers the historical expert-generated responses until the current time step while the latter also considers possible expert-generated responses in the future by encouraging exploration. In order to differentiate experts, we also devise a global-and-local (GL) learning scheme that forces each expert to be specialized towards a particular intent using a local loss and trains the chair and all experts to coordinate using a global loss. We carry out extensive experiments on the MultiWOZ benchmark dataset. MoGNet significantly outperforms state-of-the-art methods in terms of both automatic and human evaluations, demonstrating its effectiveness for DRG.


title: Lectures on Chow-Witt groups

abstract: In these lectures, we provide a toolkit to work with Chow-Witt groups, and more generally with the homology and cohomology of the Rost-Schmid complex associated to Milnor-Witt $K$-theory.


title: Distributed Microphone Speech Enhancement based on Deep Learning

abstract: Speech-related applications deliver inferior performance in complex noise environments. Therefore, this study primarily addresses this problem by introducing speech-enhancement (SE) systems based on deep neural networks (DNNs) applied to a distributed microphone architecture, and then investigates the effectiveness of three different DNN-model structures. The first system constructs a DNN model for each microphone to enhance the recorded noisy speech signal, and the second system combines all the noisy recordings into a large feature structure that is then enhanced through a DNN model. As for the third system, a channel-dependent DNN is first used to enhance the corresponding noisy input, and all the channel-wise enhanced outputs are fed into a DNN fusion model to construct a nearly clean signal. All the three DNN SE systems are operated in the acoustic frequency domain of speech signals in a diffuse-noise field environment. Evaluation experiments were conducted on the Taiwan Mandarin Hearing in Noise Test (TMHINT) database, and the results indicate that all the three DNN-based SE systems provide the original noise-corrupted signals with improved speech quality and intelligibility, whereas the third system delivers the highest signal-to-noise ratio (SNR) improvement and optimal speech intelligibility.


title: The maximum number of maximum dissociation sets in trees

abstract: A subset of vertices is a {\it maximum independent set} if no two of the vertices are adjacent and the subset has maximum cardinality. A subset of vertices is called a {\it maximum dissociation set} if it induces a subgraph with vertex degree at most 1, and the subset has maximum cardinality. Zito [J. Graph Theory {\bf 15} (1991) 207--221] proved that the maximum number of maximum independent sets of a tree of order $n$ is $2^{\frac{n-3}{2}}$ if $n$ is odd, and $2^{\frac{n-2}{2}}+1$ if $n$ is even and also characterized all extremal trees with the most maximum independent sets, which solved a question posed by Wilf. Inspired by the results of Zito, in this paper, by establishing four structure theorems and a result of $k$-K\"{o}nig-Egerv\'{a}ry graph, we show that the maximum number of maximum dissociation sets in a tree of order $n$ is \begin{center} $\left\{ \begin{array}{ll} 3^{\frac{n}{3}-1}+\frac{n}{3}+1, & \hbox{if $n\equiv0\pmod{3}$;} 3^{\frac{n-1}{3}-1}+1, & \hbox{if $n\equiv1\pmod{3}$;} 3^{\frac{n-2}{3}-1}, & \hbox{if $n\equiv2\pmod{3}$,} \end{array} \right.$ \end{center} and also give complete structural descriptions of all extremal trees on which these maxima are achieved.


title: A new characterization of the Calabi torus in the unit sphere

abstract: In this paper, we study the rigidity theorem of closed minimally immersed Legendrian submanifolds in the unit sphere. Utilizing the maximum principle, we obtain a new characterization of the Calabi torus in the unit sphere which is the minimal Calabi product Legendrian immersion of a point and the totally geodesic Legendrian sphere. We also establish an optimal Simons' type integral inequality in terms of the second fundamental form of three dimensional closed minimal Legendrian submanifolds in the unit sphere.


title: Evaluation Of The PETsys TOFPET2 ASIC In Multi-Channel Coincidence Experiments

abstract: Aiming to measure the difference in arrival times of two coincident gamma-photons with an accuracy in the order of 200 ps, time-of-flight positron emission tomography systems commonly employ silicon photomultipliers (SiPMs) and high-resolution digitization electronics, application specific integrated circuits (ASICs). This work evaluates the performance of the TOFPET2 ASIC, released by PETsys Electronics S.A. in 2017, dependent on its configuration parameters in multi-channel coincidence measurements. SiPM arrays fabricated by different vendors (KETEK, SensL, Hamamatsu, Broadcom) were tested in combination with the ASIC. Scintillator arrays featuring different reflector designs and different configurations of the TOFPET2 ASIC software parameters were evaluated. The benchtop setup used is provided with the TOFPET2 ASIC evaluation kit by PETsys Electronics S.A.. Compared to existing studies featuring the TOFPET2 ASIC, multi-channel performance results dependent on a larger set of ASIC configuration parameters were obtained that have not been reported to this extend so far. The ASIC shows promising CRTs down to 219.9 ps in combination with two Hamamatsu S14161-3050-HS-08 SiPM arrays (128 channels read out, energy resolution 13.08 %) and 216.1 ps in combination with two Broadcom AFBR-S4N44P643S SiPM arrays (32 channels read out, energy resolution 9.46 %). The length of the trigger delay of the dark count suppression scheme has an impact on the ASIC performance. The integrator gain configuration has been investigated and allows an improvement of the energy resolution. Measuring up to the time-of-flight performance of state-of-the-art positron emission tomography (ToF-PET) systems while providing a uniform and stable readout for multiple channels at the same time, the TOFPET2 ASIC is treated as promising candidate for the integration in future ToF-PET systems.


title: Strong blow-up instability for standing wave solutions to the system of the quadratic nonlinear Klein-Gordon equations

abstract: This paper is concerned with strong blow-up instability (Definition 1.3) for standing wave solutions to the system of the quadratic nonlinear Klein-Gordon equations. In the single case, namely the nonlinear Klein-Gordon equation with power type nonlinearity, stability and instability for standing wave solutions have been extensively studied. On the other hand, in the case of our system, there are no results concerning the stability and instability as far as we know. In this paper, we prove strong blow-up instability for the standing wave to our system. The proof is based on the techniques in Ohta and Todorova [25]. It turns out that we need the mass resonance condition in two or three space dimensions whose cases are the mass-subcritical case.


title: Fast isogeometric solvers for hyperbolic wave propagation problems

abstract: We use the alternating direction method to simulate implicit dynamics. ur spatial discretization uses isogeometric analysis. Namely, we simulate a (hyperbolic) wave propagation problem in which we use tensor-product B-splines in space and an implicit time marching method to fully discretize the problem. We approximate our discrete operator as a Kronecker product of one-dimensional mass and stiffness matrices. As a result of this algebraic transformation, we can factorize the resulting system of equations in linear (i.e., O(N)) time at each step of the implicit method. We demonstrate the performance of our method in the model P-wave propagation problem. We then extend it to simulate the linear elasticity problem once we decouple the vector problem using alternating triangular methods. We proof theoretically and experimentally the unconditional stability of both methods.


title: Continuously-tunable Cherenkov-radiation-based detectors via plasmon index control

abstract: A recent study [PRB 100, 075427 (2019)], finally, demonstrated plasmon-analog of refractive index enhancement in metal nanostructures, which has already been studied in atomic clouds for several decades. Here, we simply utilize this phenomenon for achieving continuously-tunable enhanced Cherenkov radiation in metal nanostructures. Beyond enabling Cherenkov radiation from slow-moving particles, or increasing its intensity, the phenomenon can be used in continuous-tuning the velocity cutoff of particles contributing to the Cherenkov radiation. More influentially, this allows a continuously-tunable analysis of the contributing particles as if the data is collected from many different detectors, which enables data correction. The phenomenon can also be integrated into lattice metal nanostructures, for continuous medium tuning, where a high density of photonic states is present and the threshold for the Cherenkov radiation can even be lifted. Additionally, vanishing absorption can heal radiation angle distortion effects caused by the metallic absorption.


title: Deep interval prediction model with gradient descend optimization method for short-term wind power prediction

abstract: The application of wind power interval prediction for power systems attempts to give more comprehensive support to dispatchers and operators of the grid. Lower upper bound estimation (LUBE) method is widely applied in interval prediction. However, the existing LUBE approaches are trained by meta-heuristic optimization, which is either time-consuming or show poor effect when the LUBE model is complex. In this paper, a deep interval prediction method is designed in the framework of LUBE and an efficient gradient descend (GD) training approach is proposed to train the LUBE model. In this method, the long short-term memory is selected as a representative to show the modelling approach. The architecture of the proposed model consists of three parts, namely the long short-term memory module, the fully connected layers and the rank ordered module. Two loss functions are specially designed for implementing the GD training method based on the root mean square back propagation algorithm. To verify the performance of the proposed model, conventional LUBE models, as well as popular statistic interval prediction models are compared in numerical experiments. The results show that the proposed approach performs best in terms of effectiveness and efficiency with average 45% promotion in quality of prediction interval and 66% reduction of time consumptions compared to traditional LUBE models.


title: A Game-Theoretic Approach for Enhancing Security and Data Trustworthiness in IoT Applications

abstract: Wireless sensor networks (WSNs)-based internet of things (IoT) are among the fast booming technologies that drastically contribute to different systems management and resilience data accessibility. Designing a robust IoT network imposes some challenges such as data trustworthiness (DT) and power management. This paper presents a repeated game model to enhance clustered WSNs-based IoT security and DT against the selective forwarding (SF) attack. Besides, the model is capable of detecting the hardware (HW) failure of the cluster members (CMs) and conserve the power consumption due to packet retransmission. The model relies on TDMA protocol to facilitate the detection process and to avoid collision between the delivered packets at the cluster head (CH). The proposed model aims to keep packets transmitting, isotropic or non-isotropic transmission, from the CMs to the CH for maximizing the DT and aims to distinguish between the malicious CM and the one suffering from HW failure. Accordingly, it can manage the consequently lost power due to the malicious attack effect or HW malfunction. Simulation results indicate the proposed mechanism improved performance with TDMA over six different environments against the SF attack that achieves the Pareto optimal DT as compared to a non-cooperative defense mechanism.


title: Randomized benchmarking for qudit Clifford gates

abstract: We introduce unitary-gate randomized benchmarking (URB) for qudit gates by extending single-and multi-qubit URB to single- and multi-qudit gates. Specifically, we develop a qudit URB procedure that exploits unitary 2-designs. Furthermore, we show that our URB procedure is not simply extracted from the multi-qubit case by equating qudit URB to URB of the symmetric multi-qubit subspace. Our qudit URB is elucidated by using pseudocode, which facilitates incorporating into benchmarking applications.