title: Coalitional Game Framework for Content Distribution Using Device-to-device Communication

abstract: We consider a set of cellular users associated with a base station (BS) in a cellular network that employs Device-to-device (D2D) communication. A subset of the users request for some files from the BS. Now, some of the users can potentially act as relays and forward the requested files, or partitions of files, from the BS to some of the requesting users (destination nodes) over D2D links. However, this requires cooperation among the cellular users. In this paper, we seek conditions under which users have an incentive to cooperate with each other. We model the above scenario using the frameworks of cooperative game theory and stable partitions in coalitional games. We consider two different models for file transfer within a coalition: (i) Model A, in which the BS can split a file into multiple partitions and send these partitions to different relays, which multicast the partitions to the destination nodes of the coalition, and (ii) Model B, in which for each file, the BS sends the entire file to a single relay, which multicasts it to the destination nodes of the coalition. First, we explore the question of whether it is beneficial for all the cellular users to cooperate, i.e., whether the grand coalition is stable. For this we use the solution concept of core from cooperative game theory. We show that, in general, the above coalitional game under Model A may have an empty core. Next, we provide conditions under which the core is always non-empty and a D_c-stable partition always exists. Also, we show that under Model B, the problem of assigning relays to destination nodes so as to maximize the sum of utilities of all the users is NP-Complete. Finally, we show via numerical computations that a significant reduction in the energy expenditure of cellular users can be achieved via cooperation.


title: A Tutorial and Open Source Software for the Efficient Evaluation of Gravity and Magnetic Kernels

abstract: Fast computation of three-dimensional gravity and magnetic forward models is considered. Measurement data is assumed to be obtained on a uniform grid which is staggered with respect to the discretization of the parameter volume. Then, the resulting kernel sensitivity matrices exhibit block-Toeplitz Toeplitz-block (BTTB) structure. These matrices are symmetric for the gravity problem but non-symmetric for the magnetic problem. In each case, the structure facilitates fast forward computation using two-dimensional fast Fourier transforms. The construction of the kernel matrices and the application of the transform for fast forward multiplication, for each problem, is carefully described. But, for purposes of comparison with the transform approach, the generation of the unique entries that define a given kernel matrix is also explained. It is also demonstrated how the matrices, and hence transforms, are adjusted when padding around the volume domain is introduced. The transform algorithms for fast forward matrix multiplication with the sensitivity matrix and its transpose, without the direct construction of the relevant matrices, are presented. Numerical experiments demonstrate the significant reduction in computation time that is achieved using the transform implementation. Moreover, it becomes feasible, both in terms of reduced memory requirements and computational time, to implement the transform algorithms for large three-dimensional volumes. All presented algorithms, including with variable padding, are coded for optimal memory, storage and computation as an open source MATLAB code which can be adapted for any convolution kernel which generates a BTTB matrix. This work, therefore, provides a general tool for the efficient simulation of gravity and magnetic field data, as well as any formulation which admits a sensitivity matrix with the required structure.


title: Estimation and Validation of Ratio-based Conditional Average Treatment Effects Using Observational Data

abstract: While sample sizes in randomized clinical trials are large enough to estimate the average treatment effect well, they are often insufficient for estimation of treatment-covariate interactions critical to studying data-driven precision medicine. Observational data from real world practice may play an important role in alleviating this problem. One common approach in trials is to predict the outcome of interest with separate regression models in each treatment arm, and estimate the treatment effect based on the contrast of the predictions. Unfortunately, this simple approach may induce spurious treatment-covariate interaction in observational studies when the regression model is misspecified. Motivated by the need of modeling the number of relapses in multiple sclerosis patients, where the ratio of relapse rates is a natural choice of the treatment effect, we propose to estimate the conditional average treatment effect (CATE) as the ratio of expected potential outcomes, and derive a doubly robust estimator of this CATE in a semiparametric model of treatment-covariate interactions. We also provide a validation procedure to check the quality of the estimator on an independent sample. We conduct simulations to demonstrate the finite sample performance of the proposed methods, and illustrate their advantages on real data by examining the treatment effect of dimethyl fumarate compared to teriflunomide in multiple sclerosis patients.


title: Self-Triggered Adaptive Model Predictive Control of Constrained Nonlinear Systems: A Min-Max Approach

abstract: In this paper, a self-triggered adaptive model predictive control (MPC) algorithm is proposed for constrained discrete-time nonlinear systems subject to parametric uncertainties and additive disturbances. To bound the parametric uncertainties with reduced overestimation, a zonotope-based set-membership parameter estimator is developed, which is also compatible with the aperiodic sampling resulted from the self-triggering mechanism. The estimation of uncertainties is employed to reformulate the optimization problem in a min-max MPC scheme to reduce the conservatism. By designing a time-varying penalty in the cost function, the estimation of uncertainties is implicitly considered in the self-triggering scheduler, therefore making the triggering interval further optimized. The resulting self-triggered adaptive MPC algorithm guarantees the recursive feasibility, while providing less conservative performance compared with the self-triggered robust MPC method. Furthermore, we theoretically show that the closed-loop system is input-to-state practical stable (ISpS) at triggering time instants. A numerical example and comparison study are performed to demonstrate the efficacy of the proposed method.


title: Breaking Speech Recognizers to Imagine Lyrics

abstract: We introduce a new method for generating text, and in particular song lyrics, based on the speech-like acoustic qualities of a given audio file. We repurpose a vocal source separation algorithm and an acoustic model trained to recognize isolated speech, instead inputting instrumental music or environmental sounds. Feeding the "mistakes" of the vocal separator into the recognizer, we obtain a transcription of words \emph{imagined} to be spoken in the input audio. We describe the key components of our approach, present initial analysis, and discuss the potential of the method for machine-in-the-loop collaboration in creative applications.


title: Brain-Inspired Inference on Missing Video Sequence

abstract: In this paper, we propose a novel end-to-end architecture that could generate a variety of plausible video sequences correlating two given discontinuous frames. Our work is inspired by the human ability of inference. Specifically, given two static images, human are capable of inferring what might happen in between as well as present diverse versions of their inference. We firstly train our model to learn the transformation to understand the movement trends within given frames. For the sake of imitating the inference of human, we introduce a latent variable sampled from Gaussian distribution. By means of integrating different latent variables with learned transformation features, the model could learn more various possible motion modes. Then applying these motion modes on the original frame, we could acquire various corresponding intermediate video sequence. Moreover, the framework is trained in adversarial fashion with unsupervised learning. Evaluating on the moving Mnist dataset and the 2D Shapes dataset, we show that our model is capable of imitating the human inference to some extent.


title: Local Parametric Surface Approximation With Automatic Order Selection From Position Data

abstract: Acquiring an anatomical map from position data is important for medical applications where catheters interact with soft tissues. To improve autonomous navigation in these settings, we require information beyond nonparametric maps typically available. We present an algorithm for local surface approximation from position data with automatic surface order selection. The traditional surface fitting objective function is derived from a Bayesian perspective. Posterior probabilities from the occupancy map are incorporated as weights on points selected for surface fitting. Our novel iterative algorithm incorporates surface order selection using the Bayesian information criterion. Simulations demonstrate the ability to automatically select surface order consistent with the latent surface in the presence of noise. Results on human procedure data are also presented.


title: Randomized p-values for multiple testing and their application in replicability analysis

abstract: We are concerned with testing replicability hypotheses for many endpoints simultaneously. This constitutes a multiple test problem with composite null hypotheses. Traditional $p$-values, which are computed under least favourable parameter configurations, are over-conservative in the case of composite null hypotheses. As demonstrated in prior work, this poses severe challenges in the multiple testing context, especially when one goal of the statistical analysis is to estimate the proportion $\pi_0$ of true null hypotheses. Randomized $p$-values have been proposed to remedy this issue. In the present work, we discuss the application of randomized $p$-values in replicability analysis. In particular, we introduce a general class of statistical models for which valid, randomized $p$-values can be calculated easily. By means of computer simulations, we demonstrate that their usage typically leads to a much more accurate estimation of $\pi_0$. Finally, we apply our proposed methodology to a real data example from genomics.


title: Bisect and Conquer: Hierarchical Clustering via Max-Uncut Bisection

abstract: Hierarchical Clustering is an unsupervised data analysis method which has been widely used for decades. Despite its popularity, it had an underdeveloped analytical foundation and to address this, Dasgupta recently introduced an optimization viewpoint of hierarchical clustering with pairwise similarity information that spurred a line of work shedding light on old algorithms (e.g., Average-Linkage), but also designing new algorithms. Here, for the maximization dual of Dasgupta's objective (introduced by Moseley-Wang), we present polynomial-time .4246 approximation algorithms that use Max-Uncut Bisection as a subroutine. The previous best worst-case approximation factor in polynomial time was .336, improving only slightly over Average-Linkage which achieves 1/3. Finally, we complement our positive results by providing APX-hardness (even for 0-1 similarities), under the Small Set Expansion hypothesis.


title: The Column Density Structure of Orion A Depicted by N-PDF

abstract: We have conducted a large-field simultaneous survey of $^{12}$CO, $^{13}$CO, and C$^{18}$O $J=1-0$ emission toward the Orion A giant molecular cloud (GMC) with a sky coverage of $\sim$ 4.4 deg$^2$ using the PMO-13.7 m millimeter-wavelength telescope. We use the probability distribution function of the column density (N-PDF) to investigate the distribution of molecular hydrogen in the Orion A GMC. The H$_2$ column density, derived from the $^{13}$CO emission, of the GMC is dominated by log-normal distribution in the range from $\sim$4$\times10^{21}$ to $\sim$1.5$\times10^{23}$ cm$^{-2}$ with excesses both at the low-density and high-density ends. The excess of the low-density end is possibly caused by an extended and low-temperature ($\sim$10 K) component with velocities in the range of 5$-$8 km s$^{-1}$. Compared with the northern sub-regions, the southern sub-regions of the Orion A GMC contain less gas with column density in $N_{H_2} > 1.25\times 10^{22}\ \rm{cm}^{-2}$. The dispersions of the N-PDFs of the sub-regions are found to correlate with the evolutionary stages of the clouds across the Orion A GMC. The structure hierarchy of Orion A GMC is explored with the DENDROGRAM algorithm, and it is found that the GMC is composed of two branches. All structures except one in the tree have virial parameters less than 2, indicating self-gravity is important on the spatial scales from $\sim$0.3 to $\sim$4 pc. Although power-laws and departures from log-normal distributions are found at the high-density end of N-PDFs of active star-forming regions, the N-PDFs of structures in the Orion A GMC are predominantly log-normal on scales from R$\sim$0.4 to 4 pc.


title: Some automorphism groups are linear algebraic

abstract: Consider a normal projective variety $X$, a linear algebraic subgroup $G$ of Aut($X$), and the field $K$ of $G$-invariant rational functions on $X$. We show that the subgroup of Aut($X$) that fixes $K$ pointwise is linear algebraic. If $K$ has transcendence degree $1$ over $k$, then Aut($X$) is an algebraic group.


title: Erase-hidden and Drivability-improved Magnetic Non-Volatile Flip-Flops with NAND-SPIN Devices

abstract: Non-volatile flip-flops (NVFFs) using power gating techniques promise to overcome the soaring leakage power consumption issue with the scaling of CMOS technology. Magnetic tunnel junction (MTJ) is a good candidate for constructing the NVFF thanks to its low power, high speed, good CMOS compatibility, etc. In this paper, we propose a novel magnetic NVFF based on an emerging memory device called NAND-SPIN. The data writing of NAND-SPIN is achieved by successively applying two unidirectional currents, which respectively generate the spin orbit torque (SOT) and spin transfer torque (STT) for erase and programming operations. This characteristic allows us to design an erase-hidden and drivability-improved magnetic NVFF. Furthermore, more design flexibility could be obtained since the backup operation of the proposed NVFF is not limited by the inherent slave latch. Simulation results show that our proposed NVFF achieves performance improvement in terms of power, delay and area, compared with conventional slave-latch-driven SOT-NVFF designs.


title: The Generalization Error of the Minimum-norm Solutions for Over-parameterized Neural Networks

abstract: We study the generalization properties of minimum-norm solutions for three over-parametrized machine learning models including the random feature model, the two-layer neural network model and the residual network model. We proved that for all three models, the generalization error for the minimum-norm solution is comparable to the Monte Carlo rate, up to some logarithmic terms, as long as the models are sufficiently over-parametrized.


title: High Energy Radiation from Spider Pulsars

abstract: The population of millisecond pulsars (MSPs) has been expanded considerably in the last decade. Not only is their number increasing, but also various classes of them have been revealed. Among different classes of MSPs, the behaviour of black widows and redbacks are particularly interesting. These systems consist of an MSP and a low-mass companion star in compact binaries with an orbital period of less than a day. In this article, we give an overview of the high energy nature of these two classes of MSPs. Updated catalogues of black widows and redbacks are presented and their X ray/$\gamma$-ray properties are reviewed. Besides the overview, using the most updated eight-year Fermi Large Area Telescope point source catalog, we have compared the $\gamma$-ray properties of these two MSP classes. The results suggest that the X-rays and $\gamma$-rays observed from these MSPs originate from different mechanisms. Lastly, we will also mention the future prospects of studying these spider pulsars with the novel methodologies as well as upcoming observing facilities.


title: Polynomial Matrix Completion for Missing Data Imputation and Transductive Learning

abstract: This paper develops new methods to recover the missing entries of a high-rank or even full-rank matrix when the intrinsic dimension of the data is low compared to the ambient dimension. Specifically, we assume that the columns of a matrix are generated by polynomials acting on a low-dimensional intrinsic variable, and wish to recover the missing entries under this assumption. We show that we can identify the complete matrix of minimum intrinsic dimension by minimizing the rank of the matrix in a high dimensional feature space. We develop a new formulation of the resulting problem using the kernel trick together with a new relaxation of the rank objective, and propose an efficient optimization method. We also show how to use our methods to complete data drawn from multiple nonlinear manifolds. Comparative studies on synthetic data, subspace clustering with missing data, motion capture data recovery, and transductive learning verify the superiority of our methods over the state-of-the-art.


title: Numerical approximation for fractional diffusion equation forced by a tempered fractional Gaussian noise

abstract: This paper discusses the fractional diffusion equation forced by a tempered fractional Gaussian noise. The fractional diffusion equation governs the probability density function of the subordinated killed Brownian motion. The tempered fractional Gaussian noise plays the role of fluctuating external source with the property of localization. We first establish the regularity of the infinite dimensional stochastic integration of the tempered fractional Brownian motion and then build the regularity of the mild solution of the fractional stochastic diffusion equation. The spectral Galerkin method is used for space approximation; after that the system is transformed into an equivalent form having better regularity than the original one in time. Then we use the semi-implicit Euler scheme to discretize the time derivative. In terms of the temporal-spatial error splitting technique, we obtain the error estimates of the fully discrete scheme in the sense of mean-squared $L^2$-norm. Extensive numerical experiments confirm the theoretical estimates.


title: Applying Deep Learning to Detect Traffic Accidents in Real Time Using Spatiotemporal Sequential Data

abstract: Accident detection is a vital part of traffic safety. Many road users suffer from traffic accidents, as well as their consequences such as delay, congestion, air pollution, and so on. In this study, we utilize two advanced deep learning techniques, Long Short-Term Memory (LSTM) and Gated Recurrent Units (GRUs), to detect traffic accidents in Chicago. These two techniques are selected because they are known to perform well with sequential data (i.e., time series). The full dataset consists of 241 accident and 6,038 non-accident cases selected from Chicago expressway, and it includes traffic spatiotemporal data, weather condition data, and congestion status data. Moreover, because the dataset is imbalanced (i.e., the dataset contains many more non-accident cases than accident cases), Synthetic Minority Over-sampling Technique (SMOTE) is employed. Overall, the two models perform significantly well, both with an Area Under Curve (AUC) of 0.85. Nonetheless, the GRU model is observed to perform slightly better than LSTM model with respect to detection rate. The performance of both models is similar in terms of false alarm rate.


title: Action Genome: Actions as Composition of Spatio-temporal Scene Graphs

abstract: Action recognition has typically treated actions and activities as monolithic events that occur in videos. However, there is evidence from Cognitive Science and Neuroscience that people actively encode activities into consistent hierarchical part structures. However in Computer Vision, few explorations on representations encoding event partonomies have been made. Inspired by evidence that the prototypical unit of an event is an action-object interaction, we introduce Action Genome, a representation that decomposes actions into spatio-temporal scene graphs. Action Genome captures changes between objects and their pairwise relationships while an action occurs. It contains 10K videos with 0.4M objects and 1.7M visual relationships annotated. With Action Genome, we extend an existing action recognition model by incorporating scene graphs as spatio-temporal feature banks to achieve better performance on the Charades dataset. Next, by decomposing and learning the temporal changes in visual relationships that result in an action, we demonstrate the utility of a hierarchical event decomposition by enabling few-shot action recognition, achieving 42.7% mAP using as few as 10 examples. Finally, we benchmark existing scene graph models on the new task of spatio-temporal scene graph prediction.


title: Q-ball decay through A-term in the gauge-mediated SUSY breaking scenario

abstract: Q-balls are non-topological solitons whose classical stability is ensured by a global $U(1)$ charge. In particular, Q-balls are produced in the framework of the Affleck-Dine baryogenesis where $U(1)$ charge is the baryon number. Since some type of Q-balls is stable against quantum decay into nucleons, it can work as the dark matter. When the dark matter Q-balls are captured into the neutron star, they absorb the surrounding neutrons and grow to consume all the neutrons, which leads to a stringent constraint on the Q-ball dark matter. However, the Q-ball growth stops due to the $U(1)$ breaking A-term. We revisit the constraint by the neutron star for the gauge-mediation type and the new type Q-ball, and find the allowed parameter space, in which Q-balls work as the dark matter.


title: Joint Learning of Generative Translator and Classifier for Visually Similar Classes

abstract: In this paper, we propose a Generative Translation Classification Network (GTCN) for improving visual classification accuracy in settings where classes are visually similar and data is scarce. For this purpose, we propose joint learning from a scratch to train a classifier and a generative stochastic translation network end-to-end. The translation network is used to perform on-line data augmentation across classes, whereas previous works have mostly involved domain adaptation. To help the model further benefit from this data-augmentation, we introduce an adaptive fade-in loss and a quadruplet loss. We perform experiments on multiple datasets to demonstrate the proposed method's performance in varied settings. Of particular interest, training on 40% of the dataset is enough for our model to surpass the performance of baselines trained on the full dataset. When our architecture is trained on the full dataset, we achieve comparable performance with state-of-the-art methods despite using a light-weight architecture.


title: On function-on-function regression: Partial least squares approach

abstract: Functional data analysis tools, such as function-on-function regression models, have received considerable attention in various scientific fields because of their observed high-dimensional and complex data structures. Several statistical procedures, including least squares, maximum likelihood, and maximum penalized likelihood, have been proposed to estimate such function-on-function regression models. However, these estimation techniques produce unstable estimates in the case of degenerate functional data or are computationally intensive. To overcome these issues, we proposed a partial least squares approach to estimate the model parameters in the function-on-function regression model. In the proposed method, the B-spline basis functions are utilized to convert discretely observed data into their functional forms. Generalized cross-validation is used to control the degrees of roughness. The finite-sample performance of the proposed method was evaluated using several Monte-Carlo simulations and an empirical data analysis. The results reveal that the proposed method competes favorably with existing estimation techniques and some other available function-on-function regression models, with significantly shorter computational time.


title: Mean skewness measures

abstract: Skewness measures can be used to measure the level of asymmetry of a distribution. Given the prevalence of statistical methods that assume underlying symmetry, and also the desire for symmetry in order to make meaningful judgements for common summary measures (e.g. the sample mean), reliably quantifying asymmetry is an important problem. There are several measures, among them generalizations of Bowley's well known skewness coefficient, that use sample quartiles and other quantile-based measures. The main drawbacks of many measures is that they are either limited to quartiles and do not take into account more extreme tail behavior, or that they require one to choose other quantiles (i.e. choose a value for $p$ different from 0.25) in place of the quartiles. Our objective is to (i) average the skewness measures over all $p$ and (ii) provide interval estimators for the new measure with good coverage properties. Our simulation results show that the interval estimators perform very well for all distributions considered.


title: Calculation Binding energy for 223,225,227Ra isotopes in relativistic heavy cluster model

abstract: 14C is a stable isotope and emitted from medium and heavy mass nuclei. The 14C result is in excellent agreement with a favored ground-state-to-ground-state transition according to the cluster model of Blendowske et al. We study Ra isotopes in relativistic core-cluster model, solve the Dirac equation with the new phenomenological potential by parametric Nikiforov-Uvarov method, and obtain wave function and binding energy.


title: Faster than Flash: An In-Depth Study of System Challenges for Emerging Ultra-Low Latency SSDs

abstract: Emerging storage systems with new flash exhibit ultra-low latency (ULL) that can address performance disparities between DRAM and conventional solid state drives (SSDs) in the memory hierarchy. Considering the advanced low-latency characteristics, different types of I/O completion methods (polling/hybrid) and storage stack architecture (SPDK) are proposed. While these new techniques are expected to take costly software interventions off the critical path in ULL-applied systems, unfortunately no study exists to quantitatively analyze system-level characteristics and challenges of combining such newly-introduced techniques with real ULL SSDs. In this work, we comprehensively perform empirical evaluations with 800GB ULL SSD prototypes and characterize ULL behaviors by considering a wide range of I/O path parameters, such as different queues and access patterns. We then analyze the efficiencies and challenges of the polled-mode and hybrid polling I/O completion methods (added into Linux kernels 4.4 and 4.10, respectively) and compare them with the efficiencies of a conventional interrupt-based I/O path. In addition, we revisit the common expectations of SPDK by examining all the system resources and parameters. Finally, we demonstrate the challenges of ULL SSDs in a real SPDK-enabled server-client system. Based on the performance behaviors that this study uncovers, we also discuss several system implications, which are required to take a full advantage of ULL SSD in the future.


title: Fixed-Time Extremum Seeking

abstract: We introduce a new class of extremum seeking controllers able to achieve fixed time convergence to the solution of optimization problems defined by static and dynamical systems. Unlike existing approaches in the literature, the convergence time of the proposed algorithms does not depend on the initial conditions and it can be prescribed a priori by tuning the parameters of the controller. Specifically, our first contribution is a novel gradient-based extremum seeking algorithm for cost functions that satisfy the Polyak-Lojasiewicz (PL) inequality with some coefficient \kappa > 0, and for which the extremum seeking controller guarantees a fixed upper bound on the convergence time that is independent of the initial conditions but dependent on the coefficient \kappa. Second, in order to remove the dependence on \kappa, we introduce a novel Newton-based extremum seeking algorithm that guarantees a fully assignable fixed upper bound on the convergence time, thus paralleling existing asymptotic results in Newton-based extremum seeking where the rate of convergence is fully assignable. Finally, we study the problem of optimizing dynamical systems, where the cost function corresponds to the steady-state input-to-output map of a stable but unknown dynamical system. In this case, after a time scale transformation is performed, the proposed extremum seeking controllers achieve the same fixed upper bound on the convergence time as in the static case. Our results exploit recent gradient flow structures proposed by Garg and Panagou in [3], and are established by using averaging theory and singular perturbation theory for dynamical systems that are not necessarily Lipschitz continuous. We confirm the validity of our results via numerical simulations that illustrate the key advantages of the extremum seeking controllers presented in this paper.


title: Models for Predicting Transonic Flutter of a Wing-Section with Sloshing in an Embedded Fuel Tank

abstract: The present study focuses on the development, application, and comparison of three computational frameworks of varying fidelities for assessing the effects of fuel sloshing in internal fuel tanks on the aeroelastic characteristics of a wing section. The first approach uses the coupling of compressible flow solver for external aerodynamics integrated with structural solver and incompressible multiphase flow solver for fuel sloshing in the embedded fuel tank As time-domain flutter solution of these coupled solvers is computationally expensive, two approximate surrogate models to emulate sloshing flows are considered. One surrogate model utilizes a linearised approach for sloshing load computations by creating an Equivalent Mechanical System (EMS) with its parameters derived from potential flow theory. The other surrogate model aims to efficiently describe the dominant dynamic characteristics of the underlying system by employing the Radial Basis Function Neural Networks (RBF-NN) using limited CFD-based data to calibrate this model. The flutter boundaries of a wing section with and without the effects of fuel sloshing are compared. The limitation of the EMS surrogate to represent nonlinearities are reflected in this study. The RBF-NN surrogate shows remarkable agreement with the high-fidelity solution for sloshing with significantly low computational cost, thereby motivating extension to three-dimensional problems.


title: Progressive Neural Index Search for Database System

abstract: As a key ingredient of the DBMS, index plays an important role in the query optimization and processing. However, it is a non-trivial task to apply existing indexes or design new indexes for new applications, where both data distribution and query distribution are unknown. To address the issue, we propose a new indexing approach, NIS (Neural Index Search), which searches for the optimal index parameters and structures using a neural network. In particular, NIS is capable for building a tree-like index automatically for an arbitrary column that can be sorted/partitioned using a customized function. The contributions of NIS are twofold. First, NIS constructs a tree-like index in a layer-by-layer way via formalizing the index structure as abstract ordered and unordered blocks. Ordered blocks are implemented using B+-tree nodes or skip lists, while unordered blocks adopt hash functions with different configurations. Second, all parameters of the building blocks (e.g., fanout of B+-tree node, bucket number of hash function and etc.) are tuned by NIS automatically. We achieve the two goals for a given workload and dataset with one RNN-powered reinforcement learning model. Experiments show that the auto-tuned index built by NIS can achieve a better performance than the state-of-the-art index.


title: Dirac Nodal Line and Rashba Splitting Surface States in Nonsymmorphic ZrGeTe

abstract: Dirac semimetals (DSMs) are three dimensional analogue to graphene with symmety enforced bulk Dirac nodes. Among various DSMs, ZrSiS has been attracting more interests recently, due to its three dimensional Dirac nodal line protected by the nonsymmorphic symmetry. It actually belongs to a large family of isostructural compounds with unique quantum phenomenon. Here we present a comprehensive study of the first principle calculation, angle-resolved photoemission spectroscopy (ARPES) measurements, and scanning tunneling microscope (STM) experiments on ZrGeTe, a member of the ZrSiS family with stronger spin-orbit coupling (SOC). Our band structure calculation shows the existence of floating gapless surface states at $\bar{X}$ with Rashba splitted helical spin texture, which are confirmed by our ARPES measurements. We also perform quasiparticle scattering interference (QPI) imaging and find several q-vectors, with two Umklapp scattering vectors not observed in other family compounds. All the q-vectors can be identified with joint density of states (JDOS) simulation. Our results demonstrate the interesting electronic structure of ZrGeTe and might benefit the potential application by utilizing its exotic quantum states in the future.


title: Boundary Green's function approach for spinful single-channel and multichannel Majorana nanowires

abstract: The boundary Green's function (bGF) approach has been established as a powerful theoretical technique for computing the transport properties of tunnel-coupled hybrid nanowire devices. Such nanowires may exhibit topologically nontrivial superconducting phases with Majorana bound states at their boundaries. We introduce a general method for computing the bGF of spinful multi-channel lattice models for such Majorana nanowires, where the bGF is expressed in terms of the roots of a secular polynomial evaluated in complex momentum space. In many cases, those roots, and thus the bGF, can be accurately described by simple analytical expressions, while otherwise our approach allows for the numerically efficient evaluation of bGFs. We show that from the behavior of the roots, many physical quantities of key interest can be inferred, e.g., the value of bulk topological invariants, the energy dependence of the local density of states, or the spatial decay of subgap excitations. We apply the method to single- and two-channel nanowires of symmetry class D or DIII. In addition, we study the spectral properties of multi-terminal Josephson junctions made out of such Majorana nanowires.


title: Small Connected Planar Graph with 1-Cop-Move Number 4

abstract: This paper describes a 720-vertex connected planar graph G such that cop1(G), denoting the minimum number of cops needed to catch the robber in the 1-cop-move game on G, is at least 4 and at most 7. Furthermore, G has a connected subgraph H such that cop1(H) is exactly 4, meaning that 4 cops are barely sufficient to catch the robber in the 1-cop-move game on H. This is a significant improvement over the graph given by Gao and Yang in 2017.


title: A Statistical Explanation of the Timing Attack on QC-MDPC Code Crypto-system

abstract: The McEliece cryptosystem based on quasi-cyclic moderate-density parity-check (QC-MDPC) codes is first purposed in 2013\cite{QCMDPC} and is considered a promising contender in the post-quantum era. Understanding its security is hence essential. Till now, the most effective attacks are the reaction attack\cite{Reaction} and the timing attack\cite{Timing}. Both of these attacks rely on the decoding performance to recover the private key. The reaction attack relies on the decoding failure rate and the timing attack relies on the iterations during decoding. However, the mechanics behind these attacks remain elusive. In this paper, a mathematical model is proposed to explain both attacks by connecting the spectrum of private key and first-layer performance of the decoder.


title: Beta-function formalism for k-essence constant-roll inflation

abstract: The beta function formalism is being used to study the constant-roll inflation in the k-essence model. Assuming the second slow-roll parameter as a constant leads to a first-order differential equation for $\beta$-function which is much easier to solve and find a solution than the second (non-linear) order equation that we have in corresponding standard constant-roll inflation. Many cosmological models are known as a subclass of k-essence, so we will try to consider the model as general as possible. It is determined that the second slow-roll parameter should be positive to produce a small value for the first slow-roll parameter. The scenario is considered for three well-known cosmological models, and it is clarified that for the non-canonical and tachyon model, the scalar spectral index never reaches the observational range, however for the DBI model, we could arrive at a result consistent with observational data.


title: The influence of NLTE effects in Fe I lines on an inverted atmosphere I. 6301 A and 6302 A lines formed in 1D NLTE

abstract: Ultraviolet over-ionisation of iron atoms in the solar atmosphere leads to deviations in their level populations from the Saha-Boltzmann statistics. This causes their line profiles to form in Non-Local Thermodynamic Equilibrium (NLTE) conditions. While inverting such profiles to determine atmospheric parameters, the NLTE effects are often neglected and deviations from LTE are compensated for by tweaking other quantities. We investigate how the routinely employed LTE inversion of iron lines formed in NLTE under- or over-estimates atmospheric quantities such as temperature (T), line-of-sight velocity (v_LOS), magnetic field strength (B) and inclination (gamma) while the previous papers have focused mainly on T. We synthesize the Stokes profiles of Fe I 6301.5 A and 6302.5 A lines in both LTE and NLTE using a snapshot of a 3D MHD simulation. The profiles are then inverted in LTE. By considering the atmosphere inferred from inversion of LTE profiles to be the fiducial model, we compare atmosphere from the inversion of NLTE profiles with it. Any differences observed are attributed to NLTE effects. Neglecting the NLTE effects introduces errors in the inverted atmosphere. While the errors in T can go up to 13%, in v_LOS and B the errors can be as high as 50% or more. We find these errors to be present at all three inversion nodes. Importantly, they survive degradation from spatial averaging of the profiles. We give an overview of how the neglect of NLTE effects influences the values of T, v_LOS, B and gamma determined by inverting Fe I 6300 A line pair, as observed, e.g., by Hinode. Errors are found at the sites of granules, intergranular lanes, magnetic elements, basically in every region susceptible to NLTE effects. For an accurate determination of atmospheric quantities and their stratification, it is therefore important to take account of NLTE effects.


title: Photons -- Light Quanta

abstract: The purpose of this article is to show that the standard method of introducing the quantum description of the electromagnetic field -- by canonical field quantization -- is not the only one. We have chosen instead as the starting point the relativistic quantum mechanics of photons. Our present understanding of the nature of photons significantly differs from what has been known years ago when the concept of a photon has only been emerging. We show how the description of photons treated as elementary particles merges smoothly with the classical description of the electromagnetic field and leads finally to the full theory of the quantized electromagnetic field.


title: C-Flow: Conditional Generative Flow Models for Images and 3D Point Clouds

abstract: Flow-based generative models have highly desirable properties like exact log-likelihood evaluation and exact latent-variable inference, however they are still in their infancy and have not received as much attention as alternative generative models. In this paper, we introduce C-Flow, a novel conditioning scheme that brings normalizing flows to an entirely new scenario with great possibilities for multi-modal data modeling. C-Flow is based on a parallel sequence of invertible mappings in which a source flow guides the target flow at every step, enabling fine-grained control over the generation process. We also devise a new strategy to model unordered 3D point clouds that, in combination with the conditioning scheme, makes it possible to address 3D reconstruction from a single image and its inverse problem of rendering an image given a point cloud. We demonstrate our conditioning method to be very adaptable, being also applicable to image manipulation, style transfer and multi-modal image-to-image mapping in a diversity of domains, including RGB images, segmentation maps, and edge masks.


title: A Shape Transformation-based Dataset Augmentation Framework for Pedestrian Detection

abstract: Deep learning-based computer vision is usually data-hungry. Many researchers attempt to augment datasets with synthesized data to improve model robustness. However, the augmentation of popular pedestrian datasets, such as Caltech and Citypersons, can be extremely challenging because real pedestrians are commonly in low quality. Due to the factors like occlusions, blurs, and low-resolution, it is significantly difficult for existing augmentation approaches, which generally synthesize data using 3D engines or generative adversarial networks (GANs), to generate realistic-looking pedestrians. Alternatively, to access much more natural-looking pedestrians, we propose to augment pedestrian detection datasets by transforming real pedestrians from the same dataset into different shapes. Accordingly, we propose the Shape Transformation-based Dataset Augmentation (STDA) framework. The proposed framework is composed of two subsequent modules, i.e. the shape-guided deformation and the environment adaptation. In the first module, we introduce a shape-guided warping field to help deform the shape of a real pedestrian into a different shape. Then, in the second stage, we propose an environment-aware blending map to better adapt the deformed pedestrians into surrounding environments, obtaining more realistic-looking pedestrians and more beneficial augmentation results for pedestrian detection. Extensive empirical studies on different pedestrian detection benchmarks show that the proposed STDA framework consistently produces much better augmentation results than other pedestrian synthesis approaches using low-quality pedestrians. By augmenting the original datasets, our proposed framework also improves the baseline pedestrian detector by up to 38% on the evaluated benchmarks, achieving state-of-the-art performance.


title: BatVision: Learning to See 3D Spatial Layout with Two Ears

abstract: Many species have evolved advanced non-visual perception while artificial systems fall behind. Radar and ultrasound complement camera-based vision but they are often too costly and complex to set up for very limited information gain. In nature, sound is used effectively by bats, dolphins, whales, and humans for navigation and communication. However, it is unclear how to best harness sound for machine perception. Inspired by bats' echolocation mechanism, we design a low-cost BatVision system that is capable of seeing the 3D spatial layout of space ahead by just listening with two ears. Our system emits short chirps from a speaker and records returning echoes through microphones in an artificial human pinnae pair. During training, we additionally use a stereo camera to capture color images for calculating scene depths. We train a model to predict depth maps and even grayscale images from the sound alone. During testing, our trained BatVision provides surprisingly good predictions of 2D visual scenes from two 1D audio signals. Such a sound to vision system would benefit robot navigation and machine vision, especially in low-light or no-light conditions. Our code and data are publicly available.


title: Testing of fractional Brownian motion in a noisy environment

abstract: Fractional Brownian motion (FBM) is the only Gaussian self-similar process with stationary increments. Its increment process, called fractional Gaussian noise, is ergodic and exhibits a property of power-like decaying autocorrelation function (ACF) which leads to the notion of long memory. These properties have made FBM important in modelling real-world data recorded in different experiments ranging from biology to telecommunication. These experiments are often disturbed by a noise which source can be just the instrument error. In this paper we propose a rigorous statistical test based on the ACF for FBM with added white Gaussian noise. To this end we derive a distribution of the test statistic which is given explicitly by the generalized chi-squared distribution. This allows us to find critical regions for the test with a given significance level. We check the quality of the introduced test by studying its power and comparing with other tests existing in the literature. We also note that the introduced test procedure can be applied to an arbitrary Gaussian process.


title: Augmented Lagrangian Method for Thin Plates with Signorini Boundaries

abstract: We consider $C^1$-continuous approximations of the Kirchhoff plate problem in combination with a mesh dependent augmented Lagrangian method on a simply supported Signorini boundary.


title: Topology of surfaces with finite Willmore energy

abstract: In this paper, we study the critical case of the Allard regularity theorem. Combining with Reifenberg's topological disk theorem, we get a critical Allard-Reifenberg type regularity theorem. As a main result, we get the topological finiteness for a class of properly immersed surfaces in $\mathbb{R}^n$ with finite Willmore energy. Especially, we prove a removability of singularity of multiplicity one surface with finite Willmore energy and a uniqueness theorem of the catenoid under no a priori topological finiteness assumption.


title: DerainCycleGAN: Rain Attentive CycleGAN for Single Image Deraining and Rainmaking

abstract: Single image deraining (SID) is an important and challenging topic in emerging vision applications, and most of emerged deraining methods are supervised relying on the ground truth (i.e., paired images) in recent years. However, in practice it is rather common to have no un-paired images in real deraining task, in such cases how to remove the rain streaks in an unsupervised way will be a very challenging task due to lack of constraints between images and hence suffering from low-quality recovery results. In this paper, we explore the unsupervised SID task using unpaired data and propose a novel net called Attention-guided Deraining by Constrained CycleGAN (or shortly, DerainCycleGAN), which can fully utilize the constrained transfer learning abilitiy and circulatory structure of CycleGAN. Specifically, we design an unsu-pervised attention guided rain streak extractor (U-ARSE) that utilizes a memory to extract the rain streak masks with two constrained cycle-consistency branches jointly by paying attention to both the rainy and rain-free image domains. As a by-product, we also contribute a new paired rain image dataset called Rain200A, which is constructed by our network automatically. Compared with existing synthesis datasets, the rainy streaks in Rain200A contains more obvious and diverse shapes and directions. As a result, existing supervised methods trained on Rain200A can perform much better for processing real rainy images. Extensive experiments on synthesis and real datasets show that our net is superior to existing unsupervised deraining networks, and is also very competitive to other related supervised networks.


title: Compressed DenseNet for Lightweight Character Recognition

abstract: Convolutional Recurrent Neural Network (CRNN) is a popular network for recognizing texts in images. Advances like the variant of CRNN, such as Dense Convolutional Network with Connectionist Temporal Classification, has reduced the running time of the network, but exposing the inner computation cost and weight size of the convolutional networks as a bottleneck. Specifically, the DenseNet based models utilize the dense blocks as the core module, but the inner features are combined in the form of concatenation in dense blocks. As such, the number of channels of combined features delivered as the input of the layers close to the output and the relevant computational cost grows rapidly with the dense blocks getting deeper. This will severely bring heavy computational cost and big weight size, which restrict the depth of dense blocks. In this paper, we propose a compressed convolution block called Lightweight Dense Block (LDB). To reduce the computing cost and weight size, we re-define and re-design the way of combining internal features of the dense blocks. LDB is a convolutional block similarly as dense block, but it can reduce the computation cost and weight size to (1/L, 2/L), compared with original ones, where L is the number of layers in blocks. Moreover, LDB can be used to replace the original dense block in any DenseNet based models. Based on the LDBs, we propose a Compressed DenseNet (CDenseNet) for the lightweight character recognition. Extensive experiments demonstrate that CDenseNet can effectively reduce the weight size while delivering the promising recognition results.


title: Extrapolating Lattice QCD Results using Effective Field Theory

abstract: Lattice simulations are the only viable way to obtain ab-initio Quantum Chromodynamics (QCD) predictions for low energy nuclear physics. These calculations are done, however, in a finite box and therefore extrapolation is needed to get the free space results. Here we use nuclear Effective Field Theory (EFT), designed to provide a low energy description of QCD using baryonic degrees of freedom, to extrapolate the lattice results from finite to infinite volumes. To this end, we fit the EFT to the results calculated with nonphysical high quark masses and solve it with the stochastic variational method in both finite and infinite volumes. Moreover, we perform similar EFT calculations of the physical point and predict the finite-volume effects to be found in future Lattice QCD calculations for atomic nuclei with mass number $A\le4$.


title: Disentanglement based Active Learning

abstract: We propose Disentanglement based Active Learning (DAL), a new active learning technique based on self-supervision which leverages the concept of disentanglement. Instead of requesting labels from human oracle, our method automatically labels the majority of the datapoints, thus drastically reducing the human labeling budget in Generative Adversarial Net (GAN) based active learning approaches. The proposed method uses Information Maximizing Generative Adversarial Nets (InfoGAN) to learn disentangled class category representations. Disagreement between active learner predictions and InfoGAN labels decides if the datapoints need to be human-labeled. We also introduce a label correction mechanism that aims to filter out label noise that occurs due to automatic labeling. Results on three benchmark datasets for the image classification task demonstrate that our method achieves better performance compared to existing GAN-based active learning approaches.


title: Finite temperature properties of a modified Polyakov$-$Nambu$-$Jona-Lasinio model

abstract: Thermodynamic properties of strongly interacting matter are investigated using the Polyakov loop enhanced Nambu$-$Jona-Lasinio model along with some modifications to include the hadrons. Various observables are shown to have a close agreement with the numerical data of QCD on lattice. The advantage of the present scheme over a similar study using a switching function is that here no extra parameters are to be fitted. As a result the present scheme can be easily extended for finite chemical potentials.


title: Quantum memory assisted entropic uncertainty relation with moving quantum memory inside a leaky cavity

abstract: Uncertainty principle has a fundamental role in quantum theory. This principle states that it is not possible to measure two incompatible observers simultaneously. The uncertainty principle is expressed logically in terms of standard deviation of the measured observables. In quantum information it has been shown that the uncertainty principle can be expressed by means of Shannon's entropy. Entropic uncertainty relation can be improve by consider an additional particle as the quantum memory. In the presence of quantum memory the entropic uncertainty relation is called quantum memory assisted entropic uncertainty relation. In this work we will consider the case in which the quantum memory moves inside the leaky cavity. We will show that by increasing the velocity of the quantum memory the entropic uncertainty lower bound decreased.


title: Global persistence of the unit eigenvectors of perturbed eigenvalue problems in Hilbert spaces

abstract: We consider the nonlinear eigenvalue problem $Lx + \varepsilon N(x) = \lambda Cx$, $\|x\|=1$, where $\varepsilon,\lambda$ are real parameters, $L, C\colon G \to H$ are bounded linear operators between separable real Hilbert spaces, and $N\colon S \to H$ is a continuous map defined on the unit sphere of $G$. We prove a global persistence result regarding the set $\Sigma$ of the solutions $(x,\varepsilon,\lambda) \in S \times \mathbb R\times \mathbb R$ of this problem. Namely, if the operators $N$ and $C$ are compact, under suitable assumptions on a solution $p_*=(x_*,0,\lambda_*)$ of the unperturbed problem, we prove that the connected component of $\Sigma$ containing $p_*$ is either unbounded or meets a triple $p^*=(x^*,0,\lambda^*)$ with $p^* \not= p_*$. When $C$ is the identity and $G=H$ is finite dimensional, the assumptions on $(x_*,0,\lambda_*)$ mean that $x_*$ is an eigenvector of $L$ whose corresponding eigenvalue $\lambda_*$ is simple. Therefore, we extend a previous result obtained by the authors in the finite dimensional setting. Our work is inspired by a paper of R. Chiappinelli concerning the local persistence property of the unit eigenvectors of perturbed self-adjoint operators in a real Hilbert space.


title: Near-surface dynamics of a gas bubble collapsing above a crevice

abstract: The impact of a collapsing gas bubble above rigid, notched walls is considered. Such surface crevices and imperfections often function as bubble nucleation sites, and thus have a direct relation to cavitation-induced erosion and damage structures. A generic configuration is investigated numerically using a second-order-accurate compressible multi-component flow solver in a two-dimensional axisymmetric coordinate system. Results show that the crevice geometry has a significant effect on the collapse dynamics, jet formation, subsequent wave dynamics, and interactions. The wall-pressure distribution associated with erosion potential is a direct consequence of development and intensity of these flow phenomena.


title: Trapped orbits and solar-neighbourhood kinematics

abstract: Torus mapping yields constants of motion for stars trapped at a resonance. Each such constant of motion yields a system of contours in velocity space at the Sun and neighbouring points. If Jeans' theorem applied to resonantly trapped orbits, the density of stars in velocity space would be equal at all intersections of any two contours. A quantitative measure of the violation of this principal is defined and used to assess various pattern speeds for a model of the bar recently fitted to observations of interstellar gas. Trapping at corotation of a bar with pattern speed in the range 33-36 /Gyr is favoured and trapping at the outer Lindblad resonance is disfavoured. As one moves around the Sun the structure of velocity space varies quite rapidly, both as regards the observed star density and the zones of trapped orbits. The data seem consistent with trapping at corotation.


title: Multi-Object Rearrangement with Monte Carlo Tree Search:A Case Study on Planar Nonprehensile Sorting

abstract: In this work, we address a planar non-prehensile sorting task. Here, a robot needs to push many densely packed objects belonging to different classes into a configuration where these classes are clearly separated from each other. To achieve this, we propose to employ Monte Carlo tree search equipped with a task-specific heuristic function. We evaluate the algorithm on various simulated and real-world sorting tasks. We observe that the algorithm is capable to reliably sort large numbers of convex and non-convex objects, as well as convex objects in the presence of immovable obstacles.


title: Indiscapes: Instance Segmentation Networks for Layout Parsing of Historical Indic Manuscripts

abstract: Historical palm-leaf manuscript and early paper documents from Indian subcontinent form an important part of the world's literary and cultural heritage. Despite their importance, large-scale annotated Indic manuscript image datasets do not exist. To address this deficiency, we introduce Indiscapes, the first ever dataset with multi-regional layout annotations for historical Indic manuscripts. To address the challenge of large diversity in scripts and presence of dense, irregular layout elements (e.g. text lines, pictures, multiple documents per image), we adapt a Fully Convolutional Deep Neural Network architecture for fully automatic, instance-level spatial layout parsing of manuscript images. We demonstrate the effectiveness of proposed architecture on images from the Indiscapes dataset. For annotation flexibility and keeping the non-technical nature of domain experts in mind, we also contribute a custom, web-based GUI annotation tool and a dashboard-style analytics portal. Overall, our contributions set the stage for enabling downstream applications such as OCR and word-spotting in historical Indic manuscripts at scale.


title: Angle-action variables for orbits trapped at a Lindblad resonance

abstract: The conventional approach to orbit trapping at Lindblad resonances via a pendulum equation fails when the parent of the trapped orbits is too circular. The problem is explained and resolved in the context of the Torus Mapper and a realistic Galaxy model. Tori are computed for orbits trapped at both the inner and outer Lindblad resonances of our Galaxy. At the outer Lindblad resonance, orbits are quasiperiodic and can be accurately fitted by torus mapping. At the inner Lindblad resonance, orbits are significantly chaotic although far from ergodic, and each orbit explores a small range of tori obtained by torus mapping.


title: Hydrodynamic escape of water vapor atmospheres near very active stars

abstract: When exposed to the high energy X-ray and ultraviolet radiation of a very active star, water vapor in the upper atmospheres of planets can be photodissociated and rapidly lost to space. In this paper, I study the chemical, thermal, and hydrodynamic processes in the upper atmospheres of terrestrial planets, concentrating on water vapor dominated atmospheres orbiting in the habitable zones of active stars. I consider different stellar activity levels and find very high levels of atmospheric escape in all cases, with the outflowing gas being dominated by atomic hydrogen and oxygen in both their neutral and ion forms. In the lower activity cases, I find that the accumulation of O$_2$ and increases in the D/H ratios in the atmospheres due to mass fractionation are possible, but in the higher activity cases no mass fractionation takes place. Connecting these results to stellar activity evolution tracks for solar mass stars, I show that huge amounts of water vapor can be lost, and both the losses and the amount of O$_2$ that can be accumulated in the atmosphere depend sensitively on the star's initial rotation rate. For an Earth-mass planet in the habitable zone of a low-mass M-dwarf, my results suggest that the accumulation of atmospheric O$_2$ is unlikely unless water loss can take place after the star's most active phase.


title: Symplectic Runge-Kutta discretization of a regularized forward-backward sweep iteration for optimal control problems

abstract: Li, Chen, Tai & E. (J. Machine Learning Research, 2018) have proposed a regularization of the forward-backward sweep iteration for solving the Pontryagin maximum principle in optimal control problems. The authors prove the global convergence of the iteration in the continuous time case. In this article we show that their proof can be extended to the case of numerical discretization by symplectic Runge-Kutta pairs. We demonstrate the convergence with a simple numerical experiment.


title: Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones

abstract: In this paper we explore the extent to which the algebraic structure of a monoid $M$ determines the topologies on $M$ that are compatible with its multiplication. Specifically we study the notions of automatic continuity; minimal Hausdorff or Polish semigroup topologies; and we formulate a notion of the Zariski topology for monoids. If $M$ is a topological monoid such that every homomorphism from $M$ to a second countable topological monoid $N$ is continuous, then we say that $M$ has \emph{automatic continuity}. We show that many well-known monoids have automatic continuity with respect to a natural semigroup topology, namely: the full transformation monoid $\mathbb{N}^\mathbb{N}$; the full binary relation monoid $B_{\mathbb{N}}$; the partial transformation monoid $P_{\mathbb{N}}$; the symmetric inverse monoid $I_{\mathbb{N}}$; the monoid Inj$(\mathbb{N})$ consisting of the injective functions on $\mathbb{N}$; and the monoid $C(2^{\mathbb{N}})$ of continuous functions on the Cantor set. We show that the pointwise topology on $\mathbb{N}^\mathbb{N}$, and its analogue on $P_{\mathbb{N}}$, are the unique Polish semigroup topologies on these monoids. The compact-open topology is the unique Polish semigroup topology on $C(2^\mathbb{N})$ and $C([0, 1]^\mathbb{N})$. There are at least 3 Polish semigroup topologies on $I_{\mathbb{N}}$, but a unique Polish inverse semigroup topology. There are no Polish semigroup topologies $B_{\mathbb{N}}$ nor on the partitions monoids. At the other extreme, Inj$(\mathbb{N})$ and the monoid Surj$(\mathbb{N})$ of all surjective functions on $\mathbb{N}$ each have infinitely many distinct Polish semigroup topologies. We prove that the Zariski topologies on $\mathbb{N}^\mathbb{N}$, $P_{\mathbb{N}}$, and Inj$(\mathbb{N})$ coincide with the pointwise topology; and we characterise the Zariski topology on $B_{\mathbb{N}}$. In Section 7: clones.


title: Threshold cusps and triangle singularities in hadronic reactions

abstract: The spectrum of hadrons is the manifestation of color confinement of quantum chromodynamics. Hadronic resonances correspond to poles of the S-matrix. Since 2003, lots of new hadron resonant structures were discovered in the mass regions from light mesons to hadrons containing a pair of a heavy quark and an antiquark. Many of them are candidates of exotic hadrons, and they are usually observed as peaks in invariant mass distributions. However, the S-matrix also has kinematical singularities due to the on-shellness of intermediate particles for a process, such as two-body thresholds and triangle singularities, and they can produce peaks as well. On the one hand, such singularities may be misidentified as resonances; on the other hand, they can be used as tools for precision measurements. In this paper, we review the threshold cusps and various triangle singularities in hadronic reactions, paying attention to their manifestations in phenomena related to exotic hadron candidates.


title: On the Feasibility of Multi-Mode Antennas in UWB and IoT Applications below 10 GHz

abstract: While on the one hand 5G and B5G networks are challenged by ultra-high data rates in wideband applications like 100+ Gbps wireless Internet access, on the other hand they are expected to support reliable low-latency Internet of Things (IoT) applications with ultra-high connectivity. These conflicting challenges are addressed in a system proposal dealing with both extremes. In contrast to most recent publications, focus is on the frequency domain below 10~GHz. Towards this goal, multi-mode antenna technology is used and different realizations, offering up to eight uncorrelated ports per radiator element, are studied. Possible baseband architectures tailored to multi-mode antennas are discussed, enabling different options regarding precoding and beamforming.


title: Distributed Electric Currents in Solar Active Regions

abstract: Using magnetographic data provided by the Helioseismic and Magnetic Imager on board the Solar Dynamics Observatory, we analyzed the structure of magnetic fields and vertical electric currents in six active regions (ARs) with different level of flare activity. We found that electric currents are well balanced over the entire AR: for all of them the current imbalance is below 0.1%, which means that any current system is closed within an AR. Decomposition of the transverse magnetic field vector into two components allowed us to reveal the existence of large-scale vortex structures of the azimuthal magnetic field component around main sunspots of ARs. In each AR, we found a large-scale electric current system occupying a vast area of an AR, which we call distributed electric current. For ARs obeying the Hale polarity law and the hemispheric helicity sign rule, the distributed current is directed upward in the leading part of an AR and it appears to be closing back to the photosphere in the following part of an AR through the corona and chromosphere. Our analysis of the time variations of the magnitude of the distributed electric currents showed that low-flaring ARs exhibit small variations of the distributed currents in the range of $\pm 20 \times 10^{12}$ A, whereas the highly flaring ARs exhibited significant slow variations of the distributed currents in the range of $30-95 \times 10^{12}$ A. Intervals of the enhanced flaring appear to be co-temporal with smooth enhancements of the distributed electric current.


title: Measuring the electromagnetic chirality of 2D arrays under normal illumination

abstract: We present an electromagnetic chirality measure for 2D arrays of subwavelength periodicities under normal illumination. The calculation of the measure uses only the complex reflection and transmission coefficients from the array. The measure allows the ordering of arrays according to their electromagnetic chirality, which further allows a quantitative comparison of different design strategies. The measure is upper bounded, and the extreme properties of objects with high values of electromagnetic chirality make them useful in both near- and far-field applications. We analyze the consequences that different possible symmetries of the array have on its electromagnetic chirality. We use the measure to study four different arrays. The results indicate the suitability of helices for building arrays of high electromagnetic chirality, and the low effectiveness of a substrate for breaking the transverse mirror symmetry.


title: On 2d gravity and parallel transport field equation on quantum sphere

abstract: In this work we have obtained the exact quantum expressions for the compenents of the Levi Cevita connection, the Ricci tensor and the scalar curvature, generalizing those of \cite{CTZX08} for a spherical surface via the noncommutative Moyal star product, and we have established equations describing quantum effect on the geodesic flow equation or auto parallel fields equations. These later are solved for the zero and the first orders of the quantum parameter $\alpha$ when $y$-symmetry is assumed. We expressed the general system of equations in terms of Fourier modes indexed by the integer $p=1,2,...,\infty$ to understand the interdependence of $y$ modes oscillations.


title: Higher-Curvature Gravity, Black Holes and Holography

abstract: Recently, the identification of new higher-curvature interactions known as Einsteinian cubic gravity (ECG) and Generalized quasi-topological gravities (GQGs) has allowed for important advances in the study of black hole solutions and holographic applications of higher-order gravity. These theories are characterized by having second-order linearized equations on maximally symmetric background and by possessing static, spherically symmetric (SSS) black hole solutions satisfying $g_{tt}g_{rr}=-1$, and whose thermodynamic properties can be studied analytically in a fully non-perturbative fashion. In the first part of this thesis, we perform a detailed analysis of the weak-field limit of $\mathcal{L}($Riemann$)$ theories and of the condition $g_{tt}g_{rr}=-1$ on SSS solutions, and we review the construction of ECG and Generalized quasi-topological gravities. In addition, we show that GQGs could serve as building blocks to construct the most general EFT for gravity. In the second part we study the non-perturbative corrections to the asymptotically flat Schwarzschild black hole in $D=4$. We obtain closed exact expressions for the thermodynamic properties of spherically symmetric black holes with an arbitrary number of higher-curvature terms. We find that, quite generally, the higher-curvature corrections make the specific heat of these black holes positive below certain mass, and hence black holes take an infinite time to evaporate and the final "Hawking explosion" is avoided. In the last part we study asymptotically AdS black holes and Euclidean-AdS-Taub-NUT solutions and we establish various entries of the holographic dictionary of $D=4$ ECG. We illustrate the power of holographic higher-order gravities by obtaining a relation for the free energy of CFTs on squashed spheres, which we conjecture to be valid for arbitrary CFTs.


title: Quantum evolution of quarkonia with correlated and uncorrelated noise

abstract: In the quark-gluon plasma (QGP), it is well known that the evolution of quarkonia is affected by the screening of the interaction between the quark and the anti-quark. In addition, exchange of energy and color with the surrounding medium can be included via the incorporation of noise terms in the evolution Hamiltonian. For noise correlated locally in time, these dynamics have been studied in a simple setting by Kajimoto et al.[PHYS. REV. D 97, 014003(2018)]. We extend this calculation by considering non-Abelian dynamics for a three-dimensional wavefunction. We also propose a modification of the noise correlation, allowing it to have a finite correlation in time with the motivation to include long-lived gluonic correlations. We find that in both cases the results differ significantly from solutions of rate equations.


title: On energy preserving high-order discretizations for nonlinear acoustics

abstract: This paper addresses the numerical solution of the Westervelt equation, which arises as one of the model equations in nonlinear acoustics. The problem is rewritten in a canonical form that allows the systematic discretization by Galerkin approximation in space and time. Exact energy preserving methods of formally arbitrary order are obtained and their efficient realization as well as the relation to other frequently used methods is discussed.


title: Mean field approach of dynamical pattern formation in underdamped active matter with short-ranged alignment and distant anti-alignment interactions

abstract: Many active matter systems, especially on the microscopic scale, are well approximated as overdamped, meaning that any inertial momentum is immediately dissipated by the environment. On the other hand, especially for macroscopic active systems but also for many mesoscopic systems the time scale of inertial motion can become large enough to be relevant for the dynamics. This raises the question how collective dynamics and the resulting states in active matter are influenced by inertia. Therefore, we propose a coarsegrained continuum model for underdamped active matter based on a mean field description for passive systems. Furthermore, we apply the model to a system with interactions that support an alignment on short distances and an antialignment on longer length scales as known in the context of pattern formation due to orientational interactions. Our numerical calculations of the underand overdamped dynamics both predict a structured laning state. However, activity induced convective flows that are only present in the underdamped model destabilize this state when the anti-alignment is weakened, leading to a collective motion state which does not occur in the overdamped limit. A turbulent transition regime between the two states can be characterized by strong density fluctuations and the absence of global ordering.


title: Shape analysis in Higgs boson pair production

abstract: We study the impact of anomalous couplings in the Higgs sector on the shape of the Higgs boson pair invariant mass distribution at NLO. Our analysis is based on a five-dimensional coupling parameter space relevant for Higgs boson pair production in gluon fusion, in the framework of a non-linear Effective Field Theory. In particular, we present a clustering procedure into certain shape types based on unsupervised machine learning, with the aim to infer information about the underlying parameter space from a given shape type.


title: Maximally nonassociative quasigroups via quadratic orthomorphisms

abstract: A quasigroup $Q$ is called maximally nonassociative if for $x,y,z\in Q$ we have that $x\cdot (y\cdot z) = (x\cdot y)\cdot z$ only if $x=y=z$. We show that, with finitely many exceptions, there exists a maximally nonassociative quasigroup of order $n$ whenever $n$ is not of the form $n=2p_1$ or $n=2p_1p_2$ for primes $p_1,p_2$ with $p_1\le p_2<2p_1$.


title: Testing Homogeneity for Normal Mixture Models: Variational Bayes Approach

abstract: The test of homogeneity for normal mixtures has been conducted in diverse research areas, but constructing a theory of the test of homogeneity is challenging because the parameter set for the null hypothesis corresponds to singular points in the parameter space. In this paper, we examine this problem from a new perspective and offer a theory of hypothesis testing for homogeneity based on a variational Bayes framework. In the conventional theory, the constant order term of the free energy has remained unknown, however, we clarify its asymptotic behavior because it is necessary for constructing a hypothesis test. Numerical experiments shows the validity of our theoretical results.


title: Reconfiguration and Message Losses in Parameterized Broadcast Networks

abstract: Broadcast networks allow one to model networks of identical nodes communicating through message broadcasts. Their parameterized verification aims at proving a property holds for any number of nodes, under any communication topology, and on all possible executions. We focus on the coverability problem which dually asks whether there exists an execution that visits a configuration exhibiting some given state of the broadcast protocol. Coverability is known to be undecidable for static networks, i.e. when the number of nodes and communication topology is fixed along executions. In contrast, it is decidable in PTIME when the communication topology may change arbitrarily along executions, that is for reconfigurable networks. Surprisingly, no lower nor upper bounds on the minimal number of nodes, or the minimal length of covering execution in reconfigurable networks, appear in the literature. In this paper we show tight bounds for cutoff and length, which happen to be linear and quadratic, respectively, in the number of states of the protocol. We also introduce an intermediary model with static communication topology and non-deterministic message losses upon sending. We show that the same tight bounds apply to lossy networks, although, reconfigurable executions may be linearly more succinct than lossy executions. Finally, we show NP-completeness for the natural optimisation problem associated with the cutoff.


title: Complexity of quantum motion and quantum-classical correspondence: A phase-space approach

abstract: We discuss the connection between the out-of-time-ordered correlator and the number of harmonics of the phase-space Wigner distribution function. In particular, we show that both quantities grow exponentially for chaotic dynamics, with a rate determined by the largest Lyapunov exponent of the underlying classical dynamics, and algebraically -- linearly or quadratically -- for integrable dynamics. It is then possible to use such quantities to detect in the time domain the integrability to chaos crossover in many-body quantum systems.


title: Theory of neuromorphic computing by waves: machine learning by rogue waves, dispersive shocks, and solitons

abstract: We study artificial neural networks with nonlinear waves as a computing reservoir. We discuss universality and the conditions to learn a dataset in terms of output channels and nonlinearity. A feed-forward three-layer model, with an encoding input layer, a wave layer, and a decoding readout, behaves as a conventional neural network in approximating mathematical functions, real-world datasets, and universal Boolean gates. The rank of the transmission matrix has a fundamental role in assessing the learning abilities of the wave. For a given set of training points, a threshold nonlinearity for universal interpolation exists. When considering the nonlinear Schroedinger equation, the use of highly nonlinear regimes implies that solitons, rogue, and shock waves do have a leading role in training and computing. Our results may enable the realization of novel machine learning devices by using diverse physical systems, as nonlinear optics, hydrodynamics, polaritonics, and Bose-Einstein condensates. The application of these concepts to photonics opens the way to a large class of accelerators and new computational paradigms. In complex wave systems, as multimodal fibers, integrated optical circuits, random, topological devices, and metasurfaces, nonlinear waves can be employed to perform computation and solve complex combinatorial optimization.

categories: physics.optics cond-mat.quant-gas cs.LG nlin.PS


title: How Should an Agent Practice?

abstract: We present a method for learning intrinsic reward functions to drive the learning of an agent during periods of practice in which extrinsic task rewards are not available. During practice, the environment may differ from the one available for training and evaluation with extrinsic rewards. We refer to this setup of alternating periods of practice and objective evaluation as practice-match, drawing an analogy to regimes of skill acquisition common for humans in sports and games. The agent must effectively use periods in the practice environment so that performance improves during matches. In the proposed method the intrinsic practice reward is learned through a meta-gradient approach that adapts the practice reward parameters to reduce the extrinsic match reward loss computed from matches. We illustrate the method on a simple grid world, and evaluate it in two games in which the practice environment differs from match: Pong with practice against a wall without an opponent, and PacMan with practice in a maze without ghosts. The results show gains from learning in practice in addition to match periods over learning in matches only.


title: Darboux Transforms for the $\hat B_{n}^{(1)}$-hierarchy

abstract: The $\hat B_n^{(1)}$-hierarchy is constructed from the standard splitting of the affine Kac-Moody algebra $\hat B_n^{(1)}$, the Drinfeld-Sokolov $\hat B_n^{(1)}$-KdV hierarchy is obtained by pushing down the $\hat B_n^{(1)}$-flows along certain gauge orbit to a cross section of the gauge action. In this paper, we (1) use loop group factorization to construct Darboux transforms (DTs) for the $\hat B_n^{(1)}$-hierarchy, (2) give a Permutability formula and scaling transform for these DTs, (3) use DTs of the $\hat B_{n}^{(1)}$-hierarchy to construct DTs for the $\hat B_n^{(1)}$-KdV and the isotropic curve flows of B-type, (4) give algorithm to construct soliton solutions and write down explicit soliton solutions for the third $\hat B_1^{(1}$-KdV, $\hat B_2^{(1)}$-KdV flows and isotropic curve flows on $\mathbb{R}^{2,1}$ and $\mathbb{R}^{3,2}$ of B-type.


title: Blowdown, $k$-wedge and evenness of quasitoric orbifolds

abstract: In this paper, we introduce polytopal $k$-wedge construction and blowdown of a simple polytope and inspect the effect on the retraction sequence of a simple polytope due to $k$-wedge construction and blowdown. In relation to this construction, we introduce the $k$-wedge and blowdown of a quasitoric orbifold. We compare the torsions in the integral cohomologies of $k$-wedges and blowdowns of a quasitoric orbifold with the original one. These two constructions provide infinitely many integrally equivariantly formal quasitoric orbifolds from a given one.


title: Integral Mixability: a Tool for Efficient Online Aggregation of Functional and Probabilistic Forecasts

abstract: In this paper we extend the setting of the online prediction with expert advice to function-valued forecasts. At each step of the online game several experts predict a function, and the learner has to efficiently aggregate these functional forecasts into a single forecast. We adapt basic mixable (and exponentially concave) loss functions to compare functional predictions and prove that these adaptations are also mixable (exp-concave). We call this phenomena integral mixability (exp-concavity). As an application of our main result, we prove that various loss functions used for probabilistic forecasting are mixable (exp-concave). The considered losses include Sliced Continuous Ranking Probability Score, Energy-Based Distance, Optimal Transport Costs & Sliced Wasserstein-2 distance, Beta-2 & Kullback-Leibler divergences, Characteristic function and Maximum Mean Discrepancies.


title: Superpotential method for $F(R)$ cosmological models

abstract: We construct the $F(R)$ gravity models with exact particular solutions using the conformal transformation and the superpotential method for the corresponding models in the Einstein frame. The functions $F(R)$ are obtained explicitly. We consider exact solutions for the obtained $R^2$ gravity model with the cosmological constant in detail.


title: Computational Induction of Prosodic Structure

abstract: The present study has two goals relating to the grammar of prosody, understood as the rhythms and melodies of speech. First, an overview is provided of the computable grammatical and phonetic approaches to prosody analysis which use hypothetico-deductive methods and are based on learned hermeneutic intuitions about language. Second, a proposal is presented for an inductive grounding in the physical signal, in which prosodic structure is inferred using a language-independent method from the low-frequency spectrum of the speech signal. The overview includes a discussion of computational aspects of standard generative and post-generative models, and suggestions for reformulating these to form inductive approaches. Also included is a discussion of linguistic phonetic approaches to analysis of annotations (pairs of speech unit labels with time-stamps) of recorded spoken utterances. The proposal introduces the inductive approach of Rhythm Formant Theory (RFT) and the associated Rhythm Formant Analysis (RFA) method are introduced, with the aim of completing a gap in the linguistic hypothetico-deductive cycle by grounding in a language-independent inductive procedure of speech signal analysis. The validity of the method is demonstrated and applied to rhythm patterns in read-aloud Mandarin Chinese, finding differences from English which are related to lexical and grammatical differences between the languages, as well as individual variation. The overall conclusions are (1) that normative language-to-language phonological or phonetic comparisons of rhythm, for example of Mandarin and English, are too simplistic, in view of diverse language-internal factors due to genre and style differences as well as utterance dynamics, and (2) that language-independent empirical grounding of rhythm in the physical signal is called for.


title: Orbital order and electron itinerancy in CoV$_{2}$O$_{4}$ and Mn$ _{0.5} $Co$ _{0.5} $V$_{2}$O$_{4}$ from first principles

abstract: In view of the recent experimental predictions of a weak structural transition in CoV$_{2}$O$_{4}$ we explore the possible orbital order states in its low temperature tetragonal phases from first principles density functional theory calculations. We observe that the tetragonal phase with I4$_1/amd$ symmetry is associated with an orbital order involving complex orbitals with a reasonably large orbital moment at Vanadium sites while in the phase with I4$_1/a$ symmetry, the real orbitals with quenched orbital moment constitute the orbital order. Further, to study the competition between orbital order and electron itinerancy we considered Mn$_{0.5}$Co$_{0.5}$V$_{2}$O$_{4}$ as one of the parent compounds, CoV$_{2}$O$_{4}$, lies near itinerant limit while the other, MnV$_{2}$O$_{4}$, lies deep inside the orbitally ordered insulating regime. Orbital order and electron transport have been investigated using first principles density functional theory and Boltzmann transport theory in CoV$_{2}$O$_{4}$, MnV$_{2}$O$_{4}$ and Mn$_{0.5}$Co$_{0.5}$V$_{2}$O$_{4}$. Our results show that as we go from MnV$_{2}$O$_{4}$ to CoV$_{2}$O$_{4}$ there is enhancement in the electron's itinerancy while the nature of orbital order remains unchanged.


title: Single-Element Beamforming using Multi-Mode Antenna Patterns

abstract: Recently, multi-mode antennas have been studied for communication as well as localization purposes. In this work, the capabilities provided by a single planar multi-mode radiator as a steerable multi-port antenna are explored. As an original contribution, the radiation characteristics of individual groups of modes of the single radiator are combined to optimize beamforming performance. Three possible codebook realizations are studied and compared. A new optimization criterion, gain by element factor, is introduced.


title: Geometric phase of Wannier-Stark ladders in alkaline-earth(-like) atoms

abstract: We discuss the geometric phase of Wanner-Stark ladders generated by periodically driven clock states in alkaline-earth(-like) atoms. Using $^{171}$Yb atoms as a concrete example, we show that clock states driven by two detuned clock lasers can be mapped to two-band Wannier-Stark ladders, where dynamics of the system along the ladder is mapped to Bloch oscillations in a one-dimensional topological lattice. When the adiabatic condition is satisfied, the geometric phase accumulated in one period of the oscillation is quantized, and reveals the change of band topology as the laser parameters are tuned. We show how the geometric phase can be experimentally detected through interference between different nuclear spin states. Our study sheds light on the engineering of exotic band structures in Floquet dynamics.


title: The Shape of cyclic number fields

abstract: Let $m>1$ and $\mathfrak{d} \neq 0$ be integers such that $v_{p}(\mathfrak{d}) \neq m$ for any prime $p$. We construct a matrix $A(\mathfrak{d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak{d}$ with the following property: For any tame $\mathbb{Z}/m\mathbb{Z}$-number field $K$ of discriminant $\mathfrak{d}$ the matrix $A(\mathfrak{d})$ represents the Gram matrix of the integral trace zero form of $K$. In particular, we have that the integral trace zero form of tame cyclic number fields is determined by the degree and discriminant of the field. Furthermore, if in addition to the above hypotheses, we consider real number fields, then the shape is also determined by the degree and the discriminant


title: Optimization over time-varying networks with unbounded delays

abstract: Solving optimization problems in multi-agent systems (MAS) involves information exchange between agents. These solutions must be robust to delays and errors that arise from an unreliable wireless network which typically connects the MAS. In today's large-scale dynamic Internet Of Things style multi-agent scenarios, the network topology changes and evolves over time. In this paper, we present a simple distributed gradient based optimization framework and an associated algorithm. Convergence to a minimum of a given objective is shown under mild conditions on the network topology and objective. Specifically, we only assume that a message sent by a sender reaches the intended receiver, possibly delayed, with some positive probability. To the best of our knowledge ours is the first analysis under such weak general network conditions. We also discuss in detail the verifiability of all assumptions involved. This paper makes a significant technical contribution in terms of the allowed class of objective functions. Specifically, we present an analysis wherein the objective function is such that its sample-gradient is merely locally Lipschitz continuous. The theory developed herein is supported by numerical results. Another contribution of this paper is a consensus algorithm based on the main framework/ algorithm. The long-term behavior of this consensus algorithm is a direct consequence of the theory presented. Again, we believe that ours is the first consensus algorithm to account for unbounded stochastic communication delays, in addition to time-varying networks.


title: Comment on "Velocity and Speed Correlations in Hamiltonian Flocks" by M. Casiulis et al. [arXiv:1911.06042]

abstract: In arXiv:1911.06042v1 M. Casiulis et al. study a Hamiltonian model in which rigid rotations of moving clusters give rise to scale-free correlations of velocity and speed. M. Casiulis et al. compare correlations in their model to those observed in real flocks of birds and claim that rigid-body rotations provide an explanation that stands in contrast with, and it is simpler than, previously proposed explanations of correlations in bird flocks, namely Goldstone modes in the velocity orientations and marginal (or near-critical) modes in the speed. Here, we show that the rigid rotation scenario is completely inconsistent with a large body of well-established experimental evidence on real flocks of birds, and it therefore does not provide an appropriate explanation for the observed phenomenology.


title: A second order finite element method with mass lumping for wave equations in $H(\mathrm{div})$

abstract: We consider the efficient numerical approximation of acoustic wave propagation in time domain by a finite element method with mass lumping. In the presence of internal damping, the problem can be reduced to a second order formulation in time for the velocity field alone. For the spatial approximation we consider $H(\mathrm{div})$--conforming finite elements of second order. In order to allow for an efficient time integration, we propose a mass-lumping strategy based on approximation of the $L^2$-scalar product by inexact numerical integration which leads to a block-diagonal mass matrix. A careful error analysis allows to show that second order accuracy is not reduced by the quadrature errors which is illustrated also by numerical tests.


title: Probing the Purely Ingoing Nature of the Black-hole Event Horizon

abstract: One of the most fundamental results of general relativity is that the event horizon of black hole is purely ingoing. On the other hand, semiclassical-gravity effects, such as particle creation and the quantization of black-hole area, suggest that black holes can emit energy. Since a black hole is characterized by the presence of the event horizon, the emitted energy must be extracted from the black hole through its horizon. These considerations provide a motivation to test the validity of the purely ingoing nature of black-hole horizon. In this paper, we propose a novel test of the purely ingoing nature of black-hole horizon through gravitational-wave detection. We study the effects of hypothetical out-going gravitational waves to a perturbed black hole by supplementing the boundary condition of gravitational waves at the horizon with a phenomenological outgoing part. We show that this leads to extra excitation of the usual quasinormal modes of a perturbed black hole and continuous emission of gravitational waves. These additional signatures enable us to test the boundary condition(s) of the black-hole event horizon through gravitational-wave detection. Reanalysing the merger remnant of GW150914, we constrain the intensity of the outgoing gravitational-horizon flux to be $ < 10^{40} \rm W$, which is roughly $ 10^{-9} $ of peak luminosity of GW150914.


title: Negative mobility, sliding and delocalization for stochastic networks

abstract: We consider prototype configurations for quasi-one-dimensional stochastic networks that exhibit negative mobility, meaning that current decreases or even reversed as the bias is increased. We then explore the implications of disorder. In particular we ask whether lower and upper bias thresholds restrict the possibility to witness non-zero current (sliding and anti-sliding transitions respectively), and whether a delocalization effect manifest itself (crossover from over-damped to under-damped relaxation). In the latter context detailed analysis of the relaxation spectrum as a function of the bias is provided for both on-chain and off-chain disorder.


title: One-Shot Induction of Generalized Logical Concepts via Human Guidance

abstract: We consider the problem of learning generalized first-order representations of concepts from a single example. To address this challenging problem, we augment an inductive logic programming learner with two novel algorithmic contributions. First, we define a distance measure between candidate concept representations that improves the efficiency of search for target concept and generalization. Second, we leverage richer human inputs in the form of advice to improve the sample-efficiency of learning. We prove that the proposed distance measure is semantically valid and use that to derive a PAC bound. Our experimental analysis on diverse concept learning tasks demonstrates both the effectiveness and efficiency of the proposed approach over a first-order concept learner using only examples.


title: On NP-hard graph properties characterized by the spectrum

abstract: Properties of graphs that can be characterized by the spectrum of the adjacency matrix of the graph have been studied systematically recently. Motivated by the complexity of these properties, we show that there are such properties for which testing whether a graph has that property can be NP-hard (or belong to other computational complexity classes consisting of even harder problems). In addition, we discuss a possible spectral characterization of some well-known NP-hard problems. In particular, for every integer $k\geq 6$ we construct a pair of $k$-regular cospectral graphs, where one graph is Hamiltonian and the other one not.


title: An improved Haar wavelet quasilinearization technique for a class of generalized Burger's equation

abstract: Solving Burgers' equation always poses challenge to researchers as for small values of viscosity the analytical solution breaks down. Here we propose to compute numerical solution for a class of generalised Burgers' equation described as $$ \frac{\partial w}{\partial t}+ w^{\mu}\frac{\partial w}{\partial x_{*}}=\nu w^{\delta}\frac{\partial^2 w}{\partial x^{2}_{*}},\hspace{0.2in}a \leq x_{*}\leq b,~~t\geq 0,$$ based on the Haar wavelet (HW) coupled with quasilinearization approach. In the process of numerical solution, finite forward difference is applied to discretize the time derivative, Haar wavelet to spatial derivative and non-linear term is linearized by quasilinearization technique. To discuss the accuracy and efficiency of the method $L_{\infty}$ and $L_{2}$-error norm are computed and they are compared with some existing results. We have proved the convergence of the proposed method. Computer simulations show that the present method gives accurate and better result even for small number of grid points for small values of viscosity.


title: Multi-User Opportunistic Beamforming using Reconfigurable Surfaces

abstract: Multi-user (MU) diversity yields sum-rate gains by scheduling a user for transmission at times when its channel is near its peak. The only information required at the base station (BS) for scheduling is the users' signal-to-noise ratios (SNR)s. MU diversity gains are limited in environments with line-of-sight (LoS) channel components and/or spatial correlation. To remedy this, previous works have proposed opportunistic beamforming (OBF) using multiple antennas at the BS to transmit the same signal, modulated by time-varying gains, to the best user at each time slot. In this paper, we propose reconfigurable surface (RS)-assisted OBF to increase the range of channel fluctuations in a single-antenna broadcast channel (BC), where opportunistic scheduling (OS) strategy achieves the sum-rate capacity. The RS is abstracted as an array of passive reflecting elements, and is dumb in the sense that it only induces random phase shifts onto the impinging electromagnetic waves, without requiring any channel state information. We develop the sum-rate scaling laws under Rayleigh, Rician and correlated Rayleigh fading and show that RS-assisted OBF with only a single-antenna BS outperforms multi-antenna BS-assisted OBF. We also extend our results to OFDMA systems and the multi-antenna BC.