title: Indirect searches of Galactic diffuse dark matter in INO-MagICAL detector

abstract: The signatures for the existence of dark matter are revealed only through its gravitational interaction. Theoretical arguments support that the Weakly Interacting Massive Particle (WIMP) can be a class of dark matter and it can annihilate and/or decay to Standard Model particles, among which neutrino is a favorable candidate. We show that the proposed 50 kt Magnetized Iron CALorimeter (MagICAL) detector under the India-based Neutrino Observatory (INO) project can play an important role in the indirect searches of Galactic diffuse dark matter in the neutrino and antineutrino mode separately. We present the sensitivity of 500 kt$\cdot$yr MagICAL detector to set limits on the velocity-averaged self-annihilation cross-section ($\langle\sigma v\rangle$) and decay lifetime ($\tau$) of dark matter having mass in the range of 2 GeV $\leq m_\chi \leq $ 90 GeV and 4 GeV $\leq m_\chi \leq $ 180 GeV respectively, assuming no excess over the conventional atmospheric neutrino and antineutrino fluxes at the INO site. Our limits for low mass dark matter constrain the parameter space which has not been explored before. We show that MagICAL will be able to set competitive constraints, $\langle\sigma v\rangle\leq 1.87\,\times\,10^{-24}$ cm$^3$ s$^{-1}$ for $\chi\chi\rightarrow\nu\bar\nu$ and $\tau\geq 4.8\,\times\,10^{24}$ s for $\chi\rightarrow\nu\bar\nu$ at 90$\%$ C.L. (1 d.o.f.) for $m_\chi$ = 10 GeV assuming the NFW as dark matter density profile.

categories: hep-ph astro-ph.GA astro-ph.HE hep-ex nucl-ex


title: Plug-and-play and coordinated control for bus-connected AC islanded microgrids

abstract: This paper presents a distributed control architecture for voltage and frequency stabilization in AC islanded microgrids. In the primary control layer, each generation unit is equipped with a local controller acting on the corresponding voltage-source converter. Following the plug-and-play design approach previously proposed by some of the authors, whenever the addition/removal of a distributed generation unit is required, feasibility of the operation is automatically checked by designing local controllers through convex optimization. The update of the voltage-control layer, when units plug -in/-out, is therefore automatized and stability of the microgrid is always preserved. Moreover, local control design is based only on the knowledge of parameters of power lines and it does not require to store a global microgrid model. In this work, we focus on bus-connected microgrid topologies and enhance the primary plug-and-play layer with local virtual impedance loops and secondary coordinated controllers ensuring bus voltage tracking and reactive power sharing. In particular, the secondary control architecture is distributed, hence mirroring the modularity of the primary control layer. We validate primary and secondary controllers by performing experiments with balanced, unbalanced and nonlinear loads, on a setup composed of three bus-connected distributed generation units. Most importantly, the stability of the microgrid after the addition/removal of distributed generation units is assessed. Overall, the experimental results show the feasibility of the proposed modular control design framework, where generation units can be added/removed on the fly, thus enabling the deployment of virtual power plants that can be resized over time.


title: Spectral results for perturbed periodic Jacobi matrices using the discrete Levinson technique

abstract: For an arbitrary Hermitian period-$T$ Jacobi operator, we assume a perturbation by a Wigner-von Neumann type potential to devise subordinate solutions to the formal spectral equation for a (possibly infinite) real set, $S$, of the spectral parameter. We employ discrete Levinson type techniques to achieve this, which allow the analysis of the asymptotic behaviour of the solution. This enables us to construct infinitely many spectral singularities on the absolutely continuous spectrum of the periodic Jacobi operator, which are stable with respect to an $l^1$-perturbation. An analogue of the quantisation conditions from the continuous case appears, relating the frequency of the oscillation of the potential to the quasi-momentum associated with the purely periodic operator.


title: Observation of Skyrmions at Room Temperature in Co2FeAl Heusler Alloy Ultrathin Films

abstract: Magnetic skyrmions are topological spin structures having immense potential for energy efficient spintronic devices. However, observations of skyrmions at room temperature are limited to patterned nanostructures. Here, we report the observation of stable skyrmions in unpatterned Ta/Co2FeAl(CFA)/MgO thin film heterostructures at room temperature and in zero external magnetic field employing magnetic force microscopy. The skyrmions are observed in a trilayer structure comprised of heavy metal (HM)/ferromagnet (FM)/Oxide interfaces which result in strong interfacial Dzyaloshinskii-Moriya interaction (i-DMI) as evidenced by Brillouin light scattering measurements, in agreement with the results of micromagnetic simulations. We also emphasize on room temperature observation of multiple skyrmions which can be stabilized for suitable choices of CFA layer thickness, perpendicular magnetic anisotropy, and i-DMI. These results open up a new paradigm for designing room temperature spintronic devices based on skyrmions in FM continuous thin films.


title: Protostellar accretion traced with chemistry. High resolution C18O and continuum observations towards deeply embedded protostars in Perseus

abstract: Context: Understanding how accretion proceeds is a key question of star formation, with important implications for both the physical and chemical evolution of young stellar objects. In particular, very little is known about the accretion variability in the earliest stages of star formation. Aims: To characterise protostellar accretion histories towards individual sources by utilising sublimation and freeze-out chemistry of CO. Methods: A sample of 24 embedded protostars are observed with the Submillimeter Array (SMA) in context of the large program "Mass Assembly of Stellar Systems and their Evolution with the SMA" (MASSES). The size of the C$^{18}$O emitting region, where CO has sublimated into the gas-phase, is measured towards each source and compared to the expected size of the region given the current luminosity. The SMA observations also include 1.3 mm continuum data, which are used to investigate whether a link can be established between accretion bursts and massive circumstellar disks. Results: Depending on the adopted sublimation temperature of the CO ice, between 20% and 50% of the sources in the sample show extended C$^{18}$O emission indicating that the gas was warm enough in the past that CO sublimated and is currently in the process of refreezing; something which we attribute to a recent accretion burst. Given the fraction of sources with extended C$^{18}$O emission, we estimate an average interval between bursts of 20000-50000 yr, which is consistent with previous estimates. No clear link can be established between the presence of circumstellar disks and accretion bursts, however the three closest known binaries in the sample (projected separations <20 AU) all show evidence of a past accretion burst, indicating that close binary interactions may also play a role in inducing accretion variability.


title: Encrypting Majorana Fermions-qubits as Bound States in the Continuum

abstract: We theoretically investigate a topological Kitaev chain connected to a double quantum-dot (QD) setup hybridized with metallic leads. In this system we observe the emergence of two striking phenomena: (i) a decrypted Majorana fermion (MF) qubit recorded over a single QD, which is detectable by means of conductance measurements due to the asymmetrical MF-qubit leaked state into the QDs; (ii) an encrypted qubit recorded in both QDs when the leakage is symmetrical. In such a regime, we have a cryptographylike manifestation, since the MF qubit becomes bound states in the continuum, which is not detectable in conductance experiments.


title: The Twisted Radio Structure of PSO J334.2028+01.4075, Still a Supermassive Binary Black Hole Candidate

abstract: Supermassive binary black holes (BBHs) on sub-parsec scales are prime targets for gravitational wave experiments. They also provide insights on close binary evolution and hierarchical structure formation. Sub-parsec BBHs cannot be spatially resolved but indirect methods can identify candidates. In 2015 Liu et al. reported an optical-continuum periodicity in the quasar PSO J334.2028+01.4075, with the estimated mass and rest-frame period suggesting an orbital separation of about 0.006 pc (0.7 micro-arcsec). The persistence of the quasar's optical periodicity has recently been disfavored over an extended baseline. However, if a radio jet is launched from a sub-parsec BBH, the binary's properties can influence the radio structure on larger scales. Here, we use the Very Long Baseline Array (VLBA) and Karl G. Jansky Very Large Array (VLA) to study the parsec- and kiloparsec-scale emission energized by the quasar's putative BBH. We find two VLBA components separated by 3.6 mas (30 pc), tentatively identifying one as the VLBA "core" from which the other was ejected. The VLBA components contribute to a point-like, time-variable VLA source that is straddled by lobes spanning 8 arcsec (66 kpc). We classify PSO J334.2028+01.4075 as a lobe-dominated quasar, albeit with an atypically large twist of 39 deg between its elongation position angles on parsec- and kiloparsec-scales. By analogy with 3C 207, a well-studied lobe-dominated quasar with a similarly-rare twist, we speculate that PSO J334.2028+01.4075 could be ejecting jet components over an inner cone that traces a precessing jet in a BBH system.


title: A tropical motivic Fubini theorem with applications to Donaldson-Thomas theory

abstract: We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and conceptual new proof of the integral identity conjecture of Kontsevich and Soibelman, first proved by L\^e Quy Thuong. Both of these conjectures emerged in the context of motivic Donaldson-Thomas theory.


title: Log canonical degenerations of del Pezzo surfaces in Q-Gorenstein families

abstract: We classify del Pezzo surfaces of Picard number one with log canonical singularities admitting Q-Gorenstein smoothings.


title: Numerical Gaussian Processes for Time-dependent and Non-linear Partial Differential Equations

abstract: We introduce the concept of numerical Gaussian processes, which we define as Gaussian processes with covariance functions resulting from temporal discretization of time-dependent partial differential equations. Numerical Gaussian processes, by construction, are designed to deal with cases where: (1) all we observe are noisy data on black-box initial conditions, and (2) we are interested in quantifying the uncertainty associated with such noisy data in our solutions to time-dependent partial differential equations. Our method circumvents the need for spatial discretization of the differential operators by proper placement of Gaussian process priors. This is an attempt to construct structured and data-efficient learning machines, which are explicitly informed by the underlying physics that possibly generated the observed data. The effectiveness of the proposed approach is demonstrated through several benchmark problems involving linear and nonlinear time-dependent operators. In all examples, we are able to recover accurate approximations of the latent solutions, and consistently propagate uncertainty, even in cases involving very long time integration.


title: A $4,000 Workstation for Mammalian Genome Assembly with Long Reads

abstract: Long-read sequencing has enabled the de novo assembly of several mammalian genomes, but with high cost in computing. Here, we demonstrated de novo assembly of mammalian genome using long reads in an efficient and inexpensive workstation.


title: Recursive Method for the Solution of Systems of Linear Equations

abstract: New solution method for the systems of linear equations in commutative integral domains is proposed. Its complexity is the same that the complexity of the matrix multiplication.


title: Analysis of Stochastic Quantization for the fractional Edwards Measure

abstract: We analyse a diffusion process whose invariant measure is the fractional polymer or Edwards measure for fractional Brownian motion in dimension $d\in\mathbb{N}$ with Hurst parameter $H\in(0,1)$ fulfilling $dH < 1$. We make use of a construction of the diffusion via Dirichlet form techniques in infinite dimensional (Gaussian) analysis. By providing a Fukushima decomposition for the stochastic quantization of the fractional Edwards measure we prove that the constructed process solves weakly a stochastic differential equation in infinite dimension for quasi-all starting points. Moreover, the solution process is driven by an Ornstein--Uhlenbeck process taking values in an infinite dimensional distribution space and is unique, in the sense that the underlying Dirichlet form is Markov unique. The equilibrium measure, which is by construction the fractional Edwards measure, is specified to be an extremal Gibbs state and therefore, the constructed stochastic dynamics is time ergodic. The studied stochastic differential equation provides in the language of polymer physics the dynamics of the bonds, i.e. stochastically spoken the noise of the process. An integration leads then to polymer paths. We show that if one starts with a continuous polymer configuration the integrated process stays almost surely continuous during the time evolution.


title: Growing Hair on the extremal $BTZ$ black hole

abstract: We show that the nonlinear $\sigma-$model in an asymptotically $AdS_3$ space-time admits a novel local symmetry. The field action is assumed to be quartic in the nonlinear $\sigma-$model fields and minimally coupled to gravity. The local symmetry transformation simultaneously twists the nonlinear $\sigma-$model fields and changes the space-time metric, and it can be used to map an extremal $BTZ$ black hole to infinitely many hairy black hole solutions.


title: Peculiar Rotation of Electron Vortex Beams

abstract: Standard electron optics predicts Larmor image rotation in the magnetic lens field of a TEM. Introducing the possibility to produce electron vortex beams with quantized orbital angular momentum brought up the question of their rotational dynamics in the presence of a magnetic field. Recently, it has been shown that electron vortex beams can be prepared as free electron Landau states showing peculiar rotational dynamics, including no and cyclotron (double-Larmor) rotation. Additionally very fast Gouy rotation of electron vortex beams has been observed. In this work a model is developed which reveals that the rotational dynamics of electron vortices are a combination of slow Larmor and fast Gouy rotations and that the Landau states naturally occur in the transition region in between the two regimes. This more general picture is confirmed by experimental data showing an extended set of peculiar rotations, including no, cyclotron, Larmor and rapid Gouy rotations all present in one single convergent electron vortex beam.


title: Any Quantum Network is Structurally Controllable by a Single Driving Signal

abstract: Control theory concerns with the question if and how it is possible to drive the behavior of a complex dynamical system. A system is said to be controllable if we can drive it from any initial state to any desired final state in finite time. For many complex networks, the precise knowledge of system parameters lacks. But, it is possible to make a conclusion about network controllability by inspecting its structure. Classical theory of structural controllability is based on the Lin's structural controllability theorem, which gives necessary and sufficient conditions to conclude if any network is structurally controllable. Due to this fundamental theorem we may identify a minimum driver vertex set, whose control with independent driving signals is sufficient to make the whole system controllable. I show that the Lin's theorem does not impose any limitations on quantum networks structural controllability. By local operations and classical communication, one can modify any quantum network to make it structurally controllable by a single driving signal.


title: Graded analogues of one-parameter subgroups and applications to the cohomology of $GL_{m|n(r)}$

abstract: We introduce a family $\mathbb{M}_{r;f,\eta}$ of infinitesimal supergroup schemes, which we call multiparameter supergroups, that generalize the infinitesimal Frobenius kernels $\mathbb{G}_{a(r)}$ of the additive group scheme $\mathbb{G}_{a}$. Then, following the approach of Suslin, Friedlander, and Bendel, we use functor cohomology to define characteristic extension classes for the general linear supergroup $GL_{m|n}$, and we calculate how these classes restrict along homomorphisms $\rho: \mathbb{M}_{r;f,\eta} \rightarrow GL_{m|n}.$ Finally, we apply our calculations to describe (up to a finite surjective morphism) the spectrum of the cohomology ring of the $r$-th Frobenius kernel $GL_{m|n(r)}$ of the general linear supergroup $GL_{m|n}$.


title: Dissipation driven quantum phase transitions and symmetry breaking

abstract: By considering a solvable driven-dissipative quantum model, we demonstrate that continuous second order phase transitions in dissipative systems may occur without an accompanying spontaneous symmetry breaking. As such, the underlying mechanism for this type of transition is qualitatively different from that of continuous equilibrium phase transitions. In our model, the transition is solely a result of the interplay between Hamiltonian and dissipative dynamics and manifests as a non-analyticity in the steady state $\hat\rho_\mathrm{ss}$ in the thermodynamic limit. Expectations of local observables are continuous but typically with discontinuous first order derivatives in agreement with second order phase transitions. While the model, a large number of driven two-level systems under collective dissipation, is in some sense fully connected, mean-field results are incapable of capturing the full picture.


title: SeGAN: Segmenting and Generating the Invisible

abstract: Objects often occlude each other in scenes; Inferring their appearance beyond their visible parts plays an important role in scene understanding, depth estimation, object interaction and manipulation. In this paper, we study the challenging problem of completing the appearance of occluded objects. Doing so requires knowing which pixels to paint (segmenting the invisible parts of objects) and what color to paint them (generating the invisible parts). Our proposed novel solution, SeGAN, jointly optimizes for both segmentation and generation of the invisible parts of objects. Our experimental results show that: (a) SeGAN can learn to generate the appearance of the occluded parts of objects; (b) SeGAN outperforms state-of-the-art segmentation baselines for the invisible parts of objects; (c) trained on synthetic photo realistic images, SeGAN can reliably segment natural images; (d) by reasoning about occluder occludee relations, our method can infer depth layering.


title: Optimal interpolation and Compatible Relaxation in Classical Algebraic Multigrid

abstract: In this paper, we consider a classical form of optimal algebraic multigrid (AMG) interpolation that directly minimizes the two-grid convergence rate and compare it with the so-called ideal form that minimizes a certain weak approximation property of the coarse space. We study compatible relaxation type estimates for the quality of the coarse grid and derive a new sharp measure using optimal interpolation that provides a guaranteed lower bound on the convergence rate of the resulting two-grid method for a given grid. In addition, we design a generalized bootstrap algebraic multigrid setup algorithm that computes a sparse approximation to the optimal interpolation matrix. We demonstrate numerically that the BAMG method with sparse interpolation matrix (and spanning multiple levels) outperforms the two-grid method with the standard ideal interpolation (a dense matrix) for various scalar diffusion problems with highly varying diffusion coefficient.


title: A novel scheme for simulating the force-free equations: boundary conditions and the evolution of solutions towards stationarity

abstract: Force-Free Electrodynamics (FFE) describes a particular regime of magnetically dominated relativistic plasmas, which arises on several astrophysical scenarios of interest such as pulsars or active galactic nuclei. In this article, we present a full 3D numerical implementation of the FFE evolution around a Kerr black hole. The novelty of our approach is three-folded: i) We use the "multi-block" technique to represent a domain with $S^2 \times \mathbb{R}^{+}$ topology within a stable finite-differences scheme. ii) We employ as evolution equations those arising from a covariant hyperbolization of the FFE system. iii) We implement stable and constraint-preserving boundary conditions to represent an outer region given by a uniform magnetic field aligned or misaligned respect to the symmetry axis. We find stationary jet solutions which reach equilibrium --through boundary conditions-- with the outer numerical surface. This is so, even when the outer boundary is located very close to the central region (i.e. $r_{out}\sim 10M $). These numerical solutions reproduce most of the known results for analogue astrophysical settings.


title: I CAN HAS SUPERCOMPUTER? A Novel Approach to Teaching Parallel and Distributed Computing Concepts Using a Meme-Based Programming Language

abstract: A novel approach is presented to teach the parallel and distributed computing concepts of synchronization and remote memory access. The single program multiple data (SPMD) partitioned global address space (PGAS) model presented in this paper uses a procedural programming language appealing to undergraduate students. We propose that the amusing nature of the approach may engender creativity and interest using these concepts later in more sober environments. Specifically, we implement parallel extensions to LOLCODE within a source-to-source compiler sufficient for the development of parallel and distributed algorithms normally implemented using conventional high-performance computing languages and APIs.


title: A geometric perspective on regularized optimal transport

abstract: We present new geometric intuition on dynamical versions of regularized optimal transport. We introduce two families of variational problems on Riemannian manifolds which contain analogues of the Schr\"odinger bridge problem and the Yasue problem. We also propose an analogue of the Hopf--Cole transformation in the geometric setting.


title: Variance estimates and almost Euclidean structure

abstract: We introduce and initiate the study of new parameters associated with any norm and any log-concave measure on $\mathbb R^n$, which provide sharp distributional inequalities. In the Gaussian context this investigation sheds light to the importance of the statistical measures of dispersion of the norm in connection with the local structure of the ambient space. As a byproduct of our study, we provide a short proof of Dvoretzky's theorem which not only supports the aforementioned significance but also complements the classical probabilistic formulation.


title: Bayesian Effect Fusion for Categorical Predictors

abstract: In this paper, we propose a Bayesian approach to obtain a sparse representation of the effect of a categorical predictor in regression type models. As the effect of a categorical predictor is captured by a group of level effects, sparsity cannot only be achieved by excluding single irrelevant level effects but also by excluding the whole group of effects associated to a predictor or by fusing levels which have essentially the same effect on the response. To achieve this goal, we propose a prior which allows for almost perfect as well as almost zero dependence between level effects a priori. We show how this prior can be obtained by specifying spike and slab prior distributions on all effect differences associated to one categorical predictor and how restricted fusion can be implemented. An efficient MCMC method for posterior computation is developed. The performance of the proposed method is investigated on simulated data. Finally, we illustrate its application on real data from EU-SILC.


title: Enhanced Electron Mixing and Heating in 3D Asymmetric Reconnection at the Earth's Magnetopause

abstract: Electron heating and mixing during asymmetric reconnection are studied with a 3D kinetic simulation that matches plasma parameters from Magnetospheric Multiscale (MMS) spacecraft observations of a magnetopause diffusion region. The mixing and heating are strongly enhanced across the magnetospheric separatrix compared to a 2D simulation. The transport of particles across the separatrix in 3D is attributed to lower-hybrid drift turbulence excited at the steep density gradient near the magnetopause. In the 3D simulation (and not the 2D simulation), the electron temperature parallel to the magnetic field within the mixing layer is significantly higher than its upstream value in agreement with the MMS observations.


title: Diagrammatic Semantics for Digital Circuits

abstract: We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptual, filling a foundational gap in reasoning syntactically and symbolically about a large class of digital circuits (discrete values, discrete delays, feedback). This complements the dominant approach to circuit modelling, which relies on simulation. The main advantage of our symbolic approach is the enabling of automated reasoning about abstract circuits, with a potentially interesting new application to partial evaluation of digital circuits. Relative to the recent interest and activity in categorical and diagrammatic methods, our work makes several new contributions. The most important is establishing that categories of digital circuits are Cartesian and admit, in the presence of feedback expressive iteration axioms. The second is producing a general yet simple graph-rewrite framework for reasoning about such categories in which the rewrite rules are computationally efficient, opening the way for practical applications.


title: Eigenfunction scarring and improvements in $L^{\infty}$ bounds

abstract: We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompatible with maximal eigenfunction growth.


title: Asymptotic behaviour of cuboids optimising Laplacian eigenvalues

abstract: We prove that in dimension $n \geq 2$, within the collection of unit measure cuboids in $\mathbb{R}^n$ (i.e. domains of the form $\prod_{i=1}^{n}(0, a_n)$), any sequence of minimising domains $R_k^\mathcal{D}$ for the Dirichlet eigenvalues $\lambda_k$ converges to the unit cube as $k \to \infty$. Correspondingly we also prove that any sequence of maximising domains $R_k^\mathcal{N}$ for the Neumann eigenvalues $\mu_k$ within the same collection of domains converges to the unit cube as $k\to \infty$. For $n=2$ this result was obtained by Antunes and Freitas in the case of Dirichlet eigenvalues and van den Berg, Bucur and Gittins for the Neumann eigenvalues. The Dirichlet case for $n=3$ was recently treated by van den Berg and Gittins. In addition we obtain stability results for the optimal eigenvalues as $k \to \infty$. We also obtain corresponding shape optimisation results for the Riesz means of eigenvalues in the same collection of cuboids. For the Dirichlet case this allows us to address the shape optimisation of the average of the first $k$ eigenvalues.


title: A Low-Mass Exoplanet Candidate Detected By ${\it K2}$ Transiting the Praesepe M Dwarf JS 183

abstract: We report the discovery of a repeating photometric signal from a low-mass member of the Praesepe open cluster that we interpret as a Neptune-sized transiting planet. The star is JS 183 (HSHJ 163, EPIC 211916756) with $T_{\rm eff} = 3325\pm100$ K, $M_{*} = 0.44\pm0.04$ $M_{\odot}$, $R_{*} = 0.44\pm0.03$ $R_{\odot}$, and $\log{g_*} = 4.82\pm0.06$. The planet has an orbital period of 10.134588 days and a radius of $R_{P}= 0.32\pm0.02$ $R_J$. Since the star is faint at $V=16.5$ and $J=13.3$, we are unable to obtain a measured radial-velocity orbit, but we can constrain the companion mass to below about 1.7 $M_J$, and thus well below the planetary boundary. JS 183b (since designated as K2-95b) is the second transiting planet found with ${\it K2}$ that resides in a several hundred Myr open cluster; both planets orbit mid-M dwarf stars and are approximately Neptune-sized. With a well-determined stellar density from the planetary transit, and with an independently known metallicity from its cluster membership, JS 183 provides a particularly valuable test of stellar models at the fully convective boundary. We find that JS 183 is the lowest-density transit host known at the fully convective boundary, and that its very low density is consistent with current models of stars just above the fully convective boundary but in tension with the models just below the fully convective boundary.


title: Dialectical Rough Sets, Parthood and Figures of Opposition-1

abstract: In one perspective, the main theme of this research revolves around the inverse problem in the context of general rough sets that concerns the existence of rough basis for given approximations in a context. Granular operator spaces and variants were recently introduced by the present author as an optimal framework for anti-chain based algebraic semantics of general rough sets and the inverse problem. In the framework, various sub-types of crisp and non-crisp objects are identifiable that may be missed in more restrictive formalism. This is also because in the latter cases concepts of complementation and negation are taken for granted - while in reality they have a complicated dialectical basis. This motivates a general approach to dialectical rough sets building on previous work of the present author and figures of opposition. In this paper dialectical rough logics are invented from a semantic perspective, a concept of dialectical predicates is formalised, connection with dialetheias and glutty negation are established, parthood analyzed and studied from the viewpoint of classical and dialectical figures of opposition by the present author. Her methods become more geometrical and encompass parthood as a primary relation (as opposed to roughly equivalent objects) for algebraic semantics.


title: Linguistic Matrix Theory

abstract: Recent research in computational linguistics has developed algorithms which associate matrices with adjectives and verbs, based on the distribution of words in a corpus of text. These matrices are linear operators on a vector space of context words. They are used to construct the meaning of composite expressions from that of the elementary constituents, forming part of a compositional distributional approach to semantics. We propose a Matrix Theory approach to this data, based on permutation symmetry along with Gaussian weights and their perturbations. A simple Gaussian model is tested against word matrices created from a large corpus of text. We characterize the cubic and quartic departures from the model, which we propose, alongside the Gaussian parameters, as signatures for comparison of linguistic corpora. We propose that perturbed Gaussian models with permutation symmetry provide a promising framework for characterizing the nature of universality in the statistical properties of word matrices. The matrix theory framework developed here exploits the view of statistics as zero dimensional perturbative quantum field theory. It perceives language as a physical system realizing a universality class of matrix statistics characterized by permutation symmetry.


title: Inversion of Separable Kernel Operators in Coupled Differential-Functional Equations and Application to Controller Synthesis

abstract: This article presents the inverse of the kernel operator associated with the complete quadratic Lyapunov-Krasovskii functional for coupled differential-functional equations when the kernel operator is separable. Similar to the case of time-delay systems of retarded type, the inverse operator is instrumental in control synthesis. Unlike the power series expansion approach used in the previous literature, a direct algebraic method is used here. It is shown that the domain of definition of the infinitesimal generator is an invariant subspace of the inverse operator if it is an invariant subspace of the kernel operator. The process of control synthesis using the inverse operator is described, and a numerical example is presented using the sum-of-square formulation.


title: Bandit-Based Model Selection for Deformable Object Manipulation

abstract: We present a novel approach to deformable object manipulation that does not rely on highly-accurate modeling. The key contribution of this paper is to formulate the task as a Multi-Armed Bandit problem, with each arm representing a model of the deformable object. To "pull" an arm and evaluate its utility, we use the arm's model to generate a velocity command for the gripper(s) holding the object and execute it. As the task proceeds and the object deforms, the utility of each model can change. Our framework estimates these changes and balances exploration of the model set with exploitation of high-utility models. We also propose an approach based on Kalman Filtering for Non-stationary Multi-armed Normal Bandits (KF-MANB) to leverage the coupling between models to learn more from each arm pull. We demonstrate that our method outperforms previous methods on synthetic trials, and performs competitively on several manipulation tasks in simulation.


title: The MOSDEF survey: the prevalence and properties of galaxy-wide AGN-driven outflows at $z\sim 2$

abstract: Using observations from the first two years of the MOSFIRE Deep Evolution Field (MOSDEF) survey, we study 13 AGN-driven outflows detected from a sample of 67 X-ray, IR and/or optically-selected AGN at $z \sim 2$. The AGN have bolometric luminosities of $\sim10^{44}-10^{46} ~\mathrm{erg~s^{-1}}$, including both quasars and moderate-luminosity AGN. We detect blueshifted, ionized gas outflows in the H$\beta$ , [OIII], H$\alpha$ ~and/or [NII] emission lines of $19\%$ of the AGN, while only 1.8\% of the MOSDEF galaxies have similarly-detected outflows. The outflow velocities span $\sim$300 to 1000 km s$^{-1}$. Eight of the 13 outflows are spatially extended on similar scales as the host galaxies, with spatial extents of 2.5 to 11.0 kpc. Outflows are detected uniformly across the star-forming main sequence, showing little trend with the host galaxy SFR. Line ratio diagnostics indicate that the outflowing gas is photoionized by the AGN. We do not find evidence for positive AGN feedback, in either our small MOSDEF sample or a much larger SDSS sample, using the BPT diagram. Given that a galaxy with an AGN is ten times more likely to have a detected outflow, the outflowing gas is photoionzed by the AGN, and estimates of the mass and energy outflow rates indicate that stellar feedback is insufficient to drive at least some of these outflows, they are very likely to be AGN-driven. The outflows have mass-loading factors of the order of unity, suggesting that they help regulate star formation in their host galaxies, though they may be insufficient to fully quench it.


title: Predictive mean matching imputation in survey sampling

abstract: Predictive mean matching imputation is popular for handling item nonresponse in survey sampling. In this article, we study the asymptotic properties of the predictive mean matching estimator of the population mean. For variance estimation, the conventional bootstrap inference for matching estimators with fixed matches has been shown to be invalid due to the nonsmoothness nature of the matching estimator. We propose asymptotically valid replication variance estimation. The key strategy is to construct replicates of the estimator directly based on linear terms, instead of individual records of variables. Extension to nearest neighbor imputation is also discussed. A simulation study confirms that the new procedure provides valid variance estimation.


title: Negative bulk modulus and possibility of loss of elastic stability near tricritical transitions in thin films on substrates

abstract: Within the Landau-like approach we study anomalies of elastic moduli at phase transitions in thin films on substrates. We consider the case where, similar to many experimental cases, the first-order transition in free crystal would convert into a second order in the film if the system remained homogeneous. It is shown, however, that apart from its questionable thermodynamic profitability, the homogeneous state of low-symmetry phase may become absolutely unstable which is signaled by changing of sign of its bulk modulus.


title: Subatomic Proof Systems: Splittable Systems

abstract: This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative connectives, we are able to classify a vast class of inference rules in a uniform and very simple way. This allows us to define simple conditions that are easily verifiable and that ensure normalisation and cut elimination by way of a general theorem. In this paper we define and consider splittable systems, which essentially comprise a large class of linear logics, including MLL and BV, and we prove for them a splitting theorem, guaranteeing cut elimination and other admissibility results as corollaries. In papers to follow, we will extend this result to non-linear logics. The final outcome will be a comprehensive theory giving a uniform treatment for most existing logics and providing a blueprint for the design of future proof systems.


title: Measurement of the Higgs Boson Couplings and CP Structure Using Tau Leptons at the LHC

abstract: Results on the $H\to\tau\tau$ measurements performed by the ATLAS and CMS collaborations with the pp collision data collected at the LHC at $\sqrt{s}=$7 and 8 TeV are presented. These include a test of CP invariance in the VBF Higgs boson production. Experimental challenges for the test of the CP invariance in the $H\to\tau\tau$ decays are also reviewed.


title: Dynamical timescale of precollapse evolution inferred from chemical distribution in the Taurus Molecular Cloud-1 (TMC-1) filament

abstract: We present observations and analysis of the low-mass star-forming region, Taurus Molecular Cloud-1 (TMC-1). CS ($J$=2-1)/N$_2$H$^+$ ($J$=1-0) and C$^{17}$O ($J$=2-1)/C$^{18}$O ($J$=2-1) were observed with FCRAO (Five College Radio Astronomy Observatory) and SRAO (Seoul Radio Astronomy Observatory), respectively. In addition, Spitzer infrared data and 1.2 mm continuum data observed with MAMBO (Max-Planck Millimetre Bolometer) are used. We also perform chemical modeling to investigate the relative molecular distributions of the TMC-1 filament. Based on Spitzer observations, there is no young stellar object along the TMC-1 filament, while five Class II and one Class I young stellar objects are identified outside the filament. The comparison between column densities calculated from dust continuum and C$^{17}$O 2-1 line emission shows that CO is depleted much more significantly in the ammonia peak than in the cyanopolyyne peak, while the column densities calculated from the dust continuum are similar at the two peaks. N$_2$H$^+$ is not depleted much in either peak. According to our chemical calculation, the differential chemical distribution in the two peaks can be explained by different timescales required to reach the same density, i.e., by different dynamical processes.


title: Planning and Resilient Execution of Policies For Manipulation in Contact with Actuation Uncertainty

abstract: We propose a method for planning motion for robots with actuation uncertainty that incorporates contact with the environment and the compliance of the robot to reliably perform manipulation tasks. Our approach consists of two stages: (1) Generating partial policies using a sampling-based motion planner that uses particle-based models of uncertainty and simulation of contact and compliance; and (2) Resilient execution that updates the planned policies to account for unexpected behavior in execution which may arise from model or environment inaccuracy. We have tested our planner and policy execution in simulated SE(2) and SE(3) environments and Baxter robot. We show that our methods efficiently generate policies to perform manipulation tasks involving significant contact and compare against several simpler methods. Additionally, we show that our policy adaptation is resilient to significant changes during execution; e.g. adding a new obstacle to the environment.


title: Solovay's completeness without fixed points

abstract: In this paper we present a new proof of Solovay's theorem on arithmetical completeness of G\"odel-L\"ob provability logic GL. Originally, completeness of GL with respect to interpretation of $\Box$ as provability in PA was proved by R. Solovay in 1976. The key part of Solovay's proof was his construction of an arithmetical evaluation for a given modal formula that made the formula unprovable PA if it were unprovable in GL. The arithmetical sentences for the evaluations were constructed using certain arithmetical fixed points. The method developed by Solovay have been used for establishing similar semantics for many other logics. In our proof we develop new more explicit construction of required evaluations that doesn't use any fixed points in their definitions. To our knowledge, it is the first alternative proof of the theorem that is essentially different from Solovay's proof in this key part.


title: A Variation Evolving Method for Optimal Control

abstract: A new method for the optimal solutions is proposed. Originating from the continuous-time dynamics stability theory in the control field, the optimal solution is anticipated to be obtained in an asymptotically evolving way. By introducing a virtual dimension, the variation time, a dynamic system that describes the variation motion is deduced from the Optimal Control Problem (OCP), and the optimal solution is its equilibrium point. Through this method, the intractable OCP is transformed to the Initial-value Problem (IVP) and it may be solved with mature Ordinary Differential Equation (ODE) numerical integration methods. Especially, the deduced dynamic system is globally stable, so any initial value will evolve to the extremal solution ultimately.


title: Background dielectric permittivity: material constant or fitting parameter?

abstract: The concept of background dielectric constant proposed by Tagantsev, together with the distinction between critical and non-critical electric polarizations as a natural extension for the order parameter of ferroelectric phase transitions, is critically discussed. It is argued and exemplified that, even if these quantities can be very useful for obtaining qualitative and semi-quantitative results from phenomenological modeling, they cannot be introduced in a self-consistent manner.


title: An example of a doubling "inherently" infinite-dimensional subset of $l_2$

abstract: We construct a doubling subset of $l_2$ which cannot be biLipschitz embedded in any finite dimensional Euclidean space. This answers a question of Lang and Plaut.


title: Bayesian latent time joint mixed effect models for multicohort longitudinal data

abstract: Characterization of long-term disease dynamics, from disease-free to end-stage, is integral to understanding the course of neurodegenerative diseases such as Parkinson's and Alzheimer's; and ultimately, how best to intervene. Natural history studies typically recruit multiple cohorts at different stages of disease and follow them longitudinally for a relatively short period of time. We propose a latent time joint mixed effects model to characterize long-term disease dynamics using this short-term data. Markov chain Monte Carlo methods are proposed for estimation, model selection, and inference. We apply the model to detailed simulation studies and data from the Alzheimer's Disease Neuroimaging Initiative.


title: Stability Analysis of Multi-Period Electricity Market with Heterogeneous Dynamic Assets

abstract: Market-based coordination of demand side assets has gained great interests in recent years. In spite of its efficiency, there is a risk that the interaction between the dynamic assets through the price signal could result in an unstable closed-loop system. This may cause oscillating power consumption profiles and high volatile energy price. This paper proposes an electricity market model which explicitly considers the heterogeneous dynamic asset models. We show that the market dynamics can be modeled by a discrete nonlinear system, and then derive analytical conditions to guarantee the stability of the market via contraction analysis. These conditions imply that the market stability can be guaranteed by choosing bidding functions with relatively shallower slopes in the linear region. Finally, numerical examples are provided to demonstrate the application of the derived stability conditions.


title: Extensions of a theorem of Erd\H{o}s on nonhamiltonian graphs

abstract: Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$. Erd\H{o}s proved that when $n \geq 6d$, each nonhamiltonian graph $G$ on $n$ vertices with minimum degree $\delta(G) \geq d$ has at most $h(n,d)$ edges. He also provides a sharpness example $H_{n,d}$ for all such pairs $n,d$. Previously, we showed a stability version of this result: for $n$ large enough, every nonhamiltonian graph $G$ on $n$ vertices with $\delta(G) \geq d$ and more than $h(n,d+1)$ edges is a subgraph of $H_{n,d}$. In this paper, we show that not only does the graph $H_{n,d}$ maximize the number of edges among nonhamiltonian graphs with $n$ vertices and minimum degree at least $d$, but in fact it maximizes the number of copies of any fixed graph $F$ when $n$ is sufficiently large in comparison with $d$ and $|F|$. We also show a stronger stability theorem, that is, we classify all nonhamiltonian $n$-graphs with $\delta(G) \geq d$ and more than $h(n,d+2)$ edges. We show this by proving a more general theorem: we describe all such graphs with more than ${n-(d+2) \choose k} + (d+2){d+2 \choose k-1}$ copies of $K_k$ for any $k$.


title: The distribution of first hitting times of random walks on directed Erd\H{o}s-R\'enyi networks

abstract: We present analytical results for the distribution of first hitting times of random walkers (RWs) on directed Erd\H{o}s-R\'enyi (ER) networks. Starting from a random initial node, a random walker hops randomly along directed edges between adjacent nodes in the network. The path terminates either by the retracing scenario, when the walker enters a node which it has already visited before, or by the trapping scenario, when it becomes trapped in a dead-end node from which it cannot exit. The path length, namely the number of steps, $d$, pursued by the random walker from the initial node up to its termination, is called the first hitting time. Using recursion equations, we obtain analytical results for the tail distribution of first hitting times, $P(d>\ell)$. The distribution $P(d>\ell)$ can be expressed as a product of an exponential distribution and a Rayleigh distribution. We obtain expressions for the mean, median and standard deviation of this distribution in terms of the network size and its mean degree. We also calculate the distribution of last hitting times, namely the path lengths of self-avoiding walks on directed ER networks, which do not retrace their paths. The last hitting times are found to be much longer than the first hitting times. The results are compared to those obtained for undirected ER networks. It is found that the first hitting times of RWs in a directed ER network are much longer than in the corresponding undirected network. This is due to the fact that RWs on directed networks do not exhibit the backtracking scenario, which is a dominant termination mechanism of RWs on undirected networks. It is shown that our approach also applies to a broader class of networks, referred to as semi-ER networks, in which the distribution of in-degrees is Poisson, while the out-degrees may follow any desired distribution with the same mean as the in-degree distribution.


title: Illumination effect by visible continuous-wave laser on bulk 40 K-superconductors

abstract: Visible CW (continuous wave) -laser heating effects on the bulk superconductors CeFeAsO0.65F0.35 and MgB2 with 1.5 mm thickness have been investigated by measuring the temperature dependence of electrical resistivity. Each compound shows a critical-temperature Tc reduction with increasing fluence rate. At the normal state, a parallel circuit model based on the Fourier's law can well reproduce the temperature dependence of electrical resistivity of illuminated sample. On the other hand, the predicted temperature-rise due to the laser heating in the superconducting state is much smaller than the observed Tc-reduction. A temperature gradient of a few K across the sample thickness easily triggers the destruction of bulk superconductivity. Furthermore we have found a slight Tc-enhancement in CeFeAsO0.65F0.35 after a rather high fluence-rate irradiation.


title: Nearly-optimal quantum control: analytical approach

abstract: We propose nearly-optimal control strategies for changing states of a quantum system. We argue that quantum control optimization can be studied analytically within some protocol families that depend on a small set of parameters for optimization. This optimization strategy can be preferred in practice because it is physically transparent and does not lead to combinatorial complexity in multistate problems. For demonstration, we design optimized control protocols that achieve switching between orthogonal states of a naturally biased quantum two-level system.


title: Whiz: A Fast and Flexible Data Analytics System

abstract: Today's data analytics frameworks are compute-centric, with analytics execution almost entirely dependent on the pre-determined physical structure of the high-level computation. Relegating intermediate data to a second class entity in this manner hurts flexibility, performance, and efficiency. We present Whiz, a new analytics framework that cleanly separates computation from intermediate data. It enables runtime visibility into data via programmable monitoring, and data-driven computation (where intermediate data values drive when/what computation runs) via an event abstraction. Experiments with a Whiz prototype on a large cluster using batch, streaming, and graph analytics workloads show that its performance is 1.3-2x better than state-of-the-art.


title: Zonal Flow Magnetic Field Interaction in the Semi-Conducting Region of Giant Planets

abstract: All four giant planets in the Solar System feature zonal flows on the order of 100 m/s in the cloud deck, and large-scale intrinsic magnetic fields on the order of 1 Gauss near the surface. The vertical structure of the zonal flows remains obscure. The end-member scenarios are shallow flows confined in the radiative atmosphere and deep flows throughout the entire planet. The electrical conductivity increases rapidly yet smoothly as a function of depth inside Jupiter and Saturn. Deep zonal flows will inevitably interact with the magnetic field, at depth with even modest electrical conductivity. Here we investigate the interaction between zonal flows and magnetic fields in the semi-conducting region of giant planets. Employing mean-field electrodynamics, we show that the interaction will generate detectable poloidal magnetic field perturbations spatially correlated with the deep zonal flows. Assuming the peak amplitude of the dynamo alpha-effect to be 0.1 mm/s, deep zonal flows on the order of 0.1 - 1 m/s in the semi-conducting region of Jupiter and Saturn would generate poloidal magnetic perturbations on the order of 0.01% - 1% of the background dipole field. These poloidal perturbations should be detectable with the in-situ magnetic field measurements from the Juno mission and the Cassini Grand Finale. This implies that magnetic field measurements can be employed to constrain the properties of deep zonal flows in the semi-conducting region of giant planets.


title: Loop quantum cosmology and singularities

abstract: Loop quantum gravity is believed to eliminate singularities such as the big bang and big crunch singularity. This belief is based on studies of so-called loop quantum cosmology which concerns symmetry-reduced models of quantum gravity. In this paper, the problem of singularities is analysed in the context of the Bohmian formulation of loop quantum cosmology. In this formulation there is an actual metric in addition to the wave function, which evolves stochastically (rather than deterministically as the case of the particle evolution in non-relativistic Bohmian mechanics). Thus a singularity occurs whenever this actual metric is singular. It is shown that in the loop quantum cosmology for a homogeneous and isotropic Friedmann-Lemaitre-Robertson-Walker space-time with arbitrary constant spatial curvature and cosmological constant, coupled to a massless homogeneous scalar field, a big bang or big crunch singularity is never obtained. This should be contrasted with the fact that in the Bohmian formulation of the Wheeler-DeWitt theory singularities may exist.


title: Construction of a set of p-adic distributions

abstract: In this paper adapting to $p$-adic case some methods of real valued Gibbs measures on Cayley trees we construct several $p$-adic distributions on the set $\mathbb{Z}_p$ of $p$-adic integers. Moreover, we give conditions under which these $p$-adic distributions become $p$-adic measures (i.e. bounded distributions).


title: An\'alise comparativa de pesquisas de origens e destinos: uma abordagem baseada em Redes Complexas

abstract: In this paper, a comparative study was conducted between complex networks representing origin and destination survey data. Similarities were found between the characteristics of the networks of Brazilian cities with networks of foreign cities. Power laws were found in the distributions of edge weights and this scale - free behavior can occur due to the economic characteristics of the cities.


title: Semantic Instance Segmentation via Deep Metric Learning

abstract: We propose a new method for semantic instance segmentation, by first computing how likely two pixels are to belong to the same object, and then by grouping similar pixels together. Our similarity metric is based on a deep, fully convolutional embedding model. Our grouping method is based on selecting all points that are sufficiently similar to a set of "seed points", chosen from a deep, fully convolutional scoring model. We show competitive results on the Pascal VOC instance segmentation benchmark.


title: Optimal Investment on Series FACTS Devices Considering Contingencies

abstract: Series FACTS devices are capable of relieving congestion and reducing generation costs in the power system. This paper proposes a planning model to optimally allocate TCSCs in the transmission network considering the base case and $N-1$ contingencies. We consider a single target year and select three distinct load patterns to accommodate the yearly load profile. A reformulation technique is utilized to linearize the nonlinear power flow constraint introduced by a TCSC. Numerical case studies based on the IEEE 118-bus system demonstrate the high performance of the proposed planning model.


title: Shared urbanism: Big data on accommodation sharing in urban Australia

abstract: As affordability pressures and tight rental markets in global cities mount, online shared accommodation sites proliferate. Home sharing arrangements present dilemmas for planning that aims to improve health and safety standards, while supporting positives such as the usage of dormant stock and the relieving of rental pressures on middle/lower income earners. Currently, no formal data exists on this internationally growing trend. Here, we present a first quantitative glance on shared accommodation practices across all major urban centers of Australia enabled via collection and analysis of thousands of online listings. We examine, countrywide, the spatial and short time scale temporal characteristics of this market, along with preliminary analysis on rents, dwelling types and other characteristics. Findings have implications for housing policy makers and planning practitioners seeking to monitor and respond to housing policy and affordability pressures in formal and informal housing markets.


title: Solar Atmospheric Neutrinos: A New Neutrino Floor for Dark Matter Searches

abstract: As is well known, dark matter direct detection experiments will ultimately be limited by a "neutrino floor," due to the scattering of nuclei by MeV neutrinos from, e.g., nuclear fusion in the Sun. Here we point out the existence of a new "neutrino floor" that will similarly limit indirect detection with the Sun, due to high-energy neutrinos from cosmic-ray interactions with the solar atmosphere. We have two key findings. First, solar atmospheric neutrinos $\lesssim 1$ TeV cause a sensitivity floor for standard WIMP scenarios, for which higher-energy neutrinos are absorbed in the Sun. This floor will be reached once the present sensitivity is improved by just one order of magnitude. Second, for neutrinos $\gtrsim 1$ TeV, which can be isolated by muon energy loss rate, solar atmospheric neutrinos should soon be detectable in IceCube. Discovery will help probe the complicated effects of solar magnetic fields on cosmic rays. These events will be backgrounds to WIMP scenarios with long-lived mediators, for which higher-energy neutrinos can escape from the Sun.


title: A Survey of Riccati Equation Results in Negative Imaginary Systems Theory and Quantum Control Theory

abstract: This paper presents a survey of some new applications of algebraic Riccati equations. In particular, the paper surveys some recent results on the use of algebraic Riccati equations in testing whether a system is negative imaginary and in synthesizing state feedback controllers which make the closed loop system negative imaginary. The paper also surveys the use of Riccati equation methods in the control of quantum linear systems including coherent $H^\infty$ control.


title: Second-order Cosmological Perturbations Engendered by Point-like Masses

abstract: In the $\Lambda$CDM framework, presenting nonrelativistic matter inhomogeneities as discrete massive particles, we develop the second-order cosmological perturbation theory. Our approach relies on the weak gravitational field limit. The derived equations for the second-order scalar, vector and tensor metric corrections are suitable at arbitrary distances including regions with nonlinear contrasts of the matter density. We thoroughly verify fulfilment of all Einstein equations as well as self-consistency of order assignments. In addition, we achieve logical positive results in the Minkowski background limit. Feasible investigations of the cosmological backreaction manifestations by means of relativistic simulations are also outlined.


title: Distance covariance for stochastic processes

abstract: The distance covariance of two random vectors is a measure of their dependence. The empirical distance covariance and correlation can be used as statistical tools for testing whether two random vectors are independent. We propose an analogs of the distance covariance for two stochastic processes defined on some interval. Their empirical analogs can be used to test the independence of two processes.


title: Enter the Matrix: Safely Interruptible Autonomous Systems via Virtualization

abstract: Autonomous systems that operate around humans will likely always rely on kill switches that stop their execution and allow them to be remote-controlled for the safety of humans or to prevent damage to the system. It is theoretically possible for an autonomous system with sufficient sensor and effector capability that learn online using reinforcement learning to discover that the kill switch deprives it of long-term reward and thus learn to disable the switch or otherwise prevent a human operator from using the switch. This is referred to as the big red button problem. We present a technique that prevents a reinforcement learning agent from learning to disable the kill switch. We introduce an interruption process in which the agent's sensors and effectors are redirected to a virtual simulation where it continues to believe it is receiving reward. We illustrate our technique in a simple grid world environment.


title: Origin of Non-axisymmetric Features of Virgo Cluster Early-type Dwarf Galaxies. I. Bar Formation and Recurrent Buckling

abstract: A fraction of early-type dwarf galaxies in the Virgo cluster have a disk component and even possess disk features such as bar, lens, and spiral arms. In this study, we construct 15 galaxy models that resemble VCC856, considered to be an infalling progenitor of disk dwarf galaxies, within observational error ranges, and use $N$-body simulations to study their long-term dynamical evolution in isolation as well as the formation of bar in them. We find that dwarf disk galaxies readily form bars unless they have an excessively concentrated halo or a hot disk. This suggests that infalling dwarf disk galaxies are intrinsically unstable to bar formation, even without any external perturbation, accounting for a population of barred dwarf galaxies in the outskirts of the Virgo cluster. The bars form earlier and stronger in galaxies with a lower fraction of counter-streaming motions, lower halo concentration, lower velocity anisotropy, and thinner disk. Similarly to normal disk galaxies, dwarf disk galaxies also undergo recurrent buckling instabilities. The first buckling instability tends to shorten the bar and to thicken the disk, and drives a dynamical transition in the bar pattern speed as well as mass inflow rate. In nine models, the bars regrow after the mild first buckling instability due to the efficient transfer of disk angular momentum to the halo, and are subject to recurrent buckling instabilities to turn into X-shaped bulges.


title: Organic-Inorganic Hybrid CH3NH3PbI3 Perovskite Solar Cell Nanoclusters: Revealing Ultra-Strong Hydrogen Bonding and Mulliken Inner Complexes and Their Implication in Materials Design

abstract: Methylammonium lead iodide (CH3NH3PbI3) perovskite solar cell has produced a remarkable breakthrough in the photovoltaic history of solar cell technology because of its outstanding device based performance as a light-harvesting semiconductor. Whereas the experimental and theoretical studies of this system in the solid state have been numerously reported in the last 4 years, its fundamental cluster physics is yet to be exploited. To this end, this study has performed theoretical investigations using DFT-M06-2X/ADZP to examine the principal geometrical, electronic, topological, and orbital properties of the CH3NH3PbI3 nanocluster blocks. These clusters are found to be unusually strongly bound, with binding energies lying between 93.53 and 125.11 kcal mol-1 (beyond the covalent limit, 40 kcal mol-1), enabling us to characterize the underlying interactions as ultra-strong type. Based on this, together with the unusually high charge transfers, strong hyperconjugative interactions, sophisticated topologies of the charge density, and short intermolecular distances uncovered, we have characterized the CH3NH3PbI3 as Mulliken inner complexes. Additionally, the consequences of these, as well as of the ultra-strong interactions, in designing novel functional nanomaterials are briefly discussed. The various new results obtained in this study are not in perfect agreement with those already reported experimentally (Nat. Commun. 2015, 6, 7124), and computationally (Chem. Commun., 2015, 51, 6434; Sci. Rep. 2016, doi:10.1038/srep21687; Chem. Mater. 2016, 28, 4259; J. Mat. Chem A 2016, 4, 4728; J. Phys. Chem. Lett. 2016, 7, 1596).


title: White light emission from silicon nanoparticles

abstract: As one of the most important semiconductors, silicon (Si) has been used to fabricate electronic devices, waveguides, detectors, and solar cells etc. However, its indirect bandgap hinders the use of Si for making good emitters1. For integrated photonic circuits, Si-based emitters with sizes in the range of 100-300 nm are highly desirable. Here, we show that efficient white light emission can be realized in spherical and cylindrical Si nanoparticles with feature sizes of ~200 nm. The up-converted luminescence appears at the magnetic and electric multipole resonances when the nanoparticles are resonantly excited at their magnetic and electric dipole resonances by using femtosecond (fs) laser pulses with ultralow low energy of ~40 pJ. The lifetime of the white light is as short as ~52 ps, almost three orders of magnitude smaller than the state-of-the-art results reported so far for Si (~10 ns). Our finding paves the way for realizing efficient Si-based emitters compatible with current semiconductor fabrication technology, which can be integrated to photonic circuits.


title: Small parameters in infrared quantum chromodynamics

abstract: We study the long-distance properties of quantum chromodynamics in an expansion in powers of the three-gluon, four-gluon, and ghost-gluon couplings, but without expanding in the quark-gluon coupling. This is motivated by two observations. First, the gauge sector is well-described by perturbation theory in the context of a phenomenological model with a massive gluon. Second, the quark-gluon coupling is significantly larger than those in the gauge sector at large distances. In order to resum the contributions of the remaining infinite set of QED-like diagrams, we further expand the theory in $1/N_c$, where $N_c$ is the number of colors. At leading order, this double expansion leads to the well-known rainbow approximation for the quark propagator. We take advantage of the systematic expansion to get a renormalization-group improvement of the rainbow resummation. A simple numerical solution of the resulting coupled set of equations reproduces the phenomenology of the spontaneous chiral symmetry breaking: for sufficiently large quark-gluon coupling constant, the constituent quark mass saturates when its valence mass approaches zero. We find very good agreement with lattice data for the scalar part of the propagator and explain why the vectorial part is poorly reproduced.


title: Weak tight geodesics in the curve complex: examples and gaps

abstract: Tight geodesics were introduced by Masur-Minsky in [17]. They and their hierarchies have been a powerful tool in the study of the curve complex, mapping class groups, Teichm\"uller spaces, and hyperbolic 3-manifolds. In the same paper, they showed that there are at least one and at most finitely many tight geodesics between any two vertices in the curve complex. Bowditch found a uniform finiteness property on tight geodesics [9], and this property has given further important applications in some of the above studies. In this paper, we introduce classes of geodesics which are not tight but still have the uniform finiteness property. These classes of geodesics will be obtained as examples of weak tight geodesics which were introduced and shown to have the property in [19]. The aim of this paper is to study about weak tight geodesics focusing on giving examples of them with canonical constructions and investigating gaps between two classes of them. Our main investigation will be on weak tight geodesics contained in the class of M-weakly tight geodesics where M is the bound given by the bounded geodesic image theorem. As M-weakly tight geodesics contain tight geodesics, the classes of weak tight geodesics to be introduced in this paper will live around tight geodesics. In appendices, we expand some of these studies to outside of the class of M-weakly tight geodesics.


title: Decreased Thermal Conductivity of Polyethylene Chain Influenced by Short Chain Branching

abstract: In this paper, we have studied the effect of short branches on the thermal conductivity of a polyethylene (PE) chain. With a reverse non-equilibrium molecular dynamics method applied, thermal conductivities of the pristine PE chain and the PE-ethyl chain are simulated and compared. It shows that the branch has a positive effect to decrease the thermal conductivity of a PE chain. The thermal conductivity of the PE-ethyl chain decreases with the number density increase of the ethyl branches, until the density becomes larger than about 8 ethyl per 200 segments, where the thermal conductivity saturates to be only about 40% that of a pristine PE chain. Because of different weights, different types of branching chains will cause a different decrease of thermal conductivities, and a heavy branch will leads to a lower thermal conductivity than a light one. This study is expected to provide some fundamental guidance to obtain a polymer with a quite low thermal conductivity.


title: Classical and quantum filaments in the ground state of trapped dipolar Bose gases

abstract: We study by quantum Monte Carlo simulations the ground state of a harmonically confined dipolar Bose gas with aligned dipole moments, and with the inclusion of a repulsive two-body potential of varying range. Two different limits can be clearly identified, namely a classical one in which the attractive part of the dipolar interaction dominates and the system forms an ordered array of parallel filaments, and a quantum-mechanical one, wherein filaments are destabilized by zero-point motion, and eventually the ground state becomes a uniform cloud. The physical character of the system smoothly evolves from classical to quantum mechanical as the range of the repulsive two-body potential increases. An intermediate regime is observed, in which ordered filaments are still present, albeit forming different structures from the ones predicted classically; quantum-mechanical exchanges of indistinguishable particles across different filaments allow phase coherence to be established, underlying a global superfluid response.


title: Gravito-turbulence in irradiated protoplanetary discs

abstract: Using radiation hydrodynamics simulations in a local stratified shearing box with realistic equations of state and opacities, we explored the outcome of self-gravity at 50 AU in a protoplanetary disc irradiated by the central star. We found that gravito-turbulence is sustained for a finite range of the surface density, from $\sim 80$ to $\sim$ 250 gcm$^{-2}$. The disk is laminar below the range while fragments above it. In the range of gravito-turbulence, the Toomre parameter decreases monotonically from $\sim 1$ to $\sim 0.7$ as the surface density increases while an effective cooling time is almost constant at $\sim 4$ in terms of the inverse of the orbital frequency. The turbulent motions are supersonic at all heights, which dissipates through both shock waves and compressional heating. The compressional motions, occurring near the midplane, create upward flows, which not only contribute to supporting the disc but also to transporting the dissipated energy to the disc surfaces. The irradiation does not affect much the gravito-turbulence near the midplane unless the grazing angle is larger than 0.32. We also show that a simple cooling function with a constant cooling time does not approximate the realistic cooling.


title: Preserving Distances in Very Faulty Graphs

abstract: Preservers and additive spanners are sparse (hence cheap to store) subgraphs that preserve the distances between given pairs of nodes exactly or with some small additive error, respectively. Since real-world networks are prone to failures, it makes sense to study fault-tolerant versions of the above structures. This turns out to be a surprisingly difficult task. For every small but arbitrary set of edge or vertex failures, the preservers and spanners need to contain {\em replacement paths} around the faulted set. In this paper we make substantial progress on fault tolerant preservers and additive spanners: (1) We present the first truly sub-quadratic size single-pair preservers in unweighted (possibly directed) graphs for \emph{any} fixed number $f$ of faults. Our result indeed generalizes to the single-source case, and can be used to build new fault-tolerant additive spanners (for all pairs). (2) The size of the above single-pair preservers is $O(n^{2-g(f)})$ for some positive function $g$, and grows to $O(n^2)$ for increasing $f$. We show that this is necessary even in undirected unweighted graphs, and even if you allow for a small additive error: If you aim at size $O(n^{2-\epsilon})$ for $\epsilon>0$, then the additive error has to be $\Omega(\eps f)$. This surprisingly matches known upper bounds in the literature. (3) For weighted graphs, we provide matching upper and lower bounds for the single pair case. Namely, the size of the preserver is $\Theta(n^2)$ for $f\geq 2$ in both directed and undirected graphs, while for $f=1$ the size is $\Theta(n)$ in undirected graphs. For directed graphs, we have a superlinear upper bound and a matching lower bound. Most of our lower bounds extend to the distance oracle setting, where rather than a subgraph we ask for any compact data structure.


title: On semisimple quasitriangular Hopf algebras of dimension $dq^n$

abstract: Let $q>2$ be a prime number, $d$ be an odd square-free natural number, and $n$ be a non-negative integer. We prove that a semisimple quasitriangular Hopf algebra of dimension $dq^n$ is solvable in the sense of Etingof, Nikshych and Ostrik. In particular, if $n\leq 3$ then it is either isomorphic to $k^G$ for some abelian group $G$, or twist equivalent to a Hopf algebra which fits into a cocentral abelian exact sequence.


title: DeNet: Scalable Real-time Object Detection with Directed Sparse Sampling

abstract: We define the object detection from imagery problem as estimating a very large but extremely sparse bounding box dependent probability distribution. Subsequently we identify a sparse distribution estimation scheme, Directed Sparse Sampling, and employ it in a single end-to-end CNN based detection model. This methodology extends and formalizes previous state-of-the-art detection models with an additional emphasis on high evaluation rates and reduced manual engineering. We introduce two novelties, a corner based region-of-interest estimator and a deconvolution based CNN model. The resulting model is scene adaptive, does not require manually defined reference bounding boxes and produces highly competitive results on MSCOCO, Pascal VOC 2007 and Pascal VOC 2012 with real-time evaluation rates. Further analysis suggests our model performs particularly well when finegrained object localization is desirable. We argue that this advantage stems from the significantly larger set of available regions-of-interest relative to other methods. Source-code is available from: https://github.com/lachlants/denet


title: The XXL Survey XVIII. ATCA 2.1 GHz radio source catalogue and source counts for the XXL-South field

abstract: The 2.1 GHz radio source catalogue of the 25 deg$^2$ ultimate XMM extragalactic survey south (XXL-S) field, observed with the Australia Telescope Compact Array (ATCA), is presented. The final radio mosaic achieved a resolution of $\sim$$4.8"$ and a median rms noise of $\sigma \approx41$ $\mu$Jy/beam. To date, this is the largest area radio survey to reach this flux density level. A total of 6350 radio components above 5$\sigma$ are included in the component catalogue, 26.4% of which are resolved. Of these components, 111 were merged together to create 48 multiple-component radio sources, resulting in a total of 6287 radio sources in the source catalogue, 25.9% of which were resolved. A survival analysis revealed that the median spectral index of the Sydney University Molonglo Sky Survey (SUMSS) 843 MHz sources in the field is $\alpha$ = $-$0.75, consistent with the values of $-0.7$ to $-0.8$ commonly used to characterise radio spectral energy distributions of active galactic nuclei (AGN). The 2.1 GHz and 1.4 GHz differential radio source counts are presented and compared to other 1.4 GHz radio surveys. The XXL-S source counts show good agreement with the other surveys.


title: Adaptive Time-stepping Schemes for the Solution of the Poisson-Nernst-Planck Equations

abstract: The Poisson-Nernst-Planck equations with generalized Frumkin-Butler-Volmer boundary conditions (PNP-FBV) describe ion transport with Faradaic reactions, and have applications in a number of fields. In this article, we develop an adaptive time-stepping scheme for the solution of the PNP-FBV equations based on two time-stepping methods: a fully implicit (BDF2) method, and an implicit-explicit (SBDF2) method. We present simulations under both current and voltage boundary conditions and demonstrate the ability to simulate a large range of parameters, including any value of the singular perturbation parameter $\epsilon$. When the underlying dynamics is one that would have the solutions converge to a steady-state solution, we observe that the adaptive time-stepper based on the SBDF2 method produces solutions that ``nearly'' converge to the steady state and that, simultaneously, the time-step sizes stabilize to a limiting size $dt_\infty$. In the companion to this article \cite{YPD_Part2}, we linearize the SBDF2 scheme about the steady-state solution and demonstrate that the linearized scheme is conditionally stable. This conditional stability is the cause of the adaptive time-stepper's behaviour. While the adaptive time-stepper based on the fully-implicit (BDF2) method is not subject to such time-step constraints, the required nonlinear solve yields run times that are significantly longer.

categories: math.NA cs.NA physics.chem-ph physics.comp-ph


title: Spatially resolved, energy-filtered imaging of core level and valence band photoemission of highly p and n doped silicon patterns

abstract: An accurate description of spatial variations in the energy levels of patterned semiconductor substrates on the micron and sub-micron scale as a function of local doping is an important technological challenge for the microelectronics industry. Spatially resolved surface analysis by photoelectron spectromicroscopy can provide an invaluable contribution thanks to the relatively non-destructive, quantitative analysis. We present results on highly doped n and p type patterns on, respectively, p and n type silicon substrates. Using synchrotron radiation and spherical aberration-corrected energy filtering, we have obtained a spectroscopic image series at the Si 2p core level and across the valence band. Local band alignments are extracted, accounting for doping, band bending and surface photovoltage.


title: Measurements of the Total Cross section for Thermal Neutrons at PNS

abstract: In order to measure the total cross section for thermal neutrons, a photoneutron source (PNS, phase 1) has been developed for the acquisition of nuclear data for the Thorium Molten Salt Reactor (TMSR) at the Shanghai Institute of Applied Physics (SINAP). PNS is an electron LINAC pulsed neutron facility that uses the time-of-flight (TOF) technique. It records the neutron TOF and identifies neutrons and $\gamma$-rays by using a digital signal processing technique. The background is obtained by using a combination of employing 12.8 cm boron-loaded polyethylene(PEB) (5$\%$ w.t.) to block the flight path and Monte Carlo methods. The neutron total cross sections of natural beryllium are measured in the neutron energy region from 0.007 to 0.1 eV. The present measurement result is compared with the fold Harvey data with the response function of PNS.


title: Study on 3GPP Rural Macrocell Path Loss Models for Millimeter Wave Wireless Communications

abstract: Little research has been done to reliably model millimeter wave (mmWave) path loss in rural macrocell settings, yet, models have been hastily adopted without substantial empirical evidence. This paper studies past rural macrocell (RMa) path loss models and exposes concerns with the current 3rd Generation Partnership Project (3GPP) TR 38.900 (Release 14) RMa path loss models adopted from the International Telecommunications Union - Radiocommunications (ITU-R) Sector. This paper shows how the 3GPP RMa large-scale path loss models were derived for frequencies below 6 GHz, yet they are being asserted for use up to 30 GHz, even though there has not been sufficient work or published data to support their validity at frequencies above 6 GHz or in the mmWave bands. We present the background of the 3GPP RMa path loss models and their use of odd correction factors not suitable for rural scenarios, and show that the multi-frequency close-in free space reference distance (CI) path loss model is more accurate and reliable than current 3GPP and ITU-R RMa models. Using field data and simulations, we introduce a new close-in free space reference distance with height dependent path loss exponent model (CIH), that predicts rural macrocell path loss using an effective path loss exponent that is a function of base station antenna height. This work shows the CI and CIH models can be used from 500 MHz to 100 GHz for rural mmWave coverage and interference analysis, without any discontinuity at 6 GHz as exists in today's 3GPP and ITU-R RMa models.


title: Extended ionized gas clouds in the Abell 1367 cluster

abstract: We surveyed a central 0.6 deg^2 region of Abell 1367 cluster for extended ionized gas clouds (EIGs) using the Subaru prime-focus camera (Suprime-Cam) with a narrow-band filter that covers Halpha. We discovered six new EIGs in addition to five known EIGs. We also found that the Halpha tail from the blue infalling group (BIG) is extended to about 330 kpc in projected distance, which is about twice longer than previously reported. Candidates of star-forming blobs in the tail are detected. The properties of the EIG parent galaxies in Abell 1367 basically resemble those in the Coma cluster. A noticeable difference is that the number of detached EIGs is significantly fewer in Abell 1367, while the fraction of blue member galaxies is higher. The results suggest a difference in the evolutionary stage of the clusters; Abell 1367 is at an earlier stage than the Coma cluster.


title: 10-qubit entanglement and parallel logic operations with a superconducting circuit

abstract: Here we report on the production and tomography of genuinely entangled Greenberger-Horne-Zeilinger states with up to 10 qubits connecting to a bus resonator in a superconducting circuit, where the resonator-mediated qubit-qubit interactions are used to controllably entangle multiple qubits and to operate on different pairs of qubits in parallel. The resulting 10-qubit density matrix is unambiguously probed, with a fidelity of $0.668 \pm 0.025$. Our results demonstrate the largest entanglement created so far in solid-state architectures, and pave the way to large-scale quantum computation.


title: General relativistic viscous hydrodynamics of differentially rotating neutron stars

abstract: Employing a simplified version of the Israel-Stewart formalism for general-relativistic shear-viscous hydrodynamics, we perform axisymmetric general-relativistic simulations for a rotating neutron star surrounded by a massive torus, which can be formed from differentially rotating stars. We show that with our choice of a shear-viscous hydrodynamics formalism, the simulations can be stably performed for a long time scale. We also demonstrate that with a possibly high shear-viscous coefficient, not only viscous angular momentum transport works but also an outflow could be driven from a hot envelope around the neutron star for a time scale $\gtrsim 100\,$ms with the ejecta mass $\gtrsim 10^{-2}M_\odot$ which is comparable to the typical mass for dynamical ejecta of binary neutron star mergers. This suggests that massive neutron stars surrounded by a massive torus, which are typical outcomes formed after the merger of binary neutron stars, could be the dominant source for providing neutron-rich ejecta, if the effective shear viscosity is sufficiently high, i.e., if the viscous $\alpha$ parameter is $\gtrsim 10^{-2}$. The present numerical result indicates the importance of a future high-resolution magnetohydrodynamics simulation that is the unique approach to clarify the viscous effect in the merger remnants of binary neutron stars by the first-principle manner.


title: Planecell: Representing the 3D Space with Planes

abstract: Reconstruction based on the stereo camera has received considerable attention recently, but two particular challenges still remain. The first concerns the need to aggregate similar pixels in an effective approach, and the second is to maintain as much of the available information as possible while ensuring sufficient accuracy. To overcome these issues, we propose a new 3D representation method, namely, planecell, that extracts planarity from the depth-assisted image segmentation and then projects these depth planes into the 3D world. An energy function formulated from Conditional Random Field that generalizes the planar relationships is maximized to merge coplanar segments. We evaluate our method with a variety of reconstruction baselines on both KITTI and Middlebury datasets, and the results indicate the superiorities compared to other 3D space representation methods in accuracy, memory requirements and further applications.


title: The binarity of Galactic dwarf stars along with effective temperature and metallicity

abstract: The fraction of binary stars (fb) is one of most valuable tool to probe the star formation and evolution of multiple systems in the Galaxy. We focus on the relationship between fb and stellar metallicity ([Fe/H]) by employing the differential radial velocity (DRV) method and the large sample observed by the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST). Main-sequence stars from A- to K-types in the third data release (DR3) of LAMOST are selected to estimate fb. Contributions to a profile of DRV from radial velocity (RV) error of single stars (\sigma) and orbital motion of binary stars are evaluated from the profile of DRV. Finally, we employ 365,911 stars with randomly repeating spectral observations to present a detailed analysis of fb and \sigma in the two-dimensional (2D) space of Teff and [Fe/H]. The A-type stars are more likely to be companions in binary star systems than other stars. Furthermore, the reverse correlation between fb and [Fe/H] can be shown statistically, which suggests that fb is a joint function of Teff and [Fe/H]. At the same time, \sigma of the sample for different Teff and [Fe/H] are fitted. Metal-rich cold stars in our sample have the best RV measurement.


title: Universal Persistence for Local Time of One-dimensional Random Walk

abstract: We prove the power law decay $p(t,x) \sim t^{-\phi(x,b)/2}$ in which $p(t,x)$ is the probability that the fraction of time up to $t$ in which a random walk $S$ of i.i.d. zero-mean increments taking finitely many values, is non-negative, exceeds $x$ throughout $s \in [1,t]$. Here $\phi(x,b)= \mathbb{P}(\text{L\'evy}(1/2,\kappa(x,b))<0)$ for $\kappa(x,b) = \frac{\sqrt{1-x} b - \sqrt{1+x}}{\sqrt{1-x} b + \sqrt{1+x}}$ and $b=b_S \geq 0$ measuring the asymptotic asymmetry between positive and negative excursions of the walk (with $b_s=1$ for symmetric increments).


title: Sensitivity and Network Topology in Chemical Reaction Systems

abstract: In living cells, biochemical reactions are catalyzed by specific enzymes and connect to one another by sharing substrates and products, forming complex networks. In our previous studies, we established a framework determining the responses to enzyme perturbations only from network topology, and then proved a theorem, called the law of localization, explaining response patterns in terms of network topology. In this paper, we generalize these results to reaction networks with conserved concentrations, which allows us to study any reaction systems. We also propose novel network characteristics quantifying robustness. We compare E. coli metabolic network with randomly rewired networks, and find that the robustness of the E. coli network is significantly higher than that of the random networks.


title: Differential quadrature method for space-fractional diffusion equations on 2D irregular domains

abstract: In mathematical physics, the space-fractional diffusion equations are of particular interest in the studies of physical phenomena modelled by L\'{e}vy processes, which are sometimes called super-diffusion equations. In this article, we develop the differential quadrature (DQ) methods for solving the 2D space-fractional diffusion equations on irregular domains. The methods in presence reduce the original equation into a set of ordinary differential equations (ODEs) by introducing valid DQ formulations to fractional directional derivatives based on the functional values at scattered nodal points on problem domain. The required weighted coefficients are calculated by using radial basis functions (RBFs) as trial functions, and the resultant ODEs are discretized by the Crank-Nicolson scheme. The main advantages of our methods lie in their flexibility and applicability to arbitrary domains. A series of illustrated examples are finally provided to support these points.


title: Interplay of dilution and magnetic field in the nearest-neighbor spin-ice model on the pyrochlore lattice

abstract: We study the magnetic field effects on the diluted spin-ice materials using the replica-exchange Monte Carlo simulation. We observe five plateaus in the magnetization curve of the diluted nearest-neighbor spin-ice model on the pyrochlore lattice when a magnetic field is applied in the [111] direction. This is in contrast to the case of the pure model with two plateaus. The origin of five plateaus is investigated from the spin configuration of two corner-sharing tetrahedra in the case of the diluted model.


title: Current-driven dynamics and inhibition of the skyrmion Hall effect of ferrimagnetic skyrmions in GdFeCo films

abstract: Magnetic skyrmions are swirling magnetic textures with novel characteristics suitable for future spintronic and topological applications. Recent studies confirmed the room-temperature stabilization of skyrmions in ultrathin ferromagnets. However, such ferromagnetic skyrmions show undesirable topological effect, the skyrmion Hall effect, which leads to their current-driven motion towards device edges, where skyrmions could easily be annihilated by topographic defects. Recent theoretical studies have predicted enhanced current-driven behaviour for antiferromagnetically exchange-coupled skyrmions. Here we present the stabilization of these skyrmions and their current-driven dynamics in ferrimagnetic GdFeCo films. By utilizing element-specific X-ray imaging, we find that the skyrmions in the Gd and FeCo sublayers are antiferromagnetically exchange-coupled. We further confirm that ferrimagnetic skyrmions can move at a velocity of ~50 m s-1 with reduced skyrmion Hall angle, {\theta}SkHE ~20{\deg}. Our findings open the door to ferrimagnetic and antiferromagnetic skyrmionics while providing key experimental evidences of recent theoretical studies.


title: Holomorphic Path Integrals in Tangent Space for Flat Manifolds

abstract: In this paper we study the quantum evolution in a flat Riemannian manifold. The holomorphic functions are defined on the cotangent bundle of this manifold. We construct Hilbert spaces of holomorphic functions in which the scalar product is defined using the exponential map. The quantum evolution is proposed by means of an infinitesimal propagator and the holomorphic Feynman integral is developed via the exponential map. The integration corresponding to each step of the Feynman integral is performed in the tangent space. Moreover, in the case of $S^1$, the method proposed in this paper naturally takes into account paths that must be included in the development of the corresponding Feynman integral.


title: Panchromatic Hubble Andromeda Treasury XVIII. The High-mass Truncation of the Star Cluster Mass Function

abstract: We measure the mass function for a sample of 840 young star clusters with ages between 10-300 Myr observed by the Panchromatic Hubble Andromeda Treasury (PHAT) survey in M31. The data show clear evidence of a high-mass truncation: only 15 clusters more massive than $10^4$ $M_{\odot}$ are observed, compared to $\sim$100 expected for a canonical $M^{-2}$ pure power-law mass function with the same total number of clusters above the catalog completeness limit. Adopting a Schechter function parameterization, we fit a characteristic truncation mass of $M_c = 8.5^{+2.8}_{-1.8} \times 10^3$ $M_{\odot}$. While previous studies have measured cluster mass function truncations, the characteristic truncation mass we measure is the lowest ever reported. Combining this M31 measurement with previous results, we find that the cluster mass function truncation correlates strongly with the characteristic star formation rate surface density of the host galaxy, where $M_c \propto$ $\langle \Sigma_{\mathrm{SFR}} \rangle^{\sim1.1}$. We also find evidence that suggests the observed $M_c$-$\Sigma_{\mathrm{SFR}}$ relation also applies to globular clusters, linking the two populations via a common formation pathway. If so, globular cluster mass functions could be useful tools for constraining the star formation properties of their progenitor host galaxies in the early Universe.


title: Wrinkling instability of an inhomogeneously stretched viscous sheet

abstract: Motivated by the redrawing of hot glass into thin sheets, we investigate the shape and stability of a thin viscous sheet that is inhomogeneously stretched in an imposed non-uniform temperature field. We first determine the associated base flow by solving the long-timescale stretching flow of a flat sheet as a function of two dimensionless parameters: the normalized stretching velocity $\alpha$, and a dimensionless width of the heating zone $\beta$. This allows us to determine the conditions for the onset of an out-of-plane wrinkling instability stated in terms of an eigenvalue problem for a linear partial differential equation governing the displacement of the midsurface of the sheet. We show the sheet can become unstable in two regions that are upstream and downstream of the heating zone where the minimum in-plane stress is negative. This yields the shape and growth rates of the most unstable buckling mode in both regions for various values of the stretching velocity and heating zone width. A transition from stationary to oscillatory unstable modes is found in the upstream region with increasing $\beta$ while the downstream region is always stationary. We show that the wrinkling instability can be entirely suppressed when the surface tension is large enough relative to the magnitude of the in-plane stress. Finally, we present an operating diagram that indicates regions of the parameter space that result in a required outlet sheet thickness upon stretching, while simultaneously minimizing or suppressing the out-of-plane buckling; a result that is relevant for the glass redraw method used to create ultrathin glass sheets.


title: Energy Harvesting Enabled MIMO Relaying through PS

abstract: This paper considers a multiple-input multiple-output (MIMO) relay system with an energy harvesting relay node. All nodes are equipped with multiple antennas, and the relay node depends on the harvested energy from the received signal to support information forwarding. In particular, the relay node deploys power splitting based energy harvesting scheme. The capacity maximization problem subject to power constraints at both the source and relay nodes is considered for both fixed source covariance matrix and optimal source covariance matrix cases. Instead of using existing software solvers, iterative approaches using dual decomposition technique are developed based on the structures of the optimal relay precoding and source covariance matrices. Simulation results demonstrate the performance gain of the joint optimization against the fixed source covariance matrix case.


title: Planetary gravities on a low budget: sample test of a Mars rover wheel

abstract: We introduce an instrument for a wide spectrum of experiments on gravities other than our planet's. It is based on a large Atwood machine where one of the loads is a bucket equipped with a single board computer and different sensors. The computer is able to detect the falling (or rising) and then the stabilization of the effective gravity and to trigger actuators depending on the experiment. Gravities within the range 0.4 g to 1.2 g are easily achieved with acceleration noise of the order of 0.01 g. Under Martian gravity we are able to perform experiments of approximately 1.5 seconds duration. The system includes features such as WiFi and a web interface with tools for the setup, monitor and the data analysis of the experiment. We briefly show a case study in testing the performance of a model Mars rover wheel in low gravities.