title: Almost global existence of weak solutions for the nonlinear elastodynamics system for a class of strain energies

abstract: The aim of this paper is to prove the existence of almost global weak solutions for the unsteady nonlinear elastodynamics system in dimension $d=2$ or $3$, for a range of strain energy density functions satisfying some given assumptions. These assumptions are satisfied by the main strain energies generally considered. The domain is assumed to be bounded, and mixed boundary conditions are considered. Our approach is based on a nonlinear parabolic regularization technique, involving the $p$-Laplace operator. First we prove the existence of a local-in-time solution for the regularized system, by a fixed point technique. Next, using an energy estimate, we show that if the data are small enough, bounded by $\varepsilon >0$, then the maximal time of existence does not depend on the parabolic regularization parameter, and the behavior of the lifespan $T$ is $\gtrsim \log (1/\varepsilon)$, defining what we call here {\it almost global existence}. The solution is thus obtained by passing this parameter to zero. The key point of our proof is due to recent nonlinear Korn's inequalities proven by Ciarlet \& Mardare in $\mathrm{W}^{1,p}$ spaces, for $p>2$.


title: Electric octupole order in bilayer Rashba system

abstract: The odd-parity multipole is an emergent degree of freedom, leading to spontaneous inversion symmetry breaking. The odd-parity multipole order may occur by forming staggered even-parity multipoles in a unit cell. We focus on a locally noncentrosymmetric bilayer Rashba system, and study an odd-parity electric octupole order caused by the antiferro stacking of local electric quadrupoles. Analyzing the forward scattering model, we show that the electric octupole order is stabilized by a layer-dependent Rashba spin-orbit coupling. The roles of the spin-orbit coupling are clarified on the basis of the analytic formula of multipole susceptibility. The spin texture allowed in the D_2d point group symmetry and its magnetic response are revealed. Furthermore, we show that the parity-breaking quantum critical point appears in the magnetic field. The possible realization of the electric octupole order in bilayer high-T_c cuprate superconductors is discussed.


title: A Machine learning approach for Shape From Shading

abstract: The aim of Shape From Shading (SFS) problem is to reconstruct the relief of an object from a single gray level image. In this paper we present a new method to solve the problem of SFS using Machine learning method. Our approach belongs to Local resolution category. The orientation of each part of the object is represented by the perpendicular vector to the surface (Normal Vector), this vector is defined by two angles SLANT and TILT, such as the TILT is the angle between the normal vector and Z-axis, and the SLANT is the angle between the the X-axis and the projection of the normal to the plane. The TILT can be determined from the gray level, the unknown is the SLANT. To calculate the normal of each part of the surface (pixel) a supervised Machine learning method has been proposed. This method divided into three steps: the first step is the preparation of the training data from 3D mathematical functions and synthetic objects. The second step is the creation of database of examples from 3D objects (off-line process). The third step is the application of test images (on-line process). The idea is to find for each pixel of the test image the most similar element in the examples database using a similarity value.


title: Size consistency in Smoothed Dissipative Particle Dynamics

abstract: Smoothed Dissipative Particle Dynamics (SDPD) is a mesoscopic method which allows to select the level of resolution at which a fluid is simulated. In this work, we study the consistency of the resulting thermodynamic properties as a function of the size of the mesoparticles, both at equilibrium and out of equilibrium. We also propose a reformulation of the SDPD equations in terms of energy variables. This increases the similarities with Dissipative Particle Dynamics with Energy conservation and opens the way for a coupling between the two methods. Finally, we present a numerical scheme for SDPD that ensures the conservation of the invariants of the dynamics. Numerical simulations illustrate this approach.


title: The Ho-Zhao Problem

abstract: Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of $\mathbf{Pos}_d$ (the category of posets and Scott-continuous maps) is said to be $\Gamma$-faithful if for any posets $P$ and $Q$ in $\mathbf{C}$, $\Gamma(P) \cong \Gamma(Q)$ implies $P \cong Q$. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are $\Gamma$-faithful, while $\mathbf{Pos}_d$ is not. Ho & Zhao (2009) asked whether the category $\mathbf{DCPO}$ of dcpos is $\Gamma$-faithful. In this paper, we answer this question in the negative by exhibiting a counterexample. To achieve this, we introduce a new subcategory of dcpos which is $\Gamma$-faithful. This subcategory subsumes all currently known $\Gamma$-faithful subcategories. With this new concept in mind, we construct the desired counterexample which relies heavily on Johnstone's famous dcpo which is not sober in its Scott topology.


title: Probing carrier dynamics in photo-excited graphene with time-resolved ARPES

abstract: The dynamics of photo-generated electron-hole pairs in solids are dictated by many-body interactions such as electron-electron and electron-phonon scattering. Hence, understanding and controlling these scattering channels is crucial for many optoelectronic applications, ranging from light harvesting to optical amplification. Here we measure the formation and relaxation of the photo-generated non-thermal carrier distribution in monolayer graphene with time- and angle-resolved photoemission spectroscopy. Using sub 10fs pulses we identify impact ionization as the primary scattering channel, which dominates the dynamics for the first 25fs after photo-excitation. Auger recombination is found to set in once the carriers have accumulated at the Dirac point with time scales between 100 and 250fs, depending on the number of non-thermal carriers. Our observations help in gauging graphene's potential as a solar cell and TeraHertz lasing material.


title: Critical zeros of lacunary L-functions

abstract: Assuming the existence of a sequence of exceptional discriminants of quadratic fields, we show that a hundred percent of zeros of the Riemann zeta function are on the critical line in specific segments. This is a special case of a more general statement for lacunary $L$-functions.


title: Boundary conditions for Shape from Shading

abstract: The Shape From Shading is one of a computer vision field. It studies the 3D reconstruction of an object from a single grayscale image. The difficulty of this field can be expressed in the local ambiguity (convex / concave). J.Shi and Q.Zhu have proposed a method (Global View) to solve the local ambiguity. This method based on the graph theory and the relationship between the singular points. In this work we will show that the use of singular points is not sufficient and requires further information on the object to resolve this ambiguity.


title: Automatic Bridge Bidding Using Deep Reinforcement Learning

abstract: Bridge is among the zero-sum games for which artificial intelligence has not yet outperformed expert human players. The main difficulty lies in the bidding phase of bridge, which requires cooperative decision making under partial information. Existing artificial intelligence systems for bridge bidding rely on and are thus restricted by human-designed bidding systems or features. In this work, we propose a pioneering bridge bidding system without the aid of human domain knowledge. The system is based on a novel deep reinforcement learning model, which extracts sophisticated features and learns to bid automatically based on raw card data. The model includes an upper-confidence-bound algorithm and additional techniques to achieve a balance between exploration and exploitation. Our experiments validate the promising performance of our proposed model. In particular, the model advances from having no knowledge about bidding to achieving superior performance when compared with a champion-winning computer bridge program that implements a human-designed bidding system.


title: Free sets for a set-mapping relative to a family of sets

abstract: Given a family $\mathcal{F}$ of subsets of $\{1,\ldots,m\}$, we try to compute the least natural number $n$ such that for every function $S:[\aleph_n]^{<\omega}\longrightarrow [\aleph_n]^{<\omega}$ there exists a bijection $u:\{1,\ldots,m\}\longrightarrow Y\subset \aleph_n$ such that $Su(A)\cap Y \subset u(A)$ for all $A\in\mathcal{F}$.


title: Quadboost: A Scalable Concurrent Quadtree

abstract: Building concurrent spatial trees is more complicated than binary search trees since a space hierarchy should be preserved during modifications. We present a non-blocking quadtree-quadboost-that supports concurrent insert, remove, move, and contain operations. To increase its concurrency, we propose a decoupling approach that separates physical adjustment from logical removal within the remove operation. In addition, we design a continuous find mechanism to reduce its search cost. The move operation combines the searches for different keys together and modifies different positions with atomicity. The experimental results show that quadboost scales well on a multi-core system with 32 hardware threads. More than that, it outperforms existing concurrent trees in retrieving two-dimensional keys with up to 109% improvement when the number of threads is large. The move operation proved to perform better than the best-known algorithm, with up to 47%.


title: Two giant outbursts of V 0332+53 observed with INTEGRAL

abstract: In July 2015, the high-mass X-ray binary V 0332+53 underwent a giant outburst, a decade after the previous one. This system hosts a strongly magnetized neutron star. During the 2004--2005 outburst, an anti-correlation between the centroid energy of its fundamental cyclotron resonance scattering features (CRSFs) and the X-ray luminosity was observed. The long ($\approx 100$ d) and bright ($L_{\rm x} \approx 10^{38}$ erg s$^{-1}$) 2015 outburst offered the opportunity to study during another outburst the unique properties of the fundamental CRSF and its dependence on the X-ray luminosity. The source was observed by the INTEGRAL satellite for $\sim 330$ ks. We exploit the spectral resolution at high energies of the SPectrometer on INTEGRAL (SPI) and the Joint European X-ray Monitors to characterize its spectral properties, focusing in particular on the CRSF-luminosity dependence. We complement the data of the 2015 outburst with those collected by SPI in 2004--2005 and left unpublished so far. We find a highly significant anti-correlation of the centroid energy of the fundamental CRSF and the $3-100$ keV luminosity of $E_1 \propto -0.095(8)L_{37}$ keV. This trend is observed for both outbursts. We confirm the correlation between the width of the fundamental CRSF and the X-ray luminosity previously found in the JEM-X and IBIS dataset of the 2004--2005 outburst. By exploiting the RXTE/ASM and Swift/BAT monitoring data we also report on the detection of a $\sim 34$ d modulation superimposed on the mean profiles and roughly consistent with the orbital period of the pulsar. We discuss possible interpretations of such variability.


title: Asymptotic Near-Minimaxity of the Randomized Shiryaev-Roberts-Pollak Change-Point Detection Procedure in Continuous Time

abstract: For the classical continuous-time quickest change-point detection problem it is shown that the randomized Shiryaev-Roberts-Pollak procedure is asymptotically nearly minimax-optimal (in the sense of Pollak 1985) in the class of randomized procedures with vanishingly small false alarm risk. The proof is explicit in that all of the relevant performance characteristics are found analytically and in a closed form. The rate of convergence to the (unknown) optimum is elucidated as well. The obtained optimality result is a one-order improvement of that previously obtained by Burnaev et al. (2009) for the very same problem.


title: Multilevel Picard iterations for solving smooth semilinear parabolic heat equations

abstract: We introduce a new family of numerical algorithms for approximating solutions of general high-dimensional semilinear parabolic partial differential equations at single space-time points. The algorithm is obtained through a delicate combination of the Feynman-Kac and the Bismut-Elworthy-Li formulas, and an approximate decomposition of the Picard fixed-point iteration with multilevel accuracy. The algorithm has been tested on a variety of semilinear partial differential equations that arise in physics and finance, with very satisfactory results. Analytical tools needed for the analysis of such algorithms, including a semilinear Feynman-Kac formula, a new class of semi-norms and their recursive inequalities, are also introduced. They allow us to prove for semilinear heat equations with gradient-independent nonlinearity that the computational complexity of the proposed algorithm is bounded by $O(d\,\varepsilon^{-(4+\delta)})$ for any $\delta \in (0,\infty)$ under suitable assumptions, where $d\in \mathbb{N}$ is the dimensionality of the problem and $\varepsilon\in(0,\infty)$ is the prescribed accuracy.


title: Implicit Negative Feedback in Clinical Information Retrieval

abstract: In this paper, we reflect on ways to improve the quality of bio-medical information retrieval by drawing implicit negative feedback from negated information in noisy natural language search queries. We begin by studying the extent to which negations occur in clinical texts and quantify their detrimental effect on retrieval performance. Subsequently, we present a number of query reformulation and ranking approaches that remedy these shortcomings by resolving natural language negations. Our experimental results are based on data collected in the course of the TREC Clinical Decision Support Track and show consistent improvements compared to state-of-the-art methods. Using our novel algorithms, we are able to reduce the negative impact of negations on early precision by up to 65%.


title: Statistics of the zeros of $L$-functions and arithmetic correlations

abstract: This thesis determines some of the implications of non-universal and emergent universal statistics on arithmetic correlations and fluctuations of arithmetic functions, in particular correlations amongst prime numbers and the variance of the expected number of prime numbers over short intervals are generalised by associating these concepts to $L$-functions arising from number theoretic objects.


title: $\mu$SR evidence for the U(1) quantum spin liquid ground state in the triangular antiferromagnet YbMgGaO$_4$

abstract: Muon spin relaxation and rotation ($\mu$SR) experiments on single crystals of the structurally perfect triangular antiferromagnet YbMgGaO$_4$ indicate the absence of both static long-range magnetic order and spin freezing down to 0.048 K in zero field. Below 0.4 K, the $\mu^{+}$ spin relaxation rates, which are proportional to the dynamic correlation function of the Yb$^{3+}$ spins,exhibit temperature-independent plateaus. Same behavior is revealed by temperature-independent local susceptibilities extracted from the Knight shifts of the $\mu^{+}$ spin rotation frequencies under a transverse field of 20 Oe. All these $\mu$SR results unequivocally support the formation of a gapless U(1) quantum spin liquid ground state in the triangular antiferromagnet YbMgGaO$_4$.


title: Rapidly rotating neutron stars with a massive scalar field - structure and universal relations

abstract: We construct rapidly rotating neutron star models in scalar-tensor theories with a massive scalar field. The fact that the scalar field has nonzero mass leads to very interesting results since the allowed range of values of the coupling parameters is significantly broadened. These deviations from pure general relativity can be very large for values of the parameters that are in agreement with the observations. The rapid rotation can magnify the differences several times compared to the static case. The universal relations between the normalized moment of inertia and quadrupole moment are also investigated both for the slowly and rapidly rotating cases. The results show that these relations are still EOS independent up to a large extend and the deviations from pure general relativity can be large. This places the massive scalar-tensor theories amongst the few alternative theories of gravity that can be tested via the universal $I$-Love-$Q$ relations.


title: From Dependence to Causation

abstract: Machine learning is the science of discovering statistical dependencies in data, and the use of those dependencies to perform predictions. During the last decade, machine learning has made spectacular progress, surpassing human performance in complex tasks such as object recognition, car driving, and computer gaming. However, the central role of prediction in machine learning avoids progress towards general-purpose artificial intelligence. As one way forward, we argue that causal inference is a fundamental component of human intelligence, yet ignored by learning algorithms. Causal inference is the problem of uncovering the cause-effect relationships between the variables of a data generating system. Causal structures provide understanding about how these systems behave under changing, unseen environments. In turn, knowledge about these causal dynamics allows to answer "what if" questions, describing the potential responses of the system under hypothetical manipulations and interventions. Thus, understanding cause and effect is one step from machine learning towards machine reasoning and machine intelligence. But, currently available causal inference algorithms operate in specific regimes, and rely on assumptions that are difficult to verify in practice. This thesis advances the art of causal inference in three different ways. First, we develop a framework for the study of statistical dependence based on copulas and random features. Second, we build on this framework to interpret the problem of causal inference as the task of distribution classification, yielding a family of novel causal inference algorithms. Third, we discover causal structures in convolutional neural network features using our algorithms. The algorithms presented in this thesis are scalable, exhibit strong theoretical guarantees, and achieve state-of-the-art performance in a variety of real-world benchmarks.


title: Thermodynamic transport theory of spin waves in ferromagnetic insulators

abstract: We use the Boltzmann transport theory in the relaxation time approximation to describe the thermal transport of spin waves in a ferromagnet. By treating spin waves as magnon excitations we are able to compute analytically and numerically the coefficients of the constitutive thermo-magnetic transport equations. As a main result, we find that the absolute thermo-magnetic power coefficient $\epsilon_M$, relating the gradient of the potential of the magnetization current and the gradient of the temperature, in the limit of low temperature and low field, is a constant $\epsilon_M = -0.6419 \, k_B/\mu_B$. The theory correctly describes the low-temperature and magnetic-field dependencies of spin Seebeck experiments. Furthermore, the theory predicts that in the limit of very low temperatures the spin Peltier coefficient $\Pi_M$, relating the heat and the magnetization currents, tends to a finite value which depends on the amplitude of the magnetic field. This indicates the possibility to exploit the spin Peltier effect as an efficient cooling mechanism in cryogenics.


title: Bayesian estimators of the Gamma distribution

abstract: In this paper we introduce two Bayesian estimators for learning the parameters of the Gamma distribution. The first algorithm uses a well known unnormalized conjugate prior for the Gamma shape and the second one uses a non-linear approximation to the likelihood and a prior on the shape that is conjugate to the approximated likelihood. In both cases use the Laplace approximation to compute the required expectations. We perform a theoretical comparison between maximum like- lihood and the presented Bayesian algorithms that allow us to provide non-informative parameter values for the priors hyper parameters. We also provide a numerical comparison using synthetic data. The introduction of these novel Bayesian estimators open the possibility of including Gamma distributions into more complex Bayesian structures, e.g. variational Bayesian mixture models.


title: Baryogenesis in the two doublet and inert singlet extension of the Standard Model

abstract: We investigate an extension of the Standard Model containing two Higgs doublets and a singlet scalar field (2HDSM). We show that the model can have a strongly first-order phase transition and give rise to the observed baryon asymmetry of the Universe, consistent with all experimental constraints. In particular, the constraints from the electron and neutron electric dipole moments are less constraining here than in pure two-Higgs-doublet model (2HDM). The two-step, first-order transition in 2HDSM, induced by the singlet field, may lead to strong supercooling and low nucleation temperatures in comparison with the critical temperature, $T_n \ll T_c$, which can significantly alter the usual phase-transition pattern in 2HD models with $T_n \approx T_c$. Furthermore, the singlet field can be the dark matter particle. However, in models with a strong first-order transition its abundance is typically but a thousandth of the observed dark matter abundance.


title: Active dynamics of tissue shear flow

abstract: We present a hydrodynamic theory to describe shear flows in developing epithelial tissues. We introduce hydrodynamic fields corresponding to state properties of constituent cells as well as a contribution to overall tissue shear flow due to rearrangements in cell network topology. We then construct a generic linear constitutive equation for the shear rate due to topological rearrangements and we investigate a novel rheological behaviour resulting from memory effects in the tissue. We identify two distinct active cellular processes: generation of active stress in the tissue, and actively driven topological rearrangements. We find that these two active processes can produce distinct cellular and tissue shape changes, depending on boundary conditions applied on the tissue. Our findings have consequences for the understanding of tissue morphogenesis during development.


title: Camera Elevation Estimation from a Single Mountain Landscape Photograph

abstract: This work addresses the problem of camera elevation estimation from a single photograph in an outdoor environment. We introduce a new benchmark dataset of one-hundred thousand images with annotated camera elevation called Alps100K. We propose and experimentally evaluate two automatic data-driven approaches to camera elevation estimation: one based on convolutional neural networks, the other on local features. To compare the proposed methods to human performance, an experiment with 100 subjects is conducted. The experimental results show that both proposed approaches outperform humans and that the best result is achieved by their combination.


title: An Automatic Identification System (AIS) Database for Maritime Trajectory Prediction and Data Mining

abstract: In recent years, maritime safety and efficiency become more and more important across the world. Automatic Identification System (AIS) tracks vessel movement by onboard transceiver and terrestrial and/or satellite base station. The data collected by AIS contains broadcast kinematic information and static information. Both of them are useful for anomaly detection and route prediction which are key techniques in intelligent maritime research area. This paper is devoted to construct a standard AIS database for maritime trajectory learning, prediction and data mining. A path prediction algorithm is tested on this AIS database and the testing results show this database can be used as a standardized training resource for different trajectory prediction algorithms and other AIS data mining algorithms.


title: An Introductory Course to Judgment Aggregation

abstract: Reaching some form of consensus is often necessary for autonomous agents that want to coordinate their actions or otherwise engage in joint activities. One way to reach a consensus is by aggregating individual information, such as decisions, beliefs, preferences and constraints. Judgment aggregation is a social choice method, which generalises voting, that studies the aggregation of individual judgments regarding the truth-value of logically related propositions. As such, judgment aggregation is applicable for consensus reaching problems in multi agent systems. As other social choice theory, judgment aggregation research is abundant with impossibility results. However, the aim of this tutorial is to give an introduction to the methods of judgment aggregation, not the impossibility results. In particular, the tutorial will introduce the basic frameworks that model judgment aggregation problems and give an overview of the judgment aggregation functions so far developed as well as their social theoretic and computational complexity properties. The focus of the tutorial are consensus reaching problems in multi agent systems that can be modelled as judgment aggregation problems. The desirable properties of a judgment aggregation method applied to these problems are not necessarily the same as properties desirable in legal or political contexts, which is considered to be the native domain of judgment aggregation. After this tutorial the participants are expected to be able to read and understand judgment aggregation literature and have a grasp on the state-of-the-art and open questions in judgment aggregation research of interest to multi agent systems.


title: Spherical nilpotent orbits and abelian subalgebras in isotropy representations

abstract: Let $G$ be a simply connected semisimple algebraic group with Lie algebra $\mathfrak g$, let $G_0 \subset G$ be the symmetric subgroup defined by an algebraic involution $\sigma$ and let $\mathfrak g_1 \subset \mathfrak g$ be the isotropy representation of $G_0$. Given an abelian subalgebra $\mathfrak a$ of $\mathfrak g$ contained in $\mathfrak g_1$ and stable under the action of some Borel subgroup $B_0 \subset G_0$, we classify the $B_0$-orbits in $\mathfrak a$ and we characterize the sphericity of $G_0 \mathfrak a$. Our main tool is the combinatorics of $\sigma$-minuscule elements in the affine Weyl group of $\mathfrak g$ and that of strongly orthogonal roots in Hermitian symmetric spaces.


title: Implications of Fermionic Dark Matter on recent neutrino oscillation data

abstract: We investigate flavor phenomenology and dark matter in the context of scotogenic model. In this model, the neutrino masses are generated through radiative corrections at one-loop level. Considering the neutrino mixing matrix to be of tri-bimaximal form with additional perturbations to accommodate the recently observed non-zero value of reactor mixing angle $\theta_{13}$, we obtain the relation between various neutrino oscillation parameters and the model parameters. Working in degenerate heavy neutrino mass spectrum, we obtain light neutrino masses obeying normal hierarchy and also study the relic abundance of fermionic dark matter candidate including co-annihilation effects. A viable parameter space is thus obtained, consistent with neutrino oscillation data, relic abundance and various lepton flavor violating decays such as $\ell_\alpha\to\ell_\beta\gamma$ and $\ell_\alpha \to 3 \, \ell_\beta$.


title: The diffeomorphism type of symplectic fillings

abstract: We show that simply connected contact manifolds that are subcritically Stein fillable have a unique symplectically aspherical filling up to diffeomorphism. Various extensions to manifolds with non-trivial fundamental group are discussed. The proof rests on homological restrictions on symplectic fillings derived from a degree-theoretic analysis of the evaluation map on a suitable moduli space of holomorphic spheres. Applications of this homological result include a proof that compositions of right-handed Dehn twists on Liouville domains are of infinite order in the symplectomorphism group. We also derive uniqueness results for subcritical Stein fillings up to homotopy equivalence and, under some topological assumptions on the contact manifold, up to diffeomorphism or symplectomorphism.


title: Inverse source problem for a time-fractional heat equation with generalized impedance boundary condition

abstract: The paper considers an inverse source problem for a one-dimensional time-fractional heat equation with the generalized impedance boundary condition. The inverse problem is the time dependent source parameter identification together with the temperature distrubution from the energy measurement. The well-posedness of the inverse problem is shown by applying the Fourier expansion in terms of eigenfunctions of a spectral problem which has the spectral parameter also in the boundary condition and by using the results on Volterra type integral equation with the kernel may have a diagonal singularity.


title: Compactness Criterion for Semimartingale Laws and Semimartingale Optimal Transport

abstract: We provide a compactness criterion for the set of laws $\mathfrak{P}^{ac}_{sem}(\Theta)$ on the Skorokhod space for which the canonical process $X$ is a semimartingale having absolutely continuous characteristics with differential characteristics taking values in some given set $\Theta$ of L\'evy triplets. Whereas boundedness of $\Theta$ implies tightness of $\mathfrak{P}^{ac}_{sem}(\Theta)$, closedness fails in general, even when choosing $\Theta$ to be additionally closed and convex, as a sequence of purely discontinuous martingales may converge to a diffusion. To that end, we provide a necessary and sufficient condition that prevents the purely discontinuous martingale part in the canonical representation of $X$ to create a diffusion part in the limit. As a result, we obtain a sufficient criterion for $\mathfrak{P}^{ac}_{sem}(\Theta)$ to be compact, which turns out to be also a necessary one if the geometry of $\Theta$ is similar to a box on the product space. As an application, we consider a semimartingale optimal transport problem, where the transport plans are elements of $\mathfrak{P}^{ac}_{sem}(\Theta)$. We prove the existence of an optimal transport law $\widehat{\mathbb{P}}$ and obtain a duality result extending the classical Kantorovich duality to this setup.


title: Predicting the evolution of stationary graph signals

abstract: An emerging way of tackling the dimensionality issues arising in the modeling of a multivariate process is to assume that the inherent data structure can be captured by a graph. Nevertheless, though state-of-the-art graph-based methods have been successful for many learning tasks, they do not consider time-evolving signals and thus are not suitable for prediction. Based on the recently introduced joint stationarity framework for time-vertex processes, this letter considers multivariate models that exploit the graph topology so as to facilitate the prediction. The resulting method yields similar accuracy to the joint (time-graph) mean-squared error estimator but at lower complexity, and outperforms purely time-based methods.


title: Origin of the backstreaming ions in a young Hot Flow Anomaly

abstract: We analyze an event in front of the bow shock observed by Cluster spacecraft on 22.02.2006. This event has many attributes of Hot Flow Anomaly at early stage of development including strong upstream beam and disturbed magnetic profile with increased magnetic field at one or two sides as observed by 4 Cluster spacecraft. The angle between the magnetic field vectors at two sides of the current sheet was ~ 10{\deg}. The minimum magnetic field magnitude within HFA was ~ 1 nT. The shock at two sides of the HFA was quasi-perpendicular. Upstream beam was observed on the leading side of the HFA. Parameters and velocity distributions of solar wind ions and of upstream ions observed on C1 and C3 spacecraft are analyzed separately in order to trace their changes across the event. The goal of this analysis was to get more information about the source of upstream beam. The beam evolved from the start of its observation till the HFA encounter being initially energetic and nearly mono-energetic. Its mean energy continuously decreased and energy spectrum widened as HFA approached spacecraft. First observation of particular energy that diminished with approaching the HFA varied linearly with gyro-radius of ions. The energy spectra of integrated beam (for all observation) and the energy spectrum of the beam observed just in front of HFA are very similar to the magnetosheath ion energy spectrum observed after bow shock crossing at ~ 1 hour after observation of the HFA. Lowest energies in the beam were observed within HFA only. Highest density and pressure of upstream beam are found in the current sheet itself. We suggest that the upstream beam is the result of the magnetosheath ions leakage through the region of HFA crossing with the bow shock front.


title: On the consistency problem for modular lattices and related structures

abstract: The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and Rabin (1958) it is known unsolvable for (the class of) groups and, recently, by Bridson and Wilton (2015) for finite groups. We derive unsolvability for (finite) modular lattices and various subclasses; in particular, the class of all subspace lattices of finite dimensional vector spaces over a fixed or arbitrary field of characteristic $0$. The lattice results are used to prove unsolvability of the consistency problem for (finite) rings and (finite) representable relation algebras. These results in turn apply to equations between simple expressions in Grassmann-Cayley algebra and to functional and embedded multivalued dependencies in databases.


title: Separating Answers from Queries for Neural Reading Comprehension

abstract: We present a novel neural architecture for answering queries, designed to optimally leverage explicit support in the form of query-answer memories. Our model is able to refine and update a given query while separately accumulating evidence for predicting the answer. Its architecture reflects this separation with dedicated embedding matrices and loosely connected information pathways (modules) for updating the query and accumulating evidence. This separation of responsibilities effectively decouples the search for query related support and the prediction of the answer. On recent benchmark datasets for reading comprehension, our model achieves state-of-the-art results. A qualitative analysis reveals that the model effectively accumulates weighted evidence from the query and over multiple support retrieval cycles which results in a robust answer prediction.


title: Populations can be essential in tracking dynamic optima

abstract: Real-world optimisation problems are often dynamic. Previously good solutions must be updated or replaced due to changes in objectives and constraints. It is often claimed that evolutionary algorithms are particularly suitable for dynamic optimisation because a large population can contain different solutions that may be useful in the future. However, rigorous theoretical demonstrations for how populations in dynamic optimisation can be essential are sparse and restricted to special cases. This paper provides theoretical explanations of how populations can be essential in evolutionary dynamic optimisation in a general and natural setting. We describe a natural class of dynamic optimisation problems where a sufficiently large population is necessary to keep track of moving optima reliably. We establish a relationship between the population-size and the probability that the algorithm loses track of the optimum.


title: The impact of galactic properties and environment on the quenching of central and satellite galaxies: A comparison between SDSS, Illustris and L-Galaxies

abstract: We quantify the impact that a variety of galactic and environmental properties have on the quenching of star formation. We collate a sample of $\sim$ 400,000 central and $\sim$ 100,000 satellite galaxies from the Sloan Digital Sky Survey Data Release 7 (SDSS DR7). Specifically, we consider central velocity dispersion ($\sigma_{c}$), stellar, halo, bulge and disk mass, local density, bulge-to-total ratio, group-centric distance and galaxy-halo mass ratio. We develop and apply a new statistical technique to quantify the impact on the quenched fraction ($f_{\rm Quench}$) of varying one parameter, while keeping the remaining parameters fixed. For centrals, we find that the $f_{\rm Quench} - \sigma_{c}$ relationship is tighter and steeper than for any other variable considered. We compare to the Illustris hydrodynamical simulation and the Munich semi-analytic model (L-Galaxies), finding that our results for centrals are qualitatively consistent with their predictions for quenching via radio-mode AGN feedback, hinting at the viability of this process in explaining our observational trends. However, we also find evidence that quenching in L-Galaxies is too efficient and quenching in Illustris is not efficient enough, compared to observations. For satellites, we find strong evidence that environment affects their quenched fraction at fixed central velocity dispersion, particularly at lower masses. At higher masses, satellites behave identically to centrals in their quenching. Of the environmental parameters considered, local density affects the quenched fraction of satellites the most at fixed central velocity dispersion.


title: A Golden Age of General Relativity? Some remarks on the history of general relativity

abstract: In papers on the history of general relativity and in personal remembrances of relativists, keywords like "renaissance" and "golden age" of general relativity have been used. We try to show that the first label rests on a weak empirical basis. The second one, while describing a period of vivid growth in research in general relativity, exaggerates the importance of this particular development.


title: What Happens After You Both Swipe Right: A Statistical Description of Mobile Dating Communications

abstract: Mobile dating applications (MDAs) have skyrocketed in popularity in the last few years, with popular MDA Tinder alone matching 26 million pairs of users per day. In addition to becoming an influential part of modern dating culture, MDAs facilitate a unique form of mediated communication: dyadic mobile text messages between pairs of users who are not already acquainted. Furthermore, mobile dating has paved the way for analysis of these digital interactions via massive sets of data generated by the instant matching and messaging functions of its many platforms at an unprecedented scale. This paper looks at one of these sets of data: metadata of approximately two million conversations, containing 19 million messages, exchanged between 400,000 heterosexual users on an MDA. Through computational analysis methods, this study offers the very first large scale quantitative depiction of mobile dating as a whole. We report on differences in how heterosexual male and female users communicate with each other on MDAs, differences in behaviors of dyads of varying degrees of social separation, and factors leading to "success"-operationalized by the exchange of phone numbers between a match. For instance, we report that men initiate 79% of conversations--and while about half of the initial messages are responded to, conversations initiated by men are more likely to be reciprocated. We also report that the length of conversations, the waiting times, and the length of messages have fat-tailed distributions. That said, the majority of reciprocated conversations lead to a phone number exchange within the first 20 messages.


title: Metal-rich or misclassified? The case of four RR Lyrae stars

abstract: We analysed the light curve of four, apparently extremely metal-rich fundamental-mode RR Lyrae stars. We identified two stars, MT Tel and ASAS J091803-3022.6 as RRc (first-overtone) pulsators that were misclassified as RRab ones in the ASAS survey. In the case of the other two stars, V397 Gem and ASAS J075127-4136.3, we could not decide conclusively, as they are outliers in the period-Fourier-coefficient space from the loci of both classes, but their photometric metallicities also favour the RRc classification.


title: A natural map from a quantized space onto its semiclassical limit

abstract: Let $\widehat{\Gamma}$ be the natural map given in \cite[\S1]{Oh12}. Here, we construct a deformation $B_q$ of a Poisson algebra $B_1$ and a prime ideal $P$ of $B_q$ such that $\widehat{\Gamma}(P)$ is not a Poisson prime ideal of $B_1$.


title: Results and Prospects from T2K

abstract: As measurements of the neutrino oscillation parameters improve it is becoming more interesting to study antineutrino oscillations, to investigate CP and CPT violation in the lepton sector and nonstandard matter effects. We present the most recent T2K antineutrino oscillation results, from data collected using a muon antineutrino-enhanced neutrino beam corresponding to 4.01E20 protons on target. The first analysis of electron antineutrino appearance at T2K is presented, as well as world-leading measurements of the dominant oscillation parameters for muon antineutrino disappearance. T2K measures $\sin^2(\bar{\theta}_{23}) = 0.46^{+0.14}_{-0.06}$ and $\Delta \bar{m}^2_{32} = 2.50^{+0.3}_{-0.2} \times 10^{-3} \mbox{eV}^2$, which is consistent with previous T2K measurements of the neutrino oscillation parameters and existing antineutrino measurements.


title: General relativity and the growth of a sub-discipline "gravitation" in the German speaking physics community

abstract: We will follow the growth of gravitational theory in Germany from 1915 to the 1990s, i.e., relativistic theories of gravitation, mainly Einstein's, as a branch of physics in the sense of social, more precisely institutional history. As criteria for a continued professionalizing of the field, we use the numbers of published research papers, reviews, monographs, courses at universities, appointments of lecturers or professors as well as the status of those involved (members of academies). The foundation of special institutes for gravitational research and of particular divisions of physical societies forms the final stage of this process of institutionalization. At present, an institutionalization of research in relativistic gravitation has been achieved in Germany through a thriving topical section "Relativity and Gravitation" of the German Physical Society and a Max-Planck-Institute for Gravitational Physics. While an institutionalization of the field became achieved, the situation for young German relativists for entering into research in the field was not noticeably improved. Much of research in general relativity still is done at universities in rather small groups, the continuity of which is not guaranteed.


title: Volume and surface contributions to the nuclear symmetry energy within the coherent density fluctuation model

abstract: The volume and surface components of the nuclear symmetry energy (NSE) and their ratio are calculated within the coherent density fluctuation model (CDFM). The estimations use the results of the model for the NSE in finite nuclei based on the Brueckner energy-density functional for nuclear matter. In addition, we present results for the NSE and its volume and surface contributions obtained by using the Skyrme energy-density functional. The CDFM weight function is obtained using the proton and neutron densities from the self-consistent HF+BCS method with Skyrme interactions. We present and discuss the values of the volume and surface contributions to the NSE and their ratio obtained for the Ni, Sn, and Pb isotopic chains studying their isotopic sensitivity. The results are compared with estimations of other approaches which have used available experimental data on binding energies, neutron-skin thicknesses, excitation energies to isobaric analog states (IAS) and also with results of other theoretical methods.


title: The XMM Newton and INTEGRAL observations of the supergiant fast X-ray transient IGR J16328-4726

abstract: The accretion mechanism producing the short flares observed from the Supergiant Fast X-ray Transients (SFXT) is still highly debated and forms a major part in our attempts to place these X-ray binaries in the wider context of the High Mass X-ray Binaries. We report on a 216 ks INTEGRAL observation of the SFXT IGR J16328-4726 (August 24-27, 2014) simultaneous with two fixed-time observations with XMM Newton (33ks and 20ks) performed around the putative periastron passage, in order to investigate the accretion regime and the wind properties during this orbital phase. During these observations, the source has shown luminosity variations, from 4x10^{34} erg/s to 10^{36} erg/s, linked to spectral properties changes. The soft X-ray continuum is well modeled by a power law with a photon index varying from 1.2 up to 1.7 and with high values of the column density in the range 2-4x10^{23}/cm^2. We report on the presence of iron lines at 6.8-7.1 keV suggesting that the X-ray flux is produced by accretion of matter from the companion wind characterized by density and temperature inhomogeneities.


title: Stochastic Symplectic and Multi-Symplectic Methods for Nonlinear Schr\"odinger Equation with White Noise Dispersion

abstract: We indicate that the nonlinear Schr\"odinger equation with white noise dispersion possesses stochastic symplectic and multi-symplectic structures. Based on these structures, we propose the stochastic symplectic and multi-symplectic methods, which preserve the continuous and discrete charge conservation laws, respectively. Moreover, we show that the proposed methods are convergent with temporal order one in probability. Numerical experiments are presented to verify our theoretical results.


title: Estimates for the kinetic transport equation in hyperbolic Sobolev spaces

abstract: We establish smoothing estimates in the framework of hyperbolic Sobolev spaces for the velocity averaging operator $\rho$ of the solution of the kinetic transport equation. If the velocity domain is either the unit sphere or the unit ball, then, for any exponents $q$ and $r$, we find a characterisation of the exponents $\beta_+$ and $\beta_-$, except possibly for an endpoint case, for which $D_+^{\beta_+}D_-^{\beta_-} \rho$ is bounded from space-velocity $L^2_{x,v}$ to space-time $L^q_tL^r_x$. Here, $D_+$ and $D_-$ are the classical and hyperbolic derivative operators, respectively. In fact, we shall provide an argument which unifies these velocity domains and the velocity averaging estimates in either case are shown to be equivalent to mixed-norm bounds on the cone multiplier operator acting on $L^2$. We develop our ideas further in several ways, including estimates for initial data lying in certain Besov spaces, for which a key tool in the proof is the sharp $\ell^p$ decoupling theorem recently established by Bourgain and Demeter. We also show that the level of permissible smoothness increases significantly if we restrict attention to initial data which are radially symmetric in the spatial variable.


title: Assessment of Quantum Annealing for the Construction of Satisfiability Filters

abstract: Satisfiability filters, introduced by S. A. Weaver et al. in 2014, are a new and promising type of filters to address set membership testing. In order to construct satisfiability filters, it is necessary to find disparate solutions to hard random $k$-SAT problems. This paper compares simulated annealing, simulated quantum annealing and walkSAT, an open-source SAT solver, in terms of their ability to find such solutions. The results indicate that solutions found by simulated quantum annealing are generally less disparate than solutions found by the other solvers and therefore less useful for the construction of satisfiability filters.


title: Hall-effect within the colossal magnetoresistive semi-metallic state of MoTe2

abstract: Here, we report a systematic study on the Hall-effect of the semi-metallic state of bulk MoTe$_2$, which was recently claimed to be a candidate for a novel type of Weyl semi-metallic state. The temperature ($T$) dependence of the carrier densities and of their mobilities, as estimated from a numerical analysis based on the isotropic two-carrier model, indicates that its exceedingly large and non-saturating magnetoresistance may be attributed to a near perfect compensation between the densities of electrons and holes at low temperatures. A sudden increase in hole density, with a concomitant rapid increase in the electron mobility below $T \sim 40$ K, leads to comparable densities of electrons and holes at low temperatures suggesting a possible electronic phase-transition around this temperature.


title: Numerical solution of Maxwell equations for s-wave superconductors

abstract: We report the numerical solutions of the system of equations, which describes the electrodynamics of s-wave superconductors, for time independent fields and half-plane superconductor geometry. The results are: i)the applied magnetic field increases the Ginzburg-Landau (GL) coherence length and suppresses the superconductivity, ii)the applied electric field decreases GL coherence length and supports the superconductivity, iii) if the applied magnetic field is fixed and the applied electric field increases the London penetration depth of the magnetic field decreases. The main conclusion is that applying electric field at very low temperature one increases the critical magnetic field. This result is experimentally testable.


title: Conformally Einstein product spaces

abstract: We study pseudo-Riemannian Einstein manifolds which are conformally equivalent with a metric product of two pseudo-Riemannian manifolds. Particularly interesting is the case where one of these manifolds is 1-dimensional and the case where the conformal factor depends on both manifolds simultaneously. If both factors are at least 3-dimensional then the latter case reduces to the product of two Einstein spaces, each of the special type admitting a non-trivial conformal gradient field. These are completely classified. If each factor is 2-dimensional, there is a special family of examples of non-constant curvature (called extremal metrics by Calabi), where in each factor the gradient of the Gaussian curvature is a conformal vector field. Then the metric of the 2-manifold is a warped product where the warping function is the first derivative of the Gaussian curvature. Moreover we find explicit examples of Einstein warped products with a 1-dimensional fibre and such with a 2-dimensional base. Therefore in the 4-dimensional case our Main Theorem points towards a local classification of conformally Einstein products. Finally we prove an assertion in the book by A.Besse on complete Einstein warped products with a 2-dimensional base. All solutions can be explicitly written in terms of integrals of elementary functions.


title: RGBD Salient Object Detection via Deep Fusion

abstract: Numerous efforts have been made to design different low level saliency cues for the RGBD saliency detection, such as color or depth contrast features, background and color compactness priors. However, how these saliency cues interact with each other and how to incorporate these low level saliency cues effectively to generate a master saliency map remain a challenging problem. In this paper, we design a new convolutional neural network (CNN) to fuse different low level saliency cues into hierarchical features for automatically detecting salient objects in RGBD images. In contrast to the existing works that directly feed raw image pixels to the CNN, the proposed method takes advantage of the knowledge in traditional saliency detection by adopting various meaningful and well-designed saliency feature vectors as input. This can guide the training of CNN towards detecting salient object more effectively due to the reduced learning ambiguity. We then integrate a Laplacian propagation framework with the learned CNN to extract a spatially consistent saliency map by exploiting the intrinsic structure of the input image. Extensive quantitative and qualitative experimental evaluations on three datasets demonstrate that the proposed method consistently outperforms state-of-the-art methods.


title: Detecting supernovae neutrino with Earth matter effect

abstract: We study Earth matter effect in oscillation of supernovae neutrinos. We show that detecting Earth matter effect gives an independent measurement of spectra of supernovae neutrinos, i.e. the flavor difference of the spectra of supernovae neutrinos. We study the effect of energy resolution and angular resolution of final electron or positron on detecting the signal of Earth matter effect. We show that varying the widths of energy bins in analysis can change the signal strength of Earth matter effect and the statistical fluctuation. A reasonable choice of energy bins can both suppress the statistical fluctuation and make out a good signal strength relative to the statistical fluctuation. Neutrino detectors with good energy resolution and good angular resolution are therefore preferred so that there are more freedom to vary energy bins and to optimize the signal of Earth matter effect in analyzing events of supernovae neutrinos.


title: The flat phase of quantum polymerized membranes

abstract: We investigate the flat phase of quantum polymerized phantom membranes by means of a nonperturbative renormalization group approach. We first implement this formalism for general quantum polymerized membranes and derive the flow equations that encompass both quantum and thermal fluctuations. We then deduce and analyze the flow equations relevant to study the flat phase and discuss their salient features : quantum to classical crossover and, in each of these regimes, strong to weak coupling crossover. We finally illustrate these features in the context of free standing graphene physics.


title: Current-driven periodic domain wall creation in ferromagnetic nano-wires

abstract: We predict the electrical generation and injection of domain walls into a ferromagnetic nano-wire without the need of an assisting magnetic field. Our analytical and numerical results show that above a critical current $j_{c}$ domain walls are injected into the nano-wire with a period $T \sim (j-j_{c})^{-1/2}$. Importantly, domain walls can be produced periodically even in a simple exchange ferromagnet with uniaxial anisotropy, without requiring any standard "twisting" interaction like Dzyaloshinskii-Moriya or dipole-dipole interactions. We show analytically that this process and the period exponents are universal and do not depend on the peculiarities of the microscopic Hamiltonian. Finally we give a specific proposal for an experimental realization.


title: Long-range Heisenberg models in quasi-periodically driven crystals of trapped ions

abstract: We introduce a theoretical scheme for the analog quantum simulation of long-range XYZ models using current trapped-ion technology. In order to achieve fully-tunable Heisenberg-type interactions, our proposal requires a state-dependent dipole force along a single vibrational axis, together with a combination of standard resonant and detuned carrier drivings. We discuss how this quantum simulator could explore the effect of long-range interactions on the phase diagram by combining an adiabatic protocol with the quasi-periodic drivings and test the validity of our scheme numerically. At the isotropic Heisenberg point, we show that the long-range Hamiltonian can be mapped onto a non-linear sigma model with a topological term that is responsible for its low-energy properties, and we benchmark our predictions with Matrix-Product-State numerical simulations.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: Rooted Uniform Monotone Minimum Spanning Trees

abstract: We study the construction of the minimum cost spanning geometric graph of a given rooted point set $P$ where each point of $P$ is connected to the root by a path that satisfies a given property. We focus on two properties, namely the monotonicity w.r.t. a single direction ($y$-monotonicity) and the monotonicity w.r.t. a single pair of orthogonal directions ($xy$-monotonicity). We propose algorithms that compute the rooted $y$-monotone ($xy$-monotone) minimum spanning tree of $P$ in $O(|P|\log^2 |P|)$ (resp. $O(|P|\log^3 |P|)$) time when the direction (resp. pair of orthogonal directions) of monotonicity is given, and in $O(|P|^2\log|P|)$ time when the optimum direction (resp. pair of orthogonal directions) has to be determined. We also give simple algorithms which, given a rooted connected geometric graph, decide if the root is connected to every other vertex by paths that are all monotone w.r.t. the same direction (pair of orthogonal directions).


title: The Spectral Sharpness Angle of Gamma-ray Bursts

abstract: We explain the results of Yu et al. (2015b) of the novel sharpness angle measurement to a large number of spectra obtained from the Fermi gamma-ray burst monitor. The sharpness angle is compared to the values obtained from various representative emission models: blackbody, single-electron synchrotron, synchrotron emission from a Maxwellian or power-law electron distribution. It is found that more than 91% of the high temporally and spectrally resolved spectra are inconsistent with any kind of optically thin synchrotron emission model alone. It is also found that the limiting case, a single temperature Maxwellian synchrotron function, can only contribute up to 58+23 -18% of the peak flux. These results show that even the sharpest but non-realistic case, the single-electron synchrotron function, cannot explain a large fraction of the observed spectra. Since any combination of physically possible synchrotron spectra added together will always further broaden the spectrum, emission mechanisms other than optically thin synchrotron radiation are likely required in a full explanation of the spectral peaks or breaks of the GRB prompt emission phase.


title: Real-time Rescheduling in Distributed Railway Network: An Agent-Based Approach

abstract: This paper addresses the issues concerning the rescheduling of a static timetable in case of a disaster encountered in a large and complex railway network system. The proposed approach tries to modify the schedule so as to minimise the overall delay of trains. This is achieved by representing the rescheduling problem in the form of a Petri-Net and the highly uncertain disaster recovery times in such a model is handled as Markov Decision Processes (MDP ). For solving the rescheduling problem, a istributed Constraint Optimisation (DCOP ) based strategy involving the use of autonomous agents is used to generate the desired schedule. The proposed approach is evaluated on the actual schedule of the Eastern Railways, India by constructing vari- ous disaster scenarios using the Java Agent DEvelopment Framework (JADE). When compared to the existing approaches, the proposed framework substantially reduces the delay of trains after rescheduling.


title: Novel 16-QAM and 64-QAM Near-Complementary Sequences with Low PMEPR in OFDM Systems

abstract: In this paper, we firstly propose a novel construction of $16$-quadrature amplitude modulation (QAM) near-complementary sequences with low peak-to-mean envelope power ratio (PMEPR) in orthogonal frequency division multiplexing (OFDM) systems. The proposed $16$-QAM near-complementary sequences can be constructed by utilizing novel nonlinear offsets, where the length of the sequences is $n=2^m$. The family size of the newly constructed $16$-QAM near-complementary sequences is $8\times (\frac{m!}{2})\times 4^{m+1}$, and the PMEPR of these sequences is proven to satisfy ${\textrm{PMEPR}}\leq 2.4$. Thus, the proposed construction can generate a number of $16$-QAM near-complementary sequences with low PMEPR, resulting in the improvement of the code rate in OFDM systems. Furthermore, we also propose a novel construction of $64$-QAM near-complementary sequences with low PMEPR, which is the first proven construction of $64$-QAM near-complementary sequences. The PMEPRs of two types of the proposed $64$-QAM near-complementary sequences are proven to satisfy that ${\textrm{PMEPR}}\leq 3.62$ or ${\textrm{PMEPR}}\leq 2.48$, respectively. The family size of the newly constructed $64$-QAM near-complementary sequences is $64\times (\frac{m!}{2})\times 4^{m+1}$.


title: Characterizations of asymmetric truncated Toeplitz operators

abstract: The aim of this paper is to investigate asymmetric truncated Toeplitz operators with $L^2$ symbols between two different model spaces given by inner functions such that one divides the other. Characterizations of these operators are given in terms of rank two operators. A description of the class of symbols for which the corresponding asymmetric truncated Toeplitz operator is equal to the zero operator is also given.


title: DeepBinaryMask: Learning a Binary Mask for Video Compressive Sensing

abstract: In this paper, we propose a novel encoder-decoder neural network model referred to as DeepBinaryMask for video compressive sensing. In video compressive sensing one frame is acquired using a set of coded masks (sensing matrix) from which a number of video frames is reconstructed, equal to the number of coded masks. The proposed framework is an end-to-end model where the sensing matrix is trained along with the video reconstruction. The encoder learns the binary elements of the sensing matrix and the decoder is trained to recover the unknown video sequence. The reconstruction performance is found to improve when using the trained sensing mask from the network as compared to other mask designs such as random, across a wide variety of compressive sensing reconstruction algorithms. Finally, our analysis and discussion offers insights into understanding the characteristics of the trained mask designs that lead to the improved reconstruction quality.


title: Secrecy and Energy Efficiency in Massive MIMO Aided Heterogeneous C-RAN: A New Look at Interference

abstract: In this paper, we investigate the potential benefits of the massive multiple-input multiple-output (MIMO) enabled heterogeneous cloud radio access network (C-RAN) in terms of the secrecy and energy efficiency (EE). In this network, both remote radio heads (RRHs) and massive MIMO macrocell base stations (BSs) are deployed and soft fractional frequency reuse (S-FFR) is adopted to mitigate the inter-tier interference. We first examine the physical layer security by deriving the area ergodic secrecy rate and secrecy outage probability. Our results reveal that the use of massive MIMO and C-RAN can greatly improve the secrecy performance. For C-RAN, a large number of RRHs achieves high area ergodic secrecy rate and low secrecy outage probability, due to its powerful interference management. We find that for massive MIMO aided macrocells, having more antennas and serving more users improves secrecy performance. Then we derive the EE of the heterogeneous C-RAN, illustrating that increasing the number of RRHs significantly enhances the network EE. Furthermore, it is indicated that allocating more radio resources to the RRHs can linearly increase the EE of RRH tier and improve the network EE without affecting the EE of the macrocells.


title: The analysis of batch sojourn-times in polling systems

abstract: We consider a cyclic polling system with general service times, general switch-over times, and simultaneous batch arrivals. This means that at an arrival epoch, a batch of customers may arrive simultaneously at the different queues of the system. For the locally-gated, globally-gated, and exhaustive service disciplines, we study the batch sojourn-time, which is defined as the time from an arrival epoch until service completion of the last customer in the batch. We obtain for the different service disciplines exact expressions for the Laplace-Stieltjes transform of the steady-state batch sojourn-time distribution, which can be used to determine the moments of the batch sojourn-time, and in particular, its mean. However, we also provide an alternative, more efficient way to determine the mean batch sojourn-time, using Mean Value Analysis. Finally, we compare the batch sojourn-times for the different service disciplines in several numerical examples. Our results show that the best performing service discipline, in terms of minimizing the batch sojourn-time, depends on system characteristics.


title: Numerical study of the quantum valley Hall effect

abstract: Under more consideration, it seems that bulk valley current mediated nonlocal resistance is inconsistent with Landau-Buttiker formalism. We believe Landau-Buttiker formalism is right and the declared bulk valley current mediated nonlocal resistance is questionable and the experimental signal should be attributed to other origins.


title: Hidden Photon Compton and Bremsstrahlung in White Dwarf Anomalous Cooling and Luminosity Functions

abstract: We computed the contribution of the Compton and Bremsstrahlung processes with a hidden light $U(1)_D$ neutral boson $\gamma_D$ to the white dwarf G117-B15A anomalous cooling rate, as well as the white dwarf luminosity functions (WDLF). We demonstrated that for a light mass of hidden photon ($m_{\gamma_D} \ll$ a few keV), compatible results are obtained for the recent Sloan Digital Sky Survey and the SuperCOSMOS Sky Survey observation, but the stringent limits would be imposed on the kinetic mixing $\epsilon$. We performed $\chi^2$-tests to acquire a quantitative assessment on the WDLF data in the context of our model, computed under the assumption of different kinetic mixing $\epsilon$, the age of the oldest computed stars $T_D$, and a constant star formation rate $\psi$. Then taken together, the WDLF analysis of 2$\sigma$ confidence interval $\epsilon = \left( 0.37^{+0.35}_{-0.37}\right) \times 10^{-14}$ is barely consistent with the cooling rate analysis at 2$\sigma$ regime $\epsilon = \left( 0.97^{+0.35}_{-0.37} \right) \times 10^{-14}$. The two approaches used here agree with each other in yielding an anomalous cooling rate of white dwarf in this luminosity range.


title: Partitioning a graph into a cycle and a sparse graph

abstract: In this paper we investigate results of the form "every graph $G$ has a cycle $C$ such that the induced subgraph of $G$ on $V(G)\setminus V(C)$ has small maximum degree." Such results haven't been studied before, but are motivated by the Bessy and Thomass\'e Theorem which states that the vertices of any graph $G$ can be covered by a cycle $C_1$ in $G$ and disjoint cycle $C_2$ in the complement of $G$. There are two main theorems in this paper. The first is that every graph has a cycle with $\Delta(G[V(G)\setminus V(C)])\leq \frac12(|V(G)\setminus V(C)|-1)$. The bound on the maximum degree $\Delta(G[V(G)\setminus V(C)])$ is best possible. The second theorem is that every $k$-connected graph $G$ has a cycle with $\Delta(G[V(G)\setminus V(C)])\leq \frac1{k+1}|V(G)\setminus V(C)|+3$. We also give an application of this second theorem to a conjecture about partitioning edge-coloured complete graphs into monochromatic cycles.


title: Tractable Stochastic Geometry Model for IoT Access in LTE Networks

abstract: The Internet of Things (IoT) is large-scale by nature. This is not only manifested by the large number of connected devices, but also by the high volumes of traffic that must be accommodated. Cellular networks are indeed a natural candidate for the data tsunami the IoT is expected to generate in conjunction with legacy human-type traffic. However, the random access process for scheduling request represents a major bottleneck to support IoT via LTE cellular networks. Accordingly, this paper develops a mathematical framework to model and study the random access channel (RACH) scalability to accommodate IoT traffic. The developed model is based on stochastic geometry and discrete time Markov chains (DTMC) to account for different access strategies and possible sources of inter-cell and intra-cell interferences. To this end, the developed model is utilized to assess and compare three different access strategies, which incorporate a combination of transmission persistency, back-off, and power ramping. The analysis and the results showcased herewith clearly illustrate the vulnerability of the random access procedure as the IoT intensity grows. Finally, the paper offers insights into effective scenarios for each transmission strategy in terms of IoT intensity and RACH detection thresholds.


title: Emergence of gauge invariance from Nambu models

abstract: In the framework of a hamiltonian nonperturbative approach we show that after demanding current conservation together with the Gauss constraints at some initial time in a nonabelian Nambu model, we recover the corresponding Yang-Mills theory. In this way, the spontaneous Lorentz symmetry breaking present in the Nambu model becomes unobservable and the Goldstone modes can be identified with the corresponding gauge bosons.


title: Heat content determines planar triangles

abstract: We prove that heat content determines planar triangles.


title: Spin Hall conductance in a Y-shaped junction device in presence of tunable spin-orbit coupling

abstract: We study spin Hall effect in a three terminal Y-shaped device in presence of tunable spin-orbit (SO) interactions via Landauer-B\"{u}ttiker formalism. We have evolved a fabrication technique for creating different angular separation between the two arms of the Y-shaped device so as to investigate the effect of angular width on the spin Hall conductance (SHC). A smaller angular separation yields a larger conductance. Also arbitrary orientation of the spin quantization axes yields interesting three dimensional contour maps for the SHC corresponding to different angular separation of the Y-shaped device. The results explicitly show breaking of the spin rotational symmetry. Further a systematic study is carried out to compare and contrast between the different SO terms, such as Rashba and Dresselhaus SO interactions and the interplay of the angular separation therein.


title: Location-aware ICI Reduction in MIMO-OFDM Downlinks for High-speed Railway Communication Systems

abstract: High mobility may destroy the orthogonality of subcarriers in OFDM systems, resulting in inter- carrier interference (ICI), which may greatly reduce the service quantity of high-speed railway (HSR) wireless communications. This paper focuses on ICI mitigation in the HSR downlinks with distributed transmit antennas.For such a system, its key feature is that the ICIs are caused by multiple carrier frequency offsets corresponding to multiple transmit antennas. Meanwhile, the channel of HSR is fast time varying, which is another big challenge in the system design. In order to get a good performance, low complexity real-time ICI reduction is necessary. To this end, we first analyzed the property of the ICI matrix in AWGN and Rician scenarios, respectively. Then, we propose corresponding low complexity ICI reduction methods based on location information. For evaluating the effectiveness of the proposed method, the expectation and variance of remaining interference after ICI reduction is analyzed with respect to Rician K-factor. In addition, the service quantity and the bandwidth and computation cost are also discussed. Numerical results are presented to verify our theoretical analysis and the effectiveness of proposed ICI reduction methods. One important observation is that our proposed ICI mitigation method can achieve almost the same service quantity with that obtained on the case without ICI at 300km/h,that is, ICI has been completely eliminated. Numerical results also show that the scenarios with Rician K-factors over 30dB can be considered as AWGN scenarios, which may provide valuable insights on future system designs.


title: Extended Graded Modalities in Strategy Logic

abstract: Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific agents with a binding operator. We introduce Graded Strategy Logic (GradedSL), an extension of SL by graded quantifiers over tuples of strategy variables, i.e., "there exist at least g different tuples (x_1,...,x_n) of strategies" where g is a cardinal from the set N union {aleph_0, aleph_1, 2^aleph_0}. We prove that the model-checking problem of GradedSL is decidable. We then turn to the complexity of fragments of GradedSL. When the g's are restricted to finite cardinals, written GradedNSL, the complexity of model-checking is no harder than for SL, i.e., it is non-elementary in the quantifier rank. We illustrate our formalism by showing how to count the number of different strategy profiles that are Nash equilibria (NE), or subgame-perfect equilibria (SPE). By analyzing the structure of the specific formulas involved, we conclude that the important problems of checking for the existence of a unique NE or SPE can both be solved in 2ExpTime, which is not harder than merely checking for the existence of such equilibria.


title: Representing Strategies

abstract: Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy types, one where we characterise the differences between them on the syntactic (object language) level. This is important for a more traditional knowledge representation view on strategic content. Leaving differences between strategy types implicit in the semantics is a sensible idea if the goal is to use the strategic formalism for model checking. But, for traditional knowledge representation in terms of object language level formulas, we need to extent the language. This paper introduces a strategic STIT syntax with explicit operators for knowledge that allows us to charaterise strategy types. This more expressive strategic language is interpreted on standard ATL-type concurrent epistemic game structures. We introduce rule-based strategies in our language and fruitfully apply them to the representation and characterisation of positional and uniform strategies. Our representations highlight crucial conditions to be met for strategy types. We demonstrate the usefulness of our work by showing that it leads to a critical reexamination of coalitional uniform strategies.


title: Extending Finite Memory Determinacy to Multiplayer Games

abstract: We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding class of multi-player multi-outcome games. This generalizes a previous result by Brihaye, De Pril and Schewe. For most of our conditions we provide counterexamples showing that they cannot be dispensed with. Our proofs are generally constructive, that is, provide upper bounds for the memory required, as well as algorithms to compute the relevant winning strategies.


title: Direct electronic measurement of Peltier cooling and heating in graphene

abstract: Thermoelectric effects allow the generation of electrical power from waste heat and the electrical control of cooling and heating. Remarkably, these effects are also highly sensitive to the asymmetry in the density of states around the Fermi energy and can therefore be exploited as probes of distortions in the electronic structure at the nanoscale. Here we consider two-dimensional graphene as an excellent nanoscale carbon material for exploring the interaction between electronic and thermal transport phenomena, by presenting a direct and quantitative measurement of the Peltier component to electronic cooling and heating in graphene. Thanks to an architecture including nanoscale thermometers, we detected Peltier component modulation of up to 15 mK for currents of 20 $\mu$A at room temperature and observed a full reversal between Peltier cooling and heating for electron and hole regimes. This fundamental thermodynamic property is a complementary tool for the study of nanoscale thermoelectric transport in two-dimensional materials.


title: A Study of the Evolution of the Close Binaries Cyg X-3, IC 10 X-1, NGC 300 X-1, SS 433, and M33 X-7 Using the "Scenario Machine"

abstract: Evolutionary tracks for the X-ray binaries Cyg X-3, IC 10 X-1, NGC 300 X-1, SS 433, and M33 X-7 are computed using the Scenario Machine code. The compact objects in IC 10 X-1, NGC 300 X-1, and M33 X-7 are the most massive stellar mass black hole candidates. Cyg X-3, IC 10 X-1, and NGC 300 X-1 are the only currently known Wolf-Rayet stars with degenerate companions. SS 433 is the only known superaccretor in the Milky Way. Therefore, the stars studied provide excellent laboratories for testing scenarios for the evolution of binaries under extreme conditions. The classical evolutionary scenario is consistent with modern observational data. During the evolution of these binaries, hypernova explosions accompanied by the collapse of stellar cores with large angular momenta can occur, leading to long gamma-ray bursts. At the end of their evolution, Cyg X-3, IC 10 X-1, NGC 300 X-1, and SS 433 may form binary relativistic objects, which will subsequently merge due to the radiation of gravitational waves. The gravitational waves emitted during mergers of relativistic stars should be detectable by existing and future gravitational-wave antennas. In the course of its future evolution, M33 X-7 will pass through a Thorne-Zytkow stage. The formation of a Thorne-Zytkow object can also be accompanied by gravitational-wave radiation. Figure 2 contains two merging black holes with masses almost identical to the second LIGO event GW151226.


title: Phase separation on the sphere: Patchy particles and self-assembly

abstract: Motivated by observations of heterogeneous domain structure on the surface of cells, we consider a minimal model to describe the dynamics of phase separation on the surface of a spherical particle. Finite-size effects on the curved particle surface lead to the formation of long-lived, metastable states for which the density is distributed in patches over the particle surface. We study the time evolution and stability of these states as a function of both the particle size and the thermodynamic parameters. Finally, by connecting our findings with studies of patchy particles, we consider the implications for self-assembly in many-particle systems.


title: Approximate maximum entropy principles via Goemans-Williamson with applications to provable variational methods

abstract: The well known maximum-entropy principle due to Jaynes, which states that given mean parameters, the maximum entropy distribution matching them is in an exponential family, has been very popular in machine learning due to its "Occam's razor" interpretation. Unfortunately, calculating the potentials in the maximum-entropy distribution is intractable \cite{bresler2014hardness}. We provide computationally efficient versions of this principle when the mean parameters are pairwise moments: we design distributions that approximately match given pairwise moments, while having entropy which is comparable to the maximum entropy distribution matching those moments. We additionally provide surprising applications of the approximate maximum entropy principle to designing provable variational methods for partition function calculations for Ising models without any assumptions on the potentials of the model. More precisely, we show that in every temperature, we can get approximation guarantees for the log-partition function comparable to those in the low-temperature limit, which is the setting of optimization of quadratic forms over the hypercube. \cite{alon2006approximating}


title: Star-forming galaxies as the origin of IceCube neutrinos: Reconciliation with Fermi-LAT gamma rays

abstract: Cosmic ray accelerators like supernova and hypernova remnants in star forming galaxies are one of the most plausible sources of the IceCube observed diffuse astrophysical neutrinos. The neutrino producing hadronic processes will also produce a diffuse gamma ray flux, constrained by the Fermi-LAT bounds. The fact that point sources like blazars also contribute to the diffuse gamma ray flux implies large gamma opacity of the neutrino sources. Indeed, for these high redshift star forming galaxies the gamma absorption during the intergalactic propagation can be significant. In addition, large gamma attenuation inside these extreme source galaxies can reduce the cascade component of the diffuse flux. Under the current astrophysical uncertainties affecting these absorptions processes, we find the associated diffuse gamma ray flux can remain compatible with the current Fermi-LAT bounds.


title: Automated Instrumentation for High-Temperature Seebeck Coefficient Measurements

abstract: In this work, we report the fabrication of fully automated experimental setup for high temperature Seebeck coefficient ({\alpha}) measurement. The K-type thermocouples are used to measure the average temperature of the sample and Seebeck voltage across it. The temperature dependence of the Seebeck coefficients of the thermocouple and its negative leg is taken care by using the integration method. Steady state based differential technique is used for {\alpha} measurement. Use of limited component and thin heater simplify the sample holder design and minimize the heat loss. The power supplied to the heater decides the temperature difference across the sample and the measurement is carried out by achieving the steady state. The LabVIEW based program is built to automize the whole measurement process. The complete setup is fabricated by using commonly available materials in the market. This instrument is standardized for materials with a wide range of {\alpha} and for the wide range of {\Delta}T across the specimen. For this purpose, high temperature measurement of {\alpha} of iron, constantan, bismuth, and Bi_0.36 Sb_1.45 Te_3 samples are carried out and data obtained from these samples are found to be in good agreement with the reported data.


title: Modal noise characterisation of a hybrid reformatter

abstract: This paper reports on the modal noise characterisation of a hybrid reformatter. The device consists of a multicore-fibre photonic lantern and an ultrafast laser-inscribed slit reformatter. It operates around 1550 nm and supports 92 modes. Photonic lanterns transform a multimode signal into an array of single-mode signals, and thus combine the high coupling efficiency of multimode fibres with the diffraction-limited performance of single-mode fibres. This paper presents experimental measurements of the device point spread function properties under different coupling conditions, and its throughput behaviour at high spectral resolution. The device demonstrates excellent scrambling but its point spread function is not completely stable. Mode field diameter and mode barycentre position at the device output vary as the multicore-fibre is agitated due to the fabrication imperfections.


title: A Necessary and Sufficient Criterion for the Separability of Quantum State

abstract: Quantum entanglement has been regarded as one of the key physical resources in quantum information sciences. However, the determination of whether a mixed state is entangled or not is generally a hard issue, even for the bipartite system. In this work we propose an operational necessary and sufficient criterion for the separability of an arbitrary bipartite mixed state, by virtue of the multiplicative Horn's problem. The work follows the work initiated by Horodecki {\it et. al.} and uses the Bloch vector representation introduced to the separability problem by J. De Vicente. In our criterion, a complete and finite set of inequalities to determine the separability of compound system is obtained, which may be viewed as trade-off relations between the quantumness of subsystems. We apply the obtained result to explicit examples, e.g. the separable decomposition of arbitrary dimension Werner state and isotropic state.


title: Neutral hydrogen and magnetic fields in M83 observed with the SKA Pathfinder KAT-7

abstract: We present new KAT-7 observations of the neutral hydrogen (HI) spectral line, and polarized radio continuum emission, in the grand design spiral M83. These observations provide a sensitive probe of the outer disk structure and kinematics, revealing a vast and massive neutral gas distribution that appears to be tightly coupled to the interaction of the galaxy with the environment. We present a new rotation curve extending out to a radius of 50 kpc. Based on our new HI dataset and comparison with multiwavelength data from the literature we consider the impact of mergers on the outer disk and discuss the evolution of M83. We also study the periphery of the HI distribution and reveal a sharp edge to the gaseous disk that is consistent with photoionization or ram pressure from the intergalactic medium (IGM). The radio continuum emission is not nearly as extended as the HI and is restricted to the main optical disk. Despite the relatively low angular resolution we are able to draw broad conclusions about the large-scale magnetic field topology. We show that the magnetic field of M83 is similar in form to other nearby star forming galaxies, and suggest that the disk-halo interface may host a large-scale regular magnetic field.


title: Human-Planned Robotic Grasp Ranges: Capture and Validation

abstract: Leveraging human grasping skills to teach a robot to perform a manipulation task is appealing, but there are several limitations to this approach: time-inefficient data capture procedures, limited generalization of the data to other grasps and objects, and inability to use that data to learn more about how humans perform and evaluate grasps. This paper presents a data capture protocol that partially addresses these deficiencies by asking participants to specify ranges over which a grasp is valid. The protocol is verified both qualitatively through online survey questions (where 95.38% of within-range grasps are identified correctly with the nearest extreme grasp) and quantitatively by showing that there is small variation in grasps ranges from different participants as measured by joint angles, contact points, and position. We demonstrate that these grasp ranges are valid through testing on a physical robot (93.75% of grasps interpolated from grasp ranges are successful).


title: Improved EDELWEISS-III sensitivity for low-mass WIMPs using a profile likelihood approach

abstract: We report on a dark matter search for a Weakly Interacting Massive Particle (WIMP) in the mass range $m_\chi \in [4, 30]\,\mathrm{GeV}/c^2$ with the EDELWEISS-III experiment. A 2D profile likelihood analysis is performed on data from eight selected detectors with the lowest energy thresholds leading to a combined fiducial exposure of 496 kg-days. External backgrounds from $\gamma$- and $\beta$-radiation, recoils from $^{206}$Pb and neutrons as well as detector intrinsic backgrounds were modelled from data outside the region of interest and constrained in the analysis. The basic data selection and most of the background models are the same as those used in a previously published analysis based on Boosted Decision Trees (BDT). For the likelihood approach applied in the analysis presented here, a larger signal efficiency and a subtraction of the expected background lead to a higher sensitivity, especially for the lowest WIMP masses probed. No statistically significant signal was found and upper limits on the spin-independent WIMP-nucleon scattering cross section can be set with a hypothesis test based on the profile likelihood test statistics. The 90% C.L. exclusion limit set for WIMPs with $m_\chi = 4\,\mathrm{GeV/}c^2$ is $1.6 \times 10^{-39}\,\mathrm{cm^2}$, which is an improvement of a factor of seven with respect to the BDT-based analysis. For WIMP masses above $15\,\mathrm{GeV/}c^2$ the exclusion limits found with both analyses are in good agreement.


title: Graviton mass might reduce tension between early and late time cosmological data

abstract: The standard $\Lambda$-CDM predicts a growth of structures which tends to be higher than the values of redshift space distortion (RSD) measurements, if the cosmological parameters are fixed by the CMB data. In this paper we point out that this discrepancy can be resolved/understood if we assume that the graviton has a small but non-zero mass. In the context of the Minimal Theory of Massive Gravity (MTMG), due to infrared Lorentz violations measurable only at present cosmological scales, the graviton acquires a mass without being haunted by unwanted extra degrees of freedom. While the so-called self-accelerating branch of cosmological solutions in MTMG has the same phenomenology for the background as well as the scalar- and vector-type linear perturbations as the $\Lambda$-CDM in General Relativity (GR), it is possible to choose another branch so that the background is the same as that in GR but the evolution of matter perturbations gets modified by the graviton mass. On studying the fit of such modified dynamics to the above-mentioned RSD measurements, we find that the $\Lambda$-CDM model is less probable than MTMG by two orders of magnitude. With the help of the cross correlation between the integrated Sachs-Wolfe (ISW) effect and the large scale structure (LSS), the data also pin-down the graviton mass squared around $\mu^2\approx - (3\times 10^{-33} \rm{eV})^2$, which is consistent with the latest bound $|\mu^2|<(1.2\times 10^{-22} \rm{eV})^2$ set by the recent LIGO observation.


title: Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems

abstract: Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mismatch between the assumptions/model of the monitor and that of the underlying program. This constitutes problems especially for distributed systems, where the concept of current time and state are inherently uncertain. A monitor designed with asynchronous system model assumptions may cause false-positives for a program executing in a partially synchronous system: the monitor may flag a global predicate that does not actually occur in the underlying system. A monitor designed with a partially synchronous system model assumption may cause false negatives as well as false positives for a program executing in an environment where the bounds on partial synchrony differ (albeit temporarily) from the monitor model assumptions. In this paper we analyze the effects of the impedance mismatch between the monitor and the underlying program for the detection of conjunctive predicates. We find that there is a small interval where the monitor assumptions are hypersensitive to the underlying program environment. We provide analytical derivations for this interval, and also provide simulation support for exploring the sensitivity of predicate detection to the impedance mismatch between the monitor and the program under a partially synchronous system.


title: Consistent Static Models of Local Thermospheric Composition Profiles

abstract: The authors investigate the ideal, nondriven multifluid equations of motion to identify consistent (i.e., truly stationary), mechanically static models for composition profiles within the thermosphere. These physically faithful functions are necessary to define the parametric core of future empirical atmospheric models and climatologies. Based on the strength of interspecies coupling, the thermosphere has three altitude regions: (1) the lower thermosphere (herein z < ~100 km), in which all species move together at the composite fluid velocity with an effective particle mass equal to the average particle mass of the composite fluid; (2) the upper thermosphere (herein z > ~200 km), in which the species flows are approximately uncoupled; and (3) a transition region in between, where the effective species particle mass and the effective species vertical flow interpolate between the solutions for the upper and lower thermosphere. We place this view in the context of current terminology within the community, i.e., a fully mixed (lower) region and an upper region in diffusive equilibrium (DE). The latter condition, DE, currently used in empirical composition models, does not represent a truly static composition profile in the presence of finite thermal diffusion. Rather, species by species hydrostatic balance is a consistent (i.e., stationary) static representation of vertical thermospheric composition profiles.


title: Partial orthogonal spreads over $\mathbb{F}_2$ invariant under the symmetric and alternating groups

abstract: Let m be an integer greater than 2 and let V be a vector space of dimension 2^m over F_2. Let Q be a non-degenerate quadratic form of maximal Witt index defined on V. We show that the symmetric group S_{2m+1} acts on V as a group of isometries of Q and permutes the members of a partial orthogonal spread of size 2m+1. This implies that any group of even order 2m or odd order 2m+1 acts transitively and regularly on a partial orthogonal spread in V. We also show that the alternating group A_9 acts in a natural manner on a complete spread of size 9 defined on a vector space of dimension 8 over F_2.


title: There is No McLaughlin Geometry

abstract: We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,\alpha)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performance distributed computing, and details of our techniques and checks are provided. One outcome of our work is to show that a pseudogeometric strongly regular graph achieving equality in the Krein bound need not be the point graph of any partial geometry.


title: Universalities of thermodynamic signatures in topological phases

abstract: Topological insulators (superconductors) are materials that host symmetry-protected metallic edge states in an insulating (superconducting) bulk. Although they are well understood, a thermodynamic description of these materials remained elusive, firstly because the edges yield a non-extensive contribution to the thermodynamic potential, and secondly because topological field theories involve non-local order parameters, and cannot be captured by the Ginzburg-Landau formalism. Recently, this challenge has been overcome: by using Hill thermodynamics to describe the Bernevig-Hughes-Zhang model in two dimensions, it was shown that at the topological phase change the thermodynamic potential does not scale extensively due to boundary effects. Here, we extend this approach to different topological models in various dimensions (the Kitaev chain and Su-Schrieffer-Heeger model in one dimension, the Kane-Mele model in two dimensions and the Bernevig-Hughes-Zhang model in three dimensions) at zero temperature. Surprisingly, all models exhibit the same universal behavior in the order of the topological-phase transition, depending on the dimension. Moreover, we derive the topological phase diagram at finite temperature using this thermodynamic description, and show that it displays a good agreement with the one calculated from the Uhlmann phase. Our work reveals unexpected universalities and opens the path to a thermodynamic description of systems with a non-local order parameter.


title: Dynamically Generated $\Xi (1690)$

abstract: We show that the $\Xi (1690)$ resonance can be dynamically generated in the $s$-wave $\bar{K} \Sigma$-$\bar{K} \Lambda$-$\pi \Xi$-$\eta \Xi$ coupled-channels chiral unitary approach. In our model, the $\Xi (1690)$ resonance appears near the $\bar{K} \Sigma$ threshold as a $\bar{K} \Sigma$ molecular state and the experimental data are reproduced well. We discuss properties of the dynamically generated $\Xi (1690)$.


title: Early evolution of disrupted asteroid P/2016 G1 (PANSTARRS)

abstract: We present deep imaging observations of activated asteroid P/2016 G1 (PANSTARRS) using the 10.4m Gran Telescopio Canarias (GTC) from late April to early June 2016. The images are best interpreted as the result of a relatively short-duration event with onset about $\mathop{350}_{-30}^{+10}$ days before perihelion (i.e., around 10th February, 2016), starting sharply and decreasing with a $\mathop{24}_{-7}^{+10}$ days (Half-width at half-maximum, HWHM). The results of the modeling imply the emission of $\sim$1.7$\times$10$^7$ kg of dust, if composed of particles of 1 micrometer to 1 cm in radius, distributed following a power-law of index --3, and having a geometric albedo of 0.15. A detailed fitting of a conspicuous westward feature in the head of the comet-like object indicates that a significant fraction of the dust was ejected along a privileged direction right at the beginning of the event, which suggests that the parent body has possibly suffered an impact followed by a partial or total disruption. From the limiting magnitude reachable with the instrumental setup, and assuming a geometric albedo of 0.15 for the parent body, an upper limit for the size of possible fragment debris of $\sim$50 m in radius is derived.