title: Exact Combinatorial Inference for Brain Images

abstract: The permutation test is known as the exact test procedure in statistics. However, often it is not exact in practice and only an approximate method since only a small fraction of every possible permutation is generated. Even for a small sample size, it often requires to generate tens of thousands permutations, which can be a serious computational bottleneck. In this paper, we propose a novel combinatorial inference procedure that enumerates all possible permutations combinatorially without any resampling. The proposed method is validated against the standard permutation test in simulation studies with the ground truth. The method is further applied in twin DTI study in determining the genetic contribution of the minimum spanning tree of the structural brain connectivity.


title: Auto Deep Compression by Reinforcement Learning Based Actor-Critic Structure

abstract: Model-based compression is an effective, facilitating, and expanded model of neural network models with limited computing and low power. However, conventional models of compression techniques utilize crafted features [2,3,12] and explore specialized areas for exploration and design of large spaces in terms of size, speed, and accuracy, which usually have returns Less and time is up. This paper will effectively analyze deep auto compression (ADC) and reinforcement learning strength in an effective sample and space design, and improve the compression quality of the model. The results of compression of the advanced model are obtained without any human effort and in a completely automated way. With a 4- fold reduction in FLOP, the accuracy of 2.8% is higher than the manual compression model for VGG-16 in ImageNet.


title: Overview, design, and flight results from SuperBIT: a high-resolution, wide-field, visible-to-near-UV balloon-borne astronomical telescope

abstract: Balloon-borne astronomy is a unique tool that allows for a level of image stability and significantly reduced atmospheric interference without the often prohibitive cost and long development time-scale that are characteristic of space-borne facility-class instruments. The Super-pressure Balloon-borne Imaging Telescope (SuperBIT) is a wide-field imager designed to provide 0.02" image stability over a 0.5 degree field-of-view for deep exposures within the visible-to-near-UV (300-900 um). As such, SuperBIT is a suitable platform for a wide range of balloon-borne observations, including solar and extrasolar planetary spectroscopy as well as resolved stellar populations and distant galaxies. We report on the overall payload design and instrumentation methodologies for SuperBIT as well as telescope and image stability results from two test flights. Prospects for the SuperBIT project are outlined with an emphasis on the development of a fully operational, three-month science flight from New Zealand in 2020.


title: Dynamics of finite dimensional non-hermitian systems with indefinite metric

abstract: We discuss the time evolution of physical finite dimensional systems which are modelled by non-hermitian Hamiltonians. We address both general non-hermitian Hamiltonians and pseudo-hermitian ones. We apply the theory of Krein Spaces to construct metric operators and well-defined inner products. As an application, we study the stationary behaviour of dissipative One Axis Twisting Hamiltonians. We discuss the effect of decoherence under different coupling schemes.


title: On the multilevel internal structure of the asymptotic distribution of resonances

abstract: We prove that the asymptotic distribution of resonances has a multilevel internal structure for the following classes of Hamiltonians H: Schr\"odinger operators with point interactions in $\mathbb{R}^3$, quantum graphs, and 1-D photonic crystals. In the case of $N \ge 2$ point interactions, the set of resonances $\Sigma (H)$ essentially consists of a finite number of sequences with logarithmic asymptotics. We show how the leading parameters $\mu$ of these sequences are connected with the geometry of the set $Y=\{y_j\}_{j=1}^N$ of interaction centers $y_j \in \mathbb{R}^3$. The minimal parameter $\mu^{min}$ corresponds to the sequences with `more narrow' and so more observable resonances. The asymptotic density of such narrow resonances is described by the multiplicity of $\mu^{\min}$, which occurs to be connected with the symmetries of Y and naturally introduces a finite number of classes of configurations of $Y$. In the case of quantum graphs and 1-D photonic crystals, the decomposition of $\Sigma(H)$ into a finite number of asymptotic sequences is proved under additional commensurability conditions. To address the case of a general quantum graph, we introduce families of special counting and asymptotic density functions for two types of curved complex strips. The obtained results and effects are compared with those of obstacle scattering.


title: Instability in invariant theory

abstract: Transcriber's note: In the fall of 1976, my advisor, David Mumford, handed me a short preprint by George Kempf to read. It was the first state of what eventually became his influential Annals paper "Instability in Invariant Theory" (Annals of Mathematics, Second Series, Vol. 108, No. 2 (Sep., 1978), pp. 299-316). The introduction to the published version ends with an acknowledgement and a dig: "I want to thank the referee of the first version of this paper for pointing out Corollary 4-5 and conjecturing that the original {0}-instability could be replaced by S-instability. Unfortunately, the inclusion of S-instability has completely destroyed the simplicity of the original version." Over the intervening years, the simplicity and elegance of the first version has continued to create a readership for it, and copies (see Figure 8) continue to circulate informally. I created this LaTeX'ed version to make the paper accessible to all who may be interested in it, trying to keep the look close to that of the original typewritten preprint and making changes only to correct a few obvious typos and harmonize the markup. My thanks to George's children, Robin and Lucas Kempf, for graciously granting me permission to post this transcription. Comments welcome to Ian Morrison (morrison@fordham.edu)


title: Noether symmetries and boundary terms in extended Teleparallel gravity cosmology

abstract: We discuss an extended Teleparallel gravity models comprising functions of scalar invariants constructed by torsion, torsion Gauss-Bonnet and boundary terms. We adopt the Noether Symmetry Approach to select the functional forms, the first integrals and, eventually, the exact solutions of the dynamics in the context of flat Friedman-Robertson-Walker cosmology. Standard perfect fluid matter, minimally coupled to geometry, is considered. Several physically consistent models are derived with related exact solutions.


title: Automated labeling of bugs and tickets using attention-based mechanisms in recurrent neural networks

abstract: We explore solutions for automated labeling of content in bug trackers and customer support systems. In order to do that, we classify content in terms of several criteria, such as priority or product area. In the first part of the paper, we provide an overview of existing methods used for text classification. These methods fall into two categories - the ones that rely on neural networks and the ones that don't. We evaluate results of several solutions of both kinds. In the second part of the paper we present our own recurrent neural network solution based on hierarchical attention paradigm. It consists of several Hierarchical Attention network blocks with varying Gated Recurrent Unit cell sizes and a complementary shallow network that goes alongside. Lastly, we evaluate above-mentioned methods when predicting fields from two datasets - Arch Linux bug tracker and Chromium bug tracker. Our contributions include a comprehensive benchmark between a variety of methods on relevant datasets; a novel solution that outperforms previous generation methods; and two new datasets that are made public for further research.


title: Turaev bicategories, generalized Yetter-Drinfel`d modules in 2-categories and a Turaev 2-category for bimonads in 2-categories

abstract: We introduce Turaev bicategories and Turaev pseudofunctors. On the one hand, they generalize the notions of Turaev categories (and Turaev functors), introduced at the turn of the millennium and originally called "crossed group categories" by Turaev himself, and the notions of bicategories and pseudofunctors, on the other. For bimonads in 2-categories, which we defined in one of our previous papers, we introduce generalized Yetter-Drinfel`d modules in 2-categories. These generalize to the 2-categorical setting the generalized Yetter-Drinfel`d modules (over a field) of Panaite and Staic, and thus also in particular the anti Yetter-Drinfel`d modules, introduced by Hajac-Khalkhali-Rangipour-Sommerhauser as coefficients for the cyclic cohomology of Hopf algebras, defined by Connes and Moscovici. We construct Turaev 2-category for bimonads in 2-categories as a Turaev extension of the 2-category of bimonads. This Turaev 2-category generalizes the Turaev category of generalized Yetter-Drinfel`d modules of Panaite and Staic. We also prove in the 2-categorical setting their results on pairs in involution, which in turn go back to modular pairs in involution of Connes and Moscovici.


title: Automatic Classification of Defective Photovoltaic Module Cells in Electroluminescence Images

abstract: Electroluminescence (EL) imaging is a useful modality for the inspection of photovoltaic (PV) modules. EL images provide high spatial resolution, which makes it possible to detect even finest defects on the surface of PV modules. However, the analysis of EL images is typically a manual process that is expensive, time-consuming, and requires expert knowledge of many different types of defects. In this work, we investigate two approaches for automatic detection of such defects in a single image of a PV cell. The approaches differ in their hardware requirements, which are dictated by their respective application scenarios. The more hardware-efficient approach is based on hand-crafted features that are classified in a Support Vector Machine (SVM). To obtain a strong performance, we investigate and compare various processing variants. The more hardware-demanding approach uses an end-to-end deep Convolutional Neural Network (CNN) that runs on a Graphics Processing Unit (GPU). Both approaches are trained on 1,968 cells extracted from high resolution EL intensity images of mono- and polycrystalline PV modules. The CNN is more accurate, and reaches an average accuracy of 88.42%. The SVM achieves a slightly lower average accuracy of 82.44%, but can run on arbitrary hardware. Both automated approaches make continuous, highly accurate monitoring of PV cells feasible.


title: A Filter of Minhash for Image Similarity Measures

abstract: Image similarity measures play an important role in nearest neighbor search and duplicate detection for large-scale image datasets. Recently, Minwise Hashing (or Minhash) and its related hashing algorithms have achieved great performances in large-scale image retrieval systems. However, there are a large number of comparisons for image pairs in these applications, which may spend a lot of computation time and affect the performance. In order to quickly obtain the pairwise images that theirs similarities are higher than the specific threshold T (e.g., 0.5), we propose a dynamic threshold filter of Minwise Hashing for image similarity measures. It greatly reduces the calculation time by terminating the unnecessary comparisons in advance. We also find that the filter can be extended to other hashing algorithms, on when the estimator satisfies the binomial distribution, such as b-Bit Minwise Hashing, One Permutation Hashing, etc. In this pager, we use the Bag-of-Visual-Words (BoVW) model based on the Scale Invariant Feature Transform (SIFT) to represent the image features. We have proved that the filter is correct and effective through the experiment on real image datasets.


title: Optimising Parameters in Recurrence Quantification Analysis of Smart Energy Systems

abstract: Recurrence Quantification Analysis (RQA) can help to detect significant events and phase transitions of a dynamical system, but choosing a suitable set of parameters is crucial for the success. From recurrence plots different RQA variables can be obtained and analysed. Currently, most of the methods for RQA radius optimisation are focusing on a single RQA variable. In this work we are proposing two new methods for radius optimisation that look for an optimum in the higher dimensional space of the RQA variables, therefore synchronously optimising across several variables. We illustrate our approach using two case studies: a well known Lorenz dynamical system, and a time-series obtained from monitoring energy consumption of a small enterprise. Our case studies show that both methods result in plausible values and can be used to analyse energy data.


title: Odderon and proton substructure from a model-independent Levy imaging of elastic $pp$ and $p\bar p$ collisions

abstract: We describe a new and model-independent L\'evy imaging method of quality fits to the published datasets and reconstruct the amplitude of high-energy $pp$ and $p\bar p$ elastic scattering processes. This method allows us to determine the excitation function of the shadow profile $P(b)$, the elastic slope $B(t)$ and the nuclear phase $\phi(t)$ functions of $pp$ and $p\bar p$ collisions directly from the data. Surprisingly, notable qualitative differences in $B(t)$ for $pp$ and for $p\bar p$ collisions point towards an Odderon effect. As a by-product, we clearly identify the proton substructure with two different sizes at the ISR and LHC energies, that has striking similarity to a dressed quark (at the ISR) and a dressed diquark (at the LHC). We present model-independent results for the corresponding sizes and cross-sections for such a substructure for the existing data at different energies.


title: Derivation of exact flow equations from the self-consistent parquet relations

abstract: We exploit the parquet formalism to derive exact flow equations for the two-particle-reducible four-point vertices, the self-energy, and typical response functions, circumventing the reliance on higher-point vertices. This includes a concise, algebraic derivation of the multiloop flow equations, which have previously been obtained by diagrammatic considerations. Integrating the multiloop flow for a given input of the totally irreducible vertex is equivalent to solving the parquet equations with that input. Hence, one can tune systems from solvable limits to complicated situations by variation of one-particle parameters, staying at the fully self-consistent solution of the parquet equations throughout the flow. Furthermore, we use the resulting differential form of the Schwinger-Dyson equation for the self-energy to demonstrate one-particle conservation of the parquet approximation and to construct a conserving two-particle vertex via functional differentiation of the parquet self-energy. Our analysis gives a unified picture of the various many-body relations and exact renormalization group equations.


title: Bounds for Different Spreads of Line and Total Graphs

abstract: In this paper we explore some results concerning the spread of the line and the total graph of a given graph. In particular, it is proved that for an $(n,m)$ connected graph $G$ with $m > n \geq 4$ the spread of $G$ is less than or equal to the spread of its line graph, where the equality holds if and only if $G$ is regular bipartite. A sufficient condition for the spread of the graph not be greater than the signless Laplacian spread for a class of non bipartite and non regular graphs is proved. Additionally, we derive an upper bound for the spread of the line graph of graphs on $n$ vertices having a vertex (edge) connectivity less than or equal to a positive integer $k$. Combining techniques of interlacing of eigenvalues, we derive lower bounds for the Laplacian and signless Laplacian spread of the total graph of a connected graph. Moreover, for a regular graph, an upper and lower bound for the spread of its total graph is given.


title: A primal-dual interior-point method capable of rapidly detecting infeasibility for nonlinear programs

abstract: With the help of a logarithmic barrier augmented Lagrangian function, we can obtain closed-form solutions of slack variables of logarithmic-barrier problems of nonlinear programs. As a result, a two-parameter primal-dual nonlinear system is proposed, which corresponds to the Karush-Kuhn-Tucker point and the infeasible stationary point of nonlinear programs, respectively, as one of two parameters vanishes. Based on this distinctive system, we present a primal-dual interior-point method capable of rapidly detecting infeasibility of nonlinear programs. The method generates interior-point iterates without truncation of the step. It is proved that our method converges to a Karush-Kuhn-Tucker point of the original problem as the barrier parameter tends to zero. Otherwise, the scaling parameter tends to zero, and the method converges to either an infeasible stationary point or a singular stationary point of the original problem. Moreover, our method has the capability to rapidly detect the infeasibility of the problem. Under suitable conditions, not only the method can be superlinearly or quadratically convergent to the Karush-Kuhn-Tucker point as the original problem is feasible, but also it can be superlinearly or quadratically convergent to the infeasible stationary point when a problem is infeasible. Preliminary numerical results show that the method is efficient in solving some simple but hard problems and some standard test problems from the CUTE collection, where the superlinear convergence is demonstrated when we solve two infeasible problems and one well-posed feasible counterexample presented in the literature.


title: Quantifying model form uncertainty in Reynolds-averaged turbulence models with Bayesian deep neural networks

abstract: Data-driven methods for improving turbulence modeling in Reynolds-Averaged Navier-Stokes (RANS) simulations have gained significant interest in the computational fluid dynamics community. Modern machine learning algorithms have opened up a new area of black-box turbulence models allowing for the tuning of RANS simulations to increase their predictive accuracy. While several data-driven turbulence models have been reported, the quantification of the uncertainties introduced has mostly been neglected. Uncertainty quantification for such data-driven models is essential since their predictive capability rapidly declines as they are tested for flow physics that deviate from that in the training data. In this work, we propose a novel data-driven framework that not only improves RANS predictions but also provides probabilistic bounds for fluid quantities such as velocity and pressure. The uncertainties capture both model form uncertainty as well as epistemic uncertainty induced by the limited training data. An invariant Bayesian deep neural network is used to predict the anisotropic tensor component of the Reynolds stress. This model is trained using Stein variational gradient decent algorithm. The computed uncertainty on the Reynolds stress is propagated to the quantities of interest by vanilla Monte Carlo simulation. Results are presented for two test cases that differ geometrically from the training flows at several different Reynolds numbers. The prediction enhancement of the data-driven model is discussed as well as the associated probabilistic bounds for flow properties of interest. Ultimately this framework allows for a quantitative measurement of model confidence and uncertainty quantification for flows in which no high-fidelity observations or prior knowledge is available.


title: Is It Small-scale Weak Magnetic Activity That Effectively Heats the Upper Solar Atmosphere?

abstract: Solar chromosphere and coronal heating is a big question for astrophysics. Daily measurement of 985 solar spectral irradiances (SSIs) at the spectral intervals 1-39 nm and 116-2416 nm during March 1 2003 to October 28 2017 is utilized to investigate phase relation respectively with daily sunspot number, the Mount Wilson Sunspot Index, and the Magnetic Plage Strength Index. All SSIs which form in the whole heated region: the upper photosphere, chromosphere, transition region, and corona are found to be significantly more correlated to weak magnetic activity than to strong magnetic activity, and to dance in step with weak magnetic activity. All SSIs which form in the low photosphere (the unheated region), which indicate the "energy" leaked from the solar subsurface are found to be more related to strong magnetic activity instead and in anti-phase with weak magnetic activity. In the upper photosphere and chromosphere, strong magnetic activity should lead SSI by about a solar rotation, also displaying that weak magnetic activity should take effect on heating there. It is thus small-scale weak magnetic activity that effectively heats the upper solar atmosphere.


title: Predicting Concreteness and Imageability of Words Within and Across Languages via Word Embeddings

abstract: The notions of concreteness and imageability, traditionally important in psycholinguistics, are gaining significance in semantic-oriented natural language processing tasks. In this paper we investigate the predictability of these two concepts via supervised learning, using word embeddings as explanatory variables. We perform predictions both within and across languages by exploiting collections of cross-lingual embeddings aligned to a single vector space. We show that the notions of concreteness and imageability are highly predictable both within and across languages, with a moderate loss of up to 20% in correlation when predicting across languages. We further show that the cross-lingual transfer via word embeddings is more efficient than the simple transfer via bilingual dictionaries.


title: Generic torus orbit closures in Schubert varieties

abstract: The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $\Gamma_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $\Gamma_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincar\'e polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.


title: Vulnerability Analysis of Chest X-Ray Image Classification Against Adversarial Attacks

abstract: Recently, there have been several successful deep learning approaches for automatically classifying chest X-ray images into different disease categories. However, there is not yet a comprehensive vulnerability analysis of these models against the so-called adversarial perturbations/attacks, which makes deep models more trustful in clinical practices. In this paper, we extensively analyzed the performance of two state-of-the-art classification deep networks on chest X-ray images. These two networks were attacked by three different categories (ten methods in total) of adversarial methods (both white- and black-box), namely gradient-based, score-based, and decision-based attacks. Furthermore, we modified the pooling operations in the two classification networks to measure their sensitivities against different attacks, on the specific task of chest X-ray classification.


title: Super-resolution microscopy of cold atoms in an optical lattice

abstract: Super-resolution microscopy has revolutionized the fields of chemistry and biology by resolving features at the molecular level. Such techniques can be either "stochastic," gaining resolution through precise localization of point source emitters, or "deterministic," leveraging the nonlinear optical response of a sample to improve resolution. In atomic physics, deterministic methods can be applied to reveal the atomic wavefunction and to perform quantum control. Here we demonstrate super-resolution imaging based on nonlinear response of atoms to an optical pumping pulse. With this technique the atomic density distribution can be resolved with a point spread function FWHM of 32(4) nm and a localization precision below 1 nm. The short optical pumping pulse of 1.4 $\mu$s enables us to resolve fast atomic dynamics within a single lattice site. A byproduct of our scheme is the emergence of moir\'{e} patterns on the atomic cloud, which we show to be immensely magnified images of the atomic density in the lattice. Our work represents a general approach to accessing the physics of cold atoms at the nanometer scale, and can be extended to higher dimensional lattices and bulk systems for a variety of atomic and molecular species.


title: Remarks on the static potential in theories with Lorentz violation terms

abstract: We study the impact of Lorentz violating terms on a physical observable for both electrodynamics of chiral matter and an Abelian Higgs-like model in $3+1$ dimensions. Our calculation is done within the framework of the gauge-invariant, but path-dependent, variables formalism. Interestingly enough, for electrodynamics of chiral matter we obtain a logarithmic correction to the usual static Coulomb potential. Whereas for a Abelian Higgs model with a Lorentz-breaking term, our result displays new corrections to the Yukawa potential.


title: Partial Policy-based Reinforcement Learning for Anatomical Landmark Localization in 3D Medical Images

abstract: Deploying the idea of long-term cumulative return, reinforcement learning has shown remarkable performance in various fields. We propose a formulation of the landmark localization in 3D medical images as a reinforcement learning problem. Whereas value-based methods have been widely used to solve similar problems, we adopt an actor-critic based direct policy search method framed in a temporal difference learning approach. Successful behavior learning is challenging in large state and/or action spaces, requiring many trials. We introduce a partial policy-based reinforcement learning to enable solving the large problem of localization by learning the optimal policy on smaller partial domains. Independent actors efficiently learn the corresponding partial policies, each utilizing their own independent critic. The proposed policy reconstruction from the partial policies ensures a robust and efficient localization utilizing the sub-agents solving simple binary decision problems in their corresponding partial action spaces. The proposed reinforcement learning requires a small number of trials to learn the optimal behavior compared with the original behavior learning scheme.


title: The ALMA-PILS survey: first detection of methyl isocyanide (CH$_3$NC) in a solar-type protostar

abstract: Methyl isocyanide (CH$_3$NC) is the isocyanide with the largest number of atoms confirmed in the interstellar medium (ISM), but it is not an abundant molecule, having only been detected towards a handful of objects. Conversely, its isomer, methyl cyanide (CH$_3$CN), is one of the most abundant complex organic molecules detected in the ISM, with detections in a variety of low- and high-mass sources. We use ALMA observations from the Protostellar Interferometric Line Survey (PILS) to search for methyl isocyanide and compare its abundance with that of its isomer methyl cyanide. We use a new line catalogue from the Cologne Database for Molecular Spectroscopy (CDMS) to identify methyl isocyanide lines. We also model the chemistry with an updated version of the three-phase chemical kinetics model {\em MAGICKAL}, presenting the first chemical modelling of methyl isocyanide to date. We detect methyl isocyanide for the first time in a solar-type protostar, IRAS 16293$-$2422 B, and present upper limits for its companion protostar, IRAS 16293$-$2422 A. Methyl isocyanide is found to be at least 20 times more abundant in source B compared to source A, with a CH$_3$CN/CH$_3$NC abundance ratio of 200 in IRAS 16293--2422 B and >5517 in IRAS 16293$-$2422 A. We also present the results of a chemical model of methyl isocyanide chemistry in both sources, and discuss the implications on methyl isocyanide formation mechanisms and the relative evolutionary stages of both sources.


title: Model Agnostic Supervised Local Explanations

abstract: Model interpretability is an increasingly important component of practical machine learning. Some of the most common forms of interpretability systems are example-based, local, and global explanations. One of the main challenges in interpretability is designing explanation systems that can capture aspects of each of these explanation types, in order to develop a more thorough understanding of the model. We address this challenge in a novel model called MAPLE that uses local linear modeling techniques along with a dual interpretation of random forests (both as a supervised neighborhood approach and as a feature selection method). MAPLE has two fundamental advantages over existing interpretability systems. First, while it is effective as a black-box explanation system, MAPLE itself is a highly accurate predictive model that provides faithful self explanations, and thus sidesteps the typical accuracy-interpretability trade-off. Specifically, we demonstrate, on several UCI datasets, that MAPLE is at least as accurate as random forests and that it produces more faithful local explanations than LIME, a popular interpretability system. Second, MAPLE provides both example-based and local explanations and can detect global patterns, which allows it to diagnose limitations in its local explanations.


title: A Combined CNN and LSTM Model for Arabic Sentiment Analysis

abstract: Deep neural networks have shown good data modelling capabilities when dealing with challenging and large datasets from a wide range of application areas. Convolutional Neural Networks (CNNs) offer advantages in selecting good features and Long Short-Term Memory (LSTM) networks have proven good abilities of learning sequential data. Both approaches have been reported to provide improved results in areas such image processing, voice recognition, language translation and other Natural Language Processing (NLP) tasks. Sentiment classification for short text messages from Twitter is a challenging task, and the complexity increases for Arabic language sentiment classification tasks because Arabic is a rich language in morphology. In addition, the availability of accurate pre-processing tools for Arabic is another current limitation, along with limited research available in this area. In this paper, we investigate the benefits of integrating CNNs and LSTMs and report obtained improved accuracy for Arabic sentiment analysis on different datasets. Additionally, we seek to consider the morphological diversity of particular Arabic words by using different sentiment classification levels.


title: Green functions and higher Deligne--Lusztig characters

abstract: We give a generalisation of the character formula of Deligne--Lusztig representations from the finite field case to the truncated formal power series case. Motivated by this generalisation, we give a definition of Green functions for these local rings, and we prove some basic properties along the lines of the finite field case, like a summation formula. Among the applications we show that the higher Deligne--Lusztig characters and G\'erardin's characters agree at regular semisimple elements. We also derive a generalisation of Braverman and Kazhdan's result on gamma functions for Deligne--Lusztig characters, with a more elementary argument.


title: A Neural Network Lattice Decoding Algorithm

abstract: Neural network decoding algorithms are recently introduced by Nachmani et al. to decode high-density parity-check (HDPC) codes. In contrast with iterative decoding algorithms such as sum-product or min-sum algorithms in which the weight of each edge is set to $1$, in the neural network decoding algorithms, the weight of every edge depends on its impact in the transmitted codeword. In this paper, we provide a novel \emph{feed-forward neural network lattice decoding algorithm} suitable to decode lattices constructed based on Construction A, whose underlying codes have HDPC matrices. We first establish the concept of feed-forward neural network for HDPC codes and improve their decoding algorithms compared to Nachmani et al. We then apply our proposed decoder for a Construction A lattice with HDPC underlying code, for which the well-known iterative decoding algorithms show poor performances. The main advantage of our proposed algorithm is that instead of assigning and training weights for all edges, which turns out to be time-consuming especially for high-density parity-check matrices, we concentrate on edges which are present in most of $4$-cycles and removing them gives a girth-$6$ Tanner graph. This approach, by slight modifications using updated LLRs instead of initial ones, simultaneously accelerates the training process and improves the error performance of our proposed decoding algorithm.


title: Electrically programmable chiral MEMS photonics

abstract: Optical chirality is central to many industrial photonic technologies including enantiomer identification, ellipsometry-based tomography and spin multiplexing in optical communication. However, a substantial chiral response requires a typical three-dimensional (3D) constituent, thereby making the paradigm highly complex. Photonic devices integrated with microelectromechanical systems (MEMS) have shown potential for chiral light control by external stimuli, but the stimuli usually demand a destructive dosage. Here, we report a simple synthetic chiral paradigm that is electrically programmable with self-assembled 3D MEMS cantilevers. This paradigm enables four reconfigurable chiral schemes with dextrorotary, levorotary, racemic and achiral conformations. Optical response of reversible chirality and chiral to achiral switch are electrically encoded following an exclusive OR logical operation with dual-channel bias as low as 10 V. Our device demonstrates a route to electrically actuated synthetic chiral platform and serves as a powerful conformation analysis tool for macromolecules in biology, medicine, chemistry and physics. The prototype delivers a new strategy towards reconfigurable stereoselective photonic applications.


title: Tolman-like temperature gradients in stationary spacetimes

abstract: It is (or should be) well known that specification of a heat bath requires both a temperature and a 4-velocity, the rest frame of the heat bath. In static spacetimes there is a very natural and unique candidate for the 4-velocity of the heat bath, the normalized timelike Killing vector. However in stationary non-static spacetimes the situation is considerably more subtle, and several different "natural" 4-velocity fields suitable for characterizing the rest frame of a heat bath can be defined - thus Buchdahl's 1949 analysis for the Tolman temperature gradient in a stationary spacetime is only part of the story. In particular, the heat bath most suitable for describing the Hawking radiation from a rotating black hole is best described in terms of a gradient flow normal to the spacelike hypersurfaces, not in terms of Killing vectors.


title: Incorporating Brueckner-Hartree-Fock correlations in the Density Matrix Expansion approach

abstract: Recently, a microscopically motivated nuclear energy density functional was derived by applying the density matrix expansion to the Hartree-Fock (HF) energy obtained from long-range chiral effective field theory two- and three-nucleon interactions. However, the HF approach cannot account for all many-body correlations. One class of correlations is included by Brueckner-Hartree-Fock (BHF) theory, which gives an improved definition of the one-body HF potential by replacing the interaction by a reaction matrix $G$. In this paper, we find that the difference between the $G$-matrix and the nucleon-nucleon potential $V_{\mathrm{NN}}$ can be well accounted for by a truncated series of contact terms. This is consistent with renormalization group decoupling generating a series of counterterms as short-distance physics is integrated out. The coefficients $C_{n}$ of the power series expansion $\sum C_{n}q^{n}$ for the counterterms are examined for two potentials at different renormalization group resolutions and at a range of densities. The success of this expansion for $G-V_{\mathrm{NN}}$ means we can apply the density matrix expansion at the HF level with low-momentum interactions and density-dependent zero-range interactions to model BHF correlations.


title: Attention to Refine through Multi-Scales for Semantic Segmentation

abstract: This paper proposes a novel attention model for semantic segmentation, which aggregates multi-scale and context features to refine prediction. Specifically, the skeleton convolutional neural network framework takes in multiple different scales inputs, by which means the CNN can get representations in different scales. The proposed attention model will handle the features from different scale streams respectively and integrate them. Then location attention branch of the model learns to softly weight the multi-scale features at each pixel location. Moreover, we add an recalibrating branch, parallel to where location attention comes out, to recalibrate the score map per class. We achieve quite competitive results on PASCAL VOC 2012 and ADE20K datasets, which surpass baseline and related works.


title: Global Analysis of Multi-Host and Multi-Vector Epidemic Models

abstract: We formulate a multi-group and multi-vector epidemic model in which hosts' dynamics is captured by staged-progression $SEIR$ framework and the dynamics of vectors is captured by an $SI$ framework. The proposed model describes the evolution of a class of zoonotic infections where the pathogen is shared by $m$ host species and transmitted by $p$ arthropod vector species. In each host, the infectious period is structured into $n$ stages with a corresponding infectiousness parameter to each vector species. We determine the basic reproduction number $\mathcal{R}_0^2(m,n,p)$ and investigate the dynamics of the systems when this threshold is less or greater than one. We show that the dynamics of the multi-host, multi-stage, and multi-vector system is completely determined by the basic reproduction number and the structure of the host-vector network configuration. Particularly, we prove that the disease-free \mbox{equilibrium} is globally asymptotically stable (GAS) whenever $\mathcal{R}_0^2(m,n,p)<1$, and a unique strongly endemic equilibrium exists and is GAS if $\mathcal{R}_0^2(m,n,p)>1$ and the host-vector configuration is irreducible. That is, either the disease dies out or persists in all hosts and all vector species.


title: Domain2Vec: Deep Domain Generalization

abstract: We address the problem of domain generalization where a decision function is learned from the data of several related domains, and the goal is to apply it on an unseen domain successfully. It is assumed that there is plenty of labeled data available in source domains (also called as training domain), but no labeled data is available for the unseen domain (also called a target domain or test domain). We propose a novel neural network architecture, Domain2Vec (D2V) that learns domain-specific embedding and then uses this embedding to generalize the learning across related domains. The proposed algorithm, D2V extends the idea of distribution regression and kernelized domain generalization to the neural networks setting. We propose a neural network architecture to learn domain-specific embedding and then use this embedding along with the data point specific features to label it. We show the effectiveness of the architecture by accurately estimating domain to domain similarity. We evaluate our algorithm against standard domain generalization datasets for image classification and outperform other state of the art algorithms.


title: On the kinematic signature of the Galactic warp as revealed by the LAMOST-TGAS data

abstract: Using a sample of about 123,000 stars with accurate 3D velocity measurements from the LAMOST-TGAS data, we confirm the kinematic signature of the Galactic warp found by Sch\"onrich & Dehnen recently. The data reveal a clear trend of increasing mean vertical velocity $\overline{V_{z}}$ as a function of absolute vertical angular momentum $L_{z}$ and azimuthal velocity $V_{\phi}$ for guiding center radius $R_{g}$ between 6.0 and 10.5 kpc. The trend is consistent with a large-scale Galactic warp. Similar to Sch\"onrich & Dehnen, we also find a wave-like pattern of $\overline{V_{z}}$ versus $L_{z}$ with an amplitude of $\sim 0.9$ km s$^{-1}$ on a scale of $\sim 2.0$ kpc, which could arise from bending waves or a winding warp. Finally, we confirm a prominent, localized peak in $\overline{V_z}$ near $L_z \sim 2150$ kpc km s$^{-1}$ (corresponding to $R_{g} \sim 9$ kpc and $V_{\phi} \sim 255$ km s$^{-1}$). The additional line-of-sight velocity information from LAMOST reveals that stars in this feature have a large, inward radial velocity of $V_{R} \sim -13.33 \pm 0.59$ km s$^{-1}$ and a small radial velocity dispersion $\sigma_{R} \sim 25.27 \pm 0.89$ km s$^{-1}$, suggesting that a stellar stream gives rise to this feature.


title: Inferring Quality in Point Cloud-based 3D Printed Objects using Topological Data Analysis

abstract: Assessing the quality of 3D printed models before they are printed remains a challeng- ing problem, particularly when considering point cloud-based models. This paper introduces an approach to quality assessment, which uses techniques from the field of Topological Data Analy- sis (TDA) to compute a topological abstraction of the eventual printed model. Two main tools of TDA, Mapper and persistent homology, are used to analyze both the printed space and empty space created by the model. This abstraction enables investigating certain qualities of the model, with respect to print quality, and identifies potential anomalies that may appear in the final product.


title: Extension of two-dimensional mean curvature flow with free boundary

abstract: Given a mean curvature flow of compact, embedded $C^2$ surfaces satisfying Neumann free boundary condition on a mean convex, smooth support surface in 3-dimensional Euclidean space, we show that it can be extended as long as its mean curvature and perimeter stay uniformly bounded along the flow.


title: Emergence of frustration signals systemic risk

abstract: We show that the emergence of systemic risk in complex systems can be understood from the evolution of functional networks representing interactions inferred from fluctuation correlations between macroscopic observables. Specifically, we analyze the long-term collective dynamics of the New York Stock Exchange between 1926-2016, showing that periods marked by systemic crisis, viz., around the Great Depression of 1929-33 and the Great Recession of 2007-09, are associated with emergence of frustration indicated by the loss of structural balance in the interaction networks. During these periods the dominant eigenmodes characterizing the collective behavior exhibit delocalization leading to increased coherence in the dynamics. The topological structure of the networks exhibits a slowly evolving trend marked by the emergence of a prominent core-periphery organization around both of the crisis periods.


title: CSI Learning Based Active Secure Coding Scheme For Detectable Wiretap Channel

abstract: In this paper, we consider the problem of secure and reliable communication with uncertain channel state information (CSI) and present a new solution named active secure coding which combines the machine learning methods with the traditional physical layer secure coding scheme. First, we build a detectable wiretap channel model by combining the hidden Markov model with the compound wiretap channel model, in which the varying of channel block CSI is a Markov process and the detected information is a stochastic emission from the current CSI. Next, we present a CSI learning scheme to learn the CSI from the detected information by the Baum-Welch and Viterbi algorithms. Then we construct explicit secure polar codes based on the learned CSI, and combine it with the CSI learning scheme to form the active secure polar coding scheme. Simulation results show that an acceptable level of reliability and security can be achieved by the proposed active secure polar coding scheme.


title: Vehicle Image Generation Going Well with The Surroundings

abstract: Since the generative neural networks have made a breakthrough in the image generation problem, lots of researches on their applications have been studied such as image restoration, style transfer and image completion. However, there has been few research generating objects in uncontrolled real-world environments. In this paper, we propose a novel approach for vehicle image generation in real-world scenes. Using a subnetwork based on a precedent work of image completion, our model makes the shape of an object. Details of objects are trained by an additional colorization and refinement subnetwork, resulting in a better quality of generated objects. Unlike many other works, our method does not require any segmentation layout but still makes a plausible vehicle in the image. We evaluate our method by using images from Berkeley Deep Drive (BDD) and Cityscape datasets, which are widely used for object detection and image segmentation problems. The adequacy of the generated images by the proposed method has also been evaluated using a widely utilized object detection algorithm and the FID score.


title: Multi-color optical monitoring of ten blazars from 2005 to 2011

abstract: We carried out multi-color optical monitoring of a sample of ten blazars from 2005 to 2011. The sample contains 3 LBLs, 2 IBLs, 4 HBLs, and 1 FSRQ. Our monitoring focused on the long-term variability and the sample included nine BL Lac objects and one flat-spectrum radio quasar. A total number of 14799 data points were collected. This is one of the largest optical database for a sample of ten blazars. All objects showed significant variability except OT 546. Because of the low sampling on each single night, only BL Lacertae was observed to have intra-day variability on 2006 November 6. Most BL Lac objects showed a bluer-when-brighter chromatism, while the flat-spectrum radio quasar, 3C 454.3, displayed a redder-when-brighter trend. The BWB color behaviors of most BL Lacs can be at least partly interpreted by the fact of increasing variation amplitude with increasing frequency observed in these objects. The average spectral index of LBLs is around 1.5, as expected from the model dominated by Synchrotron Self-Compton (SSC) loss. The optical emission of HBL is probably contaminated by the thermal emission from the host galaxies. Correlation analysis did not reveal any time delay between variations at different wavelengths.


title: Zero-shot Domain Adaptation without Domain Semantic Descriptors

abstract: We propose a method to infer domain-specific models such as classifiers for unseen domains, from which no data are given in the training phase, without domain semantic descriptors. When training and test distributions are different, standard supervised learning methods perform poorly. Zero-shot domain adaptation attempts to alleviate this problem by inferring models that generalize well to unseen domains by using training data in multiple source domains. Existing methods use observed semantic descriptors characterizing domains such as time information to infer the domain-specific models for the unseen domains. However, it cannot always be assumed that such metadata can be used in real-world applications. The proposed method can infer appropriate domain-specific models without any semantic descriptors by introducing the concept of latent domain vectors, which are latent representations for the domains and are used for inferring the models. The latent domain vector for the unseen domain is inferred from the set of the feature vectors in the corresponding domain, which is given in the testing phase. The domain-specific models consist of two components: the first is for extracting a representation of a feature vector to be predicted, and the second is for inferring model parameters given the latent domain vector. The posterior distributions of the latent domain vectors and the domain-specific models are parametrized by neural networks, and are optimized by maximizing the variational lower bound using stochastic gradient descent. The effectiveness of the proposed method was demonstrated through experiments using one regression and two classification tasks.


title: Fractal aggregation of active particles

abstract: We study active run-and-tumble particles with an additional two-state internal variable characterizing their motile or non-motile state. Motile particles change irreversibly into non-motile ones upon collision with a non-motile particle. The system evolves towards an absorbing state where all particles are non-motile. We initialize the system with one non-motile particles in a bath of motile ones and study numerically the kinetics of relaxation to absorbing state and its structure as function of the density of the initial bath of motile particles and of their tumbling rate. We find a crossover from fractal aggregates at low density to homogeneous ones at high density. The persistence of single-particle dynamics as quantified by the tumbling rate pushes this crossover to higher density and can be used to tune the porosity of the aggregate. At the lowest density the fractal dimension of the aggregate approaches that obtained in single-particle diffusion limited aggregation. Our results could be exploited for the design of structures of desired porosity. The model is a first step towards the study of the collective dynamics of active particles that can exchange biological information.


title: Step-by-step Erasion, One-by-one Collection: A Weakly Supervised Temporal Action Detector

abstract: Weakly supervised temporal action detection is a Herculean task in understanding untrimmed videos, since no supervisory signal except the video-level category label is available on training data. Under the supervision of category labels, weakly supervised detectors are usually built upon classifiers. However, there is an inherent contradiction between classifier and detector; i.e., a classifier in pursuit of high classification performance prefers top-level discriminative video clips that are extremely fragmentary, whereas a detector is obliged to discover the whole action instance without missing any relevant snippet. To reconcile this contradiction, we train a detector by driving a series of classifiers to find new actionness clips progressively, via step-by-step erasion from a complete video. During the test phase, all we need to do is to collect detection results from the one-by-one trained classifiers at various erasing steps. To assist in the collection process, a fully connected conditional random field is established to refine the temporal localization outputs. We evaluate our approach on two prevailing datasets, THUMOS'14 and ActivityNet. The experiments show that our detector advances state-of-the-art weakly supervised temporal action detection results, and even compares with quite a few strongly supervised methods.


title: Computing the statistical significance of optimized communities in networks

abstract: It is often of interest to find communities in network data for unsupervised learning, feature discovery, anomaly detection, or scientific study. The vast majority of community detection methods proceed via optimization of a quality function, which is possible even on random networks without communities. Therefore there is usually not an easy way to tell if a community is "significant", in this context meaning more internally connected than would be expected under a random graph model without communities. This paper generalizes existing null models for this purpose to bipartite graphs, and introduces a new significance scoring algorithm called Fast Optimized Community Significance (FOCS) that is highly scalable and agnostic to the type of graph. Furthermore, compared with existing methods on unipartite graphs, FOCS is more numerically stable and better balances the trade-off between detection power and false positives.


title: Optimal Trajectory-Planning of UAVs via B-Splines and Disjunctive Programming

abstract: This paper investigates an efficient algorithm for trajectory planning problem of autonomous unmanned aerial vehicles which fly over three-dimensional terrains. The proposed algorithm combines convex optimization with disjunctive programming and receding horizon concept, which has many advantages, such as a high computational speed. Disjunctive programming is applied in order to relax the non-convex constraints of the problem. Moreover, the B-spline curves are employed to represent the trajectories which should be generated in the optimization process.


title: Long-time existence for multi-dimensional periodic water waves

abstract: We prove an extended lifespan result for the full gravity-capillary water waves system with a $2$ dimensional periodic interface: for initial data of sufficiently small size $\varepsilon$, smooth solutions exist up to times of the order of $\varepsilon^{-5/3+}$, for almost all values of the gravity and surface tension parameters. Besides the quasilinear nature of the equations, the main difficulty is to handle the weak small divisors bounds for quadratic and cubic interactions, growing with the size of the largest frequency. To overcome this difficulty we use (1) the (Hamiltonian) structure of the equations which gives additional smoothing close to the resonant hypersurfaces, (2) another structural property, connected to time-reversibility, that allows us to handle "trivial" cubic resonances, (3) sharp small divisors lower bounds on three and four-waves modulation functions based on counting arguments, and (4) partial normal form transformations and symmetrization arguments in the Fourier space. Our theorem appears to be the first extended lifespan result for quasilinear equations with non-trivial resonances on a multi-dimensional torus.


title: Personalized Difficulty Adjustment for Countering the Double-Spending Attack in Proof-of-Work Consensus Protocols

abstract: Bitcoin is the first secure decentralized electronic currency system. However, it is known to be inefficient due to its proof-of-work (PoW) consensus algorithm and has the potential hazard of double spending. In this paper, we aim to reduce the probability of double spending by decreasing the probability of consecutive winning. We first formalize a PoW-based decentralized secure network model in order to present a quantitative analysis. Next, to resolve the risk of double spending, we propose the personalized difficulty adjustment (PDA) mechanism which modifies the difficulty of each participant such that those who win more blocks in the past few rounds have a smaller probability to win in the next round. To analyze the performance of the PDA mechanism, we observe that the system can be modeled by a high-order Markov chain. Finally, we show that PDA effectively decreases the probability of consecutive winning and results in a more trustworthy PoW-based system.


title: Rapid mechanical squeezing with pulsed optomechanics

abstract: Mesoscopic mechanical oscillators can be prepared in quantum states and coherently manipulated using the optomechanical interaction. This has recently been used to prepare squeezed mechanical states. However, the scheme used in these experiments relies on slow, dissipative evolution that destroys the system's memory of its initial state. In this paper we propose a protocol based on a sequence of four pulsed optomechanical interactions. In addition to being coherent, our scheme executes in a time much shorter than a mechanical period. We analyse applications in impulsive force sensing and preservation of continuous-variable quantum information.


title: Toward Demand-Aware Networking: A Theory for Self-Adjusting Networks

abstract: The physical topology is emerging as the next frontier in an ongoing effort to render communication networks more flexible. While first empirical results indicate that these flexibilities can be exploited to reconfigure and optimize the network toward the workload it serves and, e.g., providing the same bandwidth at lower infrastructure cost, only little is known today about the fundamental algorithmic problems underlying the design of reconfigurable networks. This paper initiates the study of the theory of demand-aware, self-adjusting networks. Our main position is that self-adjusting networks should be seen through the lense of self-adjusting datastructures. Accordingly, we present a taxonomy classifying the different algorithmic models of demand-oblivious, fixed demand-aware, and reconfigurable demand-aware networks, introduce a formal model, and identify objectives and evaluation metrics. We also demonstrate, by examples, the inherent advantage of demand-aware networks over state-of-the-art demand-oblivious, fixed networks (such as expanders).


title: Replacing measurement feedback with coherent feedback for quantum state preparation

abstract: Measurement feedback is a versatile and powerful tool, although its performance is limited by several practical imperfections resulting from classical components. This paper shows that, for some typical quantum feedback control problems for state preparation (stabilization of a qubit or a qutrit, spin squeezing, and Fock state generation), the classical feedback operation can be replaced by a fully quantum one such that the state autonomously dissipates into the target or a state close to the target. The main common feature of the proposed quantum operation, which is called coherent feedback, is that it is composed of a series of dispersive and dissipative couplings inspired by the corresponding measurement feedback scheme.


title: Stabilization of the Fulde-Ferrell-Larkin-Ovchinnikov State by Tuning In-plane Magnetic-Field Direction: Application to a Quasi-One-Dimensional Organic Superconductor

abstract: The Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state in quasi-one-dimensional systems with warped Fermi surfaces is examined in strong parallel magnetic fields. It is shown that the state is extremely stable for field directions around nontrivial optimum directions, at which the upper critical field exhibits cusps, and that the stabilization is due to a Fermi-surface effect analogous to the nesting effect for the spin density wave and charge density wave. Interestingly, the behavior with cusps is analogous to that in a square lattice system in which the hole density is controlled. For the organic superconductor (TMTSF)_2ClO_4, when the hopping parameters obtained by previous authors based on X-ray crystallography results are assumed, the optimum directions are in quadrants consistent with the previous experimental observations. Furthermore, near this set of parameters, we also find sets of hopping parameters that more precisely reproduce the observed optimum in-plane field directions. These results are consistent with the hypothesis that the FFLO state is realized in the organic superconductor.


title: Cosmic Voids in Evolving Dark Sector Cosmologies: the High Redshift Universe

abstract: We compare the evolution of voids formed under the standard cosmological model and two alternative cosmological models. The two models are a quintessence model ($\phi$CDM) and a Coupled Dark Matter-Dark Energy (CDE) model, both of which have evolving and interacting dark sectors. From $N$-body adiabatic hydrodynamical simulations of these models, we measure the statistics and quantify the properties of voids over the redshift range $z=1.5-12$: these include their population size, volumes, shapes and average densities. We find that the latter property has potential as a probe of cosmology, particularly dark energy, as significant differences in average void densities exist between the alternative models and the standard model. We postulate that this signature arises from an increased evacuation rate of particles out of voids, or an earlier start to void evacuation, in the alternative models as a direct consequence of the dynamical scalar field, which also leads to greater void merger rates. Additionally, differences between the two alternative models are likely due to the drag force arising from dark sector coupling, acting on dark matter particles in our coupled model.


title: PARN: Pyramidal Affine Regression Networks for Dense Semantic Correspondence

abstract: This paper presents a deep architecture for dense semantic correspondence, called pyramidal affine regression networks (PARN), that estimates locally-varying affine transformation fields across images. To deal with intra-class appearance and shape variations that commonly exist among different instances within the same object category, we leverage a pyramidal model where affine transformation fields are progressively estimated in a coarse-to-fine manner so that the smoothness constraint is naturally imposed within deep networks. PARN estimates residual affine transformations at each level and composes them to estimate final affine transformations. Furthermore, to overcome the limitations of insufficient training data for semantic correspondence, we propose a novel weakly-supervised training scheme that generates progressive supervisions by leveraging a correspondence consistency across image pairs. Our method is fully learnable in an end-to-end manner and does not require quantizing infinite continuous affine transformation fields. To the best of our knowledge, it is the first work that attempts to estimate dense affine transformation fields in a coarse-to-fine manner within deep networks. Experimental results demonstrate that PARN outperforms the state-of-the-art methods for dense semantic correspondence on various benchmarks.


title: Quantum multiplexing

abstract: Distributing entangled pairs is a fundamental operation required for many quantum information science and technology tasks. In a general entanglement distribution scheme, a photonic pulse is used to entangle a pair of remote quantum memories. Most applications require multiple entangled pairs between remote users, which in turn necessitates several photonic pulses (single photons) being sent through the channel connecting those users. Here we present an entanglement distribution scheme using only a single photonic pulse to entangle an arbitrary number of remote quantum memories. As a consequence the spatial temporal resources are dramatically reduced. We show how this approach can be simultaneously combined with an entanglement purification protocol to generate even higher fidelity entangled pairs. The combined approach is faster to generate those high quality pairs and requires less resources in terms of both matter qubits and photons consumed. To estimate the efficiency of our scheme we derive a normalized rate taking into account the raw rate at which the users can generate purified entangled pairs divided by the total resources used. We compare the efficiency of our system with the Deutsch protocol in which the entangled pairs have been created in a traditional way. Our scheme outperforms this approach both in terms of generation rate and resources required. Finally we show how our approach can be extended to more general error correction and detection schemes with higher normalized generation rates naturally occurring.


title: Multi-Scale Coarse-to-Fine Segmentation for Screening Pancreatic Ductal Adenocarcinoma

abstract: We propose an intuitive approach of detecting pancreatic ductal adenocarcinoma (PDAC), the most common type of pancreatic cancer, by checking abdominal CT scans. Our idea is named multi-scale segmentation-for-classification, which classifies volumes by checking if at least a sufficient number of voxels is segmented as tumors, by which we can provide radiologists with tumor locations. In order to deal with tumors with different scales, we train and test our volumetric segmentation networks with multi-scale inputs in a coarse-to-fine flowchart. A post-processing module is used to filter out outliers and reduce false alarms. We collect a new dataset containing 439 CT scans, in which 136 cases were diagnosed with PDAC and 303 cases are normal, which is the largest set for PDAC tumors to the best of our knowledge. To offer the best trade-off between sensitivity and specificity, our proposed framework reports a sensitivity of 94.1% at a specificity of 98.5%, which demonstrates the potential to make a clinical impact.


title: Thermal Operations Involving a Single-mode Bosonic Bath

abstract: We study the limitations on coherence evolutions under the constraints of thermodynamic laws, and focus on the optimal thermal operations (TO) reaching the bounds. For qubit case, we find a thermal operation involving only a single-mode reservoir (STO) which maintains the maximum coherence allowed by general TO. For higher dimensions, we derive general bounds on coherence merging under TO, and find STO to reach the bounds. By applying the bound to a two-qubit system, we prove that erasing correlations while preserving the marginal states is not free in the resource theory of thermodynamics. Due to the simple structure of STO and its strong ability in coherence processing, our results shed light on both theoretical and experimental studies in the field of thermodynamics for small quantum systems.


title: Enhancing Optical Readout from Diamond AFM Tips for Quantum Nanosensing

abstract: Color centers in diamond are promising candidates for quantum nanosensing applications. The efficient collection of the optical signal is the key to achieving high sensitivity and resolution, but it is limited by the collection optics. Embedding the color centers in diamond microstructures can help to enhance the collection efficiency, but often require challenging fabrication and integration. Here we investigate the photoluminescence (PL) of silicon-vacancy (SiV) centers in commercially available atomic force microscope (AFM) diamond pyramid (DP) tips. We find that the DP geometry efficiently channels PL emitted at the DP apex towards the base, where we experimentally demonstrate an enhanced PL collection of up to 8 times higher compared to other directions. Our experimental observations are in good agreement with numerical simulations using a finite-difference time-domain (FDTD) method. Our results indicate that AFM tips could be an economical, efficient and straightforward way of implementing color-center-based nanosensing as they provide enhanced sensitivity and easy integration with existing AFM platforms.


title: A short proof for tc(K) = 4

abstract: We show a method to determine topological complexity from the fibrewise view point, which provides an alternative proof for tc(K) = 4, where K denotes Klein bottle.


title: Lambert-W solves the noncommutative $\Phi^4$-model

abstract: The closed Dyson-Schwinger equation for the 2-point function of the noncommutative $\lambda \phi^4_2$-model is rearranged into the boundary value problem for a sectionally holomorphic function in two variables. We prove an exact formula for a solution in terms of Lambert's $W$-function. This solution is holomorphic in $\lambda$ inside a domain which contains $(-1/\log 4,\infty)$. Our methods include the Hilbert transform, perturbation series and Lagrange-B\"urmann resummation.


title: Evidence for Primal sp2 Defects at the Diamond Surface: Candidates for Electron Trapping and Noise Sources

abstract: Diamond materials are central to an increasing range of advanced technological demonstrations, from high power electronics, to nano-scale quantum bio-imaging with unprecedented sensitivity. However, the full exploitation of diamond for these applications is often limited by the uncontrolled nature of the diamond material surface, which suffers from Fermi-level pinning and hosts a significant density of electro-magnetic noise sources. These issues occur despite the oxide-free and air-stable nature of the diamond crystal surface, which should be an ideal candidate for functionalization and chemical-engineering. In this work we reveal a family of previously unidentified and near-ubiquitous primal surface defects which we assign to differently reconstructed surface vacancies. The density of these defects is quantified with X-ray absorption spectroscopy, their energy structures are elucidated by ab initio calculations, and their effect on near-surface quantum probes is measured directly. Subsequent ab-initio calculation of band-bending from these defects suggest they are the source of Fermi-level pinning at most diamond surfaces. Finally, an investigation is conducted on a broad range of post-growth surface treatments and concludes that none of them can reproducibly reduce this defect density below the Fermi-pinning threshold, making this defect a prime candidate as the source for decoherence-limiting noise in near-surface quantum probes.


title: Human Activity Recognition in RGB-D Videos by Dynamic Images

abstract: Human Activity Recognition in RGB-D videos has been an active research topic during the last decade. However, no efforts have been found in the literature, for recognizing human activity in RGB-D videos where several performers are performing simultaneously. In this paper we introduce such a challenging dataset with several performers performing the activities. We present a novel method for recognizing human activities in such videos. The proposed method aims in capturing the motion information of the whole video by producing a dynamic image corresponding to the input video. We use two parallel ResNext-101 to produce the dynamic images for the RGB video and depth video separately. The dynamic images contain only the motion information and hence, the unnecessary background information are eliminated. We send the two dynamic images extracted from the RGB and Depth videos respectively, through a fully connected layer of neural networks. The proposed dynamic image reduces the complexity of the recognition process by extracting a sparse matrix from a video. However, the proposed system maintains the required motion information for recognizing the activity. The proposed method has been tested on the MSR Action 3D dataset and has shown comparable performances with respect to the state-of-the-art. We also apply the proposed method on our own dataset, where the proposed method outperforms the state-of-the-art approaches.


title: van der Waals hadron resonance gas and QCD phase diagram

abstract: Taking into account the recently developed van der Waals (VDW) like equation of state (EoS) for grand canonical ensemble of fermions, the temperature dependent profiles of normalized entropy density ($s /T^3$) and the ratio of shear viscosity and entropy density ($\eta/ s$) for hadron resonance gas have been evaluated. The VDW parameters, corresponding to interactions between (anti)baryons, have been obtained by contrasting lattice EoS for QCD matter at finite chemical potentials ($\mu_{B}$) and for $T \le$ 160 MeV. The temperature and chemical potential dependent study of $s /T^3$ and $\eta /s$ for hadron gas, by signalling onsets of first order phase transition and crossover in the hadronic phase of QCD matter, helps in understanding the QCD phase diagram in the ($T, \mu_{B}$) - plane. An estimation of probable location of critical point matches predictions from other recent studies.


title: Topological states in the Kronig-Penney model with arbitrary scattering potentials

abstract: We use an exact solution to the fundamental finite Kronig-Penney model with arbitrary positions and strengths of scattering sites to show that this iconic model can possess topologically non-trivial properties. By using free parameters of the system as extra dimensions we demonstrate the appearance of topologically protected edge states as well as the emergence of a Hofstadter butterfly-like quasimomentum spectrum, even in the case of small numbers of scattering sites. We investigate the behaviour of the system in the weak and strong scattering regimes and observe drastically different shapes of the quasimomentum spectrum.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Relativistic Measurement Backaction in the Quantum Dirac Oscillator

abstract: An elegant method to circumvent quantum measurement backaction is the use of quantum mechanics free subsystems (QMFS), with one approach involving the use of two oscillators with effective masses of opposite signs. Since negative energies, and hence masses, are a characteristic of relativistic systems a natural question is to what extent QMFS can be realized in this context. Using the example of a one-dimensional Dirac oscillator we investigate conditions under which this can be achieved, and identify Zitterbewegung or virtual pair creation as the physical mechanism that fundamentally limits the feasibility of the scheme. We propose a tabletop implementation of a Dirac oscillator system based on a spin-orbit coupled ultracold atomic sample that allows for a direct observation of the corresponding analog of virtual pair creation on quantum measurement backaction.


title: Flow Network Tracking for Spatiotemporal and Periodic Point Matching: Applied to Cardiac Motion Analysis

abstract: The accurate quantification of left ventricular (LV) deformation/strain shows significant promise for quantitatively assessing cardiac function for use in diagnosis and therapy planning (Jasaityte et al., 2013). However, accurate estimation of the displacement of myocardial tissue and hence LV strain has been challenging due to a variety of issues, including those related to deriving tracking tokens from images and following tissue locations over the entire cardiac cycle. In this work, we propose a point matching scheme where correspondences are modeled as flow through a graphical network. Myocardial surface points are set up as nodes in the network and edges define neighborhood relationships temporally. The novelty lies in the constraints that are imposed on the matching scheme, which render the correspondences one-to-one through the entire cardiac cycle, and not just two consecutive frames. The constraints also encourage motion to be cyclic, which is an important characteristic of LV motion. We validate our method by applying it to the estimation of quantitative LV displacement and strain estimation using 8 synthetic and 8 open-chested canine 4D echocardiographic image sequences, the latter with sonomicrometric crystals implanted on the LV wall. We were able to achieve excellent tracking accuracy on the synthetic dataset and observed a good correlation with crystal-based strains on the in-vivo data.


title: Shocked POststarburst Galaxy Survey. III. The Ultraviolet Properties of SPOGs

abstract: The Shocked POststarburst Galaxy Survey (SPOGS) aims to identify galaxies in the transitional phase between actively star-forming and quiescence with nebular lines that are excited from shocks rather than star formation processes. We explored the ultraviolet (UV) properties of objects with near-ultraviolet (NUV) and far-ultraviolet (FUV) photometry from archival GALEX data; 444 objects were detected in both bands, 365 in only NUV, and 24 in only FUV, for a total of 833 observed objects. We compared SPOGs to samples of Star-forming galaxies (SFs), Quiescent galaxies (Qs), classical E+A post-starburst galaxies, active galactic nuclei (AGN) host galaxies, and interacting galaxies. We found that SPOGs have a larger range in their FUV-NUV and NUV-r colors compared to most of the other samples, although all of our comparison samples occupied color space inside of the SPOGs region. Based on their UV colors, SPOGs are a heterogeneous group, possibly made up of a mixture of SFs, Qs, and/or AGN. Using Gaussian mixture models, we are able to recreate the distribution of FUV-NUV colors of SPOGs and E+A galaxies with different combinations of SFs, Qs, and AGN. We find that the UV colors of SPOGs require a >60% contribution from SFs, with either Qs or AGN representing the remaining contribution, while UV colors of E+A galaxies required a significantly lower fraction of SFs, supporting the idea that SPOGs are at an earlier point in their transition from quiescent to star-forming than E+A galaxies.


title: RACK: Automatic API Recommendation using Crowdsourced Knowledge

abstract: Traditional code search engines often do not perform well with natural language queries since they mostly apply keyword matching. These engines thus need carefully designed queries containing information about programming APIs for code search. Unfortunately, existing studies suggest that preparing an effective code search query is both challenging and time consuming for the developers. In this paper, we propose a novel API recommendation technique--RACK that recommends a list of relevant APIs for a natural language query for code search by exploiting keyword-API associations from the crowdsourced knowledge of Stack Overflow. We first motivate our technique using an exploratory study with 11 core Java packages and 344K Java posts from Stack Overflow. Experiments using 150 code search queries randomly chosen from three Java tutorial sites show that our technique recommends correct API classes within the top 10 results for about 79% of the queries which is highly promising. Comparison with two variants of the state-of-the-art technique also shows that RACK outperforms both of them not only in Top-K accuracy but also in mean average precision and mean recall by a large margin.


title: Interpretable Machine Learning Study of Many-Body Localization Transition in Disordered Quantum Ising Spin Chains

abstract: We apply support vector machine (SVM) to study the phase transition between many-body localized and thermal phases in a disordered quantum Ising chain in a transverse external field. The many-body eigenstate energy $E$ is bounded by a bandwidth $W=E_{max}-E_{min}$. The transition takes place on a phase diagram spanned by the energy density $\epsilon=2(E-E_{min})/W$ and the disorder strength $\delta J$ of the spin interaction uniformly distributed within $[-\delta J, \delta J]$, formally parallel to the mobility edge in Anderson localization. In our study we use the labeled probability density of eigenstate wavefunctions belonging to the deeply localized and thermal regimes at two different energy densities ($\epsilon$'s) as the training set, i.e., providing labeled data at four corners of the phase diagram. Then we employ the trained SVM to predict the whole phase diagram. The obtained phase boundary qualitatively agrees with previous work using entanglement entropy to characterize these two phases. We further analyze the decision function of the SVM to interpret its physical meaning and find that it is analogous to the inverse participation ratio in configuration space. Our findings demonstrate the ability of the SVM to capture potential quantities that may characterize the many-body localization phase transition.


title: The irrationality measure of $\pi$ as seen through the eyes of $\cos(n)$

abstract: For different values of $\gamma \geq 0$, analysis of the end behavior of the sequence $a_n = \cos (n)^{n^\gamma}$ yields a strong connection to the irrationality measure of $\pi$. We show that if $\limsup |\cos n|^{n^2} \neq 1$, then the irrationality measure of $\pi$ is exactly 2. We also give some numerical evidence to support the conjecture that $\mu(\pi)=2$, based on the appearance of some startling subsequences of $\cos(n)^n$.


title: Positive Solutions for Nonlinear Elliptic Equations Depending on a Parameter with Dirichlet Boundary Conditions

abstract: We prove new results on the existence of positive radial solutions of the elliptic equation $-\Delta u= \lambda h(|x|,u)$ in an annular domain in $\mathbb{R}^{N}, N\geq 2$. Existence of positive radial solutions are determined under the conditions that the nonlinearity function $h(t,u)$ is either superlinear or sublinear growth in $u$ or satisfies some upper and lower inequalities on $h$. Our discussion is based on a fixed point theorem due to a revised version of a fixed point theorem of Gustafson and Schmitt.


title: Scaling-Up Reasoning and Advanced Analytics on BigData

abstract: BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see how this realizes the ambitious goal pursued by deductive database researchers beginning forty years ago: this is the goal of combining the rigor and power of logic in expressing queries and reasoning with the performance and scalability by which relational databases managed Big Data. This goal led to Datalog which is based on Horn Clauses like Prolog but employs implementation techniques, such as Semi-naive Fixpoint and Magic Sets, that extend the bottom-up computation model of relational systems, and thus obtain the performance and scalability that relational systems had achieved, as far back as the 80s, using data-parallelization on shared-nothing architectures. But this goal proved difficult to achieve because of major issues at (i) the language level and (ii) at the system level. The paper describes how (i) was addressed by simple rules under which the fixpoint semantics extends to programs using count, sum and extrema in recursion, and (ii) was tamed by parallel compilation techniques that achieve scalability on multicore systems and Apache Spark. This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).


title: A High-Resolution Future Wave Climate Projection for the Coastal Northwestern Atlantic

abstract: A high-resolution wave climate projection for the northwestern Atlantic Ocean has been conducted to help assess possible regional impacts due to global climate change. The spectral wave model NOAA WAVEWATCH III is utilized with three coupled (two-way) grids to resolve the northwestern Atlantic and coastal southern and eastern USA at approximately 21 km and 7 km respectively, and covers the periods 1979--2003 (historic) and 2075--2099 (future). Hourly wind field forcings are provided by a high-resolution AGCM (MRI-AGCM 3.2S; 21 km) and allow for better modeling of large storm events (important for extreme event statistics). Climatological (25-year) comparisons between future and historical periods indicate significant wave heights will decrease in the northwestern Atlantic Ocean (-5.7 %) and Gulf of Mexico (-4.7 %) but increase in the Caribbean Sea (2.4 %). Comparisons also indicate that large changes in mean wave direction will occur in the Gulf of Mexico (5.0{\deg}), with the largest occurring west of the Florida peninsula (over 15{\deg}).


title: A primal-dual interior-point relaxation method for nonlinear programs

abstract: We prove that the classic logarithmic barrier problem is equivalent to a particular logarithmic barrier positive relaxation problem with barrier and scaling parameters. Based on the equivalence, a line-search primal-dual interior-point relaxation method for nonlinear programs is presented. Our method does not require any primal or dual iterates to be interior-points, which is prominently different from the existing interior-point methods in the literature. A new logarithmic barrier penalty function dependent on both primal and dual variables is used to prompt the global convergence of the method, where the penalty parameter is updated adaptively. Without assuming any regularity condition, it is proved that our method will terminate at an approximate KKT point of the original problem provided the barrier parameter tends zero. Otherwise, either an approximate infeasible stationary point or an approximate singular stationary point of the original problem will be found. Some preliminary numerical results are reported, including the results for a well-posed problem for which many line-search interior-point methods were demonstrated not to be globally convergent, a feasible problem for which the LICQ and the MFCQ fail to hold at the solution and an infeasible problem, and for some standard test problems of the CUTE collection. These results show that our algorithm is not only efficient for well-posed feasible problems, but also is applicable for some ill-posed feasible problems and some even infeasible problems.


title: Outer solar system possibly shaped by a stellar fly-by

abstract: The planets of our solar system formed from a gas-dust disk. However, there are some properties of the solar system that are peculiar in this context. First, the cumulative mass of all objects beyond Neptune (TNOs) is only a fraction of what one would expect. Second, unlike the planets themselves, the TNOs do not orbit on coplanar, circular orbits around the Sun, but move mostly on inclined, eccentric orbits and are distributed in a complex way. This implies that some process restructured the outer solar system after its formation. However, some of TNOs, referred to as Sednoids, move outside the zone of influence of the planets. Thus external forces must have played an important part in the restructuring of the outer solar system. The study presented here shows that a close fly-by of a neighbouring star can simultaneously lead to the observed lower mass density outside 30 AU and excite the TNOs onto eccentric, inclined orbits, including the family of Sednoids. In the past it was estimated that such close fly-bys are rare during the relevant development stage. However, our numerical simulations show that such a scenario is much more likely than previously anticipated. A fly-by also naturally explains the puzzling fact that Neptune has a higher mass than Uranus. Our simulations suggest that many additional Sednoids at high inclinations still await discovery, perhaps including bodies like the postulated planet X.


title: High-harmonic generation from few layer hexagonal boron nitride: evolution from the monolayer to the bulk response

abstract: Two-dimensional materials offer a versatile platform to study high-harmonic generation (HHG), encompassing as limiting cases bulk-like and atomic-like harmonic generation [Tancogne-Dejean and Rubio, Science Advance \textbf{4}, eaao5207 (2018)]. Understanding the high-harmonic response of few-layer semiconducting systems is important, and might open up possible technological applications. Using extensive first-principle calculations within a time-dependent density functional theory framework, we show how the in-plane and out-of-plane nonlinear non-perturbative response of two-dimensional materials evolve from the monolayer to the bulk. We illustrate this phenomenon for the case of multilayer hexagonal BN layered systems. Whereas the in-plane HHG is found not to be strongly altered by the stacking of the layers, we found that the out-of-plane response is strongly affected by the number of layers considered. This is explained by the interplay between the induced electric field by electron-electron interactions and the interlayer delocalization of the wave-functions contributing most to the HHG signal. The gliding of a bilayer is also found to affect the high-harmonic emission. Our results will have important ramifications for the experimental study of monolayer and few-layer two-dimensional materials beyond the case of hexagonal BN studied here as the result we found arew generic and applicable to all 2D semiconducting multilayer systems.


title: Learning to Index for Nearest Neighbor Search

abstract: In this study, we present a novel ranking model based on learning neighborhood relationships embedded in the index space. Given a query point, conventional approximate nearest neighbor search calculates the distances to the cluster centroids, before ranking the clusters from near to far based on the distances. The data indexed in the top-ranked clusters are retrieved and treated as the nearest neighbor candidates for the query. However, the loss of quantization between the data and cluster centroids will inevitably harm the search accuracy. To address this problem, the proposed model ranks clusters based on their nearest neighbor probabilities rather than the query-centroid distances. The nearest neighbor probabilities are estimated by employing neural networks to characterize the neighborhood relationships, i.e., the density function of nearest neighbors with respect to the query. The proposed probability-based ranking can replace the conventional distance-based ranking for finding candidate clusters, and the predicted probability can be used to determine the data quantity to be retrieved from the candidate cluster. Our experimental results demonstrated that the proposed ranking model could boost the search performance effectively in billion-scale datasets.


title: Jointly learning relevant subgraph patterns and nonlinear models of their indicators

abstract: Classification and regression in which the inputs are graphs of arbitrary size and shape have been paid attention in various fields such as computational chemistry and bioinformatics. Subgraph indicators are often used as the most fundamental features, but the number of possible subgraph patterns are intractably large due to the combinatorial explosion. We propose a novel efficient algorithm to jointly learn relevant subgraph patterns and nonlinear models of their indicators. Previous methods for such joint learning of subgraph features and models are based on search for single best subgraph features with specific pruning and boosting procedures of adding their indicators one by one, which result in linear models of subgraph indicators. In contrast, the proposed approach is based on directly learning regression trees for graph inputs using a newly derived bound of the total sum of squares for data partitions by a given subgraph feature, and thus can learn nonlinear models through standard gradient boosting. An illustrative example we call the Graph-XOR problem to consider nonlinearity, numerical experiments with real datasets, and scalability comparisons to naive approaches using explicit pattern enumeration are also presented.


title: QUICKAR: Automatic Query Reformulation for Concept Location using Crowdsourced Knowledge

abstract: During maintenance, software developers deal with numerous change requests made by the users of a software system. Studies show that the developers find it challenging to select appropriate search terms from a change request during concept location. In this paper, we propose a novel technique--QUICKAR--that automatically suggests helpful reformulations for a given query by leveraging the crowdsourced knowledge from Stack Overflow. It determines semantic similarity or relevance between any two terms by analyzing their adjacent word lists from the programming questions of Stack Overflow, and then suggests semantically relevant queries for concept location. Experiments using 510 queries from two software systems suggest that our technique can improve or preserve the quality of 76% of the initial queries on average which is promising. Comparison with one baseline technique validates our preliminary findings, and also demonstrates the potential of our technique.


title: CORRECT: Code Reviewer Recommendation in GitHub Based on Cross-Project and Technology Experience

abstract: Peer code review locates common coding rule violations and simple logical errors in the early phases of software development, and thus reduces overall cost. However, in GitHub, identifying an appropriate code reviewer for a pull request is a non-trivial task given that reliable information for reviewer identification is often not readily available. In this paper, we propose a code reviewer recommendation technique that considers not only the relevant cross-project work history (e.g., external library experience) but also the experience of a developer in certain specialized technologies associated with a pull request for determining her expertise as a potential code reviewer. We first motivate our technique using an exploratory study with 10 commercial projects and 10 associated libraries external to those projects. Experiments using 17,115 pull requests from 10 commercial projects and six open source projects show that our technique provides 85%--92% recommendation accuracy, about 86% precision and 79%--81% recall in code reviewer recommendation, which are highly promising. Comparison with the state-of-the-art technique also validates the empirical findings and the superiority of our recommendation technique.


title: Under- and over-independence in measure preserving systems

abstract: We introduce the notions of over- and under-independence for weakly mixing and (free) ergodic measure preserving actions and establish new results which complement and extend the theorems obtained in [BoFW] and [A]. Here is a sample of results obtained in this paper: $\cdot$ (Existence of density-1 UI and OI set) Let $(X,\mathcal{B},\mu,T)$ be an invertible probability measure preserving weakly mixing system. Then for any $d\in\mathbb{N}$, any non-constant integer-valued polynomials $p_{1},p_{2},\dots,p_{d}$ such that $p_{i}-p_{j}$ are also non-constant for all $i\neq j$, (i) there is $A\in\mathcal{B}$ such that the set $$\{n\in\mathbb{N}\colon\mu(A\cap T^{p_{1}(n)}A\cap\dots\cap T^{p_{d}(n)}A)<\mu(A)^{d+1}\}$$ is of density 1. (ii) there is $A\in\mathcal{B}$ such that the set $$\{n\in\mathbb{N}\colon\mu(A\cap T^{p_{1}(n)}A\cap\dots\cap T^{p_{d}(n)}A)>\mu(A)^{d+1}\}$$ is of density 1. $\cdot$ (Existence of Ces\`aro OI set) Let $(X,\mathcal{B},\mu,T)$ be a free, invertible, ergodic probability measure preserving system and $M\in\mathbb{N}$. %Suppose that $X$ contains an ergodic component which is aperiodic. Then there is $A\in\mathcal{B}$ such that $$\frac{1}{N}\sum_{n=M}^{N+M-1}\mu(A\cap T^{n}A)>\mu(A)^{2}$$ for all $N\in\mathbb{N}$. $\cdot$ (Nonexistence of Ces\`aro UI set) Let $(X,\mathcal{B},\mu,T)$ be an invertible probability measure preserving system. For any measurable set $A$ satisfying $\mu(A) \in (0,1)$, there exist infinitely many $N \in \mathbb{N}$ such that $$\frac{1}{N} \sum_{n=0}^{N-1} \mu ( A \cap T^{n}A) > \mu(A)^2.$$


title: Asymptotic behavior of Nambu-Bethe-Salpeter wave functions for scalar systems with a bound state

abstract: We study the asymptotic behaviors of the Nambu-Bethe-Salpeter (NBS) wave functions, which are important for the HAL QCD potential method to extract hadron interactions, in the case that a bound state exists in the system. We consider the complex scalar particles, two of which lead to the formation of a bound state. In the case of the two-body system, we show that the NBS wave functions for the bound state as well as scattering states in the asymptotic region behave like the wave functions in quantum mechanics, which carry the information of the binding energy as well as the scattering phase shift. This analysis theoretically establishes under some conditions that the HAL QCD potential can correctly reproduce not only the scattering phase shift but also the binding energy. As an extension of the analysis, we also study the asymptotic behaviors of all possible NBS wave functions in the case of the three-body systems, two of which can form a bound states.


title: USINE: semi-analytical models for Galactic cosmic-ray propagation

abstract: I present the first public releases (v3.4 and v3.5) of the USINE code for cosmic-ray propagation in the Galaxy (https://lpsc.in2p3.fr/usine). It contains several semi-analytical propagation models previously used in the literature (leaky-box model, 2-zone 1D and 2D diffusion models) for the calculation of nuclei ($Z=1-30$), anti-protons, and anti-deuterons. For minimisations, the geometry, transport, and source parameters of all models can be enabled as free parameters, whereas nuisance parameters are enabled on solar modulation levels, cross sections (inelastic and production), and systematics of the CR data. With a single ASCII initialisation file to configure runs, its many displays, and the speed associated to semi-analytical approaches, USINE should be a useful tool for beginners, but also for experts to perform statistical analyses of high-precision cosmic-ray data.


title: Metric currents and the Poincar\'e inequality

abstract: We show that a complete doubling metric space $(X,d,\mu)$ supports a weak $1$-Poincar\'e inequality if and only if it admits a pencil of curves (PC) joining any pair of points $s,t \in X$. This notion was introduced by S. Semmes in the 90's, and has been previously known to be a sufficient condition for the weak $1$-Poincar\'e inequality. Our argument passes through the intermediate notion of a generalised pencil of curves (GPC). A GPC joining $s$ and $t$ is a normal $1$-current $T$, in the sense of Ambrosio and Kirchheim, with boundary $\partial T = \delta_{t} - \delta_{s}$, support contained in a ball of radius $\sim d(s,t)$ around $\{s,t\}$, and satisfying $\|T\| \ll \mu$, with $$\frac{d\|T\|}{d\mu}(y) \lesssim \frac{d(s,y)}{\mu(B(s,d(s,y)))} + \frac{d(t,y)}{\mu(B(y,d(t,y)))}.$$ We show that the $1$-Poincar\'e inequality implies the existence of GPCs joining any pair of points in $X$. Then, we deduce the existence of PCs from a recent decomposition result for normal $1$-currents due to Paolini and Stepanov.