title: Switching Mechanism and the Scalability of vertical-TFETs

abstract: In this work, vertical tunnel field-effect transistors (v-TFETs) based on vertically stacked heretojunctions from 2D transition metal dichalcogenide (TMD) materials are studied by atomistic quantum transport simulations. The switching mechanism of v-TFET is found to be different from previous predictions. As a consequence of this switching mechanism, the extension region, where the materials are not stacked over is found to be critical for turning off the v-TFET. This extension region makes the scaling of v-TFETs challenging. In addition, due to the presence of both positive and negative charges inside the channel, v-TFETs also exhibit negative capacitance. As a result, v-TFETs have good energy-delay products and are one of the promising candidates for low power applications.


title: Jet activity in the central BH of the Milky Way in 4th and 14th centuries CE

abstract: This paper discusses the historical evidence for the jets from the central Black Hole of the Galaxy in the 4th and 14th centuries. We suggest that the apparitions of a "lightening cross" during the day time recorded in 312, 351 and 1317 were caused by the line of two jets beamed back-to-back from the central black hole and crossed the visible projection of the Galaxy disc. All three historical accounts that record the flashing signs of a cross give precise time and geographical locations of these astronomical events (the vicinity of Rome, Jerusalem and the vicinity of Moscow respectively) and most importantly the position in the sky in connection to the Sun. These positions coincide with the location of the Milky Way center on the sky in these specific places and dates. Therefore, it is logical to assume that the intersection of the jets and the lighted projection of the Galaxy disc was the source of the cross visions in the Middle Ages. The forth evidence of crossing lights is found in russian chronicle under 1377 year. This event took place in the night sky under Moscow.


title: Prophet Secretary: Surpassing the $1-1/e$ Barrier

abstract: In the Prophet Secretary problem, samples from a known set of probability distributions arrive one by one in a uniformly random order, and an algorithm must irrevocably pick one of the samples as soon as it arrives. The goal is to maximize the expected value of the sample picked relative to the expected maximum of the distributions. This is one of the most simple and fundamental problems in online decision making that models the process selling one item to a sequence of costumers. For a closely related problem called the Prophet Inequality where the order of the random variables is adversarial, it is known that one can achieve in expectation $1/2$ of the expected maximum, and no better ratio is possible. For the Prophet Secretary problem, that is, when the variables arrive in a random order, Esfandiari et al.\ (ESA 2015) showed that one can actually get $1-1/e$ of the maximum. The $1-1/e$ bound was recently extended to more general settings (Ehsani et al., 2017). Given these results, one might be tempted to believe that $1-1/e$ is the correct bound. We show that this is not the case by providing an algorithm for the Prophet Secretary problem that beats the $1-1/e$ bound and achieves $1-1/e+1/400$ of the optimum value. We also prove a hardness result on the performance of algorithms under a natural restriction which we call deterministic distribution-insensitivity.


title: Asymptotics for high-dimensional covariance matrices and quadratic forms with applications to the trace functional and shrinkage

abstract: We establish large sample approximations for an arbitray number of bilinear forms of the sample variance-covariance matrix of a high-dimensional vector time series using $ \ell_1$-bounded and small $\ell_2$-bounded weighting vectors. Estimation of the asymptotic covariance structure is also discussed. The results hold true without any constraint on the dimension, the number of forms and the sample size or their ratios. Concrete and potential applications are widespread and cover high-dimensional data science problems such as tests for large numbers of covariances, sparse portfolio optimization and projections onto sparse principal components or more general spanning sets as frequently considered, e.g. in classification and dictionary learning. As two specific applications of our results, we study in greater detail the asymptotics of the trace functional and shrinkage estimation of covariance matrices. In shrinkage estimation, it turns out that the asymptotics differs for weighting vectors bounded away from orthogonaliy and nearly orthogonal ones in the sense that their inner product converges to 0.


title: A DGFEM for Uniformly Elliptic Two Dimensional Oblique Boundary Value Problems

abstract: In this paper we present and analyse a discontinuous Galerkin finite element method (DGFEM) for the approximation of solutions to elliptic partial differential equations in nondivergence form, with oblique boundary conditions, on curved domains. In "E. Kawecki, \emph{A DGFEM for Nondivergence Form Elliptic Equations with Cordes Coefficients on Curved Domains}", the author introduced a DGFEM for the approximation of solutions to elliptic partial differential equations in nondivergence form, with Dirichlet boundary conditions. In this paper, we extend the framework further, allowing for the oblique boundary condition. The method also provides an approximation for the constant occurring in the compatibility condition for the elliptic problems that we consider.


title: Local Lorentz force and ultrasound Doppler velocimetry in a vertical convection liquid metal flow

abstract: We report velocity measurements in a vertical turbulent convection flow cell that is filled with the eutectic liquid metal alloy gallium-indium-tin by the use of local Lorentz force velocimetry (LLFV) and ultrasound Doppler velocimetry (UDV). We demonstrate the applicability of LLFV for a thermal convection flow and reproduce a linear dependence of the measured force in the range of micronewtons on the local flow velocity magnitude. Furthermore, the presented experiment is used to explore scaling laws of the global turbulent transport of heat and momentum in this low-Prandtl-number convection flow. Our results are found to be consistent with theoretical predictions and recent direct numerical simulations.


title: Effects of the Coulomb potential in interference patterns of strong-field holography with photoelectrons

abstract: Using the semiclassical two-step model for strong-field ionization we investigate the interference structures emerging in strong-field photoelectron holography, taking into account the Coulomb potential of the atomic core. For every kind of the interference pattern predicted by the three-step model, we calculate the corresponding structure in the presence of the Coulomb field, showing that the Coulomb potential modifies the interference patterns significantly.


title: Measuring Stellar Atmospheric Parameters with ARES+MOOG

abstract: The technical aspects in the use of an Equivalent Width (EW) method are described for the derivation of spectroscopic stellar parameters with ARES+MOOG. While the science description behind this method can be found in many references, here the goal is to provide a user manual approach for the codes and scripts presented in for the tutorial. All the required data is available online (https://github.com/sousasag/school_codes).


title: Interplay of charge and spin dynamics after an interaction quench in the Hubbard model

abstract: We investigate the unitary dynamics following a sudden increase $\Delta U>0$ of repulsion in the paramagnetic sector of the half-filled Hubbard model on a Bethe lattice, by means of a variational approach that combines a Gutzwiller wavefunction with a partial Schrieffer-Wolff transformation, both defined through time-dependent variational parameters. Besides recovering at $\Delta U_c$ the known dynamical transition linked to the equilibrium Mott transition, we find pronounced dynamical anomaly at larger $\Delta U_*>\Delta U_c$ manifested in a singular behaviour of the long-time average of double occupancy. Although the real-time dynamics of the variational parameters at $\Delta U_*$ strongly resembles the one at $\Delta U_c$, careful frequency spectrum analysis suggests a dynamical crossover, instead of a dynamical transition, separating regions of a different behaviour of the spin-exchange.


title: Path-dependent convex conservation laws

abstract: For scalar conservation laws driven by a rough path $z(t)$, in the sense of Lions, Perthame and Souganidis in arXiv:1309.1931, we show that it is possible to replace $z(t)$ by a piecewise linear path, and still obtain the same solution at a given time, under the assumption of a convex flux function in one spatial dimension. This result is connected to the spatial regularity of solutions. We show that solutions are spatially Lipschitz continuous for a given set of times, depending on the path and the initial data. Fine properties of the map $z \mapsto u(\tau)$, for a fixed time $\tau$, are studied. We provide a detailed description of the properties of the rough path $z(t)$ that influences the solution. This description is extracted by a "factorization" of the solution operator (at time $\tau$). In a companion paper, we make use of the observations herein to construct computationally efficient numerical methods.


title: Green operators for low regularity spacetimes

abstract: In this paper we define and construct advanced and retarded Green operators for the wave operator on spacetimes with low regularity. In order to do so we require that the spacetime satisfies the condition of generalised hyperbolicity which is equivalent to well- posedness of the classical inhomogeneous problem with zero initial data where weak solutions are properly supported. Moreover, we provide an explicit formula for the kernel of the Green operators in terms of an arbitrary eigenbasis of H 1 and a suitable Green matrix that solves a system of second order ODEs.


title: Online Tool Condition Monitoring Based on Parsimonious Ensemble+

abstract: Accurate diagnosis of tool wear in metal turning process remains an open challenge for both scientists and industrial practitioners because of inhomogeneities in workpiece material, nonstationary machining settings to suit production requirements, and nonlinear relations between measured variables and tool wear. Common methodologies for tool condition monitoring still rely on batch approaches which cannot cope with a fast sampling rate of metal cutting process. Furthermore they require a retraining process to be completed from scratch when dealing with a new set of machining parameters. This paper presents an online tool condition monitoring approach based on Parsimonious Ensemble+, pENsemble+. The unique feature of pENsemble+ lies in its highly flexible principle where both ensemble structure and base-classifier structure can automatically grow and shrink on the fly based on the characteristics of data streams. Moreover, the online feature selection scenario is integrated to actively sample relevant input attributes. The paper presents advancement of a newly developed ensemble learning algorithm, pENsemble+, where online active learning scenario is incorporated to reduce operator labelling effort. The ensemble merging scenario is proposed which allows reduction of ensemble complexity while retaining its diversity. Experimental studies utilising real-world manufacturing data streams and comparisons with well known algorithms were carried out. Furthermore, the efficacy of pENsemble was examined using benchmark concept drift data streams. It has been found that pENsemble+ incurs low structural complexity and results in a significant reduction of operator labelling effort.


title: Quantum noise of electron-phonon heat current

abstract: We analyze heat current fluctuations between electrons and phonons in a metal. In equilibrium we recover the standard result consistent with the fluctuation-dissipation theorem. Here we show that heat current noise at finite frequencies, remains non-vanishing down to zero temperature. We briefly discuss the impact of electron-phonon heat current fluctuations on calorimetry, in particular in the regime of single microwave-photon detection.


title: Comparison of Parallelisation Approaches, Languages, and Compilers for Unstructured Mesh Algorithms on GPUs

abstract: Efficiently exploiting GPUs is increasingly essential in scientific computing, as many current and upcoming supercomputers are built using them. To facilitate this, there are a number of programming approaches, such as CUDA, OpenACC and OpenMP 4, supporting different programming languages (mainly C/C++ and Fortran). There are also several compiler suites (clang, nvcc, PGI, XL) each supporting different combinations of languages. In this study, we take a detailed look at some of the currently available options, and carry out a comprehensive analysis and comparison using computational loops and applications from the domain of unstructured mesh computations. Beyond runtimes and performance metrics (GB/s), we explore factors that influence performance such as register counts, occupancy, usage of different memory types, instruction counts, and algorithmic differences. Results of this work show how clang's CUDA compiler frequently outperform NVIDIA's nvcc, performance issues with directive-based approaches on complex kernels, and OpenMP 4 support maturing in clang and XL; currently around 10% slower than CUDA.


title: Fast amortized inference of neural activity from calcium imaging data with variational autoencoders

abstract: Calcium imaging permits optical measurement of neural activity. Since intracellular calcium concentration is an indirect measurement of neural activity, computational tools are necessary to infer the true underlying spiking activity from fluorescence measurements. Bayesian model inversion can be used to solve this problem, but typically requires either computationally expensive MCMC sampling, or faster but approximate maximum-a-posteriori optimization. Here, we introduce a flexible algorithmic framework for fast, efficient and accurate extraction of neural spikes from imaging data. Using the framework of variational autoencoders, we propose to amortize inference by training a deep neural network to perform model inversion efficiently. The recognition network is trained to produce samples from the posterior distribution over spike trains. Once trained, performing inference amounts to a fast single forward pass through the network, without the need for iterative optimization or sampling. We show that amortization can be applied flexibly to a wide range of nonlinear generative models and significantly improves upon the state of the art in computation time, while achieving competitive accuracy. Our framework is also able to represent posterior distributions over spike-trains. We demonstrate the generality of our method by proposing the first probabilistic approach for separating backpropagating action potentials from putative synaptic inputs in calcium imaging of dendritic spines.


title: Extracting low-dimensional dynamics from multiple large-scale neural population recordings by learning to predict correlations

abstract: A powerful approach for understanding neural population dynamics is to extract low-dimensional trajectories from population recordings using dimensionality reduction methods. Current approaches for dimensionality reduction on neural data are limited to single population recordings, and can not identify dynamics embedded across multiple measurements. We propose an approach for extracting low-dimensional dynamics from multiple, sequential recordings. Our algorithm scales to data comprising millions of observed dimensions, making it possible to access dynamics distributed across large populations or multiple brain areas. Building on subspace-identification approaches for dynamical systems, we perform parameter estimation by minimizing a moment-matching objective using a scalable stochastic gradient descent algorithm: The model is optimized to predict temporal covariations across neurons and across time. We show how this approach naturally handles missing data and multiple partial recordings, and can identify dynamics and predict correlations even in the presence of severe subsampling and small overlap between recordings. We demonstrate the effectiveness of the approach both on simulated data and a whole-brain larval zebrafish imaging dataset.


title: Statistical analysis of excitation energies in the actinide and rare-earth nuclei

abstract: Statistical analysis of distributions of the collective states in the actinide and rare-earth nuclei is performed in terms of the nearest neighbor spacing distribution (NNSD). Several approximations, such as the linear approach to the level repulsion density and that suggested by Brody to the NNSDs were applied for the analysis. We found an intermediate character of the experimental spectra between the order and the chaos for a number of the rare-earth and actinide nuclei. They are more close to the Wigner distribution for energies limited by 3 MeV, and to the Poisson distribution for data including higher excitation energies and higher spins. The latter is in agreement with the theoretical calculations. These features are confirmed by the cumulative distributions, where the Wigner contribution dominates at smaller spacings while the Poisson one is more important at larger spacings.


title: Superfluidity of identical fermions in an optical lattice: atoms and polar molecules

abstract: In this work, we discuss the emergence of $p$-wave superfluids of identical fermions in 2D lattices. The optical lattice potential manifests itself in an interplay between an increase in the density of states on the Fermi surface and the modification of the fermion-fermion interaction (scattering) amplitude. The density of states is enhanced due to an increase of the effective mass of atoms. In deep lattices, for short-range interacting atoms, the scattering amplitude is strongly reduced compared to free space due to a small overlap of wavefunctions of fermions sitting in the neighboring lattice sites, which suppresses the $p$-wave superfluidity. However, we show that for a moderate lattice depth there is still a possibility to create atomic $p$-wave superfluids with sizable transition temperatures. The situation is drastically different for fermionic polar molecules. Being dressed with a microwave field, they acquire a dipole-dipole attractive tail in the interaction potential. Then, due to a long-range character of the dipole-dipole interaction, the effect of the suppression of the scattering amplitude in 2D lattices is absent. This leads to the emergence of a stable topological $p_x+ip_y$ superfluid of identical microwave-dressed polar molecules.


title: A universal modification of the linear coupling method

abstract: In the late sixties, N. Shor and B. Polyak independently proposed optimal first-order methods for non-smooth convex optimization problems. In 1982 A. Nemirovski proposed optimal first-order methods for smooth convex optimization problems, which utilized auxiliary line search. In 1985 A. Nemirovski and Yu. Nesterov proposed a parametric family of optimal first-order methods for convex optimization problems with intermediate smoothness. In 2013 Yu. Nesterov proposed a universal gradient method which combined all the good properties of the previous methods, except the possibility of using auxiliary line search. One can typically observe that in practice auxiliary line search improves performance for many tasks. In this paper, we propose the apparently first such method of non-smooth convex optimization allowing for the use of the line search procedure. Moreover, it is based on the universal gradient method, which does not require any a priori information about the actual degree of smoothness of the problem. Numerical experiments demonstrate that the proposed method is, in some cases, considerably faster than Nesterov's universal gradient method.


title: Overrelaxed Sinkhorn-Knopp Algorithm for Regularized Optimal Transport

abstract: This article describes a set of methods for quickly computing the solution to the regularized optimal transport problem. It generalizes and improves upon the widely-used iterative Bregman projections algorithm (or Sinkhorn--Knopp algorithm). We first propose to rely on regularized nonlinear acceleration schemes. In practice, such approaches lead to fast algorithms, but their global convergence is not ensured. Hence, we next propose a new algorithm with convergence guarantees. The idea is to overrelax the Bregman projection operators, allowing for faster convergence. We propose a simple method for establishing global convergence by ensuring the decrease of a Lyapunov function at each step. An adaptive choice of overrelaxation parameter based on the Lyapunov function is constructed. We also suggest a heuristic to choose a suitable asymptotic overrelaxation parameter, based on a local convergence analysis. Our numerical experiments show a gain in convergence speed by an order of magnitude in certain regimes.


title: Search for flavour-changing neutral currents with top quarks

abstract: Flavour-changing neutral currents are extremely rare processes in the standard model that can be sensitive to various new physics effects. The summary of the latest experimental results from the LHC experiments is given. Preliminary results of sensitivity studies for future colliders are also discussed.


title: Lisco: A Continuous Approach in LiDAR Point-cloud Clustering

abstract: The light detection and ranging (LiDAR) technology allows to sense surrounding objects with fine-grained resolution in a large areas. Their data (aka point clouds), generated continuously at very high rates, can provide information to support automated functionality in cyberphysical systems. Clustering of point clouds is a key problem to extract this type of information. Methods for solving the problem in a continuous fashion can facilitate improved processing in e.g. fog architectures, allowing continuous, streaming processing of data close to the sources. We propose Lisco, a single-pass continuous Euclidean-distance-based clustering of LiDAR point clouds, that maximizes the granularity of the data processing pipeline. Besides its algorithmic analysis, we provide a thorough experimental evaluation and highlight its up to 3x improvements and its scalability benefits compared to the baseline, using both real-world datasets as well as synthetic ones to fully explore the worst-cases.


title: Nonlocal problems with critical Hardy nonlinearity

abstract: By means of variational methods we establish existence and multiplicity of solutions for a class of nonlinear nonlocal problems involving the fractional p-Laplacian and a combined Sobolev and Hardy nonlinearity at subcritical and critical growth.


title: Coherent and incoherent $\mathrm{J/}\psi$ photonuclear production in an energy-dependent hot-spot model

abstract: In a previous publication, we have presented a model for the photoproduction of $\mathrm{J/}\psi$ vector mesons off protons, where the proton structure in the impact-parameter plane is described by an energy-dependent hot-spot profile. Here we extend this model to study the photonuclear production of $\mathrm{J/}\psi$ vector mesons in coherent and incoherent interactions of heavy nuclei. We study two methods to extend the model to the nuclear case: using the standard Glauber-Gribov formalism and using geometric scaling to obtain the nuclear saturation scale. We find that the incoherent cross section changes sizably with the inclusion of subnucleonic hot spots, and that this change is energy dependent. We propose to search for this behavior by measuring the ratio of the incoherent to coherent cross section at different energies. We compare the results of our model to results from RHIC and from the Run 1 at the LHC finding a satisfactory agreement. We also present predictions for the LHC at the new energies reached in Run 2. The predictions include $\mathrm{J/}\psi$ production in ultra-peripheral collisions, as well as the recently observed photonuclear production in peripheral collisions.


title: Meet the family - the catalog of known hot subdwarf stars

abstract: In preparation for the upcoming all-sky data releases of the Gaia mission, we compiled a catalog of known hot subdwarf stars and candidates drawn from the literature and yet unpublished databases. The catalog contains 5613 unique sources and provides multi-band photometry from the ultraviolet to the far infrared, ground based proper motions, classifications based on spectroscopy and colors, published atmospheric parameters, radial velocities and light curve variability information. Using several different techniques, we removed outliers and misclassified objects. By matching this catalog with astrometric and photometric data from the Gaia mission, we will develop selection criteria to construct a homogeneous, magnitude-limited all-sky catalog of hot subdwarf stars based on Gaia data. As first application of the catalog data, we present the quantitative spectral analysis of 280 sdB and sdOB stars from the Sloan Digital Sky Survey Data Release 7. Combining our derived parameters with state-of-the-art proper motions, we performed a full kinematic analysis of our sample. This allowed us to separate the first significantly large sample of 78 sdBs and sdOBs belonging to the Galactic halo. Comparing the properties of hot subdwarfs from the disk and the halo with hot subdwarf samples from the globular clusters $\omega$ Cen and NGC 2808, we found the fraction of intermediate He-sdOBs in the field halo population to be significantly smaller than in the globular clusters.


title: Kondo and Majorana signatures near the singlet-doublet quantum phase transition

abstract: We study the low energy spectrum of a correlated quantum dot embedded between the normal conducting and superconducting reservoirs and hybridized with the topological superconducting nanowire, hosting the Majorana end-modes. We investigate the leaking Majorana quasiparticle and inspect its interplay with the proximity induced on-dot pairing and correlations. In particular, we focus on the subgap Kondo effect near the quantum phase transition/crossover from the spinfull (doublet) to the spinless (BCS-type singlet) configurations. Treating the correlations perturbatively and within the NRG approach we study its signatures observable in the Andreev (particle-to-hole conversion) tunneling spectroscopy. We find, that the leaking Majorana mode has a spin-selective influence on the subgap Kondo effect.


title: Cryptanalyzing an image encryption algorithm based on autoblocking and electrocardiography

abstract: This paper analyzes the security of an image encryption algorithm proposed by Ye and Huang [\textit{IEEE MultiMedia}, vol. 23, pp. 64-71, 2016]. The Ye-Huang algorithm uses electrocardiography (ECG) signals to generate the initial key for a chaotic system and applies an autoblocking method to divide a plain image into blocks of certain sizes suitable for subsequent encryption. The designers claimed that the proposed algorithm is "strong and flexible enough for practical applications". In this paper, we perform a thorough analysis of their algorithm from the view point of modern cryptography. We find it is vulnerable to the known plaintext attack: based on one pair of a known plain-image and its corresponding cipher-image, an adversary is able to derive a mask image, which can be used as an equivalent secret key to successfully decrypt other cipher-images encrypted under the same key with a non-negligible probability of 1/256. Using this as a typical counterexample, we summarize security defects in the design of the Ye-Huang algorithm. The lessons are generally applicable to many other image encryption schemes.


title: Almost everywhere Convergence of Spline Sequences

abstract: We prove the analogue of the Martingale Convergence Theorem for polynomial spline sequences. Given a natural number $k $ and a sequence $(t_i)$ of knots in $[0,1]$ with multiplicity $\le k-1$, we let $P_n $ be the orthogonal projection onto the space of spline polynomials in $[0,1] $ of degree $k-1$ corresponding to the grid $(t_i)_{i=1}^n$. Let $X$ be a Banach space with the Radon-Nikod\'{y}m property. Let $(g_n)$ be a bounded sequence in the Bochner-Lebesgue space $L^1_X [0,1]$ satisfying $$ g_n = P_n ( g_{n+1} ),\qquad n \in \mathbb N . $$ We prove the existence of $\lim_{n\to \infty} g_n(t) $ in $X$ for almost every $t \in [0,1]. $ Already in the scalar valued case $X = \mathbb R $ the result is new.


title: SU(3) Yang Mills theory at small distances and fine lattices

abstract: We investigate the SU(3) Yang Mills theory at small gradient flow time and at short distances. Lattice spacings down to $a=0.015$ fm are simulated with open boundary conditions to allow topology to flow in and out. We study the behaviour of the action density $E(t)$ close to the boundaries, the feasibility of the small flow-time expansion and the extraction of the $\Lambda$-parameter from the static force at small distances. For the latter, significant deviations from the 4-loop perturbative $\beta$-function are visible at $\alpha\approx 0.2\,$. We still can extrapolate to extract $r_0\Lambda$.


title: Flexible statistical inference for mechanistic models of neural dynamics

abstract: Mechanistic models of single-neuron dynamics have been extensively studied in computational neuroscience. However, identifying which models can quantitatively reproduce empirically measured data has been challenging. We propose to overcome this limitation by using likelihood-free inference approaches (also known as Approximate Bayesian Computation, ABC) to perform full Bayesian inference on single-neuron models. Our approach builds on recent advances in ABC by learning a neural network which maps features of the observed data to the posterior distribution over parameters. We learn a Bayesian mixture-density network approximating the posterior over multiple rounds of adaptively chosen simulations. Furthermore, we propose an efficient approach for handling missing features and parameter settings for which the simulator fails, as well as a strategy for automatically learning relevant features using recurrent neural networks. On synthetic data, our approach efficiently estimates posterior distributions and recovers ground-truth parameters. On in-vitro recordings of membrane voltages, we recover multivariate posteriors over biophysical parameters, which yield model-predicted voltage traces that accurately match empirical data. Our approach will enable neuroscientists to perform Bayesian inference on complex neuron models without having to design model-specific algorithms, closing the gap between mechanistic and statistical approaches to single-neuron modelling.


title: Weighted Thresholding and Nonlinear Approximation

abstract: We present a new method for performing nonlinear approximation with redundant dictionaries. The method constructs an $m-$term approximation of the signal by thresholding with respect to a weighted version of its canonical expansion coefficients, thereby accounting for dependency between the coefficients. The main result is an associated strong Jackson embedding, which provides an upper bound on the corresponding reconstruction error. To complement the theoretical results, we compare the proposed method to the pure greedy method and the Windowed-Group Lasso by denoising music signals with elements from a Gabor dictionary.


title: Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference

abstract: Probabilistic model checking for systems with large or unbounded state space is a challenging computational problem in formal modelling and its applications. Numerical algorithms require an explicit representation of the state space, while statistical approaches require a large number of samples to estimate the desired properties with high confidence. Here, we show how model checking of time-bounded path properties can be recast exactly as a Bayesian inference problem. In this novel formulation the problem can be efficiently approximated using techniques from machine learning. Our approach is inspired by a recent result in statistical physics which derived closed form differential equations for the first-passage time distribution of stochastic processes. We show on a number of non-trivial case studies that our method achieves both high accuracy and significant computational gains compared to statistical model checking.


title: Semi-algebraic sets of f-vectors

abstract: Polytope theory has produced a great number of remarkably simple and complete characterization results for face-number sets or f-vector sets of classes of polytopes. We observe that in most cases these sets can be described as the intersection of a semi-algebraic set with an integer lattice. Such "semi-algebraic sets of lattice points" have not received much attention, which is surprising in view of a close connection to Hilbert's Tenth problem, which deals with their projections. We develop proof techniques in order to show that, despite the observations above, some f-vector sets are NOT semi-algebraic sets of lattice points. This is then proved for the set of all pairs $(f_1,f_2)$ of 4-dimensional polytopes, the set of all f-vectors of simplicial $d$-polytopes for $d\ge6$, and the set of all f-vectors of general $d$-polytopes for $d\ge6$. For the f-vector set of all 4-polytopes this remains open.


title: Hawking radiation and propagation of massive charged scalar field on a three-dimensional G\"{o}del black hole

abstract: In this paper we consider the three-dimensional G\"{o}del black hole as a background and we study the vector particle tunneling from this background in order to obtain the Hawking temperature. Then, we study the propagation of a massive charged scalar field and we find the quasinormal modes analytically, which turns out be unstable as a consequence of the existence of closed time-like curves. Also, we consider the flux at the horizon and at infinity, and we compute the reflection and transmission coefficients as well as the absorption cross section. Mainly, we show that massive charged scalar waves can be superradiantly amplified by the three-dimensional G\"{o}del black hole and that the coefficients have an oscillatory behavior. Moreover, the absorption cross section is null at the high frequency limit and for certain values of the frequency.


title: Combined shared/dedicated resource allocation for Device-to-Device Communication

abstract: Device-to-device (D2D) communication is an effective technology enhancing spectral efficiency and network throughput of contemporary cellular networks. Typically, the users exploiting D2D reuse the same radio resources as common cellular users (CUEs) that communicate through a base station. This mode is known as shared mode. Another option is to dedicate specific amount of resources exclusively for the D2D users in so-called a dedicated mode. In this paper, we propose novel combined share/dedicated resource allocation scheme enabling the D2D users to utilize the radio resources in both modes simultaneously. To that end, we propose a graph theory-based framework for efficient resource allocation. Within this framework, neighborhood relations between the cellular users and the D2D users and between the individual D2D users are derived to form graphs. Then, the graphs are decomposed into subgraphs to identify resources, which can be reused by other users so that capacity of the D2D users is maximized. The results show that the sum D2D capacity is increased from 1.67 and 2.5 times (depending on a density of D2D users) when compared to schemes selecting only between shared or dedicated modes.


title: Analysis of group evolution prediction in complex networks

abstract: In the world, in which acceptance and the identification with social communities are highly desired, the ability to predict evolution of groups over time appears to be a vital but very complex research problem. Therefore, we propose a new, adaptable, generic and mutli-stage method for Group Evolution Prediction (GEP) in complex networks, that facilitates reasoning about the future states of the recently discovered groups. The precise GEP modularity enabled us to carry out extensive and versatile empirical studies on many real-world complex / social networks to analyze the impact of numerous setups and parameters like time window type and size, group detection method, evolution chain length, prediction models, etc. Additionally, many new predictive features reflecting the group state at a given time have been identified and tested. Some other research problems like enriching learning evolution chains with external data have been analyzed as well.


title: The covering radii of the $2$-transitive unitary, Suzuki, and Ree groups

abstract: We study the covering radii of $2$-transitive permutation groups of Lie rank one, giving bounds and links to finite geometry.


title: Observation of deconfinement in a cold dense quark medium

abstract: In this paper we study the confinement/deconfinement transition in lattice $SU(2)$ QCD at finite quark density and zero temperature. The simulations are performed on an $32^4$ lattice with rooted staggered fermions at a lattice spacing $a = 0.044 \mathrm{~fm}$. This small lattice spacing allowed us to reach very large baryon density (up to quark chemical potential $\mu_q > 2000 \mathrm{~MeV}$) avoiding strong lattice artifacts. In the region $\mu_q\sim 1000 \mathrm{~MeV}$ we observe for the first time the confinement/deconfinement transition which manifests itself in rising of the Polyakov loop and vanishing of the string tension $\sigma$. After the deconfinement is achieved at $\mu_q > 1000 \mathrm{~MeV}$, we observe a monotonous decrease of the spatial string tension $\sigma_s$ which ends up with $\sigma_s$ vanishing at $\mu_q > 2000 \mathrm{~MeV}$. From this observation we draw the conclusion that the confinement/deconfinement transition at finite density and zero temperature is quite different from that at finite temperature and zero density. Our results indicate that in very dense matter the quark-gluon plasma is in essence a weakly interacting gas of quarks and gluons without a magnetic screening mass in the system, sharply different from a quark-gluon plasma at large temperature.


title: Interpretable Feature Recommendation for Signal Analytics

abstract: This paper presents an automated approach for interpretable feature recommendation for solving signal data analytics problems. The method has been tested by performing experiments on datasets in the domain of prognostics where interpretation of features is considered very important. The proposed approach is based on Wide Learning architecture and provides means for interpretation of the recommended features. It is to be noted that such an interpretation is not available with feature learning approaches like Deep Learning (such as Convolutional Neural Network) or feature transformation approaches like Principal Component Analysis. Results show that the feature recommendation and interpretation techniques are quite effective for the problems at hand in terms of performance and drastic reduction in time to develop a solution. It is further shown by an example, how this human-in-loop interpretation system can be used as a prescriptive system.


title: New Classes of Distributed Time Complexity

abstract: A number of recent papers -- e.g. Brandt et al. (STOC 2016), Chang et al. (FOCS 2016), Ghaffari & Su (SODA 2017), Brandt et al. (PODC 2017), and Chang & Pettie (FOCS 2017) -- have advanced our understanding of one of the most fundamental questions in theory of distributed computing: what are the possible time complexity classes of LCL problems in the LOCAL model? In essence, we have a graph problem $\Pi$ in which a solution can be verified by checking all radius-$O(1)$ neighbourhoods, and the question is what is the smallest $T$ such that a solution can be computed so that each node chooses its own output based on its radius-$T$ neighbourhood. Here $T$ is the distributed time complexity of $\Pi$. The time complexity classes for deterministic algorithms in bounded-degree graphs that are known to exist by prior work are $\Theta(1)$, $\Theta(\log^* n)$, $\Theta(\log n)$, $\Theta(n^{1/k})$, and $\Theta(n)$. It is also known that there are two gaps: one between $\omega(1)$ and $o(\log \log^* n)$, and another between $\omega(\log^* n)$ and $o(\log n)$. It has been conjectured that many more gaps exist, and that the overall time hierarchy is relatively simple -- indeed, this is known to be the case in restricted graph families such as cycles and grids. We show that the picture is much more diverse than previously expected. We present a general technique for engineering LCL problems with numerous different deterministic time complexities, including $\Theta(\log^{\alpha}n)$ for any $\alpha\ge1$, $2^{\Theta(\log^{\alpha}n)}$ for any $\alpha\le 1$, and $\Theta(n^{\alpha})$ for any $\alpha <1/2$ in the high end of the complexity spectrum, and $\Theta(\log^{\alpha}\log^* n)$ for any $\alpha\ge 1$, $\smash{2^{\Theta(\log^{\alpha}\log^* n)}}$ for any $\alpha\le 1$, and $\Theta((\log^* n)^{\alpha})$ for any $\alpha \le 1$ in the low end; here $\alpha$ is a positive rational number.


title: Minimum-Phase HRTF Modeling of Pinna Spectral Notches using Group Delay Decomposition

abstract: Accurate reconstruction of HRTFs is important in the development of high quality binaural sound synthesis systems. Conventionally, minimum phase HRTF model development for reconstruction of HRTFs has been limited to minimum phase-pure delay models which ignore the all pass component of the HRTF. In this paper, a novel method for minimum phase HRTF modelling of Pinna Spectral Notches (PSNs) using group delay decomposition is proposed. The proposed model captures the PSNs contributed by both the minimum phase and all pass component of HRTF thus facilitating an accurate reconstruction of HRTFs. The purely minimum phase HRTF components and their corresponding spatial angles are first identified using Fourier Bessel Series method that ensures a continuous evolution of the PSNs. The minimum phase-pure delay model is used to reconstruct HRTF for these spatial angles. Subsequently, the spatial angles which require both the minimum phase and all pass components are modelled using an all-pass filter cascaded with minimum-phase pure-delay model. Performance of the proposed model is evaluated by conducting experiments on PSN extraction, cross coherence analysis, and binaural synthesis. Both objective and subjective evaluation results are used to indicate the significance of the proposed model in binaural sound synthesis.


title: Product matrix processes for coupled multi-matrix models and their hard edge scaling limits

abstract: Product matrix processes are multi-level point processes formed by the singular values of random matrix products. In this paper we study such processes where the products of up to $m$ complex random matrices are no longer independent, by introducing a coupling term and potentials for each product. We show that such a process still forms a multi-level determinantal point processes, and give formulae for the relevant correlation functions in terms of the corresponding kernels. For a special choice of potential, leading to a Gaussian coupling between the $m$th matrix and the product of all previous $m-1$ matrices, we derive a contour integral representation for the correlation kernels suitable for an asymptotic analysis of large matrix size $n$. Here, the correlations between the first $m-1$ levels equal that of the product of $m-1$ independent matrices, whereas all correlations with the $m$th level are modified. In the hard edge scaling limit at the origin of the spectra of all products we find three different asymptotic regimes. The first regime corresponding to weak coupling agrees with the multi-level process for the product of $m$ independent complex Gaussian matrices for all levels, including the $m$-th. This process was introduced by one of the authors and can be understood as a multi-level extension of the Meijer $G$-kernel introduced by Kuijlaars and Zhang. In the second asymptotic regime at strong coupling the point process on level $m$ collapses onto level $m-1$, thus leading to the process of $m-1$ independent matrices. Finally, in an intermediate regime where the coupling is proportional to $n^{\frac12}$, we obtain a family of parameter dependent kernels, interpolating between the limiting processes in the weak and strong coupling regime. These findings generalise previous results of the authors and their coworkers for $m=2$.


title: Flow induced crystallization of penetrable particles

abstract: For a system of Brownian particles interacting via a soft exponential potential we investigate the interaction between equilibrium crystallization and spatially varying shear flow. For thermodynamic state points within the liquid part of the phase diagram, but close to the crystallization phase boundary, we observe that imposing a Poiseuille flow can induce nonequilibrium crystalline ordering in regions of low shear gradient. The physical mechanism responsible for this phenomenon is shear induced particle migration, which causes particles to drift preferentially towards the center of the flow channel, thus increasing the local density in the channel center. The method employed is classical dynamical density functional theory.


title: Absolute strong-field ionization probabilities of ultracold rubidium atoms

abstract: We report on precise measurements of absolute nonlinear ionization probabilities obtained by exposing optically trapped ultracold rubidium atoms to the field of an ultrashort laser pulse in the intensity range of $1 \times 10^{11}$ to $4 \times 10^{13}$ W/cm$^2$. The experimental data are in perfect agreement with ab-initio theory, based on solving the time-dependent Schr\"odinger equation without any free parameters. Ultracold targets allow to retrieve absolute probabilities since ionized atoms become apparent as a local vacancy imprinted into the target density, which is recorded simultaneously. We study the strong-field response of $^{87}$Rb atoms at two different wavelengths representing non-resonant and resonant processes in the demanding regime where the Keldysh parameter is close to unity.


title: An explicit projective bimodule resolution of a Leavitt path algebra

abstract: We construct an explicit projective bimodule resolution for the Leavitt path algebra of a row-finite quiver. We prove that the Leavitt path algebra of a row-countable quiver has Hochschild cohomolgical dimension at most one, that is, it is quasi-free in the sense of Cuntz-Quillen. The construction of the resolution relies on an explicit derivation of the Leavitt path algebra.


title: Secure Transmission in Linear Multihop Relaying Networks

abstract: This paper studies the design and secrecy performance of linear multihop networks, in the presence of randomly distributed eavesdroppers in a large-scale two-dimensional space. Depending on whether there is feedback from the receiver to the transmitter, we study two transmission schemes: on-off transmission (OFT) and non-on-off transmission (NOFT). In the OFT scheme, transmission is suspended if the instantaneous received signal-to-noise ratio (SNR) falls below a given threshold, whereas there is no suspension of transmission in the NOFT scheme. We investigate the optimal design of the linear multiple network in terms of the optimal rate parameters of the wiretap code as well as the optimal number of hops. These design parameters are highly interrelated since more hops reduces the distance of per-hop communication which completely changes the optimal design of the wiretap coding rates. Despite the analytical difficulty, we are able to characterize the optimal designs and the resulting secure transmission throughput in mathematically tractable forms in the high SNR regime. Our numerical results demonstrate that our analytical results obtained in the high SNR regime are accurate at practical SNR values. Hence, these results provide useful guidelines for designing linear multihop networks with targeted physical layer security performance.


title: Modeling non-stationary extreme dependence with stationary max-stable processes and multidimensional scaling

abstract: Modeling the joint distribution of extreme weather events in multiple locations is a challenging task with important applications. In this study, we use max-stable models to study extreme daily precipitation events in Switzerland. The non-stationarity of the spatial process at hand involves important challenges, which are often dealt with by using a stationary model in a so-called climate space, with well-chosen covariates. Here, we instead chose to warp the weather stations under study in a latent space of higher dimension using multidimensional scaling (MDS). The advantage of this approach is its improved flexibility to reproduce highly non-stationary phenomena, while keeping a tractable stationary spatial model in the latent space. Two model fitting approaches, which both use MDS, are presented and compared to a classical approach that relies on composite likelihood maximization in a climate space. Results suggest that the proposed methods better reproduce the observed extremal coefficients and their complex spatial dependence.


title: Improved diffusing wave spectroscopy based on the automatized determination of the optical transport and absorption mean free path

abstract: Diffusing wave spectroscopy (DWS) can be employed as an optical rheology tool with numerous applications for studying the structure, dynamics and linear viscoelastic properties of complex fluids, foams, glasses and gels. To carry out DWS measurements, one first needs to quantify the static optical properties of the sample under investigation, i.e. the transport mean free path $l^\ast$ and the absorption length $l_a$. In the absence of absorption this can be done by comparing the diffuse optical transmission to a calibration sample whose $l^\ast$ is known. Performing this comparison however is cumbersome, time consuming and prone to mistakes by the operator. Moreover, already weak absorption can lead to significant errors. In this paper, we demonstrate the implementation of an automatized approach, based on which the DWS measurement procedure can be simplified significantly. By comparison with a comprehensive set of calibration measurements we cover the entire parameter space relating measured count rates (CR$_t$, CR$_b$) to ($l^\ast$, $l_a$). Based on this approach we can determine $l^\ast$ and $l_a$ of an unknown sample accurately thus making the additional measurement of a calibration sample obsolete. We illustrate the use of this approach by monitoring the coarsening of a commercially available shaving foam with DWS.


title: Simultaneous baldness and cosmic baldness and Kottler spacetime

abstract: The uniqueness of the Kottler/Schwarzschild-de Sitter solution of the vacuum Einstein equations with positive cosmological constant is discussed and certain putative alternatives are shown to either solve different equations or to be the KSdS solution in disguise. A simultaneous no-hair and cosmic no-hair theorem for the KSdS geometry in the presence of an imperfect fluid is proved.


title: Finite rank and pseudofinite groups

abstract: It is proven that an infinite finitely generated group cannot be elementarily equivalent to an ultraproduct of finite groups of a given Pr\"ufer rank. Furthermore, it is shown that an infinite finitely generated group of finite Pr\"ufer rank is not pseudofinite.


title: Description de torseurs quasi-versels pour une famille de surfaces fibr\'ees en coniques

abstract: Generalising work of La Bret\`eche, Browning and Peyre and of the author, we describe the geometry required by Manin's principle and Peyre's conjecture for a family of conic bundle surfaces containing Ch\^atelet surfaces. These surfaces $S_{a,F}$ are the conic bundle surfaces obtained as smooth minimal proper model of $$ Y^2-aZ^2=F(X,1) $$ with $a \in \mathbf{Z}$ squarefree and $F \in \mathbf{Z}[x_1,x_2]$ a binary form of \textit{even} degree $n$ without repeated roots and whose irreducible factors over $\mathbf{Q}$ remain irreducible over $\mathbf{Q}\left( \sqrt{a} \right)$.


title: $I=2$ $\pi\pi$ scattering phase shift from the HAL QCD method with the LapH smearing

abstract: Physical observables, such as the scattering phase shifts and the binding energies, calculated from the non-local HAL QCD potential do not depend on the sink operators used to define the potential. This is called the scheme independence of the HAL QCD method. In practical applications, the derivative expansion of the non-local potential is employed, so that physical observables may receive some scheme dependence at given order of the expansion. In this paper, we compare the $I=2$ $\pi\pi$ scattering phase shifts obtained in the point-sink scheme (the standard scheme in the HAL QCD method) and the smeared-sink scheme (the LapH smearing newly introduced in the HAL QCD method). Although potentials in different schemes have different forms as expected, we find that, for reasonably small smearing size, the resultant scattering phase shifts agree with each other if the next-to-leading order (NLO) term is taken into account. We also find that the HAL QCD potential in the point-sink scheme has negligible NLO term for wide range of energies, which implies a good convergence of the derivative expansion in this case, while the potential in the smeared-sink scheme has non-negligible NLO contribution. Implication of this observation to the future studies of resonance channels (such as the $I=0$ and $1$ $\pi\pi$ scatterings) with smeared all-to-all propagators is briefly discussed. All computations in this paper have been performed at the lattice spacing $a\simeq 0.12$ fm ($1/a \simeq 1.6$ GeV) on a $16^3\times 32$ lattice with the pion mass $m_\pi\simeq 870$ MeV.


title: Positive solutions for superdiffusive mixed problems

abstract: We study a semilinear parametric elliptic equation with superdiffusive reaction and mixed boundary conditions. Using variational methods, together with suitable truncation techniques, we prove a bifurcation-type theorem describing the nonexistence, existence and multiplicity of positive solutions.


title: TOPCAT: Working with Data and Working with Users

abstract: TOPCAT is a desktop application for interactive analysis of tabular data, especially source catalogues. Along with its command-line counterpart STILTS, it has been under more or less continuous development for the past 15 years and is now widely used by astronomers from project students to research scientists. This paper reviews its capabilities as a tool for working with large and small datasets, and considers some of the issues in design, implementation and user interaction that have to be tackled when developing software of this kind.


title: Nanobob: A Cubesat Mission Concept For Quantum Communication Experiments In An Uplink Configuration

abstract: We present a ground-to-space quantum key distribution (QKD) mission concept and the accompanying feasibility study for the development of the low earth orbit CubeSat payload. The quantum information is carried by single photons with the binary codes represented by polarization states of the photons. Distribution of entangled photons between the ground and the satellite can be used to certify the quantum nature of the link: a guarantee that no eavesdropping can take place. By placing the entangled photon source on the ground, the space segments contains only the less complex detection system, enabling its implementation in a compact enclosure, compatible with the 12U CubeSat standard (12 dm3). This reduces the overall cost of the project, making it an ideal choice as a pathfinder for future European quantum communication satellite missions. The space segment is also more versatile than one that contains the source since it is compatible with a multiple of QKD protocols (not restricted to entangled photon schemes) and can be used in quantum physics experiments, such as the investigation of entanglement decoherence. Other possible experiments include atmospheric transmission/turbulence characterization, dark area mapping, fine pointing and tracking, and accurate clock synchronization; all crucial for future global scale quantum communication efforts.


title: Integrable representations for toroidal extended affine Lie algebras

abstract: Let $\fg$ be any untwisted affine Kac-Moody algebra, $\mu$ any fixed complex number, and $\wt\fg(\mu)$ the corresponding toroidal extended affine Lie algebra of nullity two. For any $k$-tuple $\bm{\lambda}=({\lambda}_1, \cdots, {\lambda}_k)$ of weights of $\fg$, and $k$-tuple $\bm{a}=(a_1,\cdots, a_k)$ of distinct non-zero complex numbers, we construct a class of modules $\wt V(\bm{\lambda},\bm{a})$ for the extended affine Lie algebra $\wt\fg(\mu)$. We prove that the $\wt\fg(\mu)$-module $\wt V(\bm{\lambda},\bm{a})$ is completely reducible. We also prove that the $\wt\fg(\mu)$-module $\wt V(\bm{\lambda},\bm{a})$ is integrable when all weights $\lambda_i$ in $\bm{\lambda}$ are dominant integral. Thus, we obtain a new class of irreducible integrable weight modules for the toroidal extended affine Lie algebra $\wt\fg(\mu)$.


title: Information capacity of direct detection optical transmission systems

abstract: We show that the spectral efficiency of a direct detection transmission system is at most 1 bit/s/Hz less than the spectral efficiency of a system employing coherent detection with the same modulation format. Correspondingly, the capacity per complex degree of freedom in systems using direct detection is lower by at most 1 bit.


title: Radical analysis network for zero-shot learning in printed Chinese character recognition

abstract: Chinese characters have a huge set of character categories, more than 20,000 and the number is still increasing as more and more novel characters continue being created. However, the enormous characters can be decomposed into a compact set of about 500 fundamental and structural radicals. This paper introduces a novel radical analysis network (RAN) to recognize printed Chinese characters by identifying radicals and analyzing two-dimensional spatial structures among them. The proposed RAN first extracts visual features from input by employing convolutional neural networks as an encoder. Then a decoder based on recurrent neural networks is employed, aiming at generating captions of Chinese characters by detecting radicals and two-dimensional structures through a spatial attention mechanism. The manner of treating a Chinese character as a composition of radicals rather than a single character class largely reduces the size of vocabulary and enables RAN to possess the ability of recognizing unseen Chinese character classes, namely zero-shot learning.


title: Intrinsic bounds of a two-qudit random evolution

abstract: We investigate entangled qudits evolving under random, local $SU(d)$ operations and demonstrate that this evolution is constrained by intrinsic bounds, showing robust features of two-qudit entangled states that can be useful for fault tolerant implementations of phase gates. Our analytical results are supported by numerical simulations and confirmed by experiments on liquid-state nuclear magnetic resonance qubits.


title: A control analysis perspective on Katz centrality

abstract: Methods for efficiently controlling dynamics propagated on networks are usually based on identifying the most influential nodes. Knowledge of these nodes can be used for the targeted control of dynamics such as epidemics, or for modifying biochemical pathways relating to diseases. Similarly they are valuable for identifying points of failure to increase network resilience in, for example, social support networks and logistics networks. Many measures, often termed `centrality', have been constructed to achieve these aims. Here we consider Katz centrality and provide a new interpretation as a steady-state solution to continuous-time dynamics. This enables us to implement a sensitivity analysis which is similar to metabolic control analysis used in the analysis of biochemical pathways. The results yield a centrality which quantifies, for each node, the net impact of its absence from the network. It also has the desirable property of requiring a node with a high centrality to play a central role in propagating the dynamics of the system by having the capacity to both receive flux from others and then to pass it on. This new perspective on Katz centrality is important for a more comprehensive analysis of directed networks.


title: Application of tensor network method to two dimensional lattice $\mathcal{N}=1$ Wess-Zumino model

abstract: We study a tensor network formulation of the two dimensional lattice $\mathcal{N}=1$ Wess-Zumino model with Wilson derivatives for both fermions and bosons. The tensor renormalization group allows us to compute the partition function without the sign problem, and basic ideas to obtain a tensor network for both fermion and scalar boson systems were already given in previous works. In addition to improving the methods, we have constructed a tensor network representation of the model including the Yukawa-type interaction of Majorana fermions and real scalar bosons. We present some numerical results.


title: Photometric survey, modelling, and scaling of long-period and low-amplitude asteroids

abstract: The available set of spin and shape modelled asteroids is strongly biased against slowly rotating targets and those with low lightcurve amplitudes. As a consequence of these selection effects, the current picture of asteroid spin axis distribution, rotation rates, or radiometric properties, might be affected too. To counteract these selection effects, we are running a photometric campaign of a large sample of main belt asteroids omitted in most previous studies. We determined synodic rotation periods and verified previous determinations. When a dataset for a given target was sufficiently large and varied, we performed spin and shape modelling with two different methods. We used the convex inversion method and the non-convex SAGE algorithm, applied on the same datasets of dense lightcurves. Unlike convex inversion, the SAGE method allows for the existence of valleys and indentations on the shapes based only on lightcurves. We obtained detailed spin and shape models for the first five targets of our sample: (159) Aemilia, (227) Philosophia, (329) Svea, (478) Tergeste, and (487) Venetia. When compared to stellar occultation chords, our models obtained an absolute size scale and major topographic features of the shape models were also confirmed. When applied to thermophysical modelling, they provided a very good fit to the infrared data and allowed their size, albedo, and thermal inertia to be determined. Convex and non-convex shape models provide comparable fits to lightcurves. However, some non-convex models fit notably better to stellar occultation chords and to infrared data in sophisticated thermophysical modelling (TPM). In some cases TPM showed strong preference for one of the spin and shape solutions. Also, we confirmed that slowly rotating asteroids tend to have higher-than-average values of thermal inertia.


title: Adversarial Frontier Stitching for Remote Neural Network Watermarking

abstract: The state of the art performance of deep learning models comes at a high cost for companies and institutions, due to the tedious data collection and the heavy processing requirements. Recently, [35, 22] proposed to watermark convolutional neural networks for image classification, by embedding information into their weights. While this is a clear progress towards model protection, this technique solely allows for extracting the watermark from a network that one accesses locally and entirely. Instead, we aim at allowing the extraction of the watermark from a neural network (or any other machine learning model) that is operated remotely, and available through a service API. To this end, we propose to mark the model's action itself, tweaking slightly its decision frontiers so that a set of specific queries convey the desired information. In the present paper, we formally introduce the problem and propose a novel zero-bit watermarking algorithm that makes use of adversarial model examples. While limiting the loss of performance of the protected model, this algorithm allows subsequent extraction of the watermark using only few queries. We experimented the approach on three neural networks designed for image classification, in the context of MNIST digit recognition task.


title: Space dust collisions as a planetary escape mechanism

abstract: It is observed that hypervelocity space dust, which is continuously bombarding the Earth, creates immense momentum flows in the atmosphere. Some of this fast space dust inevitably will interact with the atmospheric system, transferring energy and moving particles around, with various possible consequences. This paper examines, with supporting estimates, the possibility that through collisions, the Earth-grazing component of space dust can facilitate planetary escape of atmospheric particles, whether they be the atoms and molecules forming the atmosphere or bigger sized particles. As one interesting outcome, floating in the Earth's atmosphere are a variety of particles containing the telltale signs of Earth's organic story, including microbial life and life essential molecules. This paper will assess the ability for this space dust collision mechanism to propel some of these biological constituents into space.


title: Asteroseismic Stellar Modelling with AIMS

abstract: The goal of AIMS (Asteroseismic Inference on a Massive Scale) is to estimate stellar parameters and credible intervals/error bars in a Bayesian manner from a set of asteroseismic frequency data and so-called classical constraints. To achieve reliable parameter estimates and computational efficiency, it searches through a grid of pre-computed models using an MCMC algorithm -- interpolation within the grid of models is performed by first tessellating the grid using a Delaunay triangulation and then doing a linear barycentric interpolation on matching simplexes. Inputs for the modelling consist of individual frequencies from peak-bagging, which can be complemented with classical spectroscopic constraints. AIMS is mostly written in Python with a modular structure to facilitate contributions from the community. Only a few computationally intensive parts have been rewritten in Fortran in order to speed up calculations.


title: Simple and efficient GPU parallelization of existing H-Matrix accelerated BEM code

abstract: In this paper, we demonstrate how GPU-accelerated BEM routines can be used in a simple black-box fashion to accelerate fast boundary element formulations based on Hierarchical Matrices (H-Matrices) with ACA (Adaptive Cross Approximation). In particular, we focus on the expensive evaluation of the discrete weak form of boundary operators associated with the Laplace and the Helmholtz equation in three space dimensions. The method is based on offloading the CPU assembly of elements during the ACA assembly onto a GPU device and to use threading strategies across ACA blocks to create sufficient workload for the GPU. The proposed GPU strategy is designed such that it can be implemented in existing code with minimal changes to the surrounding application structure. This is in particular interesting for existing legacy code that is not from the ground-up designed with GPU computing in mind. Our benchmark study gives realistic impressions of the benefits of GPU-accelerated BEM simulations by using state-of-the-art multi-threaded computations on modern high-performance CPUs as a reference, rather than drawing synthetic comparisons with single-threaded codes. Speed-up plots illustrate that performance gains up to a factor of 5.5 could be realized with GPU computing under these conditions. This refers to a boundary element model with about 4 million unknowns, whose H-Matrix weak form associated with a real-valued (Laplace) boundary operator is set up in only 100 minutes harnessing the two GPUs instead of 9 hours when using the 20 CPU cores at disposal only. The benchmark study is followed by a particularly demanding real-life application, where we compute the scattered high-frequency sound field of a submarine to demonstrate the increase in overall application performance from moving to a GPU-based ACA assembly.


title: A long-lived remnant neutron star after GW170817 inferred from its associated kilonova

abstract: The successful joint observation of the gravitational wave event GW170817 and its multi-wavelength electromagnetic counterparts first enables human to witness a definite merger event of two neutron stars (NSs). This historical event confirms the origin of short-duration gamma-ray bursts (GRBs), and in particular, identifies the theoretically-predicted kilonova phenomenon that is powered by radioactive decays of $r$-process heavy elements. However, whether a long-lived remnant NS could be formed during this merger event remains unknown, although such a central engine has been suggested by afterglow observations of some short-duration GRBs. By invoking this long-lived remnant NS, we here propose a model of hybrid energy sources for the kilonova AT2017gfo associated with GW 170817. While the early emission of AT2017gfo is still powered radioactively as usually suggested, its late emission is primarily caused by delayed energy injection from the remnant NS. In our model, only one single opacity is required and an intermediate value of $\kappa\simeq0.97\,\rm cm^2g^{-1}$ is revealed, which could be naturally provided by lanthanide-rich ejecta that is deeply ionized by the emission from a wind of the NS. These self-consistent results indicate that a long-lived remnant NS, which must own a very stiff equation of state, had been formed during the merger event of GW170817. This provides a very stringent constraint on the strong interaction in nuclear-quark matter. It is further implied that such GW events could provide a probe of the early spin and magnetic evolutions of NSs, e.g., the burying of surface magnetic fields.


title: Charged Boson Stars and Black Holes with Non-Minimal Coupling to Gravity

abstract: We find new spherically symmetric charged boson star solutions of a complex scalar field coupled non-minimally to gravity by a "John-type" term of Horndeski theory, that is a coupling between the kinetic scalar term and Einstein tensor. We study the parameter space of the solutions and find two distinct families according to their position in parameter space. More widespread is the family of solutions (which we call branch 1) existing for a finite interval of the central value of the scalar field starting from zero and ending at some finite maximal value. This branch contains as a special case the charged boson stars of the minimally coupled theory. In some regions of parameter space we find a new second branch ("branch 2") of solutions which are more massive and more stable than those of branch 1. This second branch exists also in a finite interval of the central value of the scalar field, but its end points (either both or in some cases only one) are extremal Reissner-Nordstrom black hole solutions.


title: Strong property (T) for higher rank lattices

abstract: We prove that every lattice in a product of higher rank simple Lie groups or higher rank simple algebraic groups over local fields has Vincent Lafforgue's strong property (T). Over non-archimedean local fields, we also prove that they have strong Banach proerty (T) with respect to all Banach spaces with nontrivial type, whereas in general we obtain such a result with additional hypotheses on the Banach spaces. The novelty is that we deal with non-cocompact lattices, such as $\mathrm{SL}_n(\mathbf{Z})$ for $n \geq 3$. To do so, we introduce a stronger form of strong property (T) which allows us to deal with more general objects than group representations on Banach spaces that we call two-step representations, namely families indexed by a group of operators between different Banach spaces that we can compose only once. We prove that higher rank groups have this property and that this property passes to undistorted lattices.


title: Search for supersymmetry in final states with missing transverse momentum and multiple $b$-jets in proton-proton collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for supersymmetry involving the pair production of gluinos decaying via third-generation squarks into the lightest neutralino ($\displaystyle\tilde\chi^0_1$) is reported. It uses LHC proton-proton collision data at a centre-of-mass energy $\sqrt{s} = 13$ TeV with an integrated luminosity of 36.1 fb$^{-1}$ collected with the ATLAS detector in 2015 and 2016. The search is performed in events containing large missing transverse momentum and several energetic jets, at least three of which must be identified as originating from $b$-quarks. To increase the sensitivity, the sample is divided into subsamples based on the presence or absence of electrons or muons. No excess is found above the predicted background. For $\displaystyle\tilde\chi^0_1$ masses below approximately 300 GeV, gluino masses of less than 1.97 (1.92) TeV are excluded at 95% confidence level in simplified models involving the pair production of gluinos that decay via top (bottom) squarks. An interpretation of the limits in terms of the branching ratios of the gluinos into third-generation squarks is also provided. These results improve upon the exclusion limits obtained with the 3.2 fb$^{-1}$ of data collected in 2015.


title: On Homogeneous Decomposition Spaces and Associated Decompositions of Distribution Spaces

abstract: A new construction of decomposition smoothness spaces of homogeneous type is considered. The smoothness spaces are based on structured and flexible decompositions of the frequency space $\mathbb{R}^d\backslash\{0\}$. We construct simple adapted tight frames for $L_2(\mathbb{R}^d)$ that can be used to fully characterise the smoothness norm in terms of a sparseness condition imposed on the frame coefficients. Moreover, it is proved that the frames provide a universal decomposition of tempered distributions with convergence in the tempered distributions modulo polynomials. As an application of the general theory, the notion of homogeneous $\alpha$-modulation spaces is introduced.


title: Diagonal-preserving isomorphisms of \'etale groupoid algebras

abstract: Work of Jean Renault shows that, for topologically principal \'etale groupoids, a diagonal-preserving isomorphism of reduced $C^*$-algebras yields an isomorphism of groupoids. Several authors have proved analogues of this result for ample groupoid algebras over integral domains under suitable hypotheses. In this paper, we extend the known results by allowing more general coefficient rings and by weakening the hypotheses on the groupoids. Our approach has the additional feature that we only need to impose conditions on one of the two groupoids. Applications are given to Leavitt path algebras.


title: On the complexity of hazard-free circuits

abstract: The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is polynomially bounded while every hazard-free implementation is provably of exponential size. Previous lower bounds on the hazard-free complexity were only valid for depth 2 circuits. The same proof method yields that every subcubic implementation of Boolean matrix multiplication must have hazards. These results follow from a crucial structural insight: Hazard-free complexity is a natural generalization of monotone complexity to all (not necessarily monotone) Boolean functions. Thus, we can apply known monotone complexity lower bounds to find lower bounds on the hazard-free complexity. We also lift these methods from the monotone setting to prove exponential hazard-free complexity lower bounds for non-monotone functions. As our main upper-bound result we show how to efficiently convert a Boolean circuit into a bounded-bit hazard-free circuit with only a polynomially large blow-up in the number of gates. Previously, the best known method yielded exponentially large circuits in the worst case, so our algorithm gives an exponential improvement. As a side result we establish the NP-completeness of several hazard detection problems.


title: Anisotropic emission of neutrino and gravitational-wave signals from rapidly rotating core-collapse supernovae

abstract: We present analysis of neutrino and GW signals based on three-dimensional (3D) core-collapse supernova simulations of a rapidly rotating 27 $M_{\odot}$ star. We find a new neutrino signature that is produced by a lighthouse effect where the spinning of strong neutrino emission regions around the rotational axis leads to quasi-periodic modulation in the neutrino signal. Depending on the observer's viewing angle, the time modulation will be clearly detectable in IceCube and the future Hyper-Kamiokande. The GW emission is also anisotropic where the GW signal is emitted, as previously identified, most strongly toward the equator at rotating core-collapse and bounce, and the non-axisymmetric instabilities in the postbounce phase lead to stronger GW emission toward the spin axis. We show that these GW signals can be a target of LIGO-class detectors for a Galactic event. The origin of the postbounce GW emission naturally explains why the peak GW frequency is about twice of the neutrino modulation frequency. We point out that the simultaneous detection of the rotation-induced neutrino and GW signatures could provide a smoking-gun signature of a rapidly rotating proto-neutron star at the birth.


title: All-Microwave Control and Dispersive Readout of Gate-Defined Quantum Dot Qubits in Circuit Quantum Electrodynamics

abstract: Developing fast and accurate control and readout techniques is an important challenge in quantum information processing with semiconductor qubits. Here, we study the dynamics and the coherence properties of a GaAs/AlGaAs double quantum dot (DQD) charge qubit strongly coupled to a high-impedance SQUID array resonator. We drive qubit transitions with synthesized microwave pulses and perform qubit readout through the state dependent frequency shift imparted by the qubit on the dispersively coupled resonator. We perform Rabi oscillation, Ramsey fringe, energy relaxation and Hahn-echo measurements and find significantly reduced decoherence rates down to $\gamma_2/2\pi\sim 3\,\rm{MHz}$ corresponding to coherence times of up to $T_2 \sim 50 \, \rm{ns}$ for charge states in gate defined quantum dot qubits.


title: Twisted divided powers and applications

abstract: In order to give a formal treatment of differential equations in positive characteristic p, it is necessary to use divided powers. One runs into an analog problem in the theory of q-difference equations when q is a pth root of unity. We introduce here a notion of twisted divided powers (relative to q) and show that one can recover the twisted Weyl algebra and obtain a twisted p-curvature map that describes the center of the twisted Weyl algebra. We also build a divided p-Frobenius that will give, by duality, a formal Azumaya splitting of the twisted Weyl algebra as well as a twisted Simpson correspondence.


title: On a duality theorem of Schneider-Stuhler

abstract: We extend a duality theorem of Schneider-Stuhler about $Ext^i[\pi_1,\pi_2]$ proved there for smooth representations of a $p$-adic group $G$ with central characters to all smooth representations assuming their result for only irreducible representations by generalities in homological algebra.


title: Chiral Mott insulators in frustrated Bose-Hubbard models on ladders and two-dimensional lattices: a combined perturbative and density matrix renormalization group study

abstract: We study the fully gapped chiral Mott insulator (CMI) of frustrated Bose-Hubbard models on ladders and two-dimensional lattices by perturbative strong-coupling analysis and density matrix renormalization group (DMRG). First we show the existence of a low-lying exciton state on all geometries carrying the correct quantum numbers responsible for the condensation of excitons and formation of the CMI in the intermediate interaction regime. Then we perform systematic DMRG simulations on several two-leg ladder systems with $\pi$-flux and carefully characterize the two quantum phase transitions. We discuss the possibility to extend the generally very small CMI window by including repulsive nearest-neighbour interactions or changing density and coupling ratios.


title: Pulsar Science with the SKA

abstract: The Square Kilometre Array (SKA) will be sensitive enough to discover all of the pulsars in the Milky Way that are beamed towards Earth. Already in the initial deployment, SKA Phase 1, it will make significant advances in pulsar science. In these proceedings I briefly overview what the SKA is, and describe its pulsar search and timing capabilities.


title: Rigorous numerics of finite-time singularities in dynamical systems - methodology and applications

abstract: This paper aims at providing rigorous numerical computation procedure for finite-time singularities in dynamical systems. Combination of time-scale desingularization as well as Lyapunov functions validation on stable manifolds of invariant sets for desingularized vector fields with standard integration procedure for ordinary differential equations give us validated trajectories of dynamical systems involving finite-time singularities. Our focus includes finite-time extinction, traveling wave solutions with half-line or compact support, and singular canards in fast-slow systems, including rigorous validations of enclosures of extinction, finite-passage times or size of supports for compactons. Such validated solutions lead to a plenty of composite wave solutions for degenerate parabolic equations, for example, with concrete information of profiles and evolutions. The present procedure also provides a universal aspect of finite-time singularities with rigorous numerics, combining with rigorous numerics of blow-up solutions in preceding works.


title: The TensorFlow Partitioning and Scheduling Problem: It's the Critical Path!

abstract: State-of-the-art data flow systems such as TensorFlow impose iterative calculations on large graphs that need to be partitioned on heterogeneous devices such as CPUs, GPUs, and TPUs. However, partitioning can not be viewed in isolation. Each device has to select the next graph vertex to be executed, i.e., perform local scheduling decisions. Both problems, partitioning and scheduling, are NP-complete by themselves but have to be solved in combination in order to minimize overall execution time of an iteration. In this paper, we propose several heuristic strategies to solve the partitioning and scheduling problem in TensorFlow. We simulate the performance of the proposed strategies in heterogeneous environments with communication-intensive workloads that are common to TensorFlow. Our findings indicate that the best partitioning and scheduling heuristics are those that focus on minimizing the execution time of the critical path in the graph. Those strategies provide a speed-up of up to 4 times in comparison to strategies that are agnostic to the critical path, such as hash-based partitioning and FIFO scheduling.


title: Transient spiral arms from far out of equilibrium gravitational evolution

abstract: We describe how a simple class of out of equilibrium, rotating and asymmetrical mass distributions evolve under their self-gravity to produce a quasi-planar spiral structure surrounding a virialized core, qualitatively resembling a spiral galaxy. The spiral structure is transient, but can survive tens of dynamical times, and further reproduces qualitatively noted features of spiral galaxies as the predominance of trailing two-armed spirals and large pitch angles. As our models are highly idealized, a detailed comparison with observations is not appropriate, but generic features of the velocity distributions can be identified to be potential observational signatures of such a mechanism. Indeed, the mechanism leads generically to a characteristic transition from predominantly rotational motion, in a region outside the core, to radial ballistic motion in the outermost parts. Such radial motions are excluded in our Galaxy up to 15 kpc, but could be detected at larger scales in the future by GAIA. We explore the apparent motions seen by external observers of the velocity distributions of our toy galaxies, and find that it is difficult to distinguish them from those of a rotating disc with sub-dominant radial motions at levels typically inferred from observations. These simple models illustrate the possibility that the observed apparent motions of spiral galaxies might be explained by non-trivial non-stationary mass and velocity distributions without invoking a dark matter halo or modification of Newtonian gravity. In this scenario the observed phenomenological relation between the centripetal and gravitational acceleration of the visible baryonic mass could have a simple explanation.


title: An Alternative Method for Solving Two Problems of the Standard Model

abstract: Two problems of the Standard Model, associated with the introduction of non-gauge interactions and with the introduction of an electromagnetic field as a linear combination of fields on which various gauge groups are implemented, are analyzed. It is noticed that the existing model contains $U\left( 1 \right)-$ phase uncertainty of the matrix elements of the raising and lowering generators of the $SU\left( 2 \right)$ group. This uncertainty creates the condition for the additional local $U\left( 1 \right)-$ symmetry of the Standard Model Lagrangian with respect to the choice of various equivalent generator representations of the $SU\left( 2 \right)$ group, which is provided by the electromagnetic field. In this case, due to the different action of the raising and lowering generators on the fields of each generation of leptons and quarks, these fields interact with the electromagnetic field in different ways. It is also shown that considering the multi-particle gauge field a description of the Higgs mechanism can be obtained, free from the shortcomings of the well-known single-particle description, the main of which is the introduction of the non-gauge "phi-four" interaction, that is not reduced to the fundamental one. In the proposed model, the spontaneous symmetry breaking is achieved due to the same fundamental interaction, the mediating particle mass of which it provides.


title: Third gravitational wave polarization mode in Rastall theory and analogy with f(R) theories

abstract: The recent starting of the gravitational wave (GW) astronomy with the events GW150914, GW151226, GW170104, and the very recent GW170814 and GW170817 seems to be fundamental not only in order to obtain new intriguing astrophysical information from our surrounding Universe, but also in order to discriminate among Einstein's general theory of relativity (GTR) and alternative gravitational theories. At the present time, despite the cited events, and in particular the last ones, which are the events GW170814 and GW170817, have put very strong constraint on the GTR, extended theories of gravity have not been completely ruled out. Here we discuss, in our knowledge for the first time in the literature, GWs in the Rastall theory of gravity. In fact, the Rastall theory recently obtained a renovated interest in the literature. We show that there is a profound analogy between GWs in f(R) theories of gravity and GWs in the Rastall theory. This will permit us to linearize the Rastall field equations and to find the corresponding GWs. We will also study the motion of the test masses due to GWs in this theory which could help, in principle, to discriminate between the GTR, f(R) theories and the Rastall theory of gravity.


title: Braking indices and spin evolution: something is loose inside neutron stars

abstract: Braking indices are used to describe the evolution of pulsars rotation, and can offer insights into the braking mechanism that dominates the slow down. Here we discuss the main difficulties associated with measuring braking indices and the complexity of interpreting these measurements. Considering recent braking index measurements on pulsars with large and regular glitches, we comment on the significant effects that the loosely coupled superfluid inside pulsars might have on their spin evolution.


title: Key points for understanding of Unruh and Hawking effects

abstract: The present paper stress on the distinction between the two idealizations~-- eternal (primordial) black hole and a black hole formed in a process of gravitation collapse. Such a distinction is an essential condition for a better understanding of the relation between Unruh effect and Hawking effect. The fundamental character of the discussions inside requires a preferred orientation to results of the local QFT in curved space-time.


title: Scattering of the double sine-Gordon kinks

abstract: We study the scattering of kink and antikink of the double sine-Gordon model. There is a critical value of the initial velocity $v_{cr}$ of the colliding kinks, which separates different regimes of the collision. At $v_{in}>v_{cr}$ we observe kinks reflection, while at $v_{in}<v_{cr}$ their interaction is complicated with capture and escape windows. We obtain the dependence of $v_{cr}$ on the parameter of the model. This dependence possesses a series of local maxima, which has not been reported by other authors. At some initial velocities below the critical value we observe a new phenomenon -- the escape of two oscillons in the final state. Besides that, at $v_{in}<v_{cr}$ we found the initial kinks' velocities at which the oscillons do not escape, and the final configuration looks like a bound state of two oscillons.

categories: hep-th cond-mat.mtrl-sci math-ph math.MP nlin.PS


title: Fast Integral Histogram Computations on GPU for Real-Time Video Analytics

abstract: In many Multimedia content analytics frameworks feature likelihood maps represented as histograms play a critical role in the overall algorithm. Integral histograms provide an efficient computational framework for extracting multi-scale histogram-based regional descriptors in constant time which are considered as the principle building blocks of many video content analytics frameworks. We evaluate four different mappings of the integral histogram computation onto Graphics Processing Units (GPUs) using different kernel optimization strategies. Our kernels perform cumulative sums on row and column histograms in a cross-weave or wavefront scan order, use different data organization and scheduling methods that is shown to critically affect utilization of GPU resources (cores and shared memory). Tiling the 3-D array into smaller regular data blocks significantly speeds up the efficiency of the computation compared to a strip-based organization. The tiled integral histogram using a diagonal wavefront scan has the best performance of about 300.4 frames/sec for 640 x 480 images and 32 bins with a speedup factor of about 120 using GTX Titan X graphics card compared to a single threaded sequential CPU implementation. Double-buffering has been exploited to overlap computation and communication across sequence of images. Mapping integral histogram bins computations onto multiple GPUs enables us to process 32 giga bytes integral histogram data (of 64MB Image and 128 bins) with a frame rate of 0.73 Hz and speedup factor of 153X over single-threaded CPU implementation and the speedup of 45X over 16-threaded CPU implementation.


title: On the Complexity and Approximability of Optimal Sensor Selection for Kalman Filtering

abstract: Given a linear dynamical system, we consider the problem of selecting (at design-time) an optimal set of sensors (subject to certain budget constraints) to minimize the trace of the steady state error covariance matrix of the Kalman filter. Previous work has shown that this problem is NP-hard for certain classes of systems and sensor costs; in this paper, we show that the problem remains NP-hard even for the special case where the system is stable and all sensor costs are identical. Furthermore, we show the stronger result that there is no constant-factor (polynomial-time) approximation algorithm for this problem. This contrasts with other classes of sensor selection problems studied in the literature, which typically pursue constant-factor approximations by leveraging greedy algorithms and submodularity of the cost function. Here, we provide a specific example showing that greedy algorithms can perform arbitrarily poorly for the problem of design-time sensor selection for Kalman filtering.


title: $A^{4}NT$: Author Attribute Anonymity by Adversarial Training of Neural Machine Translation

abstract: Text-based analysis methods allow to reveal privacy relevant author attributes such as gender, age and identify of the text's author. Such methods can compromise the privacy of an anonymous author even when the author tries to remove privacy sensitive content. In this paper, we propose an automatic method, called Adversarial Author Attribute Anonymity Neural Translation ($A^4NT$), to combat such text-based adversaries. We combine sequence-to-sequence language models used in machine translation and generative adversarial networks to obfuscate author attributes. Unlike machine translation techniques which need paired data, our method can be trained on unpaired corpora of text containing different authors. Importantly, we propose and evaluate techniques to impose constraints on our $A^4NT$ to preserve the semantics of the input text. $A^4NT$ learns to make minimal changes to the input text to successfully fool author attribute classifiers, while aiming to maintain the meaning of the input. We show through experiments on two different datasets and three settings that our proposed method is effective in fooling the author attribute classifiers and thereby improving the anonymity of authors.


title: Cosmological constant as quantum error correction from generalised gauge invariance in double field theory

abstract: The holographic principle and its realisation as the AdS/CFT correspondence leads to the existence of the so called precursor operators. These are boundary operators that carry non-local information regarding events occurring deep inside the bulk and which cannot be causally connected to the boundary. Such non-local operators can distinguish non-vacuum-like excitations within the bulk that cannot be observed by any local gauge invariant operators in the boundary. The boundary precursors are expected to become increasingly non-local the further the bulk process is from the boundary. Such phenomena are expected to be related to the extended nature of the strings. Standard gauge invariance in the boundary theory equates to quantum error correction which furthermore establishes localisation of bulk information. I show that when double field theory quantum error correction prescriptions are considered in the bulk, gauge invariance in the boundary manifests residual effects associated to stringy winding modes. Also, an effect of double field theory quantum error correction is the appearance of positive cosmological constant. The emergence of spacetime from the entanglement structure of a dual quantum field theory appears in this context to generalise for de-Sitter spacetimes as well.


title: Holographic dark energy model in unimodular $f(T)$ gravity

abstract: The present work deals with holographic dark energy in the context of unimodular $f(T)$ gravity, which is a modification of teleparallel gravity. We develop the general reconstruction procedure of the $f(T)$ form that can yield the holographic feature of the dark energy. We fit the reconstructed model with the $H(z)$ data and our results show a perfect agreement with the WMAP9 cosmological observational data, at least for the range $-1.10\leq \omega_V \leq -1.05$. We investigate the consistency of the reconstructed model by studying its stability against linear gravitational and matter perturbations, fixing $\omega_V$ to $-1.05$. The model presents stability for both de Sitter and power-law solutions and we conclude that it is a good candidate as alternative viable model for characterizing holographic dark energy.


title: Lattice paths inside a table, II

abstract: Consider an $m\times n$ table $T$ and latices paths $\nu_1,\ldots,\nu_k$ in $T$ such that each step $\nu_{i+1}-\nu_i=(1,1)$, $(1,0)$ or $(1,-1)$. The number of paths from the $(1,i)$-blank (resp. first column) to the $(s,t)$-blank is denoted by $\mathcal{D}^i(s,t)$ (resp. $\mathcal{D}(s,t)$). Also, the number of all paths form the first column to the las column is denoted by $\mathcal{I}_m(n)$. We give explicit formulas for the numbers $\mathcal{D}^1(s,t)$ and $\mathcal{D}(s,t)$.