title: Cross-lingual RST Discourse Parsing

abstract: Discourse parsing is an integral part of understanding information flow and argumentative structure in documents. Most previous research has focused on inducing and evaluating models from the English RST Discourse Treebank. However, discourse treebanks for other languages exist, including Spanish, German, Basque, Dutch and Brazilian Portuguese. The treebanks share the same underlying linguistic theory, but differ slightly in the way documents are annotated. In this paper, we present (a) a new discourse parser which is simpler, yet competitive (significantly better on 2/3 metrics) to state of the art for English, (b) a harmonization of discourse treebanks across languages, enabling us to present (c) what to the best of our knowledge are the first experiments on cross-lingual discourse parsing.


title: Liveness Verification and Synthesis: New Algorithms for Recursive Programs

abstract: We consider the problems of liveness verification and liveness synthesis for recursive programs. The liveness verification problem (LVP) is to decide whether a given omega-context-free language is contained in a given omega-regular language. The liveness synthesis problem (LSP) is to compute a strategy so that a given omega-context-free game, when played along the strategy, is guaranteed to derive a word in a given omega-regular language. The problems are known to be EXPTIME-complete and EXPTIME-complete, respectively. Our contributions are new algorithms with optimal time complexity. For LVP, we generalize recent lasso-finding algorithms (also known as Ramsey-based algorithms) from finite to recursive programs. For LSP, we generalize a recent summary-based algorithm from finite to infinite words. Lasso finding and summaries have proven to be efficient in a number of implementations for the finite state and finite word setting.


title: Nonradial entire solutions for Liouville systems

abstract: We consider the following system of Liouville equations: $$\left\{\begin{array}{ll}-\Delta u_1=2e^{u_1}+\mu e^{u_2}&\text{in }\mathbb R^2\\-\Delta u_2=\mu e^{u_1}+2e^{u_2}&\text{in }\mathbb R^2\\\int_{\mathbb R^2}e^{u_1}<+\infty,\int_{\mathbb R^2}e^{u_2}<+\infty\end{array}\right.$$ We show existence of at least $n-\left[\frac{n}3\right]$ global branches of nonradial solutions bifurcating from $u_1(x)=u_2(x)=U(x)=\log\frac{64}{(2+\mu)\left(8+|x|^2\right)^2}$ at the values $\mu=-2\frac{n^2+n-2}{n^2+n+2}$ for any $n\in\mathbb N$.


title: Additional energy scale in SmB$_6$ at low temperature

abstract: Topological insulators give rise to exquisite electronic properties due to their spin-momentum locked Dirac-cone-like band structure. Recently, it has been suggested that the required opposite parities between valence and conduction band along with strong spin-orbit coupling can be realized in correlated materials. Particularly, SmB$_6$ has been proposed as candidate material for a topological Kondo insulator. By utilizing scanning tunneling microscopy and spectroscopy measurements down to 0.35 K, we observed several states within the hybridization gap of about $\pm$20 meV on well characterized (001) surfaces of SmB$_6$. The spectroscopic response to impurities and magnetic fields allows to distinguish between dominating bulk and surface contributions to these states. The surface contributions develop particularly strongly below about 7 K which can be understood in terms of a breakdown of the Kondo effect at the surface. Our high-resolution data provide detailed insight into the electronic structure of SmB$_6$, which will reconcile many current discrepancies on this compound.


title: Convex Mixture Regression for Quantitative Risk Assessment

abstract: There is wide interest in studying how the distribution of a continuous response changes with a predictor. We are motivated by environmental applications in which the predictor is the dose of an exposure and the response is a health outcome. A main focus in these studies is inference on dose levels associated with a given increase in risk relative to a baseline. Popular methods either dichotomize the continuous response or focus on modeling changes with the dose in the expectation of the outcome. Such choices may lead to information loss and provide inaccurate inference on dose-response relationships. We instead propose a Bayesian convex mixture regression model that allows the entire distribution of the health outcome to be unknown and changing with the dose. To balance flexibility and parsimony, we rely on a mixture model for the density at the extreme doses, and express the conditional density at each intermediate dose via a convex combination of these extremal densities. This representation generalizes classical dose-response models for quantitative outcomes, and provides a more parsimonious, but still powerful, formulation compared to nonparametric methods, thereby improving interpretability and efficiency in inference on risk functions. A Markov chain Monte Carlo algorithm for posterior inference is developed, and the benefits of our methods are outlined in simulations, along with a study on the impact of DDT exposure on gestational age.


title: Saturation rank for finite group schemes: Finite groups and Infinitesimal group schemes

abstract: We investigate the saturation rank of a finite group scheme, defined over an algebraically closed field $\Bk$ of positive characteristic $p$. We begin by exploring the saturation rank for finite groups and infinitesimal group schemes. Special attention is given to reductive Lie algebras and the second Frobenius kernel of the algebraic group $\SL_{n}$.


title: Unhappy Developers: Bad for Themselves, Bad for Process, and Bad for Software Product

abstract: Recent research in software engineering supports the "happy-productive" thesis, and the desire of flourishing happiness among programmers is often expressed by industry practitioners. Recent literature has suggested that a cost-effective way to foster happiness and productivity among workers could be to limit unhappiness of developers due to its negative impact. However, possible negative effects of unhappiness are still largely unknown in the software development context. In this paper, we present the first results from a study exploring the consequences of the unhappy developers. Using qualitative data analysis of the survey responses given by 181 participants, we identified 49 potential consequences of unhappiness while developing software. These results have several implications. While raising the awareness of the role of moods, emotions and feelings in software development, we foresee that our classification scheme will spawn new happiness studies linking causes and effects, and it can act as a guideline for developers and managers to foster happiness at work.


title: Two-dimensional dissipative rogue waves due to time-delayed feedback in cavity nonlinear optics

abstract: We demonstrate a way to generate a two-dimensional rogue waves in two types of broad area nonlinear optical systems subject to time-delayed feedback: in the generic Lugiato-Lefever model and in model of a broad-area surface-emitting laser with saturable absorber. The delayed feedback is found to induce a spontaneous formation of rogue waves. In the absence of delayed feedback, spatial pulses are stationary. The rogue waves are exited and controlled by the delay feedback. We characterize their formation by computing the probability distribution of the pulse height. The long-tailed statistical contribution which is often considered as a signature of the presence of rogue waves appears for sufficiently strong feedback. The generality of our analysis suggests that the feedback induced instability leading to the spontaneous formation of two-dimensional rogue waves is an universal phenomenon.


title: Searching for galaxy clusters in the Kilo-Degree Survey

abstract: In this paper, we present the tools used to search for galaxy clusters in the Kilo Degree Survey (KiDS), and our first results. The cluster detection is based on an implementation of the optimal filtering technique that enables us to identify clusters as over-densities in the distribution of galaxies using their positions on the sky, magnitudes, and photometric redshifts. The contamination and completeness of the cluster catalog are derived using mock catalogs based on the data themselves. The optimal signal to noise threshold for the cluster detection is obtained by randomizing the galaxy positions and selecting the value that produces a contamination of less than 20%. Starting from a subset of clusters detected with high significance at low redshifts, we shift them to higher redshifts to estimate the completeness as a function of redshift: the average completeness is ~ 85%. An estimate of the mass of the clusters is derived using the richness as a proxy. We obtained 1858 candidate clusters with redshift 0 < z_c < 0.7 and mass 13.5 < log(M500/Msun) < 15 in an area of 114 sq. degrees (KiDS ESO-DR2). A comparison with publicly available Sloan Digital Sky Survey (SDSS)-based cluster catalogs shows that we match more than 50% of the clusters (77% in the case of the redMaPPer catalog). We also cross-matched our cluster catalog with the Abell clusters, and clusters found by XMM and in the Planck-SZ survey; however, only a small number of them lie inside the KiDS area currently available.


title: Multidimensional hyperbolic billiards

abstract: The theory of planar hyperbolic billiards is already quite well developed by having also achieved spectacular successes. In addition there also exists an excellent monograph by Chernov and Markarian on the topic. In contrast, apart from a series of works culminating in Sim\'anyi's remarkable result on the ergodicity of hard ball systems and other sporadic successes, the theory of hyperbolic billiards in dimension 3 or more is much less understood. The goal of this work is to survey the key results of their theory and highlight some central problems which deserve particular attention and efforts.


title: Perturbations of continuum random Schr\"odinger operators with applications to Anderson orthogonality and the spectral shift function

abstract: We study effects of a bounded and compactly supported perturbation on multi-dimensional continuum random Schr\"odinger operators in the region of complete localisation. Our main emphasis is on Anderson orthogonality for random Schr\"odinger operators. Among others, we prove that Anderson orthogonality does occur for Fermi energies in the region of complete localisation with a non-zero probability. This partially confirms recent non-rigorous findings [V. Khemani et al., Nature Phys. 11, 560-565 (2015)]. The spectral shift function plays an important role in our analysis of Anderson orthogonality. We identify it with the index of the corresponding pair of spectral projections and explore the consequences thereof. All our results rely on the main technical estimate of this paper which guarantees separate exponential decay of the disorder-averaged Schatten $p$-norm of $\chi_{a}(f(H) - f(H^{\tau})) \chi_{b}$ in $a$ and $b$. Here, $H^{\tau}$ is a perturbation of the random Schr\"odinger operator $H$, $\chi_{a}$ is the multiplication operator corresponding to the indicator function of a unit cube centred about $a\in\mathbb{R}^{d}$, and $f$ is in a suitable class of functions of bounded variation with distributional derivative supported in the region of complete localisation for $H$.


title: Sphere-Packing Bound for Symmetric Classical-Quantum Channels

abstract: We provide a sphere-packing lower bound for the optimal error probability in finite blocklengths when coding over a symmetric classical-quantum channel. Our result shows that the pre-factor can be significantly improved from the order of the subexponential to the polynomial. The established pre-factor is essentially optimal because it matches the best known random coding upper bound in the classical case. Our approaches rely on a sharp concentration inequality in strong large deviation theory and crucial properties of the error-exponent function.


title: Robust Portfolio Optimisation with Specified Competitors

abstract: We extend Relative Robust Portfolio Optimisation models to allow portfolios to optimise their distance to a set of benchmarks. Portfolio managers are also given the option of computing regret in a way which is more in line with market practices than other approaches suggested in the literature. In addition, they are given the choice of simply adding an extra constraint to their optimisation problem instead of outright changing the objective function, as is commonly suggested in the literature. We illustrate the benefits of this approach by applying it to equity portfolios in a variety of regions.


title: Algorithmic characterization results for the Kerr-NUT-(A)dS space-time. I. A space-time approach

abstract: We provide an algorithm to check whether a given vacuum space-time $(\mathcal{M},g)$ admits a Killing vector field w.r.t. which the Mars-Simon tensor vanishes. In particular, we obtain an algorithmic procedure to check whether $(\mathcal{M},g)$ is locally isometric to a member of the Kerr-NUT-(A)dS family. A particular emphasis will be devoted to the Kerr-(A)dS case.


title: Fast mixing for Latent Dirichlet allocation

abstract: Markov chain Monte Carlo (MCMC) algorithms are ubiquitous in probability theory in general and in machine learning in particular. A Markov chain is devised so that its stationary distribution is some probability distribution of interest. Then one samples from the given distribution by running the Markov chain for a "long time" until it appears to be stationary and then collects the sample. However these chains are often very complex and there are no theoretical guarantees that stationarity is actually reached. In this paper we study the Gibbs sampler of the posterior distribution of a very simple case of Latent Dirichlet Allocation, the arguably most well known Bayesian unsupervised learning model for text generation and text classification. It is shown that when the corpus consists of two long documents of equal length $m$ and the vocabulary consists of only two different words, the mixing time is at most of order $m^2\log m$ (which corresponds to $m\log m$ rounds over the corpus). It will be apparent from our analysis that it seems very likely that the mixing time is not much worse in the more relevant case when the number of documents and the size of the vocabulary are also large as long as each word is represented a large number in each document, even though the computations involved may be intractable.


title: Seasonal and diurnal variations in AMPERE observations of the Birkeland currents compared to modeled results

abstract: We reduce measurements made by the Active Magnetosphere and Planetary Electrodynamics Response Experiment (AMPERE) to give the total Birkeland (field-aligned) current flowing in both hemispheres in monthly and hourly bins. We analyze these totals using 6 years of data (2010-2015) to examine solar zenith angle-driven variations in the total Birkeland current flowing in both hemispheres, simultaneously, for the first time. A diurnal variation is identified in the total Birkeland current flowing, consistent with variations in the solar zenith angle. A seasonal variation is also identified, with more current flowing in the Northern (Southern) Hemisphere during Bartels rotations in northern (southern) summer. For months close to equinox, more current is found to flow in the Northern Hemisphere, contrary to our expectations. We also conduct the first test of the Milan (2013) model for estimating Birkeland current magnitudes, with modifications made to account for solar contributions to ionospheric conductance based on the observed variation of the Birkeland currents with season and time of day. The modified model, using the value of $\Phi_D$ averaged by Bartels rotation (scaled by 1.7), is found to agree with the observed AMPERE currents, with a correlation of 0.87 in the Northern Hemisphere and 0.86 in the Southern Hemisphere. The improvement over the correlation with dayside reconnection rate is demonstrated to be a significant improvement to the model. The correlation of the residuals is found to be consistent with more current flowing in the Northern Hemisphere. This new observation of systematically larger current flowing in the Northern Hemisphere is discussed in the context of previous results which suggest that the Northern Hemisphere may react more strongly to dayside reconnection than the Southern Hemisphere.


title: Distinguishing Antonyms and Synonyms in a Pattern-based Neural Network

abstract: Distinguishing between antonyms and synonyms is a key task to achieve high performance in NLP systems. While they are notoriously difficult to distinguish by distributional co-occurrence models, pattern-based methods have proven effective to differentiate between the relations. In this paper, we present a novel neural network model AntSynNET that exploits lexico-syntactic patterns from syntactic parse trees. In addition to the lexical and syntactic information, we successfully integrate the distance between the related words along the syntactic path as a new pattern feature. The results from classification experiments show that AntSynNET improves the performance over prior pattern-based methods.


title: The weight of collapse: dynamical reduction models in general relativistic contexts

abstract: Inspired by possible connections between gravity and foundational question in quantum theory, we consider an approach for the adaptation of objective collapse models to a general relativistic context. We apply these ideas to a list of open problems in cosmology and quantum gravity, such as the emergence of seeds of cosmic structure, the black hole information issue, the problem of time in quantum gravity and, in a more speculative manner, to the nature of dark energy and the origin of the very special initial state of the universe. We conclude that objective collapse models offer a rather promising path to deal with all of these issues.


title: Ramanujan's Formula for $\zeta(2n+1)$

abstract: Ramanujan made many beautiful and elegant discoveries in his short life of 32 years, and one of them that has attracted the attention of several mathematicians over the years is his intriguing formula for $\zeta(2n+1)$. To be sure, Ramanujan's formula does not possess the elegance of Euler's formula for $\zeta(2n)$, nor does it provide direct arithmetical information. But, one of the goals of this survey is to convince readers that it is indeed a remarkable formula. In particular, we discuss the history of Ramanujan's formula, its connection to modular forms, as well as the remarkable properties of the associated polynomials. We also indicate analogues, generalizations and opportunities for further research.


title: Revisiting Deep Intrinsic Image Decompositions

abstract: While invaluable for many computer vision applications, decomposing a natural image into intrinsic reflectance and shading layers represents a challenging, underdetermined inverse problem. As opposed to strict reliance on conventional optimization or filtering solutions with strong prior assumptions, deep learning based approaches have also been proposed to compute intrinsic image decompositions when granted access to sufficient labeled training data. The downside is that current data sources are quite limited, and broadly speaking fall into one of two categories: either dense fully-labeled images in synthetic/narrow settings, or weakly-labeled data from relatively diverse natural scenes. In contrast to many previous learning-based approaches, which are often tailored to the structure of a particular dataset (and may not work well on others), we adopt core network structures that universally reflect loose prior knowledge regarding the intrinsic image formation process and can be largely shared across datasets. We then apply flexibly supervised loss layers that are customized for each source of ground truth labels. The resulting deep architecture achieves state-of-the-art results on all of the major intrinsic image benchmarks, and runs considerably faster than most at test time.


title: Stein's method for dynamical systems

abstract: We present an adaptation of Stein's method of normal approximation to the study of both discrete- and continuous-time dynamical systems. We obtain new correlation-decay conditions on dynamical systems for a multivariate central limit theorem augmented by a rate of convergence. We then present a scheme for checking these conditions in actual examples. The principal contribution of our paper is the method, which yields a convergence rate essentially with the same amount of work as the central limit theorem, together with a multiplicative constant that can be computed directly from the assumptions.


title: A Large Dimensional Analysis of Least Squares Support Vector Machines

abstract: In this article, a large dimensional performance analysis of kernel least squares support vector machines (LS-SVMs) is provided under the assumption of a two-class Gaussian mixture model for the input data. Building upon recent advances in random matrix theory, we show, when the dimension of data $p$ and their number $n$ are both large, that the LS-SVM decision function can be well approximated by a normally distributed random variable, the mean and variance of which depend explicitly on a local behavior of the kernel function. This theoretical result is then applied to the MNIST and Fashion-MNIST datasets which, despite their non-Gaussianity, exhibit a convincingly close behavior. Most importantly, our analysis provides a deeper understanding of the mechanism into play in SVM-type methods and in particular of the impact on the choice of the kernel function as well as some of their theoretical limits in separating high dimensional Gaussian vectors.


title: Mapping lightning in the sky with a mini array

abstract: Mini arrays are commonly used for infrasonic and seismic studies. Here we report for the first time the detection and mapping of distant lightning discharges in the sky with a mini array. The array has a baseline to wavelength ratio $\sim$4.2 ${ \cdot}$ $10^{-2}$ to record very low frequency electromagnetic waves from 2 to 18 kHz. It is found that the mini array detects $\sim$69 lightning pulses per second from cloud-to-ground and in-cloud discharges, even though the parent thunderstorms are $\sim$900-1100 km away and a rigorous selection criterion based on the quality of the wavefront across the array is used. In particular, lightning pulses that exhibit a clockwise phase progression are found at larger elevation angles in the sky as the result of a birefringent subionospheric wave propagation attributed to ordinary and extraordinary waves. These results imply that long range lightning detection networks might benefit from an exploration of the wave propagation conditions with mini arrays.


title: Tractable Bayesian Density Regression via Logit Stick-Breaking Priors

abstract: There is a growing interest in learning how the distribution of a response variable changes with a set of predictors. Bayesian nonparametric dependent mixture models provide a flexible approach to address this goal. However, several formulations require computationally demanding algorithms for posterior inference. Motivated by this issue, we study a class of predictor-dependent infinite mixture models, which relies on a simple representation of the stick-breaking prior via sequential logistic regressions. This formulation maintains the same desirable properties of popular predictor-dependent stick-breaking priors, and leverages a recent P\'olya-gamma data augmentation to facilitate the implementation of several computational methods for posterior inference. These routines include Markov chain Monte Carlo via Gibbs sampling, expectation-maximization algorithms, and mean-field variational Bayes for scalable inference, thereby stimulating a wider implementation of Bayesian density regression by practitioners. The algorithms associated with these methods are presented in detail and tested in a toxicology study.


title: Compressed quantum computation using the IBM Quantum Experience

abstract: The notion of compressed quantum computation is employed to simulate the Ising interaction of a 1D--chain consisting out of $n$ qubits using the universal IBM cloud quantum computer running on $\log(n)$ qubits. The external field parameter that controls the quantum phase transition of this model translates into particular settings of the quantum gates that generate the circuit. We measure the magnetization, which displays the quantum phase transition, on a two--qubit system, which simulates a four--qubit Ising chain, and show its agreement with the theoretical prediction within a certain error. We also discuss the relevant point of how to assess errors when using a cloud quantum computer. As a solution, we propose to use validating circuits, that is to run independent controlled quantum circuits of similar complexity to the circuit of interest.


title: On the Impact of Transposition Errors in Diffusion-Based Channels

abstract: In this work, we consider diffusion-based molecular communication with and without drift between two static nano-machines. We employ type-based information encoding, releasing a single molecule per information bit. At the receiver, we consider an asynchronous detection algorithm which exploits the arrival order of the molecules. In such systems, transposition errors fundamentally undermine reliability and capacity. Thus, in this work we study the impact of transpositions on the system performance. Towards this, we present an analytical expression for the exact bit error probability (BEP) caused by transpositions and derive computationally tractable approximations of the BEP for diffusion-based channels with and without drift. Based on these results, we analyze the BEP when background is not negligible and derive the optimal bit interval that minimizes the BEP. Simulation results confirm the theoretical results and show the error and goodput performance for different parameters such as block size or noise generation rate.


title: Effect of viscosity ratio on the self-sustained instabilities in planar immiscible jets

abstract: Previous studies have shown that intermediate surface tension has a counterintuitive destabilizing effect on 2-phase planar jets. Here, the transition process in confined 2D jets of two fluids with varying viscosity ratio is investigated using DNS. Neutral curves for persistent oscillations are found by recording the norm of the velocity residuals in DNS for over 1000 nondimensional time units, or until the signal has reached a constant level in a logarithmic scale - either a converged steady state, or a "statistically steady" oscillatory state. Oscillatory final states are found for all viscosity ratios (0.1-10). For uniform viscosity (m=1), the first bifurcation is through a surface tension-driven global instability. For low viscosity of the outer fluid, there is a mode competition between a steady asymmetric Coanda-type attachment mode and the surface tension-induced mode. At moderate surface tension, the Coanda-type attachment dominates and eventually triggers time-dependent convective bursts. At high surface tension, the surface tension-dominated mode dominates. For high viscosity of the outer fluid, persistent oscillations appear due to a strong convective instability. Finally, the m=1 jet remains unstable far from the inlet when the shear profile is nearly constant. Comparing this to a parallel Couette flow (without inflection points), we show that in both flows, a hidden interfacial mode brought out by surface tension becomes temporally and absolutely unstable in an intermediate Weber and Reynolds regime. An energy analysis of the Couette setup shows that surface tension, although dissipative, induces a velocity field near the interface which extracts energy from the flow through a viscous mechanism. This study highlights the rich dynamics of immiscible planar uniform-density jets, where several self-sustained and convective mechanisms compete depending on the exact parameters.


title: Morphology of travel routes and the organization of cities

abstract: The city is a complex system that evolves through its inherent social and economic interactions. Mediating the movements of people and resources, urban street networks offer a spatial footprint of these activities; consequently their structural characteristics have been of great interest in the literature. In comparison, relatively limited attention has been devoted to the interplay between street structure and its functional usage, i.e., the movement patterns of people and resources. To address this, we study the shape of 472,040 spatiotemporally optimized travel routes in the 92 most populated cities in the world. The routes are sampled in a geographically unbiased way such that their properties can be mapped on to each city, with their summary statistics capturing mesoscale connectivity patterns representing the complete space of possible movement in cities. The collective morphology of routes exhibits a directional bias that could be described as influenced by the attractive (or repulsive) forces resulting from congestion, accessibility and travel demand that relate to various socioeconomic factors. To capture this feature, we propose a simple metric, inness, that maps this force field. An analysis of the morphological patterns of individual cities reveals structural and socioeconomic commonalities among cities with similar inness patterns, in particular that they cluster into groups that are correlated with their size and putative stage of urban development as measured by a series of socioeconomic and infrastructural indicators. Our results lend weight to the insight that levels of urban socioeconomic development are intrinsically tied to increasing physical connectivity and diversity of road hierarchies.


title: A generalization of Gauss' triangular theorem

abstract: A quadratic polynomial $\Phi_{a,b,c}(x,y,z)=x(ax+1)+y(by+1)+z(cz+1)$ is called universal if the diophantine equation $\Phi_{a,b,c}(x,y,z)=n$ has an integer solution $x,y,z$ for any non negative integer $n$. In this article, we show that if $(a,b,c)=(2,2,6), (2,3,5)$ or $(2,3,7)$, then $\Phi_{a,b,c}( x,y,z)$ is universal. These were conjectured by Sun in \cite {Sun}.


title: Structure and asymptotics for Catalan numbers modulo primes using automata

abstract: Let $C_n$ be the $n$th Catalan number. We show that the asymptotic density of the set $\{n: C_n \equiv 0 \mod p \}$ is $1$ for all primes $p$, We also show that if $n = p^k -1$ then $C_n \equiv -1 \mod p$. Finally we show that if $n \equiv \{ \frac{p+1}{2}, \frac{p+3}{2}, ..., p-2 \} \mod p$ then $p$ divides $C_n$. All results are obtained using the automata method of Rowland and Yassawi.


title: Time-dependent wave packet simulations of transport through Aharanov-Bohm rings with an embedded quantum dot

abstract: We have performed time-dependent wave packet simulations of realistic Aharonov-Bohm (AB) devices with a quantum dot embedded in one of the arms of the interferometer. The AB ring can function as a measurement device for the intrinsic transmission phase through the quantum dot, however, care has to be taken in analyzing the influence of scattering processes in the junctions of the interferometer arms. We consider a harmonic quantum dot and show how the Darwin-Fock spectrum emerges as a unique pattern in the interference fringes of the AB oscillations.


title: Spear operators between Banach spaces

abstract: The aim of this manuscript is to study \emph{spear operators}: bounded linear operators $G$ between Banach spaces $X$ and $Y$ satisfying that for every other bounded linear operator $T:X\longrightarrow Y$ there exists a modulus-one scalar $\omega$ such that $$ \|G + \omega\,T\|=1+ \|T\|. $$ To this end, we introduce two related properties, one weaker called the alternative Daugavet property (if rank-one operators $T$ satisfy the requirements), and one stronger called lushness, and we develop a complete theory about the relations between these three properties. To do this, the concepts of spear vector and spear set play an important role. Further, we provide with many examples among classical spaces, being one of them the lushness of the Fourier transform on $L_1$. We also study the relation of these properties with the Radon-Nikod\'ym property, with Asplund spaces, with the duality, and we provide some stability results. Further, we present some isometric and isomorphic consequences of these properties as, for instance, that $\ell_1$ is contained in the dual of the domain of every real operator with infinite rank and the alternative Daugavet property, and that these three concepts behave badly with smoothness and rotundity. Finally, we study Lipschitz spear operators (that is, those Lipschitz operators satisfying the Lipschitz version of the equation above) and prove that (linear) lush operators are Lipschitz spear operators.


title: Inequalities for the modified Bessel function of the second kind and the kernel of the Kr\"{a}tzel integral transformation

abstract: We obtain new inequalities for the modified Bessel function of the second kind $K_\nu$ in terms of the gamma function. These bounds follow as special cases of inequalities that we derive for the kernel of the Kr\"{a}tzel integral transformation.


title: Multi-Antenna Coded Caching

abstract: In this paper we consider a single-cell downlink scenario where a multiple-antenna base station delivers contents to multiple cache-enabled user terminals. Based on the multicasting opportunities provided by the so-called Coded Caching technique, we investigate three delivery approaches. Our baseline scheme employs the coded caching technique on top of max-min fair multicasting. The second one consists of a joint design of Zero-Forcing (ZF) and coded caching, where the coded chunks are formed in the signal domain (complex field). The third scheme is similar to the second one with the difference that the coded chunks are formed in the data domain (finite field). We derive closed-form rate expressions where our results suggest that the latter two schemes surpass the first one in terms of Degrees of Freedom (DoF). However, at the intermediate SNR regime forming coded chunks in the signal domain results in power loss, and will deteriorate throughput of the second scheme. The main message of our paper is that the schemes performing well in terms of DoF may not be directly appropriate for intermediate SNR regimes, and modified schemes should be employed.


title: Charge Transport in C$_{60}$-based Single-Molecule Junctions with Graphene Electrodes

abstract: We investigate charge transport in C$_{60}$-based single-molecule junctions with graphene electrodes employing a combination of density functional theory (DFT) electronic structure calculations and Landauer transport theory. In particular, the dependence of the transport properties on the conformation of the molecular bridge and the type of termination of the graphene electrodes is investigated. Furthermore, electron pathways through the junctions are analyzed using the theory of local currents. The results reveal, in agreement with previous experiments, a pronounced dependence of the transport properties on the bias polarity, which is rationalized in terms of the electronic structure of the molecule. It is also shown that the edge states of zigzag-terminated graphene induce additional transport channels, which dominate transport at small voltages. The importance of the edge states for transport depends profoundly on the interface geometry of the junctions.


title: Bivariate Rician shadowed fading model

abstract: In this paper we present a bivariate Rician shadowed fading model where the shadowing is assumed to follow a Nakagami-$m$ distribution. We derive exact expressions involving a single integral for both the joint probability density function (PDF) and the joint cumulative distribution function (CDF) and we also derive an exact closed-form expression for the moment generating function (MGF). As a direct consequence we obtain a closed-form expression for the power correlation coefficient between Rician shadowed variables as a function of the correlation coefficient between the underlying variables of the model. Additionally, in the particular case of integer $m$ we show that the PDF can be expressed in closed-form in terms of a sum of m Meijer G-functions of two variables. Results are applied to analyze the outage probability (OT) of a dual-branch selection combiner (SC) in correlated Rician shadowed fading and the evaluation of the level crossing rate (LCR) and average fade duration (AFD) of a sampled Rician shadowed fading envelope.


title: Divergence of wavelet series: A multifractal analysis

abstract: We show the relevance of a multifractal-type analysis for pointwise convergence and divergence properties of wavelet series: Depending on the sequence space which the wavelet coefficients sequence belongs to, we obtain deterministic upper bounds for the Hausdorff dimensions of the sets of points where a given rate of divergence occurs, and we show that these bounds are generically optimal, according to several notions of genericity.


title: Swift observations of SMC X-3 during its 2016-2017 super-Eddington outburst

abstract: The Be X-ray pulsar, SMC X-3 underwent a giant outburst from 2016 August to 2017 March, which was monitored with the Swift satellite. During the outburst, its broadband flux increased dramatically, and the unabsorbed X-ray luminosity reached an extreme value of $\sim 10^{39}$ erg/s around August 24. Using the Swift/XRT data, we measure the observed pulse frequency of the neutron star to compute the orbital parameters of the binary system. After applying the orbital corrections to Swift observations, we find that the spin frequency increases steadily from 128.02 mHz on August 10 and approach to spin equilibrium $\sim 128.74$ mHz in 2017 January with an unabsorbed luminosity of $L_{\rm X} \sim 2\times10^{37}$ erg/s, indicating a strong dipolar magnetic field $B \sim 6.8\times10^{12}$ G at the neutron star surface. The spin-up rate is tightly correlated with its X-ray luminosity during the super-Eddington outburst. The pulse profile in the Swift/XRT data is variable, showing double peaks at the early stage of outburst and then merging into a single peak at low luminosity. Additionally, we report that a low temperature ($kT \sim 0.2$ keV) thermal component emerges in the phase-averaged spectra as the flux decays, and it may be produced from the outer truncated disk or the boundary layer between the exterior flow and the magnetosphere.


title: Geometric Fluctuation Theorem

abstract: We derive an extended fluctuation theorem for a geometric pumping in a spin-boson system under a periodic control of environmental temperatures by using a Markovian quantum master equation. We perform the Monte-Carlo simulation and obtain the current distribution, the average current and the fluctuation. Using the extended fluctuation theorem we try to explain the results of our simulation. The fluctuation theorem leads to the fluctuation dissipation relations but the absence of the conventional reciprocal relation.


title: Effect of interstitial fluid on the fraction of flow microstates that precede clogging in granular hoppers

abstract: We report on the nature of flow events for the gravity-driven discharge of glass beads through a hole that is small enough that the hopper is susceptible to clogging. In particular, we measure the average and standard deviation of the distribution of discharged masses as a function of both hole and grain sizes. We do so in air, which is usual, but also with the system entirely submerged under water. This damps the grain dynamics and could be expected to dramatically affect the distribution of the flow events, which are described in prior work as avalanche-like. Though the flow is slower and the events last longer, we find that the average discharge mass is only slightly reduced for submerged grains. Furthermore, we find that the shape of the distribution remains exponential, implying that clogging is still a Poisson process even for immersed grains. Per Thomas and Durian [Phys. Rev. Lett. 114, 178001 (2015]), this allows interpretation of the average discharge mass in terms of the fraction of flow microstates that precede, i.e. that effectively cause, a stable clog to form. Since this fraction is barely altered by water, we conclude that the crucial microscopic variables are the grain positions; grain momenta play only a secondary role in destabilizing weak incipient arches. These insights should aid on-going efforts to understand the susceptibility of granular hoppers to clogging.


title: Enhancing Near-Field Radiative Heat Transfer with Si-based Metasurfaces

abstract: We demonstrate in this work that the use of metasurfaces provides a viable strategy to largely tune and enhance near-field radiative heat transfer between extended structures. In particular, using a rigorous coupled wave analysis, we predict that Si-based metasurfaces featuring two-dimensional periodic arrays of holes can exhibit a room-temperature near-field radiative heat conductance much larger than any unstructured material to date. We show that this enhancement, which takes place in a broad range of separations, relies on the possibility to largely tune the properties of the surface plasmon polaritons that dominate the radiative heat transfer in the near-field regime.


title: Radiowave Detection of Ultra-High Energy Neutrinos and Cosmic Rays

abstract: Radio waves, perhaps because they are uniquely transparent in our terrestrial atmosphere, as well as the cosmos beyond, or perhaps because they are macroscopic, so the basic instruments of detection (antennas) are easily constructable, arguably occupy a privileged position within the electromagnetic spectrum, and, correspondingly, receive disproportionate attention experimentally. Detection of radio-frequency radiation, at macroscopic wavelengths, has blossomed within the last decade as a competitive method for measurement of cosmic particles, particularly charged cosmic rays and neutrinos. Cosmic-ray detection via radio emission from extensive air showers has been demonstrated to be a reliable technique that has reached a reconstruction quality of the cosmic-ray parameters competitive with more traditional approaches. Radio detection of neutrinos in dense media seems to be the most promising technique to achieve the gigantic detection volumes required to measure neutrinos at energies beyond the PeV-scale flux established by IceCube. In this article, we review radio detection both of cosmic rays in the atmosphere, as well as neutrinos in dense media.


title: Darwinian Genetic Drift

abstract: Genetic drift is stochastic fluctuations of alleles frequencies in a population due to sampling effects. We consider a model of drift in an equilibrium population, with high mutation rates: few functional mutations per generation. Such mutation rates are common in multicellular organisms including humans, however they are not explicitly considered in most population genetics models. Under these assumptions the drift shows properties distinct from the classical drift models, which ignore realistic mutation rates: i) All (non-lethal) variants of a site have a characteristic average frequencies, which are independent of population size, however the magnitude of fluctuations around these frequencies depends on population size. ii) There is no "mutational meltdown" due to "low efficiency of selection" for small population size. Population average fitness does not depend on population size. iii) Drift (and molecular clock) can be represented as wandering by compensatory mutations, postulate of neutral mutations is not necessary for explaining the high rate of mutation accumulation. Our results, which adjust the meaning of the neutral theory from the individual neutrality of the majority of mutations, to the collective neutrality of compensatory mutations, are applicable to investigations in phylogeny and coalescent and for GWAS design and analysis.


title: A General Approximation Method for Bicriteria Minimization Problems

abstract: We present a general technique for approximating bicriteria minimization problems with positive-valued, polynomially computable objective functions. Given $0<\epsilon\leq1$ and a polynomial-time $\alpha$-approximation algorithm for the corresponding weighted sum problem, we show how to obtain a bicriteria $(\alpha\cdot(1+2\epsilon),\alpha\cdot(1+\frac{2}{\epsilon}))$-approximation algorithm for the budget-constrained problem whose running time is polynomial in the encoding length of the input and linear in $\frac{1}{\epsilon}$. Moreover, we show that our method can be extended to compute an $(\alpha\cdot(1+2\epsilon),\alpha\cdot(1+\frac{2}{\epsilon}))$-approximate Pareto curve under the same assumptions. Our technique applies to many minimization problems to which most previous algorithms for computing approximate Pareto curves cannot be applied because the corresponding gap problem is $\textsf{NP}$-hard to solve. For maximization problems, however, we show that approximation results similar to the ones presented here for minimization problems are impossible to obtain in polynomial time unless $\textsf{P}=\textsf{NP}$.


title: Finite size effects and Hofstadter butterfly in a bosonic Mott insulator with relativistic dispersion background

abstract: Gauge potentials with different configurations have been recently realized in the optical lattice experiments. It is remarkable that one of the simplest gauge can generate particle energy spectrum with the self-similar structure known as a Hofstadter butterfly. We investigate theoretically the impact of strong on-site interaction on such a spectrum. In particular, it is shown that the fractal structure is encoded in the quasi-particle and hole bosonic branches. A square lattice and other structures (brick-wall and staggered magnetic flux lattice) with relativistic energy dispersions which are currently accessible in the experiments are considered. Moreover, although in brick-wall and staggered flux lattices the quasi-particle densities of states looks qualitatively similar, the corresponding Hofstadter butterfly assumes different forms. In particular, we use a superposition of two different synthetic gauge fields which appears to be a generator of non-trivial phenomena in the optical lattice systems. The analysis is carried out within the strong coupling expansion method on the finite size lattices and also at finite temperatures which are relevant for the currently made experiments.


title: Node-Independent Spanning Trees in Gaussian Networks

abstract: Message broadcasting in networks could be carried over spanning trees. A set of spanning trees in the same network is node independent if two conditions are satisfied. First, all trees are rooted at node $r$. Second, for every node $u$ in the network, all trees' paths from $r$ to $u$ are node-disjoint, excluding the end nodes $r$ and $u$. Independent spanning trees have applications in fault-tolerant communications and secure message distributions. Gaussian networks and two-dimensional toroidal networks share similar topological characteristics. They are regular of degree four, symmetric, and node-transitive. Gaussian networks, however, have relatively lesser network diameter that could result in a better performance. This promotes Gaussian networks to be a potential alternative for two-dimensional toroidal networks. In this paper, we present constructions for node independent spanning trees in dense Gaussian networks. Based on these constructions, we design routing algorithms that can be used in fault-tolerant routing and secure message distribution. We also design fault-tolerant algorithms to construct these trees in parallel.


title: Bingham flow in porous media with obstacles of different size

abstract: By using the unfolding operators for periodic homogenization, we give a general compactness result for a class of functions defined on bounded domains presenting perforations of two different size. Then we apply this result to the homogenization of the flow of a Bingham fluid in a porous medium with solid obstacles of different size. Next we give the interpretation of the limit problem in term of a non linear Darcy law.


title: Associativity of $\sigma$-sets for non-antielement $\sigma$-set groups

abstract: We study and extend the conditions for asociativity on fusion over antielement free $\sigma$-sets to introduce a group to solve $\sigma$-set equations. $\sigma$-sets as a theory of sets and antisets is sumarized and used as a framework to define the main elements of this work. A theorem on Local Asociativity, conmutative groups and solution of one variable fusion equation is presented.


title: Terrestrial Planets Formation under Migration: the Systems near 4:2:1 Mean Motion Resonance

abstract: In this work, we extensively investigate the formation of near 4:2:1 mean motion resonances (MMRs) configuration by performing two sets of N-body simulations. We model the eccentricity damping, gas drag, type I and type II planetary migration of planetesimals, planetary embryos and giant planets in the first sets. For the simulations of giant planets with type II migration, the massive terrestrial planets, with a mass up to several Earth masses, are likely produced in the systems. We further show that by shepherding and/or scattering mechanisms through Jovian planet's type II migration, the terrestrial planets and giant planets in the systems can be evolved into a near 4:2:1 MMRs. Moreover, the models are applicable to the formation of Kepler-238 and 302 systems. In the second set, we study the 4:2:1 MMRs formation in the terrestrial planetary systems, where the planets undergo type I migration and eccentricity damping. By considering type I migration, $\sim$ 17.1\% of the simulations indicate that terrestrial planets are evolved into 4:2:1 MMRs. However, this probability should depend on the initial conditions of planets. Hence, we conclude that both type I and type II migration can play a crucial role in close-in terrestrial planet formation.


abstract: Radio detection of extensive air showers initiated in the Earth's atmosphere has made tremendous progress in the last decade. Today, radio detection is routinely used in several cosmic-ray observatories. The physics of the radio emission in air showers is well-understood, and analysis techniques have been developed to determine the arrival direction, the energy and an estimate for the mass of the primary particle from the radio measurements. The achieved resolutions are competitive with those of more traditional techniques. In this article, I shortly review the most important achievements and discuss the potential for future applications.


title: Reachability in Augmented Interval Markov Chains

abstract: In this paper we propose augmented interval Markov chains (AIMCs): a generalisation of the familiar interval Markov chains (IMCs) where uncertain transition probabilities are in addition allowed to depend on one another. This new model preserves the flexibility afforded by IMCs for describing stochastic systems where the parameters are unclear, for example due to measurement error, but also allows us to specify transitions with probabilities known to be identical, thereby lending further expressivity. The focus of this paper is reachability in AIMCs. We study the qualitative, exact quantitative and approximate reachability problem, as well as natural subproblems thereof, and establish several upper and lower bounds for their complexity. We prove the exact reachability problem is at least as hard as the famous square-root sum problem, but, encouragingly, the approximate version lies in $\mathbf{NP}$ if the underlying graph is known, whilst the restriction of the exact problem to a constant number of uncertain edges is in $\mathbf{P}$. Finally, we show that uncertainty in the graph structure affects complexity by proving $\mathbf{NP}$-completeness for the qualitative subproblem, in contrast with an easily-obtained upper bound of $\mathbf{P}$ for the same subproblem with known graph structure.


title: Charged Perfect Fluid Distribution for Cosmological Universe Interacting With Massive Scalar Field in Brans-Dicke Theory

abstract: Considering a spherically-symmetric non-static cosmological flat model of Robertson-Walker universe we have investigated the problem of perfect fluid distribution interacting with the gravitational field in presence of massive scalar field and electromagnetic field in B-D theory. Exact solutions have been obtained by using a general approach of solving the partial differential equations and it has been observed that the electromagnetic field cannot survive for the cosmological flat model due to the influence caused by the presence of massive scalar field.


title: Zitterbewegung and the Electron

abstract: Starting from a statistical model of the electron, which explains spin and spin measurements in terms of a probability density distribution resulting from a rapidly changing angular momentum during an extended Zitterbewegung, a light-like model of electron and Fermions is formulated. This model describes individual particles in terms of paths of a moving quantum. It is shown that this description allows one to reproduce observable properties as path-averages over a period of the fast extended Zitterbewegung in elementary calculations. The general topology of the paths may be described as a helical path, with a helix axis forming a circle around a fixed point in space. The radius of the helix and of the circle are equal and given by half the reduced Compton wave length of a photon of energy equal to the rest energy of the particle described. The paths depend on the relative velocity between the described entity and the observer, and represent the De Broglie wave. The merits of the proposed model are summarized and its role in relation to the established description by quantum mechanics discussed. It is concluded that it supports the existence of the proposed extended Zitterbewegung, and offers a description of quantum behaviour without quantum mechanics.


title: Numerical study of wet plastic particle separation using a coupled DEM-SPH method

abstract: The separation of different kind of plastic particles is required in the process of waste recycling. For the separation drum processes passed through by a liquid are applicable. Thereby the separation is based on the principle that particles either sink or float in a liquid depending on their densities. In this study the aforementioned process is numerically analysed for the separation of polyethylene terephthalate (PET) from polypropylene (PP) particles. The Discrete Element Method coupled with the Smoothed Particle Hydrodynamics method (DEM-SPH) is used for modelling purposes. The employment of the SPH for the modelling of the liquid let us exploit the strong side of this mesh-less method, namely, the relative easiness to model large movements of the fluid together with free surfaces and moving boundaries. The used theoretical model is presented and validation tests are performed, where a dam-break problem is considered as an example. Simulations of the plastic particle separation in the rotating drum are performed thereafter. The influence of the different operational and design parameters, such as the rotational velocity, the feed rate, the number of lifters etc., on the resultant purity of the plastic is estimated. It is expected that in the future the performed analysis will allow to optimise drum separation processes.


title: A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems

abstract: Cyber-Physical Systems in general, and Intelligent Transport Systems (ITS) in particular use heterogeneous data sources combined with problem solving expertise in order to make critical decisions that may lead to some form of actions e.g., driver notifications, change of traffic light signals and braking to prevent an accident. Currently, a major part of the decision process is done by human domain experts, which is time-consuming, tedious and error-prone. Additionally, due to the intrinsic nature of knowledge possession this decision process cannot be easily replicated or reused. Therefore, there is a need for automating the reasoning processes by providing computational systems a formal representation of the domain knowledge and a set of methods to process that knowledge. In this paper, we propose a knowledge model that can be used to express both declarative knowledge about the systems' components, their relations and their current state, as well as procedural knowledge representing possible system behavior. In addition, we introduce a framework for knowledge management and automated reasoning (KMARF). The idea behind KMARF is to automatically select an appropriate problem solver based on formalized reasoning expertise in the knowledge base, and convert a problem definition to the corresponding format. This approach automates reasoning, thus reducing operational costs, and enables reusability of knowledge and methods across different domains. We illustrate the approach on a transportation planning use case.


title: Homological subsets of Spec

abstract: We recover some data of a module $M$ from the Ext-family $\{\Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $\Spec(R)$, defined by the help of Ext-family. We extend Grothendieck's calculation of $\dim(\Ext^g_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.


title: A support and density theorem for Markovian rough paths

abstract: We establish two results concerning a class of geometric rough paths $\mathbf{X}$ which arise as Markov processes associated to uniformly subelliptic Dirichlet forms. The first is a support theorem for $\mathbf{X}$ in $\alpha$-H\"older rough path topology for all $\alpha \in (0,1/2)$, which answers in the positive a conjecture of Friz-Victoir (2010). The second is a H\"ormander-type theorem for the existence of a density of a rough differential equation driven by $\mathbf{X}$, the proof of which is based on analysis of (non-symmetric) Dirichlet forms on manifolds.


title: Globular clusters with Gaia

abstract: The treatment of crowded fields in Gaia data will only be a reality in a few years from now. In particular, for globular clusters, only the end-of-mission data (public in 2022-2023) will have the necessary full crowding treatment and will reach sufficient quality for the faintest stars. As a consequence, the work on the deblending and decontamination pipelines is still ongoing. We describe the present status of the pipelines for different Gaia instruments, and we model the end-of-mission crowding errors on the basis of available information. We then apply the nominal post-launch Gaia performances, appropriately worsened by the estimated crowding errors, to a set of 18 simulated globular clusters with different concentration, distance, and field contamination. We conclude that there will be 103-104 stars with astrometric performances virtually untouched by crowding (contaminated by <1 mmag) in the majority of clusters. The most limiting factor will be field crowding, not cluster crowding: the most contaminated clusters will only contain 10-100 clean stars. We also conclude that: (i) the systemic proper motions and parallaxes will be determined to 1% or better up to 15 kpc, and the nearby clusters will have radial velocities to a few km/s ; (ii) internal kinematics will be of unprecendented quality, cluster masses will be determined to 10% up to 15 kpc and beyond, and it will be possible to identify differences of a few km/s or less in the kinematics (if any) of cluster sub-populations up to 10 kpc and beyond; (iii) the brightest stars (V<17 mag) will have space-quality, wide-field photometry (mmag errors), and all Gaia photometry will have 1-3% errors on the absolute photometric calibration.


title: Parallel mining of time-faded heavy hitters

abstract: We present PFDCMSS, a novel message-passing based parallel algorithm for mining time-faded heavy hitters. The algorithm is a parallel version of the recently published FDCMSS sequential algorithm. We formally prove its correctness by showing that the underlying data structure, a sketch augmented with a Space Saving stream summary holding exactly two counters, is mergeable. Whilst mergeability of traditional sketches derives immediately from theory, we show that merging our augmented sketch is non trivial. Nonetheless, the resulting parallel algorithm is fast and simple to implement. To the best of our knowledge, PFDCMSS is the first parallel algorithm solving the problem of mining time-faded heavy hitters on message-passing parallel architectures. Extensive experimental results confirm that PFDCMSS retains the extreme accuracy and error bound provided by FDCMSS whilst providing excellent parallel scalability.


title: Large second harmonic generation enhancement in SiN waveguides by all-optically induced quasi phase matching

abstract: Integrated waveguides exhibiting efficient second-order nonlinearities are crucial to obtain compact and low power optical signal processing devices. Silicon nitride (SiN) has shown second harmonic generation (SHG) capabilities in resonant structures and single-pass devices leveraging intermodal phase matching, which is defined by waveguide design. Lithium niobate allows compensating for the phase mismatch using periodically poled waveguides, however the latter are not reconfigurable and remain difficult to integrate with SiN or silicon (Si) circuits. Here we show the all-optical enhancement of SHG in SiN waveguides by more than 30 dB. We demonstrate that a Watt-level laser causes a periodic modification of the waveguide second-order susceptibility. The resulting second order nonlinear grating has a periodicity allowing for quasi phase matching (QPM) between the pump and SH mode. Moreover, changing the pump wavelength or polarization updates the period, relaxing phase matching constraints imposed by the waveguide geometry. We show that the grating is long term inscribed in the waveguides, and we estimate a second order nonlinearity of the order of 0.3 pm/V, while a maximum conversion efficiency (CE) of 1.8x10-6 W-1 cm-2 is reached.


title: Compressive Sensing via Convolutional Factor Analysis

abstract: We solve the compressive sensing problem via convolutional factor analysis, where the convolutional dictionaries are learned {\em in situ} from the compressed measurements. An alternating direction method of multipliers (ADMM) paradigm for compressive sensing inversion based on convolutional factor analysis is developed. The proposed algorithm provides reconstructed images as well as features, which can be directly used for recognition ($e.g.$, classification) tasks. When a deep (multilayer) model is constructed, a stochastic unpooling process is employed to build a generative model. During reconstruction and testing, we project the upper layer dictionary to the data level and only a single layer deconvolution is required. We demonstrate that using $\sim30\%$ (relative to pixel numbers) compressed measurements, the proposed model achieves the classification accuracy comparable to the original data on MNIST. We also observe that when the compressed measurements are very limited ($e.g.$, $<10\%$), the upper layer dictionary can provide better reconstruction results than the bottom layer.


title: Decomposing edge-colored graphs under color degree constraints

abstract: For an edge-colored graph $G$, the minimum color degree of $G$ means the minimum number of colors on edges which are adjacent to each vertex of $G$. We prove that if $G$ is an edge-colored graph with minimum color degree at least $5$ then $V(G)$ can be partitioned into two parts such that each part induces a subgraph with minimum color degree at least $2$. We show this theorem by proving a much stronger form. Moreover, we point out an important relationship between our theorem and Bermond-Thomassen's conjecture in digraphs.


title: Optimal Control of Uncertain Nonlinear Quadratic Systems with Constrained Inputs

abstract: This paper addresses the problem of robust and optimal control for the class of nonlinear quadratic systems subject to norm-bounded parametric uncertainties and disturbances, and in presence of some amplitude constraints on the control input. By using an approach based on the guaranteed cost control theory, a technique is proposed to design a state feedback controller ensuring for the closed-loop system: i) the local exponential stability of the zero equilibrium point; ii) the inclusion of a given region into the domain of exponential stability of the equilibrium point; iii) the satisfaction of a guaranteed level of performance, in terms of boundedness of some optimality indexes. In particular, a sufficient condition for the existence of a state feedback controller satisfying a prescribed integral-quadratic index is provided, followed by a sufficient condition for the existence of a state feedback controller satisfying a given $\mathcal L_2$-gain disturbance rejection constraint. By the proposed design procedures, the optimal control problems dealt with here can be efficiently solved as Linear Matrix Inequality (LMI) optimization problems.


title: Explicit Time Integration of Transient Eddy Current Problems

abstract: For time integration of transient eddy current problems commonly implicit time integration methods are used, where in every time step one or several nonlinear systems of equations have to be linearized with the Newton-Raphson method due to ferromagnetic materials involved. In this paper, a generalized Schur-complement is applied to the magnetic vector potential formulation, which converts a differential-algebraic equation system of index 1 into a system of ordinary differential equations (ODE) with reduced stiffness. For the time integration of this ODE system of equations, the explicit Euler method is applied. The Courant-Friedrich-Levy (CFL) stability criterion of explicit time integration methods may result in small time steps. Applying a pseudo-inverse of the discrete curl-curl operator in nonconducting regions of the problem is required in every time step. For the computation of the pseudo-inverse, the preconditioned conjugate gradient (PCG) method is used. The cascaded Subspace Extrapolation method (CSPE) is presented to produce suitable start vectors for these PCG iterations. The resulting scheme is validated using the TEAM 10 benchmark problem.


title: The Saturation Number of Induced Subposets of the Boolean Lattice

abstract: Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, was introduced by Gerbner et al. (2013), and parallels the deep literature on the saturation function for graphs. We introduce and study the concept of saturation for induced subposets. As opposed to induced saturation in graphs, the above definition of saturation for posets extends naturally to the induced setting. We give several exact results and a number of bounds on the induced saturation number for several small posets. We also use a transformation to the biclique cover problem to prove a logarithmic lower bound for a rich infinite family of target posets.


title: Optical generation and detection of local non-equilibrium phonons in suspended graphene

abstract: The measured frequencies and intensities of different first- and second- order Raman peaks of suspended graphene are used to show that optical phonons and different acoustic phonon polarizations are driven out of local equilibrium inside a sub-micron laser spot. The experimental results are correlated with a first principles-based multiple temperature model to suggest a considerably lower equivalent local temperature of the flexural phonons than those of other phonon polarizations. The finding reveals weak coupling between the flexural modes with hot electrons and optical phonons. Since the ultrahigh intrinsic thermal conductivity of graphene has been largely attributed to contributions from the flexural phonons, the observed local non-equilibrium phenomena have important implications for understanding energy dissipation processes in graphene-based electronic and optoelectronic devices, as well as in Raman measurements of thermal transport in graphene and other two-dimensional materials.


title: Wave Packet Dynamics in the Majorana Equation

abstract: In the Majorana equation for particles with arbitrary spin, wave packets occur due to not only the uncertainty that affects position and momentum but also due to infinite components with decreasing mass that form the Majorana spinor. In this paper, we prove that such components contribute to increase the spreading of wave packets. Moreover, Zitterbewegung takes place in both the time propagation of Dirac wave packets and in Majorana wave packets. However, it shows a peculiar fine structure. Finally, group velocity always remains subluminal and contributions due to infinite components decrease progressively as spin increases.


title: Morphology and mechanical properties of nanocrystalline Cu/Ag alloy

abstract: Hybrid Monte Carlo (MC)/molecular dynamics (MD) simulations are conducted to study the microstructures of nanocrystalline (nc) Cu/Ag alloys with various Ag concentrations. When the Ag concentration is below 50 Ag atoms/nm!, an increase in Ag concentration leads to a gradual growth of monolayer grain boundary (GB) complexions into nanolayer complexions. Above the concentration of 50 Ag atoms/nm!, wetting layers with a bulk crystalline phase are observed. The effects of Ag on mechanical properties and deformation mechanisms of nc Cu/Ag alloys are investigated in MD simulations of uniaxial tension. GB sliding resistance is found to first increase and then decrease with an increase in Ag concentration. Surprisingly, we also find that the dislocation density decreases monotonically with an increase in Ag concentration, which suggests that the grain interiors are softened by the introduction of Ag dopants at GBs. In addition, there is a critical Ag concentration that maximizes flow stress of nc Cu/Ag alloys. The flow stress, GB sliding resistance, and the intragranular dislocation densities become less sensitive to Ag dopants when the grain diameter increases from 5nm to 40nm.


title: Using transmission Kikuchi diffraction to characterise {\alpha} variants in an {\alpha} + {\beta} titanium alloy

abstract: Two phase titanium alloys are important for high performance engineering components, such as aeroengine discs. The microstructures of these alloys are tailored during thermomechanical processing to precisely control phase factions, morphology and crystallographic orientations. In bimodal two phase ({\alpha} + {\beta}) Ti-6Al-2Sn-4Zr-2Mo (Ti-6242) alloys there are often three microstructural lengthscales to consider: large (~10 {\mu}m) equiaxed primary {\alpha}; >200 nm thick plate {\alpha} with a basketweave morphology; and very fine scaled (>50 nm plate thickness) secondary {\alpha} that grows between the larger {\alpha} plates surrounded by retained {\beta}. In this work, we utilise high spatial resolution transmission Kikuchi diffraction (TKD, also known as transmission based electron backscatter diffraction, t-EBSD) and scanning electron microscopy (SEM) based forward scattering electron imaging to resolve the structures and orientations of basketweave and secondary {\alpha} in Ti-6242. We analyse the {\alpha} variants formed within one prior {\beta} grain, and test whether existing theories of habit planes of the phase transformation are upheld. Our analysis is important in understanding both the thermomechanical processing strategy of new bimodal two-phase titanium alloys, as well the ultimate performance of these alloys in complex loading regimes such as dwell fatigue. Our paper champions the significant increase in spatial resolution afforded using transmission techniques, combined with the ease of SEM based analysis using conventional electron backscatter diffraction (EBSD) systems and forescatter detector (FSD) imaging, to study the nanostructure of real-world engineering alloys.


title: Structure formulas for wave operators under a small scaling invariant condition

abstract: We obtain structure formulas for the intertwining wave operators of a Schroedinger operator with potential V in R^3. The difference from our previous submission arXiv:1612.07304 lies with the fact that here we impose a scaling invariant condition on the potential, albeit with a smallness requirement.


title: Thermal quantum time-correlation functions from classical-like dynamics

abstract: Thermal quantum time-correlation functions are of fundamental importance in quantum dynamics, allowing experimentally-measurable properties such as reaction rates, diffusion constants and vibrational spectra to be computed from first principles. Since the exact quantum solution scales exponentially with system size, there has been considerable effort in formulating reliable linear-scaling methods involving exact quantum statistics and approximate quantum dynamics modelled with classical-like trajectories. Here we review recent progress in the field with the development of methods including Centroid Molecular Dynamics (CMD), Ring Polymer Molecular Dynamics (RPMD) and Thermostatted RPMD (TRPMD). We show how these methods have recently been obtained from `Matsubara dynamics', a form of semiclassical dynamics which conserves the quantum Boltzmann distribution. We also rederive t->0+ quantum transition-state theory (QTST) in the Matsubara dynamics formalism showing that Matsubara-TST, like RPMD-TST, is equivalent to QTST. We end by surveying areas for future progress.


title: The paradigm-shift of social spambots: Evidence, theories, and tools for the arms race

abstract: Recent studies in social media spam and automation provide anecdotal argumentation of the rise of a new generation of spambots, so-called social spambots. Here, for the first time, we extensively study this novel phenomenon on Twitter and we provide quantitative evidence that a paradigm-shift exists in spambot design. First, we measure current Twitter's capabilities of detecting the new social spambots. Later, we assess the human performance in discriminating between genuine accounts, social spambots, and traditional spambots. Then, we benchmark several state-of-the-art techniques proposed by the academic literature. Results show that neither Twitter, nor humans, nor cutting-edge applications are currently capable of accurately detecting the new social spambots. Our results call for new approaches capable of turning the tide in the fight against this raising phenomenon. We conclude by reviewing the latest literature on spambots detection and we highlight an emerging common research trend based on the analysis of collective behaviors. Insights derived from both our extensive experimental campaign and survey shed light on the most promising directions of research and lay the foundations for the arms race against the novel social spambots. Finally, to foster research on this novel phenomenon, we make publicly available to the scientific community all the datasets used in this study.


title: Spontaneous flux concentrations from the negative effective magnetic pressure instability beneath a radiative stellar surface

abstract: The formation of sunspots requires the concentration of magnetic flux near the surface. The negative magnetic pressure instability (NEMPI) might be a possible mechanism for accomplishing this, but it has mainly been studied in simple systems using an isothermal equation of state without a natural free surface. We study NEMPI in a stratified Cartesian mean-field model where turbulence effects are parameterized. We use an ideal equation of state and include radiation transport, which establishes selfconsistently a free surface. We use a Kramers-type opacity with adjustable exponents chosen such that the deeper layers are approximately isentropic. No convection is therefore possible in this model, allowing us to study NEMPI with radiation in isolation. We restrict ourselves to two-dimensional models. We use artificially enhanced mean-field coefficients to allow NEMPI to develop, making it therefore possible to study the reason why it is much harder to excite in the presence of radiation. NEMPI yields moderately strong magnetic flux concentrations a certain distance beneath the surface where optical depth is unity. The instability is oscillatory and in the form of upward travelling waves. This seems to be a new effect that has not been found in earlier models without radiative transport. The horizontal wavelength is about ten times smaller than what has been found previously in more idealized isothermal models. In our models, NEMPI saturates at field strengths too low to explain sunspots. Furthermore, the structures appear too narrow and too far beneath the surface to cause significant brightness variations at the radiative surface. We speculate that the failure to reproduce effects resembling sunspots may be related to the neglect of convection.


title: Some issues of quantum theory and subquantum processes

abstract: This paper critically considers the main interpretations of the wave function and offers an interpretation in which wave function is a consequence of subquantum processes taking place at the level of the organization of matter which underlies the phenomena described by quantum mechanics. We show that this interpretation provides a common ground to explain problematic issues of quantum theory (wave function collapse, electrons passing through two slits, behavior of electrons within the atom, quantum entanglement). The paper also shows that entropy is determined by the maximum number of macrosystem states which appear as the result of subquantum processes.


title: No phantoms in the derived category of curves over arbitrary fields, and derived characterizations of Brauer-Severi varieties

abstract: In this paper we show that the derived category of Brauer-Severi curves satisfies the Jordan-H\"older property and cannot have quasi-phantoms, phantoms or universal phantoms. In this way we obtain that quasi-phantoms, phantoms or universal phantoms cannot exist in the derived category of smooth projective curves over a field $k$. Moreover, we show that a $n$-dimensional Brauer-Severi variety is completely characterized by the existence of a full weak exceptional collection consisting of pure vector bundles of length $n+1$, at least in characteristic zero. We conjecture that Brauer-Severi varieties $X$ satisfy $\mathrm{rdim}_{\mathrm{cat}}(X)=\mathrm{ind}(X)-1$, provided period equals index, and prove this in the case of curves, surfaces and for Brauer-Severi varieties of index at most three. We believe that the results for curves are known to the experts. We nevertheless give the proofs, adding to the literature.


title: No Uncountable Polish Group Can be a Right-Angled Artin Group

abstract: We prove that no uncountable Polish group can admit a system of generators whose associated length function satisfies the following conditions: (i) if $0 < k < \omega$, then $lg(x) \leq lg(x^k)$; (ii) if $lg(y) < k < \omega$ and $x^k = y$, then $x = e$. In particular, the automorphism group of a countable structure cannot be an uncountable right-angled Artin group. This generalizes results from [3] and [5], where this is proved for free and free Abelian uncountable groups.


title: Two-dimensional structure reconstruction with expectation and maximization algorithm

abstract: In this report, we applied expectation and maximization (EM) method described by Philips et al [1] to recover two-dimensional (2D) structure from multiple sparse signal images in random orientation. The detailed derivation of EM algorithm for 2D image reconstruction was evaluated. Data sets with average 40 photons per frame were successfully classified by orientation. And the 2D mask structure is reconstructed by merging all frames with the appropriate rotations applied to each one. It provides us an alternative approach in data set classification and structural information recovery from extremely weak signal with incomplete information.


title: On the Tradeoff Region of Secure Exact-Repair Regenerating Codes

abstract: We consider the $(n,k,d,\ell)$ secure exact-repair regenerating code problem, which generalizes the $(n,k,d)$ exact-repair regenerating code problem with the additional constraint that the stored file needs to be kept information-theoretically secure against an eavesdropper, who can access the data transmitted to regenerate a total of $\ell$ different failed nodes. For all known results on this problem, the achievable tradeoff regions between the normalized storage capacity and repair bandwidth have a single corner point, achieved by a scheme proposed by Shah, Rashmi and Kumar (the SRK point). Since the achievable tradeoff regions of the exact-repair regenerating code problem without any secrecy constraints are known to have multiple corner points in general, these existing results suggest a phase-change-like behavior, i.e., enforcing a secrecy constraint ($\ell\geq 1$) immediately reduces the tradeoff region to one with a single corner point. In this work, we first show that when the secrecy parameter $\ell$ is sufficiently large, the SRK point is indeed the only corner point of the tradeoff region. However, when $\ell$ is small, we show that the tradeoff region can in fact have multiple corner points. In particular, we establish a precise characterization of the tradeoff region for the $(7,6,6,1)$ problem, which has exactly two corner points. Thus, a smooth transition, instead of a phase-change-type of transition, should be expected as the secrecy constraint is gradually strengthened.


title: The pro-$p$ group of upper unitriangular matrices

abstract: We study the pro-$p$ group $G$ whose finite quotients give the prototypical Sylow $p$-subgroup of the general linear groups over a finite field of prime characteristic $p$. In this article, we extend the known results on the subgroup structure of $G$. In particular, we give an explicit embedding of the Nottingham group as a subgroup and show that it is selfnormalising. Holubowski (\cite{holub1,holub0,holub2}) studies a free product $C_p*C_p$ as a (discrete) subgroup of $G$ and we prove that its closure is selfnormalising of infinite index in the subgroup of $2$-periodic elements of $G$. We also discuss change of rings: field extensions and a variant for the $p$-adic integers, this latter linking $G$ with some well known $p$-adic analytic groups. Finally, we calculate the Hausdorff dimensions of some closed subgroups of $G$ and show that the Hausdorff spectrum of $G$ is the whole interval $[0,1]$ which is obtained by considering partition subgroups only.


title: Characterisation and applications of $\Bbbk$-split bimodules

abstract: We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-category has a faithful $2$-representation inside the $2$-category of $\Bbbk$-split bimodules. As another application, we classify simple transitive $2$-representations of the $2$-category of projective bimodules over the algebra $\Bbbk[x,y]/(x^2,y^2,xy)$.


title: Kinematics of Subluminous O and B Stars by Surface Helium Abundance

abstract: The majority of hot subdwarf stars are low-mass core-helium-burning stars. Their atmospheres are generally helium deficient; however a minority have extremely helium-rich surfaces. An additional fraction have an intermediate surface-helium abundance, occasionally accompanied by peculiar abundances of other elements. We have identified a sample of 88 hot subdwarfs including 38 helium-deficient, 27 intermediate-helium and 23 extreme-helium stars for which radial-velocity and proper-motion measurements, together with distances, allow a calculation of Galactic space velocities. We have investigated the kinematics of these three groups to determine whether they belong to similar or different galactic populations. The majority of helium-deficient subdwarfs in our sample show a kinematic distribution similar to that of thick disk stars. Helium-rich sdBs show a more diverse kinematic distribution. Although the majority are probably disk stars, a minority show a much higher velocity dispersion consistent with membership of a Galactic halo population. Several of the halo subd- warfs are members of the class of "heavy-metal" subdwarfs discovered by Naslim et al. (2011, 2013).


title: Coloured Neretin Groups

abstract: We give sufficient conditions for a subgroup of a tree almost automorphism group to be isomorphic to the topological full groups of a one-sided shift in the sense of Matui. As an application, we show that almost automorphism groups of trees obtained from universal groups constructed by Burger and Mozes are compactly generated and virtually simple. In addition, using the approach of Bader, Caprace, Gelander and Mozes we show that some of these almost automorphism groups do not have any lattice.


title: Monads on higher monoidal categories

abstract: We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Monads acting on duoidal categories constitute the next case. We cover the general case of $n$-monoidal categories and discuss several naturally occurring examples in which $n\leq 3$.


title: Flowing to the continuum in discrete tensor models for quantum gravity

abstract: Tensor models provide a way to access the path-integral for discretized quantum gravity in d dimensions. As in the case of matrix models for two-dimensional quantum gravity, the continuum limit can be related to a Renormalization Group fixed point in a setup where the tensor size N serves as the Renormalization Group scale. We develop functional Renormalization Group tools for tensor models with a main focus on a rank-3 model for three-dimensional quantum gravity. We rediscover the double-scaling limit and provide an estimate for the scaling exponent. Moreover, we identify two additional fixed points with a second relevant direction in a truncation of the Renormalization Group flow. The new relevant direction might hint at the presence of additional degrees of freedom in the corresponding continuum limit.


title: Topological spin Hall effect in antiferromagnetic skyrmions

abstract: The topological Hall effect (THE), as one of the primary manifestations of non-trivial topology of chiral skyrmions, is traditionally used to detect the emergence of skyrmion lattices with locally ferromagnetic order. In this work we demonstrate that the appearance of non-trivial two-dimensional chiral textures with locally {\it anti}-ferromagnetic order can be detected through the spin version of the THE $-$ the topological spin Hall effect (TSHE). Utilizing the semiclassical formalism, here used to combine chiral antiferromagnetic textures with a density functional theory description of the collinear, degenerate electronic structure, we follow the real-space real-time evolution of electronic SU(2) wavepackets in an external electric field to demonstrate the emergence of sizeable transverse pure spin current in synthetic antiferromagnets of the Fe/Cu/Fe trilayer type. We further unravel the extreme sensitivity of the TSHE to the details of the electronic structure, suggesting that the magnitude and sign of the TSHE in transition-metal synthetic antiferromagnets can be engineered by tuning such parameters as the thickness or band filling. Besides being an important step in our understanding of the topological properties of ever more complex skyrmionic systems, our results bear great potential in stimulating the discovery of antiferromagnetic skyrmions.


title: Non-Supersymmetric Magic Theories and Ehlers Truncations

abstract: We consider the non-supersymmetric "magic" theories based on the split quaternion and the split complex division algebras. We show that these theories arise as "Ehlers" $SL(2,\mathbb{R})$ and $SL(3,\mathbb{R})$ truncations of the maximal supergravity theory, exploiting techniques related to very-extended Kac-Moody algebras. We also generalise the procedure to other $SL(n,\mathbb{R})$ truncations, resulting in additional classes of non-supersymmetric theories, as well as to truncations of non-maximal theories. Finally, we discuss duality orbits of extremal black-hole solutions in some of these non-supersymmetric theories.


title: ALMA Long Baseline Campaigns: Phase Characteristics of Atmosphere at Long Baselines in the Millimeter and Submillimeter Wavelengths

abstract: This paper presents the first detailed investigation of the characteristics of mm/submm phase fluctuation and phase correction methods obtained using ALMA with baseline lengths up to ~15 km. Most of the spatial structure functions (SSFs) show that the phase fluctuation increases as a function of baseline length, with a power-law slope of ~0.6. In many cases, we find that the slope becomes shallower (average of ~0.2-0.3) at baseline lengths longer than ~1 km, namely showing a turn-over in SSF. The phase correction method using water vapor radiometers (WVRs) works well, especially for the cases where PWV >1 mm, which reduces the degree of phase fluctuations by a factor of two in many cases. However, phase fluctuations still remain after the WVR phase correction, suggesting the existence of other turbulent constituent that cause the phase fluctuation. This is supported by occasional SSFs that do not exhibit any turn-over; these are only seen when the PWV is low or after WVR phase correction. This means that the phase fluctuation caused by this turbulent constituent is inherently smaller than that caused by water vapor. Since there is no turn-over in the SSF up to the maximum baseline length of ~15 km, this turbulent constituent must have scale height of 10 km or more, and thus cannot be water vapor, whose scale height is around 1 km. This large scale height turbulent constituent is likely to be water ice or a dry component. Excess path length fluctuation after the WVR phase correction at a baseline length of 10 km is large (>200 micron), which is significant for high frequency (>450 GHz or <700 micron) observations. These results suggest the need for an additional phase correction method, such as fast switching, in addition to the WVR phase correction. We simulated the fast switching, and the result suggests that it works well, with shorter cycle times linearly improving the coherence.


title: Interface mediated mechanisms of plastic strain recovery in AgCu alloy

abstract: Through the combination of transmission electron microscopy analysis of the deformed microstructure and molecular dynamics computer simulations of the deformation processes, the mechanisms of plastic strain recovery in bulk AgCu eutectic with either incoherent twin or cube-on-cube interfaces between the Ag and Cu layers and a bilayer thickness of 500 nm have been revealed. The character of the incoherent twin interfaces changed uniquely after dynamic compressive loading for samples that exhibited plastic strain recovery and was found to drive the recovery, which is due to dislocation retraction and rearrangement of the interfaces. The magnitude of the recovery decreased with increasing strain as dislocation tangles and dislocation cell structures formed. No change in the orientation relationship was found at cube-on-cube interfaces and these exhibited a lesser amount of plastic strain recovery in the simulations and none experimentally in samples with larger layer thicknesses with predominantly cube-on-cube interfaces. Molecular dynamics computer simulations verified the importance of the change in the incoherent twin interface structure as the driving force for dislocation annihilation at the interfaces and the plastic strain recovery.


title: Tight constraint on photon mass from pulsar spindown

abstract: Pulsars are magnetized rotating compact objects. They spin down due to magnetic dipole radiation and wind emission. If photon has a nonzero mass, the spin down rate would be smaller than the zero mass case. We show that an upper limit of the photon mass, i.e. $m_\gamma\lesssim h/Pc^2$, may be placed if a pulsar with period $P$ is observed to spin down. Recently, a white dwarf (WD) --- M dwarf binary, AR Scorpii was discovered to emit pulsed broadband emission with pulses. The spin-down luminosity of the WD can comfortably power the non-thermal radiation from the system. Applying our results to the WD pulsar with $P=117~\rm{s}$, we obtain a stringent upper limit of the photon mass between $m_\gamma<6.3\times10^{-50}~\rm{g}$ assuming a vacuum dipole spindown, and $m_\gamma<9.6\times10^{-50}~\rm{g}$ assuming a spindown due to a fully developed pulsar wind.


title: Why exomoons must be rare?

abstract: The problem of the search for the satellites of the exoplanets (exomoons) is discussed recently. There are very many satellites in our Solar System. But in contrary of our Solar system, exoplanets have significant eccentricity. In process of planetary migration, exoplanets can cross some resonances with following growth of their orbital eccentricity. The stability of exomoons decreases, and many of satellites were lost. Here we give a simple example of loss satellite when eccentricity increased. Finally, we can conclude that exomoons must be rare due to observed large eccentricities of exoplanets.


title: Mimicking Dark Matter

abstract: I show that a very simple model in the context of Newtonian physics promoted to a first approximation of general relativity can mimic Dark matter and explain most of its intriguing properties. Namely: i) Dark matter is a halo associated to ordinary matter; ii) Dark matter does not interact with ordinary matter nor with itself; iii) Its influence grows with the size of the aggregate of ordinary matter that is considered, and iv) Dark matter influences the propagation of light.


title: Towards Smart Proof Search for Isabelle

abstract: Despite the recent progress in automatic theorem provers, proof engineers are still suffering from the lack of powerful proof automation. In this position paper we first report our proof strategy language based on a meta-tool approach. Then, we propose an AI-based approach to drastically improve proof automation for Isabelle, while identifying three major challenges we plan to address for this objective.


title: Decoding with Finite-State Transducers on GPUs

abstract: Weighted finite automata and transducers (including hidden Markov models and conditional random fields) are widely used in natural language processing (NLP) to perform tasks such as morphological analysis, part-of-speech tagging, chunking, named entity recognition, speech recognition, and others. Parallelizing finite state algorithms on graphics processing units (GPUs) would benefit many areas of NLP. Although researchers have implemented GPU versions of basic graph algorithms, limited previous work, to our knowledge, has been done on GPU algorithms for weighted finite automata. We introduce a GPU implementation of the Viterbi and forward-backward algorithm, achieving decoding speedups of up to 5.2x over our serial implementation running on different computer architectures and 6093x over OpenFST.


title: Nonclassical Light Generation from III-V and Group-IV Solid-State Cavity Quantum Systems

abstract: In this chapter, we present the state-of-the-art in the generation of nonclassical states of light using semiconductor cavity quantum electrodynamics (QED) platforms. Our focus is on the photon blockade effects that enable the generation of indistinguishable photon streams with high purity and efficiency. Starting with the leading platform of InGaAs quantum dots in optical nanocavities, we review the physics of a single quantum emitter strongly coupled to a cavity. Furthermore, we propose a complete model for photon blockade and tunneling in III-V quantum dot cavity QED systems. Turning toward quantum emitters with small inhomogeneous broadening, we propose a direction for novel experiments for nonclassical light generation based on group-IV color-center systems. We present a model of a multi-emitter cavity QED platform, which features richer dressed-states ladder structures, and show how it can offer opportunities for studying new regimes of high-quality photon blockade.