title: Fragmentation of Filamentary Cloud Permeated by Perpendicular Magnetic Field

abstract: We examine the linear stability of an isothermal filamentary cloud permeated by a perpendicular magnetic field. Our model cloud is assumed to be supported by gas pressure against the self-gravity in the unperturbed state. For simplicity, the density distribution is assumed to be symmetric around the axis. Also for simplicity, the initial magnetic field is assumed to be uniform and turbulence is not taken into account. The perturbation equation is formulated to be an eigenvalue problem. The growth rate is obtained as a function of the wavenumber for fragmentation along the axis and the magnetic field strength. The growth rate depends critically on the outer boundary. If the displacement vanishes in the region very far from the cloud axis (fixed boundary), cloud fragmentation is suppressed by a moderate magnetic field, which means the plasma beta is below 1.67 on the cloud axis. If the displacement is constant along the magnetic field in the region very far from the cloud, the cloud is unstable even when the magnetic field is infinitely strong. The cloud is deformed by circulation in the plane perpendicular to the magnetic field. The unstable mode is not likely to induce dynamical collapse, since it is excited even when the whole cloud is magnetically subcritical. For both the boundary conditions the magnetic field increases the wavelength of the most unstable mode. We find that the magnetic force suppresses compression perpendicular to the magnetic field especially in the region of low density.


title: Modeling correlated bursts by the bursty-get-burstier mechanism

abstract: Temporal correlations of time series or event sequences in natural and social phenomena have been characterized by power-law decaying autocorrelation functions with decaying exponent $\gamma$. Such temporal correlations can be understood in terms of power-law distributed interevent times with exponent $\alpha$, and/or correlations between interevent times. The latter, often called correlated bursts, has recently been studied by measuring power-law distributed bursty trains with exponent $\beta$. A scaling relation between $\alpha$ and $\gamma$ has been established for the uncorrelated interevent times, while little is known about the effects of correlated interevent times on temporal correlations. In order to study these effects, we devise the bursty-get-burstier model for correlated bursts, by which one can tune the degree of correlations between interevent times, while keeping the same interevent time distribution. We numerically find that sufficiently strong correlations between interevent times could violate the scaling relation between $\alpha$ and $\gamma$ for the uncorrelated case. A non-trivial dependence of $\gamma$ on $\beta$ is also found for some range of $\alpha$. The implication of our results is discussed in terms of the hierarchical organization of bursty trains at various timescales.


title: Gasch\"utz Lemma for Compact Groups

abstract: We prove the Gasch\"utz Lemma holds for all metrisable compact groups.


title: Locating-Dominating Sets of Functigraphs

abstract: A locating-dominating set of a graph $G$ is a dominating set of $G$ such that every vertex of $G$ outside the dominating set is uniquely identified by its neighborhood within the dominating set. The location-domination number of $G$ is the minimum cardinality of a locating-dominating set in $G$. Let $G_{1}$ and $G_{2}$ be the disjoint copies of a graph $G$ and $f:V(G_{1})\rightarrow V(G_{2})$ be a function. A functigraph $F^f_{G}$ consists of the vertex set $V(G_{1})\cup V(G_{2})$ and the edge set $E(G_{1})\cup E(G_{2})\cup \{uv:v=f(u)\}$. In this paper, we study the variation of the location-domination number in passing from $G$ to $F^f_{G}$ and find its sharp lower and upper bounds. We also study the location-domination number of functigraphs of the complete graphs for all possible definitions of the function $f$. We also obtain the location-domination number of functigraphs of a family of spanning subgraph of the complete graphs.


title: Operator Fitting for Parameter Estimation of Stochastic Differential Equations

abstract: Estimation of parameters is a crucial part of model development. When models are deterministic, one can minimise the fitting error; for stochastic systems one must be more careful. Broadly parameterisation methods for stochastic dynamical systems fit into maximum likelihood estimation- and method of moment-inspired techniques. We propose a method where one matches a finite dimensional approximation of the Koopman operator with the implied Koopman operator as generated by an extended dynamic mode decomposition approximation. One advantage of this approach is that the objective evaluation cost can be independent the number of samples for some dynamical systems. We test our approach on two simple systems in the form of stochastic differential equations, compare to benchmark techniques, and consider limited eigen-expansions of the operators being approximated. Other small variations on the technique are also considered, and we discuss the advantages to our formulation.


title: On weaving g-frames for Hilbert spaces

abstract: Weaving frames are powerful tools in wireless sensor networks and pre-processing signals. In this paper, we introduce the concept of weaving for g-frames in Hilbert spaces. We first give some properties of weaving g-frames and present two necessary conditions in terms of frame bounds for weaving g-frames. Then we study the properties of weakly woven g-frames and give a sufficient condition for weaving g-frames. It is shown that weakly woven is equivalent to woven. Two sufficient conditions for weaving g-Riesz bases are given. And a weaving equivalent of an unconditional g-basis for weaving g-Riesz bases is considered. Finally, we present Paley-Wiener-type perturbation results for weaving g-frames.


title: Piecewise constant subsolutions for the Muskat problem

abstract: We show the existence of infinitely many admissible weak solutions for the incompressible porous media equations for all Muskat-type initial data with $C^{3,\alpha}$-regularity of the interface in the unstable regime and for all non-horizontal data with $C^{3,\alpha}$-regularity in the stable regime. Our approach involves constructing admissible subsolutions with piecewise constant densities. This allows us to give a rather short proof where it suffices to calculate the velocity and acceleration at time zero - thus emphasizing the instantaneous nature of non-uniqueness due to discontinuities in the initial data.


title: Trend Detection based Regret Minimization for Bandit Problems

abstract: We study a variation of the classical multi-armed bandits problem. In this problem, the learner has to make a sequence of decisions, picking from a fixed set of choices. In each round, she receives as feedback only the loss incurred from the chosen action. Conventionally, this problem has been studied when losses of the actions are drawn from an unknown distribution or when they are adversarial. In this paper, we study this problem when the losses of the actions also satisfy certain structural properties, and especially, do show a trend structure. When this is true, we show that using \textit{trend detection}, we can achieve regret of order $\tilde{O} (N \sqrt{TK})$ with respect to a switching strategy for the version of the problem where a single action is chosen in each round and $\tilde{O} (Nm \sqrt{TK})$ when $m$ actions are chosen each round. This guarantee is a significant improvement over the conventional benchmark. Our approach can, as a framework, be applied in combination with various well-known bandit algorithms, like Exp3. For both versions of the problem, we give regret guarantees also for the \textit{anytime} setting, i.e. when the length of the choice-sequence is not known in advance. Finally, we pinpoint the advantages of our method by comparing it to some well-known other strategies.


title: On Decidability of the Ordered Structures of Numbers

abstract: The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order and addition are decidable and infinitely axiomatizable. For the language of order and multiplication, it is known that the theories of $\mathbb{N}$ and $\mathbb{Z}$ are not decidable (and so not axiomatizable by any computably enumerable set of sentences). By Tarski's theorem, the multiplicative ordered structure of $\mathbb{R}$ is decidable also; here we prove this result directly and present an axiomatization. The structure of $\mathbb{Q}$ in the language of order and multiplication seems to be missing in the literature; here we show the decidability of its theory by the technique of quantifier elimination and after presenting an infinite axiomatization for this structure we prove that it is not finitely axiomatizable.


title: Fuzzy de Sitter Space

abstract: We discuss properties of fuzzy de Sitter space defined by means of algebra of the de Sitter group $\mathrm{SO}(1,4)$ in unitary irreducible representations. It was shown before that this fuzzy space has local frames with metrics that reduce, in the commutative limit, to the de Sitter metric. Here we determine spectra of the embedding coordinates for $(\rho,s=\frac 12)$ unitary irreducible representations of the principal continuous series of the $\mathrm{SO}(1,4)$. The result is obtained in the Hilbert space representation, but using representation theory it can be generalized to all representations of the principal continuous series.


title: Pion Polarizability Status Report

abstract: The electric ${\alpha}_{\pi}$ and magnetic $\beta_{\pi}$ charged pion Compton polarizabilities are of fundamental interest in the low-energy sector of quantum chromodynamics (QCD).They are directly linked to the phenomenon of spontaneously broken chiral symmetry within QCD and to the dynamics of the pion-photon interaction.The combination (${\alpha}_{\pi}-\beta_{\pi}$) was measured by:(1) CERN COMPASS via radiative pion Primakoff scattering (Bremsstrahlung) in the nuclear Coulomb field, ${\pi}^- Z \rightarrow {\pi}^-Z {\gamma}$, (2) SLAC PEP Mark-II via two-photon production of pion pairs, ${\gamma}{\gamma}\rightarrow{\pi}^+{\pi}^-$, and (3) Mainz Microtron via radiative pion photoproduction from the proton, ${\gamma}p\rightarrow{\gamma}{\pi}^+n$. COMPASS and Mark-II agree with one another:(1) ${\alpha}_{\pi}-\beta_{\pi}=4.0\times 10^{-4}fm^3$, (2) ${\alpha}_{\pi}-\beta_{\pi}=4.4 \times 10^{-4}fm^3$. The Mainz value (3) ${\alpha}_{\pi}-\beta_{\pi}=11.6 \times 10^{-4}fm^3$ is excluded here because a dispersion relations calculation using the Mainz value as input gives significantly too large ${\gamma}{\gamma} \rightarrow {\pi}^0{\pi}^0$ cross sections compared to DESY Crystal Ball data. COMPASS and Mark-II values agree well with the two-loop chiral perturbation theory ChPT prediction ${\alpha}_{\pi}-\beta_{\pi}=5.7\times10^{-4}fm^3$, thereby strengthening the identification of the pion with the Goldstone boson of QCD.


title: Static response, collective frequencies and ground state thermodynamical properties of spin saturated two-component cold atoms and neutron matter

abstract: The thermodynamical ground-state properties and static response in both cold atoms at or close to unitarity and neutron matter are determined using a recently proposed Density Functional Theory (DFT) based on the s-wave scattering length $a_s$, effective range $r_e$, and unitary gas limit. In cold atoms, when the effective range may be neglected, we show that the pressure, chemical potential, compressibility modulus and sound velocity obtained with the DFT are compatible with experimental observations or exact theoretical estimates. The static response in homogeneous infinite systems is also obtained and a possible influence of the effective range on the response is analyzed. The neutron matter differs from unitary gas due to the non infinite scattering length and to a significant influence of effective range which affects all thermodynamical quantities as well as the static response. In particular, we show for neutron matter that the latter response recently obtained in Auxiliary-Field Diffusion Monte-Carlo (AFDMC) can be qualitatively reproduced when the p-wave contribution is added to the functional. Our study indicates that the close similarity between the exact AFDMC static response and the free gas response might stems from the compensation of the $a_s$ effect by the effective range and p-wave contributions. We finally consider the dynamical response of both atoms or neutron droplets in anisotropic traps. Assuming the hydrodynamical regime and a polytropic equation of state, a reasonable description of the radial and axial collective frequencies in cold atoms is obtained. Following a similar strategy, we estimate the equivalent collective frequencies of neutron drops in anisotropic traps.


title: Device Activity and Embedded Information Bit Detection Using AMP in Massive MIMO

abstract: Future cellular networks will support a massive number of devices as a result of emerging technologies such as Internet-of-Things and sensor networks. Enhanced by machine type communication (MTC), low-power low-complex devices in the order of billions are projected to receive service from cellular networks. Contrary to traditional networks which are designed to handle human driven traffic, future networks must cope with MTC based systems that exhibit sparse traffic properties, operate with small packets and contain a large number of devices. Such a system requires smarter control signaling schemes for efficient use of system resources. In this work, we consider a grant-free random access cellular network and propose an approach which jointly detects user activity and single information bit per packet. The proposed approach is inspired by the approximate message passing (AMP) and demonstrates a superior performance compared to the original AMP approach. Furthermore, the numerical analysis reveals that the performance of the proposed approach scales with number of devices, which makes it suitable for user detection in cellular networks with massive number of devices.


title: Certified Non-Confluence with ConCon 1.5

abstract: We present three methods to check CTRSs for non-confluence: (1) an ad hoc method for 4-CTRSs, (2) a specialized method for unconditional critical pairs, and finally, (3) a method that employs conditional narrowing to find non-confluence witnesses. We shortly describe our implementation of these methods in ConCon, then look into their certification with CeTA, and finally conclude with experiments on the confluence problems database (Cops).


title: Interleaved sequences of geometric sequences binarized with Legendre symbol of two types

abstract: A pseudorandom number generator is widely used in cryptography. A cryptographic pseudorandom number generator is required to generate pseudorandom numbers which have good statistical properties as well as unpredictability. An m-sequence is a linear feedback shift register sequence with maximal period over a finite field. M-sequences have good statistical properties, however we must nonlinearize m-sequences for cryptographic purposes. A geometric sequence is a binary sequence given by applying a nonlinear feedforward function to an m-sequence. Nogami, Tada and Uehara proposed a geometric sequence whose nonlinear feedforward function is given by the Legendre symbol. They showed the geometric sequences have good properties for the period, periodic autocorrelation and linear complexity. However, the geometric sequences do not have the balance property. In this paper, we introduce geometric sequences of two types and show some properties of interleaved sequences of the geometric sequences of two types. These interleaved sequences have the balance property and double the period of the geometric sequences by the interleaved structure. Moreover, we show correlation properties and linear complexity of the interleaved sequences. A key of our observation is that the second type geometric sequence is the complement of the left shift of the first type geometric sequence by half-period positions.


title: 1-Dimensional Intrinsic Persistence of Geodesic Spaces

abstract: Given a compact geodesic space $X$ we apply the fundamental group and alternatively the first homology group functor to the corresponding Rips or \v{C}ech filtration of $X$ to obtain what we call a persistence. This paper contains the theory describing such persistence: properties of the set of critical points, their precise relationship to the size of holes, the structure of persistence and the relationship between open and close, Rips and \v{C}ech induced persistences. Amongst other results we prove that a Rips critical point $c$ corresponds to an isometrically embedded circle of length $3c$, that a homology persistence of a locally contractible space with coefficients in a field encodes the lengths of the lexicographically smallest base and that Rips and \v{C}ech induced persistences are isomorphic up to a factor $3/4$. The theory describes geometric properties of the underlying space encoded and extractable from persistence.


title: Multi-scale Deep Learning Architectures for Person Re-identification

abstract: Person Re-identification (re-id) aims to match people across non-overlapping camera views in a public space. It is a challenging problem because many people captured in surveillance videos wear similar clothes. Consequently, the differences in their appearance are often subtle and only detectable at the right location and scales. Existing re-id models, particularly the recently proposed deep learning based ones match people at a single scale. In contrast, in this paper, a novel multi-scale deep learning model is proposed. Our model is able to learn deep discriminative feature representations at different scales and automatically determine the most suitable scales for matching. The importance of different spatial locations for extracting discriminative features is also learned explicitly. Experiments are carried out to demonstrate that the proposed model outperforms the state-of-the art on a number of benchmarks


title: Thermodynamic formalism and integral means spectrum of asymptotic tracts for transcendental entire functions

abstract: We provide the full theory of thermodynamic formalism for a very general collection of entire functions in class $\mathcal B$. This class overlaps with the collection of all entire functions for which thermodynamic formalism has been so far established and contains many new functions. The key point is that we introduce an integral means spectrum for logarithmic tracts which takes care of the fractal behavior of the boundary of the tract near infinity. It turns out that this spectrum behaves well as soon as the tracts have some sufficiently nice geometry which, for example, is the case for quasicircle, John or H\"older tracts. In this case we get a good control of the corresponding transfer operators, leading to full thermodynamic formalism along with its applications such as exponential decay of correlations, central limit theorem and a Bowen's formula for the Hausdorff dimension of radial Julia sets. Our approach applies in particular to every hyperbolic function from any Eremenko-Lyubich analytic family of Speiser class $\mathcal S$ provided this family contains at least one function with H\"older tracts. The latter is, for example, the case if the family contains a Poincar\'e linearizer.


title: Photoproduction with a mini-jet model and Cosmic Ray showers

abstract: We present post-LHC updates of estimates of the total photo-production cross section in a mini-jet model with infrared soft gluon resummation, and apply the model to study Cosmic Ray shower development, comparing the results with those obtained from other existing models.


title: Crowdsourcing Paper Screening in Systematic Literature Reviews

abstract: Literature reviews allow scientists to stand on the shoulders of giants, showing promising directions, summarizing progress, and pointing out existing challenges in research. At the same time conducting a systematic literature review is a laborious and consequently expensive process. In the last decade, there have a few studies on crowdsourcing in literature reviews. This paper explores the feasibility of crowdsourcing for facilitating the literature review process in terms of results, time and effort, as well as to identify which crowdsourcing strategies provide the best results based on the budget available. In particular we focus on the screening phase of the literature review process and we contribute and assess methods for identifying the size of tests, labels required per paper, and classification functions as well as methods to split the crowdsourcing process in phases to improve results. Finally, we present our findings based on experiments run on Crowdflower.


title: Nonequilibrium Work Relation from Schroedinger's Unrecognized Probability Theory

abstract: Jarzynski's nonequilibrium work relation can be understood as the realization of the (hidden) time-generator reciprocal symmetry satisfied for the conditional probability function. To show this, we introduce the reciprocal process where the classical probability theory is expressed with real wave functions, and derive a mathematical relation using the symmetry. We further discuss that the descriptions by the standard Markov process from an initial equilibrium state are indistinguishable from those by the reciprocal process. Then the Jarzynski relation is obtained from the mathematical relation for the Markov processes described by the Fokker-Planck, Kramers and relativistic Kramers equations.

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


title: Quantum Analysis and Thermodynamic Operator Relations in Stochastic Energetics

abstract: We introduce a model of the quantum Brownian motion coupled to a classical neat bath by using the operator differential proposed in the quantum analysis. We then define the heat operator by adapting the idea of the stochastic energetics. The introduced operator satisfies the relations which are analogous to the first and second laws of thermodynamics.


title: Quantum coherent transport in a three-arm beam splitter and a Braess paradox

abstract: The Braess paradox encountered in classical networks is a counterintuitive phenomenon when the flow in a road network can be impeded by adding a new road or, more generally, the overall net performance can degrade after addition of an extra available choice. In this work, we discuss the possibility of a similar effect in a phase-coherent quantum transport and demonstrate it by example of a simple Y-shaped metallic fork. To reveal the Braess-like partial suppression of the charge flow in such device, it is proposed to transfer two outgoing arms into a superconducting state. We show that the differential conductance-vs-voltage spectrum of the hybrid fork structure varies considerably when the extra link between the two superconducting leads is added and it can serve as an indicator of quantum correlations which manifest themselves in the quantum Braess paradox.


title: Optimal Base Station Design with Limited Fronthaul: Massive Bandwidth or Massive MIMO?

abstract: To reach a cost-efficient 5G architecture, the use of remote radio heads connected through a fronthaul to baseband controllers is a promising solution. However, the fronthaul links must support high bit rates as 5G networks are projected to use wide bandwidths and many antennas. Upgrading all of the existing fronthaul connections would be cumbersome, while replacing the remote radio head and upgrading the software in the baseband controllers is relatively simple. In this paper, we consider the uplink and seek the answer to the question: If we have a fixed fronthaul capacity and can deploy any technology in the remote radio head, what is the optimal technology? In particular, we optimize the number of antennas, quantization bits and bandwidth to maximize the sum rate under a fronthaul capacity constraint. The analytical results suggest that operating with many antennas equipped with low-resolution analog-to-digital converters, while the interplay between number of antennas and bandwidth depends on various parameters. The numerical analysis provides further insights into the design of communication systems with limited fronthaul capacity.


title: The clustering of galaxies in the completed SDSS-III Baryon Oscillation Spectroscopic Survey: a tomographic analysis of structure growth and expansion rate from anisotropic galaxy clustering

abstract: We perform a tomographic analysis of structure growth and expansion rate from the anisotropic galaxy clustering of the combined sample of Baryon Oscillation Spectroscopic Survey (BOSS) Data Release 12, which covers the redshift range of $0.2<z<0.75$. In order to extract the redshift information of anisotropic galaxy clustering, we analyse this data set in nine overlapping redshift slices in configuration space and perform the joint constraints on the parameters $(D_V, F_{\mathrm{AP}}, f\sigma_8)$ using the correlation function multipoles. The analysis pipeline is validated using the MultiDark-Patchy mock catalogues. We obtain a measurement precision of $1.5\%-2.9\%$ for $D_V$, $5.2\%-9\%$ for $F_{\mathrm{AP}}$ and $13.3\%-24\%$ for $f \sigma_8$, depending on the effective redshift of the slices. We report a joint measurement of $(D_V, F_{\mathrm{AP}}, f\sigma_8)$ with the full covariance matrix in nine redshift slices. We use our joint BAO and RSD measurement combined with external datasets to constrain the gravitational growth index $\gamma$, and find $\gamma=0.656 \pm 0.057$, which is consistent with the $\Lambda$CDM prediction within 95\% CL.


title: Coding for Positive Rate in the Source Model Key Agreement Problem

abstract: A two-party key agreement problem with public discussion, known as the source model problem, is considered. By relating key agreement to hypothesis testing, a new coding scheme is developed that yields a sufficient condition to achieve a positive secret-key (SK) rate in terms of R\'enyi divergence. The merits of this coding scheme are illustrated by applying it to an erasure model for Eve's side information, and by deriving an upper bound on Eve's erasure probabilities for which the SK capacity is zero. This bound strictly improves on the best known single-letter lower bound on the SK capacity. Moreover, the bound is tight when Alice's or Bob's source is binary, which extends a previous result for a doubly symmetric binary source. The results motivate a new measure for the correlation between two random variables, which is of independent interest.


title: Comparing 3C 120 jet emission at small and large scales

abstract: Context. Important information on the evolution of the jet can be obtained by comparing the physical state of the plasma at its propagation through the broad-line region (where the jet is most likely formed) into the intergalactic medium, where it starts to significantly decelerate. Aims. We compare the constraints on the physical parameters in the innermost ($\leq$ pc) and outer ($\geq$ kpc) regions of the 3C 120 jet by means of a detailed multiwavelength analysis and theoretical modeling of their broadband spectra. Methods.The data collected by Fermi LAT, Swift and Chandra are analyzed together and the spectral energy distributions are modeled using a leptonic synchrotron and inverse Compton model, taking into account the seed photons originating inside and outside of the jet. The model parameters are estimated using the MCMC method. Results. The $\gamma$-ray flux from the inner jet of 3C 120 was characterized by rapid variation from MJD 56900 to MJD 57300. Two strong flares were observed on April 24, 2015 when, within 19.0 minutes and 3.15 hours the flux was as high as $(7.46\pm1.56)\times10^{-6}photon\:cm^{-2}\:s^{-1}$ and $(4.71\pm0.92)\times10^{-6}photon\:cm^{-2}\:s^{-1}$ respectively. The broadband emission in the quiet and flaring states can be described as SSC emission while IC scattering of dusty torus photons cannot be excluded for the flaring states. The X-ray emission from the knots can be well reproduced by IC scattering of CMB photons only if the jet is highly relativistic (since even when $\delta=10$ still $U_{\rm e}/U_B\geq80$). These extreme requirements can be somewhat softened assuming the X-rays are from the synchrotron emission of a second population of very-high-energy electrons. Conclusions. We found that the jet power estimated at two scales is consistent, suggesting that the jet does not suffer severe dissipation, it simply becomes radiatively inefficient.


title: Nearest-neighbor Kitaev exchange blocked by charge order in electron doped $\alpha$-RuCl$_{3}$

abstract: A quantum spin-liquid might be realized in $\alpha$-RuCl$_{3}$, a honeycomb-lattice magnetic material with substantial spin-orbit coupling. Moreover, $\alpha$-RuCl$_{3}$ is a Mott insulator, which implies the possibility that novel exotic phases occur upon doping. Here, we study the electronic structure of this material when intercalated with potassium by photoemission spectroscopy, electron energy loss spectroscopy, and density functional theory calculations. We obtain a stable stoichiometry at K$_{0.5}$RuCl$_3$. This gives rise to a peculiar charge disproportionation into formally Ru$^{2+}$ (4$d^6$) and Ru$^{3+}$ (4$d^5$). Every Ru 4$d^5$ site with one hole in the $t_{2g}$ shell is surrounded by nearest neighbors of 4$d^6$ character, where the $t_{2g}$ level is full and magnetically inert. Thus, each type of Ru sites forms a triangular lattice and nearest-neighbor interactions of the original honeycomb are blocked.


title: Edge states in self-complementary checkerboard photonic crystals: Zak phase, surface impedance and experimental verification

abstract: Edge states of photonic crystals have attracted much attention for the potential applications such as high transmission waveguide bends, spin dependent splitters and one-way photonic circuits. Here, we theoretically discuss and experimentally observe the deterministic edge states in checkerboard photonic crystals. Due to the self-complementarity of checkerboard photonic crystals, a common band gap is structurally protected between two photonic crystals with different unit cells. Deterministic edge states are found inside the common band gap by exploiting the Zak phase analysis and surface impedance calculation. These edge states are also confirmed by a microwave experiment.


title: Isospin effect on baryon and charge fluctuations from the pNJL model

abstract: We have studied the possible isospin corrections on the skewness and kurtosis of net-baryon and net-charge fluctuations in the isospin asymmetric matter formed in relativistic heavy-ion collisions at RHIC-BES energies, based on a 3-flavor polyakov-looped Nambu-Jona-Lasinio model. With typical scalar-isovector and vector-isovector couplings leading to the splitting of $u$ and $d$ quark chiral phase transition boundaries and critical points, we have observed dramatic isospin effects on the susceptibilities, especially those of net-charge fluctuations. Reliable experimental measurements at even lower collision energies are encouraged to confirm the observed isospin effects.


title: Demonstration of two-atom entanglement with ultrafast optical pulses

abstract: We demonstrate quantum entanglement of two trapped atomic ion qubits using a sequence of ultrafast laser pulses. Unlike previous demonstrations of entanglement mediated by the Coulomb interaction, this scheme does not require confinement to the Lamb-Dicke regime and can be less sensitive to ambient noise due to its speed. To elucidate the physics of an ultrafast phase gate, we generate a high entanglement rate using just 10 pulses, each of $\sim20$ ps duration, and demonstrate an entangled Bell-state with $(76\pm1)$% fidelity. These results pave the way for entanglement operations within a large collection of qubits by exciting only local modes of motion.


title: Search for electromagnetic super-preshowers using gamma-ray telescopes

abstract: Any considerations on propagation of particles through the Universe must involve particle interactions: processes leading to production of particle cascades. While one expects existence of such cascades, the state of the art cosmic-ray research is oriented purely on a detection of single particles, gamma rays or associated extensive air showers. The natural extension of the cosmic-ray research with the studies on ensembles of particles and air showers is being proposed by the CREDO Collaboration. Within the CREDO strategy the focus is put on generalized super-preshowers (SPS): spatially and/or temporally extended cascades of particles originated above the Earth atmosphere, possibly even at astrophysical distances. With CREDO we want to find out whether SPS can be at least partially observed by a network of terrestrial and/or satellite detectors receiving primary or secondary cosmic-ray signal. This paper addresses electromagnetic SPS, e.g. initiated by VHE photons interacting with the cosmic microwave background, and the SPS signatures that can be seen by gamma-ray telescopes, exploring the exampleof Cherenkov Telescope Array. The energy spectrum of secondary electrons and photons in an electromagnetic super-preshower might be extended over awide range of energy, down to TeV or even lower, as it is evident from the simulation results. This means that electromagnetic showers induced by such particles in the Earth atmosphere could be observed by imaging atmospheric Cherenkov telescopes. We present preliminary results from the study of response of the Cherenkov Telescope Array to SPS events, including the analysis of the simulated shower images on the camera focal plane and implementedgeneric reconstruction chains based on the Hillas parameters.


title: On Finding Equilibrium Stopping Times for Time-Inconsistent Markovian Problems

abstract: Standard Markovian optimal stopping problems are consistent in the sense that the first entrance time into the stopping set is optimal for each initial state of the process. Clearly, the usual concept of optimality cannot in a straightforward way be applied to non-standard stopping problems without this time-consistent structure. This paper is devoted to the solution of time-inconsistent stopping problems with the reward depending on the initial state using an adaptation of Strotz's consistent planning. More precisely, we give a precise equilibrium definition --- of the type subgame perfect Nash equilibrium based on pure Markov strategies. In general, such equilibria do not always exist and if they exist they are in general not unique. We, however, develop an iterative approach to finding equilibrium stopping times for a general class of problems and apply this approach to one-sided stopping problems on the real line. We furthermore prove a verification theorem based on a set of variational inequalities which also allows us to find equilibria. In the case of a standard optimal stopping problem, we investigate the connection between the notion of an optimal and an equilibrium stopping time. As an application of the developed theory we study a selling strategy problem under exponential utility and endogenous habit formation.


title: The Dominating Set Problem in Geometric Intersection Graphs

abstract: We study the parameterized complexity of dominating sets in geometric intersection graphs. In one dimension, we investigate intersection graphs induced by translates of a fixed pattern Q that consists of a finite number of intervals and a finite number of isolated points. We prove that Dominating Set on such intersection graphs is polynomially solvable whenever Q contains at least one interval, and whenever Q contains no intervals and for any two point pairs in Q the distance ratio is rational. The remaining case where Q contains no intervals but does contain an irrational distance ratio is shown to be NP-complete and contained in FPT (when parameterized by the solution size). In two and higher dimensions, we prove that Dominating Set is contained in W[1] for intersection graphs of semi-algebraic sets with constant description complexity. This generalizes known results from the literature. Finally, we establish W[1]-hardness for a large class of intersection graphs.


title: Fast OLAP Query Execution in Main Memory on Large Data in a Cluster

abstract: Main memory column-stores have proven to be efficient for processing analytical queries. Still, there has been much less work in the context of clusters. Using only a single machine poses several restrictions: Processing power and data volume are bounded to the number of cores and main memory fitting on one tightly coupled system. To enable the processing of larger data sets, switching to a cluster becomes necessary. In this work, we explore techniques for efficient execution of analytical SQL queries on large amounts of data in a parallel database cluster while making maximal use of the available hardware. This includes precompiled query plans for efficient CPU utilization, full parallelization on single nodes and across the cluster, and efficient inter-node communication. We implement all features in a prototype for running a subset of TPC-H benchmark queries. We evaluate our implementation using a 128 node cluster running TPC-H queries with 30 000 gigabyte of uncompressed data.


title: Estimation of a Coronal Mass Ejection Magnetic Field Strength using Radio Observations of Gyrosynchrotron Radiation

abstract: Coronal mass ejections (CMEs) are large eruptions of plasma and magnetic field from the low solar corona into interplanetary space. These eruptions are often associated with the acceleration of energetic electrons which produce various sources of high intensity plasma emission. In relatively rare cases, the energetic electrons may also produce gyrosynchrotron emission from within the CME itself, allowing for a diagnostic of the CME magnetic field strength. Such a magnetic field diagnostic is important for evaluating the total magnetic energy content of the CME, which is ultimately what drives the eruption. Here we report on an unusually large source of gyrosynchrotron radiation in the form of a type IV radio burst associated with a CME occurring on 2014-September-01, observed using instrumentation from the Nan\c{c}ay Radio Astronomy Facility. A combination of spectral flux density measurements from the Nan\c{c}ay instruments and the Radio Solar Telescope Network (RSTN) from 300MHz to 5 GHz reveals a gyrosynchrotron spectrum with a peak flux density at $>$1 GHz. Using this radio analysis, a model for gyrosynchrotron radiation, a non-thermal electron density diagnostic using the Fermi Gamma Ray Burst Monitor (GBM) and images of the eruption from the GOES Soft X-ray Imager (SXI), we are able to calculate both the magnetic field strength and the properties of the X-ray and radio emitting energetic electrons within the CME. We find the radio emission is produced by non-thermal electrons of energies >1MeV with a spectral index of $\delta$$\sim$3 in a CME magnetic field of 4.4 G at a height of 1.3 R$_{\odot}$, while the X-ray emission is produced from a similar distribution of electrons but with much lower energies on the order of 10 keV. We conclude by comparing X-ray and radio-emitting electron distributions and how such an analysis can be used to define the plasma properties of a CME.


title: Unsupervised state representation learning with robotic priors: a robustness benchmark

abstract: Our understanding of the world depends highly on our capacity to produce intuitive and simplified representations which can be easily used to solve problems. We reproduce this simplification process using a neural network to build a low dimensional state representation of the world from images acquired by a robot. As in Jonschkowski et al. 2015, we learn in an unsupervised way using prior knowledge about the world as loss functions called robotic priors and extend this approach to high dimension richer images to learn a 3D representation of the hand position of a robot from RGB images. We propose a quantitative evaluation of the learned representation using nearest neighbors in the state space that allows to assess its quality and show both the potential and limitations of robotic priors in realistic environments. We augment image size, add distractors and domain randomization, all crucial components to achieve transfer learning to real robots. Finally, we also contribute a new prior to improve the robustness of the representation. The applications of such low dimensional state representation range from easing reinforcement learning (RL) and knowledge transfer across tasks, to facilitating learning from raw data with more efficient and compact high level representations. The results show that the robotic prior approach is able to extract high level representation as the 3D position of an arm and organize it into a compact and coherent space of states in a challenging dataset.


title: Security of subcarrier wave quantum key distribution against the collective beam-splitting attack

abstract: We consider a subcarrier wave quantum key distribution (QKD) system, where the quantum en- coding is carried by weak sidebands generated to a coherent optical beam by means of an electrooptic phase modulation. We study the security of two protocols, B92 and BB84, against one of the most powerful attacks on the systems of this class: the collective beam splitting attack. We show that a subcarrier wave QKD system with realistic parameters is capable of distributing a cryptographic key over large distances. We show also that a modification of the BB84 protocol, with discrimina- tion of only one state in each basis, performs not worse than the original BB84 protocol for this class of QKD systems, which brings a significant simplification to the development of cryprographic networks on the basis of considered technique.


title: On some weakly coercive quasilinear problems with forcing

abstract: We consider the forced problem $-\Delta_p u - V(x)|u|^{p-2} u = f(x)$, where $\Delta_p$ is the $p$-Laplacian ($1<p<\infty$) in a domain $\Omega\subset \mathbb{R}^N$, $V\ge 0$ and $Q_V (u) := \int_\Omega |\nabla u|^p\, dx - \int_\Omega V|u|^p\,dx$ satisfies the condition (A) stated at the beginning of the paper. We show that this problem has a solution for all $f$ in a suitable space of distributions. Then we apply this result to some classes of functions $V$ which in particular include the Hardy potential and the potential $V(x)=\lambda_{1,p}(\Omega)$, where $\lambda_{1,p}(\Omega)$ is the Poincar\'e constant on an infinite strip.


title: Adversarial Occlusion-aware Face Detection

abstract: Occluded face detection is a challenging detection task due to the large appearance variations incurred by various real-world occlusions. This paper introduces an Adversarial Occlusion-aware Face Detector (AOFD) by simultaneously detecting occluded faces and segmenting occluded areas. Specifically, we employ an adversarial training strategy to generate occlusion-like face features that are difficult for a face detector to recognize. Occlusion mask is predicted simultaneously while detecting occluded faces and the occluded area is utilized as an auxiliary instead of being regarded as a hindrance. Moreover, the supervisory signals from the segmentation branch will reversely affect the features, aiding in detecting heavily-occluded faces accordingly. Consequently, AOFD is able to find the faces with few exposed facial landmarks with very high confidences and keeps high detection accuracy even for masked faces. Extensive experiments demonstrate that AOFD not only significantly outperforms state-of-the-art methods on the MAFA occluded face detection dataset, but also achieves competitive detection accuracy on benchmark dataset for general face detection such as FDDB.


title: Multi-model ensembles for ecosystem prediction

abstract: When making predictions about ecosystems, we often have available a number of different ecosystem models that attempt to represent their dynamics in a detailed mechanistic way. Each of these can be used as simulators of large-scale experiments and make forecasts about the fate of ecosystems under different scenarios in order to support the development of appropriate management strategies. However, structural differences, systematic discrepancies and uncertainties lead to different models giving different predictions under these scenarios. This is further complicated by the fact that the models may not be run with the same species or functional groups, spatial structure or time scale. Rather than simply trying to select a 'best' model, or taking some weighted average, it is important to exploit the strengths of each of the available models, while learning from the differences between them. To achieve this, we construct a flexible statistical model of the relationships between a collection or 'ensemble' of mechanistic models and their biases, allowing for structural and parameter uncertainty and for different ways of representing reality. Using this statistical meta-model, we can combine prior beliefs, model estimates and direct observations using Bayesian methods, and make coherent predictions of future outcomes under different scenarios with robust measures of uncertainty. In this paper we present the modelling framework and discuss results obtained using a diverse ensemble of models in scenarios involving future changes in fishing levels. These examples illustrate the value of our approach in predicting outcomes for possible strategies pertaining to climate and fisheries policy aimed at improving food security and maintaining ecosystem integrity.


title: Valley controlled propagation of pseudospin states in bulk metacrystal waveguides

abstract: Light manipulations such as spin-direction locking propagation, robust transport, quantum teleportation and reconfigurable electromagnetic pathways have been investigated at the boundaries of photonic systems. Recently by breaking Dirac cones in time-reversal invariant photonic crystals, valley-pseudospin coupled edge states have been employed to realize selective propagation of light. Here, without photonic boundaries, we realize the propagation of pseudospin states in three-dimensional bulk metacrystal waveguides by employing the ubiquitous valley degree of freedom. Valley-dependent pseudospin bands are achieved in three-dimensional metacrystal waveguides without Dirac cones. Reconfigurable photonic valley Hall effect is proposed after studying the variation of pseudospin states near K' and K valleys. Moreover, a prototype of photonic blocker is realized by cascading two inversion asymmetric metacrystal waveguides in which the pseudospin direction locking propagation exists. In addition, valley-dependent pseudospin bands are also discussed in a realistic metamaterials sample. These results show an alternative way towards molding the pseudospin flow in photonic systems.


title: Worst-case convergence analysis of inexact gradient and Newton methods through semidefinite programming performance estimation

abstract: We provide new tools for worst-case performance analysis of the gradient (or steepest descent) method of Cauchy for smooth strongly convex functions, and Newton's method for self-concordant functions, including the case of inexact search directions. The analysis uses semidefinite programming performance estimation, as pioneered by Drori and Teboulle [Mathematical Programming, 145(1-2):451-482, 2014], and extends recent performance estimation results for the method of Cauchy by the authors [Optimization Letters, 11(7), 1185-1199, 2017]. To illustrate the applicability of the tools, we demonstrate a novel complexity analysis of short step interior point methods using inexact search directions. As an example in this framework, we sketch how to give a rigorous worst-case complexity analysis of a recent interior point method by Abernethy and Hazan [PMLR, 48:2520-2528, 2016].


title: On the support of the Kloosterman paths

abstract: We obtain statistical results on the possible distribution of all partial sums of a Kloosterman sum modulo a prime, by computing explicitly the support of the limiting random Fourier series of our earlier functional limit theorem for Kloosterman paths.


title: Clustering of Musical Pieces through Complex Networks: an Assessment over Guitar Solos

abstract: Musical pieces can be modeled as complex networks. This fosters innovative ways to categorize music, paving the way towards novel applications in multimedia domains, such as music didactics, multimedia entertainment and digital music generation. Clustering these networks through their main metrics allows grouping similar musical tracks. To show the viability of the approach, we provide results on a dataset of guitar solos.


title: On a conjecture of Faulhuber and Steinerberger on the logarithmic derivative of $\vartheta_4$

abstract: Faulhuber and Steinerberger conjectured that the logarithmic derivative of $\vartheta_4$ has the property that $y^2\,\vartheta_4'(y)/\vartheta_4(y)$ is strictly decreasing and strictly convex. In this small note, we prove this conjecture.


title: The "go-stop-go" of Italian civil nuclear programs, beset by lack of strategic planning, exploitation for personal gain and unscrupulous political conspiracies: 1946-1987

abstract: The Italian civil nuclear projects had a very early origin, with the first ideas originating as far back as 1945. The construction of the first three plants dated back to the period 1956-1964, and at that time Italy ranked third in the world for installed power. However, the very ambitious projects were immediately after thwarted in the early 1960s by the "Ippolito trial". Actually, a whole range of advanced programmes for the development of the country went to a stop, since they clashed with national and international major powers. Italy was relegated to a second rank power. The fourth nuclear plan was designed in 1970, and its commercial operation began in 1981. In the meantime, a strong anti-nuclear movement grew, and the position of the pro-nuclear Italian Communist Party began to change. After the Chernobyl accident, a national referendum was held, which in 1987 put an end to the Italian nuclear programmes.


title: We are all the Cosmic-Ray Extremely Distributed Observatory

abstract: The Cosmic-Ray Extremely Distributed Observatory (CREDO) is an infrastructure for global analysis of extremely extended cosmic-ray phenomena, so-called super-preshowers, beyond the capabilities of existing, discrete, detectors and observatories. To date cosmic-ray research has been focused on detecting single air showers, while the search for ensembles of cosmic-ray events induced by super-preshowers is a scientific terra incognita - CREDO explores this uncharted realm. Positive detection of super-preshowers would have an impact on ultra-high energy astrophysics, cosmology and the physics of fundamental particle interactions as they can theoretically be formed within both classical (photon-photon interactions) and exotic (Super Heavy Dark Matter particle decay and interaction) scenarios. Some super-preshowers are predicted to have a significant spatial extent - a unique signature only detectable with the existing cosmic-ray infrastructure taken as a global network. An obvious, although yet unprobed, super-preshower 'detection limit' would be located somewhere between an air shower, induced by a super-preshower composed of tightly collimated particles, and a super-preshower composed of particles spread so widely that only few of them can reach the Earth. CREDO will probe this detection limit, leading to either an observation of an as yet unseen physical phenomenon, or the setting upper limits to the existence of large extraterrestrial cascades which would constrain fundamental physics models. While CREDO's focus is on testing physics at energies close to the Grand Unified Theories range, the broader phenomena are expected to be composed of particles with energies ranging from GeV to ZeV. This motivates our advertising of this concept across the astroparticle physics community.


title: Scalable real-time processing with Spark Streaming: implementation and design of a Car Information System

abstract: Streaming data processing is a hot topic in big data these days, because it made it possible to process a huge amount of events within a low latency. One of the most common used open-source stream processing platforms is Spark Streaming, which is demonstrated and discussed based on a real-world use-case in this paper. The use-case is about a Car Information System, which is an example for a classic stream processing system. First the System is de- signed and engineered, whereby the application architecture is created carefully, because it should be adaptable for similar use-cases. At the end of this paper the CIS and Spark Streaming is evaluated by the use of the Goal Question Metric model. The evaluation proves that Spark Streaming is capable to create stream processing in a scalable and fault tolerant manner. But it also shows that Spark is a very fast moving project, which could cause problems during the development and maintenance of a software project.


title: Tunable viscosity modification with diluted particles: When particles decrease the viscosity of complex fluids

abstract: While spherical particles are the most studied viscosity modifiers, they are well known only to increase viscosities, in particular at low concentrations. Extended studies and theories on non-spherical particles find a more complicated behavior, but still a steady increase. Involving platelets in combination with complex fluids displays an even more complex scenario that we analyze experimentally and theoretically as a function of platelet diameter, to find the underlying concepts. Using a broad toolbox of different techniques we were able to decrease the viscosity of crude oils although solid particles were added. This apparent contradiction could lead to a wider range of applications.


title: Observing pure effects of counter-rotating terms without ultrastrong coupling: A single photon can simultaneously excite two qubits

abstract: The coherent process that a single photon simultaneously excites two qubits has recently been theoretically predicted by [https://link.aps.org/doi/10.1103/PhysRevLett.117.043601 {Phys. Rev. Lett. 117, 043601 (2016)}]. We propose a different approach to observe a similar dynamical process based on a superconducting quantum circuit, where two coupled flux qubits longitudinally interact with the same resonator. We show that this simultaneous excitation of two qubits (assuming that the sum of their transition frequencies is close to the cavity frequency) is related to the counter-rotating terms in the dipole-dipole coupling between two qubits, and the standard rotating-wave approximation is not valid here. By numerically simulating the adiabatic Landau-Zener transition and Rabi-oscillation effects, we clearly verify that the energy of a single photon can excite two qubits via higher-order transitions induced by the longitudinal couplings and the counter-rotating terms. Compared with previous studies, the coherent dynamics in our system only involves one intermediate state and, thus, exhibits a much faster rate. We also find transition paths which can interfere. Finally, by discussing how to control the two longitudinal-coupling strengths, we find a method to observe both constructive and destructive interference phenomena in our system.


title: MmWave Hybrid Array with More Users than RF Chains

abstract: In millimeter wave communications, hybrid analog-digital arrays consisting of only a few radiofrequency (RF) chains offer an attractive alternative to costly digital arrays. A limitation to hybrid arrays is that the number of streams that can be transmitted simultaneously cannot exceed the number of RF chains. We demonstrate that if the states of the analog components and the symbols passed to the RF chains are jointly optimized on a symbol-by-symbol (SbS) basis, it is possible to achieve the same degrees of freedom as a digital array with linear precoding, thus effectively enabling the transmission of a large number of streams. To this end, an algorithm for SbS hybrid precoding is proposed based on a variation of orthogonal matching pursuit, particularly suited to the structure of our problem, which makes it fast and precise.


title: Equivalent and inequivalent canonical structures of higher order theories of gravity

abstract: Canonical formulation of higher order theory of gravity can only be accomplished associating additional degrees of freedom, which are extrinsic curvature tensor. Consequently, to match Cauchy data with the boundary data, terms in addition to the three-space metric, must also be fixed at the boundary. While, in all the three, viz. Ostrogradski's, Dirac's and Horowitz' formalisms, extrinsic curvature tensor is kept fixed at the boundary, a modified Horowitz' formalism fixes Ricci scalar, instead. It has been taken as granted that the Hamiltonian structure corresponding to all the formalisms with different end-point data are either the same or are canonically equivalent. In the present study, we show that indeed it is true, but only for a class of higher order theory. However, for more general higher order theories, e.g. dilatonic coupled Gauss-Bonnet gravity in the presence of curvature squared term, the Hamiltonian obtained following modified Horowitz' formalism is found to be different from the others, and is not related under canonical transformation. Further, it has also been demonstrated that although all the formalisms produce viable quantum description, the dynamics is different and not canonically related to modified Horowitz' formalism. Therefore it is not possible to choose the correct formalism which leads to degeneracy in Hamiltonian.


title: Modelled distributions of Triebel-Lizorkin type

abstract: In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the point $x$ itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due to Hairer generalizes this observation and provides an abstract setup, which in the application of singular SPDE extends the set of polynomials by functionals constructed from, e.g., white noise. In this context, the notion of Taylor polynomials is lifted to the notion of so-called modelled distributions. The celebrated reconstruction theorem, which in turn was inspired by Gubinelli's sewing lemma, is of paramount importance for the theory. It enables to reconstruct a modelled distribution as a true distribution on $R^d$ which is locally approximated by this extended set of models or "monomials". In the original work of Hairer, the error is measured based on H\"{o}lder norms. This was then generalized to the whole scale of Besov spaces by Hairer and Labb\'{e} in subsequent papers. It is the aim of this work to adapt the analytic part of the theory of regularity structures to the scale of Triebel-Lizorkin spaces.


title: Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

abstract: Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for quantifier-free satisfiability in the initial algebra of an order-sorted equational theory $({\Sigma},E \cup B)$ under two conditions: (i) $E \cup B$ has the finite variant property and $B$ has a finitary unification algorithm; and (ii) $({\Sigma},E \cup B)$ protects a constructor subtheory $({\Omega},E_{\Omega} \cup B_{\Omega})$ that is OS-compact. These conditions apply to many user-definable theories, but have a main limitation: they apply well to data structures, but often do not hold for user-definable predicates on such data structures. We present a theory-generic satisfiability decision procedure, and a prototype implementation, extending variant-based satisfiability to initial algebras with user-definable predicates under fairly general conditions.


title: Phase diagrams for sticky rods in bulk and in a monolayer from a lattice free-energy functional for anisotropic particles with depletion attractions

abstract: A density functional of fundamental measure type for a lattice model of anisotropic particles with hard-core repulsions and effective attractions is derived in the spirit of the Asakura-Oosawa model. Through polymeric lattice particles of various size and shape, effective attractions of different strength and range between the colloids can be generated. The functional is applied to the determination of phase diagrams for sticky rods of length $L$ in two dimensions, in three dimensions and in a monolayer system on a neutral substrate. In all cases, there is a competition between ordering and gas-liquid transitions. In two dimensions, this gives rise to a tricritical point, whereas in three dimensions, the isotropic-nematic transition crosses over smoothly to a gas-nematic liquid transition. The richest phase behavior is found for the monolayer system. For $L = 2$, two stable critical points are found corresponding to a standard gas-liquid transition and a nematic liquid-liquid transition. For $L = 3$, the gas-liquid transition becomes metastable.


title: Two Dimensional Discrete Dynamics of Integral Value Transformations

abstract: A notion of dimension preservative map, \textit{Integral Value Transformations} (IVTs) is defined over $\mathbb{N}^k$ using the set of $p$-adic functions. Thereafter, two dimensional \textit{Integral Value Transformations} (IVTs) is systematically analyzed over $\mathbb{N} \times \mathbb{N}$ using pair of two variable Boolean functions. The dynamics of IVTs over $\mathbb{N} \times \mathbb{N}=\mathbb{N}^2$ is studied from algebraic perspective. It is seen that the dynamics of the IVTs solely depends on the dynamics (state transition diagram) of the pair of two variable Boolean functions. A set of sixteen \textit{Collatz-like} IVTs are identified in two dimensions. Also, the dynamical system of IVTs having attractor with one, two, three and four cycles are studied. Additionally, some quantitative information of \textit{Integral Value Transformations} (IVTs) in different bases and dimensions are also discussed.


title: LSTM Fully Convolutional Networks for Time Series Classification

abstract: Fully convolutional neural networks (FCN) have been shown to achieve state-of-the-art performance on the task of classifying time series sequences. We propose the augmentation of fully convolutional networks with long short term memory recurrent neural network (LSTM RNN) sub-modules for time series classification. Our proposed models significantly enhance the performance of fully convolutional networks with a nominal increase in model size and require minimal preprocessing of the dataset. The proposed Long Short Term Memory Fully Convolutional Network (LSTM-FCN) achieves state-of-the-art performance compared to others. We also explore the usage of attention mechanism to improve time series classification with the Attention Long Short Term Memory Fully Convolutional Network (ALSTM-FCN). Utilization of the attention mechanism allows one to visualize the decision process of the LSTM cell. Furthermore, we propose fine-tuning as a method to enhance the performance of trained models. An overall analysis of the performance of our model is provided and compared to other techniques.


title: Self-calibrating d-scan: measuring ultrashort laser pulses on-target using an arbitrary pulse compressor

abstract: In most applications of ultrashort pulse lasers, temporal compressors are used to achieve a desired pulse duration in a target or sample, and precise temporal characterization is important. The dispersion-scan (d-scan) pulse characterization technique usually involves using glass wedges to impart variable, well-defined amounts of dispersion to the pulses, while measuring the spectrum of a nonlinear signal produced by those pulses. This works very well for broadband few-cycle pulses, but longer, narrower bandwidth pulses are much more difficult to measure this way. Here we demonstrate the concept of self-calibrating d-scan, which extends the applicability of the d-scan technique to pulses of arbitrary duration, enabling their complete measurement without prior knowledge of the introduced dispersion. In particular, we show that the pulse compressors already employed in chirped pulse amplification (CPA) systems can be used to simultaneously compress and measure the temporal profile of the output pulses on-target in a simple way, without the need of additional diagnostics or calibrations, while at the same time calibrating the often-unknown differential dispersion of the compressor itself. We demonstrate the technique through simulations and experiments under known conditions. Finally, we apply it to the measurement and compression of 27.5 fs pulses from a CPA laser.


title: Setup for measuring the optical propagation time in matter

abstract: Optical propagation time in matter could reveal fruitful information, such as the velocity of light and the sample's refractive index. In this paper, we build a simple and robust setup for measuring the optical propagation time in matter for a known distance, the system uses high frequency square signal as the signal carrier, and a lock-in amplifier is employed to obtain the phase difference between the reference square signal and the other one penetrating the sample, in this way the optical time of flight in matter can be obtained by a background subtraction process. Primary experimental result confirms the feasibility of the newly proposed measuring theory, which can be used to measure easily in high-speed the speed of light and the refractive index of optical transparent material, compared with the currently popular measuring technique using oscilloscope, potential advantage of our proposed method employing lock-in amplifier is that high accuracy are promising, and in contrast with the presently most popular method for measuring the sample's refractive index based on the minimum deviation angle, superiority of our suggested method is the easy preparation of the sample, the convenient operability and the fast measuring speed.


title: A variable partially-polarizing beam splitter

abstract: We present designs for variably polarizing beam splitters. These are beam splitters allowing the complete and independent control of the horizontal and vertical polarization splitting ratios. They have quantum optics and quantum information applications, such as quantum logic gates for quantum computing and non-local measurements for quantum state estimation. At the heart of each design is an interferometer. We experimentally demonstrate one particular implementation, a displaced Sagnac interferometer configuration, that provides an inherent instability to air currents and vibrations. Furthermore, this design does not require any custom-made optics but only common components which can be easily found in an optics laboratory.


title: Closed almost-K\"ahler 4-manifolds of constant non-negative Hermitian holomorphic sectional curvature are K\"ahler

abstract: We show that a closed almost K\"ahler 4-manifold of globally constant holomorphic sectional curvature $k\geq 0$ with respect to the canonical Hermitian connection is automatically K\"ahler. The same result holds for $k<0$ if we require in addition that the Ricci curvature is J-invariant. The proofs are based on the observation that such manifolds are self-dual, so that Chern-Weil theory implies useful integral formulas, which are then combined with results from Seiberg--Witten theory.


title: fnf-Learning Mathematics

abstract: This study concerns the use of e-learning in the mathematics education system, shedding the light on its advantages and disadvantages, analyzing its applicability either partially or totally, and discussing the ways of improvement. From mathematical perspectives, theories are developed to test the courses tendency to online transformation. This leads to a new trend of learning, the offline-online-offline learning (fnf-learning), it merges e-learning mode with the traditional orientation of education. The derivation of the new trend is based on the learning approaches and study levels, this makes the new trend applicable and flexible for all mathematical courses. Moreover, for this approach of learning, a mathematical formula is suggested to measure the size of the portion of learning that can be transformed online, also theorems concerning this approach are formulated.


title: Macdonald's formula for Kac-Moody groups over local fields

abstract: For an almost split Kac-Moody group G over a local non-archimedean field, the last two authors constructed a spherical Hecke algebra H (over the complex numbers C, say) and its Satake isomorphism with the commutative algebra of Weyl invariant elements in some formal series algebra C[[Y]].In this article, we prove a Macdonald's formula, i.e. an explicit formula for the image of a basis element of H. The proof involves geometric arguments in the masure associated to G and algebraic tools, including the Cherednik's representation of the Bernstein-Lusztig-Hecke algebra (introduced in a previous article) and the Cherednik's identity between some symmetrizers.


title: Noise spectra in balanced optical detectors based on transimpedance amplifiers

abstract: We present a thorough theoretical analysis and experimental study of the shot and electronic noise spectra of a balanced optical detector based on an operational amplifier (OA) connected in a transimpedance scheme. We identify and quantify the primary parameters responsible for the limitations of the circuit, in particular the bandwidth and shot-to-electronic noise clearance. We find that the shot noise spectrum can be made consistent with the second order Butterworth filter, while the electronic noise grows linearly with the second power of the frequency. Good agreement between the theory and experiment is observed, however the capacitances of the operational amplifier input and the photodiodes appear significantly higher than those specified in manufacturers' datasheets. This observation is confirmed by independent tests.


title: Mutually Uncorrelated Primers for DNA-Based Data Storage

abstract: We introduce the notion of weakly mutually uncorrelated (WMU) sequences, motivated by applications in DNA-based data storage systems and for synchronization of communication devices. WMU sequences are characterized by the property that no sufficiently long suffix of one sequence is the prefix of the same or another sequence. WMU sequences used for primer design in DNA-based data storage systems are also required to be at large mutual Hamming distance from each other, have balanced compositions of symbols, and avoid primer-dimer byproducts. We derive bounds on the size of WMU and various constrained WMU codes and present a number of constructions for balanced, error-correcting, primer-dimer free WMU codes using Dyck paths, prefix-synchronized and cyclic codes.


title: On positive solutions of fractional Lane-Emden systems with weights

abstract: In this paper we discuss the existence and regularity of solutions of fractional Lane-Emden systems with weights.


title: Optimal Learning for Sequential Decision Making for Expensive Cost Functions with Stochastic Binary Feedbacks

abstract: We consider the problem of sequentially making decisions that are rewarded by "successes" and "failures" which can be predicted through an unknown relationship that depends on a partially controllable vector of attributes for each instance. The learner takes an active role in selecting samples from the instance pool. The goal is to maximize the probability of success in either offline (training) or online (testing) phases. Our problem is motivated by real-world applications where observations are time-consuming and/or expensive. We develop a knowledge gradient policy using an online Bayesian linear classifier to guide the experiment by maximizing the expected value of information of labeling each alternative. We provide a finite-time analysis of the estimated error and show that the maximum likelihood estimator based produced by the KG policy is consistent and asymptotically normal. We also show that the knowledge gradient policy is asymptotically optimal in an offline setting. This work further extends the knowledge gradient to the setting of contextual bandits. We report the results of a series of experiments that demonstrate its efficiency.


title: On quartic double fivefolds and the matrix factorizations of exceptional quaternionic representations

abstract: We study quartic double fivefolds from the perspective of Fano manifolds of Calabi-Yau type and that of exceptional quaternionic representations. We first prove that the generic quartic double fivefold can be represented, in a finite number of ways, as a double cover of P^5 ramified along a linear section of the Sp 12-invariant quartic in P^31. Then, using the geometry of the Vinberg's type II decomposition of some exceptional quaternionic representations, and backed by some cohomological computations performed by Macaulay2, we prove the existence of a spherical rank 6 vector bundle on such a generic quartic double fivefold. We finally use the existence this vector bundle to prove that the homological unit of the CY-3 category associated by Kuznetsov to the derived category of a generic quartic double fivefold is C $\oplus$ C[3].


title: On the generation of Arveson weakly continuous semigroups

abstract: We consider here one-parameter semigroups ${\bf T}=(T(t))_{t>0}$ of bounded operators on a Banach space $X$ which are weakly continuous in the sense of Arveson. For such a semigroup ${\bf T}$ denote by ${\mathcal M}_{\omega_{\bf T}}$ the convolution algebra consisting in those measures $\mu$ on $(0,+\infty)$ such that $\int_0^{+\infty}\Vert T(t)\Vert d\vert \mu \vert (t)<+\infty.$ The Pettis integral $\int_0^{+\infty}T(t)d\mu(t)$ defines for $\mu \in {\mathcal M}_{\omega_{\bf T}}$ a bounded operator $\phi_{\bf T}(\mu)$ on $X.$ Identifying the space $L^1_{\omega_{\bf T}}$ of (classes of) measurable functions $f$ satisfying $\int_0^{+\infty}\vert f(t)\Vert T(t)\Vert dt< +\infty$ to a closed subspace ${\mathcal M}_{\omega_{\bf T}}$ in the usual way, we define the Arveson ideal $\mathcal{I}_{\bf T}$ of the semigroup to be the closure in ${\mathcal B}(X)$ of $\phi_{\bf T}(L^1_{\omega_{\bf T}}).$ Using a variant of a procedure introduced a long time ago by the author we introduce a dense ideal $\mathcal{U}_{\bf T}$ of $\mathcal{I}_{\bf T},$ which is a Banach algebra with respect to a suitable norm $\Vert .\Vert_{\mathcal{U}_{\bf T}},$ such that $\lim \sup_{t\to 0^+}\Vert T(t)\Vert_{{\mathcal B}(\mathcal{U}_{\bf T})}<+\infty.$ The normalized Arveson ideal $\mathcal{J}_{\bf T}$ is the closure of $\mathcal{I}_{\bf T}$ in ${\mathcal B}(\mathcal{U}_{\bf T}).$ The Banach algebra $\mathcal{J}_{\bf T}$ has a sequential approximate identity and is isometrically isomorphic to a closed ideal of its multiplier algebra ${\mathcal M}(\mathcal{J}_{\bf T}).$ The Banach algebras $\mathcal{U}_{\bf T},$ $\mathcal{I}_{\bf T}$ and $\mathcal{J}_{\bf T}$ are "similar", and the map $S_{u/v}\to S_{au/av}$ defines when $a$ generates a dense principal ideal of $\mathcal{U}_{\bf T}$ a pseudo bounded isomorphism from the algebre $\mathcal{QM}(\mathcal{J}_{\bf T})$ of quasimultipliers on $\mathcal{J}_{\bf T}$ onto the quasimultipliers algebras $\mathcal{QM}(\mathcal{U}_{\bf T})$ and $\mathcal{QM}(\mathcal{I}_{\bf T}).$ We define the generator $A_{\bf T}$ of the semigroup $\bf T$ to be a quasimultiplier on $\mathcal{I}_{\bf T},$ or ,equivalently, on $\mathcal{J}_{\bf T}.$ Every character $\chi$ on $\mathcal{I}_{\bf T}$ has an extension $\tilde \chi$ to $\mathcal{QM}(\mathcal{I}_{\bf T}).$ Let $Res_{ar} (A_{\bf T})$ be the complement of the set $\{ \tilde \chi (A_{\bf T})\}_{\chi \in \widehat{\mathcal{I}_{\bf T}}}.$ The quasimultiplier $A-\mu I$ has an inverse belonging to $\mathcal{J}_{\bf T}$ for $\mu \in Res_{ar} (A_{\bf T}),$ which allows to consider this inverse as a "regular" quasimultiplier on the Arveson ideal $\mathcal{I}_{\bf T}.$ The usual resolvent formula holds in this context for $Re(\mu)>\lim_{t\to +\infty}{log \Vert T(t)\Vert\over t}.$ Set $\Pi_{\alpha}^+:=\{ z \in \mathbb{C} \ | \ Re(z) >\alpha\}.$ We revisit the functional calculus associated to the generator $A_{\bf T}$ by defining $F(-A_{\bf T})\in \mathcal{J}_{\bf T}$ by a Cauchy integral when $F$ belongs to the Hardy space $H^1(\Pi_{\alpha}^+)$ for some $\alpha < -\lim_{t\to +\infty} {log\Vert T(t)\vert\over t}.$ We then define $F(-A_{\bf T})$ as a quasimultiplier on $\mathcal{J}_{\bf T}$ and $\mathcal{I}_{\bf T}$ when $F$ belongs to the Smirnov class on $\Pi_{\alpha}^+,$ and $F(-A_{\bf T})$ is a regular quasimultiplier on $\mathcal{J}_{\bf T}$ and $\mathcal{I}_{\bf T}$ if $F$ is bounded on $\Pi_{\alpha}^+.$ If $F(z)=e^{-zt}$ for some $t>0,$ then $F(-A_{\bf T})=T(t),$ and if $F(z)=-z,$ we indeed have $F(-A_{\bf T})=A_{\bf T}.$


title: A generalization of Arc-Kayles

abstract: The game Arc-Kayles is played on an undirected graph with two players taking turns deleting an edge and its endpoints from the graph. We study a generalization of this game, Weighted Arc Kayles (WAK for short), played on graphs with counters on the vertices. The two players alternate choosing an edge and removing one counter on both endpoints. An edge can no longer be selected if any of its endpoints has no counter left. The last player to play a move wins. We give a winning strategy for WAK on trees of depth 2. Moreover, we show that the Grundy values of WAK and Arc-Kayles are unbounded. We also prove a periodicity result on the outcome of WAK when the number of counters is fixed for all the vertices but one. Finally, we show links between this game and a variation of the non-attacking queens game on a chessboard.


title: The complex case of Schmidt's going-down Theorem

abstract: In 1967, Schmidt wrote a seminal paper [10] on heights of subspaces of R n or C n defined over a number field K, and diophantine approximation problems. The going-down Theorem -- one of the main theorems he proved in his paper -- remains valid in two cases depending on whether the embedding of K in the complex field C is a real or a complex non-real embedding. For the latter, and more generally as soon as K is not totally real, at some point of the proof, the arguments in [10] do not exactly work as announced. In this note, Schmidt's ideas are worked out in details and his proof of the complex case is presented, solving the aforementioned problem. Some definitions of Schmidt are reformulated in terms of multilinear algebra and wedge product, following the approaches of Laurent [5], Bugeaud and Laurent [1] and Roy [7], [8]. In [5] Laurent introduces in the case K = Q a family of exponents and he gives a series of inequalities relating them. In Section 5 these exponents are defined for an arbitrary number field K. Using the going-up and the going-down Theorems Laurent's inequalities are generalized to this setting.


title: Some topological and combinatorial properties preserved by inverse limits

abstract: We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces.


title: Second order nonlinear gyrokinetic theory : From the particle to the gyrocenter

abstract: A gyrokinetic reduction is based on a specific ordering of the different small parameters characterizing the background magnetic field and the fluctuating electromagnetic fields. In this tutorial, we consider the following ordering of the small parameters: $\epsilon\_B=\epsilon\_\delta^2$ where $\epsilon\_B$ is the small parameter associated with spatial inhomogeneities of the background magnetic field and $\epsilon\_\delta$ characterizes the small amplitude of the fluctuating fields. In particular, we do not make any assumption on the amplitude of the background magnetic field. Given this choice of ordering, we describe a self-contained and systematic derivation which is particularly well suited for the gyrokinetic reduction, following a two-step procedure. We follow the approach developed in [Sugama, Physics of Plasmas 7, 466 (2000)]:In a first step, using a translation in velocity, we embed the transformation performed on the symplectic part of the gyrocentre reduction in the guiding-centre one. In a second step, using a canonical Lie transform, we eliminate the gyroangle dependence from the Hamiltonian. As a consequence, we explicitly derive the fully electromagnetic gyrokinetic equations at the second order in $\epsilon\_\delta$.


title: Late-time behaviour of the Einstein-Boltzmann system with a positive cosmological constant

abstract: In this paper we study the Einstein-Boltzmann system for Israel particles with a positive cosmological constant. We consider spatially homogeneous solutions of Bianchi types except IX and obtain future global existence and asymptotic behaviour of solutions to the Einstein-Boltzmann system. The result shows that the solutions converge to the de Sitter solution at late times.


title: Pfaffian definitions of Weierstrass elliptic functions

abstract: We give explicit definitions of the Weierstrass elliptic functions $\wp$ and $\zeta$ in terms of pfaffian functions, with complexity independent of the lattice involved. We also give such a definition for a modification of the Weierstrass function $\sigma$. As immediate applications, we give an explicit uniform zero estimate for $\wp$ and answer a question of Corvaja, Masser and Zannier on additive extensions of elliptic curves.


title: Generalization of a Hadamard type inequality for permanents

abstract: This paper is devoted to a generalization of a Hadamard type inequality for the permanent of a complex square matrix. Our proof is based on a non-trivial extension of a technique used in Carlen, Lieb and Loss (Methods and Applications of Analysis 13 (1) (2006) 1-17). We give an application to coefficients of products of linear forms and show some auxiliary inequalities, which might be of independent interest.


title: Characterisation of highly radiation-damaged SiPMs using current measurements

abstract: The characterisation of radiation-damaged SiPMs is a major challenge, when the average time between dark counts approaches, or even exceeds, the signal decay time. In this note a collection of formulae is presented, which have been developed and used for the analysis of current measurements for SiPMs in the dark and illuminated by an LED, before and after hadron irradiation. It is shown, how parameters like the breakdown voltage, the quenching resistance, the dark-count rate, the reduction of the photo-detection efficiency due to dark counts and the Geiger discharge probability can be estimated from current-voltage measurements. The only additional SiPM parameters needed are the pixel capacitance, the number of pixels and the correlated noise. Central to the method is the concept of the pixel occupancy, the probability of a Geiger discharge in a single pixel during a given time interval, for which the decay time of the SiPM signal has been assumed. As an illustration the formulae are used to characterise a KETEK SiPM before and after irradiation by a fluence of 5E13 cm$^{-2}$ of reactor neutrons for temperatures of -30{\deg}C and +20{\deg}C, where dark-count rates exceeding 1E11 Hz are observed.


title: Transcribing Against Time

abstract: We investigate the problem of manually correcting errors from an automatic speech transcript in a cost-sensitive fashion. This is done by specifying a fixed time budget, and then automatically choosing location and size of segments for correction such that the number of corrected errors is maximized. The core components, as suggested by previous research [1], are a utility model that estimates the number of errors in a particular segment, and a cost model that estimates annotation effort for the segment. In this work we propose a dynamic updating framework that allows for the training of cost models during the ongoing transcription process. This removes the need for transcriber enrollment prior to the actual transcription, and improves correction efficiency by allowing highly transcriber-adaptive cost modeling. We first confirm and analyze the improvements afforded by this method in a simulated study. We then conduct a realistic user study, observing efficiency improvements of 15% relative on average, and 42% for the participants who deviated most strongly from our initial, transcriber-agnostic cost model. Moreover, we find that our updating framework can capture dynamically changing factors, such as transcriber fatigue and topic familiarity, which we observe to have a large influence on the transcriber's working behavior.


title: Spontaneous surface reserve formation in wicked membranes bestow extreme stretchability

abstract: Soft stretchable materials are key for arising technologies such as stretchable electronics or batteries, smart textiles, biomedical devices, tissue engineering and soft robotics. Recent attempts to design such materials, via e.g. micro-patterning of wavy fibres on soft substrates, polymer engineering at the molecular level or even kirigami techniques, provide appealing prospects but suffer drawbacks impacting the material viability: complexity of manufacturing, fatigue or failure upon cycling, restricted range of materials or biological incompatibility. Here, we report a universal strategy to design highly stretchable, self-assembling and fatigue-resistant synthetic fabrics. Our approach finds its inspiration in the mechanics of living animal cells that routinely encounter and cope with extreme deformations, e.g. with the engulfment of large intruders by macrophages, squeezing and stretching of immune cells in tiny capillaries or shrinking/swelling of neurons upon osmotic stimuli. All these large instant deformations are actually mediated and buffered by membrane reserves available in the form of microvilli, membrane folds or endomembrane that can be recruited on demand. We synthetically mimicked this behavior by creating nanofibrous liquid-infused tissues spontaneously forming surface reserves whose unfolding fuels any imposed shape change. Our process, relying only on geometry, elasticity and capillarity, allows to endow virtually any material with high stretchability and reversibility, making it straightforward to implement additional mechanical, electrical or chemical functions. We illustrate this with proof-of-concept activable capillary muscles, adaptable slippery liquid infused porous surfaces and stretchable basic printed electronic circuits.


title: Transforming the content, pedagogy and structure of an introductory physics course for life sciences majors

abstract: In this paper, we describe how we transformed our large-enrollment introductory physics sequence for life-science students to a Lecture/Studio format and aligned the physics concepts with authentic biological applications. We have reformed the pedagogy to include research-validated practices in interactive engagement, and accomplished our goals of enhanced learning gains, sustainability, and adoptability of our course reforms. The active engagement at the heart of the Lecture/Studio format results in comparable or enhanced learning gains (as measured by validated concept surveys) when compared to traditional instruction. When coupled with appropriate instructor preparation the format is sustainable, requiring no greater financial or human resources than does the traditional mode of teaching such courses. We have developed a complete suite of active-engagement instructional materials and made them available to the physics education community for adoption outside our institution.


title: Cosmic-Ray Extremely Distributed Observatory: a global cosmic ray detection framework

abstract: The main objective of the Cosmic-Ray Extremely Distributed Observatory (CREDO) is the detection and analysis of extended cosmic ray phenomena, so-called super-preshowers (SPS), using existing as well as new infrastructure (cosmic-ray observatories, educational detectors, single detectors etc.). The search for ensembles of cosmic ray events initiated by SPS is yet an untouched ground, in contrast to the current state-of-the-art analysis, which is focused on the detection of single cosmic ray events. Theoretical explanation of SPS could be given either within classical (e.g., photon-photon interaction) or exotic (e.g., Super Heavy Dark Matter decay or annihilation) scenarios, thus detection of SPS would provide a better understanding of particle physics, high energy astrophysics and cosmology. The ensembles of cosmic rays can be classified based on the spatial and temporal extent of particles constituting the ensemble. Some classes of SPS are predicted to have huge spatial distribution, a unique signature detectable only with a facility of the global size. Since development and commissioning of a completely new facility with such requirements is economically unwarranted and time-consuming, the global analysis goals are achievable when all types of existing detectors are merged into a worldwide network. The idea to use the instruments in operation is based on a novel trigger algorithm: in parallel to looking for neighbour surface detectors receiving the signal simultaneously, one should also look for spatially isolated stations clustered in a small time window.


title: A Spectral Method for Activity Shaping in Continuous-Time Information Cascades

abstract: Information Cascades Model captures dynamical properties of user activity in a social network. In this work, we develop a novel framework for activity shaping under the Continuous-Time Information Cascades Model which allows the administrator for local control actions by allocating targeted resources that can alter the spread of the process. Our framework employs the optimization of the spectral radius of the Hazard matrix, a quantity that has been shown to drive the maximum influence in a network, while enjoying a simple convex relaxation when used to minimize the influence of the cascade. In addition, use-cases such as quarantine and node immunization are discussed to highlight the generality of the proposed activity shaping framework. Finally, we present the NetShape influence minimization method which is compared favorably to baseline and state-of-the-art approaches through simulations on real social networks.


title: Analyticity of Nekrasov Partition Functions

abstract: We prove that the K-theoretic Nekrasov instanton partition functions have a positive radius of convergence in the instanton counting parameter and are holomorphic functions of the Coulomb parameters in a suitable domain. We discuss the implications for the AGT correspondence and the analyticity of the norm of Gaiotto states for the deformed Virasoro algebra. The proof is based on random matrix techniques and relies on an integral representation of the partition function, due to Nekrasov, which we also prove.


title: The Spatial Dimension of Online Echo Chambers

abstract: This study explores the geographic dependencies of echo-chamber communication on Twitter during the Brexit referendum campaign. We review the literature on filter bubbles, echo chambers, and polarization to test five hypotheses positing that echo-chamber communication is associated with homophily in the physical world, chiefly the geographic proximity between users advocating sides of the campaign. The results support the hypothesis that echo chambers in the Leave campaign are associated with geographic propinquity, whereas in the Remain campaign the reverse relationship was found. This study presents evidence that geographically proximate social enclaves interact with polarized political discussion where echo-chamber communication is observed. The article concludes with a discussion of these findings and the contribution to research on filter bubbles and echo chambers.


title: Quasi-periodic oscillations in flares and coronal mass ejections associated with magnetic reconnection

abstract: We propose a mechanism for quasi-periodic oscillations of both coronal mass ejections (CMEs) and flare loops as related to magnetic reconnection in eruptive solar flares. We perform two-dimensional numerical MHD simulations of magnetic flux rope eruption, with three different values of the global Lundquist number. In the low Lundquist number run, no oscillatory behavior is found. In the moderate Lunquist number run, on the other hand, quasi-periodic oscillations are excited both at the bottom of the flux rope and at the flare loop-top. In the high Lundquist number run, quasi-periodic oscillations are also excited; in the meanwhile, the dynamics become turbulent due to the formation of multiple plasmoids in the reconnection current sheet. In high and moderate Lundquist number runs, thin reconnection jet collide with the flux rope bottom or flare loop-top and dig them deeply. Steep oblique shocks are formed as termination shocks where reconnection jet is bent (rather than decelerated) in horizontal direction, resulting in supersonic back-flows. The structure becomes unstable, and quasi-periodic oscillation of supersonic back-flows appear at locally confined high-beta region at both the flux rope bottom and flare loop-top. We compare the observational characteristics of quasi-periodic oscillations in erupting flux ropes, post-CME current sheets, flare ribbons and light curves, with corresponding dynamical structures found in our simulation.


title: 3D Placement of an Unmanned Aerial Vehicle Base Station for Maximum Coverage of Users with Different QoS Requirements

abstract: The need for a rapid-to-deploy solution for providing wireless cellular services can be realized by unmanned aerial vehicle base stations (UAV-BSs). To the best of our knowledge, this letter is the first in literature that studies a novel 3D UAV-BS placement that maximizes the number of covered users with different Quality-of-Service requirements. We model the placement problem as a multiple circles placement problem and propose an optimal placement algorithm that utilizes an exhaustive search (ES) over a one-dimensional parameter in a closed region. We also propose a low-complexity algorithm, namely, maximal weighted area (MWA) algorithm to tackle the placement problem. Numerical simulations are presented showing that the MWA algorithm performs very close to the ES algorithm with a significant complexity reduction.


title: Chebyshev Approximation and Higher Order Derivatives of Lyapunov Functions for Estimating the Domain of Attraction

abstract: Estimating the Domain of Attraction (DA) of non-polynomial systems is a challenging problem. Taylor expansion is widely adopted for transforming a nonlinear analytic function into a polynomial function, but the performance of Taylor expansion is not always satisfactory. This paper provides solvable ways for estimating the DA via Chebyshev approximation. Firstly, for Chebyshev approximation without the remainder, higher order derivatives of Lyapunov functions are used for estimating the DA, and the largest estimate is obtained by solving a generalized eigenvalue problem. Moreover, for Chebyshev approximation with the remainder, an uncertain polynomial system is reformulated, and a condition is proposed for ensuring the convergence to the largest estimate with a selected Lyapunov function. Numerical examples demonstrate that both accuracy and efficiency are improved compared to Taylor approximation.


title: Binary stars in the Galactic thick disc

abstract: The combination of asteroseismologically-measured masses with abundances from detailed analyses of stellar atmospheres challenges our fundamental knowledge of stars and our ability to model them. Ancient red-giant stars in the Galactic thick disc are proving to be most troublesome in this regard. They are older than 5 Gyr, a lifetime corresponding to an initial stellar mass of about $1.2{\mathrm{M}_{\odot}}$. So why do the masses of a sizeable fraction of thick-disc stars exceed $1.3{\mathrm{M}_{\odot}}$, with some as massive as $2.3{\mathrm{M}_{\odot}}$ ? We answer this question by considering duplicity in the thick-disc stellar population using a binary population-nucleosynthesis model. We examine how mass transfer and merging affect the stellar mass distribution and surface abundances of carbon and nitrogen. We show that a few per cent of thick-disc stars can interact in binary star systems and become more massive than $1.3{\mathrm{M}_{\odot}}$. Of these stars, most are single because they are merged binaries. Some stars more massive than $1.3{\mathrm{M}_{\odot}}$ form in binaries by wind mass transfer. We compare our results to a sample of the APOKASC data set and find reasonable agreement except in the number of these thick-disc stars more massive than $1.3{\mathrm{M}_{\odot}}$. This problem is resolved by the use of a logarithmically-flat orbital-period distribution and a large binary fraction.


title: Superconducting parity effect across the Anderson limit

abstract: How small superconductors can be? For isolated nanoparticles subject to quantum size effects, P.W. Anderson conjectured in 1959 that superconductivity could only exist when the electronic level spacing $\delta$ is smaller than the superconducting gap energy $\Delta$. Here, we report a scanning tunneling spectroscopy study of superconducting lead (Pb) nanocrystals grown on the (110) surface of InAs. We find that for nanocrystals of lateral size smaller than the Fermi wavelength of the 2D electron gas at the surface of InAs, the electronic transmission of the interface is weak; this leads to Coulomb blockade and enables the extraction of the electron addition energy of the nanocrystals. For large nanocrystals, the addition energy displays superconducting parity effect, a direct consequence of Cooper pairing. Studying this parity effect as function of nanocrystal volume, we find the suppression of Cooper pairing when the mean electronic level spacing overcomes the superconducting gap energy, thus demonstrating unambiguously the validity of the Anderson criterion.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el