title: Affine Sessions

abstract: Session types describe the structure of communications implemented by channels. In particular, they prescribe the sequence of communications, whether they are input or output actions, and the type of value exchanged. Crucial to any language with session types is the notion of linearity, which is essential to ensure that channels exhibit the behaviour prescribed by their type without interference in the presence of concurrency. In this work we relax the condition of linearity to that of affinity, by which channels exhibit at most the behaviour prescribed by their types. This more liberal setting allows us to incorporate an elegant error handling mechanism which simplifies and improves related works on exceptions. Moreover, our treatment does not affect the progress properties of the language: sessions never get stuck.


title: Sentiment analysis for Arabic language: A brief survey of approaches and techniques

abstract: With the emergence of Web 2.0 technology and the expansion of on-line social networks, current Internet users have the ability to add their reviews, ratings and opinions on social media and on commercial and news web sites. Sentiment analysis aims to classify these reviews reviews in an automatic way. In the literature, there are numerous approaches proposed for automatic sentiment analysis for different language contexts. Each language has its own properties that makes the sentiment analysis more challenging. In this regard, this work presents a comprehensive survey of existing Arabic sentiment analysis studies, and covers the various approaches and techniques proposed in the literature. Moreover, we highlight the main difficulties and challenges of Arabic sentiment analysis, and the proposed techniques in literature to overcome these barriers.


title: Periodic Solutions of Hilbert's Fourth Problem

abstract: It is shown that a possibly irreversible $C^2$ Finsler metric on the torus, or on any other compact Euclidean space form, whose geodesics are straight lines is the sum of a flat metric and a closed $1$-form. This is used to prove that if $(M,g)$ is a compact Riemannian symmetric space of rank greater than one and $F$ is a {\sl reversible} $C^2$ Finsler metric on $M$ whose unparametrized geodesics coincide with those of $g$, then $(M,F)$ is a Finsler symmetric space.


title: On a nonlinear neutral stochastic functional integro-differential equation driven by fractional Brownian motion

abstract: In this paper, we study the existence and uniqueness of mild solution for a stochastic neutral partial functional integro-differential equation with delay in a Hilbert space driven by a fractional Brownian motion and with non-deterministic diffusion coefficient. We suppose that the linear part has a resolvent operator. We also establish a sufficient condition for the existence of the density of a function of the solution. An example is provided to illustrate the results of this work


title: Compensation Behavior and Magnetic Properties of a Core/Shell Double Fullerene Structure

abstract: In This work, we apply the Monte Carlo simulations to study the magnetic properties and compensation behavior of a core/shell double fullerene structure X_60 where the symbol X can be assigned to any magnetic atom. We focus our study on a system formed by a double sphere forming a core-shell. The two spheres are containing the spins: S=1/2 in the core; and {\sigma}=1 in the shell, respectively. In a first step, we investigate and discuss the corresponding ground state phase diagrams in different planes. Also, we illustrated the behavior of the magnetizations and the effect of the coupling exchange interactions as well as the crystal field. The effect of the external magnetic field, and the exchange coupling interactions on the hysteresis loops have been inspected. To complete this study, we showed the existence of the compensation temperature for the studied system.


title: Structure-Preserving Transformation: Generating Diverse and Transferable Adversarial Examples

abstract: Adversarial examples are perturbed inputs designed to fool machine learning models. Most recent works on adversarial examples for image classification focus on directly modifying pixels with minor perturbations. A common requirement in all these works is that the malicious perturbations should be small enough (measured by an L_p norm for some p) so that they are imperceptible to humans. However, small perturbations can be unnecessarily restrictive and limit the diversity of adversarial examples generated. Further, an L_p norm based distance metric ignores important structure patterns hidden in images that are important to human perception. Consequently, even the minor perturbation introduced in recent works often makes the adversarial examples less natural to humans. More importantly, they often do not transfer well and are therefore less effective when attacking black-box models especially for those protected by a defense mechanism. In this paper, we propose a structure-preserving transformation (SPT) for generating natural and diverse adversarial examples with extremely high transferability. The key idea of our approach is to allow perceptible deviation in adversarial examples while keeping structure patterns that are central to a human classifier. Empirical results on the MNIST and the fashion-MNIST datasets show that adversarial examples generated by our approach can easily bypass strong adversarial training. Further, they transfer well to other target models with no loss or little loss of successful attack rate.


title: Two components of donor-acceptor recombination in compensated semiconductors. Analytical model of spectra in presence of electrostatic fluctuations

abstract: We report numerical and analytical studies of the donor-acceptor recombination in compensated semiconductors. Our calculations take into account random electric fields of charged impurities which are important in non zero compensation case. We show that the donor-acceptor optical spectrum can be described as a sum of two components: monomolecular and bimolecular. In the low compensation limit we develop two analytical models for both types of the recombination. Also our numerical simulation predicts that these two components of the photoluminescence spectra can be resolved under certain experimental conditions.


title: Augmenting the Gauge-Gravity Correspondence to include Hadron Polarizabilities

abstract: ADS/CFT models have achieved considerable success in describing hadronic properties such as masses and Regge trajectories. Even if the minimal vertex that couples photons to structureless spin-zero fields is used, one still ends up with electromagnetic form factors of hadrons that are in fair to good agreement with experiment. However, contradicting both experiment and intuition, this minimal model gives zero for hadronic electric and magnetic polarizabilities. We show here that if effective vertices are used, and axial and vector mesons are allowed to propagate as intermediate states, then the static polarizabilities can in principle be computed from ADS/CFT.


title: Can a Suit of Armor Conduct Electricity? A New Dataset for Open Book Question Answering

abstract: We present a new kind of question answering dataset, OpenBookQA, modeled after open book exams for assessing human understanding of a subject. The open book that comes with our questions is a set of 1329 elementary level science facts. Roughly 6000 questions probe an understanding of these facts and their application to novel situations. This requires combining an open book fact (e.g., metals conduct electricity) with broad common knowledge (e.g., a suit of armor is made of metal) obtained from other sources. While existing QA datasets over documents or knowledge bases, being generally self-contained, focus on linguistic understanding, OpenBookQA probes a deeper understanding of both the topic---in the context of common knowledge---and the language it is expressed in. Human performance on OpenBookQA is close to 92%, but many state-of-the-art pre-trained QA methods perform surprisingly poorly, worse than several simple neural baselines we develop. Our oracle experiments designed to circumvent the knowledge retrieval bottleneck demonstrate the value of both the open book and additional facts. We leave it as a challenge to solve the retrieval problem in this multi-hop setting and to close the large gap to human performance.


title: The Lower The Simpler: Simplifying Hierarchical Recurrent Models

abstract: To improve the training efficiency of hierarchical recurrent models without compromising their performance, we propose a strategy named as `the lower the simpler', which is to simplify the baseline models by making the lower layers simpler than the upper layers. We carry out this strategy to simplify two typical hierarchical recurrent models, namely Hierarchical Recurrent Encoder-Decoder (HRED) and R-NET, whose basic building block is GRU. Specifically, we propose Scalar Gated Unit (SGU), which is a simplified variant of GRU, and use it to replace the GRUs at the middle layers of HRED and R-NET. Besides, we also use Fixed-size Ordinally-Forgetting Encoding (FOFE), which is an efficient encoding method without any trainable parameter, to replace the GRUs at the bottom layers of HRED and R-NET. The experimental results show that the simplified HRED and the simplified R-NET contain significantly less trainable parameters, consume significantly less training time, and achieve slightly better performance than their baseline models.


title: Adversarial Learning for Image Forensics Deep Matching with Atrous Convolution

abstract: Constrained image splicing detection and localization (CISDL) is a newly proposed challenging task for image forensics, which investigates two input suspected images and identifies whether one image has suspected regions pasted from the other. In this paper, we propose a novel adversarial learning framework to train the deep matching network for CISDL. Our framework mainly consists of three building blocks: 1) the deep matching network based on atrous convolution (DMAC) aims to generate two high-quality candidate masks which indicate the suspected regions of the two input images, 2) the detection network is designed to rectify inconsistencies between the two corresponding candidate masks, 3) the discriminative network drives the DMAC network to produce masks that are hard to distinguish from ground-truth ones. In DMAC, atrous convolution is adopted to extract features with rich spatial information, the correlation layer based on the skip architecture is proposed to capture hierarchical features, and atrous spatial pyramid pooling is constructed to localize tampered regions at multiple scales. The detection network and the discriminative network act as the losses with auxiliary parameters to supervise the training of DMAC in an adversarial way. Extensive experiments, conducted on 21 generated testing sets and two public datasets, demonstrate the effectiveness of the proposed framework and the superior performance of DMAC.


title: Fully-Functional Suffix Trees and Optimal Text Searching in BWT-runs Bounded Space

abstract: Indexing highly repetitive texts - such as genomic databases, software repositories and versioned text collections - has become an important problem since the turn of the millennium. A relevant compressibility measure for repetitive texts is r, the number of runs in their Burrows-Wheeler Transforms (BWTs). One of the earliest indexes for repetitive collections, the Run-Length FM-index, used O(r) space and was able to efficiently count the number of occurrences of a pattern of length m in the text (in loglogarithmic time per pattern symbol, with current techniques). However, it was unable to locate the positions of those occurrences efficiently within a space bounded in terms of r. In this paper we close this long-standing problem, showing how to extend the Run-Length FM-index so that it can locate the occ occurrences efficiently within O(r) space (in loglogarithmic time each), and reaching optimal time, O(m + occ), within O(r log log w ({\sigma} + n/r)) space, for a text of length n over an alphabet of size {\sigma} on a RAM machine with words of w = {\Omega}(log n) bits. Within that space, our index can also count in optimal time, O(m). Multiplying the space by O(w/ log {\sigma}), we support count and locate in O(dm log({\sigma})/we) and O(dm log({\sigma})/we + occ) time, which is optimal in the packed setting and had not been obtained before in compressed space. We also describe a structure using O(r log(n/r)) space that replaces the text and extracts any text substring of length ` in almost-optimal time O(log(n/r) + ` log({\sigma})/w). Within that space, we similarly provide direct access to suffix array, inverse suffix array, and longest common prefix array cells, and extend these capabilities to full suffix tree functionality, typically in O(log(n/r)) time per operation.


title: Quantum Coherent Multielectron Processes in an Atomic Scale Contact

abstract: The light emission from a scanning tunneling microscope operated on a Ag(111) surface at 6 K is analyzed from low conductances to values approaching the conductance quantum. Optical spectra recorded at a sample voltages V reveal emission with photon energies hv> 2eV. A model of electrons interacting coherently via a localized plasmon-polariton mode reproduces the experimental data, in particular the kinks in the spectra at eV and 2eV as well as the scaling of the intensity at low and intermediate conductances.


title: Explicit Contextual Semantics for Text Comprehension

abstract: Who did what to whom is a major focus in natural language understanding, which is right the aim of semantic role labeling (SRL) task. Despite of sharing a lot of processing characteristics and even task purpose, it is surprisingly that jointly considering these two related tasks was never formally reported in previous work. Thus this paper makes the first attempt to let SRL enhance text comprehension and inference through specifying verbal predicates and their corresponding semantic roles. In terms of deep learning models, our embeddings are enhanced by explicit contextual semantic role labels for more fine-grained semantics. We show that the salient labels can be conveniently added to existing models and significantly improve deep learning models in challenging text comprehension tasks. Extensive experiments on benchmark machine reading comprehension and inference datasets verify that the proposed semantic learning helps our system reach new state-of-the-art over strong baselines which have been enhanced by well pretrained language models from the latest progress.


title: Weighted Besov and Triebel--Lizorkin spaces associated to operators

abstract: Let $X$ be a space of homogeneous type and $L$ be a nonnegative self-adjoint operator on $L^2(X)$ satisfying Gaussian upper bounds on its heat kernels. In this paper we develop the theory of weighted Besov spaces $\dot{B}^{\alpha,L}_{p,q,w}(X)$ and weighted Triebel--Lizorkin spaces $\dot{F}^{\alpha,L}_{p,q,w}(X)$ associated to the operator $L$ for the full range $0<p,q\le \infty$, $\alpha\in \mathbb R$ and $w$ being in the Muckenhoupt weight class $A_\infty$. Similarly to the classical case in the Euclidean setting, we prove that our new spaces satisfy important features such as continuous charaterizations in terms of square functions, atomic decompositions and the identifications with some well known function spaces such as Hardy type spaces and Sobolev type spaces. Moreover, with extra assumptions on the operator $L$, we prove that the new function spaces associated to $L$ coincide with the classical function spaces. Finally we apply our results to prove the boundedness of the fractional power of $L$ and the spectral multiplier of $L$ in our new function spaces.


title: Attentive Semantic Role Labeling with Boundary Indicator

abstract: The goal of semantic role labeling (SRL) is to discover the predicate-argument structure of a sentence, which plays a critical role in deep processing of natural language. This paper introduces simple yet effective auxiliary tags for dependency-based SRL to enhance a syntax-agnostic model with multi-hop self-attention. Our syntax-agnostic model achieves competitive performance with state-of-the-art models on the CoNLL-2009 benchmarks both for English and Chinese.


title: Fast Gradient Attack on Network Embedding

abstract: Network embedding maps a network into a low-dimensional Euclidean space, and thus facilitate many network analysis tasks, such as node classification, link prediction and community detection etc, by utilizing machine learning methods. In social networks, we may pay special attention to user privacy, and would like to prevent some target nodes from being identified by such network analysis methods in certain cases. Inspired by successful adversarial attack on deep learning models, we propose a framework to generate adversarial networks based on the gradient information in Graph Convolutional Network (GCN). In particular, we extract the gradient of pairwise nodes based on the adversarial network, and select the pair of nodes with maximum absolute gradient to realize the Fast Gradient Attack (FGA) and update the adversarial network. This process is implemented iteratively and terminated until certain condition is satisfied, i.e., the number of modified links reaches certain predefined value. Comprehensive attacks, including unlimited attack, direct attack and indirect attack, are performed on six well-known network embedding methods. The experiments on real-world networks suggest that our proposed FGA behaves better than some baseline methods, i.e., the network embedding can be easily disturbed using FGA by only rewiring few links, achieving state-of-the-art attack performance.


title: Idempotent states on Sekine quantum groups

abstract: Sekine quantum groups are a family of finite quantum groups. The main result of this paper is to compute all the idempotent states on Sekine quantum groups, which completes the work of Franz and Skalski. This is achieved by solving a complicated system of equations using linear algebra and basic number theory. From this we discover a new class of non-Haar idempotent states. The order structure of the idempotent states on Sekine quantum groups is also discussed. Finally we give a sufficient condition for the convolution powers of states on Sekine quantum group to converge.


title: A note on the edge partition of graphs containing either a light edge or an alternating 2-cycle

abstract: Let $\mathcal{G}_{\alpha}$ be a hereditary graph class (i.e, every subgraph of $G_{\alpha}\in \mathcal{G}_{\alpha}$ belongs to $\mathcal{G}_{\alpha}$) such that every graph $G_{\alpha}$ in $\mathcal{G}_{\alpha}$ has minimum degree at most 1, or contains either an edge $uv$ such that $d_{G_{\alpha}}(u)+d_{G_{\alpha}}(v)\leq \alpha$ or a 2-alternating cycle. It is proved that every graph in $\mathcal{G}_{\alpha}$ ($\alpha\geq 5$) with maximum degree $\Delta$ can be edge-partitioned into two forests $F_1$, $F_2$ and a subgraph $H$ such that $\Delta(F_i)\leq \max\{2,\lceil\frac{\Delta-\alpha+6}{2}\rceil\}$ for $i=1,2$ and $\Delta(H)\leq \alpha-5$.


title: Examples of exponentially many collisions in a hard ball system

abstract: Consider the system of $n$ identical hard balls in $\mathbb R^3$ moving freely and colliding elastically. We show that there exist initial conditions such that the number of collisions is exponential in $n$.


title: Metagroups and their smashed twisted wreath products

abstract: In this article nonassociative metagroups are studied. Different types of smashed products and smashed twisted wreath products are scrutinized. Extensions of central metagroups are studied.


title: Video Smoke Detection Based on Deep Saliency Network

abstract: Video smoke detection is a promising fire detection method especially in open or large spaces and outdoor environments. Traditional video smoke detection methods usually consist of candidate region extraction and classification, but lack powerful characterization for smoke. In this paper, we propose a novel video smoke detection method based on deep saliency network. Visual saliency detection aims to highlight the most important object regions in an image. The pixel-level and object-level salient convolutional neural networks are combined to extract the informative smoke saliency map. An end-to-end framework for salient smoke detection and existence prediction of smoke is proposed for application in video smoke detection. The deep feature map is combined with the saliency map to predict the existence of smoke in an image. Initial and augmented dataset are built to measure the performance of frameworks with different design strategies. Qualitative and quantitative analysis at frame-level and pixel-level demonstrate the excellent performance of the ultimate framework.


title: Determinstic and stochastic 2d Navier-Stokes equations with anisotropic viscosity

abstract: In this paper, we investigate both deterministic and stochastic 2D Navier Stokes equations with anisotropic viscosity. For the deterministic case, we prove the global well-posedness of the system with initial data in the anisotropic Sobolev space $\tilde{H}^{0,1}.$ For the stochastic case, we obtain existence of the martingale solutions and pathwise uniqueness of the solutions, which imply existence of the probabilistically strong solution to this system by the Yamada-Watanabe Theorem.


title: Handling Concept Drift via Model Reuse

abstract: In many real-world applications, data are often collected in the form of stream, and thus the distribution usually changes in nature, which is referred as concept drift in literature. We propose a novel and effective approach to handle concept drift via model reuse, leveraging previous knowledge by reusing models. Each model is associated with a weight representing its reusability towards current data, and the weight is adaptively adjusted according to the model performance. We provide generalization and regret analysis. Experimental results also validate the superiority of our approach on both synthetic and real-world datasets.


title: Faithful Multimodal Explanation for Visual Question Answering

abstract: AI systems' ability to explain their reasoning is critical to their utility and trustworthiness. Deep neural networks have enabled significant progress on many challenging problems such as visual question answering (VQA). However, most of them are opaque black boxes with limited explanatory capability. This paper presents a novel approach to developing a high-performing VQA system that can elucidate its answers with integrated textual and visual explanations that faithfully reflect important aspects of its underlying reasoning while capturing the style of comprehensible human explanations. Extensive experimental evaluation demonstrates the advantages of this approach compared to competing methods with both automatic evaluation metrics and human evaluation metrics.


title: Growth and Raman spectroscopy of thickness-controlled rotationally faulted multilayer graphene

abstract: We report the growth of thickness-controlled rotationally faulted multilayer graphene (rf-MLG) on Ni foils by low-pressure chemical vapor deposition and their characterization by micro-Raman spectroscopy. The surface morphology and thickness were investigated by scanning electron microscope, X-ray diffraction, and transmittance measurements. These results have revealed that the thickness of rf-MLG can be effectively controlled by the thickness of the Ni foil rather than the flow rate of CH$_4$, H$_2$, Ar. In the Raman spectroscopy measurements, we observed most Raman peaks of the graphitic materials. Raman spectra can be categorized into four patterns and show systematic behaviors. Especially, the in-plane (~1880 cm$^{-1}$, ~2035 cm$^{-1}$) and out-of-plane (~1750 cm$^{-1}$) modes are successfully analyzed to explain the dimensionality of rf-MLG as in the twisted (or rotated) bilayer graphene. In addition, it is found that the two peaks at ~1230 cm$^{-1}$ and ~2220 cm$^{-1}$ well reflect the properties of the in-plane mode. The peak intensities of the above four in-plane modes are proportional to that of 2D band, indicating that they share the common Raman resonance process.


title: The Birkhoff Diamond as Double Agent

abstract: Despite the existence of a proof of the 4-color theorem, it would seem that there is still more to learn about why any planar graph is 4-colorable. To that end, we take another look at the Birkhoff diamond and discover something new and intriguing: after an extensive search for (rare) Kempe-locked triangulations, we find a Birkhoff diamond subgraph in each one. We offer a heuristic argument as to why that result is not only reasonable but also to be expected and posit that the presence of a Birkhoff diamond is necessary to Kempe-locking. If that conjecture is true, it means that the Birkhoff diamond plays a double role in the matter of 4-colorability, simultaneously working for opposite sides of whether a given planar graph could possibly be a minimum counterexample.


title: Mathematical models of collective dynamics and self-organization

abstract: In this paper, we begin by reviewing a certain number of mathematical challenges posed by the modelling of collective dynamics and self-organization. Then, we focus on two specific problems, first, the derivation of fluid equations from particle dynamics of collective motion and second, the study of phase transitions and the stability of the associated equilibria.


title: A conjecture on permutation trinomials over finite fields of characteristic two

abstract: In this paper, by analyzing the quadratic factors of an $11$-th degree polynomial over the finite field $\ftwon$, a conjecture on permutation trinomials over $\ftwon[x]$ proposed very recently by Deng and Zheng is settled, where $n=2m$ and $m$ is a positive integer with $\gcd(m,5)=1$.


title: Symplectic involutions of $K3^{[n]}$ type and Kummer $n$ type manifolds

abstract: In this paper we describe the fixed locus of a symplectic involution on a hyperk\"ahler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of lower dimensions and isolated fixed points.


title: Multi-label Classification of User Reactions in Online News

abstract: The increase in the number of Internet users and the strong interaction brought by Web 2.0 made the Opinion Mining an important task in the area of natural language processing. Although several methods are capable of performing this task, few use multi-label classification, where there is a group of true labels for each example. This type of classification is useful for situations where the opinions are analyzed from the perspective of the reader, this happens because each person can have different interpretations and opinions on the same subject. This paper discuss the efficiency of problem transformation methods combined with different classification algorithms for the task of multi-label classification of reactions in news texts. To do that, extensive tests were carried out on two news corpora written in Brazilian Portuguese annotated with reactions. A new corpus called BFRC-PT is presented. In the tests performed, the highest number of correct predictions was obtained with the Classifier Chains method combined with the Random Forest algorithm. When considering the class distribution, the best results were obtained with the Binary Relevance method combined with the LSTM and Random Forest algorithms.


title: Functional imaging of ganglion and receptor cells in living human retina by osmotic contrast

abstract: Imaging neuronal activity non-invasively in vivo is of tremendous interest, but current imaging techniques lack either functional contrast or necessary microscopic resolution. The retina is the only part of the central nervous system (CNS) that allows us direct optical access. Not only ophthalmic diseases, but also many degenerative disorders of the CNS go along with pathological changes in the retina. Consequently, functional analysis of retinal neurons could lead to an earlier and better diagnosis and understanding of those diseases. Recently, we showed that an activation of photoreceptor cells could be visualized in humans using a phase sensitive evaluation of optical coherence tomography data. The optical path length of the outer segments changes by a few hundred nanometers in response to optical stimulation. Here, we show simultaneous imaging of the activation of photoreceptor and ganglion cells. The signals from the ganglion cells are ten-fold smaller than those from the photoreceptor cells and were only visible using new algorithms for suppressing motion artifacts. This allowed us to generate a wiring diagram showing functional connections between photoreceptors and ganglion cells. We present a theoretical model that explains the observed intrinsic optical signals by osmotic volume changes, induced by ion influx or efflux. Since all neuronal activity is associated with ion fluxes, imaging osmotic induced size changes with nanometer precision should visualize activation in any neuron.


title: A comparison study on the growth pattern of traffic oscillations in car-following experiments

abstract: The evolution of oscillations is a very important issue in traffic flow studies. A recent car-following experiment (Experiment-I) showed that the speed standard deviation grows in a concave way along a platoon of vehicles following one another. This finding indicates that the traditional traffic instability mechanism is debatable, in which the speed standard deviation initially grows in a convex way. This paper has investigated the growth pattern of traffic oscillations in another car-following experiment (Experiment-II) and compared it with that in Experiment-I. It is shown that the speed standard deviation also exhibits concave growth characteristics in Experiment-II. The paired-sample t-test and the Mann-Kendall (MK) trend test showed that there is no significant difference between the two datasets. However, the acceleration standard deviation was remarkably larger in Experiment-II since drivers were asked to follow closely. Furthermore, a comparison experiment has been performed which indicates that the set of experiments on a circular track can be considered equivalent to that on a straight track. Our study is expected to shed light not only on traffic flow dynamics itself but also on the future design of the experiment scheme.


title: SOTorrent: Studying the Origin, Evolution, and Usage of Stack Overflow Code Snippets

abstract: Stack Overflow (SO) is the most popular question-and-answer website for software developers, providing a large amount of copyable code snippets. Like other software artifacts, code on SO evolves over time, for example when bugs are fixed or APIs are updated to the most recent version. To be able to analyze how code and the surrounding text on SO evolves, we built SOTorrent, an open dataset based on the official SO data dump. SOTorrent provides access to the version history of SO content at the level of whole posts and individual text and code blocks. It connects code snippets from SO posts to other platforms by aggregating URLs from surrounding text blocks and comments, and by collecting references from GitHub files to SO posts. Our vision is that researchers will use SOTorrent to investigate and understand the evolution and maintenance of code on SO and its relation to other platforms such as GitHub.


title: Silting objects

abstract: We give an overview of recent developments in silting theory. After an introduction on torsion pairs in triangulated categories, we discuss and compare different notions of silting and explain the interplay with t-structures and co-t-structures. We then focus on silting and cosilting objects in a triangulated category with coproducts and study the case of the unbounded derived category of a ring. We close the survey with some classification results over commutative noetherian rings and silting-discrete algebras.


title: Performance of reconstruction and identification of $\tau$ leptons decaying to hadrons and $\nu_\tau$ in pp collisions at $\sqrt{s}=$ 13 TeV

abstract: The algorithm developed by the CMS Collaboration to reconstruct and identify $\tau$ leptons produced in proton-proton collisions at $\sqrt{s}=$ 7 and 8 TeV, via their decays to hadrons and a neutrino, has been significantly improved. The changes include a revised reconstruction of $\pi^0$ candidates, and improvements in multivariate discriminants to separate $\tau$ leptons from jets and electrons. The algorithm is extended to reconstruct $\tau$ leptons in highly Lorentz-boosted pair production, and in the high-level trigger. The performance of the algorithm is studied using proton-proton collisions recorded during 2016 at $\sqrt{s}=$ 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The performance is evaluated in terms of the efficiency for a genuine $\tau$ lepton to pass the identification criteria and of the probabilities for jets, electrons, and muons to be misidentified as $\tau$ leptons. The results are found to be very close to those expected from Monte Carlo simulation.


title: Flavor violation in chromo- and electromagnetic dipole moments induced by $Z^\prime$ gauge bosons and a brief revisit of the Standard Model

abstract: The electromagnetic dipole moments of the tau lepton and the chromoelectromagnetic dipole moments of the top quark are estimated via flavor-changing neutral currents, mediated by a new neutral massive gauge boson. We predict them in the context of models beyond the Standard Model with extended current sectors, in which simple analytic expressions for the dipole moments are presented. For the different $Z^\prime$ gauge boson considered, the best prediction for the magnetic dipole moment of the tau lepton, $|a_\tau|$, is of the order of $10^{-8}$, while the highest value for the electric one, $|d_\tau|$, corresponds to $10^{-24}$ $e\,$cm; our main result for the chromomagnetic dipole moment of the top quark, $|\hat{\mu}_t|$, is $10^{-6}$, and the value for the chromoelectric one, $|d_t|$, can be as high as $10^{-22}$ $e\,$cm. We compare our results, revisiting the corresponding Standard Model predictions, in which the chromomagnetic dipole moment of the top quark is carefully evaluated, finding explicit imaginary contributions.


title: Nullstellens\"atze and Applications

abstract: In this expository paper, we present simple proofs of the Classical, Real, Projective and Combinatorial Nullstellens\"atze. Several applications are also presented such as a classical theorem of Stickelberger for solutions of polynomial equations in terms of eigenvalues of commuting operators, construction of a principal ideal domain which is not Euclidean, Hilbert's $17^{th}$ problem, the Borsuk-Ulam theorem in topology and solutions of the conjectures of Dyson, Erd\"{o}s and Heilbronn.


title: Photonic emulation of two-dimensional materials with antiferromagnetic order

abstract: We introduce an electromagnetic metamaterial - a spin-valley photonic topological insulator (SV-PTI) - that emulates a wide class of theoretically predicted gapped two-dimensional materials with antiferromagnetic order coupled to the valley degree of freedom. First-principles electromagnetic simulations and an analytic model reveal that a single parameter controls the propagation properties of the chiral states at the domain wall between two SV-PTIs: their group velocity, polarization, and the existence/absence of topological protection. The latter is determined by the geometry of the line of the least frequency separation between the bandgap-forming propagation bands. Topologically-protected compression of electromagnetic energy via group velocity control is enabled by SV-PTIs.


title: Mixing conditions of conjugate processes

abstract: We give sufficient conditions ensuring that a $\psi$-mixing property holds for the sequence of empirical CDFs associated to a conjugate process.


title: Primes In Fractional Sequences

abstract: The results for the fractional sequence $\left \{[x/n]+1:n \leq x\right \}$, and the fractional sequence in arithmetic progression $\left \{q[x/n]+a:n \leq x\right \}$, where $a<q$ are integers such that $\gcd(a,q)=1$, prove that these sequences of fractional numbers contain the set of primes, and the set primes in arithmetic progressions as $x \to \infty$ respectively. Furthermore, the corresponding error terms for these sequences are improved. Other results considered are the fractional sequences of integers such as the sequence $\left \{[x/n]^2+1:n \leq x\right \}$ generated by the quadratic polynomial $n^2+1$, and the sequence $\left \{[x/n]^3+2:n \leq x\right \}$ generated by the cubic polynomial $n^3+2$. It is shown that each of these sequences of fractional numbers contains infinitely many primes as $x \to \infty$.


title: Thermopower of Graphene Nanoribbons in the Pseudodiffusive Regime

abstract: Thermoelectric measurements for graphene ribbons are currently performed on samples that include atomic disorder via defects and irregular edges. In this work, we investigate the thermopower or Seebeck coefficient of graphene ribbons within the linear response theory and the Landauer formalism, and we consider the diffusive regime taken as a limit of the ribbon aspect ratio. We find that the thermopower and the electronic conductivity depend not only on the aspect ratio, but also on chemical potential and temperature, which are set here as key parameters. The obtained numerical results with temperature and doping are brought into contact with the thermoelectric measurements on disordered graphene ribbons with good agreement.


title: Extracting and Analyzing Semantic Relatedness between Cities Using News Articles

abstract: News articles capture a variety of topics about our society. They reflect not only the socioeconomic activities that happened in our physical world, but also some of the cultures, human interests, and public concerns that exist only in the perceptions of people. Cities are frequently mentioned in news articles, and two or more cities may co-occur in the same article. Such co-occurrence often suggests certain relatedness between the mentioned cities, and the relatedness may be under different topics depending on the contents of the news articles. We consider the relatedness under different topics as semantic relatedness. By reading news articles, one can grasp the general semantic relatedness between cities, yet, given hundreds of thousands of news articles, it is very difficult, if not impossible, for anyone to manually read them. This paper proposes a computational framework which can "read" a large number of news articles and extract the semantic relatedness between cities. This framework is based on a natural language processing model and employs a machine learning process to identify the main topics of news articles. We describe the overall structure of this framework and its individual modules, and then apply it to an experimental dataset with more than 500,000 news articles covering the top 100 U.S. cities spanning a 10-year period. We perform exploratory visualization of the extracted semantic relatedness under different topics and over multiple years. We also analyze the impact of geographic distance on semantic relatedness and find varied distance decay effects. The proposed framework can be used to support large-scale content analysis in city network research.


title: A natural language processing and geospatial clustering framework for harvesting local place names from geotagged housing advertisements

abstract: Local place names are frequently used by residents living in a geographic region. Such place names may not be recorded in existing gazetteers, due to their vernacular nature, relative insignificance to a gazetteer covering a large area (e.g., the entire world), recent establishment (e.g., the name of a newly-opened shopping center), or other reasons. While not always recorded, local place names play important roles in many applications, from supporting public participation in urban planning to locating victims in disaster response. In this paper, we propose a computational framework for harvesting local place names from geotagged housing advertisements. We make use of those advertisements posted on local-oriented websites, such as Craigslist, where local place names are often mentioned. The proposed framework consists of two stages: natural language processing (NLP) and geospatial clustering. The NLP stage examines the textual content of housing advertisements, and extracts place name candidates. The geospatial stage focuses on the coordinates associated with the extracted place name candidates, and performs multi-scale geospatial clustering to filter out the non-place names. We evaluate our framework by comparing its performance with those of six baselines. We also compare our result with four existing gazetteers to demonstrate the not-yet-recorded local place names discovered by our framework.


title: Performance Analysis of a System with Bursty Traffic and Adjustable Transmission Times

abstract: In this work, we consider the case where a source with bursty traffic can adjust the transmission duration in order to increase the reliability. The source is equipped with a queue in order to store the arriving packets. We model the system with a discrete time Markov Chain, and we characterize the performance in terms of service probability and average delay per packet. The accuracy of the theoretical results is validated through simulations. This work serves as an initial step in order to provide a framework for systems with arbitrary arrivals and variable transmission durations and it can be utilized for the derivation of the delay distribution and the delay violation probability.


title: Delay-Constrained Input-Queued Switch

abstract: In this paper, we study the delay-constrained input-queued switch where each packet has a deadline and it will expire if it is not delivered before its deadline. Such new scenario is motivated by the proliferation of real-time applications in multimedia communication systems, tactile Internet, networked controlled systems, and cyber-physical systems. The delay-constrained input-queued switch is completely different from the well-understood delay-unconstrained one and thus poses new challenges. We focus on three fundamental problems centering around the performance metric of timely throughput: (i) how to characterize the capacity region? (ii) how to design a feasibility/throughput-optimal scheduling policy? and (iii) how to design a network-utility-maximization scheduling policy? We use three different approaches to solve these three fundamental problems. The first approach is based on Markov Decision Process (MDP) theory, which can solve all three problems. However, it suffers from the curse of dimensionality. The second approach breaks the curse of dimensionality by exploiting the combinatorial features of the problem. It gives a new capacity region characterization with only a polynomial number of linear constraints. The third approach is based on the framework of Lyapunov optimization, where we design a polynomial-time maximum-weight T-disjoint-matching scheduling policy which is proved to be feasibility/throughput-optimal. Our three approaches apply to the frame-synchronized traffic pattern but our MDP-based approach can be extended to more general traffic patterns.


title: $|V_{us}|$ from $K_{\ell 3}$ decay and four-flavor lattice QCD

abstract: Using HISQ $N_f=2+1+1$ MILC ensembles with five different values of the lattice spacing, including four ensembles with physical quark masses, we have performed the most precise computation to date of the $K\to\pi\ell\nu$ vector form factor at zero momentum transfer, $f_+^{K^0\pi^-}(0)=0.9696(15)_\text{stat}(12)_\text{syst}$. This is the first calculation that includes the dominant finite-volume effects, as calculated in chiral perturbation theory at next-to-leading order. Our result for the form factor provides a direct determination of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{us}|=0.22333(44)_{f_+(0)}(42)_\text{exp}$, with a theory error that is, for the first time, at the same level as the experimental error. The uncertainty of the semileptonic determination is now similar to that from leptonic decays and the ratio $f_{K^+}/f_{\pi^+}$, which uses $|V_{ud}|$ as input. Our value of $|V_{us}|$ is in tension at the 2--$2.6\sigma$ level both with the determinations from leptonic decays and with the unitarity of the CKM matrix. In the test of CKM unitarity in the first row, the current limiting factor is the error in $|V_{ud}|$, although a recent determination of the nucleus-independent radiative corrections to superallowed nuclear $\beta$ decays could reduce the $|V_{ud}|^2$ uncertainty nearly to that of $|V_{us}|^2$. Alternative unitarity tests using only kaon decays, for which improvements in the theory and experimental inputs are likely in the next few years, reveal similar tensions. As part of our analysis, we calculated the correction to $f_+^{K\pi}(0)$ due to nonequilibrated topological charge at leading order in chiral perturbation theory, for both the full-QCD and the partially-quenched cases. We also obtain the combination of low-energy constants in the chiral effective Lagrangian $[C_{12}^r+C_{34}^r-(L_5^r)^2](M_\rho)=(2.92\pm0.31)\cdot10^{-6}$.


title: Irrelevance of magnetic proximity effect to spin-orbit torques in heavy metal/ferromagnet bilayers

abstract: The magnetic proximity effect (MPE) is a well-established magnetic phenomenon that occurs at certain heavy metal (HM)/ferromagnet (FM) interfaces. However, there is still an active debate as to whether the presence of a MPE affects spin transport through such a HM/FM interface. Here we demonstrate that the MPE at Pt/Co and Au0.25Pt0.75/Co interfaces can be enhanced substantially by thermal annealing protocols. From this ability, we show that the MPE has no discernable influence on either the damping-like or the field-like spin-orbit torques exerted on the FM layer due to the spin Hall effect of the HM layer, indicating a minimal role of the MPE compared to other interfacial effects, e.g. spin memory loss and spin backflow.


title: Fourier Expansion of the Riemann zeta function and applications

abstract: We study the distribution of values of the Riemann zeta function $\zeta(s)$ on vertical lines $\Re s + i \mathbb{R}$, by using the theory of Hilbert space. We show among other things, that, $\zeta(s)$ has a Fourier expansion in the half-plane $\Re s \geq 1/2$ and its Fourier coefficients are the binomial transform involving the Stieltjes constants. As an application, we show explicit computation of the Poisson integral associated with the logarithm of $\zeta(s) - s/(s-1)$. Moreover, we discuss our results with respect to the Riemann and Lindel\"{o}f hypotheses on the growth of the Fourier coefficients.


title: Fractal structure of hadrons and non-extensive statistics

abstract: The role played by non-extensive thermodynamics in physical systems has been under intense debate for the last decades. Some possible mechanisms that could give rise to non-extensive statistics have been formulated along the last few years, in particular the existence of a fractal structure in thermodynamic functions for hadronic systems. We investigate the properties of such fractal thermodynamical systems, in particular the fractal scale invariance is discussed in terms of the Callan-Symanzik~equation. Finally, we propose a diagrammatic method for calculations of relevant quantities.


title: Phase separation of stable colloidal clusters

abstract: This Article presents a nonequilibrium thermodynamic theory for the mean-field precipitation, aggregation and pattern formation of colloidal clusters. A variable gradient energy coefficient and the arrest of particle diffusion upon "jamming" of cluster aggregates in the spinodal region predicts observable gel patterns that, at high inter-cluster attraction, form system-spanning, out-of-equilibrium networks with glass-like, quasi-static structural relaxation. For reactive systems, we incorporate the free energy landscape of stable pre-nucleation clusters into the Allen-Cahn-Reaction equation. We show that pattern formation is dominantly controlled by the Damk\"ohler number and the stability of the clusters, which modifies the auto-catalytic rate of precipitation. As clusters individually become more stable, bulk phase separation is suppressed.


title: Around Wilson's theorem

abstract: We study the series s(n,x) which is the sum for k from 1 to n of the square of the sine of the product x Gamma(k)/k, where x is a variable. By Wilson's theorem we show that the integer part of s(n,x) for x = Pi/2 is the number of primes less or equal to n and we get a similar formula for x a rational multiple of Pi. We show that for almost all x in the Lebesgue measure s(n,x) is equivalent to n/2 when n tends to infinity, while for almost all x in the Baire sense, 1/2 is a limit point of the ratio of s(n,x) to the number of primes less or equal to n.


title: The Carlitz group of the rationals

abstract: This paper contains two parts. The first is the solution of a challenge question, proposed by Etienne Ghys, on the determination of all maps from rational numbers to themselves such that the difference quotient (f(x)-f(y))/(x-y) is always a square. The second is the computer determination, done with the help of Stephane Gaubert, of a function of primes which plays a key role in the first part as a generalization of a result of Carlitz.


title: Surface waves in protoplanetary disks induced by outbursts: Concentric rings in scattered light

abstract: Context: Vertically hydrostatic protoplanetary disk models are based on the assumption that the main heating source, stellar irradiation, does not vary much with time. However, it is known that accreting young stars are variable sources of radiation. This is particularly evident for outbursting sources such as EX Lupi and FU Orionis stars. Aim: We investigate how such outbursts affect the vertical structure of the outer regions of the protoplanetary disk, in particular their appearance in scattered light at optical and near-infrared wavelengths. Methods: We employ the 3D FARGOCA radiation-hydrodynamics code, in polar coordinates, to compute the time-dependent behavior of the axisymmetric disk structure. The outbursting inner disk region is not included explicitly. Instead, its luminosity is added to the stellar luminosity and is thus included in the irradiation of the outer disk regions. For time snapshots of interest we insert the density structure into the RADMC-3D radiative transfer code and compute the appearance of the disk at optical/near-infrared wavelengths. Results: We find that, depending on the amplitude of the outbursts, the vertical structure of the disk can become highly dynamic, featuring circular surface waves of considerable amplitude. These "hills" and "valleys" on the disk's surface show up in the scattered light images as bright and dark concentric rings. Initially these rings are small and act as standing waves, but they subsequently lead to outward propagating waves, like the waves produced by a stone thrown into a pond. These waves continue long after the actual outburst has died out. Conclusions: We propose that some of the multi-ringed structures seen in optical/infrared images of several protoplanetary disks may have their origin in outbursts that occurred decades or centuries ago.


title: Multitasking Capacity: Hardness Results and Improved Constructions

abstract: We consider the problem of determining the maximal $\alpha \in (0,1]$ such that every matching $M$ of size $k$ (or at most $k$) in a bipartite graph $G$ contains an induced matching of size at least $\alpha |M|$. This measure was recently introduced in Alon et al. (NIPS 2018) and is motivated by connectionist models of cognition as well as modeling interference in wireless and communication networks. We prove various hardness results for computing $\alpha$ either exactly or approximately. En route to our results, we also consider the maximum connected matching problem: determining the largest matching $N$ in a graph $G$ such that every two edges in $N$ are connected by an edge. We prove a nearly optimal $n^{1-\epsilon}$ hardness of approximation result (under randomized reductions) for connected matching in bipartite graphs (with both sides of cardinality $n$). Towards this end we define bipartite half-covers: A new combinatorial object that may be of independent interest. To the best of our knowledge, the best previous hardness result for the connected matching problem was some constant $\beta>1$. Finally, we demonstrate the existence of bipartite graphs with $n$ vertices on each side of average degree $d$, that achieve $\alpha=1/2-\epsilon$ for matchings of size sufficiently smaller than $n/poly(d)$. This nearly matches the trivial upper bound of $1/2$ on $\alpha$ which holds for any graph containing a path of length 3.


title: Context-Free Transductions with Neural Stacks

abstract: This paper analyzes the behavior of stack-augmented recurrent neural network (RNN) models. Due to the architectural similarity between stack RNNs and pushdown transducers, we train stack RNN models on a number of tasks, including string reversal, context-free language modelling, and cumulative XOR evaluation. Examining the behavior of our networks, we show that stack-augmented RNNs can discover intuitive stack-based strategies for solving our tasks. However, stack RNNs are more difficult to train than classical architectures such as LSTMs. Rather than employ stack-based strategies, more complex networks often find approximate solutions by using the stack as unstructured memory.


title: Hyperboloidal slicing approach to quasi-normal mode expansions: the Reissner-Nordstr\"om case

abstract: We study quasi-normal modes of black holes, with a focus on resonant (or quasi-normal mode) expansions, in a geometric frame based on the use of conformal compactifications together with hyperboloidal foliations of spacetime. Specifically, this work extends the previous study of Schwarzschild in this geometric approach to spherically symmetric asymptotically flat black hole spacetimes, in particular Reissner-Nordstr\"om. The discussion involves, first, the non-trivial technical developments needed to address the choice of appropriate hyperboloidal slices in the extended setting as well as the generalization of the algorithm determining the coefficients in the expansion of the solution in terms of the quasi-normal modes. In a second stage, we discuss how the adopted framework provides a geometric insight into the origin of regularization factors needed in Leaver's Cauchy based foliations, as well as into the discussion of quasi-normal modes in the extremal black hole limit.


title: Non-Parametric Variational Inference with Graph Convolutional Networks for Gaussian Processes

abstract: Inference for GP models with non-Gaussian noises is computationally expensive when dealing with large datasets. Many recent inference methods approximate the posterior distribution with a simpler distribution defined on a small number of inducing points. The inference is accurate only when data points have strong correlation with these inducing points. In this paper, we consider the inference problem in a different direction: GP function values in the posterior are mostly correlated in short distance. We construct a variational distribution such that the inference for a data point considers only its neighborhood. With this construction, the variational lower bound is highly decomposible, hence we can run stochastic optimization with very small batches. We then train Graph Convolutional Networks as a reusable model to identify variational parameters for each data point. Model reuse greatly reduces the number of parameters and the number of iterations needed in optimization. The proposed method significantly speeds up the inference and often gets more accurate results than previous methods.


title: Efficient and Robust Parallel DNN Training through Model Parallelism on Multi-GPU Platform

abstract: The training process of Deep Neural Network (DNN) is compute-intensive, often taking days to weeks to train a DNN model. Therefore, parallel execution of DNN training on GPUs is a widely adopted approach to speed up the process nowadays. Due to the implementation simplicity, data parallelism is currently the most commonly used parallelization method. Nonetheless, data parallelism suffers from excessive inter-GPU communication overhead due to frequent weight synchronization among GPUs. Another approach is pipelined model parallelism, which partitions a DNN model among GPUs, and processes multiple mini-batches concurrently. This approach can significantly reduce inter-GPU communication cost compared to data parallelism. However, pipelined model parallelism faces the weight staleness issue; that is, gradients are computed with stale weights, leading to training instability and accuracy loss. In this paper, we present a pipelined model parallel execution method that enables high GPU utilization while maintaining robust training accuracy via a novel weight prediction technique, SpecTrain. Experimental results show that our proposal achieves up to 8.91x speedup compared to data parallelism on a 4-GPU platform while maintaining comparable model accuracy.


title: Neural Guided Constraint Logic Programming for Program Synthesis

abstract: Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a constraint logic programming system called miniKanren. Crucially, the neural model uses miniKanren's internal representation as input; miniKanren represents a PBE problem as recursive constraints imposed by the provided examples. We explore Recurrent Neural Network and Graph Neural Network models. We contribute a modified miniKanren, drivable by an external agent, available at https://github.com/xuexue/neuralkanren. We show that our neural-guided approach using constraints can synthesize programs faster in many cases, and importantly, can generalize to larger problems.


title: Effect of an absorbing medium on particle oscillations

abstract: Particle oscillations in absorbing matter are considered. The approach based on the optical potential is shown to be inapplicable in the strong absorption region. Models with Hermitian Hamiltonian are analyzed. They give an increase of the process width in comparison with the model based on the optical potential.


title: Diversity of dynamical phenomena in type II Cepheids of the OGLE collection

abstract: We have analysed the photometry of 924 type II Cepheids from the Galactic bulge observed by the Optical Gravitational Lensing Experiment. Our goal was to detect and analyse various dynamical phenomena, including, e.g. multi-mode pulsation, period-doubled pulsation, period-k pulsation, or quasi-periodic modulation of pulsation. First examples of double-mode BL Her-type stars, pulsating simultaneously in the fundamental and first overtone modes are reported. Two double-mode pulsators are not isolated cases however, but form an extension of recently identified class of long-period RRd stars. Period doubling effect was detected in three BL Her-type stars: two were identified previously and one is a new discovery. Through identification of numerous period-doubled W Vir stars we show that the appearance of the period doubling effect, and hence the transition towards RV Tau class, is a smooth process that starts at pulsation periods slightly above 15d. Interchange of the deep and shallow pulsation cycles is identified in tens of RV Tau variables. One RV Tau star is a strong candidate for period-4 pulsation. Quasi-periodic modulation of pulsation in all sub-classes of type II Cepheids is reported for the first time. Modulation was detected in 16 BL Her, 9 W Vir and in 7 RV Tau stars. In the last case, modulation is the most likely scenario, but two other scenarios, excitation of non-radial modes, or period-4 pulsation, can also account for the observed pulsation pattern. Irregular changes of pulsation amplitude and period on various time-scales are common in all subgroups of type II Cepheids.


title: Resolution and the binary encoding of combinatorial principles

abstract: We investigate the size complexity of proofs in $Res(s)$ -- an extension of Resolution working on $s$-DNFs instead of clauses -- for families of contradictions given in the {\em unusual binary} encoding. A motivation of our work is size lower bounds of refutations in Resolution for families of contradictions in the usual unary encoding. Our main interest is the $k$-Clique Principle, whose Resolution complexity is still unknown. Our main result is a $n^{\Omega(k)}$ lower bound for the size of refutations of the binary $k$-Clique Principle in $Res(\lfloor \frac{1}{2}\log \log n\rfloor)$. This improves the result of Lauria, Pudl\'ak et al. [24] who proved the lower bound for Resolution, that is $Res(1)$. Our second lower bound proves that in $RES(s)$ for $s\leq \log^{\frac{1}{2-\epsilon}}(n)$, the shortest proofs of the $BinPHP^m_n$, requires size $2^{n^{1-\delta}}$, for any $\delta>0$. Furthermore we prove that $BinPHP^m_n$ can be refuted in size $2^{\Theta(n)}$ in treelike $Res(1)$, contrasting with the unary case, where $PHP^m_n$ requires treelike $RES(1)$ \ refutations of size $2^{\Omega(n \log n)}$ [9,16]. Furthermore we study under what conditions the complexity of refutations in Resolution will not increase significantly (more than a polynomial factor) when shifting between the unary encoding and the binary encoding. We show that this is true, from unary to binary, for propositional encodings of principles expressible as a $\Pi_2$-formula and involving {\em total variable comparisons}. We then show that this is true, from binary to unary, when one considers the \emph{functional unary encoding}. Finally we prove that the binary encoding of the general Ordering principle $OP$ -- with no total ordering constraints -- is polynomially provable in Resolution.


title: Size effects in nonlinear periodic materials exhibiting reversible pattern transformations

abstract: This paper focuses on size effects in periodic mechanical metamaterials driven by reversible pattern transformations due to local elastic buckling instabilities in their microstructure. Two distinct loading cases are studied: compression and bending, in which the material exhibits pattern transformation in the whole structure or only partially. The ratio between the height of the specimen and the size of a unit cell is defined as the scale ratio. A family of shifted microstructures, corresponding to all possible arrangements of the microstructure relative to the external boundary, is considered in order to determine the ensemble averaged solution computed for each scale ratio. In the compression case, the top and the bottom edges of the specimens are fully constrained, which introduces boundary layers with restricted pattern transformation. In the bending case, the top and bottom edges are free boundaries resulting in compliant boundary layers, whereas additional size effects emerge from imposed strain gradient. For comparison, the classical homogenization solution is computed and shown to match well with the ensemble averaged numerical solution only for very large scale ratios. For smaller scale ratios, where a size effect dominates, the classical homogenization no longer applies.


title: Polarizability and impurity screening for phosphorene

abstract: Using a tight-binding Hamiltonian for phosphorene, we have calculated the real part of the polarizability and the corresponding dielectric function, Re$[\epsilon(\textbf{q},\omega)]$, at zero temperature (T = 0) with free carrier density $10^{13}$/ $cm^2$. We present results showing the real part of dielectric function in different directions of the transferred momentum $\bf{q}$. When $q$ is larger than a particular value which is twice the Fermi momentum $k_F$, Re$[\epsilon(\textbf{q},\omega)]$ becomes strongly dependent on the direction of $\bf{q}$. We also discuss the case at room temperature (T = 300K). These results which are similar to those previously reported by other authors are then employed to determine the static shielding of an impurity in the vicinity of phosphorene.


title: Seeing the Wood for the Trees: Reliable Localization in Urban and Natural Environments

abstract: In this work we introduce Natural Segmentation and Matching (NSM), an algorithm for reliable localization, using laser, in both urban and natural environments. Current state-of-the-art global approaches do not generalize well to structure-poor vegetated areas such as forests or orchards. In these environments clutter and perceptual aliasing prevents repeatable extraction of distinctive landmarks between different test runs. In natural forests, tree trunks are not distinctive, foliage intertwines and there is a complete lack of planar structure. In this paper we propose a method for place recognition which uses a more involved feature extraction process which is better suited to this type of environment. First, a feature extraction module segments stable and reliable object-sized segments from a point cloud despite the presence of heavy clutter or tree foliage. Second, repeatable oriented key poses are extracted and matched with a reliable shape descriptor using a Random Forest to estimate the current sensor's position within the target map. We present qualitative and quantitative evaluation on three datasets from different environments - the KITTI benchmark, a parkland scene and a foliage-heavy forest. The experiments show how our approach can achieve place recognition in woodlands while also outperforming current state-of-the-art approaches in urban scenarios without specific tuning.


title: Interpreting Neural Networks With Nearest Neighbors

abstract: Local model interpretation methods explain individual predictions by assigning an importance value to each input feature. This value is often determined by measuring the change in confidence when a feature is removed. However, the confidence of neural networks is not a robust measure of model uncertainty. This issue makes reliably judging the importance of the input features difficult. We address this by changing the test-time behavior of neural networks using Deep k-Nearest Neighbors. Without harming text classification accuracy, this algorithm provides a more robust uncertainty metric which we use to generate feature importance values. The resulting interpretations better align with human perception than baseline methods. Finally, we use our interpretation method to analyze model predictions on dataset annotation artifacts.


title: Population dynamics in sideband cooling of trapped ions outside the Lamb-Dicke regime

abstract: We present the results of simulations of optical sideband cooling of atomic ions in a trap with a shallow potential well. In such traps, an ion cannot be Doppler cooled near to the Lamb-Dicke regime ($\eta^2(2n+1) \ll 1$). Outside the Lamb-Dicke regime, the sideband cooling dynamics are altered by the existence of various Fock states where the cooling becomes very slow. A calcium ion trapped in our Penning trap realises such a situation, hence single stage cooling is inefficient to prepare the ion in the motional ground state. For these systems, it is necessary to study the cooling dynamics in detail and we show that it is possible to implement an optimised cooling sequence to achieve efficient ground state cooling. We also present the simulated cooling dynamics of two ions trapped in a Penning trap, where the presence of an additional motional mode requires a complicated cooling sequence in order to cool both axial modes to the ground state simultaneously. Additionally we investigate sideband heating of a single ion in a Penning trap.


title: Temporal sequences of brain activity at rest are constrained by white matter structure and modulated by cognitive demands

abstract: A diverse white matter network and finely tuned neuronal membrane properties allow the brain to transition seamlessly between cognitive states. However, it remains unclear how static structural connections guide the temporal progression of large-scale brain activity patterns in different cognitive states. Here, we analyze the brain's trajectories through a high-dimensional activity space at the level of single time point activity patterns from functional magnetic resonance imaging data acquired during passive visual fixation (rest) and an n-back working memory task. We find that specific state space trajectories, which represent temporal sequences of brain activity, are modulated by cognitive load and related to task performance. Using diffusion-weighted imaging acquired from the same subjects, we use tools from network control theory to show that linear spread of activity along white matter connections constrains the brain's state space trajectories at rest. Additionally, accounting for stimulus-driven visual inputs explains the different trajectories taken during the n-back task. We also used models of network rewiring to show that these findings are the result of non-trivial geometric and topological properties of white matter architecture. Finally, we examine associations between age and time-resolved brain state dynamics, revealing new insights into functional changes in the default mode and executive control networks. Overall, these results elucidate the structural underpinnings of cognitively and developmentally relevant spatiotemporal brain dynamics.


title: Rate-Adaptive Neural Networks for Spatial Multiplexers

abstract: In resource-constrained environments, one can employ spatial multiplexing cameras to acquire a small number of measurements of a scene, and perform effective reconstruction or high-level inference using purely data-driven neural networks. However, once trained, the measurement matrix and the network are valid only for a single measurement rate (MR) chosen at training time. To overcome this drawback, we answer the following question: How can we jointly design the measurement operator and the reconstruction/inference network so that the system can operate over a \textit{range} of MRs? To this end, we present a novel training algorithm, for learning \textbf{\textit{rate-adaptive}} networks. Using standard datasets, we demonstrate that, when tested over a range of MRs, a rate-adaptive network can provide high quality reconstruction over a the entire range, resulting in up to about 15 dB improvement over previous methods, where the network is valid for only one MR. We demonstrate the effectiveness of our approach for sample-efficient object tracking where video frames are acquired at dynamically varying MRs. We also extend this algorithm to learn the measurement operator in conjunction with image recognition networks. Experiments on MNIST and CIFAR-10 confirm the applicability of our algorithm to different tasks.


title: Online Mutual Foreground Segmentation for Multispectral Stereo Videos

abstract: The segmentation of video sequences into foreground and background regions is a low-level process commonly used in video content analysis and smart surveillance applications. Using a multispectral camera setup can improve this process by providing more diverse data to help identify objects despite adverse imaging conditions. The registration of several data sources is however not trivial if the appearance of objects produced by each sensor differs substantially. This problem is further complicated when parallax effects cannot be ignored when using close-range stereo pairs. In this work, we present a new method to simultaneously tackle multispectral segmentation and stereo registration. Using an iterative procedure, we estimate the labeling result for one problem using the provisional result of the other. Our approach is based on the alternating minimization of two energy functions that are linked through the use of dynamic priors. We rely on the integration of shape and appearance cues to find proper multispectral correspondences, and to properly segment objects in low contrast regions. We also formulate our model as a frame processing pipeline using higher order terms to improve the temporal coherence of our results. Our method is evaluated under different configurations on multiple multispectral datasets, and our implementation is available online.


title: Goodness-of-fit tests for Laplace, Gaussian and exponential power distributions based on $\lambda$-th power skewness and kurtosis

abstract: Temperature data, like many other measurements in quantitative fields, are usually modeled using a normal distribution. However, some distributions can offer a better fit while avoiding underestimation of tail event probabilities. To this point, we extend Pearson's notions of skewness and kurtosis to build a powerful family of goodness-of-fit tests based on Rao's score for the exponential power distribution $\mathrm{EPD}_{\lambda}(\mu,\sigma)$, including tests for normality and Laplacity when $\lambda$ is set to 1 or 2. We find the asymptotic distribution of our test statistic, which is the sum of the squares of two $Z$-scores, under the null and under local alternatives. We also develop an innovative regression strategy to obtain $Z$-scores that are nearly independent and distributed as standard Gaussians, resulting in a $\chi_2^2$ distribution valid for any sample size (up to very high precision for $n\geq 20$). The case $\lambda=1$ leads to a powerful test of fit for the Laplace($\mu,\sigma$) distribution, whose empirical power is superior to all $39$ competitors in the literature, over a wide range of $400$ alternatives. Theoretical proofs in this case are particularly challenging and substantial. We applied our tests to three temperature datasets. The new tests are implemented in the R package PoweR.


title: Surfaces of Axion Insulators

abstract: Axion insulators are magnetic topological insulators in which the non-trivial $\mathbb{Z}_2$ index is protected by inversion symmetry instead of time-reversal symmetry. The naturally gapped surfaces of axion insulators give rise to a half-quantized surface anomalous Hall conductivity (AHC), but the sign of the surface AHC cannot be determined from topological arguments. In this paper, we consider topological phenomena at the surface of an axion insulator. To be explicit, we construct a minimal tight-binding model on the pyrochlore lattice and investigate the all-in-all-out (AIAO) and ferromagnetic (FM) spin configurations. We also implement a recently proposed approach for calculating the surface AHC directly, which allows us to explore how the interplay between surface termination and magnetic ordering determines the sign of the half-quantized surface AHC. In the case of AIAO ordering, we show that it is possible to construct a topological state with no protected metallic states on boundaries of any dimension (surfaces, hinges, or corners), although chiral hinge modes do occur for many surface configurations. In the FM case, rotation of the magnetization by an external field offers a promising means of control of chiral hinge modes, which can also appear on surface steps or where bulk domain walls emerge at the surface.


title: Learning Sports Camera Selection from Internet Videos

abstract: This work addresses camera selection, the task of predicting which camera should be "on air" from multiple candidate cameras for soccer broadcast. The task is challenging because of the scarcity of learning data with all candidate views. Meanwhile, broadcast videos are freely available on the Internet (e.g. Youtube). However, these videos only record the selected camera views, omitting the other candidate views. To overcome this problem, we first introduce a random survival forest (RSF) method to impute the incomplete data effectively. Then, we propose a spatial-appearance heatmap to describe foreground objects (e.g. players and balls) in an image. To evaluate the performance of our system, we collect the largest-ever dataset for soccer broadcasting camera selection. It has one main game which has all candidate views and twelve auxiliary games which only have the broadcast view. Our method significantly outperforms state-of-the-art methods on this challenging dataset. Further analysis suggests that the improvement in performance is indeed from the extra information from auxiliary games.


title: iDriveSense: Dynamic Route Planning Involving Roads Quality Information

abstract: Owing to the expeditious growth in the information and communication technologies, smart cities have raised the expectations in terms of efficient functioning and management. One key aspect of residents' daily comfort is assured through affording reliable traffic management and route planning. Comprehensively, the majority of the present trip planning applications and service providers are enabling their trip planning recommendations relying on shortest paths and/or fastest routes. However, such suggestions may discount drivers' preferences with respect to safe and less disturbing trips. Road anomalies such as cracks, potholes, and manholes induce risky driving scenarios and can lead to vehicles damages and costly repairs. Accordingly, in this paper, we propose a crowdsensing based dynamic route planning system. Leveraging both the vehicle motion sensors and the inertial sensors within the smart devices, road surface types and anomalies have been detected and categorized. In addition, the monitored events are geo-referenced utilizing GPS receivers on both vehicles and smart devices. Consequently, road segments assessments are conducted using fuzzy system models based on aspects such as the number of anomalies and their severity levels in each road segment. Afterward, another fuzzy model is adopted to recommend the best trip routes based on the road segments quality in each potential route. Extensive road experiments are held to build and show the potential of the proposed system.


title: New Approximation method for the computation of particular values of polylogarithms

abstract: An efficient procedure for the computation of $Li_{s}(z)$ where $s<0$ is here presented. We started with Polylogarithm $Li_{s}(z)$ where $s<0$. The summation of $n^{s}z^{n}$ is evaluated using a new method. An assumption is made that the power $n$ is multiplied by $x$ where $x=1$; then the series is integrated $s$ time in order to cancel the term $n^s$ out leaving the term $z^n$. By simply taking the derivative of the result $s$-times, an expression to evaluate the series arises which include only a constant term and the s$^{th}$ order of derivative of the summation of a simple geometric series. The computation of $Li_{s}(z)$ can then be performed in $\mathcal{O}(n)$ operations.


title: Computational Sufficiency, Reflection Groups, and Generalized Lasso Penalties

abstract: We study estimators with generalized lasso penalties within the computational sufficiency framework introduced by Vu (2018, arXiv:1807.05985). By representing these penalties as support functions of zonotopes and more generally Minkowski sums of line segments and rays, we show that there is a natural reflection group associated with the underlying optimization problem. A consequence of this point of view is that for large classes of estimators sharing the same penalty, the penalized least squares estimator is computationally minimal sufficient. This means that all such estimators can be computed by refining the output of any algorithm for the least squares case. An interesting technical component is our analysis of coordinate descent on the dual problem. A key insight is that the iterates are obtained by reflecting and averaging, so they converge to an element of the dual feasible set that is minimal with respect to a ordering induced by the group associated with the penalty. Our main application is fused lasso/total variation denoising and isotonic regression on arbitrary graphs. In those cases the associated group is a permutation group.


title: An efficient approach to the quantum dynamics and rates of processes induced by natural incoherent light

abstract: In many important cases, the rate of excitation of a system embedded in an environment is significantly smaller than the internal system relaxation rates. An important example is that of light-induced processes under natural conditions, in which the system is excited by weak, incoherent (e.g., solar) radiation. Simulating the dynamics on the time scale of the excitation source can thus be computationally intractable. Here we describe a method for obtaining the dynamics of quantum systems without directly solving the master equation. We present an algorithm for the numerical implementation of this method, and, as an example, use it to reconstruct the internal conversion dynamics of pyrazine excited by sunlight. Significantly, this approach also allows us to assess the role of quantum coherence on biological time scales, which is a topic of ongoing interest.


title: Application of EOS-ELM with binary Jaya-based feature selection to real-time transient stability assessment using PMU data

abstract: Recent studies show that pattern-recognition-based transient stability assessment (PRTSA) is a promising approach for predicting the transient stability status of power systems. However, many of the current well-known PRTSA methods suffer from excessive training time and complex tuning of parameters, resulting in inefficiency for real-time implementation and lacking the online model updating ability. In this paper, a novel PRTSA approach based on an ensemble of OS-extreme learning machine (EOSELM) with binary Jaya (BinJaya)-based feature selection is proposed with the use of phasor measurement units (PMUs) data. After briefly describing the principles of OS-ELM, an EOS-ELM-based PRTSA model is built to predict the post-fault transient stability status of power systems in real time by integrating OS-ELM and an online boosting algorithm, respectively, as a weak classifier and an ensemble learning algorithm. Furthermore, a BinJaya-based feature selection approach is put forward for selecting an optimal feature subset from the entire feature space constituted by a group of system-level classification features extracted from PMU data. The application results on the IEEE 39-bus system and a real provincial system show that the proposal has superior computation speed and prediction accuracy than other state-of-the-art sequential learning algorithms. In addition, without sacrificing the classification performance, the dimension of the input space has been reduced to about one-third of its initial value.


title: Identifying The Most Informative Features Using A Structurally Interacting Elastic Net

abstract: Feature selection can efficiently identify the most informative features with respect to the target feature used in training. However, state-of-the-art vector-based methods are unable to encapsulate the relationships between feature samples into the feature selection process, thus leading to significant information loss. To address this problem, we propose a new graph-based structurally interacting elastic net method for feature selection. Specifically, we commence by constructing feature graphs that can incorporate pairwise relationship between samples. With the feature graphs to hand, we propose a new information theoretic criterion to measure the joint relevance of different pairwise feature combinations with respect to the target feature graph representation. This measure is used to obtain a structural interaction matrix where the elements represent the proposed information theoretic measure between feature pairs. We then formulate a new optimization model through the combination of the structural interaction matrix and an elastic net regression model for the feature subset selection problem. This allows us to a) preserve the information of the original vectorial space, b) remedy the information loss of the original feature space caused by using graph representation, and c) promote a sparse solution and also encourage correlated features to be selected. Because the proposed optimization problem is non-convex, we develop an efficient alternating direction multiplier method (ADMM) to locate the optimal solutions. Extensive experiments on various datasets demonstrate the effectiveness of the proposed methods.


title: Why Do Adversarial Attacks Transfer? Explaining Transferability of Evasion and Poisoning Attacks

abstract: Transferability captures the ability of an attack against a machine-learning model to be effective against a different, potentially unknown, model. Empirical evidence for transferability has been shown in previous work, but the underlying reasons why an attack transfers or not are not yet well understood. In this paper, we present a comprehensive analysis aimed to investigate the transferability of both test-time evasion and training-time poisoning attacks. We provide a unifying optimization framework for evasion and poisoning attacks, and a formal definition of transferability of such attacks. We highlight two main factors contributing to attack transferability: the intrinsic adversarial vulnerability of the target model, and the complexity of the surrogate model used to optimize the attack. Based on these insights, we define three metrics that impact an attack's transferability. Interestingly, our results derived from theoretical analysis hold for both evasion and poisoning attacks, and are confirmed experimentally using a wide range of linear and non-linear classifiers and datasets.


title: A survey of food recommenders

abstract: Everyone eats. However, people do not always know what to eat. They need a little help and inspiration. Consequently, a number of apps, services, and programs have developed recommenders around food. These cover food, meal, recipe, and restaurant recommendations, which are the most common use cases, but also other areas such as substitute ingredients, menus, and diets. The latter is especially important in the area of health and wellness where users have more specific dietary needs and goals. In this survey, we review the food recommender literature. We cover the types of systems in terms of their goals and what they are recommending, the datasets and signals that they use to train models, the technical approaches and model types used, as well as some of the system constraints.


title: Material Size Dependence on Fundamental Constants

abstract: Precise experimental setups for detection of variation of fundamental constants, scalar dark matter, or gravitational waves, such as laser interferometers, optical cavities and resonant-mass detectors, are directly linked to measuring changes in material size. Here we present calculated and experiment-derived estimates for both $\alpha$- and $\mu$-dependence of lattice constants and bond lengths of selected solid-state materials and diatomic molecules that are needed for interpretation of such experiments.


title: Online Adaptive Methods, Universality and Acceleration

abstract: We present a novel method for convex unconstrained optimization that, without any modifications, ensures: (i) accelerated convergence rate for smooth objectives, (ii) standard convergence rate in the general (non-smooth) setting, and (iii) standard convergence rate in the stochastic optimization setting. To the best of our knowledge, this is the first method that simultaneously applies to all of the above settings. At the heart of our method is an adaptive learning rate rule that employs importance weights, in the spirit of adaptive online learning algorithms (Duchi et al., 2011; Levy, 2017), combined with an update that linearly couples two sequences, in the spirit of (Allen-Zhu and Orecchia, 2017). An empirical examination of our method demonstrates its applicability to the above mentioned scenarios and corroborates our theoretical findings.


title: Highly curved orbit spaces

abstract: It is known that the infimum of the sectional curvatures (on the regular part) of orbit spaces of isometric actions on unit spheres in bounded above by $4$. We show that the infimum is $1$ for "most" actions, and determine the cases in which it is bigger than $1$.


title: Confirmation that T cell receptor activation is digital, not analog. Hence individual T cell cytolytic capacity is independent of initial stimulation strength

abstract: Whether a sub-optimum lymphocyte stimulus is achieved by lowering ligand concentration, or decreasing its affinity, initial TCR activation responses are likely to be digital. We now know for cultured peripheral blood mononuclear cells (PBMCs), when activated by plant lectins such as concanavalin-A (Con-A), that the responding cells are T cells, and that early transcriptional and metabolic changes closely resemble those found with T cells responding to specific peptides complexed to MHC proteins (pMHC). Robbins long ago showed that lectin-activated PBMC responses were digital. This has now been confirmed for pMHC-activated T cells. Hence, in general, responses of individual T cells are independent of initial signal strength.


title: A Review on Cooperative Adaptive Cruise Control (CACC) Systems: Architectures, Controls, and Applications

abstract: Connected and automated vehicles (CAVs) have the potential to address the safety, mobility and sustainability issues of our current transportation systems. Cooperative adaptive cruise control (CACC), for example, is one promising technology to allow CAVs to be driven in a cooperative manner and introduces system-wide benefits. In this paper, we review the progress achieved by researchers worldwide regarding different aspects of CACC systems. Literature of CACC system architectures are reviewed, which explain how this system works from a higher level. Different control methodologies and their related issues are reviewed to introduce CACC systems from a lower level. Applications of CACC technology are demonstrated with detailed literature, which draw an overall landscape of CACC, point out current opportunities and challenges, and anticipate its development in the near future.


title: Optical absorption in atoms and molecules near laser-induced exceptional points

abstract: We present a non-Hermitian theory of atomic and molecular absorption, which enables computing the absorption spectrum of multi-electron atoms and molecules without using any fitting parameters. We propose a method for optically inducing exceptional points in atomic systems, and show that slight changes in the laser parameters may lead to dramatic changes in the absorption lineshape. We demonstrate these predictions for helium using exact ab-initio electronic-structure data. Finally, we derive a simple formula for the Fano asymmetry factor and evaluate it for a model xenon atom.


title: Machine Teaching of Active Sequential Learners

abstract: Machine teaching addresses the problem of finding the best training data that can guide a learning algorithm to a target model with minimal effort. In conventional settings, a teacher provides data that are consistent with the true data distribution. However, for sequential learners which actively choose their queries, such as multi-armed bandits and active learners, the teacher can only provide responses to the learner's queries, not design the full data. In this setting, consistent teachers can be sub-optimal for finite horizons. We formulate this sequential teaching problem, which current techniques in machine teaching do not address, as a Markov decision process, with the dynamics nesting a model of the learner and the actions being the teacher's responses. Furthermore, we address the complementary problem of learning from a teacher that plans: to recognise the teaching intent of the responses, the learner is endowed with a model of the teacher. We test the formulation with multi-armed bandit learners in simulated experiments and a user study. The results show that learning is improved by (i) planning teaching and (ii) the learner having a model of the teacher. The approach gives tools to taking into account strategic (planning) behaviour of users of interactive intelligent systems, such as recommendation engines, by considering them as boundedly optimal teachers.


title: Brain Morphometry Analysis with Surface Foliation Theory

abstract: Brain morphometry study plays a fundamental role in neuroimaging research. In this work, we propose a novel method for brain surface morphometry analysis based on surface foliation theory. Given brain cortical surfaces with automatically extracted landmark curves, we first construct finite foliations on surfaces. A set of admissible curves and a height parameter for each loop are provided by users. The admissible curves cut the surface into a set of pairs of pants. A pants decomposition graph is then constructed. Strebel differential is obtained by computing a unique harmonic map from surface to pants decomposition graph. The critical trajectories of Strebel differential decompose the surface into topological cylinders. After conformally mapping those topological cylinders to standard cylinders, parameters of standard cylinders (height, circumference) are intrinsic geometric features of the original cortical surfaces and thus can be used for morphometry analysis purpose. In this work, we propose a set of novel surface features rooted in surface foliation theory. To the best of our knowledge, this is the first work to make use of surface foliation theory for brain morphometry analysis. The features we computed are intrinsic and informative. The proposed method is rigorous, geometric, and automatic. Experimental results on classifying brain cortical surfaces between patients with Alzheimer's disease and healthy control subjects demonstrate the efficiency and efficacy of our method.


title: Broadband Spectrum of the X-ray Binary M33 X-6 from NuSTAR and Swift-XRT Data: An Extragalactic Z-Source?

abstract: We present the results of our study of the X-ray spectrum for the source X-6 in the nearby galaxy M33 obtained for the first time at energies above 10 keV from the data of the NuSTAR orbital telescope. The archival Swift-XRT data for energy coverage below 3 keV have been used, which has allowed the spectrum of M33 X-6 to be constructed in the wide energy range 0.3-20 keV. The spectrum of the source is well described by the model of an optically and geometrically thick accretion disk with a maximum temperature of ~2 keV and an inner radius of ~5 cos^{-1/2}(theta) km (where "theta" is the unknown disk inclination angle with respect to the observer). There is also evidence for the presence of an additional hard component in the spectrum. The X-ray luminosity of M33 X-6 measured for the first time in the wide energy range 0.3-20 keV is ~2*10^{38} erg/s , with the luminosity in the hard 10-20 keV X-ray band being ~10% of the source's total luminosity. The results obtained suggest that X-6 may be a Z-source, i.e., an X-ray binary with subcritical accretion onto a weakly magnetized neutron star.


title: Optimal vaccine allocation during the mumps outbreak in two SIR centers

abstract: The aim of this work is to investigate the optimal vaccine sharing between two SIR centers in the presence of migration fluxes of susceptibles and infected individuals during the mumps outbreak. Optimality of the vaccine allocation means the minimization of the total number of lost working days during the whole period of epidemic outbreak $[0,t_f]$, which can be described by the functional $Q=\int_0^{t_f}I(t){\rm d}t$ where $I(t)$ stands for the number of infectives at time $t$. We explain the behavior of the optimal allocation, which depends on the model parameters and the amount of available vaccine.


title: First Observation and Study of the $K^\pm \to \pi^\pm \pi^0 e^+ e^-$ Decay

abstract: The NA48/2 experiment at CERN reports the first observation of the $K^\pm \to \pi^\pm \pi^0 e^+ e^-$ decay from an exposure of $1.7 \times 10^{11}$ charged kaon decays recorded in $2003-2004$. A sample of 4919 candidates with 4.9% background contamination allows the determination of the branching ratio in the full kinematic region, BR($K^\pm \to \pi^\pm \pi^0 e^+ e^-)=(4.24 \pm 0.14)\times10^{-6}$. The study of the kinematic space shows evidence for a structure dependent contribution in agreement with predictions based on chiral perturbation theory. Several P- and CP-violating asymmetries are also evaluated.


title: Unsupervised Person Re-identification by Deep Learning Tracklet Association

abstract: Mostexistingpersonre-identification(re-id)methods relyon supervised model learning on per-camera-pair manually labelled pairwise training data. This leads to poor scalability in practical re-id deployment due to the lack of exhaustive identity labelling of image positive and negative pairs for every camera pair. In this work, we address this problem by proposing an unsupervised re-id deep learning approach capable of incrementally discovering and exploiting the underlying re-id discriminative information from automatically generated person tracklet data from videos in an end-to-end model optimisation. We formulate a Tracklet Association Unsupervised Deep Learning (TAUDL) framework characterised by jointly learning per-camera (within-camera) tracklet association (labelling) and cross-camera tracklet correlation by maximising the discovery of most likely tracklet relationships across camera views. Extensive experiments demonstrate the superiority of the proposed TAUDL model over the state-of-the-art unsupervised and domain adaptation re- id methods using six person re-id benchmarking datasets.