title: On the structure of the singular set for the kinetic Fokker-Planck equations in domains with boundaries

abstract: In this paper we compute asymptotics of solutions of the kinetic Fokker-Planck equation with inelastic boundary conditions which indicate that the solutions are nonunique if $r < r_c$. The nonuniqueness is due to the fact that different solutions can interact in a different manner with a Dirac mass which appears at the singular point $(x,v)=(0,0)$. In particular, this nonuniqueness explains the different behaviours found in the physics literature for numerical simulations of the stochastic differential equation associated to the kinetic Fokker-Planck equation. The asymptotics obtained in this paper will be used in a companion paper [34] to prove rigorously nonuniqueness of solutions for the kinetic Fokker-Planck equation with inelastic boundary conditions.


title: Localized Magnetic States in 2D Semiconductors

abstract: We study the formation of magnetic states in localized impurities embedded into two-dimensional semiconductors. By considering various energy configurations, we illustrate the interplay of the gap and the bands in the system magnetization. Finally, we consider finite-temperature effects to show how increasing $T$ can lead to formation and destruction of magnetization.


title: Estimator of Prediction Error Based on Approximate Message Passing for Penalized Linear Regression

abstract: We propose an estimator of prediction error using an approximate message passing (AMP) algorithm that can be applied to a broad range of sparse penalties. Following Stein's lemma, the estimator of the generalized degrees of freedom, which is a key quantity for the construction of the estimator of the prediction error, is calculated at the AMP fixed point. The resulting form of the AMP-based estimator does not depend on the penalty function, and its value can be further improved by considering the correlation between predictors. The proposed estimator is asymptotically unbiased when the components of the predictors and response variables are independently generated according to a Gaussian distribution. We examine the behaviour of the estimator for real data under nonconvex sparse penalties, where Akaike's information criterion does not correspond to an unbiased estimator of the prediction error. The model selected by the proposed estimator is close to that which minimizes the true prediction error.


title: Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4

abstract: In this paper we construct preimage attack on the truncated variant of the MD4 hash function. Specifically, we study the MD4-39 function defined by the first 39 steps of the MD4 algorithm. We suggest a new attack on MD4-39, which develops the ideas proposed by H. Dobbertin in 1998. Namely, the special relaxation constraints are introduced in order to simplify the equations corresponding to the problem of finding a preimage for an arbitrary MD4-39 hash value. The equations supplemented with the relaxation constraints are then reduced to the Boolean Satisfiability Problem (SAT) and solved using the state-of-the-art SAT solvers. We show that the effectiveness of a set of relaxation constraints can be evaluated using the black-box function of a special kind. Thus, we suggest automatic method of relaxation constraints generation by applying the black-box optimization to this function. The proposed method made it possible to find new relaxation constraints that contribute to a SAT-based preimage attack on MD4-39 which significantly outperforms the competition.


title: Distilling Knowledge Using Parallel Data for Far-field Speech Recognition

abstract: In order to improve the performance for far-field speech recognition, this paper proposes to distill knowledge from the close-talking model to the far-field model using parallel data. The close-talking model is called the teacher model. The far-field model is called the student model. The student model is trained to imitate the output distributions of the teacher model. This constraint can be realized by minimizing the Kullback-Leibler (KL) divergence between the output distribution of the student model and the teacher model. Experimental results on AMI corpus show that the best student model achieves up to 4.7% absolute word error rate (WER) reduction when compared with the conventionally-trained baseline models.


title: Comparison Based Learning from Weak Oracles

abstract: There is increasing interest in learning algorithms that involve interaction between human and machine. Comparison-based queries are among the most natural ways to get feedback from humans. A challenge in designing comparison-based interactive learning algorithms is coping with noisy answers. The most common fix is to submit a query several times, but this is not applicable in many situations due to its prohibitive cost and due to the unrealistic assumption of independent noise in different repetitions of the same query. In this paper, we introduce a new weak oracle model, where a non-malicious user responds to a pairwise comparison query only when she is quite sure about the answer. This model is able to mimic the behavior of a human in noise-prone regions. We also consider the application of this weak oracle model to the problem of content search (a variant of the nearest neighbor search problem) through comparisons. More specifically, we aim at devising efficient algorithms to locate a target object in a database equipped with a dissimilarity metric via invocation of the weak comparison oracle. We propose two algorithms termed WORCS-I and WORCS-II (Weak-Oracle Comparison-based Search), which provably locate the target object in a number of comparisons close to the entropy of the target distribution. While WORCS-I provides better theoretical guarantees, WORCS-II is applicable to more technically challenging scenarios where the algorithm has limited access to the ranking dissimilarity between objects. A series of experiments validate the performance of our proposed algorithms.


title: Behavioral Characteristics and CO+CO2 Production Rates of Halley-Type Comets Observed by NEOWISE

abstract: From the entire dataset of comets observed by NEOWISE, we have analyzed 11 different Halley-Type Comets (HTCs) for dust production rates, CO+CO2 production rates, and nucleus sizes. Incorporating HTCs from previous studies and multiple comet visits we have a total of 21 stacked visits, 13 of which are active and 8 for which we calculated upper limits of production. We determined the nucleus sizes of 27P, P/2006 HR30, P/2012 NJ, and C/2016 S1. Furthermore, we analyzed the relationships between dust production and heliocentric distance, and gas production and heliocentric distance. We concluded that for this population of HTCs, ranging in heliocentric distance from 1.21 AU to 2.66 AU, there was no significant correlation between dust production and heliocentric distance, nor gas production and heliocentric distance.


title: DeepThin: A Self-Compressing Library for Deep Neural Networks

abstract: As the industry deploys increasingly large and complex neural networks to mobile devices, more pressure is put on the memory and compute resources of those devices. Deep compression, or compression of deep neural network weight matrices, is a technique to stretch resources for such scenarios. Existing compression methods cannot effectively compress models smaller than 1-2% of their original size. We develop a new compression technique, DeepThin, building on existing research in the area of low rank factorization. We identify and break artificial constraints imposed by low rank approximations by combining rank factorization with a reshaping process that adds nonlinearity to the approximation function. We deploy DeepThin as a plug-gable library integrated with TensorFlow that enables users to seamlessly compress models at different granularities. We evaluate DeepThin on two state-of-the-art acoustic models, TFKaldi and DeepSpeech, comparing it to previous compression work (Pruning, HashNet, and Rank Factorization), empirical limit study approaches, and hand-tuned models. For TFKaldi, our DeepThin networks show better word error rates (WER) than competing methods at practically all tested compression rates, achieving an average of 60% relative improvement over rank factorization, 57% over pruning, 23% over hand-tuned same-size networks, and 6% over the computationally expensive HashedNets. For DeepSpeech, DeepThin-compressed networks achieve better test loss than all other compression methods, reaching a 28% better result than rank factorization, 27% better than pruning, 20% better than hand-tuned same-size networks, and 12% better than HashedNets. DeepThin also provide inference performance benefits ranging from 2X to 14X speedups, depending on the compression ratio and platform cache sizes.


title: Electron emission by long and short wavelength lasers: essentials for the design of plasmonic photocathodes

abstract: Theory of electron emission by metallic photocathodes under the exposure of long wavelength lasers will be studied. Energy of photons in long wavelength lasers is less than the work function of the photocathode material, and can only emit electrons via tunneling through the potential barrier. The optical resonance effect (e.g. plasmonic resonances) will be studied as an improvement to the performance of photocathodes. This paper is intended to provide self-sufficient materials to design optical resonant surfaces (e.g. metasurfaces) for electron emission applications.


title: Coupon Advertising in Online Social Systems: Algorithms and Sampling Techniques

abstract: Online social systems have become important platforms for viral marketing where the advertising of products is carried out with the communication of users. After adopting the product, the seed buyers may spread the information to their friends via online messages e.g. posts and tweets. In another issue, electronic coupon system is one of the relevant promotion vehicles that help manufacturers and retailers attract more potential customers. By offering coupons to seed buyers, there is a chance to convince the influential users who are, however, at first not very interested in the product. In this paper, we propose a coupon based online influence model and consider the problem that how to maximize the profit by selecting appropriate seed buyers. The considered problem herein is markedly different from other influence related problems as its objective function is not monotone. We provide an algorithmic analysis and give several algorithms designed with different sampling techniques. In particular, we propose the RA-T and RA-S algorithms which are not only provably effective but also scalable on large datasets. The proposed theoretical results are evaluated by extensive experiments done on large-scale real-world social networks. The analysis of this paper also provides an algorithmic framework for non-monotone submodular maximization problems in social networks.


title: Entropy Guided Spectrum Based Bug Localization Using Statistical Language Model

abstract: Locating bugs is challenging but one of the most important activities in software development and maintenance phase because there are no certain rules to identify all types of bugs. Existing automatic bug localization tools use various heuristics based on test coverage, pre-determined buggy patterns, or textual similarity with bug report, to rank suspicious program elements. However, since these techniques rely on information from single source, they often suffer when the respective source information is inadequate. For instance, the popular spectrum based bug localization may not work well under poorly written test suite. In this paper, we propose a new approach, EnSpec, that guides spectrum based bug localization using code entropy, a metric that basically represents naturalness of code derived from a statistical language model. Our intuition is that since buggy code are high entropic, spectrum based bug localization with code entropy would be more robust in discriminating buggy lines vs. non-buggy lines. We realize our idea in a prototype, and performed an extensive evaluation on two popular publicly available benchmarks. Our results demonstrate that EnSpec outperforms a state-of-the-art spectrum based bug localization technique.


title: On the Totik-Widom property for a Quasidisk

abstract: Let $K$ be a quasidisk on the complex plane. We construct a sequence of monic polynomials $p_n=p_n(\cdot,K)$ with zeros on $K$ such that $||p_n||_K \le O(1) \mathrm{cap}(K)^n$ as $n\to\infty.$


title: Efficient Embedding of MPI Collectives in MXNET DAGs for scaling Deep Learning

abstract: Availability of high performance computing infrastructures such as clusters of GPUs and CPUs have fueled the growth of distributed learning systems. Deep Learning frameworks express neural nets as DAGs and execute these DAGs on computation resources such as GPUs. In this paper, we propose efficient designs of embedding MPI collective operations into data parallel DAGs. Incorrect designs can easily lead to deadlocks or program crashes. In particular, we demonstrate three designs: Funneled, Concurrent communication and Dependency chaining of using MPI collectives with DAGs. These designs automatically enable overlap of computation with communication by allowing for concurrent execution with the other tasks. We directly implement these designs into the KVStore API of the MXNET. This allows us to directly leverage the rest of the infrastructure. Using ImageNet and CIFAR data sets, we show the potential of our designs. In particular, our designs scale to 256 GPUs with as low as 50 seconds of epoch times for ImageNet 1K datasets.


title: TAP-DLND 1.0 : A Corpus for Document Level Novelty Detection

abstract: Detecting novelty of an entire document is an Artificial Intelligence (AI) frontier problem that has widespread NLP applications, such as extractive document summarization, tracking development of news events, predicting impact of scholarly articles, etc. Important though the problem is, we are unaware of any benchmark document level data that correctly addresses the evaluation of automatic novelty detection techniques in a classification framework. To bridge this gap, we present here a resource for benchmarking the techniques for document level novelty detection. We create the resource via event-specific crawling of news documents across several domains in a periodic manner. We release the annotated corpus with necessary statistics and show its use with a developed system for the problem in concern.


title: Adoption of e-government in the Republic of Kazakhstan

abstract: This paper identifies factors that influence Kazakhstan's e-Government portal usage. It determines challenges encountered by citizens while using the portal. Targeted respondents for the web-based questionnaire survey were the citizens of Kazakhstan. The technology acceptance model was used as a methodology to measure attitude towards portal usage. In addition, this paper discusses the barriers which were experienced by the respondents and can prevent the successful adoption of e-Government initiative. The results of the analysis demonstrate that awareness among citizens is high, i.e. the majority of people have visited it at least once and they perceive the portal to be useful, but only a limited percentage of citizens' use it on the regular basis. Further, paper can be used to help IT managers of the portal to improve management of informational content and maintain a more effective adoption among citizens.


title: 64-Qubit Quantum Circuit Simulation

abstract: Classical simulations of quantum circuits are limited in both space and time when the qubit count is above 50, the realm where quantum supremacy reigns. However, recently, for the low depth circuit with more than 50 qubits, there are several methods of simulation proposed by teams at Google and IBM. Here, we present a scheme of simulation which can extract a large amount of measurement outcomes within a short time, achieving a 64-qubit simulation of a universal random circuit of depth 22 using a 128-node cluster, and 56- and 42-qubit circuits on a single PC. We also estimate that a 72-qubit circuit of depth 23 can be simulated in about 16 h on a supercomputer identical to that used by the IBM team. Moreover, the simulation processes are exceedingly separable, hence parallelizable, involving just a few inter-process communications. Our work enables simulating more qubits with less hardware burden and provides a new perspective for classical simulations.


title: Distributed Symmetry Breaking in Sampling (Optimal Distributed Randomly Coloring with Fewer Colors)

abstract: We examine the problem of almost-uniform sampling proper $q$-colorings of a graph whose maximum degree is $\Delta$. A famous result, discovered independently by Jerrum(1995) and Salas and Sokal(1997), is that, assuming $q > (2+\delta) \Delta$, the Glauber dynamics (a.k.a. single-site dynamics) for this problem has mixing time $O(n \log n)$, where $n$ is the number of vertices, and thus provides a nearly linear time sampling algorithm for this problem. A natural question is the extent to which this algorithm can be parallelized. Previous work Feng, Sun and Yin [PODC'17] has shown that a $O(\Delta \log n)$ time parallelized algorithm is possible, and that $\Omega(\log n)$ time is necessary. We give a distributed sampling algorithm, which we call the Lazy Local Metropolis Algorithm, that achieves an optimal parallelization of this classic algorithm. It improves its predecessor, the Local Metropolis algorithm of Feng, Sun and Yin [PODC'17], by introducing a step of distributed symmetry breaking that helps the mixing of the distributed sampling algorithm. For sampling almost-uniform proper $q$-colorings of graphs $G$ on $n$ vertices, we show that the Lazy Local Metropolis algorithm achieves an optimal $O(\log n)$ mixing time if either of the following conditions is true for an arbitrary constant $\delta>0$: $\bullet$ $q\ge(2+\delta)\Delta$, on general graphs with maximum degree $\Delta$; $\bullet$ $q \geq (\alpha^* + \delta)\Delta$, where $\alpha^* \approx 1.763$ satisfies $\alpha^* = \mathrm{e}^{1/\alpha^*}$, on graphs with sufficiently large maximum degree $\Delta\ge \Delta_0(\delta)$ and girth at least $9$.


title: Stochastic dominance and weak concentration for sums of independent symmetric random vectors

abstract: Kwapien and Woyczynski asked in their monograph (1992) whether their notion of superstrong domination is inherited when taking sums of independent symmetric random vectors (one vector dominates another if, essentially, tail probabilities of any norm of the two vectors compare up to some scaling constants). We answer this question positively. As a by-product of our methods, we establish that a certain notion of weak concentration is also preserved by taking sums of independent symmetric random vectors.


title: Recurrent Residual Convolutional Neural Network based on U-Net (R2U-Net) for Medical Image Segmentation

abstract: Deep learning (DL) based semantic segmentation methods have been providing state-of-the-art performance in the last few years. More specifically, these techniques have been successfully applied to medical image classification, segmentation, and detection tasks. One deep learning technique, U-Net, has become one of the most popular for these applications. In this paper, we propose a Recurrent Convolutional Neural Network (RCNN) based on U-Net as well as a Recurrent Residual Convolutional Neural Network (RRCNN) based on U-Net models, which are named RU-Net and R2U-Net respectively. The proposed models utilize the power of U-Net, Residual Network, as well as RCNN. There are several advantages of these proposed architectures for segmentation tasks. First, a residual unit helps when training deep architecture. Second, feature accumulation with recurrent residual convolutional layers ensures better feature representation for segmentation tasks. Third, it allows us to design better U-Net architecture with same number of network parameters with better performance for medical image segmentation. The proposed models are tested on three benchmark datasets such as blood vessel segmentation in retina images, skin cancer segmentation, and lung lesion segmentation. The experimental results show superior performance on segmentation tasks compared to equivalent models including U-Net and residual U-Net (ResU-Net).


title: On the evolution process of two-component dark matter in the Sun

abstract: We introduce dark matter (DM) evolution process in the Sun under a two-component DM (2DM) scenario. Both DM species $\chi$ and $\xi$ with masses heavier than 1 GeV are considered. In this picture, both species could be captured by the Sun through DM-nucleus scattering and DM self-scatterings, e.g. $\chi\chi$ and $\xi\xi$ collisions. In addition, the heterogeneous self-scattering due to $\chi$ and $\xi$ collision is essentially possible in any 2DM models. This new introduced scattering naturally weaves the evolution processes of the two DM species that was assumed to evolve independently. Moreover, the heterogeneous self-scattering enhances the number of DM being captured in the Sun mutually. This effect significantly exists in a broad range of DM mass spectrum. We have studied this phenomena and its implication for the solar-captured DM annihilation rate. It would be crucial to the DM indirect detection when the two masses are close. General formalism of the 2DM evolution in the Sun as well as its kinematics are studied.


title: MIMO Transmit Beampattern Matching Under Waveform Constraints

abstract: In this paper, the multiple-input multiple-output (MIMO) transmit beampattern matching problem is considered. The problem is formulated to approximate a desired transmit beampattern (i.e., an energy distribution in space and frequency) and to minimize the cross-correlation of signals reflected back to the array by considering different practical waveform constraints at the same time. Due to the nonconvexity of the objective function and the waveform constraints, the optimization problem is highly nonconvex. An efficient one-step method is proposed to solve this problem based on the majorization-minimization (MM) method. The performance of the proposed algorithms compared to the state-of-art algorithms is shown through numerical simulations.


title: Deep Reinforcement Learning for Dynamic Multichannel Access in Wireless Networks

abstract: We consider a dynamic multichannel access problem, where multiple correlated channels follow an unknown joint Markov model. A user at each time slot selects a channel to transmit data and receives a reward based on the success or failure of the transmission. The objective is to find a policy that maximizes the expected long-term reward. The problem is formulated as a partially observable Markov decision process (POMDP) with unknown system dynamics. To overcome the challenges of unknown system dynamics as well as prohibitive computation, we apply the concept of reinforcement learning and implement a Deep Q-Network (DQN) that can deal with large state space without any prior knowledge of the system dynamics. We provide an analytical study on the optimal policy for fixed-pattern channel switching with known system dynamics and show through simulations that DQN can achieve the same optimal performance without knowing the system statistics. We compare the performance of DQN with a Myopic policy and a Whittle Index-based heuristic through both simulations as well as real-data trace and show that DQN achieves near-optimal performance in more complex situations. Finally, we propose an adaptive DQN approach with the capability to adapt its learning in time-varying, dynamic scenarios.


title: On the automorphism groups of distance-regular graphs and rank-4 primitive coherent configurations

abstract: The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to primitive coherent configurations of rank 3. We extend Babai's result to primitive coherent configurations of rank 4. We also show that the result extends to non-geometric distance-regular graphs of bounded diameter. The proofs combine structural and spectral methods.


title: Agile Amulet: Real-Time Salient Object Detection with Contextual Attention

abstract: This paper proposes an Agile Aggregating Multi-Level feaTure framework (Agile Amulet) for salient object detection. The Agile Amulet builds on previous works to predict saliency maps using multi-level convolutional features. Compared to previous works, Agile Amulet employs some key innovations to improve training and testing speed while also increase prediction accuracy. More specifically, we first introduce a contextual attention module that can rapidly highlight most salient objects or regions with contextual pyramids. Thus, it effectively guides the learning of low-layer convolutional features and tells the backbone network where to look. The contextual attention module is a fully convolutional mechanism that simultaneously learns complementary features and predicts saliency scores at each pixel. In addition, we propose a novel method to aggregate multi-level deep convolutional features. As a result, we are able to use the integrated side-output features of pre-trained convolutional networks alone, which significantly reduces the model parameters leading to a model size of 67 MB, about half of Amulet. Compared to other deep learning based saliency methods, Agile Amulet is of much lighter-weight, runs faster (30 fps in real-time) and achieves higher performance on seven public benchmarks in terms of both quantitative and qualitative evaluation.


title: On classification of (n+5)-dimensional nilpotent n-Lie algebra of class two

abstract: In this paper, we classify (n+5)-dimensional nilpotent n-Lie algebras of class two over the arbitrary field, when $n\ge 3$.


title: Laurent phenomenon algebras arising from surfaces II: Laminated surfaces

abstract: It was shown by Fock, Goncharov and Fomin, Shapiro, Thurston that some cluster algebras arise from triangulated orientable suraces. Subsequently Dupont and Palesi generalised this construction to include unpunctured non-orientable surfaces, giving birth to quasi-cluster algebras. Previously we linked this framework to Lam and Pylyavskyy's Laurent phenomenon algebras, showing that unpunctured surfaces admit an LP structure. In this paper we extend quasi-cluster algebras to include punctured surfaces. Moreover, by adding laminations to the surface we demonstrate that all punctured and unpunctured surfaces admit LP structures.


title: Neural Network Ensembles to Real-time Identification of Plug-level Appliance Measurements

abstract: The problem of identifying end-use electrical appliances from their individual consumption profiles, known as the appliance identification problem, is a primary stage in both Non-Intrusive Load Monitoring (NILM) and automated plug-wise metering. Therefore, appliance identification has received dedicated studies with various electric appliance signatures, classification models, and evaluation datasets. In this paper, we propose a neural network ensembles approach to address this problem using high resolution measurements. The models are trained on the raw current and voltage waveforms, and thus, eliminating the need for well engineered appliance signatures. We evaluate the proposed model on a publicly available appliance dataset from 55 residential buildings, 11 appliance categories, and over 1000 measurements. We further study the stability of the trained models with respect to training dataset, sampling frequency, and variations in the steady-state operation of appliances.


title: Co-occurrence matrix analysis-based semi-supervised training for object detection

abstract: One of the most important factors in training object recognition networks using convolutional neural networks (CNNs) is the provision of annotated data accompanying human judgment. Particularly, in object detection or semantic segmentation, the annotation process requires considerable human effort. In this paper, we propose a semi-supervised learning (SSL)-based training methodology for object detection, which makes use of automatic labeling of un-annotated data by applying a network previously trained from an annotated dataset. Because an inferred label by the trained network is dependent on the learned parameters, it is often meaningless for re-training the network. To transfer a valuable inferred label to the unlabeled data, we propose a re-alignment method based on co-occurrence matrix analysis that takes into account one-hot-vector encoding of the estimated label and the correlation between the objects in the image. We used an MS-COCO detection dataset to verify the performance of the proposed SSL method and deformable neural networks (D-ConvNets) as an object detector for basic training. The performance of the existing state-of-the-art detectors (DConvNets, YOLO v2, and single shot multi-box detector (SSD)) can be improved by the proposed SSL method without using the additional model parameter or modifying the network architecture.


title: Constant Regret, Generalized Mixability, and Mirror Descent

abstract: We consider the setting of prediction with expert advice; a learner makes predictions by aggregating those of a group of experts. Under this setting, and for the right choice of loss function and "mixing" algorithm, it is possible for the learner to achieve a constant regret regardless of the number of prediction rounds. For example, a constant regret can be achieved for \emph{mixable} losses using the \emph{aggregating algorithm}. The \emph{Generalized Aggregating Algorithm} (GAA) is a name for a family of algorithms parameterized by convex functions on simplices (entropies), which reduce to the aggregating algorithm when using the \emph{Shannon entropy} $\operatorname{S}$. For a given entropy $\Phi$, losses for which a constant regret is possible using the \textsc{GAA} are called $\Phi$-mixable. Which losses are $\Phi$-mixable was previously left as an open question. We fully characterize $\Phi$-mixability and answer other open questions posed by \cite{Reid2015}. We show that the Shannon entropy $\operatorname{S}$ is fundamental in nature when it comes to mixability; any $\Phi$-mixable loss is necessarily $\operatorname{S}$-mixable, and the lowest worst-case regret of the \textsc{GAA} is achieved using the Shannon entropy. Finally, by leveraging the connection between the \emph{mirror descent algorithm} and the update step of the GAA, we suggest a new \emph{adaptive} generalized aggregating algorithm and analyze its performance in terms of the regret bound.


title: Computing the Cumulative Distribution Function and Quantiles of the One-sided Kolmogorov-Smirnov Statistic

abstract: The cumulative distribution and quantile functions for the one-sided one sample Kolmogorov-Smirnov probability distributions are used for goodness-of-fit testing. While the Smirnov-Birnbaum-Tingey formula for the CDF appears straight forward, its numerical evaluation generates intermediate results spanning many hundreds of orders of magnitude and at times requires very precise accurate representations. Computing the quantile function for any specific probability may require evaluating both the CDF and its derivative, both of which are computationally expensive. To work around avoid these issues, different algorithms can be used across different parts of the domain, and approximations can be used to reduce the computational requirements. We show here that straight forward implementation incurs accuracy loss for sample sizes of well under 1000. Further the approximations in use inside the open source SciPy python software often result in increased computation, not just reduced accuracy, and at times suffer catastrophic loss of accuracy for any sample size. Then we provide alternate algorithms which restore accuracy and efficiency across the whole domain.


title: Recovery of simultaneous low rank and two-way sparse coefficient matrices, a nonconvex approach

abstract: We study the problem of recovery of matrices that are simultaneously low rank and row and/or column sparse. Such matrices appear in recent applications in cognitive neuroscience, imaging, computer vision, macroeconomics, and genetics. We propose a GDT (Gradient Descent with hard Thresholding) algorithm to efficiently recover matrices with such structure, by minimizing a bi-convex function over a nonconvex set of constraints. We show linear convergence of the iterates obtained by GDT to a region within statistical error of an optimal solution. As an application of our method, we consider multi-task learning problems and show that the statistical error rate obtained by GDT is near optimal compared to minimax rate. Experiments demonstrate competitive performance and much faster running speed compared to existing methods, on both simulations and real data sets.


title: Semi-stable models of modular Curves $X_0(p^2)$ and some arithmetic applications

abstract: In this paper, we compute the semi-stable models of modular curves $X_0(p^2)$ for odd primes $p > 3$ and compute the Arakelov self-intersection numbers of the relative dualising sheaves for these models. We give two arithmetic applications of our computations. In particular, we give an effective version of the Bogomolov conjecture following the strategy outlined by Zhang and find the stable Faltings heights of the arithmetic surfaces corresponding to these modular curves.


title: Geometry of Discrete Copulas

abstract: Multivariate distributions are fundamental to modeling. Discrete copulas can be used to construct diverse multivariate joint distributions over random variables from estimated univariate marginals. The space of discrete copulas admits a representation as a convex polytope which can be exploited in entropy-copula methods relevant to hydrology and climatology. To allow for an extensive use of such methods in a wide range of applied fields, it is important to have a geometric representation of discrete copulas with desirable stochastic properties. In this paper, we show that the families of ultramodular discrete copulas and their generalization to convex discrete quasi-copulas admit representations as polytopes. We draw connections to the prominent Birkhoff polytope, alternating sign matrix polytope, and their most extensive generalizations in the discrete geometry literature. In doing so, we generalize some well-known results on these polytopes from both the statistics literature and the discrete geometry literature.


title: ISA-Based Trusted Network Functions And Server Applications In The Untrusted Cloud

abstract: Nowadays, enterprises widely deploy Network Functions (NFs) and server applications in the cloud. However, processing of sensitive data and trusted execution cannot be securely deployed in the untrusted cloud. Cloud providers themselves could accidentally leak private information (e.g., due to misconfigurations) or rogue users could exploit vulnerabilities of the providers' systems to compromise execution integrity, posing a threat to the confidentiality of internal enterprise and customer data. In this paper, we identify (i) a number of NF and server application use-cases that trusted execution can be applied to, (ii) the assets and impact of compromising the private data and execution integrity of each use-case, and (iii) we leverage Intel's Software Guard Extensions (SGX) architecture to design Trusted Execution Environments (TEEs) for cloud-based NFs and server applications. We combine SGX with the Data Plane Development KIT (DPDK) to prototype and evaluate our TEEs for a number of application scenarios (Layer 2 frame and Layer 3 packet processing for plain and encrypted traffic, traffic load-balancing and back-end server processing). Our results indicate that NFs involving plain traffic can achieve almost native performance (e.g., ~22 Million Packets Per Second for Layer 3 forwarding for 64-byte frames), while NFs involving encrypted traffic and server processing can still achieve competitive performance (e.g., ~12 Million Packets Per Second for server processing for 64-byte frames).


title: A survey on trajectory clustering analysis

abstract: This paper comprehensively surveys the development of trajectory clustering. Considering the critical role of trajectory data mining in modern intelligent systems for surveillance security, abnormal behavior detection, crowd behavior analysis, and traffic control, trajectory clustering has attracted growing attention. Existing trajectory clustering methods can be grouped into three categories: unsupervised, supervised and semi-supervised algorithms. In spite of achieving a certain level of development, trajectory clustering is limited in its success by complex conditions such as application scenarios and data dimensions. This paper provides a holistic understanding and deep insight into trajectory clustering, and presents a comprehensive analysis of representative methods and promising future directions.


title: Base sizes of primitive groups: bounds with explicit constants

abstract: We show that the minimal base size $b(G)$ of a finite primitive permutation group $G$ of degree $n$ is at most $2 (\log |G|/\log n) + 24$. This bound is asymptotically best possible since there exists a sequence of primitive permutation groups $G$ of degrees $n$ such that $b(G) = \lfloor 2 (\log |G|/\log n) \rceil - 2$ and $b(G)$ is unbounded. As a corollary we show that a primitive permutation group of degree $n$ that does not contain the alternating group $\mathrm{Alt}(n)$ has a base of size at most $\max\{\sqrt{n} , \ 25\}$.


title: Bases of quasisimple linear groups

abstract: Let $V$ be a vector space of dimension $d$ over $F_q$, a finite field of $q$ elements, and let $G \le GL(V) \cong GL_d(q)$ be a linear group. A base of $G$ is a set of vectors whose pointwise stabiliser in $G$ is trivial. We prove that if $G$ is a quasisimple group (i.e. $G$ is perfect and $G/Z(G)$ is simple) acting irreducibly on $V$, then excluding two natural families, $G$ has a base of size at most 6. The two families consist of alternating groups ${\rm Alt}_m$ acting on the natural module of dimension $d = m-1$ or $m-2$, and classical groups with natural module of dimension $d$ over subfields of $F_q$.


title: The Weyl-Kac weight formula

abstract: We provide the first formulae for the weights of all simple highest weight modules over Kac-Moody algebras. For generic highest weights, we present a formula for the weights of simple modules similar to the Weyl-Kac character formula. For the remaining highest weights, the formula fails in a striking way, suggesting the existence of 'multiplicity-free' Macdonald identities for affine root systems.


title: New polarimetric and spectroscopic evidence of anomalous enrichment in spinel-bearing Calcium-Aluminium-rich Inclusions among L-type asteroids

abstract: Asteroids can be classified into several groups based on their spectral reflectance. Among these groups, the one belonging to the L-class in the taxonomic classification based on visible and near-infrared spectra exhibit several peculiar properties. First, their near-infrared spectrum is characterized by a strong absorption band interpreted as the diagnostic of a high content of the FeO bearing spinel mineral. This mineral is one of the main constituents of Calcium-Aluminum-rich Inclusions (CAI) the oldest mineral compounds found in the solar system. In polarimetry, they possess an uncommonly large value of the inversion angle incompatible with all known asteroid belonging to other taxonomical classes. Asteroids found to possess such a high inversion angle are commonly called Barbarians based on the first asteroid on which this property was first identified, (234)~Barbara. In this paper we present the results of an extensive campaign of polarimetric and spectroscopic observations of L-class objects. We have derived phase-polarization curves for a sample of 7 Barbarians, finding a variety of inversion angles ranging between 25 and 30$^{\circ}$. Spectral reflectance data exhibit variations in terms of spectral slope and absorption features in the near-infrared. We analyzed these data using a Hapke model to obtain some inferences about the relative abundance of CAI and other mineral compounds. By combining spectroscopic and polarimetric results, we find evidence that the polarimetric inversion angle is directly correlated with the presence of CAI, and the peculiar polarimetric properties of Barbarians are primarily a consequence of their anomalous composition.


title: The critical exponent: a novel graph invariant

abstract: A surprising result of FitzGerald and Horn (1977) shows that $A^{\circ \alpha} := (a_{ij}^\alpha)$ is positive semidefinite (p.s.d.) for every entrywise nonnegative $n \times n$ p.s.d. matrix $A = (a_{ij})$ if and only if $\alpha$ is a positive integer or $\alpha \geq n-2$. Given a graph $G$, we consider the refined problem of characterizing the set $\mathcal{H}_G$ of entrywise powers preserving positivity for matrices with a zero pattern encoded by $G$. Using algebraic and combinatorial methods, we study how the geometry of $G$ influences the set $\mathcal{H}_G$. Our treatment provides new and exciting connections between combinatorics and analysis, and leads us to introduce and compute a new graph invariant called the critical exponent.


title: Multiband Gravitational-Wave Astronomy: Observing binary inspirals with a decihertz detector, B-DECIGO

abstract: An evolving Japanese gravitational-wave (GW) mission in the deci-Hz band: B-DECIGO (DECihertz laser Interferometer Gravitational wave Observatory) will enable us to detect GW150914-like binary black holes, GW170817-like binary neutron stars, and intermediate-mass binary black holes out to cosmological distances. The B-DECIGO band slots in between the aLIGO-Virgo-KAGRA-IndIGO (hecto-Hz) and LISA (milli-Hz) bands for broader bandwidth; the sources described emit GWs for weeks to years across the multiband to accumulate high signal-to-noise ratios. This suggests the possibility that joint detection would greatly improve the parameter estimation of the binaries. We examine B-DECIGO's ability to measure binary parameters and assess to what extent multiband analysis could improve such measurement. Using non-precessing post-Newtonian waveforms with the Fisher matrix approach, we find for systems like GW150914 and GW170817 that B-DECIGO can measure the mass ratio to within $< 0.1\%$, the individual black-hole spins to within $< 10\%$, and the coalescence time to within $< 5\,$s about a week before alerting aLIGO and electromagnetic facilities. Prior information from B-DECIGO for aLIGO can further reduce the uncertainty in the measurement of, e.g., certain neutron star tidally-induced deformations by factor of $\sim 6$, and potentially determine the spin-induced neutron star quadrupole moment. Joint LISA and B-DECIGO measurement will also be able to recover the masses and spins of intermediate-mass binary black holes at percent-level precision. However, there will be a large systematic bias in these results due to post-Newtonian approximation of exact GW signals.


title: Inner cohomology of $GL_n$

abstract: We give an explicit description of the inner cohomology of an adelic locally symmetric space of a given level structure attached to the general linear group of prime rank $n$, with coefficients in a locally constant sheaf of complex vector spaces. We show that for all prime $n$ the inner cohomology vanishes in all degrees for nonconstant sheaves, otherwise the quotient module of the inner cohomology classes that are not cuspidal is trivial in all degrees for primes $n = 2,3$, and for all primes $n \geq 5$ it is trivial in all but finitely many degrees where it has a `simple' description in terms of algebraic Hecke characters.


title: Electrical Control of 2D Magnetism in Bilayer CrI3

abstract: The challenge of controlling magnetism using electric fields raises fundamental questions and addresses technological needs such as low-dissipation magnetic memory. The recently reported two-dimensional (2D) magnets provide a new system for studying this problem owing to their unique magnetic properties. For instance, bilayer chromium triiodide (CrI3) behaves as a layered antiferromagnet with a magnetic field-driven metamagnetic transition. Here, we demonstrate electrostatic gate control of magnetism in CrI3 bilayers, probed by magneto-optical Kerr effect (MOKE) microscopy. At fixed magnetic fields near the metamagnetic transition, we realize voltage-controlled switching between antiferromagnetic and ferromagnetic states. At zero magnetic field, we demonstrate a time-reversal pair of layered antiferromagnetic states which exhibit spin-layer locking, leading to a remarkable linear dependence of their MOKE signals on gate voltage with opposite slopes. Our results pave the way for exploring new magnetoelectric phenomena and van der Waals spintronics based on 2D materials.


title: Low-virtuality leptoproduction of open-charm as a probe of the gluon Sivers function

abstract: We propose low-virtuality leptoproduction of open-charm, $p^\uparrow l\to D^0+X$, as a probe of the gluon Sivers function (GSF). At leading-order, this process directly probes the gluon content of the proton, making detection of a trasverse single-spin asymmetry in the process a clear indication of a non-zero GSF. Considering the kinematics of the proposed future Electron-Ion Collider (EIC), we present predictions for asymmetry using fits of the GSF available in literature. We also study the asymmetry at the level of muons produced in D-meson decays and find that the asymmetry is preserved therein as well.


title: Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers

abstract: In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neural network is considered to consist of Rectified Linear Unit (ReLU) activation functions. A layer-by-layer approach is developed for the output reachable set computation of ReLU neural networks. The computation is formulated in the form of a set of manipulations for a union of polytopes. Based on the output reachable set for neural network controllers, the output reachable set for a piecewise linear feedback control system can be estimated iteratively for a given finite-time interval. With the estimated output reachable set, the safety verification for piecewise linear systems with neural network controllers can be performed by checking the existence of intersections of unsafe regions and output reach set. A numerical example is presented to illustrate the effectiveness of our approach.


title: Switching Purcell effect with nonlinear epsilon-near-zero media

abstract: An optical topological transition is defined as the change in the photonic isofrequency surface around epsilon-near-zero (ENZ) frequencies which can considerably change the spontaneous emission of a quantum emitter placed near a metamaterial slab. Here, we show that due to the strong Kerr nonlinearity at ENZ frequencies, a high power pulse can induce a sudden transition in the topology of the iso-frequency dispersion curve, leading to a significant change in the transmission of propagating as well as evanescent waves through the metamaterial slab. This evanescent wave switch effect allows for the control of spontaneous emission through modulation of the Purcell effect. We develop a theory of the enhanced nonlinear response of ENZ media to s and p polarized inputs and show that this nonlinear effect is stronger for p polarization and is almost independent of the incident angle. We perform finite-difference time-domain (FDTD) simulations to demonstrate the transient response of the metamaterial slab to an ultrafast pulse and fast switching of the Purcell effect at the sub-picosecond scale. The Purcell factor changes at ENZ by almost a factor of three which is an order of magnitude stronger than that away from ENZ. We also show that due to the inhomogeneous spatial field distribution inside the multilayer metal-dielectric super-lattice, a unique spatial topological transition metamaterial can be achieved by the control pulse induced nonlinearity. Our work can lead to ultra-fast control of quantum phenomena in ENZ metamaterials.


title: Unsupervised Band Selection of Hyperspectral Images via Multi-dictionary Sparse Representation

abstract: Hyperspectral images have far more spectral bands than ordinary multispectral images. Rich band information provides more favorable conditions for the tremendous applications. However, significant increase in the dimensionality of spectral bands may lead to the curse of dimensionality, especially for classification applications. Furthermore, there are a large amount of redundant information among the raw image cubes due to water absorptions, sensor noises and other influence factors. Band selection is a direct and effective method to remove redundant information and reduce the spectral dimension for decreasing computational complexity and avoiding the curse of dimensionality. In this paper, we present a novel learning framework for band selection based on the idea of sparse representation. More specifically, first each band is approximately represented by the linear combination of other bands, then the original band image can be represented by a multi-dictionary learning mechanism. As a result, a group of weights can be obtained by sparse optimization for all bands. Finally, the specific bands will be selected, if they get higher weights than other bands in the representation of the original image. Experimental results on three widely used hyperspectral datasets show that our proposed algorithm achieves better performance in hyperspectral image classification, when compared with other state-of-art band selection methods.


title: Fitting New Speakers Based on a Short Untranscribed Sample

abstract: Learning-based Text To Speech systems have the potential to generalize from one speaker to the next and thus require a relatively short sample of any new voice. However, this promise is currently largely unrealized. We present a method that is designed to capture a new speaker from a short untranscribed audio sample. This is done by employing an additional network that given an audio sample, places the speaker in the embedding space. This network is trained as part of the speech synthesis system using various consistency losses. Our results demonstrate a greatly improved performance on both the dataset speakers, and, more importantly, when fitting new voices, even from very short samples.


title: Binary linear complementary dual codes

abstract: Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study binary linear complementary dual $[n,k]$ codes with the largest minimum weight among all binary linear complementary dual $[n,k]$ codes. We characterize binary linear complementary dual codes with the largest minimum weight for small dimensions. A complete classification of binary linear complementary dual $[n,k]$ codes with the largest minimum weight is also given for $1 \le k \le n \le 16$.


title: Hollow density formation in magnetically expanding helicon plasma

abstract: Measurement of radial density profile in both the source and expansion chambers of a helicon plasma device have revealed that it is always centrally peaked in the source chamber, whereas in the expansion chamber near the diverging magnetic field it becomes hollow above a critical value of the magnetic field. This value corresponds to that above which both electrons and ions become magnetized. The temperature profile is always peaked off- axis and tail electrons are found at the peak location in both the source and expansion chambers. Rotation of the tail electrons in the azimuthal direction in the expansion chamber due to gradient-B drift produces more ionization off-axis and creates a hollow density profile; however, if the ions are not magnetized, the additional ionization does not cause hollowness.


title: On Kronecker terms over global function fields

abstract: We establish a general Kronecker limit formula of arbitrary rank over global function fields with Drinfeld period domains playing the role of upper-half plane. The Drinfeld-Siegel units come up as equal characteristic modular forms replacing the classical $\Delta$. This leads to analytic means of deriving a Colmez-type formula for "stable Taguchi height" of CM Drinfeld modules having arbitrary rank. A Lerch-Type formula for "totally real" function fields is also obtained, with the Heegner cycle on the Bruhat-Tits buildings intervene. Also our limit formula is naturally applied to the special values of both the Rankin-Selberg $L$-functions and the Godement-Jacquet $L$-functions associated to automorphic cuspidal representations over global function fields.


title: Rotational motion of triaxially deformed nuclei studied by microscopic angular-momentum-projection method I: Nuclear wobbling motion

abstract: Rotation of triaxially deformed nucleus has been an interesting subject in the study of nuclear structure. In the present series of work, we investigate wobbling motion and chiral rotation by employing the microscopic framework of angular-momentum projection from cranked triaxially deformed mean-field states. In this first part the wobbling motion is studied in detail. The consequences of the three dimensional cranking are investigated. It is demonstrated that the multiple wobbling rotational bands naturally appear as a result of fully microscopic calculation. They have the characteristic properties, that are expected from the macroscopic triaxial-rotor model or the phenomenological particle-triaxial-rotor model, although quantitative agreement with the existing data is not achieved. It is also found that the excitation spectrum reflects dynamics of the angular-momentum vector in the intrinsic frame of the mean-field (transverse vs. longitudinal wobbling). The results obtained by using the Woods-Saxon potential and the schematic separable interaction are mainly discussed, while some results with the Gogny D1S interaction are also presented.


title: Smooth affine group schemes over the dual numbers

abstract: We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G \rightarrow 1$ where G is an affine, smooth group scheme over k. Here k is an arbitrary commutative ring and $k[I] = k \oplus I$ with $I^2 = 0$. The equivalence is given by Weil restriction, and we provide a quasi-inverse which we call Weil extension. It is compatible with the exact structures and the $\mathbb{O}_k$-module stack structures on both categories. Our constructions rely on the use of the group algebra scheme of an affine group scheme; we introduce this object and establish its main properties. As an application, we establish a Dieudonn\'e classification for smooth, commutative, unipotent group schemes over $k[I]$.


title: Multiplicity distribution and normalized moments in p$-$p collisions at LHC in forward rapidity using Weibull model

abstract: The measured charged particle multiplicity distribution in the forward rapidity region of the p$-$p collisions at $\sqrt{s}$ = 0.9 TeV, 7 TeV and 8 TeV at the LHC have been described using the Weibull distribution function. The higher order (up to $5^{th}$ order ) normalized moments and the factorial moments are also calculated using the extracted parameters. The multiplicity distributions in forward region are observed to be well described by the Weibull regularity and the higher order moment calculations confirm the violation of KNO scaling that has been observed at mid-rapidity and lower energies. The Weibull parameters and moments for p$-$p collisions at $\sqrt{s}$ = 13 TeV are also estimated for the forward region.


title: Rotational motion of triaxially deformed nuclei studied by microscopic angular-momentum-projection method II: Chiral doublet band

abstract: In the sequel of the present study, we have investigated the rotational motion of triaxially deformed nucleus by using the microscopic framework of angular-momentum projection. The Woods-Saxon potential and the schematic separable-type interaction are employed as a microscopic Hamiltonian. As the first example nuclear wobbling motion was studied in detail in the part~I of the series. This second part reports on another interesting rotational mode, chiral doublet bands: two prototype examples, $^{128}$Cs and $^{104}$Rh, are investigated. It is demonstrated that the doublet bands naturally appear as a result of the calculation in this fully microscopic framework without any kind of core, and they have the characteristic properties of the $B(E2)$ and $B(M1)$ transition probabilities, which are expected from the phenomenological triaxial particle-rotor coupling model.


title: Sublinear Algorithms for MAXCUT and Correlation Clustering

abstract: We study sublinear algorithms for two fundamental graph problems, MAXCUT and correlation clustering. Our focus is on constructing core-sets as well as developing streaming algorithms for these problems. Constant space algorithms are known for dense graphs for these problems, while $\Omega(n)$ lower bounds exist (in the streaming setting) for sparse graphs. Our goal in this paper is to bridge the gap between these extremes. Our first result is to construct core-sets of size $\tilde{O}(n^{1-\delta})$ for both the problems, on graphs with average degree $n^{\delta}$ (for any $\delta >0$). This turns out to be optimal, under the exponential time hypothesis (ETH). Our core-set analysis is based on studying random-induced sub-problems of optimization problems. To the best of our knowledge, all the known results in our parameter range rely crucially on near-regularity assumptions. We avoid these by using a biased sampling approach, which we analyze using recent results on concentration of quadratic functions. We then show that our construction yields a 2-pass streaming $(1+\epsilon)$-approximation for both problems; the algorithm uses $\tilde{O}(n^{1-\delta})$ space, for graphs of average degree $n^\delta$.


title: A Survey on the Security of Blockchain Systems

abstract: Since its inception, the blockchain technology has shown promising application prospects. From the initial cryptocurrency to the current smart contract, blockchain has been applied to many fields. Although there are some studies on the security and privacy issues of blockchain, there lacks a systematic examination on the security of blockchain systems. In this paper, we conduct a systematic study on the security threats to blockchain and survey the corresponding real attacks by examining popular blockchain systems. We also review the security enhancement solutions for blockchain, which could be used in the development of various blockchain systems, and suggest some future directions to stir research efforts into this area.


title: Low-Mass Dark Matter Search with the DarkSide-50 Experiment

abstract: We present the results of a search for dark matter WIMPs in the mass range below 20 GeV/c^2 using a target of low-radioactivity argon. The data were obtained using the DarkSide-50 apparatus at Laboratori Nazionali del Gran Sasso (LNGS). The analysis is based on the ionization signal, for which the DarkSide-50 time projection chamber is fully efficient at 0.1 keVee. The observed rate in the detector at 0.5 keVee is about 1.5 events/keVee/kg/day and is almost entirely accounted for by known background sources. We obtain a 90% C.L. exclusion limit above 1.8 GeV/c^2 for the spin-independent cross section of dark matter WIMPs on nucleons, extending the exclusion region for dark matter below previous limits in the range 1.8-6 GeV/c^2.


title: How to analyze data in a factorial design? An extensive simulation study

abstract: Factorial designs are frequently used in different fields of science, e.g. psychological, medical or biometric studies. Standard approaches, as the ANOVA $F$-test, make different assumptions on the distribution of the error terms, the variances or the sample sizes in the different groups. Because of time constraints or a lack of statistical background, many users do not check these assumptions; enhancing the risk of potentially inflated type-$I$ error rates or a substantial loss of power. It is the aim of the present paper, to give an overview of different methods without such restrictive assumptions and to identify situations in which one method is superior compared to others. In particular, after summarizing their underlying assumptions, the different approaches are compared within extensive simulations. To also address the current discussion about redefining the statistical significance level, we also included simulations for the 0.5\% level.


title: Wavelength convertible quantum memory satisfying ultralong photon storage and near perfect retrieval efficiency

abstract: Quantum coherence control is presented for wavelength convertible quantum memory in a double-lambda-type solid ensemble whose spin states are inhomogeneously broadened. Unlike typical atomic media whose spin decay is homogeneous, a spin inhomogeneously broadened solid ensemble requires a counter-intuitive access in the quantum coherence control to avoid spontaneous emission-caused quantum noises. Such quantum coherence control in a solid ensemble results in a near perfect retrieval efficiency and is applicable to ultralong photon storage up to the spin phase relaxation time. Here, the basic physics of the counter-intuitive quantum coherence control is presented not only for two-photon (Raman) coherent transients, but also for a detailed coherence transfer mechanism resulting in frequency up-/down-conversion. This work sheds light on potential applications of quantum optical memories satisfying noise free, near perfect, ultralong, and multimode photon storage, where quantum repeaters, scalable entangled qubits, and magnetometry would be imminent beneficiaries.


title: Categorizing the Content of GitHub README Files

abstract: README files play an essential role in shaping a developer's first impression of a software repository and in documenting the software project that the repository hosts. Yet, we lack a systematic understanding of the content of a typical README file as well as tools that can process these files automatically. To close this gap, we conduct a qualitative study involving the manual annotation of 4,226 README file sections from 393 randomly sampled GitHub repositories and we design and evaluate a classifier and a set of features that can categorize these sections automatically. We find that information discussing the `What' and `How' of a repository is very common, while many README files lack information regarding the purpose and status of a repository. Our multi-label classifier which can predict eight different categories achieves an F1 score of 0.746. To evaluate the usefulness of the classification, we used the automatically determined classes to label sections in GitHub README files using badges and showed files with and without these badges to twenty software professionals. The majority of participants perceived the automated labeling of sections based on our classifier to ease information discovery. This work enables the owners of software repositories to improve the quality of their documentation and it has the potential to make it easier for the software development community to discover relevant information in GitHub README files.


title: Constraints on Sub-GeV Dark Matter-Electron Scattering from the DarkSide-50 Experiment

abstract: We present new constraints on sub-GeV dark matter particles scattering off electrons in argon based on an analysis of ionization signal data from the DarkSide-50 detector.


title: Proton acceleration by a pair of successive ultraintense femtosecond laser pulses

abstract: We investigate the target normal sheath acceleration of protons in thin aluminum targets irradiated at relativistic intensity by two time-separated ultrashort (35 fs) laser pulses. For identical laser pulses and target thicknesses of 3 and 6 $\mu$m, we observe experimentally that the second pulse boosts the maximum energy and charge of the proton beam produced by the first pulse for time delays below $\sim0.6-1$ ps. By using two-dimensional particle-in-cell simulations we examine the variation of the proton energy spectra with respect to the time-delay between the two pulses. We demonstrate that the expansion of the target front surface caused by the first pulse significantly enhances the hot-electron generation by the second pulse arriving after a few hundreds of fs time delay. This enhancement, however, does not suffice to further accelerate the fastest protons driven by the first pulse once three-dimensional quenching effects have set in. This implies a limit to the maximum time delay that leads to proton energy enhancement, which we theoretically determine.


title: CASPaxos: Replicated State Machines without logs

abstract: CASPaxos is a wait-free, linearizable, multi-writer multi-reader register in unreliable, asynchronous networks supporting arbitrary update operations including compare-and-set (CAS). The register acts as a replicated state machine providing an interface for changing its value by applying an arbitrary user-provided function (a command). Unlike Multi-Paxos and Raft which replicate the log of commands, CASPaxos replicates state, thus avoiding associated complexity, reducing write amplification, increasing concurrency of disk operations and hardware utilization. The paper describes CASPaxos, proves its safety properties and evaluates the characteristics of a CASPaxos-based prototype of key-value storage.


title: Endoscopic optical coherence tomography with a flexible fiber bundle

abstract: We demonstrate in vivo endoscopic optical coherence tomography (OCT) imaging in the forward direction using a flexible fiber bundle. In comparison to current conventional forward looking probe schemes, our approach simplifies the endoscope design by avoiding the integration of any beam steering components in the distal probe end due to 2D scanning of a focused light beam over the proximal fiber bundle surface. We describe the challenges that arise when OCT imaging with a fiber bundle is performed, such as multimoding or cross-coupling. The performance of different fiber bundles with varying parameters such as numerical aperture, core size and core structure was consequently compared and artifacts that degrade the image quality were described in detail. Based on our findings, we propose an optimal fiber bundle design for endoscopic OCT imaging.


title: Interplay of confinement and density on the heat transfer characteristics of nanoscale-confined gas

abstract: The effect of changing the Knudsen number on the thermal properties of static argon gas within nanoscale confinement is investigated by three-dimensional molecular dynamics simulations. Utilizing thermalized channel walls, it is observed that regardless of the channel height and the gas density, the wall force field affects the density and temperature distributions within approximately 1 nm from each channel wall. As the gas density is increased for constant channel height, the relative effect of the wall force field on the motion of argon gas atoms and, consequently, the maximum normalized gas density near the walls is decreased. Therefore, for the same Knudsen number, the temperature jump for this case is higher than what is observed for the case in which the channel height changes at a constant gas density. The normalized effective thermal conductivity of the argon gas based on the heat flux that is obtained by implementation of the Irving-Kirkwood method reveals that the two cases give the same normalized effective thermal conductivity. For the constant density case, the total thermal resistance increases as the Knudsen number decreases while for the constant height case, it reduces considerably. Meanwhile, it is observed that regardless of the method used to change the Knudsen number, a considerable portion of the total thermal resistance refers to interfacial and wall force field thermal resistance even for near micrometer sized channels.


title: Double Field Theory and Membrane Sigma-Models

abstract: We investigate geometric aspects of double field theory (DFT) and its formulation as a doubled membrane sigma-model. Starting from the standard Courant algebroid over the phase space of an open membrane, we determine a splitting and a projection to a subbundle that sends the Courant algebroid operations to the corresponding operations in DFT. This describes precisely how the geometric structure of DFT lies in between two Courant algebroids and is reconciled with generalized geometry. We construct the membrane sigma-model that corresponds to DFT, and demonstrate how the standard T-duality orbit of geometric and non-geometric flux backgrounds is captured by its action functional in a unified way. This also clarifies the appearence of noncommutative and nonassociative deformations of geometry in non-geometric closed string theory. Gauge invariance of the DFT membrane sigma-model is compatible with the flux formulation of DFT and its strong constraint, whose geometric origin is explained. Our approach leads to a new generalization of a Courant algebroid, that we call a DFT algebroid and relate to other known generalizations, such as pre-Courant algebroids and symplectic nearly Lie 2-algebroids. We also describe the construction of a gauge-invariant doubled membrane sigma-model that does not require imposing the strong constraint.


title: Cross-over between collective and independent-particle excitations in quasi-2D electron gas with one filled miniband

abstract: While it has been recently demonstrated that, for quasi-2D electron gas (Q2DEG) with one filled miniband, the dynamic exchange $f_x$ and Hartree $f_H$ kernels cancel each other in the low-density regime $r_s\rightarrow \infty$ (by half and completely, for the spin-neutral and fully spin-polarized cases, respectively), here we analytically show that the same happens at arbitrary densities at short distances. This motivates us to study the confinement dependence of the excitations in Q2DEG. Our calculations unambiguously confirm that, at strong confinements, the time-dependent exact exchange excitation energies approach the single-particle Kohn-Sham ones for the spin-polarized case, while the same, but less pronounced, tendency is observed for spin-neutral Q2DEG.


title: Signature of a highly spin polarized resonance state at Co2MnSi(001)/Ag(001) interfaces

abstract: We investigated interfaces of halfmetallic Co2MnSi(100) Heusler thin films with Ag(100), Cr(100), Cu and Al layers relevant for spin valves by high energy x-ray photoemission spectroscopy (HAXPES). Experiments on Co2MnSi samples with an Ag(100) interface showed a characteristic spectral shoulder feature close to the Fermi edge, which is strongly diminished or suppressed at Co2MnSi (100) interfaces with the other metallic layers. This feature is found to be directly related to the Co2MnSi(100) layer, as reflected by control experiments with reference non-magnetic films, i.e. without Heusler layer. By comparison with HAXPES calculations, the shoulder feature is identified as originating from an interface state related to a highly spin polarized surface resonance of Co2MnSi (100).


title: Tight neighborhoods of contact submanifolds

abstract: We prove that any small enough neighborhood of a closed contact submanifold is always tight under a mild assumption on its normal bundle. The non-existence of $C^0$--small positive loops of contactomorphisms in general overtwisted manifolds is shown as a corollary.


title: Traffic Graph Convolutional Recurrent Neural Network: A Deep Learning Framework for Network-Scale Traffic Learning and Forecasting

abstract: Traffic forecasting is a particularly challenging application of spatiotemporal forecasting, due to the time-varying traffic patterns and the complicated spatial dependencies on road networks. To address this challenge, we learn the traffic network as a graph and propose a novel deep learning framework, Traffic Graph Convolutional Long Short-Term Memory Neural Network (TGC-LSTM), to learn the interactions between roadways in the traffic network and forecast the network-wide traffic state. We define the traffic graph convolution based on the physical network topology. The relationship between the proposed traffic graph convolution and the spectral graph convolution is also discussed. An L1-norm on graph convolution weights and an L2-norm on graph convolution features are added to the model's loss function to enhance the interpretability of the proposed model. Experimental results show that the proposed model outperforms baseline methods on two real-world traffic state datasets. The visualization of the graph convolution weights indicates that the proposed framework can recognize the most influential road segments in real-world traffic networks.


title: Segmentation hi\'erarchique faiblement supervis\'ee

abstract: Image segmentation is the process of partitioning an image into a set of meaningful regions according to some criteria. Hierarchical segmentation has emerged as a major trend in this regard as it favors the emergence of important regions at different scales. On the other hand, many methods allow us to have prior information on the position of structures of interest in the images. In this paper, we present a versatile hierarchical segmentation method that takes into account any prior spatial information and outputs a hierarchical segmentation that emphasizes the contours or regions of interest while preserving the important structures in the image. An application of this method to the weakly-supervised segmentation problem is presented.


title: Analytical Validation Formulas for Best Estimate Calculation in Traditional Life Insurance

abstract: Within the context of traditional life insurance, a model-independent relationship about how the market value of assets is attributed to the best estimate, the value of in-force business and tax is established. This relationship holds true for any portfolio under run-off assumptions and can be used for the validation of models set up for Solvency~II best estimate calculation. Furthermore, we derive a lower bound for the value of future discretionary benefits. This lower bound formula is applied to publicly available insurance data to show how it can be used for practical validation purposes.


title: Capacity-achieving Guessing Random Additive Noise Decoding (GRAND)

abstract: We introduce a new algorithm for realizing Maximum Likelihood (ML) decoding in discrete channels with or without memory. In it, the receiver rank orders noise sequences from most likely to least likely. Subtracting noise from the received signal in that order, the first instance that results in a member of the code-book is the ML decoding. We name this algorithm GRAND for Guessing Random Additive Noise Decoding. We establish that GRAND is capacity-achieving when used with random code-books. For rates below capacity we identify error exponents, and for rates beyond capacity we identify success exponents. We determine the scheme's complexity in terms of the number of computations the receiver performs. For rates beyond capacity, this reveals thresholds for the number of guesses by which if a member of the code-book is identified it is likely to be the transmitted code-word. We introduce an approximate ML decoding scheme where the receiver abandons the search after a fixed number of queries, an approach we dub GRANDAB, for GRAND with ABandonment. While not an ML decoder, we establish that the algorithm GRANDAB is also capacity-achieving for an appropriate choice of abandonment threshold, and characterize its complexity, error and success exponents. Worked examples are presented for Markovian noise that indicate these decoding schemes substantially out-perform the brute force decoding approach.


title: Photopolarimetrical Study of Blazar-type AGN OJ287 in 2012-2015 with the 2m RCC Telescope at NAO Rozhen

abstract: We present the results of a photopolarimetric study of the blazar OJ287 in the period November 2012-January 2015. Observations were conducted using the Focal Reductor FoReRo-2 of the 2-meter RCC telescope of the National Astronomical Observatory (NAO) Rozhen. The observed change of the position angle (P.A.) corresponds to mean rotation of the plane of polarization of 6.23 deg/day, in good agreement with previous measurements. An indication of a correlation between the change of brightness in R-band and the change in the degree of polarization is also observed.


title: Producing long-lived $2^3\text{S}$ Ps via $3^3\text{P}$ laser excitation in magnetic and electric fields

abstract: Producing positronium (Ps) in the metastable $2^3\text{S}$ state is of interest for various applications in fundamental physics. We report here about an experiment in which Ps atoms are produced in this long-lived state by spontaneous radiative decay of Ps excited to the $3^3\text{P}$ level manifold. The Ps cloud excitation is obtained with a UV laser pulse in an experimental vacuum chamber in presence of guiding magnetic field of 25 mT and an average electric field of 300 V/cm. The indication of the $2^3\text{S}$ state production is obtained from a novel analysis technique of single-shot positronium annihilation lifetime spectra. Its production efficiency relative to the total amount of formed Ps is evaluated by fitting a simple rate equations model to the experimental data and found to be $ (2.1 \pm 1.3) \, \% $.


title: Quantum Interference in Silicon 1D Quasi-Ballistic Junctionless Nanowire Field Effect Transistors

abstract: We investigate the low temperature transport in 8 nm diameter Si junctionless nanowire field effect transistors fabricated by top down techniques with a wrap-around gate and two different activated doping densities. First we extract the intrinsic gate capacitance of the device geometry from a device that shows Coulomb blockade at 13 mK with over 500 Coulomb peaks across a gate voltage range of 6 V indicating the formation of a single island in the entire nanowire channel. In two other devices, doped Si:P $4\times10^{19}\,\text{cm}^{-3}$ and $2\times10^{20}\,\text{cm}^{-3}$, we observe quantum interference and use the extracted gate coupling to determine the dominant energy scale and the corresponding mean-free paths. For the higher doped device the analysis yields a mean free path of $4\pm2\,\text{nm}$, which is on the order of the average dopant spacing and suggests scattering on unactivated or activated dopants. For the device with an activated dopant density of $4\times10^{19}\,\text{cm}^{-3}$ the quantum interference effects suggest a mean free path of $10\pm2\,\text{nm}$, which is comparable to the nanowire width, and thus quasi-ballistic transport. A temperature dependent analysis of Universal Conductance Fluctuations suggests a coherence length above the nanowire length for temperatures below 1.9 K and decoherence from 1D electron-electron interactions for higher temperatures. The mobility is limited by scattering on impurities rather than the expected surface roughness scattering for nanowires with diameters larger or comparable to the Fermi wavelength. Our measurements therefore provide insight into the performance limitations from dominant scattering and dephasing mechanisms in technologically relevant silicon device geometries.


title: Electromechanical coupling of waves in nerve fibres

abstract: The propagation of an action potential (AP) in a nerve fibre is accompanied by mechanical and thermal effects. In this paper an attempt is made to build up a mathematical model which couples the AP with a possible pressure wave (PW) in the axoplasm and waves in the nerve fibre wall (longitudinal - LW and transverse - TW) made of a lipid bilayer (biomembrane). A system of differential equations includes the governing equations of single waves with coupling forces between them. The single equations are kept as simple as possible in order to carry out the proof of concept. An assumption based on earlier studies is made that the coupling forces depend on changes (the gradient, time derivative) of the voltage. In addition it is assumed that the transverse displacement of the biomembrane can be calculated from the gradient of the LW in the biomembrane. The computational simulation is focused to determining the influence of possible coupling forces on the emergence of mechanical waves from the AP. As a result, an ensemble of waves (AP, PW, LW, TW) emerges. The further experiments should verify assumptions about coupling forces. In the Appendix, the numerical scheme used for simulations, is presented.


title: Generalized nil-Coxeter algebras

abstract: Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras; these form a $2$-parameter type $A$ family that we term $NC_A(n,d)$. We explore the combinatorial properties of these algebras, including the Coxeter word basis, length function, maximal words, and their connection to Khovanov's categorification of the Weyl algebra. Our broader motivation arises from complex reflection groups and the Broue-Malle-Rouquier freeness conjecture (1998). With generic Hecke algebras over real and complex groups in mind, we show that the 'first' finite-dimensional examples $NC_A(n,d)$ are in fact the only ones, outside of the usual nil-Coxeter algebras. The proofs use a diagrammatic calculus akin to crystal theory.


title: Nanosecond-precision Time-of-Arrival Estimation for Aircraft Signals with low-cost SDR Receivers

abstract: Precise Time-of-Arrival (TOA) estimations of aircraft and drone signals are important for a wide set of applications including aircraft/drone tracking, air traffic data verification, or self-localization. Our focus in this work is on TOA estimation methods that can run on low-cost software-defined radio (SDR) receivers, as widely deployed in Mode S / ADS-B crowdsourced sensor networks such as the OpenSky Network. We evaluate experimentally classical TOA estimation methods which are based on a cross-correlation with a reconstructed message template and find that these methods are not optimal for such signals. We propose two alternative methods that provide superior results for real-world Mode S / ADS-B signals captured with low-cost SDR receivers. The best method achieves a standard deviation error of 1.5 ns.


title: Diode-like asymmetric transmission in ultrathin hyperbolic epsilon-near-zero slabs: extreme anisotropy mimicking chirality

abstract: We demonstrate that a strong asymmetric transmission for forward and backward propagation of tilted circular polarized optical waves is supported by ultrathin epsilon-near-zero hyperbolic slabs. We find that, remarkably, this effect is solely triggered by anisotropy without resorting to any breaking of reciprocity and chiral symmetries or spatial nonlocal effects. In addition, we show that the asymmetric transmission undergoes a dramatic enhancement if the slab is hyperbolic in the epsilon-near-zero regime. This happens since, close to epsilon-near-zero point, the hyperbolic dispersion activates etalon resonances where extraordinary waves accumulate propagation phase even though the slab is ultrathin. The proposed strategy holds promise for realizing ultra-compact and efficient polarization devices at different frequency bands.


title: Hermite-Hadamard type inequalities for operator geometrically convex functions II

abstract: In this paper, we prove some Hermite-Hadamard type inequalities for operator geometrically convex functions for non-commutative operators. Keywords: Operator geometrically convex function, Hermite-Hadamard inequality.


title: Monte-Carlo simulations of the detailed iron absorption line profiles from thermal winds in X-ray binaries

abstract: Blue shifted absorption lines from highly ionised iron are seen in some high inclination X-ray binary systems, indicating the presence of an equatorial disc wind. This launch mechanism is under debate, but thermal driving should be ubiquitous. X-ray irradiation from the central source heats disc surface, forming a wind from the outer disc where the local escape velocity is lower than the sound speed. The mass loss rate from each part of the disc is determined by the luminosity and spectral shape of the central source. We use these together with an assumed density and velocity structure of the wind to predict the column density and ionisation state, then combine this with a Monte Carlo radiation transfer to predict the detailed shape of the absorption (and emission) line profiles. We test this on the persistent wind seen in the bright neutron star binary GX 13+1, with luminosity L/LEdd ~ 0.5. We approximately include the effect of radiation pressure because of high luminosity, and compute line features. We compare these to the highest resolution data, the Chandra third order grating spectra, which we show here for the first time. This is the first physical model for the wind in this system, and it succeeds in reproducing many of the features seen in the data, showing that the wind in GX13+1 is most likely a thermal-radiation driven wind. This approach, combined with better streamline structures derived from full radiation hydrodynamic simulations, will allow future calorimeter data to explore the detail wind structure.


title: First-order derivative of cluster size as a new signature of phase transition in heavy ion collisions at intermediate energies

abstract: The phenomenon of liquid-gas phase transition occurring in heavy ion collisions at intermediate energies is a subject of contemporary interest. Phase transition is usually characterized by the specific behaviour of state variables like pressure, density, energy etc. In heavy ion collisions there is no direct way of accessing these state variables and hence unambiguous detection of phase transition becomes difficult. This work establishes that signatures of phase transition can be extracted from the observables which are easily accessible in experiments and these have similar behaviour as the state variables. The temperature dependence of the first order derivative of the order parameters related to the largest and second largest cluster size (produced in heavy ion collisions) exhibit similar behavior as that of the variation of specific heat at constant volume Cv which is an established signature of first order phase transition. This motivates us to propose these derivatives as confirmatory signals of liquid-gas phase transition. The measurement of these signals in easily feasible in most experiments as compared to the other signatures like specific heat, caloric curve or bimodality. This temperature where the peak appears is designated to be the transition temperature and the effect of certain parameters on this has also been examined.


title: Fusing Video and Inertial Sensor Data for Walking Person Identification

abstract: An autonomous computer system (such as a robot) typically needs to identify, locate, and track persons appearing in its sight. However, most solutions have their limitations regarding efficiency, practicability, or environmental constraints. In this paper, we propose an effective and practical system which combines video and inertial sensors for person identification (PID). Persons who do different activities are easy to identify. To show the robustness and potential of our system, we propose a walking person identification (WPID) method to identify persons walking at the same time. By comparing features derived from both video and inertial sensor data, we can associate sensors in smartphones with human objects in videos. Results show that the correctly identified rate of our WPID method can up to 76% in 2 seconds.


title: Discovering Hidden Topical Hubs and Authorities in Online Social Networks

abstract: Finding influential users in online social networks is an important problem with many possible useful applications. HITS and other link analysis methods, in particular, have been often used to identify hub and authority users in web graphs and online social networks. These works, however, have not considered topical aspect of links in their analysis. A straightforward approach to overcome this limitation is to first apply topic models to learn the user topics before applying the HITS algorithm. In this paper, we instead propose a novel topic model known as Hub and Authority Topic (HAT) model to combine the two process so as to jointly learn the hub, authority and topical interests. We evaluate HAT against several existing state-of-the-art methods in two aspects: (i) modeling of topics, and (ii) link recommendation. We conduct experiments on two real-world datasets from Twitter and Instagram. Our experiment results show that HAT is comparable to state-of-the-art topic models in learning topics and it outperforms the state-of-the-art in link recommendation task.


title: BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks

abstract: BANZKP is the best to date Zero Knowledge Proof (ZKP) based secure lightweight and energy efficient authentication scheme designed for Wireless Area Network (WBAN). It is vulnerable to several security attacks such as the replay attack, Distributed Denial-of-Service (DDoS) attacks at sink and redundancy information crack. However, BANZKP needs an end-to-end authentication which is not compliant with the human body postural mobility. We propose a new scheme BAN-GZKP. Our scheme improves both the security and postural mobility resilience of BANZKP. Moreover, BAN-GZKP uses only a three-phase authentication which is optimal in the class of ZKP protocols. To fix the security vulnerabilities of BANZKP, BAN-GZKP uses a novel random key allocation and a Hop-by-Hop authentication definition. We further prove the reliability of our scheme to various attacks including those to which BANZKP is vulnerable. Furthermore, via extensive simulations we prove that our scheme, BAN-GZKP, outperforms BANZKP in terms of reliability to human body postural mobility for various network parameters (end-to-end delay, number of packets exchanged in the network, number of transmissions). We compared both schemes using representative convergecast strategies with various transmission rates and human postural mobility. Finally, it is important to mention that BAN-GZKP has no additional cost compared to BANZKP in terms memory, computational complexity or energy consumption.


title: A General Framework for Abstention Under Label Shift

abstract: In safety-critical applications of machine learning, it is often important to abstain from making predictions on low confidence examples. Standard abstention methods tend to be focused on optimizing top-k accuracy, but in many applications, accuracy is not the metric of interest. Further, label shift (a shift in class proportions between training time and prediction time) is ubiquitous in practical settings, and existing abstention methods do not handle label shift well. In this work, we present a general framework for abstention that can be applied to optimize any metric of interest, that is adaptable to label shift at test time, and that works out-of-the-box with any classifier that can be calibrated. Our approach leverages recent reports that calibrated probability estimates can be used as a proxy for the true class labels, thereby allowing us to estimate the change in an arbitrary metric if an example were abstained on. We present computationally efficient algorithms under our framework to optimize sensitivity at a target specificity, auROC, and the weighted Cohen's Kappa, and introduce a novel strong baseline based on JS divergence from prior class probabilities. Experiments on synthetic, biological, and clinical data support our findings.


title: A geometry for the shell model

abstract: A geometric interpretation is given of matrix elements of a short-range interaction between states that are written in terms of aligned neutron-proton pairs.


title: The damped wave equation with unbounded damping

abstract: We analyze new phenomena arising in linear damped wave equations on unbounded domains when the damping is allowed to become unbounded at infinity. We prove the generation of a contraction semigroup, study the relation between the spectra of the semigroup generator and the associated quadratic operator function, the convergence of non-real eigenvalues in the asymptotic regime of diverging damping on a subdomain, and we investigate the appearance of essential spectrum on the negative real axis. We further show that the presence of the latter prevents exponential estimates for the semigroup and turns out to be a robust effect that cannot be easily canceled by adding a positive potential. These analytic results are illustrated by examples.


title: How Quantum is a "Quantum Walk"?

abstract: We characterize quantumness of the so-called quantum walks (whose dynamics is governed by quantum mechanics) by introducing two computable measures which are stronger than the variance of the walker's position probability distribution. The first measure is based on comparing probability distributions of a quantum walk and all classical random walks (through the classical relative entropy of the distributions), and it quantifies non-Gaussianity of the probability distribution of the walk. Next, after assigning a density matrix to classical walks, we introduce a more powerful measure by employing quantum relative entropy. We show that this measure exceeds the first one by the quantum coherence of the walk. There are walks labeled classical by the variance whereas our measures identify some quantumness therein. As an application, we study a model of quantum (energy) transport on a simple lattice, and compare the behavior of its relative transport efficiencies with that of the quantumness. Our measures help partly explain why in some quantum transport phenomena a considerably high efficiency may appear---this is where quantumness is appreciable.


title: High-Dimensional Bayesian Optimization via Additive Models with Overlapping Groups

abstract: Bayesian optimization (BO) is a popular technique for sequential black-box function optimization, with applications including parameter tuning, robotics, environmental monitoring, and more. One of the most important challenges in BO is the development of algorithms that scale to high dimensions, which remains a key open problem despite recent progress. In this paper, we consider the approach of Kandasamy et al. (2015), in which the high-dimensional function decomposes as a sum of lower-dimensional functions on subsets of the underlying variables. In particular, we significantly generalize this approach by lifting the assumption that the subsets are disjoint, and consider additive models with arbitrary overlap among the subsets. By representing the dependencies via a graph, we deduce an efficient message passing algorithm for optimizing the acquisition function. In addition, we provide an algorithm for learning the graph from samples based on Gibbs sampling. We empirically demonstrate the effectiveness of our methods on both synthetic and real-world data.


title: On a fully fuzzy framework for minimax mixed integer linear programming

abstract: In this work, we present a modeling framework for minimax mixed 0-1 fuzzy linear problems. It is based on extending the usual rewriting of crisp minimax problems via auxiliary variables to model the maximum of a finite set of fuzzy linear functions. We establish that the considered problem can be equivalently formulated as a multiple objective mixed integer programming problem. The framework is applied to a fully fuzzy version of the capacitated center facility location problem.


title: Algebraic cycles on certain hyperkaehler fourfolds with an order $3$ non-symplectic automorphism II

abstract: Let $X$ be a hyperk\"ahler variety, and assume that $X$ admits a non-symplectic automorphism $\sigma$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain cubic fourfolds having an order $3$ non-symplectic automorphism.


title: Interfacially driven transport in narrow channels

abstract: When colloids flow in a narrow channel, the transport efficiency is controlled by the non-equilibrium interplay between colloid-wall interactions and hydrodynamics. In this paper, a general, unifying description of colloidal dispersion flow in a confined system is proposed. A momentum and mass balance founded framework implementing the colloid-interface interactions is introduced. The framework allows us to depict how interfacial forces drive the particles and the liquid flows. The interfacially driven flow (osmotic or Marangoni flows for repulsive or attractive colloid-wall interactions respectively) can be directly simulated in two-dimensional domains. The ability of the model to describe the physics of transport in a narrow channel is discussed in detail. The hydrodynamic nature of osmosis and the associated counter-pressure are mechanically related to the colloid-interface interactions. The simulation shows an unexpected transition from axial plug to pillar accumulation for colloidal accumulation at a channel bottleneck. This transition has important consequences in transport efficiencies. Existing limiting cases, such as diffusio-osmosis, are recovered from the simulations, showing that the framework is physically well-founded. The model generalizes the existing approaches and proves the hydrodynamic character of osmosis, which cannot be fully described by purely thermodynamic considerations.


title: A remark on the Chow ring of Sicilian surfaces

abstract: We propose a "Bloch type" conjecture for surfaces: if the cup product map in coherent cohomology is zero, then all intersections of homologically trivial divisors should be zero in the Chow group of zero-cycles. We prove this conjecture for Sicilian surfaces.