title: Understanding the interplay between social and spatial behaviour

abstract: According to personality psychology, personality traits determine many aspects of human behaviour. However, validating this insight in large groups has been challenging so far, due to the scarcity of multi-channel data. Here, we focus on the relationship between mobility and social behaviour by analysing trajectories and mobile phone interactions of $\sim 1,000$ individuals from two high-resolution longitudinal datasets. We identify a connection between the way in which individuals explore new resources and exploit known assets in the social and spatial spheres. We show that different individuals balance the exploration-exploitation trade-off in different ways and we explain part of the variability in the data by the big five personality traits. We point out that, in both realms, extraversion correlates with the attitude towards exploration and routine diversity, while neuroticism and openness account for the tendency to evolve routine over long time-scales. We find no evidence for the existence of classes of individuals across the spatio-social domains. Our results bridge the fields of human geography, sociology and personality psychology and can help improve current models of mobility and tie formation.


title: SDSS J211852.96-073227.5: a new {\gamma}-ray flaring narrow-line Seyfert 1 galaxy

abstract: We report on the identification of a new {\gamma}-ray-emitting narrow-line Seyfert 1 (NLS1) galaxy, SDSS J211852.96-073227.5 (hereinafter J2118-0732). The galaxy, at a redshift of 0.26, is associated with a radio source of flat/inverted spectrum at high radio frequencies. The analysis of its optical spectrum obtained in the Sloan Digital Sky Survey (SDSS) revealed a small linewidth of the broad component of the H{\beta} line (full width at half-maximum = 1585 km s^{-1}), making it a radio-loud NLS1 galaxy -- an intriguing class of active galactic nuclei with exceptional multiwavelength properties. A new {\gamma}-ray source centred at J2118-0732 was sporadically detected during 2009--2013 in form of flares by the Fermi-LAT. Our XMM-Newton observations revealed a flat X-ray spectrum described by a simple power law, and a flux variation by a factor of ~2.5 in five months. The source also shows intraday variability in the infrared band. Its broad-band spectral energy distribution can be modelled by emission from a simple one-zone leptonic jet model, and the flux drop from infrared to X-rays in five months can be explained by changes of the jet parameters, though the exact values may be subject to relatively large uncertainties. With the NLS1-blazar composite nucleus, the clear detection of the host galaxy, and the synchronous variations in the multiwavelength fluxes, J2118-0732 provides a new perspective on the formation and evolution of relativistic jets under the regime of relatively small black hole masses and high accretion rates.


title: Resolvability on Continuous Alphabets

abstract: We characterize the resolvability region for a large class of point-to-point channels with continuous alphabets. In our direct result, we prove not only the existence of good resolvability codebooks, but adapt an approach based on the Chernoff-Hoeffding bound to the continuous case showing that the probability of drawing an unsuitable codebook is doubly exponentially small. For the converse part, we show that our previous elementary result carries over to the continuous case easily under some mild continuity assumption.


title: An extreme magneto-ionic environment associated with the fast radio burst source FRB 121102

abstract: Fast radio bursts (FRBs) are millisecond-duration, extragalactic radio flashes of unknown physical origin. FRB 121102, the only known repeating FRB source, has been localized to a star-forming region in a dwarf galaxy at redshift z = 0.193, and is spatially coincident with a compact, persistent radio source. The origin of the bursts, the nature of the persistent source, and the properties of the local environment are still debated. Here we present bursts that show ~100% linearly polarized emission at a very high and variable Faraday rotation measure in the source frame: RM_src = +1.46 x 10^5 rad m^-2 and +1.33 x 10^5 rad m^-2 at epochs separated by 7 months, in addition to narrow (< 30 mus) temporal structure. The large and variable rotation measure demonstrates that FRB 121102 is in an extreme and dynamic magneto-ionic environment, while the short burst durations argue for a neutron star origin. Such large rotation measures have, until now, only been observed in the vicinities of massive black holes (M_BH > 10^4 MSun). Indeed, the properties of the persistent radio source are compatible with those of a low-luminosity, accreting massive black hole. The bursts may thus come from a neutron star in such an environment. However, the observed properties may also be explainable in other models, such as a highly magnetized wind nebula or supernova remnant surrounding a young neutron star.


title: Connecting Particle Physics and Cosmology: Measuring the Dark Matter Relic Density in Compressed Supersymmetry at the LHC

abstract: The identity of Dark Matter (DM) is one of the most captivating topics in particle physics today. The R-parity conserving Minimal Supersymmetric Standard Model (MSSM), which naturally provides a DM candidate in the form of the lightest neutralino ($\tilde{\chi}_{1}^{0}$), is used as a benchmark scenario to show that a measurement of $\Omega_{\tilde{\chi}_{1}^{0}}h^{2}$ can be achieved from measurements at the CERN Large Hadron Collider. Focus is placed on compressed mass spectra regions, where the mass difference between the $\tilde{\chi}_{1}^{0}$ and the $\tilde{\tau}_{1}$ is small and where the $\tilde{\tau}_{1}$-$\tilde{\chi}_{1}^{0}$ coannihilation (CA) mechanism of the early Universe plays an important role. The technique for measuring $\Omega_{\tilde{\chi}_{1}^{0}}h^{2}$ relies on two proposed searches for compressed Supersymmetry (SUSY): 1) production via Vector Boson Fusion (VBF) processes; and 2) production with associated energetic jets from initial state radiation (ISR). These approaches allow for the determination of the relic abundance at the LHC for any model where CA is an important DM reduction mechanism in the early Universe. Thus, it is possible to confirm that the DM we observe today were $\tilde{\chi}_{1}^{0}$'s created in the early Universe. We show that from measurements in the VBF and ISR SUSY searches at the LHC, the dark matter relic density can be measured with an uncertainty of 25\% with 3000 fb$^{-1}$ of 13 TeV proton-proton data.


title: Invariant Generation for Multi-Path Loops with Polynomial Assignments

abstract: Program analysis requires the generation of program properties expressing conditions to hold at intermediate program locations. When it comes to programs with loops, these properties are typically expressed as loop invariants. In this paper we study a class of multi-path program loops with numeric variables, in particular nested loops with conditionals, where assignments to program variables are polynomial expressions over program variables. We call this class of loops extended P-solvable and introduce an algorithm for generating all polynomial invariants of such loops. By an iterative procedure employing Gr\"obner basis computation, our approach computes the polynomial ideal of the polynomial invariants of each program path and combines these ideals sequentially until a fixed point is reached. This fixed point represents the polynomial ideal of all polynomial invariants of the given extended P-solvable loop. We prove termination of our method and show that the maximal number of iterations for reaching the fixed point depends linearly on the number of program variables and the number of inner loops. In particular, for a loop with m program variables and r conditional branches we prove an upper bound of m*r iterations. We implemented our approach in the Aligator software package. Furthermore, we evaluated it on 18 programs with polynomial arithmetic and compared it to existing methods in invariant generation. The results show the efficiency of our approach.


title: The Complexity of Learning Acyclic Conditional Preference Networks

abstract: Learning of user preferences, as represented by, for example, Conditional Preference Networks (CP-nets), has become a core issue in AI research. Recent studies investigate learning of CP-nets from randomly chosen examples or from membership and equivalence queries. To assess the optimality of learning algorithms as well as to better understand the combinatorial structure of classes of CP-nets, it is helpful to calculate certain learning-theoretic information complexity parameters. This article focuses on the frequently studied case of learning from so-called swap examples, which express preferences among objects that differ in only one attribute. It presents bounds on or exact values of some well-studied information complexity parameters, namely the VC dimension, the teaching dimension, and the recursive teaching dimension, for classes of acyclic CP-nets. We further provide algorithms that learn tree-structured and general acyclic CP-nets from membership queries. Using our results on complexity parameters, we assess the optimality of our algorithms as well as that of another query learning algorithm for acyclic CP-nets presented in the literature. Our algorithms are near-optimal, and can, under certain assumptions, be adapted to the case when the membership oracle is faulty.


title: Discrete Hodge star operator on 3-manifolds

abstract: Scott Wilson introduced the notion of combinatorial Hodge star operators on a compact oriented triangulated manifold $M$, which act on the singular cohomology ring of $M$. Such an operator depends on both a triangulation $\mathscr K$ of $M$ and a metric on the simplicial cochain complex of $\mathscr K$. Taking the discrete metric, we arrive at the notion of the discrete Hodge star operator for each pair $(M,\mathscr K)$. We prove, when $M$ is a $3$-manifold, that the discrete Hodge star operators acting on the cuspidal cohomology groups $H^i_\mathrm{cusp}(M,\mathbb Q)$ are independent of $\mathscr K$ for $i=1,2$. As an application, we construct a canonical positive definite symmetric quadratic form on $H^i_\mathrm{cusp}(M,\mathbb Q)$ for $i=1,2$. On the other hand, we will interpret our result from a point of view on the Langlands Program; we provide a supporting evidence for the conjecture of Prasanna and Venkatesh, which predicts a degree-shifting action of a motivic cohomology group on the cohomology ring of an arithmetic group.


title: The test case of HD26965: difficulties disentangling weak Doppler signals from stellar activity

abstract: We report the discovery of a radial velocity signal that can be interpreted as a planetary-mass candidate orbiting the K dwarf HD26965, with an orbital period of 42.364$\pm$0.015 days, or alternatively, as the presence of residual, uncorrected rotational activity in the data. Observations include data from HIRES, PFS, CHIRON, and HARPS, where 1,111 measurements were made over 16 years. Our best solution for HD26965 $b$ is consistent with a super-Earth that has a minimum mass of 6.92$\pm$0.79 M$_{\oplus}$ orbiting at a distance of 0.215$\pm$0.008 AU from its host star. We have analyzed the correlation between spectral activity indicators and the radial velocities from each instrument, showing moderate correlations that we include in our model. From this analysis, we recover a $\sim$38 day signal, which matches some literature values of the stellar rotation period. However, from independent Mt. Wilson HK data for this star, we find evidence for a significant 42 day signal after subtraction of longer period magnetic cycles, casting doubt on the planetary hypothesis for this period. Although our statistical model strongly suggests that the 42-day signal is Doppler in origin, we conclude that the residual effects of stellar rotation are difficult to fully model and remove from this dataset, highlighting the difficulties to disentangle small planetary signals and photospheric noise, particularly when the orbital periods are close to the rotation period of the star. This study serves as an excellent test case for future works that aim to detect small planets orbiting `Sun-like' stars using radial velocity measurements.


title: Activation assessment of the soil around the ESS accelerator tunnel

abstract: Activation of the soil surrounding the ESS accelerator tunnel calculated by the MARS15 code is presented. A detailed composition of the soil, that comprises about 30 different chemical elements, is considered. Spatial distributions of the produced activity are provided in both transverse and longitudinal direction. A realistic irradiation profile for the entire planned lifetime of the facility is used. The nuclear transmutation and decay of the produced radionuclides is calculated with the DeTra code which is a built-in tool for the MARS15 code. Radionuclide production by low-energy neutrons is calculated using the ENDF/B-VII evaluated nuclear data library. In order to estimate quality of this activation assessment, a comparison between calculated and measured activation of various foils in a similar radiation environment is presented.


title: Extremal $G$-free induced subgraphs of Kneser graphs

abstract: The Kneser graph ${\rm KG}_{n,k}$ is a graph whose vertex set is the family of all $k$-subsets of $[n]$ and two vertices are adjacent if their corresponding subsets are disjoint. The classical Erd\H{o}s-Ko-Rado theorem determines the cardinality and structure of a maximum induced $K_2$-free subgraph in ${\rm KG}_{n,k}$. As a generalization of the Erd\H{o}s-Ko-Rado theorem, Erd\H{o}s proposed a conjecture about the maximum order of an induced $K_{s+1}$-free subgraph of ${\rm KG}_{n,k}$. As the best known result concerning this conjecture, Frankl [Journal of Combinatorial Theory, Series A, 2013], when $n\geq(2s+1)k-s$, gave an affirmative answer to this conjecture and also determined the structure of such a subgraph. In this paper, generalizing the Erd\H{o}s-Ko-Rado theorem and the Erd{\H o}s matching conjecture, we consider the problem of determining the structure of a maximum family $\mathcal{A}$ for which ${\rm KG}_{n,k}[\mathcal{A}]$ has no subgraph isomorphic to a given graph $G$. In this regard, we determine the size and the structure of such a family provided that $n$ is sufficiently large with respect to $G$ and $k$. Furthermore, for the case $G=K_{1,t}$, we present a Hilton-Milner type theorem regarding above-mentioned problem, which specializes to an improvement of a result by Gerbner et al. [SIAM Journal on Discrete Mathematics, 2012].


title: Influence of topology in the mobility enhancement of pulse-coupled oscillator synchronization

abstract: In this work we revisit the nonmonotonic behavior (NMB) of synchronization time with velocity reported for systems of mobile pulse-coupled oscillators (PCOs). We devise a control parameter that allows us to predict in which range of velocities NMB may occur, also uncovering the conditions allowing us to establish the emergence of NMB based on specific features of the connectivity rule. Specifically, our results show that if the connectivity rule is such that the interaction patterns are sparse and, more importantly, include a large fraction of non reciprocal interactions, then the system will display NMB. We furthermore provide a microscopic explanation relating the presence of such features of the connectivity patterns to the existence of local clusters unable to synchronize, termed frustrated clusters, for which we also give a precise definition in terms of simple graph concepts. We conclude that, if the probability of finding a frustrated cluster in a system of moving PCOs is high enough, NMB occurs in a predictable range of velocities.


title: Transition in swimming direction in a model self-propelled inertial swimmer

abstract: We propose a reciprocal, self-propelled model swimmer at intermediate Reynolds numbers ($Re$). Our swimmer consists of two unequal spheres that oscillate in antiphase generating nonlinear steady streaming (SS) flows. We show computationally that the SS flows enable the swimmer to propel itself, and also switch direction as $Re$ increases. We quantify the transition in the swimming direction by collapsing our data on a critical $Re$ and show that the transition in swimming directions corresponds to the reversal of the SS flows. Based on our findings, we propose that SS can be an important physical mechanism for motility at intermediate $Re$.


title: Timely Status Update in Massive IoT Systems: Decentralized Scheduling for Wireless Uplinks

abstract: In a typical Internet of Things (IoT) application where a central controller collects status updates from multiple terminals, e.g., sensors and monitors, through a wireless multiaccess uplink, an important problem is how to attain timely status updates autonomously. In this paper, the timeliness of the status is measured by the recently proposed age-of-information (AoI) metric; both the theoretical and practical aspects of the problem are investigated: we aim to obtain a scheduling policy with minimum AoI and, meanwhile, still suitable for decentralized implementation on account of signalling exchange overhead. Towards this end, we first consider the set of arrival-independent and renewal (AIR) policies; the optimal policy thereof to minimize the time-average AoI is proved to be a round-robin policy with one-packet (latest packet only and others are dropped) buffers (RR-ONE). The optimality is established based on a generalized Poisson-arrival-see-time-average (PASTA) theorem. It is further proved that RR-ONE is asymptotically optimal among all policies in the massive IoT regime. The AoI steady-state stationary distribution under RR-ONE is also derived. A fully decentralized implementation of RR-ONE is proposed which can accommodate dynamic terminal appearances. In addition, considering scenarios where packets cannot be dropped, the optimal AIR policy thereof is also found with parameters given by the solution to a convex problem.


title: Structured objects in quantum gravity. The external field approximation

abstract: In the external field approximation (EFA) gravity and inertia are represented by a two-point vector that is the byproduct of symmetry breaking. The vector is accompanied by the appearance of classical, vortical structures. Its interaction range is, in general, that of the metric tensor, but, in the context of a simple symmetry breaking model, the range can be made finite by the presence of massive scalar particles. Vortices can then be produced that conceal matter making it effectively "dark". In EFA fermion relativistic vortices can be induced, in particular, by rotation.


title: The Gamow-state description of the decay energy spectrum of neutron-unbound $^{25}$O

abstract: We show the feasibility of calculating the decay energy spectrum of neutron emitting nuclei within the Gamow-state description of resonances by obtaining the decay energy spectrum of $^{25}$O. We model this nucleus as a valence neutron interacting with an $^{24}$O inert core, and we obtain the resulting resonant energies, widths and decay energy spectra for the ground and first excited states. We also discuss the similarities and differences between the decay energy spectrum of a Gamow state and the Breit-Wigner distribution with energy-dependent width.


title: Solving Dynamic Discrete Choice Models: Integrated or Expected Value Function?

abstract: Dynamic Discrete Choice Models (DDCMs) are important in the structural estimation literature. Since the structural errors are practically always continuous and unbounded in nature, researchers often use the expected value function. The idea to solve for the expected value function made solution more practical and estimation feasible. However, as we show in this paper, the expected value function is impractical compared to an alternative: the integrated (ex ante) value function. We provide brief descriptions of the inefficacy of the former, and benchmarks on actual problems with varying cardinality of the state space and number of decisions. Though the two approaches solve the same problem in theory, the benchmarks support the claim that the integrated value function is preferred in practice.


title: Efficient Quantum Measurement Engine

abstract: We propose quantum engines powered entirely by the quantum measurement process. Our theoretical construction of the engine requires no work from the system Hamiltonian, and takes energy only from the process of observation to move a particle against a force. We present results for the work done and the efficiency for different values of the engine parameters. Feedback is required for optimal performance. We find that unit efficiency can be approached when one measurement outcome prepares the initial state of the next engine cycle, while the other outcomes leave the original state nearly unchanged.


title: An innovative technique for the investigation of the 4-fold forbidden beta-decay of $^{50}$V

abstract: For the first time a Vanadium-based crystal was operated as cryogenic particle detector. The scintillating low temperature calorimetric technique was used for the characterization of a 22 g YVO$_4$ crystal aiming at the investigation of the 4-fold forbidden non-unique $\beta^-$ decay of $^{50}$V. The excellent bolometric performance of the compound together with high light output of the crystal makes it an outstanding technique for the study of such elusive rate process. The internal radioactive contaminations of the crystal are also investigated showing that an improvement on the current status of material selection and purification are needed, $^{235/238}$U and $^{232}$Th are measured at the level of 28 mBq/kg, 1.3 Bq/kg and 28 mBq/kg, respectively. In this work, we also discuss a future upgrade of the experimental set-up which may pave the road for the detection of the rare $^{50}$V $\beta^-$ decay.


title: Dynamics and Shocks from H$\alpha$ Emission of Nearby Galaxy Mergers

abstract: We examine the dynamical properties of interacting galaxies and the properties of shocked gas produced as a result of the interaction. We observed 22 galaxy mergers using the SparsePak IFU at Kitt Peak National Observatory (KPNO). The goal of the observations was to obtain the \ha\ velocity maps over the entire luminous parts of the galaxies including the faint tidal tails and to find extended shocks and outflows. Our sample consists of major and minor galaxy mergers with mass ratios $1<\mu<8$. We fit multiple kinematic components to the \ha\ and \nii\ emission lines, develop an MCMC code to robustly estimate the error of fit parameters, and use the F-test to determine the best number of kinematic components for each fiber. We use \nii/\ha\ and velocity dispersion of components to separate star-forming (HII) regions from shocks. We use the kinematics of the \ha\ emission from HII regions and an automated modeling method to put the first-ever constraints on the encounter parameters of one of the observed systems. Besides, we roughly estimate the fraction of shocked \ha\ emission , $\text{f}_\text{shocked}$, without taking extinction into account and examine the spatial distribution of shocks. We find that close galaxy pairs have, on average, a higher shock fraction than wide pairs, and coalesced mergers have the highest average $\text{f}_\text{shocked}$. In addition, galaxy pairs with more equal mass ratio tend to have a higher $\text{f}_\text{shocked}$. Combining the dynamical models from the literature and this work, we inspect trends between $\text{f}_\text{shocked}$ and dynamical encounter parameters. Our findings are generally consistent with shocks being produced either by the direct collision of the ISM or by the chain of events provoked by the tidal impulse during the first passage.


title: Zeta-regularization and the heat-trace on some compact quantum semigroups

abstract: Heat-invariants are a class of spectral invariants of Laplace-type operators on compact Riemannian manifolds that contain information about the geometry of the manifold, e.g., the metric and connection. Since Brownian motion solves the heat equation, these invariants can be obtained studying Brownian motion on manifolds. In this article, we consider Brownian motion on the Toeplitz algebra, discrete Heisenberg group algebras, and non-commutative tori to define Laplace-type operators and heat-semigroups on these C*-bialgebras. We show that their traces can be $\zeta$-regularized and compute "heat-traces" on these algebras, giving us a notion of dimension and volume. Furthermore, we consider $SU_q(2)$ which does not have a Brownian motion but a class of driftless Gaussians which still recover the dimension of $SU_q(2)$.


title: Fully-Coupled Two-Stream Spatiotemporal Networks for Extremely Low Resolution Action Recognition

abstract: A major emerging challenge is how to protect people's privacy as cameras and computer vision are increasingly integrated into our daily lives, including in smart devices inside homes. A potential solution is to capture and record just the minimum amount of information needed to perform a task of interest. In this paper, we propose a fully-coupled two-stream spatiotemporal architecture for reliable human action recognition on extremely low resolution (e.g., 12x16 pixel) videos. We provide an efficient method to extract spatial and temporal features and to aggregate them into a robust feature representation for an entire action video sequence. We also consider how to incorporate high resolution videos during training in order to build better low resolution action recognition models. We evaluate on two publicly-available datasets, showing significant improvements over the state-of-the-art.


title: A Brain-Inspired Trust Management Model to Assure Security in a Cloud based IoT Framework for Neuroscience Applications

abstract: Rapid popularity of Internet of Things (IoT) and cloud computing permits neuroscientists to collect multilevel and multichannel brain data to better understand brain functions, diagnose diseases, and devise treatments. To ensure secure and reliable data communication between end-to-end (E2E) devices supported by current IoT and cloud infrastructure, trust management is needed at the IoT and user ends. This paper introduces a Neuro-Fuzzy based Brain-inspired trust management model (TMM) to secure IoT devices and relay nodes, and to ensure data reliability. The proposed TMM utilizes node behavioral trust and data trust estimated using Adaptive Neuro-Fuzzy Inference System and weighted-additive methods respectively to assess the nodes trustworthiness. In contrast to the existing fuzzy based TMMs, the NS2 simulation results confirm the robustness and accuracy of the proposed TMM in identifying malicious nodes in the communication network. With the growing usage of cloud based IoT frameworks in Neuroscience research, integrating the proposed TMM into the existing infrastructure will assure secure and reliable data communication among the E2E devices.


title: On the roots of Wiener polynomials of graphs

abstract: The Wiener polynomial of a connected graph $G$ is defined as $W(G;x)=\sum x^{d(u,v)}$, where $d(u,v)$ denotes the distance between $u$ and $v$, and the sum is taken over all unordered pairs of distinct vertices of $G$. We examine the nature and location of the roots of Wiener polynomials of graphs, and in particular trees. We show that while the maximum modulus among all roots of Wiener polynomials of graphs of order $n$ is $\binom{n}{2}-1$, the maximum modulus among all roots of Wiener polynomials of trees of order $n$ grows linearly in $n$. We prove that the closure of the collection of real roots of Wiener polynomials of all graphs is precisely $(-\infty, 0]$, while in the case of trees, it contains $(-\infty, -1]$. Finally, we demonstrate that the imaginary parts and (positive) real parts of roots of Wiener polynomials can be arbitrarily large.


title: Multi-Task Spatiotemporal Neural Networks for Structured Surface Reconstruction

abstract: Deep learning methods have surpassed the performance of traditional techniques on a wide range of problems in computer vision, but nearly all of this work has studied consumer photos, where precisely correct output is often not critical. It is less clear how well these techniques may apply on structured prediction problems where fine-grained output with high precision is required, such as in scientific imaging domains. Here we consider the problem of segmenting echogram radar data collected from the polar ice sheets, which is challenging because segmentation boundaries are often very weak and there is a high degree of noise. We propose a multi-task spatiotemporal neural network that combines 3D ConvNets and Recurrent Neural Networks (RNNs) to estimate ice surface boundaries from sequences of tomographic radar images. We show that our model outperforms the state-of-the-art on this problem by (1) avoiding the need for hand-tuned parameters, (2) extracting multiple surfaces (ice-air and ice-bed) simultaneously, (3) requiring less non-visual metadata, and (4) being about 6 times faster.


title: Asymptotics for the Ginzburg-Landau equation on manifolds with boundary under homogeneous Neumann condition

abstract: On a compact manifold $M^{n}$ ($n\geq 3$) with boundary, we study the asymptotic behavior as $\epsilon$ tends to zero of solutions $u_{\epsilon}: M \to \mathbb{C}$ to the equation $\Delta u_{\epsilon} + \epsilon^{-2}(1 - |u_{\epsilon}|^{2})u_{\epsilon} = 0$ with the boundary condition $\partial_{\nu}u_{\epsilon} = 0$ on $\partial M$. Assuming an energy upper bound on the solutions and a convexity condition on $\partial M$, we show that along a subsequence, the energy of $\{u_{\epsilon}\}$ breaks into two parts: one captured by a harmonic $1$-form $\psi$ on $M$, and the other concentrating on the support of a rectifiable $(n-2)$-varifold $V$ which is stationary with respect to deformations preserving $\partial M$. Examples are given which shows that $V$ could vanish altogether, or be non-zero but supported only on $\partial M$.


title: Asymptotic Properties for Markovian Dynamics in Quantum Theory and General Probabilistic Theories

abstract: We address asymptotic decoupling in the context of Markovian quantum dynamics. Asymptotic decoupling is an asymptotic property on a bipartite quantum system, and asserts that the correlation between two quantum systems is broken after a sufficiently long time passes. The first goal of this paper is to show that asymptotic decoupling is equivalent to local mixing which asserts the convergence to a unique stationary state on at least one quantum system. In the study of Markovian dynamics, mixing and ergodicity are fundamental properties which assert the convergence and the convergence of the long-time average, respectively. The second goal of this paper is to show that mixing for dynamics is equivalent to ergodicity for the two-fold tensor product of dynamics. This equivalence gives us a criterion of mixing that is a system of linear equations. All results in this paper are proved in the framework of general probabilistic theories (GPTs), but we also summarize them in quantum theory.


title: Average Power and $\lambda$-power in Multiple Testing Scenarios when the Benjamini-Hochberg False Discovery Rate Procedure is Used

abstract: We discuss several approaches to defining power in studies designed around the Benjamini-Hochberg (BH) false discovery rate (FDR) procedure. We focus primarily on the \textit{average power} and the $\lambda$-\textit{power}, which are the expected true positive fraction and the probability that the true positive fraction exceeds $\lambda$, respectively. We prove results concerning strong consistency and asymptotic normality for the positive call fraction (PCF), the true positive fraction (TPF) and false discovery fraction (FDF). Convergence of their corresponding expected values, including a convergence result for the average power, follow as a corollaries. After reviewing what is known about convergence in distribution of the errors of the plugin procedure, (Genovese, 2004), we prove central limit theorems for fully empirical versions of the PCF, TPF, and FDF, using a result for stopped stochastic processes. The central limit theorem (CLT) for the TPF is used to obtain an approximate expression for the $\lambda$-power, while the CLT for the FDF is used to introduce an approximate procedure for determining a suitably small nominal FDR that results in a speicified bound on the FDF with stipulated high probability. The paper also contains the results of a large simulation study covering a fairly substantial portion of the space of possible inputs encountered in application of the results in the design of a biomarker study, a micro-array experiment and a GWAS study.


title: Advances in our understanding of the free precession candidate PSR B1828-11

abstract: We highlight the advances and difficulties in understanding PSR B1828-11, which undergoes long-term periodic modulations in its timing and pulse shape over several years. A model comparison of precession and magnetospheric switching models based on the long-term modulation data favours the former; we discuss the implications of this in the context of short timescale switching observed in this pulsar. Furthermore, we highlight the difficulties this pulsar poses for our understanding of pulsars due to the increasing rate of the modulation period and its behaviour during a recent glitch.


title: Hall Effect in the coma of 67P/Churyumov-Gerasimenko

abstract: Magnetohydrodynamics simulations have been carried out in studying the solar wind and cometary plasma interactions for decades. Various plasma boundaries have been simulated and compared well with observations for comet 1P/Halley. The Rosetta mission, which studies comet 67P/Churyumov-Gerasimenko, challenges our understanding of the solar wind and comet interactions. The Rosetta Plasma Consortium observed regions of very weak magnetic field outside the predicted diamagnetic cavity. In this paper, we simulate the inner coma with the Hall magnetohydrodynamics equations and show that the Hall effect is important in the inner coma environment. The magnetic field topology becomes complex and magnetic reconnection occurs on the dayside when the Hall effect is taken into account. The magnetic reconnection on the dayside can generate weak magnetic filed regions outside the global diamagnetic cavity, which may explain the Rosetta Plasma Consortium observations. We conclude that the substantial change in the inner coma environment is due to the fact that the ion inertial length (or gyro radius) is not much smaller than the size of the diamagnetic cavity.


title: A relative bicommutant theorem: the stable case of Pedersen's question

abstract: In 1976, D. Voiculescu proved that every separable unital sub-C*-algebra of the Calkin algebra is equal to its (relative) bicommutant. In his minicourse (see reference), G. Pedersen asked in 1988 if Voiculescu's theorem can be extended to a simple corona algebra of a $\sigma$-unital C*-algebra. In this note, we answer Pedersen's question for a stable $\sigma$-unital C*-algebra.


title: Survival Function Analysis of Planet Size Distribution

abstract: Applying the survival function analysis to the planet radius distribution of the Kepler exoplanet candidates, we have identified two natural divisions of planet radius at 4 Earth radii and 10 Earth radii. These divisions place constraints on planet formation and interior structure model. The division at 4 Earth radii separates small exoplanets from large exoplanets above. When combined with the recently-discovered radius gap at 2 Earth radii, it supports the treatment of planets 2-4 Earth radii as a separate group, likely water worlds. Thus, for planets around solar-type FGK main-sequence stars, we argue that 2 Earth radii is the separation between water-poor and water-rich planets, and 4 Earth radii is the separation between gas-poor and gas-rich planets. We confirm that the slope of survival function in between 4 and 10 Earth radii to be shallower compared to either ends, indicating a relative paucity of planets in between 4-10 Earth radii, namely, the sub-Saturnian desert there. We name them transitional planets, as they form a bridge between the gas-poor small planets and gas giants. Accordingly, we propose the following classification scheme: (<2 Earth radii) rocky planets, (2-4 Earth radii) water worlds, (4-10 Earth radii) transitional planets, and (>10 Earth radii) gas giants.


title: Survival Function Analysis of Planet Orbit Distribution and Occurrence Rate Estimate

abstract: Applying survival function analysis to the planet orbital period (P) and semi-major axis (a) distribution from the Kepler sample, we find that all exoplanets are uniformly distributed in (ln a) or (ln P), with an average inner cut-off of 0.05 AU to the host star. More specifically, this inner cut-off is 0.04 AU for rocky worlds (1-2 Earth radii) and 0.08 AU for water worlds (2-4 Earth radii). Moreover, the transitional planets (4-10 Earth radii) and gas giants (>10 Earth radii) have a change of slope of survival function at 0.4 AU from -1 to -1/2, suggesting a different statistical distribution uniform in \Sqrt[a] inside 0.4 AU, compared to small exoplanets (<4 Earth radii). This difference in distribution is likely caused by the difference in planet migration mechanism, and susceptibility to host stellar irradiation, for gas-poor (<4 Earth radii) versus gas-rich (>4 Earth radii) planets. Armed with this knowledge and combined with the survival function analysis of planet size distribution, we can make precise estimates of planet occurrence rate and predict the TESS mission yield.


title: 2-cycles sur les hypersurfaces cubiques de dimension 5

abstract: On \'etudie les cycles alg\'ebriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on d\'emontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 alg\'ebriquement equivalents \`a z\'ero et sa jacobienne interm\'ediaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between the Chow group of algebraically trivial 2-cycles and the intermediate Jacobian.


title: Noisy Feedback and Loss Unlimited Private Communication

abstract: Alice is transmitting a private message to Bob across a bosonic wiretap channel with the help of a public feedback channel to which all parties, including the fully-quantum equipped Eve, have completely noiseless access. We find that by altering the model such that Eve's copy of the initial round of feedback is corrupted by an iota of noise, one step towards physical relevance, the capacity can be increased dramatically. It is known that the private capacity with respect to the original model for a pure-loss bosonic channel is at most $- \log(1-\eta)$ bits per mode, where $\eta$ is the transmissivity, in the limit of infinite input photon number. This is a very pessimistic result as there is a finite rate limit even with an arbitrarily large number of input photons. We refer to this as a loss limited rate. However, in our altered model we find that we can achieve a rate of $(1/2) \log(1 + 4 \eta N_S)$ bits per mode, where $N_S$ is the input photon number. This rate diverges with $N_S$, in sharp contrast to the result for the original model. This suggests that physical considerations behind the eavesdropping model should be taken more seriously, as they can create strong dependencies of the achievable rates on the model. For by a seemingly inconsequential weakening of Eve, we obtain a loss-unlimited rate. Our protocol also works verbatim for arbitrary i.i.d. noise (not even necessarily Gaussian) injected by Eve in every round, and even if Eve is given access to copies of the initial transmission and noise. The error probability of the protocol decays super-exponentially with the blocklength.


title: Gaia 1 cannot be a Thick Disk Galactic cluster

abstract: In this note I show how the recently suggested membership of the open cluster Gaia 1 to the Galactic thick disk is based on incorrect assumptions about the structure of the disk itself, and neglect well-known observational evidences on the disk warp and flare.


title: Decentralization in Bitcoin and Ethereum Networks

abstract: Blockchain-based cryptocurrencies have demonstrated how to securely implement traditionally centralized systems, such as currencies, in a decentralized fashion. However, there have been few measurement studies on the level of decentralization they achieve in practice. We present a measurement study on various decentralization metrics of two of the leading cryptocurrencies with the largest market capitalization and user base, Bitcoin and Ethereum. We investigate the extent of decentralization by measuring the network resources of nodes and the interconnection among them, the protocol requirements affecting the operation of nodes, and the robustness of the two systems against attacks. In particular, we adapted existing internet measurement techniques and used the Falcon Relay Network as a novel measurement tool to obtain our data. We discovered that neither Bitcoin nor Ethereum has strictly better properties than the other. We also provide concrete suggestions for improving both systems.


title: Connecting optical and X-ray tracers of galaxy cluster relaxation

abstract: Substantial effort has been devoted in determining the ideal proxy for quantifying the morphology of the hot intracluster medium in clusters of galaxies. These proxies, based on X-ray emission, typically require expensive, high-quality X-ray observations making them difficult to apply to large surveys of groups and clusters. Here, we compare optical relaxation proxies with X-ray asymmetries and centroid shifts for a sample of SDSS clusters with high-quality, archival X-ray data from Chandra and XMM-Newton. The three optical relaxation measures considered are: the shape of the member-galaxy projected velocity distribution -- measured by the Anderson-Darling (AD) statistic, the stellar mass gap between the most-massive and second-most-massive cluster galaxy, and the offset between the most-massive galaxy (MMG) position and the luminosity-weighted cluster centre. The AD statistic and stellar mass gap correlate significantly with X-ray relaxation proxies, with the AD statistic being the stronger correlator. Conversely, we find no evidence for a correlation between X-ray asymmetry or centroid shift and the MMG offset. High-mass clusters ($M_\mathrm{halo} > 10^{14.5}\,\mathrm{M_\odot}$) in this sample have X-ray asymmetries, centroid shifts, and Anderson-Darling statistics which are systematically larger than for low-mass systems. Finally, considering the dichotomy of Gaussian and non-Gaussian clusters (measured by the AD test), we show that the probability of being a non-Gaussian cluster correlates significantly with X-ray asymmetry but only shows a marginal correlation with centroid shift. These results confirm the shape of the radial velocity distribution as a useful proxy for cluster relaxation, which can then be applied to large redshift surveys lacking extensive X-ray coverage.


title: Ferromagnetic Quantum Critical Point in CePd$_2$P$_2$ with Pd $\rightarrow$ Ni Substitution

abstract: An investigation of the structural, thermodynamic, and electronic transport properties of the isoelectronic chemical substitution series Ce(Pd$_{1-x}$Ni$_x$)$_2$P$_2$ is reported, where a possible ferromagnetic quantum critical point is uncovered in the temperature - concentration ($T-x$) phase diagram. This behavior results from the simultaneous contraction of the unit cell volume, which tunes the relative strengths of the Kondo and RKKY interactions, and the introduction of disorder through alloying. Near the critical region at $x_{\rm{cr}}$ $\approx$ 0.7, the rate of contraction of the unit cell volume strengthens, indicating that the cerium $f$-valence crosses over from trivalent to a non-integer value. Consistent with this picture, x-ray absorption spectroscopy measurements reveal that while CePd$_2$P$_2$ has a purely trivalent cerium $f$-state, CeNi$_2$P$_2$ has a small ($<$ 10 \%) tetravalent contribution. In a broad region around $x_{\rm{cr}}$, there is a breakdown of Fermi liquid temperature dependences, signaling the influence of quantum critical fluctuations and disorder effects. Measurements of clean CePd$_2$P$_2$ furthermore show that applied pressure has a similar initial effect to alloying on the ferromagnetic order. From these results, CePd$_2$P$_2$ emerges as a keystone system to test theories such as the Belitz-Kirkpatrick-Vojta model for ferromagnetic quantum criticality, where distinct behaviors are expected in the dirty and clean limits.


title: Efficient C-RAN Random Access for IoT Devices: Learning Links via Recommendation Systems

abstract: We focus on C-RAN random access protocols for IoT devices that yield low-latency high-rate active-device detection in dense networks of large-array remote radio heads. In this context, we study the problem of learning the strengths of links between detected devices and network sites. In particular, we develop recommendation-system inspired algorithms, which exploit random-access observations collected across the network to classify links between active devices and network sites across the network. Our simulations and analysis reveal the potential merit of data-driven schemes for such on-the-fly link classification and subsequent resource allocation across a wide-area network.


title: Regularly varying non-stationary Galton--Watson processes with immigration

abstract: We give sufficient conditions on the initial, offspring and immigration distributions under which the distribution of a not necessarily stationary Galton--Watson process with immigration is regularly varying at any fixed time.


title: Some techniques in density estimation

abstract: Density estimation is an interdisciplinary topic at the intersection of statistics, theoretical computer science and machine learning. We review some old and new techniques for bounding the sample complexity of estimating densities of continuous distributions, focusing on the class of mixtures of Gaussians and its subclasses. In particular, we review the main techniques used to prove the new sample complexity bounds for mixtures of Gaussians by Ashtiani, Ben-David, Harvey, Liaw, Mehrabian, and Plan arXiv:1710.05209.


title: Short arc orbit determination and imminent impactors in the Gaia era

abstract: Short-arc orbit determination is crucial when an asteroid is first discovered. In these cases usually the observations are so few that the differential correction procedure may not converge. We have developed an initial orbit computation method, based on the systematic ranging, an orbit determination techniques which systematically explores a raster in the topocentric range and range-rate space region inside the admissible region. We obtain a fully rigorous computation of the probability for the asteroid that could impact the Earth within few days from the discovery, without any a priori assumption. We test our method on the two past impactors 2008 TC3 and 2014 AA, on some very well known cases, and on two particular objects observed by the ESA Gaia mission.


title: Minimax Optimality of Sign Test for Paired Heterogeneous Data

abstract: Comparing two groups under different conditions is ubiquitous in the biomedical sciences. In many cases, samples from the two groups can be naturally paired; for example a pair of samples may come from the same individual under the two conditions. However samples across different individuals may be highly heterogeneous. Traditional methods often ignore such heterogeneity by assuming the samples are identically distributed. In this work, we study the problem of comparing paired heterogeneous data by modeling the data as Gaussian distributed with different parameters across the samples. We show that in the minimax setting where we want to maximize the worst-case power, the sign test, which only uses the signs of the differences between the paired sample, is optimal in the one-sided case and near optimal in the two-sided case. The superiority of the sign test over other popular tests for paired heterogeneous data is demonstrated using both synthetic data and a real-world RNA-Seq dataset.


title: Blind quantum computation using the central spin Hamiltonian

abstract: Blindness is a desirable feature in delegated computation. In the classical setting, blind computations protect the data or even the program run by a server. In the quantum regime, blind computing may also enable testing computational or other quantum properties of the server system. Here we propose a scheme for universal blind quantum computation using a quantum simulator capable of emulating Heisenberg-like Hamiltonians. Our scheme is inspired by the central spin Hamiltonian in which a single spin controls dynamics of a number of bath spins. We show how, by manipulating this spin, a client that only accesses the central spin can effectively perform blind computation on the bath spins. Remarkably, two-way quantum communication mediated by the central spin is sufficient to ensure security in the scheme. Finally, we provide explicit examples of how our universal blind quantum computation enables verification of the power of the server from classical to stabilizer to full BQP computation.


title: The Moist Greenhouse is Sensitive to Stratospheric Temperature

abstract: In this Research Note, I use my single-column climate model to explicitly show that the moist greenhouse surface temperature threshold is sensitive to stratospheric temperature. I argue that this explains most of the discrepancy between 1-D and recent 3-D computations of the moist greenhouse threshold for M-star planets given that calculated stratospheric (and upper atmospheric) temperatures are higher than what are usually assumed in 1-D calculations. I suggest that collaborations between the two sets of modelers would lead to greater understanding of the moist greenhouse threshold. I also discuss implications for habitability if high stratospheric temperatures are a common feature on M-star planets near the inner edge.


title: Comorbid CAD and Ventricular Hypertrophy Compromise The Perfusion of Myocardial Tissue at Subcritical Stenosis of Epicardial Coronaries

abstract: BACKGROUND: Most studies of CAD revascularization have been based on and reported according to angiographic criteria which don't consider the relation between the resulting effective flow distal to the stenosis and the demand of a hypertrophied myocardial tissue. MODEL: Mathematical model of the myocardial perfusion in comorbid CAD and ventricular hypertrophy using Poiseuille's law. The analysis yields that the curve, which represents the relation between the perfusion and the severity of CAD depending on angiographic and/or angiophysiologic criteria, is shifted to the right by the effect of myocardial tissue hypertrophy. The right shift of said curve, which is directly proportional to the degree of ventricular hypertrophy, indicates that the perfusion of the corresponding myocardial tissue is compromised at angiographically and/or angiophysiologically subsignificant stenosis of the supplying epicardial vessel. RESULTS: Patients with comorbid CAD and left ventricular hypertrophy are more sensitive to CAD-related hemodynamic changes. They are more prone to develop ischemic complications, than their peers with isolated CAD regarding the same degree of coronary stenosis. CONCLUSION: Patients with comorbid CAD and ventricular hypertrophy suffer from myocardial hypoperfusion at angiographically and/or angiophysiologically subcritical epicardial stenosis. Accordingly; the comorbidity of both diseases should be considered upon designing of the treatment regime.


title: $C^1$ actions on manifolds by lattices in Lie groups

abstract: In this paper we study Zimmer's conjecture for $C^1$ actions of lattice subgroup of a higher-rank simple Lie group with finite center on compact manifolds. We show that when the rank of an uniform lattice is larger than the dimension of the manifold, then the action factors through a finite group. For lattices in $SL(n, \R)$, the dimensional bound is sharp.


title: Adaptive Bit Allocation for OFDM Cognitive Radio Systems with Imperfect Channel Estimation

abstract: Cognitive radios hold tremendous promise for increasing the spectral efficiency of wireless communication systems. In this paper, an adaptive bit allocation algorithm is presented for orthogonal frequency division multiplexing (OFDM) CR systems operating in a frequency selective fading environment. The algorithm maximizes the CR system throughput in the presence of narrowband interference, while guaranteeing a BER below a predefined threshold. The effect of imperfect channel estimation on the algorithm's performance is also studied.


title: Enhancing Underwater Imagery using Generative Adversarial Networks

abstract: Autonomous underwater vehicles (AUVs) rely on a variety of sensors - acoustic, inertial and visual - for intelligent decision making. Due to its non-intrusive, passive nature, and high information content, vision is an attractive sensing modality, particularly at shallower depths. However, factors such as light refraction and absorption, suspended particles in the water, and color distortion affect the quality of visual data, resulting in noisy and distorted images. AUVs that rely on visual sensing thus face difficult challenges, and consequently exhibit poor performance on vision-driven tasks. This paper proposes a method to improve the quality of visual underwater scenes using Generative Adversarial Networks (GANs), with the goal of improving input to vision-driven behaviors further down the autonomy pipeline. Furthermore, we show how recently proposed methods are able to generate a dataset for the purpose of such underwater image restoration. For any visually-guided underwater robots, this improvement can result in increased safety and reliability through robust visual perception. To that effect, we present quantitative and qualitative data which demonstrates that images corrected through the proposed approach generate more visually appealing images, and also provide increased accuracy for a diver tracking algorithm.


title: Non-Rigid Image Registration Using Self-Supervised Fully Convolutional Networks without Training Data

abstract: A novel non-rigid image registration algorithm is built upon fully convolutional networks (FCNs) to optimize and learn spatial transformations between pairs of images to be registered in a self-supervised learning framework. Different from most existing deep learning based image registration methods that learn spatial transformations from training data with known corresponding spatial transformations, our method directly estimates spatial transformations between pairs of images by maximizing an image-wise similarity metric between fixed and deformed moving images, similar to conventional image registration algorithms. The image registration is implemented in a multi-resolution image registration framework to jointly optimize and learn spatial transformations and FCNs at different spatial resolutions with deep self-supervision through typical feedforward and backpropagation computation. The proposed method has been evaluated for registering 3D structural brain magnetic resonance (MR) images and obtained better performance than state-of-the-art image registration algorithms.


title: Brain Age Prediction Based on Resting-State Functional Connectivity Patterns Using Convolutional Neural Networks

abstract: Brain age prediction based on neuroimaging data could help characterize both the typical brain development and neuropsychiatric disorders. Pattern recognition models built upon functional connectivity (FC) measures derived from resting state fMRI (rsfMRI) data have been successfully used to predict the brain age. However, most existing studies focus on coarse-grained FC measures between brain regions or intrinsic connectivity networks (ICNs), which may sacrifice fine-grained FC information of the rsfMRI data. Whole brain voxel-wise FC measures could provide fine-grained FC information of the brain and may improve the prediction performance. In this study, we develop a deep learning method to use convolutional neural networks (CNNs) to learn informative features from the fine-grained whole brain FC measures for the brain age prediction. Experimental results on a large dataset of resting-state fMRI demonstrate that the deep learning model with fine-grained FC measures could better predict the brain age.


title: A Hardware-Friendly Algorithm for Scalable Training and Deployment of Dimensionality Reduction Models on FPGA

abstract: With ever-increasing application of machine learning models in various domains such as image classification, speech recognition and synthesis, and health care, designing efficient hardware for these models has gained a lot of popularity. While the majority of researches in this area focus on efficient deployment of machine learning models (a.k.a inference), this work concentrates on challenges of training these models in hardware. In particular, this paper presents a high-performance, scalable, reconfigurable solution for both training and deployment of different dimensionality reduction models in hardware by introducing a hardware-friendly algorithm. Compared to state-of-the-art implementations, our proposed algorithm and its hardware realization decrease resource consumption by 50\% without any degradation in accuracy.


title: Spatio-Temporal Pricing for Ridesharing Platforms

abstract: Ridesharing platforms match drivers and riders to trips, using dynamic prices to balance supply and demand. A challenge is to set prices that are appropriately smooth in space and time, so that drivers with the flexibility to decide how to work will nevertheless choose to accept their dispatched trips, rather than drive to another area or wait for higher prices or a better trip. In this work, we propose a complete information model that is simple yet rich enough to incorporate spatial imbalance and temporal variations in supply and demand -- conditions that lead to market failures in today's platforms. We introduce the Spatio-Temporal Pricing (STP) mechanism. The mechanism is incentive-aligned, in that it is a subgame-perfect equilibrium for drivers to always accept their trip dispatches. From any history onward, the equilibrium outcome of the STP mechanism is welfare-optimal, envy-free, individually rational, budget balanced, and core-selecting. We also prove the impossibility of achieving the same economic properties in a dominant-strategy equilibrium. Simulation results show that the STP mechanism can achieve substantially improved social welfare and earning equity than a myopic mechanism.


title: Theoretical Impediments to Machine Learning With Seven Sparks from the Causal Revolution

abstract: Current machine learning systems operate, almost exclusively, in a statistical, or model-free mode, which entails severe theoretical limits on their power and performance. Such systems cannot reason about interventions and retrospection and, therefore, cannot serve as the basis for strong AI. To achieve human level intelligence, learning machines need the guidance of a model of reality, similar to the ones used in causal inference tasks. To demonstrate the essential role of such models, I will present a summary of seven tasks which are beyond reach of current machine learning systems and which have been accomplished using the tools of causal modeling.


title: Did William Shakespeare and Thomas Kyd Write Edward III?

abstract: William Shakespeare is believed to be a significant author in the anonymous play, The Reign of King Edward III, published in 1596. However, recently, Thomas Kyd, has been suggested as the primary author. Using a neurolinguistics approach to authorship identification we use a four-feature technique, RPAS, to convert the 19 scenes in Edward III into a multi-dimensional vector. Three complementary analytical techniques are applied to cluster the data and reduce single technique bias before an alternate method, seriation, is used to measure the distances between clusters and test the strength of the connections. We find the multivariate techniques robust and are able to allocate up to 14 scenes to Thomas Kyd, and further question if scenes long believed to be Shakespeare's are not his.


title: Application of a semantic segmentation convolutional neural network for accurate automatic detection and mapping of solar photovoltaic arrays in aerial imagery

abstract: We consider the problem of automatically detecting small-scale solar photovoltaic arrays for behind-the-meter energy resource assessment in high resolution aerial imagery. Such algorithms offer a faster and more cost-effective solution to collecting information on distributed solar photovoltaic (PV) arrays, such as their location, capacity, and generated energy. The surface area of PV arrays, a characteristic which can be estimated from aerial imagery, provides an important proxy for array capacity and energy generation. In this work, we employ a state-of-the-art convolutional neural network architecture, called SegNet (Badrinarayanan et. al., 2015), to semantically segment (or map) PV arrays in aerial imagery. This builds on previous work focused on identifying the locations of PV arrays, as opposed to their specific shapes and sizes. We measure the ability of our SegNet implementation to estimate the surface area of PV arrays on a large, publicly available, dataset that has been employed in several previous studies. The results indicate that the SegNet model yields substantial performance improvements with respect to estimating shape and size as compared to a recently proposed convolutional neural network PV detection algorithm.


title: Spin-isotropic continuum of spin excitations in antiferromagnetically ordered Fe$_{1.07}$Te

abstract: Unconventional superconductivity typically emerges in the presence of quasi-degenerate ground states, and the associated intense fluctuations are likely responsible for generating the superconducting state. Here we use polarized neutron scattering to study the spin space anisotropy of spin excitations in Fe$_{1.07}$Te exhibiting bicollinear antiferromagnetic (AF) order, the parent compound of FeTe$_{1-x}$Se$_x$ superconductors. We confirm that the low energy spin excitations are transverse spin waves, consistent with a local-moment origin of the bicollinear AF order. While the ordered moments lie in the $ab$-plane in Fe$_{1.07}$Te, it takes less energy for them to fluctuate out-of-plane, similar to BaFe$_2$As$_2$ and NaFeAs. At energies above $E\gtrsim20$ meV, we find magnetic scattering to be dominated by an isotropic continuum that persists up to at least 50 meV. Although the isotropic spin excitations cannot be ascribed to spin waves from a long-range ordered local moment antiferromagnet, the continuum can result from the bicollinear magnetic order ground state of Fe$_{1.07}$Te being quasi-degenerate with plaquette magnetic order.


title: An explicit correspondence of modular curves

abstract: In this paper, we recall an alternative proof of Merel's conjecture which asserts that a certain explicit correspondence gives the isogeny relation between the Jacobians associated to the normalizer of split and non-split Cartan subgroups. This alternative proof does not require extensive representation theory and can be formulated in terms of certain finite geometries modulo $\ell$. Secondly, we generalize these arguments to exhibit an explicit correspondence which gives the isogeny relation between the Jacobians associated to split and non-split Cartan subgroups. An interesting feature is that the required explicit correspondence is considerably more complicated but can expressed as a certain linear combination of double coset operators whose coefficients we are able to make explicit.


title: Analyticity of Resonances and Eigenvalues and Spectral Properties of the massless Spin-Boson Model

abstract: We extend the method of multiscale analysis for resonances introduced in [5] in order to infer analytic properties of resonances and eigenvalues (and their eigenprojections) as well as estimates for the localization of the spectrum of dilated Hamiltonians and norm-bounds for the corresponding resolvent operators, in neighborhoods of resonances and eigenvalues. We apply our method to the massless Spin-Boson model assuming a slight infrared regularization. We prove that the resonance and the ground-state eigenvalue (and their eigenprojections) are analytic with respect to the dilation parameter and the coupling constant. Moreover, we prove that the spectrum of the dilated Spin-Boson Hamiltonian in the neighborhood of the resonance and the ground-state eigenvalue is localized in two cones in the complex plane with vertices at the location of the resonance and the ground-state eigenvalue, respectively. Additionally, we provide norm-estimates for the resolvent of the dilated Spin-Boson Hamiltonian near the resonance and the ground-state eigenvalue. The topic of analyticity of eigenvalues and resonances has let to several studies and advances in the past. However, to the best of our knowledge, this is the first time that it is addressed from the perspective of multiscale analysis. Once the multiscale analysis is set up our method gives easy access to analyticity: Essentially, it amounts to proving it for isolated eigenvalues only and use that uniform limits of analytic functions are analytic. The type of spectral and resolvent estimates that we prove are needed to control the time evolution including the scattering regime. The latter will be demonstrated in a forthcoming publication. The introduced multiscale method to study spectral and resolvent estimates follows its own inductive scheme and is independent (and different) from the method we apply to construct resonances.


title: Cognitive Non-Orthogonal Multiple Access with Cooperative Relaying: A New Wireless Frontier for 5G Spectrum Sharing

abstract: Two emerging technologies towards 5G wireless networks, namely non-orthogonal multiple access (NOMA) and cognitive radio (CR), will provide more efficient utilization of wireless spectrum in the future. In this article, we investigate the integration of NOMA with CR into a holistic system, namely cognitive NOMA network, for more intelligent spectrum sharing. Design principles of cognitive NOMA networks are perfectly aligned to functionality requirements of 5G wireless networks, such as high spectrum efficiency, massive connectivity, low latency, and better fairness. Three different cognitive NOMA architectures are presented, including underlay NOMA networks, overlay NOMA networks, and CR-inspired NOMA networks. To address inter- and intra-network interference which largely degrade the performance of cognitive NOMA networks, cooperative relaying strategies are proposed. For each cognitive NOMA architecture, our proposed cooperative relaying strategy shows its potential to significantly lower outage probabilities. Furthermore, we discuss open challenges and future research directions on implementation of cognitive NOMA networks.


title: Relations in the cohomology ring of the moduli space of flat $SO(2n+1)$-connections on a Riemann surface

abstract: We consider the moduli space of flat $SO(2n+1)$-connections (up to gauge transformations) on a Riemann surface, with fixed holonomy around a marked point. There are natural line bundles over this moduli space; we construct geometric representatives for the Chern classes of these line bundles, and prove that the ring generated by these Chern classes vanishes below the dimension of the moduli space, generalising a conjecture of Newstead.


title: Strong amenability and the infinite conjugacy class property

abstract: A group is said to be strongly amenable if each of its proximal topological actions has a fixed point. We show that a finitely generated group is strongly amenable if and only if it is virtually nilpotent. More generally, a countable discrete group is strongly amenable if and only if none of its quotients have the infinite conjugacy class property.


title: Molecular Gas Properties in M83 from CO PDFs

abstract: We have obtained 12CO(1--0) data of the nearby barred spiral galaxy M83 from Atacama Large Millimeter/submillimeter Array and Nobeyama 45m observations. By combining these two data sets, the total CO flux has been recovered, and a high angular resolution (2" corresponding to ~40 pc at the distance of M83) has been achieved. The field of view is 3' corresponding to ~3.4 kpc and covers the galactic center, bar, and spiral arm regions. In order to investigate how these galactic structures affect gas properties, we have created a probability distribution function (PDF) of the CO integrated intensity (I_CO), peak temperature, and velocity dispersion for a region with each structure. We find that the I_CO PDF for the bar shows a bright-end tail while that for the arm does not. Since the star formation efficiency is lower in the bar, this difference in PDF shape is contrary to the trend in Milky Way studies where the bright-end tail is found for star-forming molecular clouds. While the peak temperature PDFs are similar for bar and arm regions, velocity dispersion in bar is systematically larger than in arm. This large velocity dispersion is likely a major cause of the bright-end tail and of suppressed star formation. We also investigate an effect of stellar feedback to PDF profiles and find that the different I_CO PDFs between bar and arm regions cannot be explained by the feedback effect, at least at the current spatial scale.


title: Relational Characterisations of Paths

abstract: Binary relations are one of the standard ways to encode, characterise and reason about graphs. Relation algebras provide equational axioms for a large fragment of the calculus of binary relations. Although relations are standard tools in many areas of mathematics and computing, researchers usually fall back to point-wise reasoning when it comes to arguments about paths in a graph. We present a purely algebraic way to specify different kinds of paths in relation algebras. We study the relationship between paths with a designated root vertex and paths without such a vertex. Since we stay in first-order logic this development helps with mechanising proofs.To demonstrate the applicability of the algebraic framework we verify the correctness of three basic graph algorithms. All results of this paper are formally verified using the interactive proof assistant Isabelle/HOL.


title: A New Continuum-Based Thick Shell Finite Element for Soft Biological Tissues in Dynamics: Part 2 - Anisotropic Hyperelasticity and Incompressibility Aspects

abstract: In a companion article (Part 1), we presented the development of a thick continuum-based (CB) shell finite element (FE) based on Mindlin-Reissner theory. We verified the accuracy, efficiency and locking insensitivity of the element in modeling large 3D deformations, using linear elastic material properties. In the present article, we developed and implemented the kinetics description, within the updated Lagrangian (UL) formulation, of anisotropic incompressible hyperelastic constitutive relations that enable the CB shell FE to accurately model very large 3D strains and deformations. Specifically, we developed the measures of deformation in the lamina coordinate system, presented three techniques to model nonlinear hyperelastic strains, and enabled the direct enforcement of incompressibility and of the zero normal stress condition without using a penalty factor or a Lagrange multiplier. Moving towards the application of the present work to the biomedical realm, we performed multiple experiments concerning mechanical behavior of rubber-like materials and soft biological tissues in different geometries and loading conditions. Excellent agreements between the present FE results and the analytical and/or experimental data proved the CB shell FE combined with the present constitutive techniques to be a highly reliable and efficient tool for modeling, analyzing, and predicting mechanical behavior of soft biological tissues.


title: X-ray quasi-periodic oscillations in Lense--Thirring precession model - I. variability of relativistic continuum

abstract: We develop a Monte-Carlo code to compute the Compton scattered X-ray flux arising from a hot inner flow which undergoes Lense-Thirring precession. The hot flow intercepts seed photons from an outer truncated thin disk. A fraction of the Comptonized photons will illuminate back the disk and the reflected/reprocessed photons will contribute to the observed spectrum. The total spectrum, including disk thermal emission, hot flow Comptonization, and disk reflection, is modelled within the framework of general relativity, taking light-bending and gravitational redshift into account. The simulations are performed in the context of the Lense-Thirring precession model for the low-frequency quasi-periodic oscillations, so the inner flow is assumed to precess, leading to periodic modulation of the emitted radiation. In this work, we concentrate on the energy-dependent X-ray variability of the model and, in particular, on the evolution of the variability during the spectral transition from hard to soft state, which is implemented by the decrease of the truncation radius of the outer disk towards Innermost Stable Circular Orbit (ISCO). In the hard state where the Comptonizing flow is geometrically thick, the Comptonization is weakly variable with the fractional variability amplitude of $\leq$10\%; in the soft state where the Comptonizing flow is cooled down and thus becomes geometrically thin, and the fractional variability of the Comptonization is highly variable, increasing with photon energy. The fractional variability of the reflection increases with energy, and the reflection emission for low spin is counterintuitively more variable than the one for high spin.


title: A New Continuum-Based Thick Shell Finite Element for Soft Biological Tissues in Dynamics: Part 1 - Preliminary Benchmarking Using Classic Verification Experiments

abstract: For the finite element simulation of thin soft biological tissues in dynamics, shell elements, compared to volume elements, can capture the whole tissue thickness at once, and feature larger critical time steps. However, the capabilities of existing shell elements to account for irregular geometries, and hyperelastic, anisotropic 3D deformations characteristic of soft tissues are still limited. As improvement, we developed a new general nonlinear thick continuum-based (CB) shell finite element (FE) based on the Mindlin-Reissner shell theory, with large bending, large distortion and large strain capabilities, embedded in the updated Lagrangian formulation and explicit time integration. We performed numerical benchmark experiments available from the literature that focus on engineering linear elastic materials, which, verified and proved the new thick CB shell FE to: 1) be accurate an efficient 2) be powerful in handling large 3D deformations, curved geometries, 3) accommodate coarse distorted meshes, and 4) achieve comparatively fast computational times. The new element was also insensitive to three types of locking (shear, membrane and volumetric), and warping effects. The capabilities of the present thick CB shell FE in the biomedical realm are illustrated in a companion article (Part 2), in which anisotropic incompressible hyperelastic constitutive relations are implemented and verified.


title: A lower bound for the double slice genus

abstract: In this paper, we develop a lower bound for the double slice genus of a knot using Casson-Gordon invariants. As an application, we show that the double slice genus can be arbitrarily larger than twice the slice genus. As an analogue to the double slice genus, we also define the superslice genus of a knot, and give both an upper bound and a lower bound in the topological category.


title: Mass-accreting white dwarfs and type Ia supernovae

abstract: Type Ia supernovae (SNe Ia) play a prominent role in understanding the evolution of Universe. They are thought to be thermonuclear explosions of mass-accreting carbon-oxygen white dwarfs (CO WDs) in binaries, although the mass donors of the accreting WDs are still not well determined. In this article, I review recent studies on mass-accreting WDs, including H- and He-accreting WDs. I also review currently most studied progenitor models of SNe Ia, i.e., the single-degenerate model (including the WD+MS channel, the WD+RG channel and the WD+He star channel), the double-degenerate model (including the violent merger scenario) and the sub-Chandrasekhar mass model. Recent progress on these progenitor models is discussed, including the initial parameter space for producing SNe Ia, the binary evolutionary paths to SNe Ia, the progenitor candidates of SNe Ia, the possible surviving companion stars of SNe Ia, and some observational constraints, etc. Some other potential progenitor models of SNe Ia are also summarized, including the hybrid CONe WD model, the core-degenerate model, the double WD collision model, the spin-up/spin-down model, and the model of WDs near black holes.To date, it seems that two or more progenitor models are needed to explain the observed diversity among SNe Ia.


title: Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts

abstract: Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularity. The famous DAO bug in the cryptocurrency framework Ethereum, employed callbacks to steal $150M. We define the notion of Effectively Callback Free (ECF) objects in order to allow callbacks without preventing modular reasoning. An object is ECF in a given execution trace if there exists an equivalent execution trace without callbacks to this object. An object is ECF if it is ECF in every possible execution trace. We study the decidability of dynamically checking ECF in a given execution trace and statically checking if an object is ECF. We also show that dynamically checking ECF in Ethereum is feasible and can be done online. By running the history of all execution traces in Ethereum, we were able to verify that virtually all existing contracts, excluding the DAO or contracts with similar known vulnerabilities, are ECF. Finally, we show that ECF, whether it is verified dynamically or statically, enables modular reasoning about objects with encapsulated state.


title: A Simplified Coding Scheme for the Broadcast Channel With Complementary Receiver Side Information Under Individual Secrecy Constraints

abstract: This paper simplifies an existing coding scheme for the two-receiver discrete memoryless broadcast channel with complementary receiver side information where there is a passive eavesdropper and individual secrecy is required. The existing coding scheme is simplified in two steps by replacing Wyner secrecy coding with Carleial-Hellman secrecy coding. The resulting simplified scheme is free from redundant message splits and random components. Not least, the simplified scheme retains the existing achievable individual secrecy rate region. Finally, its construction simplicity helps us gain additional insight on the integration of secrecy techniques into error-correcting coding schemes.


title: Hausdorff dimension of Kuperberg minimal sets

abstract: In 1994, Kuperberg constructed a smooth flow on a three-manifold with no periodic orbits. It was later shown that a generic Kuperberg flow preserves a codimension one laminar minimal set. We develop new techniques to study the symbolic dynamics and dimension theory of this minimal set, by relating it to the limit set of a graph directed pseudo-Markov system over a countable alphabet.


title: EdgeChain: Blockchain-based Multi-vendor Mobile Edge Application Placement

abstract: The state-of-the-art mobile edge applications are generating intense traffic and posing rigorous latency requirements to service providers. While resource sharing across multiple service providers can be a way to maximize the utilization of limited resources at the network edge, it requires a centralized repository maintained by all parties for service providers to share status. Moreover, service providers have to trust each other for resource allocation fairness, which is difficult because of potential conflicts of interest. We propose EdgeChain, a blockchain-based architecture to make mobile edge application placement decisions for multiple service providers. We first formulate a stochastic programming problem minimizing the placement cost for mobile edge application placement scenarios. Based on our model, we present a heuristic mobile edge application placement algorithm. As a decentralized public ledger, the blockchain then takes the logic of our algorithm as the smart contract, with the consideration of resources from all mobile edge hosts participating in the system. The algorithm is agreed by all parties and the results will only be accepted by majority of the mining nodes on the blockchain. When a placement decision is made, an edge host meeting the consumer's latency and budget requirements will be selected at the lowest cost. All placement transactions are stored on the blockchain and are traceable by every mobile edge service provider and application vendor who consumes resources at the mobile edge.


title: On Geometric Classification of 5d SCFTs

abstract: We formulate geometric conditions necessary for engineering 5d superconformal field theories (SCFTs) via M-theory compactification on a local Calabi-Yau 3-fold. Extending the classification of the rank 1 cases, which are realized geometrically as shrinking del Pezzo surfaces embedded in a 3-fold, we propose an exhaustive classification of local 3-folds engineering rank 2 SCFTs in 5d. This systematic classification confirms that all rank 2 SCFTs predicted using gauge theoretic arguments can be realized as consistent theories, with the exception of one family which is shown to be non-perturbatively inconsistent and thereby ruled out by geometric considerations. We find that all rank 2 SCFTs descend from 6d (1,0) SCFTs compactified on a circle possibly twisted with an automorphism together with holonomies for global symmetries around the Kaluza-Klein circle. These results support our conjecture that every 5d SCFT can be obtained from the circle compactification of some parent 6d (1,0) SCFT.


title: Weakly singular corners always scatter

abstract: Assume that a bounded scatterer is embedded into an infinite homogeneous isotropic background medium in two dimensions. The refractive index function is supposed to be piecewise constant. If the scattering interface contains a weakly or strongly singular point, we prove that the scattered field cannot vanish identically. This particularly leads to the absence of non-scattering energies for piecewise analytic interfaces with a weakly singular point. Local uniqueness is obtained for shape identification problems in inverse medium scattering with a single far-field pattern.


title: The Neutral Islands during the Late Epoch of Reionization

abstract: The large-scale structure of the ionization field during the epoch of reionization (EoR) can be modeled by the excursion set theory. While the growth of ionized regions during the early stage are described by the "bubble model", the shrinking process of neutral regions after the percolation of the ionized region calls for an "island model". An excursion set based analytical model and a semi-numerical code (islandFAST) have been developed. The ionizing background and the bubbles inside the islands are also included in the treatment. With two kinds of absorbers of ionizing photons, i.e. the large-scale under-dense neutral islands and the small-scale over-dense clumps, the ionizing background are self-consistently evolved in the model.


title: Sequential derivatives

abstract: Consider a real valued function defined, but not differentiable at some point. We use sequences approaching the point of interest to define and study sequential concepts of secant and cord derivatives of the function at the point of interest. If the function is the celebrated Weierstrass function, it follows from some of our results that the set cord derivatives at any point coincides with the extended real line.


title: Tunable multiband directional electromagnetic scattering from spoof Mie resonant structure

abstract: We demonstrate that directional electromagnetic scattering can be realized from a artificial Mie resonant strcuture which supports electric and magnetic dipole modes simultaneously. The directivity of the far-field radiation pattern can be switched by changing the incident light wavelength as well as tailoring the geometric parameters of the structure. Particularly, the electric quadrupole at higher frequency contribute significantly to the scattered fields, leading to enhancement of the directionality. In addition, we further design a quasiperiodic spoof Mie resonant structure by alternately inserting two materials into the slits. The results show that multi-band directional light scattering are realized by exciting multiple electric and magnetic dipole modes with different frequencies in the quasiperiodic structure. The presented design concept is general from microwave to terahertz region and can be applied for various advanced optical devices, such as antenna, metamaterial and metsurface.


title: Spin-Hall-Active Platinum Thin Films Grown Via Atomic Layer Deposition

abstract: We study the magnetoresistance of yttrium iron garnet/Pt heterostructures in which the Pt layer was grown via atomic layer deposition (ALD). Magnetotransport experiments in three orthogonal rotation planes reveal the hallmark features of spin Hall magnetoresistance. We estimate the spin transport parameters by comparing the magnitude of the magnetoresistance in samples with different Pt thicknesses. We compare the spin Hall angle and the spin diffusion length of the ALD Pt layers to the values reported for high-quality sputter-deposited Pt films. The spin diffusion length of 1.5nm agrees well with platinum thin films reported in the literature, whereas the spin Hall magnetoresistance $\Delta \rho / \rho = 2.2\times 10^{-5}$ is approximately a factor of 20 smaller compared to that of our sputter-deposited films. Our results demonstrate that ALD allows fabricating spin-Hall-active Pt films of suitable quality for use in spin transport structures. This work provides the basis to establish conformal ALD coatings for arbitrary surface geometries with spin-Hall-active metals and could lead to 3D spintronic devices in the future.


title: Randomized Benchmarking with Restricted Gate Sets

abstract: Standard randomized benchmarking protocols entail sampling from a unitary 2 design, which is not always practical. In this article we examine randomized benchmarking protocols based on subgroups of the Clifford group that are not unitary 2 designs. We introduce a general method for analyzing such protocols and subsequently apply it to two subgroups, the group generated by controlled-NOT, Hadamard, and Pauli gates and that generated by only controlled-NOT and Pauli gates. In both cases the error probability can be estimated to within a factor of two or less where the factor can be arranged to be conservative and to decay exponentially in the number of qubits. For randomized benchmarking of logical qubits even better accuracy will typically be obtained. Thus, we show that sampling a distribution which is close to a unitary 2 design, although sufficient, is not necessary for randomized benchmarking to high accuracy.


title: 18-qubit entanglement with photon's three degrees of freedom

abstract: A central theme in quantum information science is to coherently control an increasing number of quantum particles as well as their internal and external degrees of freedom (DoFs), meanwhile maintaining a high level of coherence. The ability to create and verify multiparticle entanglement with individual control and measurement of each qubit serves as an important benchmark for quantum technologies. To this end, genuine multipartite entanglement have been reported up to 14 trapped ions, 10 photons, and 10 superconducting qubits. Here, we experimentally demonstrate an 18-qubit Greenberger-Horne-Zeilinger (GHZ) entanglement by simultaneous exploiting three different DoFs of six photons, including their paths, polarization, and orbital angular momentum (OAM). We develop high-stability interferometers for reversible quantum logic operations between the photon's different DoFs with precision and efficiencies close to unity, enabling simultaneous readout of 262,144 outcome combinations of the 18-qubit state. A state fidelity of 0.708(16) is measured, confirming the genuine entanglement of all the 18 qubits.


title: Wigner functions on non-standard symplectic vector spaces

abstract: We consider the Weyl quantization on a flat non-standard symplectic vector space. We focus mainly on the properties of the Wigner functions defined therein. In particular we show that the sets of Wigner functions on distinct symplectic spaces are different but have non-empty intersections. This extends previous results to arbitrary dimension and arbitrary (constant) symplectic structure. As a by-product we introduce and prove several concepts and results on non-standard symplectic spaces which generalize those on the standard symplectic space, namely the symplectic spectrum, Williamson's theorem and Narcowich-Wigner spectra. We also show how Wigner functions on non-standard symplectic spaces behave under the action of an arbitrary linear coordinate transformation.

categories: math-ph math.FA math.MP math.SG quant-ph


title: Asymptotic Static Hedge via Symmetrization

abstract: This paper is a continuation of Akahori-Barsotti-Imamura (2017) and where the authors i) showed that a payment at a random time, which we call timing risk, is decomposed into an integral of static positions of knock-in type barrier options, ii) proposed an iteration of static hedge of a timing risk by regarding the hedging error by a static hedge strategy of Bowie-Carr type with respect to a barrier option as a timing risk, and iii) showed that the error converges to zero by infinitely many times of iteration under a condition on the integrability of a relevant function. Even though many diffusion models including generic 1-dimensional ones satisfy the required condition, a construction of the iterated static hedge that is applicable to any uniformly elliptic diffusions is postponed to the present paper because of its mathematical difficulty. We solve the problem in this paper by relying on the symmetrization, a technique first introduced in Imamura-Ishigaki-Okumura (2014) and generalized in Akahori-Imamura (2014), and also work on parametrix, a classical technique from perturbation theory to construct a fundamental solution of a partial differential equation. Due to a lack of continuity in the diffusion coefficient, however, a careful study of the integrability of the relevant functions is required. The long lines of proof itself could be a contribution to the parametrix analysis.


title: A method to estimate stellar ages from kinematical data

abstract: We present a method to build a probability density function (pdf) for the age of a star based on its peculiar velocities $U$, $V$ and $W$ and its orbital eccentricity. The sample used in this work comes from the Geneva-Copenhagen Survey (GCS) which contains both the spatial velocities, orbital eccentricities and isochronal ages for about $14\,000$ stars. Using the GCS stars, we fitted the parameters that describe the relations between the distributions of kinematical properties and age. This parametrization allows us to obtain an age probability from the kinematical data. From this age pdf, we estimate an individual average age for the star using the most likely age and the expected age. We have obtained the stellar age pdf for the age of $9\,102$ stars from the GCS and have shown that the distribution of individual ages derived from our method is in good agreement with the distribution of isochronal ages. We also observe a decline in the mean metallicity with our ages for stars younger than 7 Gyr, similar to the one observed for isochronal ages. This method can be useful for the estimation of rough stellar ages for those stars that fall in areas of the HR diagram where isochrones are tightly crowded. As an example of this method, we estimate the age of Trappist-1, which is a M8V star, obtaining the age of $t(UVW) = 12.50(+0.29-6.23)$ Gyr.


title: Performance of new silica aerogels in a threshold Cerenkov counter

abstract: New highly transparent, hydrophobic silica aerogels with refractive indices of 1.01 to 1.07 have been produced by Aspen Aerogels, Inc., and select tiles have been tested using an electron beam at the DESY, Hamburg facility. A diffusively-reflective threshold Cerenkov counter was designed and constructed for the purpose of evaluating the aerogels, and can accommodate aerogel tile areas of up to 20 cm by 20 cm. Measurements of the performance of the counter using the new aerogels as Cerenkov radiators are given in terms of photoelectron yields and a figure of merit.


title: Phononic Weyl Nodal Straight Lines in High-Temperature Superconductor MgB$_2$

abstract: Based on first-principles calculations, we predict that the superconducting MgB$_2$ with a AlB$_2$-type centrosymmetric lattice host the so-called phononic topological Weyl nodal lines (PTWNLs) on its bulk phonon spectrum. These PTWNLs can be viewed as countless Weyl points (WPs) closely aligned along the straight lines in the $-$H-K-H direction within the three-dimensional Brillouin zone (BZ). Their topological non-trivial natures are confirmed by the calculated Berry curvature distributions on the planes perpendicular to these lines. These lines are highly unique, because they exactly locate at the high-symmetry boundary of the BZ protected by the mirror symmetry and, simultaneously, straightly transverse the whole BZ, in different from known classifications including nodal rings, nodal chains or nets, and nodal loops. On the (10$\bar{1}$0) crystal surface, the PTWNLs-induced drumhead-like non-trivial surface states appear within the rectangular area confined by the projected lines of the PTWNLs with opposite chirality. Moreover, when the mirror symmetry is broken, the double-degenerate PTWNLs are further lifted to form a pair WPs with opposite chirality. Our results pave the ways for future experimental study on topological phonons on MgB$_2$ and highlights similar results in a series of isostructural AlB$_2$-type metallic diborides.


title: Recent Results from RENO

abstract: RENO (Reactor Experiment for Neutrino Oscillation) is the reactor neutrino experiment which has been taking data from August 2011 with two identical near and far detectors at Hanbit Nuclear Power Plant, Yonggwang, Korea. Using 1,500 live days of data, $\sin^2 2\theta_{13}$ and $|\Delta m^2_{ee}|$ are updated using spectral measurements: $\sin^2 2\theta_{13} = 0.086 \pm 0.006 ({\rm stat.}) \pm 0.005 ({\rm syst.})$ and $|\Delta m^2_{ee}| = 2.61+0.15-0.16 ({\rm stat.}) \pm 0.09 ({\rm syst.}) (\times 10^{-3} {\rm eV^2})$. The 5 MeV excess dependency on the reactor thermal power rate is again clearly observed with the increased data set.


title: Communication Optimality Trade-offs For Distributed Estimation

abstract: This paper proposes $\mathbf{C}$ommunication efficient $\mathbf{RE}$cursive $\mathbf{D}$istributed estimati$\mathbf{O}$n algorithm, $\mathcal{CREDO}$, for networked multi-worker setups without a central master node. $\mathcal{CREDO}$ is designed for scenarios in which the worker nodes aim to collaboratively estimate a vector parameter of interest using distributed online time-series data at the individual worker nodes. The individual worker nodes iteratively update their estimate of the parameter by assimilating latest locally sensed information and estimates from neighboring worker nodes exchanged over a (possibly sparse) time-varying communication graph. The underlying inter-worker communication protocol is adaptive, making communications increasingly (probabilistically) sparse as time progresses. Under minimal conditions on the inter-worker information exchange network and the sensing models, almost sure convergence of the estimate sequences at the worker nodes to the true parameter is established. Further, the paper characterizes the performance of $\mathcal{CREDO}$ in terms of asymptotic covariance of the estimate sequences and specifically establishes the achievability of optimal asymptotic covariance. The analysis reveals an interesting interplay between the algorithm's communication cost~$\mathcal{C}_{t}$ (over $t$ time-steps) and the asymptotic covariance. Most notably, it is shown that $\mathcal{CREDO}$ may be designed to achieve a $\Theta\left(\mathcal{C}_{t}^{-2+\zeta}\right)$ decay of the mean square error~($\zeta>0$, arbitrarily small) at each worker node, which significantly improves over the existing $ \Theta\left(\mathcal{C}_{t}^{-1}\right)$ rates. Simulation examples on both synthetic and real data sets demonstrate $\mathcal{CREDO}$'s communication efficiency.