title: Design and performance of dual-polarization lumped-element kinetic inductance detectors for millimeter-wave polarimetry

abstract: Lumped-element kinetic inductance detectors (LEKIDs) are an attractive technology for millimeter-wave observations that require large arrays of extremely low-noise detectors. We designed, fabricated and characterized 64-element (128 LEKID) arrays of horn-coupled, dual-polarization LEKIDs optimized for ground-based CMB polarimetry. Our devices are sensitive to two orthogonal polarizations in a single spectral band centered on 150 GHz with $\Delta\nu/\nu=0.2$. The $65\times 65$ mm square arrays are designed to be tiled into the focal plane of an optical system. We demonstrate the viability of these dual-polarization LEKIDs with laboratory measurements. The LEKID modules are tested with an FPGA-based readout system in a sub-kelvin cryostat that uses a two-stage adiabatic demagnetization refrigerator. The devices are characterized using a blackbody and a millimeter-wave source. The polarization properties are measured with a cryogenic stepped half-wave plate. We measure the resonator parameters and the detector sensitivity, noise spectrum, dynamic range, and polarization response. The resonators have internal quality factors approaching $1\times 10^{6}$. The detectors have uniform response between orthogonal polarizations and a large dynamic range. The detectors are photon-noise limited above 1 pW of absorbed power. The noise-equivalent temperatures under a 3.4 K blackbody load are $<100~\mu\mathrm{K\sqrt{s}}$. The polarization fractions of detectors sensitive to orthogonal polarizations are >80%. The entire array is multiplexed on a single readout line, demonstrating a multiplexing factor of 128. The array and readout meet the requirements for 4 arrays to be read out simultaneously for a multiplexing factor of 512. This laboratory study demonstrates the first dual-polarization LEKID array optimized for CMB polarimetry and shows the readiness of the detectors for on-sky observations.


title: Singular measure traveling waves in an epidemiological model with continuous phenotypes

abstract: We consider the reaction-diffusion equation \begin{equation*} u_t=u_{xx}+\mu\left(\int_\Omega M(y,z)u(t,x,z)dz-u\right) + u\left(a(y)-\int_\Omega K(y,z) u(t,x,z)dz\right) , \end{equation*} where $ u=u(t,x,y) $ stands for the density of a theoretical population with a spatial ($x\in\mathbb R$) and phenotypic ($y\in\Omega\subset \mathbb R^n$) structure, $ M(y,z) $ is a mutation kernel acting on the phenotypic space, $ a(y) $ is a fitness function and $ K(y,z) $ is a competition kernel. Using a vanishing viscosity method, we construct measure-valued traveling waves for this equation, and present particular cases where singular traveling waves do exist. We determine that the speed of the constructed traveling waves is the expected spreading speed $ c^*:=2\sqrt{-\lambda_1} $, where $ \lambda_1 $ is the principal eigenvalue of the linearized equation. As far as we know, this is the first construction of a measure-valued traveling wave for a reaction-diffusion equation.


title: A New Proof for a Triple Product Formula for Plane Partitions

abstract: Stanley generalized MacMahon's classical theorem by proving a product formula for the norm-trace generating function for plane partition with unbounded parts. In his recent work on biothorgonal polynomials, Kamioka proved a finite analogue of Stanley's formula for plane partitions with bounded parts (arXiv:1508.01674). In this paper, we use techniques from the enumeration of tilings to give a new proof for Kamioka's formula.


title: Solving differential equations with unknown constitutive relations as recurrent neural networks

abstract: We solve a system of ordinary differential equations with an unknown functional form of a sink (reaction rate) term. We assume that the measurements (time series) of state variables are partially available, and we use recurrent neural network to "learn" the reaction rate from this data. This is achieved by including a discretized ordinary differential equations as part of a recurrent neural network training problem. We extend TensorFlow's recurrent neural network architecture to create a simple but scalable and effective solver for the unknown functions, and apply it to a fedbatch bioreactor simulation problem. Use of techniques from recent deep learning literature enables training of functions with behavior manifesting over thousands of time steps. Our networks are structurally similar to recurrent neural networks, but differences in design and function require modifications to the conventional wisdom about training such networks.


title: Tunneling statistics for analysis of spin-readout fidelity

abstract: We investigate spin and charge dynamics of a quantum dot of phosphorus atoms coupled to a radio-frequency single-electron transistor (rf-SET) using full counting statistics. We show how the magnetic field plays a role in determining the bunching or anti-bunching tunnelling statistics of the donor dot and SET system. Using the counting statistics we show how to determine the lowest magnetic field where spin-readout is possible. We then show how such a measurement can be used to investigate and optimise single electron spin-readout fidelity.


title: Motivic double zeta values of odd weight

abstract: For odd $N\geq 5$, we establish a short exact sequence about motivic double zeta values $\zeta^{\mathfrak{m}}(r,N-r)$ with $r\geq3$ odd, $N-r\geq2$. From this we classify all the relations among depth-graded motivic double zeta values $\zeta^{\mathfrak{m}}(r,N-r)$ with $r\geq3$ odd, $N-r\geq2$. As a corollary, we confirm a conjecture of Zagier on the rank of a matrix which concerns relations among multiple zeta values of odd weight.


title: Linear-Time Sequence Classification using Restricted Boltzmann Machines

abstract: Classification of sequence data is the topic of interest for dynamic Bayesian models and Recurrent Neural Networks (RNNs). While the former can explicitly model the temporal dependencies between class variables, the latter have a capability of learning representations. Several attempts have been made to improve performance by combining these two approaches or increasing the processing capability of the hidden units in RNNs. This often results in complex models with a large number of learning parameters. In this paper, a compact model is proposed which offers both representation learning and temporal inference of class variables by rolling Restricted Boltzmann Machines (RBMs) and class variables over time. We address the key issue of intractability in this variant of RBMs by optimising a conditional distribution, instead of a joint distribution. Experiments reported in the paper on melody modelling and optical character recognition show that the proposed model can outperform the state-of-the-art. Also, the experimental results on optical character recognition, part-of-speech tagging and text chunking demonstrate that our model is comparable to recurrent neural networks with complex memory gates while requiring far fewer parameters.


title: Borel functors, interpretations, and strong conceptual completeness for $\mathcal L_{\omega_1\omega}$

abstract: We prove a strong conceptual completeness theorem (in the sense of Makkai) for the infinitary logic $\mathcal L_{\omega_1\omega}$: every countable $\mathcal L_{\omega_1\omega}$-theory can be canonically recovered from its standard Borel groupoid of countable models, up to a suitable syntactical notion of equivalence. This implies that given two theories $(\mathcal L, \mathcal T)$ and $(\mathcal L', \mathcal T')$ (in possibly different languages $\mathcal L, \mathcal L'$), every Borel functor $\mathsf{Mod}(\mathcal L', \mathcal T') \to \mathsf{Mod}(\mathcal L, \mathcal T)$ between the respective groupoids of countable models is Borel naturally isomorphic to the functor induced by some $\mathcal L'_{\omega_1\omega}$-interpretation of $\mathcal T$ in $\mathcal T'$. This generalizes a recent result of Harrison-Trainor, Miller, and Montalb\'an in the case where $\mathcal T, \mathcal T'$ each have a single countable model up to isomorphism.


title: Geometry of wave propagation on active deformable surfaces

abstract: Fundamental biological and biomimetic processes, from tissue morphogenesis to soft robotics, rely on the propagation of chemical and mechanical surface waves to signal and coordinate active force generation. The complex interplay between surface geometry and contraction wave dynamics remains poorly understood, but will be essential for the future design of chemically-driven soft robots and active materials. Here, we couple prototypical chemical wave and reaction-diffusion models to non-Euclidean shell mechanics to identify and characterize generic features of chemo-mechanical wave propagation on active deformable surfaces. Our theoretical framework is validated against recent data from contractile wave measurements on ascidian and starfish oocytes, producing good quantitative agreement in both cases. The theory is then applied to illustrate how geometry and preexisting discrete symmetries can be utilized to focus active elastic surface waves. We highlight the practical potential of chemo-mechanical coupling by demonstrating spontaneous wave-induced locomotion of elastic shells of various geometries. Altogether, our results show how geometry, elasticity and chemical signaling can be harnessed to construct dynamically adaptable, autonomously moving mechanical surface wave guides.


title: Learnable Explicit Density for Continuous Latent Space and Variational Inference

abstract: In this paper, we study two aspects of the variational autoencoder (VAE): the prior distribution over the latent variables and its corresponding posterior. First, we decompose the learning of VAEs into layerwise density estimation, and argue that having a flexible prior is beneficial to both sample generation and inference. Second, we analyze the family of inverse autoregressive flows (inverse AF) and show that with further improvement, inverse AF could be used as universal approximation to any complicated posterior. Our analysis results in a unified approach to parameterizing a VAE, without the need to restrict ourselves to use factorial Gaussians in the latent real space.


title: Multiresolution Consensus Clustering in Networks

abstract: Networks often exhibit structure at disparate scales. We propose a method for identifying community structure at different scales based on multiresolution modularity and consensus clustering. Our contribution consists of two parts. First, we propose a strategy for sampling the entire range of possible resolutions for the multiresolution modularity quality function. Our approach is directly based on the properties of modularity and, in particular, provides a natural way of avoiding the need to increase the resolution parameter by several orders of magnitude to break a few remaining small communities, necessitating the introduction of ad-hoc limits to the resolution range with standard sampling approaches. Second, we propose a hierarchical consensus clustering procedure, based on a modified modularity, that allows one to construct a hierarchical consensus structure given a set of input partitions. While here we are interested in its application to partitions sampled using multiresolution modularity, this consensus clustering procedure can be applied to the output of any clustering algorithm. As such, we see many potential applications of the individual parts of our multiresolution consensus clustering procedure in addition to using the procedure itself to identify hierarchical structure in networks.


title: Spectral Weight of Resonant Inelastic X-Ray Scattering in Doped Cuprates: Effect of Core-Hole Lifetime

abstract: We examine the effect of core-hole lifetime on the spectral weight of resonant inelastic x-ray scattering (RIXS) in hole-doped cuprates. We calculate the spectral weight by using exact diagonalization technique for a 4x4 doped Hubbard lattice and find that spin-flip channel detecting single-magnon excitation is less sensitive to the core-hole lifetime while in non-spin-flip channel the spectral weight is strongly dependent on the lifetime. In the latter, charge and two-magnon excitations predominately contribute to RIXS for short and long core-hole lifetimes, respectively. For a realistic value of the core-hole lifetime in cuprates, both the charge and two-magnon excitations are expected to contribute to non-spin-flip channel in RIXS when the incident-photon energy is tuned to the main peak of x-ray absorption spectrum.


title: Markovian master equation for nonlinear systems

abstract: Within the f-deformed oscillator formalism, we derive a Markovian master equation for the description of the damped dynamics of nonlinear systems that interact with their environment. The applicability of this treatment to the particular case of a Morse-like oscillator interacting with a thermal field is illustrated, and the decay of quantum coherence in such a system is analyzed in terms of the evolution on phase space of its nonlinear coherent states via the Wigner function.


title: Improved Upper Bound on the Network Function Computing Capacity

abstract: The problem of network function computation over a directed acyclic network is investigated in this paper. In such a network, a sink node desires to compute with zero error a {\em target function}, of which the inputs are generated at multiple source nodes. The edges in the network are assumed to be error-free and have limited capacity. The nodes in the network are assumed to have unbounded computing capability and be able to perform network coding. The {\em computing rate} of a network code that can compute the target function over the network is the average number of times that the target function is computed with zero error for one use of the network. In this paper, we obtain an improved upper bound on the computing capacity, which is applicable to arbitrary target functions and arbitrary network topologies. This improved upper bound not only is an enhancement of the previous upper bounds but also is the first tight upper bound on the computing capacity for computing an arithmetic sum over a certain non-tree network, which has been widely studied in the literature. We also introduce a multi-dimensional array approach that facilitates evaluation of the improved upper bound. Furthermore, we apply this bound to the problem of computing a vector-linear function over a network. With this bound, we are able to not only enhance a previous result on computing a vector-linear function over a network but also simplify the proof significantly. Finally, we prove that for computing the binary maximum function over the reverse butterfly network, our improved upper bound is not achievable. This result establishes that in general our improved upper bound is non achievable, but whether it is asymptotically achievable or not remains open.


title: On Scaling Invariance and Type-I Singularities for the Compressible Navier-Stokes Equations

abstract: We find a new scaling invariance of the barotropic compressible Navier-Stokes equations. Then it is shown that type I singularities of solutions with $$\limsup_{t \nearrow T}|{\rm div} u(t, x)|(T - t) \leq \kappa,$$ can never happen at time $T$ for all adiabatic number $\gamma \geq 1$. Here $\kappa > 0$ doesn't depend on the initial data. This is achieved by proving the regularity of solutions under $$\rho(t, x) \leq \frac{M}{(T - t)^\kappa},\quad M < \infty.$$ This new scaling invariance also motivates us to construct an explicit type II blowup solution for $\gamma > 1$.


title: Lattice Recurrent Unit: Improving Convergence and Statistical Efficiency for Sequence Modeling

abstract: Recurrent neural networks have shown remarkable success in modeling sequences. However low resource situations still adversely affect the generalizability of these models. We introduce a new family of models, called Lattice Recurrent Units (LRU), to address the challenge of learning deep multi-layer recurrent models with limited resources. LRU models achieve this goal by creating distinct (but coupled) flow of information inside the units: a first flow along time dimension and a second flow along depth dimension. It also offers a symmetry in how information can flow horizontally and vertically. We analyze the effects of decoupling three different components of our LRU model: Reset Gate, Update Gate and Projected State. We evaluate this family on new LRU models on computational convergence rates and statistical efficiency. Our experiments are performed on four publicly-available datasets, comparing with Grid-LSTM and Recurrent Highway networks. Our results show that LRU has better empirical computational convergence rates and statistical efficiency values, along with learning more accurate language models.


title: Fine-Grained Retrieval of Sports Plays using Tree-Based Alignment of Trajectories

abstract: We propose a novel method for effective retrieval of multi-agent spatiotemporal tracking data. Retrieval of spatiotemporal tracking data offers several unique challenges compared to conventional text-based retrieval settings. Most notably, the data is fine-grained meaning that the specific location of agents is important in describing behavior. Additionally, the data often contains tracks of multiple agents (e.g., multiple players in a sports game), which generally leads to a permutational alignment problem when performing relevance estimation. Due to the frequent position swap of agents, it is difficult to maintain the correspondence of agents, and such issues make the pairwise comparison problematic for multi-agent spatiotemporal data. To address this issue, we propose a tree-based method to estimate the relevance between multi-agent spatiotemporal tracks. It uses a hierarchical structure to perform multi-agent data alignment and partitioning in a coarse-to-fine fashion. We validate our approach via user studies with domain experts. Our results show that our method boosts performance in retrieving similar sports plays -- especially in interactive situations where the user selects a subset of trajectories compared to current state-of-the-art methods.


title: Finite temperature sum rules in the vector channel at finite momentum

abstract: Exact sum rules for the longitudinal and transverse part of the vector channel spectral functions at nonzero momentum are derived in the first part of the paper. The sum rules are formulated for the finite temperature spectral functions, from which the vacuum component has been subtracted, and represent a generalization of previous work in which sum rules were derived only for the zero-momentum limit. In the second part of the paper, we demonstrate how the sum rules can be used as constraints in spectral fits to lattice data at various temperatures, with the latest dynamical lattice QCD data at zero momentum.


title: Finite index theorems for iterated Galois groups of cubic polynomials

abstract: Let $K$ be a number field or a function field. Let $f\in K(x)$ be a rational function of degree $d\geq 2$, and let $\beta\in\mathbb{P}^1(K)$. For all $n\in\mathbb{N}\cup\{\infty\}$, the Galois groups $G_n(\beta)=\text{Gal}(K(f^{-n}(\beta))/K)$ embed into $\text{Aut}(T_n)$, the automorphism group of the $d$-ary rooted tree of level $n$. A major problem in arithmetic dynamics is the arboreal finite index problem: determining when $[\text{Aut}(T_\infty):G_\infty]<\infty$. When $f$ is a cubic polynomial and $K$ is a function field of transcendence degree $1$ over an algebraic extension of $\mathbb{Q}$, we resolve this problem by proving a list of necessary and sufficient conditions for finite index. This is the first result that gives necessary and sufficient conditions for finite index, and can be seen as a dynamical analog of the Serre Open Image Theorem. When $K$ is a number field, our proof is conditional on both the $abc$ conjecture for $K$ and Vojta's conjecture for blowups of $\mathbb{P}^1\times\mathbb{P}^1$. We also use our approach to solve some natural variants of the finite index problem for modified trees.


title: The Unified Transition Stages in Linearly Stable Shear Flows

abstract: Abrupt transition to turbulence may occur in pipe and channel flows at moderate flow rates, an unexpected event according to linear stability theory, and has been an open problem in fluid dynamics for more than a century. Extensive numerical simulations and statistical analyses of the plane-Poiseuille flow have been performed. A sequence of transition stages, which includes the equilibrium localized turbulence, the temporally persistent turbulence and the uniform turbulence, is identified. The spread of turbulent band is mainly caused by an oblique extension at moderate Reynolds numbers and band splitting at high Reynolds numbers. The small scale regime of a turbulent band coincides with the oblique swirl region of the mean flow in planes parallel to the walls. Furthermore, this transition scenario is shown quantitatively to be universal for channel and pipe flows in terms of a locally defined Reynolds number.


title: Inflation from higher dimensions

abstract: We derive the scalar potential in four spacetime dimensions from an eight-dimensional $(R+\gamma R^4-2\Lambda-F_4^2)$ gravity model in the presence of the 4-form $F_4$, with the (modified gravity) coupling constant $\gamma$ and the cosmological constant $\Lambda$, by using the flux compactification of four extra dimensions on a 4-sphere with the warp factor. The scalar potential depends upon two scalar fields: the scalaron and the 4-sphere volume modulus. We demonstrate that it gives rise to a viable description of cosmological inflation in the early Universe, with the scalaron playing the role of inflaton and the volume modulus to be (almost) stabilized at its minimum. We also speculate about a possibility of embedding our model in eight dimensions into a modified eight-dimensional supergavity that, in its turn, arises from a modified eleven-dimensional supergravity.


title: FPGA based Parallelized Architecture of Efficient Graph based Image Segmentation Algorithm

abstract: Efficient and real time segmentation of color images has a variety of importance in many fields of computer vision such as image compression, medical imaging, mapping and autonomous navigation. Being one of the most computationally expensive operation, it is usually done through software imple- mentation using high-performance processors. In robotic systems, however, with the constrained platform dimensions and the need for portability, low power consumption and simultaneously the need for real time image segmentation, we envision hardware parallelism as the way forward to achieve higher acceleration. Field-programmable gate arrays (FPGAs) are among the best suited for this task as they provide high computing power in a small physical area. They exceed the computing speed of software based implementations by breaking the paradigm of sequential execution and accomplishing more per clock cycle operations by enabling hardware level parallelization at an architectural level. In this paper, we propose three novel architectures of a well known Efficient Graph based Image Segmentation algorithm. These proposed implementations optimizes time and power consumption when compared to software implementations. The hybrid design proposed, has notable furtherance of acceleration capabilities delivering atleast 2X speed gain over other implemen- tations, which henceforth allows real time image segmentation that can be deployed on Mobile Robotic systems.


title: Scalable Tucker Factorization for Sparse Tensors - Algorithms and Discoveries

abstract: Given sparse multi-dimensional data (e.g., (user, movie, time; rating) for movie recommendations), how can we discover latent concepts/relations and predict missing values? Tucker factorization has been widely used to solve such problems with multi-dimensional data, which are modeled as tensors. However, most Tucker factorization algorithms regard and estimate missing entries as zeros, which triggers a highly inaccurate decomposition. Moreover, few methods focusing on an accuracy exhibit limited scalability since they require huge memory and heavy computational costs while updating factor matrices. In this paper, we propose P-Tucker, a scalable Tucker factorization method for sparse tensors. P-Tucker performs alternating least squares with a row-wise update rule in a fully parallel way, which significantly reduces memory requirements for updating factor matrices. Furthermore, we offer two variants of P-Tucker: a caching algorithm P-Tucker-Cache and an approximation algorithm P-Tucker-Approx, both of which accelerate the update process. Experimental results show that P-Tucker exhibits 1.7-14.1x speed-up and 1.4-4.8x less error compared to the state-of-the-art. In addition, P-Tucker scales near linearly with the number of observable entries in a tensor and number of threads. Thanks to P-Tucker, we successfully discover hidden concepts and relations in a large-scale real-world tensor, while existing methods cannot reveal latent features due to their limited scalability or low accuracy.


title: Games and Big Data: A Scalable Multi-Dimensional Churn Prediction Model

abstract: The emergence of mobile games has caused a paradigm shift in the video-game industry. Game developers now have at their disposal a plethora of information on their players, and thus can take advantage of reliable models that can accurately predict player behavior and scale to huge datasets. Churn prediction, a challenge common to a variety of sectors, is particularly relevant for the mobile game industry, as player retention is crucial for the successful monetization of a game. In this article, we present an approach to predicting game abandon based on survival ensembles. Our method provides accurate predictions on both the level at which each player will leave the game and their accumulated playtime until that moment. Further, it is robust to different data distributions and applicable to a wide range of response variables, while also allowing for efficient parallelization of the algorithm. This makes our model well suited to perform real-time analyses of churners, even for games with millions of daily active users.


title: Energy transport in the presence of long-range interactions

abstract: We study energy transport in the paradigmatic Hamiltonian mean-field (HMF) model and other related long-range interacting models using molecular dynamics simulations. We show that energy diffusion in the HMF model is subdiffusive in nature, which confirms a recently obtained intriguing result that, despite being globally interacting, this model is a thermal insulator in the thermo- dynamic limit. Surprisingly, when additional nearest neighbor interactions are introduced to the HMF model, an energy superdiffusion is observed. We show that these results can be consistently explained by studying energy localization due to thermally generated intrinsic localized excitation modes (discrete breathers) in nonlinear discrete systems. Our analysis for the HMF model can also be readily extended to more generic long-range interacting models where the interaction strength decays algebraically with the (shortest) distance between two lattice sites. This reconciles many of the apparently counter-intuitive results presented recently [C. Olivares and C. Anteneodo, Phys. Rev. E 94, 042117 (2016); D. Bagchi, Phys. Rev. E 95, 032102 (2017)] concerning energy transport in two such long-range interacting models.


title: Churn Prediction in Mobile Social Games: Towards a Complete Assessment Using Survival Ensembles

abstract: Reducing user attrition, i.e. churn, is a broad challenge faced by several industries. In mobile social games, decreasing churn is decisive to increase player retention and rise revenues. Churn prediction models allow to understand player loyalty and to anticipate when they will stop playing a game. Thanks to these predictions, several initiatives can be taken to retain those players who are more likely to churn. Survival analysis focuses on predicting the time of occurrence of a certain event, churn in our case. Classical methods, like regressions, could be applied only when all players have left the game. The challenge arises for datasets with incomplete churning information for all players, as most of them still connect to the game. This is called a censored data problem and is in the nature of churn. Censoring is commonly dealt with survival analysis techniques, but due to the inflexibility of the survival statistical algorithms, the accuracy achieved is often poor. In contrast, novel ensemble learning techniques, increasingly popular in a variety of scientific fields, provide high-class prediction results. In this work, we develop, for the first time in the social games domain, a survival ensemble model which provides a comprehensive analysis together with an accurate prediction of churn. For each player, we predict the probability of churning as function of time, which permits to distinguish various levels of loyalty profiles. Additionally, we assess the risk factors that explain the predicted player survival times. Our results show that churn prediction by survival ensembles significantly improves the accuracy and robustness of traditional analyses, like Cox regression.


title: On the Closest Vector Problem for Lattices Constructed from Polynomials and Their Cryptographic Applications

abstract: In this paper, we propose new classes of trapdoor functions to solve the closest vector problem in lattices. Specifically, we construct lattices based on properties of polynomials for which the closest vector problem is hard to solve unless some trapdoor information is revealed. We thoroughly analyze the security of our proposed functions using state-of-the-art attacks and results on lattice reductions. Finally, we describe how our functions can be used to design quantum-safe encryption schemes with reasonable public key sizes. In particular, our scheme can offer around $106$ bits of security with a public key size of around $6.4$ $\texttt{KB}$. Our encryption schemes are efficient with respect to key generation, encryption and decryption.


title: Eigen-Distortions of Hierarchical Representations

abstract: We develop a method for comparing hierarchical image representations in terms of their ability to explain perceptual sensitivity in humans. Specifically, we utilize Fisher information to establish a model-derived prediction of sensitivity to local perturbations of an image. For a given image, we compute the eigenvectors of the Fisher information matrix with largest and smallest eigenvalues, corresponding to the model-predicted most- and least-noticeable image distortions, respectively. For human subjects, we then measure the amount of each distortion that can be reliably detected when added to the image. We use this method to test the ability of a variety of representations to mimic human perceptual sensitivity. We find that the early layers of VGG16, a deep neural network optimized for object recognition, provide a better match to human perception than later layers, and a better match than a 4-stage convolutional neural network (CNN) trained on a database of human ratings of distorted image quality. On the other hand, we find that simple models of early visual processing, incorporating one or more stages of local gain control, trained on the same database of distortion ratings, provide substantially better predictions of human sensitivity than either the CNN, or any combination of layers of VGG16.


title: How entangled can a multi-party system possibly be?

abstract: The geometric measure of entanglement of a pure quantum state is defined to be its distance to the space of product (seperable) states. Given an $n$-partite system composed of subsystems of dimensions $d_1,\ldots, d_n$, an upper bound for maximally allowable entanglement is derived in terms of geometric measure of entanglement. This upper bound is characterized exclusively by the dimensions $d_1,\ldots, d_n$ of composite subsystems. Numerous examples demonstrate that the upper bound appears to be reasonably tight.


title: Discovering Playing Patterns: Time Series Clustering of Free-To-Play Game Data

abstract: The classification of time series data is a challenge common to all data-driven fields. However, there is no agreement about which are the most efficient techniques to group unlabeled time-ordered data. This is because a successful classification of time series patterns depends on the goal and the domain of interest, i.e. it is application-dependent. In this article, we study free-to-play game data. In this domain, clustering similar time series information is increasingly important due to the large amount of data collected by current mobile and web applications. We evaluate which methods cluster accurately time series of mobile games, focusing on player behavior data. We identify and validate several aspects of the clustering: the similarity measures and the representation techniques to reduce the high dimensionality of time series. As a robustness test, we compare various temporal datasets of player activity from two free-to-play video-games. With these techniques we extract temporal patterns of player behavior relevant for the evaluation of game events and game-business diagnosis. Our experiments provide intuitive visualizations to validate the results of the clustering and to determine the optimal number of clusters. Additionally, we assess the common characteristics of the players belonging to the same group. This study allows us to improve the understanding of player dynamics and churn behavior.


title: Optimal Global Test for Functional Regression

abstract: This paper studies the optimal testing for the nullity of the slope function in the functional linear model using smoothing splines. We propose a generalized likelihood ratio test based on an easily implementable data-driven estimate. The quality of the test is measured by the minimal distance between the null and the alternative set that still allows a possible test. The lower bound of the minimax decay rate of this distance is derived, and test with a distance that decays faster than the lower bound would be impossible. We show that the minimax optimal rate is jointly determined by the smoothing spline kernel and the covariance kernel. It is shown that our test attains this optimal rate. Simulations are carried out to confirm the finite-sample performance of our test as well as to illustrate the theoretical results. Finally, we apply our test to study the effect of the trajectories of oxides of nitrogen ($\text{NO}_{\text{x}}$) on the level of ozone ($\text{O}_3$).


title: Correcting coherent errors with surface codes

abstract: We study how well topological quantum codes can tolerate coherent noise caused by systematic unitary errors such as unwanted $Z$-rotations. Our main result is an efficient algorithm for simulating quantum error correction protocols based on the 2D surface code in the presence of coherent errors. The algorithm has runtime $O(n^2)$, where $n$ is the number of physical qubits. It allows us to simulate systems with more than one thousand qubits and obtain the first error threshold estimates for several toy models of coherent noise. Numerical results are reported for storage of logical states subject to $Z$-rotation errors and for logical state preparation with general $SU(2)$ errors. We observe that for large code distances the effective logical-level noise is well-approximated by random Pauli errors even though the physical-level noise is coherent. Our algorithm works by mapping the surface code to a system of Majorana fermions.


title: Unsupervised Extraction of Representative Concepts from Scientific Literature

abstract: This paper studies the automated categorization and extraction of scientific concepts from titles of scientific articles, in order to gain a deeper understanding of their key contributions and facilitate the construction of a generic academic knowledgebase. Towards this goal, we propose an unsupervised, domain-independent, and scalable two-phase algorithm to type and extract key concept mentions into aspects of interest (e.g., Techniques, Applications, etc.). In the first phase of our algorithm we propose PhraseType, a probabilistic generative model which exploits textual features and limited POS tags to broadly segment text snippets into aspect-typed phrases. We extend this model to simultaneously learn aspect-specific features and identify academic domains in multi-domain corpora, since the two tasks mutually enhance each other. In the second phase, we propose an approach based on adaptor grammars to extract fine grained concept mentions from the aspect-typed phrases without the need for any external resources or human effort, in a purely data-driven manner. We apply our technique to study literature from diverse scientific domains and show significant gains over state-of-the-art concept extraction techniques. We also present a qualitative analysis of the results obtained.


title: Optimal Frequency Ranges for Sub-Microsecond Precision Pulsar Timing

abstract: Precision pulsar timing requires optimization against measurement errors and astrophysical variance from the neutron stars themselves and the interstellar medium. We investigate optimization of arrival time precision as a function of radio frequency and bandwidth. We find that increases in bandwidth that reduce the contribution from receiver noise are countered by the strong chromatic dependence of interstellar effects and intrinsic pulse-profile evolution. The resulting optimal frequency range is therefore telescope and pulsar dependent. We demonstrate the results for five pulsars included in current pulsar timing arrays and determine that they are not optimally observed at current center frequencies. For those objects, we find that better choices of total bandwidth as well as center frequency can improve the arrival-time precision. Wideband receivers centered at somewhat higher frequencies with respect to the currently adopted receivers can reduce required overall integration times and provide significant improvements in arrival time uncertainty by a factor of ~sqrt(2) in most cases, assuming a fixed integration time. We also discuss how timing programs can be extended to pulsars with larger dispersion measures through the use of higher-frequency observations.


title: Capacity of a Full-Duplex Wirelessly Powered Communication System with Self-Interference and Processing Cost

abstract: In this paper, we investigate the capacity of a point-to-point, full-duplex (FD), wirelessly powered communication system impaired by self-interference. This system is comprised of an energy transmitter (ET) and an energy harvesting user (EHU), both operating in a FD mode. The ET transmits energy towards the EHU. The EHU harvests this energy and uses it to transmit information back to the ET. As a result of the FD mode, both nodes are affected by self-interference. The self-interference has a different effect at the two nodes: it impairs the decoding of the received signal at the ET, however, it provides an additional source of energy for the EHU. This paper derives the capacity of this communication system assuming a processing cost at the EHU and additive white Gaussian noise channel with block fading. Thereby, we show that the capacity achieving scheme is relatively simple and therefore applicable to devices with limited resources. Moreover, our numerical results show significant improvements in terms of data rate when the capacity achieving strategy is employed compared to half-duplex transmission. Moreover, we show the positive and negative effects of the self-interference at the EHU and the ET, respectively. Furthermore, we show the crippling effect of the processing cost and demonstrate that failing to take it into consideration gives a false impression in terms of achievable rate.


title: A model of spreading of sudden events on social networks

abstract: Information spreading has been studied for decades, but its underlying mechanism is still under debate, especially for those ones spreading extremely fast through Internet. By focusing on the information spreading data of six typical events on Sina Weibo, we surprisingly find that the spreading of modern information shows some new features, i.e. either extremely fast or slow, depending on the individual events. To understand its mechanism, we present a Susceptible-Accepted-Recovered (SAR) model with both information sensitivity and social reinforcement. Numerical simulations show that the model can reproduce the main spreading patterns of the six typical events. By this model we further reveal that the spreading can be speeded up by increasing either the strength of information sensitivity or social reinforcement. Depending on the transmission probability and information sensitivity, the final accepted size can change from continuous to discontinuous transition when the strength of the social reinforcement is large. Moreover, an edge-based compartmental theory is presented to explain the numerical results. These findings may be of significance on the control of information spreading in modern society.


title: Universal two-parameter $\mathcal{W}_{\infty}$-algebra and vertex algebras of type $\mathcal{W}(2,3,\dots, N)$

abstract: We prove the longstanding physics conjecture that there exists a unique two-parameter $\mathcal{W}_{\infty}$-algebra which is freely generated of type $\mathcal{W}(2,3,\dots)$, and generated by the weights $2$ and $3$ fields. Subject to some mild constraints, all vertex algebras of type $\mathcal{W}(2,3,\dots, N)$ for some $N$ can be obtained as quotients of this universal algebra. As an application, we show that for $n\geq 3$, the structure constants for the principal $\mathcal{W}$-algebras $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ are rational functions of $k$ and $n$, and we classify all coincidences among the simple quotients $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ for $n\geq 2$. We also obtain many new coincidences between $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ and other vertex algebras of type $\mathcal{W}(2,3,\dots, N)$ which arise as cosets of affine vertex algebras or nonprincipal $\mathcal{W}$-algebras


title: Two distinct superconducting pairing states divided by the nematic end point in FeSe$_{1-x}$S$_{x}$

abstract: Unconventional superconductivity often competes or coexists with other electronic orders. In iron-based superconductors, relationship between superconductivity and the nematic state, where the lattice rotational symmetry is spontaneously broken in the electronic states, has been discussed but unclear. Using spectroscopic-imaging scanning tunneling microscopy, we investigate how the band structure and the superconducting gap evolve in FeSe$_{1-x}$S$_x$, as the sulfur substitution suppresses nematicity that eventually diminishes at the nematic end point (NEP) at $x=0.17$. Anisotropic quasiparticle-interference patterns, which represent the nematic band structure, gradually become isotropic with increasing $x$ without detectable anomalies in the band parameters at the NEP. By contrast, the superconducting gap, which is almost intact in the nematic phase, suddenly shrinks as soon as $x$ exceeds the NEP. Our observation implies that the presence or absence of nematicity results in two distinct pairing states, whereas the pairing interaction is insensitive to the strength of nematicity. This provides a clue for understanding the pairing mechanism.


title: Efficient K-Shot Learning with Regularized Deep Networks

abstract: Feature representations from pre-trained deep neural networks have been known to exhibit excellent generalization and utility across a variety of related tasks. Fine-tuning is by far the simplest and most widely used approach that seeks to exploit and adapt these feature representations to novel tasks with limited data. Despite the effectiveness of fine-tuning, itis often sub-optimal and requires very careful optimization to prevent severe over-fitting to small datasets. The problem of sub-optimality and over-fitting, is due in part to the large number of parameters used in a typical deep convolutional neural network. To address these problems, we propose a simple yet effective regularization method for fine-tuning pre-trained deep networks for the task of k-shot learning. To prevent overfitting, our key strategy is to cluster the model parameters while ensuring intra-cluster similarity and inter-cluster diversity of the parameters, effectively regularizing the dimensionality of the parameter search space. In particular, we identify groups of neurons within each layer of a deep network that shares similar activation patterns. When the network is to be fine-tuned for a classification task using only k examples, we propagate a single gradient to all of the neuron parameters that belong to the same group. The grouping of neurons is non-trivial as neuron activations depend on the distribution of the input data. To efficiently search for optimal groupings conditioned on the input data, we propose a reinforcement learning search strategy using recurrent networks to learn the optimal group assignments for each network layer. Experimental results show that our method can be easily applied to several popular convolutional neural networks and improve upon other state-of-the-art fine-tuning based k-shot learning strategies by more than10%


title: Search for the rare decays $J/\psi \to D^{0} e^{+}e^{-} +c.c.$ and $\psi(3686) \to D^{0} e^{+}e^{-} +c.c.$

abstract: Using the data samples of $(1310.6\pm7.2 )\times 10^{6}$ $J/\psi$ events and $(448.1\pm2.9)\times 10^{6}$ $\psi(3686)$ events collected with the BESIII detector, we search for the rare decays $J/\psi \to D^{0} e^{+}e^{-} +c.c.$ and $\psi(3686) \to D^{0} e^{+}e^{-} +c.c.$. No significant signals are observed and the corresponding upper limits on the branching fractions at the $90\%$ confidence level are determined to be $Br(J/\psi \to D^{0} e^{+}e^{-} +c.c.)< 8.5\times 10^{-8}$ and $Br (\psi(3686) \to D^{0} e^{+}e^{-} +c.c.)<1.4\times 10^{-7}$, respectively. Our limit on $Br(J/\psi \to D^{0} e^{+}e^{-} +c.c.)$ is more stringent by two orders of magnitude than the previous results, and the $Br(\psi(3686) \to D^{0} e^{+}e^{-} +c.c.)$ is measured for the first time.


title: Different Modes of Star Formation: Gravitational Collapse of Magnetically Subcritical Cloud

abstract: Star formation in magnetically subcritical clouds is investigated using a three-dimensional non-ideal magneto-hydrodynamics simulation. Since rapid cloud collapse is suppressed until the magnetic flux is sufficiently removed from the initially magnetically subcritical cloud by ambipolar diffusion, it takes > 5-10t_ff to form a protostar, where t_ff is the freefall timescale of the initial cloud. The angular momentum of the star forming cloud is efficiently transferred to the interstellar medium before the rapid collapse begins, and the collapsing cloud has a very low angular momentum. Unlike the magnetically supercritical case, no large-scale low-velocity outflow appears in such a collapsing cloud due to the short lifetime of the first core. Following protostar formation, a very weak high-velocity jet, which has a small momentum and might disappear at a later time, is driven near the protostar, while the circumstellar disc does not grow during the early mass accretion phase. The results show that the star formation process in magnetically subcritical clouds is qualitatively different from that in magnetically supercritical clouds.


title: Generating Nontrivial Melodies for Music as a Service

abstract: We present a hybrid neural network and rule-based system that generates pop music. Music produced by pure rule-based systems often sounds mechanical. Music produced by machine learning sounds better, but still lacks hierarchical temporal structure. We restore temporal hierarchy by augmenting machine learning with a temporal production grammar, which generates the music's overall structure and chord progressions. A compatible melody is then generated by a conditional variational recurrent autoencoder. The autoencoder is trained with eight-measure segments from a corpus of 10,000 MIDI files, each of which has had its melody track and chord progressions identified heuristically. The autoencoder maps melody into a multi-dimensional feature space, conditioned by the underlying chord progression. A melody is then generated by feeding a random sample from that space to the autoencoder's decoder, along with the chord progression generated by the grammar. The autoencoder can make musically plausible variations on an existing melody, suitable for recurring motifs. It can also reharmonize a melody to a new chord progression, keeping the rhythm and contour. The generated music compares favorably with that generated by other academic and commercial software designed for the music-as-a-service industry.


title: Realization of universal nonadiabatic geometric control on decoherence-free qubits in the XY model

abstract: A fundamental requirement of quantum information processing is the protection from the adverse effects of decoherence and noise. Decoherence-free subspaces and geometric processing are important steps of quantum information protection. Here, we provide a new experimentally feasible scheme to combine decoherence-free subspaces with nonadiabatic geometric manipulations to attain a universal quantum computation. The proposed scheme is different from previous proposals and is based on the typical XY interaction coupling, which can be set up in various nano-engineered systems and therefore open up for realization of nonadiabatic holonomic quantum computation in decoherence-free subspaces.


title: The Quest for Scalability and Accuracy in the Simulation of the Internet of Things: an Approach based on Multi-Level Simulation

abstract: This paper presents a methodology for simulating the Internet of Things (IoT) using multi-level simulation models. With respect to conventional simulators, this approach allows us to tune the level of detail of different parts of the model without compromising the scalability of the simulation. As a use case, we have developed a two-level simulator to study the deployment of smart services over rural territories. The higher level is base on a coarse grained, agent-based adaptive parallel and distributed simulator. When needed, this simulator spawns OMNeT++ model instances to evaluate in more detail the issues concerned with wireless communications in restricted areas of the simulated world. The performance evaluation confirms the viability of multi-level simulations for IoT environments.


title: Diffusion dynamics and steady states of systems of hard rods on the square lattice

abstract: It is known from grand canonical simulations of a system of hard rods on two dimensional lattices that an orientationally ordered nematic phase exists only when the length of the rods is at least seven. However, a recent microcanonical simulation with diffusion kinetics, conserving both total density and zero nematic order, reported the existence of a nematically phase segregated steady state with interfaces in the diagonal direction for rods of length six [Phys. Rev. E 95, 052130 (2017)], violating the equivalence of different ensembles for systems in equilibrium. We resolve this inconsistency by demonstrating that the kinetics violate detailed balance condition and drives the system to a nonequilibrium steady state. By implementing diffusion kinetics that drives the system to equilibrium, even within this constrained ensemble, we recover earlier results showing phase segregation only for rods of length greater than or equal to seven. Furthermore, in contrast to the nonequilibrium steady state, the interface has no preferred orientational direction. In addition, by implementing different nonequilibrium kinetics, we show that the interface between the phase segregated states can lie in different directions depending on the choice of kinetics.


title: Threshold Factorization Redux

abstract: We reanalyze the factorization theorems for Drell-Yan process and for deep inelastic scattering near threshold, as constructed in the framework of the soft-collinear effective theory (SCET), from a new, consistent perspective. In order to formulate the factorization near threshold in SCET, we should include an additional degree of freedom with small energy, collinear to the beam direction. The corresponding collinear-soft mode is included to describe the parton distribution function (PDF) near threshold. The soft function is modified by subtracting the contribution of the collinear-soft modes in order to avoid double counting on the overlap region. As a result, the proper soft function becomes infrared finite, and all the factorized parts are free of rapidity divergence. Furthermore, the separation of the relevant scales in each factorized part becomes manifest. We apply the same idea to the dihadron production in $e^+ e^-$ annihilation near threshold, and show that the resultant soft function is also free of infrared and rapidity divergences.


title: The effect of photoionising feedback on star formation in isolated and colliding clouds

abstract: We investigate star formation occurring in idealised giant molecular clouds, comparing structures that evolve in isolation versus those undergoing a collision. Two different collision speeds are investigated and the impact of photoionising radiation from the stars is determined. We find that a colliding system leads to more massive star formation both with and without the addition of feedback, raising overall star formation efficiencies (SFE) by a factor of 10 and steepening the high-mass end of the stellar mass function. This rise in SFE is due to increased turbulent compression during the cloud collision. While feedback can both promote and hinder star formation in the isolated system, it increases the SFE by approximately 1.5 times in the colliding case when the thermal speed of the resulting HII regions matches the shock propagation speed in the collision.


title: Deep Convolutional Neural Networks as Generic Feature Extractors

abstract: Recognizing objects in natural images is an intricate problem involving multiple conflicting objectives. Deep convolutional neural networks, trained on large datasets, achieve convincing results and are currently the state-of-the-art approach for this task. However, the long time needed to train such deep networks is a major drawback. We tackled this problem by reusing a previously trained network. For this purpose, we first trained a deep convolutional network on the ILSVRC2012 dataset. We then maintained the learned convolution kernels and only retrained the classification part on different datasets. Using this approach, we achieved an accuracy of 67.68 % on CIFAR-100, compared to the previous state-of-the-art result of 65.43 %. Furthermore, our findings indicate that convolutional networks are able to learn generic feature extractors that can be used for different tasks.


title: Explicit Methods for Hilbert Modular Forms of Weight 1

abstract: In this article we present an algorithm that uses the graded algebra structure of Hilbert modular forms to compute the adelic $q$-expansion of Hilbert modular forms of weight one as the quotient of Hilbert modular forms of higher weight. The main improvement to existing methods is that our algorithm can be applied in weight $1$, which fills a gap left by standard computational methods. Additionally, the algorithm can be used to compute Hilbert modular forms over finite fields in all characteristic simultaneously. We use this algorithm to compute a first candidate of a Hilbert modular form of parallel weight $1$ that is non-liftable and specify the exact conditions under which our candidate $q$-expansion corresponds to a non-liftable Hilbert Modular form.


title: Lifting divisors with imposed ramifications on a generic chain of loops

abstract: Proves that if a curve has totally split reduction and the corresponding skeleton (as a metric graph) is a chain of loops with generic edge lengths, then every divisor on the graph with imposed ramification at the rightmost vertex $p$ of the skeleton lifts to a divisor class on the curve with the same ramification at some point $P$ that retracts to $p$, extending the work of Cartwright-Jensen-Payne. Gives a positive answer to lifting proper tropical intersections within a polytopal domain in an analytic torus.


title: Morphing of Manifold-Valued Images inspired by Discrete Geodesics in Image Spaces

abstract: This paper addresses the morphing of manifold-valued images based on the time discrete geodesic paths model of Berkels, Effland and Rumpf 2015. Although for our manifold-valued setting such an interpretation of the energy functional is not available so far, the model is interesting on its own. We prove the existence of a minimizing sequence within the set of $L^2(\Omega,\mathcal{H})$ images having values in a finite dimensional Hadamard manifold $\mathcal{H}$ together with a minimizing sequence of admissible diffeomorphisms. To this end, we show that the continuous manifold-valued functions are dense in $L^2(\Omega,\mathcal{H})$. We propose a space discrete model based on a finite difference approach on staggered grids, where we focus on the linearized elastic potential in the regularizing term. The numerical minimization alternates between i) the computation of a deformation sequence between given images via the parallel solution of certain registration problems for manifold-valued images, and ii) the computation of an image sequence with fixed first (template) and last (reference) frame based on a given sequence of deformations via the solution of a system of equations arising from the corresponding Euler-Lagrange equation. Numerical examples give a proof of the concept of our ideas.


title: On the stochastic restricted Liu-type maximum likelihood estimator in logistic regression

abstract: In order to overcome multicollinearity, we propose a stochastic restricted Liu-type max- imum likelihood estimator by incorporating Liu-type maximum likelihood estimator (Inan and Erdo- gan, 2013) to the logistic regression model when the linear restrictions are stochastic. We also discuss the properties of the new estimator. Moreover, we give a method to choose the biasing parameter in the new estimator. Finally, a simulation study is given to show the performance of the new estimator.


title: Efficient potential of mean force calculation from multiscale simulations: solute insertion in a lipid membrane

abstract: The determination of potentials of mean force for solute insertion in a membrane by means of all-atom molecular dynamics simulations is often hampered by sampling issues. A multiscale approach to conformational sampling was recently proposed by Bereau and Kremer (2016). It aims at accelerating the sampling of the atomistic conformational space by means of a systematic backmapping of coarse-grained snapshots. In this work, we first analyze the efficiency of this method by comparing its predictions for propanol insertion into a 1,2-Dimyristoyl-sn-glycero-3-phosphocholine membrane (DMPC) against reference atomistic simulations. The method is found to provide accurate results with a gain of one order of magnitude in computational time. We then investigate the role of the coarse-grained representation in affecting the reliability of the method in the case of a 1,2-Dioleoyl-sn-glycero-3-phosphocholine membrane (DOPC). We find that the accuracy of the results is tightly connected to the presence a good configurational overlap between the coarse-grained and atomistic models---a general requirement when developing multiscale simulation methods.


title: Asymptotic Performance of Coded Slotted ALOHA with Multi Packet Reception

abstract: In this letter, we develop a converse bound on the asymptotic load threshold of coded slotted ALOHA (CSA) schemes with K-multi packet reception capabilities at the receiver. Density evolution is used to track the average probability of packet segment loss and an area matching condition is applied to obtain the converse. For any given CSA rate, the converse normalized to K increases with K, which is in contrast with the results obtained so far for slotted ALOHA schemes based on successive interference cancellation. We show how the derived bound can be approached using spatially-coupled CSA.


title: Random Schr\"odinger Operators on discrete structures

abstract: The Anderson model serves to study the absence of wave propagation in a medium in the presence of impurities, and is one of the most studied examples in the theory of quantum disordered systems. In these notes we give a review of the spectral and dynamical properties of the Anderson Model on discrete structures, like the $d$-dimensional square lattice and the Bethe lattice, and the methods used to prove localization. These notes are based on a course given at the CIMPA School "Spectral Theory of Graphs and Manifolds" in Kairouan, 2016.


title: Quantization on manifolds with an embedded submanifold

abstract: We investigate a quantization problem which asks for the construction of an algebra for relative elliptic problems of pseudodifferential type associated to smooth embeddings. Specifically, we study the problem for embeddings in the category of compact manifolds with corners. The construction of a calculus for elliptic problems is achieved using the theory of Fourier integral operators on Lie groupoids. We show that our calculus is closed under composition and furnishes a so-called noncommutative completion of the given embedding. A representation of the algebra is defined and the continuity of the operators in the algebra on suitable Sobolev spaces is established.


title: Using Power-Hardware-in-the-Loop Experiments together with Co-simulation for the Holistic Validation of Cyber-Physical Energy Systems

abstract: Composed of a large variety of technologies and applications with unprecedented complexity, the smart grid, as a cyber-physical energy system, needs careful investigation of the interactions between the various domains involved, especially the coupling between the power and information systems. In this paper, two modern ways of modeling and simulating complex cyber-physical energy systems are considered: Co-simulation and Power-Hardware-in-the-Loop experiments. An analysis of these two approaches shows that a complementary and joint setup with realistic behaviors of hardware equipment under a variety of complex environments, co-simulated by several simulators from different domains, create a complete and high performance environment to achieve a holistic approach for smart grid validation and roll out. In the scope of coupling these two techniques, major technical challenges are identified and advanced solutions are outlined.


title: Approximate quantum state reconstruction without a quantum channel

abstract: We investigate the optimal quantum state reconstruction from cloud to many spatially separated users by measure-broadcast-prepare scheme without the availability of quantum channel. The quantum state equally distributed from cloud to arbitrary number of users is generated at each port by ensemble of known quantum states with assistance of classical information of measurement outcomes by broadcasting. The obtained quantum state for each user is optimal in the sense that the fidelity universally achieves the upper bound. We present the universal quantum state distribution by providing physical realizable measurement bases in the cloud as well as the reconstruction method for each user. The quantum state reconstruction scheme works for arbitrary many identical pure input states in general dimensional system.


title: Third-order optical conductivity of an electron fluid

abstract: We derive the nonlinear optical conductivity of an isotropic electron fluid at frequencies below the interparticle collision rate. In this regime, governed by hydrodynamics, the conductivity acquires a universal form at any temperature, chemical potential, and spatial dimension. We show that the nonlinear response of the fluid to a uniform field is dominated by the third-order conductivity tensor $\sigma^{(3)}$ whose magnitude and temperature dependence differ qualitatively from those in the conventional kinetic regime of higher frequencies. We obtain explicit formulas for $\sigma^{(3)}$ for Dirac materials such as graphene and Weyl semimetals. We make predictions for the third-harmonic generation, renormalization of the collective-mode spectrum, and the third-order circular magnetic birefringence experiments.


title: Rainbow: Combining Improvements in Deep Reinforcement Learning

abstract: The deep reinforcement learning community has made several independent improvements to the DQN algorithm. However, it is unclear which of these extensions are complementary and can be fruitfully combined. This paper examines six extensions to the DQN algorithm and empirically studies their combination. Our experiments show that the combination provides state-of-the-art performance on the Atari 2600 benchmark, both in terms of data efficiency and final performance. We also provide results from a detailed ablation study that shows the contribution of each component to overall performance.


title: Ultralow and Anisotropic Thermal Conductivity in Semiconductor As2Se3

abstract: An ultralow lattice thermal conductivity of 0.14 W$\cdot$ m$^{-1} \cdot$ K$^{-1}$ along the $\vec b$ axis of As$_2$Se$_3$ single crystals was obtained at 300 K by first-principles calculations involving the density functional theory and the resolution of the Boltzmann transport equation. This ultralow lattice thermal conductivity arises from the combination of two mechanisms: 1) a cascade-like fall of the low-lying optical modes, which results in avoided crossings of these with the acoustic modes, low sound velocities and increased scattering rates of the acoustic phonons; and 2) the repulsion between the lone-pair electrons of the As cations and the valence $p$ orbitals of the Se anions, which leads to an increase in the anharmonicity of the bonds. The physical origins of these mechanisms lie on the nature of the chemical bonding in the material and its strong anisotropy. These results, whose validity has been addressed by comparison with SnSe, for which excellent agreement between the theoretical predictions and the experiments is achieved, point out that As$_2$Se$_3$ could exhibit improved thermoelectric properties.


title: Covering vectors by spaces: Regular matroids

abstract: Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in the design of parameterized algorithms on regular matroids. We consider the problem of covering a set of vectors of a given finite dimensional linear space (vector space) by a subspace generated by a set of vectors of minimum size. Specifically, in the Space Cover problem, we are given a matrix M and a subset of its columns T; the task is to find a minimum set F of columns of M disjoint with T such that that the linear span of F contains all vectors of T. For graphic matroids this problem is essentially Stainer Forest and for cographic matroids this is a generalization of Multiway Cut. Our main result is the algorithm with running time 2^{O(k)}||M|| ^{O(1)} solving Space Cover in the case when M is a totally unimodular matrix over rationals, where k is the size of F. In other words, we show that on regular matroids the problem is fixed-parameter tractable parameterized by the rank of the covering subspace.


title: On the derivation of radial velocities of SB2 components: a "CCF vs TODCOR" comparison

abstract: The radial velocity (RV) of a single star is easily obtained from cross-correlation of the spectrum with a template, but the treatment of double-lined spectroscopic binaries (SB2s) is more difficult. Two different approaches were applied to a set of SB2s: the fit of the cross-correlation function with two normal distributions, and the cross-correlation with two templates, derived with the TODCOR code. It appears that the minimum masses obtained through the two methods are sometimes rather different, although their estimated uncertainties are roughly equal. Moreover, both methods induce a shift in the zero point of the secondary RVs, but it is less pronounced for TODCOR. All-in-all the comparison between the two methods is in favour of TODCOR.


title: Repeating and Non-repeating Fast Radio Bursts from Binary Neutron Star Mergers

abstract: Most of fast radio bursts (FRB) do not show evidence for repetition, and such non-repeating FRBs may be produced at the time of a merger of binary neutron stars (BNS), provided that the BNS merger rate is close to the high end of the currently possible range. However, the merger environment is polluted by dynamical ejecta, which may prohibit the radio signal to propagate. We examine this by using a general-relativistic simulation of a BNS merger, and show that the ejecta appears about 1 ms after the rotation speed of the merged star becomes the maximum. Therefore there is a time window in which an FRB signal can reach outside, and the short duration of non-repeating FRBs can be explained by screening after ejecta formation. A fraction of BNS mergers may leave a rapidly rotating and stable neutron star, and such objects may be the origin of repeating FRBs like FRB 121102. We show that a merger remnant would appear as a repeating FRB in a time scale of about 1-10 yrs, and expected properties are consistent with the observations of FRB 121102. We construct an FRB rate evolution model including these two populations of repeating and non-repeating FRBs from BNS mergers, and show that the detection rate of repeating FRBs relative to non-repeating ones rapidly increases with improving search sensitivity. This may explain that the only repeating FRB 121102 was discovered by the most sensitive FRB search with Arecibo. Several predictions are made, including appearance of a repeating FRB 1-10 years after a BNS merger that is localized by gravitational wave and subsequent electromagnetic radiation.


title: Regularity theory for singular nonlocal diffusion equations

abstract: We prove continuity for bounded weak solutions of a nonlinear nonlocal parabolic type equation associated to a Dirichlet form with a rough kernel. The equation is allowed to be singular at the level zero, and solutions may change sign. If the nonlinearity in the equation does not oscillate too much at the origin, the solution is proved to be moreover H\"older continuous. The results are new even when the Dirichlet form is the one corresponding to the fractional Laplacian.


title: Exotic states of matter with polariton chains

abstract: We consider linear periodic chains of exciton-polariton condensates formed by pumping polaritons non-resonantly into a linear network. To the leading order, such a sequence of condensates establishes relative phases as to minimize a classical one-dimensional XY Hamiltonian with nearest and next to nearest neighbors. We show that the low energy states of polaritonic linear chains demonstrate various classical regimes: ferromagnetic, antiferromagnetic and frustrated spiral phases, where quantum or thermal fluctuations are expected to give rise to a spin liquid state. At the same time nonlinear interactions at higher pumping intensities bring about phase chaos and novel exotic phases.


title: Liquid crystalline behaviour of self-assembled Laponite PLL-PEG nanocomposites

abstract: Synthetic Laponite-clay particles with platelet-like shape display strong aging when dispersed in aqueous solutions, preventing latter from reaching their natural liquid-crystalline equilibrium state. Here we introduce a facile method that successfully prevents this aging behaviour and enables accessing the systems' liquid-crystal and crystalline phases. We graft the comb-like polymer, poly(L-lysine)-g-poly(ethylene glycol) (PLL-PEG), onto the clay surfaces from solution, thereby screening the negative surface charges and thus ensuring steric stabilisation. We show zeta-sizer and rheology measurements, respectively, confirming complete steric coating and that aging of dilute samples is completely suppressed even after a year. Using evaporation as means to concentrate the particles, we observe various liquid crystalline textures under a polarized optical microscope (POM). Upon sequential spreading and drying, we are also able to obtain transparent films with hierarchical architecture.


title: Real-Time Simulation and Hardware-in-the-Loop Approaches for Integrating Renewable Energy Sources into Smart Grids: Challenges & Actions

abstract: The integration of distributed renewable energy sources and the multi-domain behaviours inside the cyber-physical energy system (smart grids) draws up major challenges. Their validation and roll out requires careful assessment, in term of modelling, simulation and testing. The traditional approach focusing on a particular object, actual hardware or a detailed model, while drastically simplifying the remainder of the system under test, is no longer sufficient. Real-time simulation and Hardware-in-the-Loop (HIL) techniques emerge as indispensable tools for validating the behaviour of renewable sources as well as their impact/interaction to with the cyber-physical energy system. This paper aims to provide an overview of the present status-quo of real-time and HIL approaches used for smart grids and their readiness for cyber-physical experiments. We investigate the current limitations of HIL techniques and point out necessary future developments. Subsequently, the paper highlights challenges that need specific attention as well as ongoing actions and further research directions.


title: A hybrid approach to solve the high-frequency Helmholtz equation with source singularity in smooth heterogeneous media

abstract: We propose a hybrid approach to solve the high-frequency Helmholtz equation with point source terms in smooth heterogeneous media. The method is based on the ray-based finite element method (ray-FEM), whose original version can not handle the singularity close to point sources accurately. This pitfall is addressed by combining the ray-FEM, which is used to compute the smooth far-field of the solution accurately, with a high-order asymptotic expansion close to the point source, which is used to properly capture the singularity of the solution in the near-field. The method requires a fixed number of grid points per wavelength to accurately represent the wave field with an asymptotic convergence rate of $\mathcal{O}(\omega^{-1/2})$, where $\omega$ is the frequency parameter in the Helmholtz equation. In addition, a fast sweeping-type preconditioner is used to solve the resulting linear system. We present numerical examples in 2D to show both accuracy and efficiency of our method as the frequency increases. In particular, we provide numerical evidence of the convergence rate, and we show empirically that the overall complexity is $\mathcal{O}(\omega^2)$ up to a poly-logarithmic factor.


title: Martingales and some generalizations arising from the supersymmetric hyperbolic sigma model

abstract: We introduce a family of real random variables $(\beta,\theta)$ arising from the supersymmetric nonlinear sigma model and containing the family $\beta$ introduced by Sabot, Tarr\`es, and Zeng [STZ17] in the context of the vertex-reinforced jump process. Using this family we construct an exponential martingale generalizing the one considered in [DMR17]. Moreover, using the full supersymmetric nonlinear sigma model we also construct a generalization of the exponential martingale involving Grassmann variables.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Heavy flavour in high-energy nuclear collisions: overview of transport calculations

abstract: Transport calculations are the tool to study medium modifications of heavy-flavour particle distributions in high-energy nuclear collisions. We give a brief overview on their state-of-the art as well as on the questions remaining open, from the evaluation of the transport coefficients to the effects of in-medium hadronization, from the rescattering in the hadronic phase to the possible presence of hot-medium effects also in small systems, like proton-nucleus collisions.


title: Detecting the Moment of Completion: Temporal Models for Localising Action Completion

abstract: Action completion detection is the problem of modelling the action's progression towards localising the moment of completion - when the action's goal is confidently considered achieved. In this work, we assess the ability of two temporal models, namely Hidden Markov Models (HMM) and Long-Short Term Memory (LSTM), to localise completion for six object interactions: switch, plug, open, pull, pick and drink. We use a supervised approach, where annotations of pre-completion and post-completion frames are available per action, and fine-tuned CNN features are used to train temporal models. Tested on the Action-Completion-2016 dataset, we detect completion within 10 frames of annotations for ~75% of completed action sequences using both temporal models. Results show that fine-tuned CNN features outperform hand-crafted features for localisation, and that observing incomplete instances is necessary when incomplete sequences are also present in the test set.


title: Heat and work in Markovian quantum master equations: concepts, fluctuation theorems, and computations

abstract: Markovian quantum master equations (MQMEs) were established nearly half a century ago. They have often been used in the study of irreversible thermodynamics. However, the previous results were mainly concerned about ensemble averages; the stochastic thermodynamics of these systems went unnoticed for a very long time. This situation remained unchanged until a variety of fluctuation theorems in classical and quantum regimes were found in the past two decades. In this paper, we systematically summarize the current understanding on the stochastic heat and work in MQMEs using two distinct strategies. One strategy is to treat the system and its surrounding heat bath as a closed quantum system, to suppose that the evolution of the composite system is unitary under a time-dependent total Hamiltonian and to define the heat and work as the changes in energy by applying two energy measurements scheme to the composite system. The other strategy is to unravel these MQMEs into random quantum jump trajectories (QJTs) and to define the stochastic heat and work along the individual trajectories. Many important physical concepts, mathematical techniques, and fluctuation theorems at different descriptive levels are given in as detailed a manner as possible. We also use concrete models to illustrate these results.


title: An Integrated Research Infrastructure for Validating Cyber-Physical Energy Systems

abstract: Renewables are key enablers in the plight to reduce greenhouse gas emissions and cope with anthropogenic global warming. The intermittent nature and limited storage capabilities of renewables culminate in new challenges that power system operators have to deal with in order to regulate power quality and ensure security of supply. At the same time, the increased availability of advanced automation and communication technologies provides new opportunities for the derivation of intelligent solutions to tackle the challenges. Previous work has shown various new methods of operating highly interconnected power grids, and their corresponding components, in a more effective way. As a consequence of these developments, the traditional power system is being transformed into a cyber-physical energy system, a smart grid. Previous and ongoing research have tended to mainly focus on how specific aspects of smart grids can be validated, but until there exists no integrated approach for the analysis and evaluation of complex cyber-physical systems configurations. This paper introduces integrated research infrastructure that provides methods and tools for validating smart grid systems in a holistic, cyber-physical manner. The corresponding concepts are currently being developed further in the European project ERIGrid.


title: Classification of Solar Wind with Machine Learning

abstract: We present a four-category classification algorithm for the solar wind, based on Gaussian Process. The four categories are the ones previously adopted in Xu & Borovsky [2015]: ejecta, coronal hole origin plasma, streamer belt origin plasma, and sector reversal origin plasma. The algorithm is trained and tested on a labeled portion of the OMNI dataset. It uses seven inputs: the solar wind speed $V_{sw}$, the temperature standard deviation $\sigma_T$, the sunspot number $R$, the $f_{10.7}$ index, the Alfven speed $v_A$, the proton specific entropy $S_p$ and the proton temperature $T_p$ compared to a velocity-dependent expected temperature. The output of the Gaussian Process classifier is a four element vector containing the probabilities that an event (one reading from the hourly-averaged OMNI database) belongs to each category. The probabilistic nature of the prediction allows for a more informative and flexible interpretation of the results, for instance being able to classify events as 'undecided'. The new method has a median accuracy larger than $90\%$ for all categories, even using a small set of data for training. The Receiver Operating Characteristic curve and the reliability diagram also demonstrate the excellent quality of this new method. Finally, we use the algorithm to classify a large portion of the OMNI dataset, and we present for the first time transition probabilities between different solar wind categories. Such probabilities represent the 'climatological' statistics that determine the solar wind baseline.


title: Global anomaly detection in two-dimensional symmetry-protected topological phases

abstract: Edge theories of symmetry-protected topological phases are well-known to possess global symmetry anomalies. In this work we focus on two-dimensional bosonic phases protected by an on-site symmetry and analyse the corresponding edge anomalies in more detail. Physical interpretations of the anomaly in terms of an obstruction to orbifolding and constructing symmetry-preserving boundaries are connected to the cohomology classification of symmetry-protected phases in two dimensions. Using the tensor network and matrix product state formalism we numerically illustrate our arguments and discuss computational detection schemes to identify symmetry-protected order in a ground state wave function.


title: Simulation-based Validation of Smart Grids - Status Quo and Future Research Trends

abstract: Smart grid systems are characterized by high complexity due to interactions between a traditional passive network and active power electronic components, coupled using communication links. Additionally, automation and information technology plays an important role in order to operate and optimize such cyber-physical energy systems with a high(er) penetration of fluctuating renewable generation and controllable loads. As a result of these developments the validation on the system level becomes much more important during the whole engineering and deployment process, today. In earlier development stages and for larger system configurations laboratory-based testing is not always an option. Due to recent developments, simulation-based approaches are now an appropriate tool to support the development, implementation, and roll-out of smart grid solutions. This paper discusses the current state of simulation-based approaches and outlines the necessary future research and development directions in the domain of power and energy systems.


title: A Multiscale Patch Based Convolutional Network for Brain Tumor Segmentation

abstract: This article presents a multiscale patch based convolutional neural network for the automatic segmentation of brain tumors in multi-modality 3D MR images. We use multiscale deep supervision and inputs to train a convolutional network. We evaluate the effectiveness of the proposed approach on the BRATS 2017 segmentation challenge where we obtained dice scores of 0.755, 0.900, 0.782 and 95% Hausdorff distance of 3.63mm, 4.10mm, and 6.81mm for enhanced tumor core, whole tumor and tumor core respectively.


title: Enumeration Problems for Regular Path Queries

abstract: Evaluation of regular path queries (RPQs) is a central problem in graph databases. We investigate the corresponding enumeration problem, that is, given a graph and an RPQ, enumerate all paths in the graph that match the RPQ. We consider several versions of this problem, corresponding to different semantics of RPQs that have recently been considered: arbitrary paths, shortest paths, simple paths, and trails. Whereas arbitrary and shortest paths can be enumerated in polynomial delay, the situation is much more intricate for simple paths and trails. For instance, already the question if a given graph contains a simple path or trail of a certain length has cases with highly non-trivial solutions and cases that are long-standing open problems. In this setting, we study RPQ evaluation from a parameterized complexity perspective. We define a class of simple transitive expressions that is prominent in practice and for which we can prove two dichotomy-like results: one for simple paths and one for trails paths. We observe that, even though simple path semantics and trail semantics are intractable for RPQs in general, they are feasible for the vast majority of the kinds of RPQs that users use in practice. At the heart of this study is a result of independent interest on the parameterized complexity of finding disjoint paths in graphs: the two disjoint paths problem is W[1]-hard if parameterized by the length of one of the two paths.


title: A Semantic Relevance Based Neural Network for Text Summarization and Text Simplification

abstract: Text summarization and text simplification are two major ways to simplify the text for poor readers, including children, non-native speakers, and the functionally illiterate. Text summarization is to produce a brief summary of the main ideas of the text, while text simplification aims to reduce the linguistic complexity of the text and retain the original meaning. Recently, most approaches for text summarization and text simplification are based on the sequence-to-sequence model, which achieves much success in many text generation tasks. However, although the generated simplified texts are similar to source texts literally, they have low semantic relevance. In this work, our goal is to improve semantic relevance between source texts and simplified texts for text summarization and text simplification. We introduce a Semantic Relevance Based neural model to encourage high semantic similarity between texts and summaries. In our model, the source text is represented by a gated attention encoder, while the summary representation is produced by a decoder. Besides, the similarity score between the representations is maximized during training. Our experiments show that the proposed model outperforms the state-of-the-art systems on two benchmark corpus.


title: Bottomonium suppression using a lattice QCD vetted potential

abstract: We estimate bottomonium yields in relativistic heavy-ion collisions using a lattice QCD vetted, complex-valued, heavy-quark potential embedded in a realistic, hydrodynamically evolving medium background. We find that the lattice-vetted functional form and temperature dependence of the proper heavy-quark potential dramatically reduces the dependence of the yields on parameters other than the temperature evolution, strengthening the picture of bottomonium as QGP thermometer. Our results also show improved agreement between computed yields and experimental data produced in RHIC 200 GeV/nucleon collisions. For LHC 2.76 TeV/nucleon collisions, the excited states, whose suppression has been used as a vital sign for quark-gluon-plasma production in a heavy-ion collision, are reproduced better than previous perturbatively-motivated potential models; however, at the highest LHC energies our estimates for bottomonium suppression begin to underestimate the data. Possible paths to remedy this situation are discussed.


title: Accretion outbursts in massive star formation

abstract: Using the HPC ressources of the state of Baden-W\"urttemberg, we modelled for the first time the luminous burst from a young massive star by accretion of material from its close environment. We found that the surroundings of young massive stars are shaped as a clumpy disk whose fragments provoke outbursts once they fall onto the protostar and concluded that similar strong luminous events observed in high-mass star forming regions may be a signature of the presence of such disks.


title: Cosmic ray signatures of a 2-3 Myr old local supernova

abstract: The supernova explosion which deposited $^{60}$Fe isotopes on Earth 2-3 million years ago should have also produced cosmic rays which contribute to the locally observed cosmic ray flux. We show that the contribution of this "local source" explains the "anomalies" observed in the positron and antiproton fluxes and explains why their spectral shape agrees with that of the proton flux. At the same time, this local source component accounts for the difference in the slopes of the spectra of cosmic ray nuclei as the result of the slightly varying relative importance of the "local" and the average component for distinct CR nuclei. Such a "local supernova" model for the spectra of nuclei can be tested via a combined measurement of the energy dependence of the boron-to-carbon (primary-to-secondary cosmic rays) ratio and of the antiproton spectrum: While the antiproton spectrum is predicted to extend approximately as a power law into the TeV range without any softening break, the B/C ratio is expected to show a "plateau" at a level fixed by the observed positron excess in the 30-300 GeV range. We discuss the observability of such a plateau with dedicated experiments for the measurement of the cosmic ray composition in 10 TeV energy range (NUCLEON, ISS-CREAM).


title: Human Pose Regression by Combining Indirect Part Detection and Contextual Information

abstract: In this paper, we propose an end-to-end trainable regression approach for human pose estimation from still images. We use the proposed Soft-argmax function to convert feature maps directly to joint coordinates, resulting in a fully differentiable framework. Our method is able to learn heat maps representations indirectly, without additional steps of artificial ground truth generation. Consequently, contextual information can be included to the pose predictions in a seamless way. We evaluated our method on two very challenging datasets, the Leeds Sports Poses (LSP) and the MPII Human Pose datasets, reaching the best performance among all the existing regression methods and comparable results to the state-of-the-art detection based approaches.


title: Limit law of a second class particle in TASEP with non-random initial condition

abstract: We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density $\rho$ on $\mathbb{Z}_-$ and $\lambda$ on $\mathbb{Z}_+$, and a second class particle initially at the origin. For $\rho<\lambda$, there is a shock and the second class particle moves with speed $1-\lambda-\rho$. For large time $t$, we show that the position of the second class particle fluctuates on a $t^{1/3}$ scale and determine its limiting law. We also obtain the limiting distribution of the number of steps made by the second class particle until time $t$.


title: Five-Nines Reliable Downward Routing in RPL

abstract: After a decade of research in low-power data collection, reaching arbitrary nodes has received comparatively little attention. The leading protocol for low-power IPv6 routing, RPL, is no exception, as it is often studied in multipoint-to-point scenarios. As a result, downward routing (from root to node) is still notoriously difficult, holding back the emergence of Internet of Things applications that involve actuation. In this paper, we focus on achieving industrial-grade reliability levels (1e-5 failure rate) in downward routing with RPL. We make every packet count, and classify the different causes of packet loss. We show how to mitigate each source of packet loss, by (1) introducing a gradient metric that favors reliable links, (2) increasing neighborhood awareness for accurate link selection, and (3) ensuring a robust routing state maintenance and packet forwarding. We demonstrate RPL downward routing with loss rates in the order of 1e-5 in four different testbeds up to 352 nodes, in both sparse and dense settings. We also validate our solution on top of a low-power TSCH scheduler, and achieve sub-percent low duty cycles and a channel utilization of 0.07% at every node, spread over 16 channels.


title: Vector-like quarks coupling discrimination at the LHC and future hadron colliders

abstract: The existence of new coloured states with spin one-half, i.e. extra-quarks, is a striking prediction of various classes of new physics models. Should one of these states be discovered during the 13 TeV runs of the LHC or at future high energy hadron colliders, understanding its properties will be crucial in order to shed light on the underlying model structure. Depending on the extra-quarks quantum number under SU(2)L, their coupling to Standard Model quarks and bosons have either a dominant left- or right-handed chiral component. By exploiting the polarisation properties of the top quarks arising from the decay of pair-produced extra quarks, we show how it is possible to discriminate among the two hypothesis in the whole discovery range currently accessible at the LHC, thus effectively narrowing down the possible interpretations of a discovered state in terms of new physics scenarios. Moreover, we estimate the discovery and discrimination power of future prototype hadron colliders with centre of mass energies of 33 and 100 TeV.


title: A Note on Gale, Kuhn, and Tucker's Reductions of Zero-Sum Games

abstract: Gale, Kuhn and Tucker (1950) introduced two ways to reduce a zero-sum game by packaging some strategies with respect to a probability distribution on them. In terms of value, they gave conditions for a desirable reduction. We show that a probability distribution for a desirable reduction relies on optimal strategies in the original game. Also, we correct an improper example given by them to show that the reverse of a theorem does not hold.


title: First narrow-band search for continuous gravitational waves from known pulsars in advanced detector data

abstract: Spinning neutron stars asymmetric with respect to their rotation axis are potential sources of continuous gravitational waves for ground-based interferometric detectors. In the case of known pulsars a fully coherent search, based on matched filtering, which uses the position and rotational parameters obtained from electromagnetic observations, can be carried out. Matched filtering maximizes the signal-to-noise (SNR) ratio, but a large sensitivity loss is expected in case of even a very small mismatch between the assumed and the true signal parameters. For this reason, {\it narrow-band} analyses methods have been developed, allowing a fully coherent search for gravitational waves from known pulsars over a fraction of a hertz and several spin-down values. In this paper we describe a narrow-band search of eleven pulsars using data from Advanced LIGO's first observing run. Although we have found several initial outliers, further studies show no significant evidence for the presence of a gravitational wave signal. Finally, we have placed upper limits on the signal strain amplitude lower than the spin-down limit for 5 of the 11 targets over the bands searched: in the case of J1813-1749 the spin-down limit has been beaten for the first time. For an additional 3 targets, the median upper limit across the search bands is below the spin-down limit. This is the most sensitive narrow-band search for continuous gravitational waves carried out so far.


title: Commutative ring spectra

abstract: In this survey paper on commutative ring spectra we present some basic features of commutative ring spectra and discuss model category structures. As a first interesting class of examples of such ring spectra we focus on (commutative) algebra spectra over commutative Eilenberg-MacLane ring spectra. We present two constructions that yield commutative ring spectra: Thom spectra associated to infinite loop maps and Segal's construction starting with bipermutative categories. We define topological Hochschild homology, some of its variants, and topological Andre-Quillen homology. Obstruction theory for commutative structures on ring spectra is described in two versions. The notion of etale extensions in the spectral world is tricky and we explain why. We define Picard groups and Brauer groups of commutative ring spectra and present examples.


title: Synchronizing Data Words for Register Automata

abstract: Register automata (RAs) are finite automata extended with a finite set of registers to store and compare data from an infinite domain. We study the concept of synchronizing data words in RAs: does there exist a data word that sends all states of the RA to a single state? For deterministic RAs with k registers (k-DRAs), we prove that inputting data words with 2k+1 distinct data from the infinite data domain is sufficient to synchronize. We show that the synchronization problem for DRAs is in general PSPACE-complete, and it is NLOGSPACE-complete for 1-DRAs. For nondeterministic RAs (NRAs), we show that Ackermann(n) distinct data (where n is the size of the RA) might be necessary to synchronize. The synchronization problem for NRAs is in general undecidable, however, we establish Ackermann-completeness of the problem for 1-NRAs. Another main result is the NEXPTIME-completeness of the length-bounded synchronization problem for NRAs, where a bound on the length of the synchronizing data word, written in binary, is given. A variant of this last construction allows to prove that the length-bounded universality problem for NRAs is co-NEXPTIME-complete.