title: Formal Analysis of Linear Control Systems using Theorem Proving

abstract: Control systems are an integral part of almost every engineering and physical system and thus their accurate analysis is of utmost importance. Traditionally, control systems are analyzed using paper-and-pencil proof and computer simulation methods, however, both of these methods cannot provide accurate analysis due to their inherent limitations. Model checking has been widely used to analyze control systems but the continuous nature of their environment and physical components cannot be truly captured by a state-transition system in this technique. To overcome these limitations, we propose to use higher-order-logic theorem proving for analyzing linear control systems based on a formalized theory of the Laplace transform method. For this purpose, we have formalized the foundations of linear control system analysis in higher-order logic so that a linear control system can be readily modeled and analyzed. The paper presents a new formalization of the Laplace transform and the formal verification of its properties that are frequently used in the transfer function based analysis to judge the frequency response, gain margin and phase margin, and stability of a linear control system. We also formalize the active realizations of various controllers, like Proportional-Integral-Derivative (PID), Proportional-Integral (PI), Proportional-Derivative (PD), and various active and passive compensators, like lead, lag and lag-lead. For illustration, we present a formal analysis of an unmanned free-swimming submersible vehicle using the HOL Light theorem prover.


title: Modelling wormholes in $f(R,T)$ gravity

abstract: In this work we propose the modelling of static wormholes within the $f(R,T)$ extended theory of gravity perspective. We present some models of wormholes, which are constructed from different hypothesis for their matter content, i.e., different relations for their pressure components (radial and lateral) and different equations of state. The solutions obtained for the shape function of the wormholes obey the necessary metric conditions. They show a behaviour similar to those found in previous references about wormholes, which also happens to our solutions for the energy density of such objects. We also apply the energy conditions for the wormholes physical content.


title: Mehler's formulas for the univariate complex Hermite polynomials and applications

abstract: We give two widest Mehler's formulas for the univariate complex Hermite polynomials $H_{m,n}^\nu$, by performing double summations involving the products $u^m H_{m,n}^\nu (z,\overline{z}) \overline{H_{m,n}^\nu (w,\overline{w})}$ and $u^m v^n H_{m,n}^\nu (z,\overline{z}) \overline{H_{m,n}^{\nu'} (w,\overline{w})}$. They can be seen as the complex analogues of the classical Mehler's formula for the real Hermite polynomials. The proof of the first one is based on a generating function giving rise to the reproducing kernel of the generalized Bargmann space of level $m$. The second Mehler's formula generalizes the one appearing as a particular case of the so-called Kibble-Slepian formula. The proofs, we present here are direct and more simpler. Moreover, direct applications are given and remarkable identities are derived.


title: Hybrid marked point processes: characterisation, existence and uniqueness

abstract: We introduce a class of hybrid marked point processes, which encompasses and extends continuous-time Markov chains and Hawkes processes. While this flexible class amalgamates such existing processes, it also contains novel processes with complex dynamics. These processes are defined implicitly via their intensity and are endowed with a state process that interacts with past-dependent events. The key example we entertain is an extension of a Hawkes process, a state-dependent Hawkes process interacting with its state process. We show the existence and uniqueness of hybrid marked point processes under general assumptions, extending the results of Massouli\'e (1998) on interacting point processes.


title: Split and Rephrase

abstract: We propose a new sentence simplification task (Split-and-Rephrase) where the aim is to split a complex sentence into a meaning preserving sequence of shorter sentences. Like sentence simplification, splitting-and-rephrasing has the potential of benefiting both natural language processing and societal applications. Because shorter sentences are generally better processed by NLP systems, it could be used as a preprocessing step which facilitates and improves the performance of parsers, semantic role labellers and machine translation systems. It should also be of use for people with reading disabilities because it allows the conversion of longer sentences into shorter ones. This paper makes two contributions towards this new task. First, we create and make available a benchmark consisting of 1,066,115 tuples mapping a single complex sentence to a sequence of sentences expressing the same meaning. Second, we propose five models (vanilla sequence-to-sequence to semantically-motivated models) to understand the difficulty of the proposed task.


title: Optimizing Joint Data and Power Transfer in Energy Harvesting Multiuser Wireless Networks

abstract: Energy harvesting emerges as a potential solution for prolonging the lifetime of the energy-constrained mobile wireless devices. In this paper, we focus on Radio Frequency (RF) energy harvesting for multiuser multicarrier mobile wireless networks. Specifically, we propose joint data and energy transfer optimization frameworks for powering mobile wireless devices through RF energy harvesting. We introduce a power utility that captures the power consumption cost at the base station (BS) and the used power from the users' batteries, and determine optimal power resource allocations that meet data rate requirements of downlink and uplink communications. Two types of harvesting capabilities are considered at each user: harvesting only from dedicated RF signals and hybrid harvesting from both dedicated and ambient RF signals. The developed frameworks increase the end users' battery lifetime at the cost of a slight increase in the BS power consumption. Several evaluation studies are conducted in order to validate our proposed frameworks.


title: Where is My Next Hop ? The Case of Indian Ocean Islands

abstract: Internet has become a foundation of our modern society. However, all regions or countries do not have the same Internet access regarding quality especially in the Indian Ocean Area (IOA). To improve this quality it is important to have a deep knowledge of the Internet physical and logical topology and associated performance. However, these knowledges are not shared by Internet service providers. In this paper, we describe a large scale measurement study in which we deploy probes in different IOA countries, we generate network traces, develop a tool to extract useful information and analyze these information. We show that most of the IOA traffic exits through one point even if there exists multiple exit points.


title: Cost-Driven Ontology-Based Data Access (Extended Version)

abstract: In ontology-based data access (OBDA), users are provided with a conceptual view of a (relational) data source that abstracts away details about data storage. This conceptual view is realized through an ontology that is connected to the data source through declarative mappings, and query answering is carried out by translating the user queries over the conceptual view into SQL queries over the data source. Standard translation techniques in OBDA try to transform the user query into a union of conjunctive queries (UCQ), following the heuristic argument that UCQs can be efficiently evaluated by modern relational database engines. In this work, we show that translating to UCQs is not always the best choice, and that, under certain conditions on the interplay between the ontology, the map- pings, and the statistics of the data, alternative translations can be evaluated much more efficiently. To find the best translation, we devise a cost model together with a novel cardinality estimation that takes into account all such OBDA components. Our experiments confirm that (i) alternatives to the UCQ translation might produce queries that are orders of magnitude more efficient, and (ii) the cost model we propose is faithful to the actual query evaluation cost, and hence is well suited to select the best translation.


title: New 5-designs---revisited

abstract: This note comments on parts of "New 5-designs." We cite Chebotarev's theorem; we correct some minor errors and we clarify our proof of the Gleason-Prange theorem.


title: Weighted Remez- and Nikolskii-Type Inequalities on a Quasismooth Curve

abstract: We establish sharp $L_p,1\le p<\infty$ weighted Remez- and Nikolskii-type inequalities for algebraic polynomials considered on a quasismooth (in the sense of Lavrentiev) curve in the complex plane.


title: Analytical solution for the Zee mechanism

abstract: We found an analytical solution for the neutrino mass matrix in the most general case of the Zee model. Using the recent data on the neutrino parameters besides generating neutrino masses at 1-loop level we fit also the masses of the charged leptons and the leptonic mixing matrix. We also show in what conditions the model is not compatible with neutrino data.


title: A Multi-Scale CNN and Curriculum Learning Strategy for Mammogram Classification

abstract: Screening mammography is an important front-line tool for the early detection of breast cancer, and some 39 million exams are conducted each year in the United States alone. Here, we describe a multi-scale convolutional neural network (CNN) trained with a curriculum learning strategy that achieves high levels of accuracy in classifying mammograms. Specifically, we first train CNN-based patch classifiers on segmentation masks of lesions in mammograms, and then use the learned features to initialize a scanning-based model that renders a decision on the whole image, trained end-to-end on outcome data. We demonstrate that our approach effectively handles the "needle in a haystack" nature of full-image mammogram classification, achieving 0.92 AUROC on the DDSM dataset.


title: Superconvergence in a DPG method for an ultra-weak formulation

abstract: In this work we study a DPG method for an ultra-weak variational formulation of a reaction-diffusion problem. We improve existing a priori convergence results by sharpening an approximation result for the numerical flux. By duality arguments we show that higher convergence rates for the scalar field variable are obtained if the polynomial order of the corresponding approximation space is increased by one. Furthermore, we introduce a simple elementwise postprocessing of the solution and prove superconvergence. Numerical experiments indicate that the obtained results are valid beyond the underlying model problem.


title: Magnetism out of disorder in a J=0 compound Ba2YIrO6

abstract: We systematically investigate the magnetic properties and local structure of Ba2YIrO6 to demonstrate that Y and Ir lattice defects in the form of antiphase boundary or clusters of antisite disorder affect the magnetism observed in this $d^4$ compound. We compare the magnetic properties and atomic imaging of (1) a slow cooled crystal, (2) a crystal quenched from 900\degree C after growth, and (3) a crystal grown using a faster cooling rate than the slow cooled one. Atomic imaging by scanning transmission electron microscopy (STEM) shows that quenching from 900oC introduces antiphase boundary to the crystals, and a faster cooling rate during crystal growth leads to clusters of Y and Ir antisite disorder. STEM study suggests the antiphase boundary region is Ir-rich with a composition of Ba2YIrO6. The magnetic measurements show that Ba2YIrO6 crystals with clusters of antisite defects have a larger effective moment and a larger saturation moment than the slow-cooled crystals. Quenched crystals with Ir-rich antiphase boundary shows a slightly suppressed saturation moment than the slow cooled crystals, and this seems to suggest that antiphase boundary is detrimental to the moment formation. Our DFT calculations suggest magnetic condensation is unlikely as the energy to be gained from superexchange is small compared to the spin-orbit gap. However, once Y is replaced by Ir in the antisite disordered region, the picture of local non-magnetic singlets breaks down and magnetism can be induced. This is because of (a) enhanced interactions due to increased overlap of orbitals between sites, and, (b) increased number of orbitals mediating the interactions. Our work highlights the importance of lattice defects in understanding the experimentally observed magnetism in Ba2YIrO6 and other J=0 systems.


title: Time Evolution of Many-Body Localized Systems with the Flow Equation Approach

abstract: The interplay between interactions and quenched disorder can result in rich dynamical quantum phenomena far from equilibrium, particularly when many-body localization prevents the system from full thermalization. With the aim of tackling this interesting regime, here we develop a semi-analytical flow equation approach to study time evolution of strongly disordered interacting quantum systems. We apply this technique to a prototype model of interacting spinless fermions in a random on-site potential in both one and two dimensions. Key results include (i) an explicit construction of the local integrals of motion that characterize the many-body localized phase in one dimension, ultimately connecting the microscopic model to phenomenological descriptions, (ii) calculation of these quantities for the first time in two dimensions, and (iii) an investigation of the real-time dynamics in the localized phase which reveals the crucial role of $l$-bit interactions for enhancing dephasing and relaxation.


title: Persistent-homology-based gait recognition

abstract: Gait recognition is an important biometric technique for video surveillance tasks, due to the advantage of using it at distance. In this paper, we present a persistent homology-based method to extract topological features (the so-called {\it topological gait signature}) from the the body silhouettes of a gait sequence. % It has been used before in several conference papers of the same authors for human identification, gender classification, carried object detection and monitoring human activities at distance. % The novelty of this paper is the study of the stability of the topological gait signature under small perturbations and the number of gait cycles contained in a gait sequence. In other words, we show that the topological gait signature is robust to the presence of noise in the body silhouettes and to the number of gait cycles contained in a given gait sequence. % We also show that computing our topological gait signature of only the lowest fourth part of the body silhouette, we avoid the upper body movements that are unrelated to the natural dynamic of the gait, caused for example by carrying a bag or wearing a coat.


title: Extracting and Exploiting Inherent Sparsity for Efficient IoT Support in 5G: Challenges and Potential Solutions

abstract: Besides enabling an enhanced mobile broadband, next generation of mobile networks (5G) are envisioned for the support of massive connectivity of heterogeneous Internet of Things (IoT)s. These IoTs are envisioned for a large number of use-cases including smart cities, environment monitoring, smart vehicles, etc. Unfortunately, most IoTs have very limited computing and storage capabilities and need cloud services. Hence, connecting these devices through 5G systems requires huge spectrum resources in addition to handling the massive connectivity and improved security. This article discusses the challenges facing the support of IoTs through 5G systems. The focus is devoted to discussing physical layer limitations in terms of spectrum resources and radio access channel connectivity. We show how sparsity can be exploited for addressing these challenges especially in terms of enabling wideband spectrum management and handling the connectivity by exploiting device-to-device communications and edge-cloud. Moreover, we identify major open problems and research directions that need to be explored towards enabling the support of massive heterogeneous IoTs through 5G systems.


title: Thermodynamics of Quantum Phase Transitions of a Dirac oscillator in a homogenous magnetic field

abstract: The Dirac oscillator in a homogenous magnetic field exhibits a chirality phase transition at a particular (critical) value of the magnetic field. Recently, this system has also been shown to be exactly solvable in the context of noncommutative quantum mechanics featuring the interesting phenomenon of re-entrant phase transitions. In this work we provide a detailed study of the thermodynamics of such quantum phase transitions (both in the standard and in the noncommutative case) within the Maxwell-Boltzmann statistics pointing out that the magnetization has discontinuities at critical values of the magnetic field even at finite temperatures.

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


title: DPS in CGC: Double Quark Production and Effects of Quantum Statistics

abstract: We consider forward inclusive production of two quarks in the high energy p-A collisions in the CGC formalism. We demonstrate that the production cross-section is determined by the convolution of the proton generalized double transverse momentum-dependent distribution (2GTMD) functions with two independent eikonal scattering amplitudes: the product of two dipoles and a quadrupole. We explicitly demonstrate that the quadrupole amplitude term accounts for all the (initial and final state) effects of quantum statistics for identical fermions, and the correlations due to these effects. We also demonstrate that the effects due to quantum statistics (entirely encoded in the quadrupole) are parametrically leading contributions to the correlated particle production at large $N_c$. For non-identical quarks the quadrupole term also leads to correlated production which has characteristics similar to the HBT effect.


title: The m-th root Finsler geometry of the Bogoslovsky-Goenner metric

abstract: In this paper we present the m-th root Finsler geometries of the three and four dimensional Bogoslovsky-Goenner metrics (good Finslerian anisotropic models in Special Relativity), in the sense of their Cartan torsion and curvature distinguished tensors or vertical Einstein-like equations.


title: The plasticity of non-overlapping convex sets in R^{2}

abstract: We study a generalization of the weighted Fermat-Torricelli problem in the plane, which is derived by replacing vertices of a convex polygon by 'small' closed convex curves with weights being positive real numbers on the curves, we also study its generalized inverse problem. Our solution of the problems is based on the first variation formula of the length of line segments that connect the weighted Fermat-Torricelli point with its projections onto given closed convex curves. We find the 'plasticity' solutions for non-overlapping circles with variable radius.


title: A Framework for Multi-Vehicle Navigation Using Feedback-Based Motion Primitives

abstract: We present a hybrid control framework for solving a motion planning problem among a collection of heterogenous agents. The proposed approach utilizes a finite set of low-level motion primitives, each based on a piecewise affine feedback control, to generate complex motions in a gridded workspace. The constraints on allowable sequences of successive motion primitives are formalized through a maneuver automaton. At the higher level, a control policy generated by a shortest path non-deterministic algorithm determines which motion primitive is executed in each box of the gridded workspace. The overall framework yields a highly robust control design on both the low and high levels. We experimentally demonstrate the efficacy and robustness of this framework for multiple quadrocopters maneuvering in a 2D or 3D workspace.


title: Towards a Holographic Quark Matter Crystal

abstract: We construct the gravity dual of $d=4$, $\mathcal{N}=4$, SU($N_\rm{c}$) super Yang-Mills theory, coupled to $N_\rm{f}$ flavors of dynamical quarks, at non-zero temperature $T$ and non-zero quark density $N_\rm{q}$. The supergravity solutions possess a regular horizon if $T>0$ and include the backreaction of $N_\rm{c}$ color D3-branes and $N_\rm{f}$ flavor D7-branes with $N_\rm{q}$ units of electric flux on their worldvolume. At zero temperature the solutions interpolate between a Landau pole singularity in the ultraviolet and a Lifshitz geometry in the infrared. At high temperature the thermodynamics is directly sensitive to the Landau pole, whereas at low temperature it is not, as expected from effective field theory. At low temperature and sufficiently high charge density we find thermodynamic and dynamic instabilities towards the spontaneous breaking of translation invariance.


title: Memory-Efficient Implementation of DenseNets

abstract: The DenseNet architecture is highly computationally efficient as a result of feature reuse. However, a naive DenseNet implementation can require a significant amount of GPU memory: If not properly managed, pre-activation batch normalization and contiguous convolution operations can produce feature maps that grow quadratically with network depth. In this technical report, we introduce strategies to reduce the memory consumption of DenseNets during training. By strategically using shared memory allocations, we reduce the memory cost for storing feature maps from quadratic to linear. Without the GPU memory bottleneck, it is now possible to train extremely deep DenseNets. Networks with 14M parameters can be trained on a single GPU, up from 4M. A 264-layer DenseNet (73M parameters), which previously would have been infeasible to train, can now be trained on a single workstation with 8 NVIDIA Tesla M40 GPUs. On the ImageNet ILSVRC classification dataset, this large DenseNet obtains a state-of-the-art single-crop top-1 error of 20.26%.


title: Non-linear Realizations and Higher Curvature Supergravity

abstract: We focus on non-linear realizations of local supersymmetry as obtained by using constrained superfields in supergravity. New constraints, beyond those of rigid supersymmetry, are obtained whenever curvature multiplets are affected as well as higher derivative interactions are introduced. In particular, a new constraint, which removes a very massive gravitino is introduced, and in the rigid limit it merely reduces to an explicit supersymmetry breaking. Higher curvature supergravities free of ghosts and instabilities are also obtained in this way. Finally, we consider direct coupling of the goldstino multiplet to the super Gauss--Bonnet multiplet and discuss the emergence of a new scalar degree of freedom.


title: Ideological Sublations: Resolution of Dialectic in Population-based Optimization

abstract: A population-based optimization algorithm was designed, inspired by two main thinking modes in philosophy, both based on dialectic concept and thesis-antithesis paradigm. They impose two different kinds of dialectics. Idealistic and materialistic antitheses are formulated as optimization models. Based on the models, the population is coordinated for dialectical interactions. At the population-based context, the formulated optimization models are reduced to a simple detection problem for each thinker (particle). According to the assigned thinking mode to each thinker and her/his measurements of corresponding dialectic with other candidate particles, they deterministically decide to interact with a thinker in maximum dialectic with their theses. The position of a thinker at maximum dialectic is known as an available antithesis among the existing solutions. The dialectical interactions at each ideological community are distinguished by meaningful distributions of step-sizes for each thinking mode. In fact, the thinking modes are regarded as exploration and exploitation elements of the proposed algorithm. The result is a delicate balance without any requirement for adjustment of step-size coefficients. Main parameter of the proposed algorithm is the number of particles appointed to each thinking modes, or equivalently for each kind of motions. An additional integer parameter is defined to boost the stability of the final algorithm in some particular problems. The proposed algorithm is evaluated by a testbed of 12 single-objective continuous benchmark functions. Moreover, its performance and speed were highlighted in sparse reconstruction and antenna selection problems, at the context of compressed sensing and massive MIMO, respectively. The results indicate fast and efficient performance in comparison with well-known evolutionary algorithms and dedicated state-of-the-art algorithms.


title: Self-shielding of hydrogen in the IGM during the epoch of reionization

abstract: We investigate self-shielding of intergalactic hydrogen against ionizing radiation in radiative transfer simulations of cosmic reionization carefully calibrated with Lyman alpha forest data. While self-shielded regions manifest as Lyman-limit systems in the post-reionization Universe, here we focus on their evolution during reionization (redshifts z=6-10). At these redshifts, the spatial distribution of hydrogen-ionizing radiation is highly inhomogeneous, and some regions of the Universe are still neutral. After masking the neutral regions and ionizing sources in the simulation, we find that the hydrogen photoionization rate depends on the local hydrogen density in a manner very similar to that in the post-reionization Universe. The characteristic physical hydrogen density above which self-shielding becomes important at these redshifts is about $\mathrm{n_H \sim 3 \times 10^{-3} cm^{-3}}$, or $\sim$ 20 times the mean hydrogen density, reflecting the fact that during reionization photoionization rates are typically low enough that the filaments in the cosmic web are often self-shielded. The value of the typical self-shielding density decreases by a factor of 3 between redshifts z=3 and 10, and follows the evolution of the average photoionization rate in ionized regions in a simple fashion. We provide a simple parameterization of the photoionization rate as a function of density in self-shielded regions during the epoch of reionization.


title: Hilbert repulsion in the Reissner-Nordstr\"om and Schwarzschild spacetimes

abstract: Studying particle motion in the gravitational field of a black hole from the perspective of different observers is important for separating the coordinate artifacts from the physical phenomena. In this paper, we show that a freely falling test particle exhibits gravitational repulsion by a black hole as seen by an asymptotic observer, whereas nothing of the kind happens as recorded by a freely falling observer or by an observer located at a finite distance from the event horizon. This analysis is carried out for a general Reissner-Nordstr\"om, an extremal Reissner-Nordstr\"om, and a Schwarzschild black hole. We are lead to conclude that the origin of these bizarre results lies in the fact that the quantities measured by the different observers are neither Lorentz scalars nor gauge invariant.


title: The curious case of the double-slit experiment and a black hole

abstract: This experiment was conceived of as a method of transmitting information from inside a black hole to the outside. As it turns out, it doesn't work in the form described (and possibly not in any form), but the way in which Nature prevents quantum-mechanical effects from transmitting usable information using quantum correlations is illuminating. In the process, one can learn some quantum theory, as well as quantum optics. The proposed scheme uses a double-slit experiment, in the manner of the Delayed Choice set up (see Kim et. al.), where the region where the interference takes place (between "signal" photons) is spatially separated from the region where the Delayed Choice (with "idler" photons) is made. Indeed, this Double-Delayed Choice, which is this thought experiment, has one of the idler photons slip inside the event horizon and serves as the method to attempt to communicate from the inside to the outside.


title: A Sentiment-and-Semantics-Based Approach for Emotion Detection in Textual Conversations

abstract: Emotions are physiological states generated in humans in reaction to internal or external events. They are complex and studied across numerous fields including computer science. As humans, on reading "Why don't you ever text me!" we can either interpret it as a sad or angry emotion and the same ambiguity exists for machines. Lack of facial expressions and voice modulations make detecting emotions from text a challenging problem. However, as humans increasingly communicate using text messaging applications, and digital agents gain popularity in our society, it is essential that these digital agents are emotion aware, and respond accordingly. In this paper, we propose a novel approach to detect emotions like happy, sad or angry in textual conversations using an LSTM based Deep Learning model. Our approach consists of semi-automated techniques to gather training data for our model. We exploit advantages of semantic and sentiment based embeddings and propose a solution combining both. Our work is evaluated on real-world conversations and significantly outperforms traditional Machine Learning baselines as well as other off-the-shelf Deep Learning models.


title: Machine Learning for Structured Clinical Data

abstract: Research is a tertiary priority in the EHR, where the priorities are patient care and billing. Because of this, the data is not standardized or formatted in a manner easily adapted to machine learning approaches. Data may be missing for a large variety of reasons ranging from individual input styles to differences in clinical decision making, for example, which lab tests to issue. Few patients are annotated at a research quality, limiting sample size and presenting a moving gold standard. Patient progression over time is key to understanding many diseases but many machine learning algorithms require a snapshot, at a single time point, to create a usable vector form. Furthermore, algorithms that produce black box results do not provide the interpretability required for clinical adoption. This chapter discusses these challenges and others in applying machine learning techniques to the structured EHR (i.e. Patient Demographics, Family History, Medication Information, Vital Signs, Laboratory Tests, Genetic Testing). It does not cover feature extraction from additional sources such as imaging data or free text patient notes but the approaches discussed can include features extracted from these sources.


title: From quarks to nucleons in dark matter direct detection

abstract: We provide expressions for the nonperturbative matching of the effective field theory describing dark matter interactions with quarks and gluons to the effective theory of nonrelativistic dark matter interacting with nonrelativistic nucleons. We give the leading and subleading order expressions in chiral counting. In general, a single partonic operator already matches onto several nonrelativistic operators at leading order in chiral counting. Thus, keeping only one operator at the time in the nonrelativistic effective theory does not properly describe the scattering in direct detection. Moreover, the matching of the axial--axial partonic level operator, as well as the matching of the operators coupling DM to the QCD anomaly term, naively include momentum suppressed terms. However, these are still of leading chiral order due to pion poles and can be numerically important. We illustrate the impact of these effects with several examples.


title: Direct $CP$ Violation in $K \to \mu^+ \mu^-$

abstract: A rare decay $K_L \to \mu^+ \mu^- $ has been measured precisely, while a rare decay $K_S \to \mu^+ \mu^- $ will be observed by an upgrade of the LHCb experiment. Although both processes are almost CP-conserving decays, we point out that an interference contribution between $K_L$ and $K_S$ in the kaon beam emerges from a genuine direct CP violation. It is found that the interference contribution can change $K_S \to \mu^+ \mu^-$ standard-model predictions at $\mathcal{O}(60\%)$. We also stress that an unknown sign of $\mathcal{A}(K_L \to \gamma \gamma)$ can be determined by a measurement of the interference, which can much reduce a theoretical uncertainty of $\mathcal{B}(K_L \to \mu^+ \mu^-)$. We also investigate the interference in a new physics model, where the $\epsilon'_K / \epsilon_K$ tension is explained by an additional $Z$-penguin contribution.


title: LHC Dark Matter Signals from Vector Resonances and Top Partners

abstract: Extensions of the Standard Model which address the hierarchy problem and dark matter (DM) often contain top partners and additional resonances at the TeV scale. We explore the phenomenology of a simplified effective model with a vector resonance $Z'$, a fermionic vector-like coloured partner of the top quark $T'$ as well as a scalar DM candidate $\phi$ and provide publicly available implementations in CalcHEP and MadGraph. We study the $pp \to Z' \to T'\overline{T'} \to t\bar{t}\,\phi\phi$ process at the LHC and find that it plays an important role in addition to the $T'\overline{T'}$ production via strong interactions. It turns out that the presence of the $Z'$ can provide a dominant contribution to the $t\bar{t}+E_T^{\text{miss}}$ signature without conflicting with existing bounds from $Z'$ searches in di-jet and di-lepton final states. We find that through this process, the LHC is already probing DM masses up to about 900 GeV and top partner masses up to about 1.5 TeV, thus exceeding the current bounds from QCD production alone almost by a factor of two for both particles.


title: Magnetic Inflation and Stellar Mass I: Revised Parameters for the Component Stars of the Kepler Low-mass Eclipsing Binary T-Cyg1-12664

abstract: Several low-mass eclipsing binary stars show larger than expected radii for their measured mass, metallicity and age. One proposed mechanism for this radius inflation involves inhibited internal convection and starspots caused by strong magnetic fields. One particular eclipsing binary, T-Cyg1-12664, has proven confounding to this scenario. \citet{Cakirli2013a} measured a radius for the secondary component that is twice as large as model predictions for stars with the same mass and age, but a primary mass that is consistent with predictions. \citet[][]{Iglesias2017} independently measured the radii and masses of the component stars and found that the radius of the secondary is not in fact inflated with respect to models, but that the primary is, consistent with the inhibited convection scenario. However, in their mass determinations, \citet[][]{Iglesias2017} lacked independent radial velocity measurements for the secondary component due to the star's faintness at optical wavelengths. The secondary component is especially interesting as its purported mass is near the transition from partially-convective to a fully-convective interior. In this article we independently determined the masses and radii of the component stars of T-Cyg1-12664 using archival {\it Kepler} data and radial velocity measurements of both component stars obtained with IGRINS on the Discovery Channel Telescope and NIRSPEC and HIRES on the Keck Telescopes. We show that neither of the component stars is inflated with respect to models. Our results are broadly consistent with modern stellar evolutionary models for main-sequence M dwarf stars and do not require inhibited convection by magnetic fields to account for the stellar radii.


title: Supersymmetric branes and instantons on curved spaces

abstract: We discuss non-linear instantons in supersymmetric field theories on curved spaces arising from D-branes. Focusing on D3-branes and four-dimensional field theories, we derive the supersymmetry conditions and show the intimate relation between the instanton solutions and the non-linearly realized supersymmetries of the field theory. We demonstrate that field theories with non-linearly realized supersymmetries are coupled to supergravity backgrounds in a similar fashion as those with linearly realized supersymmetries, and provide details on how to derive such couplings from a type II perspective.


title: Witnessing galaxy assembly in an extended z~3 structure

abstract: We present new observations acquired with the Multi Unit Spectroscopic Explorer instrument on the Very Large Telescope in a quasar field that hosts a high column-density damped Ly{\alpha} absorber (DLA) at z~3.25. We detect Ly{\alpha} emission from a nebula at the redshift of the DLA with line luminosity (27+/-1)x1e41 erg/s, which extends over 37+/-1 kpc above a surface brightness limit of 6x1e-19 erg/s/cm2/arcsec2 at a projected distance of 30.5+/-0.5 kpc from the quasar sightline. Two clumps lie inside this nebula, both with Ly{\alpha} rest-frame equivalent width > 50 A and with relative line-of-sight velocities aligned with two main absorption components seen in the DLA spectrum. In addition, we identify a compact galaxy at a projected distance of 19.1+/-0.5 kpc from the quasar sightline. The galaxy spectrum is noisy but consistent with that of a star-forming galaxy at the DLA redshift. We argue that the Ly{\alpha} nebula is ionized by radiation from star formation inside the two clumps, or by radiation from the compact galaxy. In either case, these data imply the presence of a structure with size >>50 kpc inside which galaxies are assembling, a picture consistent with galaxy formation in groups and filaments as predicted by cosmological simulations such as the EAGLE simulations.


title: Universal upper bounds on the Bose-Einstein condensate and the Hubbard star

abstract: For $N$ hard-core bosons on an arbitrary lattice with $d$ sites and independent of additional interaction terms we prove that the hard-core constraint itself already enforces a universal upper bound on the Bose-Einstein condensate given by $N_{max}=(N/d)(d-N+1)$. This bound can only be attained for one-particle states $|\varphi\rangle$ with equal amplitudes with respect to the hard-core basis (sites) and when the corresponding $N$-particle state $|\Psi\rangle$ is maximally delocalized. This result is generalized to the maximum condensate possible within a given sublattice. We observe that such maximal local condensation is only possible if the mode entanglement between the sublattice and its complement is minimal. We also show that the maximizing state $|\Psi\rangle$ is related to the ground state of a bosonic `Hubbard star' showing Bose-Einstein condensation.


title: Gas Content and Kinematics in Clumpy, Turbulent Star-forming Disks

abstract: We present molecular gas mass estimates for a sample of 13 local galaxies whose kinematic and star forming properties closely resemble those observed in $z\approx 1.5$ main-sequence galaxies. Plateau de Bure observations of the CO[1-0] emission line and Herschel Space Observatory observations of the dust emission both suggest molecular gas mass fractions of ~20%. Moreover, dust emission modeling finds $T_{dust}<$30K, suggesting a cold dust distribution compared to their high infrared luminosity. The gas mass estimates argue that $z\sim$0.1 DYNAMO galaxies not only share similar kinematic properties with high-z disks, but they are also similarly rich in molecular material. Pairing the gas mass fractions with existing kinematics reveals a linear relationship between $f_{gas}$ and $\sigma$/$v_{c}$, consistent with predictions from stability theory of a self-gravitating disk. It thus follows that high gas velocity dispersions are a natural consequence of large gas fractions. We also find that the systems with lowest depletion times ($\sim$0.5 Gyr) have the highest ratios of $\sigma$/$v_{c}$ and more pronounced clumps, even at the same high molecular gas fraction.


title: Decay Rate of Magnetic Dipoles near Non-magnetic Nanostructures

abstract: In this article, we propose a concise theoretical framework based on mixed field-susceptibilities to describe the decay of magnetic dipoles induced by non--magnetic nanostructures. This approach is first illustrated in simple cases in which analytical expressions of the decay rate can be obtained. We then show that a more refined numerical implementation of this formalism involving a volume discretization and the computation of a generalized propagator can predict the dynamics of magnetic dipoles in the vicinity of nanostructures of arbitrary geometries. We finally demonstrate the versatility of this numerical method by coupling it to an evolutionary optimization algorithm. In this way we predict a structure geometry which maximally promotes the decay of magnetic transitions with respect to electric emitters.


title: Reduced Diversity of Life Around Proxima Centauri and TRAPPIST-1

abstract: The recent discovery of potentially habitable exoplanets around Proxima Centauri and TRAPPIST-1 has attracted much attention due to their potential for hosting life. We delineate a simple model that accurately describes the evolution of biological diversity on Earth. Combining this model with constraints on atmospheric erosion and the maximal evolutionary timescale arising from the star's lifetime, we arrive at two striking conclusions: (i) Earth-analogs orbiting low-mass M-dwarfs are unlikely to be inhabited, and (ii) K-dwarfs and some G-type stars are potentially capable of hosting more complex biospheres than the Earth. Hence, future searches for biosignatures may have higher chances of success when targeting planets around K-type stars.


title: MBL-mobile: Quantum engine based on many-body localization

abstract: Many-body-localized (MBL) systems do not thermalize under their intrinsic dynamics. The athermality of MBL, we propose, can be harnessed for thermodynamic tasks. We illustrate this ability by formulating an Otto engine cycle for a quantum many-body system. The system is ramped between a strongly localized MBL regime and a thermal (or weakly localized) regime. The difference between the energy-level correlations of MBL systems and of thermal systems enables mesoscale engines to run in parallel in the thermodynamic limit, enhances the engine's reliability, and suppresses worst-case trials. We estimate analytically and calculate numerically the engine's efficiency and per-cycle power. The efficiency mirrors the efficiency of the conventional thermodynamic Otto engine. The per-cycle power scales linearly with the system size and inverse-exponentially with a localization length. This work introduces a thermodynamic lens onto MBL, which, having been studied much recently, can now be considered for use in thermodynamic tasks.


title: Two-photon Lithography for 3D Magnetic Nanostructure Fabrication

abstract: Ferromagnetic materials have been utilised as recording media within data storage devices for many decades. Confinement of the material to a two dimensional plane is a significant bottleneck in achieving ultra-high recording densities and this has led to the proposition of three dimensional (3D) racetrack memories that utilise domain wall propagation along nanowires. However, the fabrication of 3D magnetic nanostructures of complex geometry is highly challenging and not easily achievable with standard lithography techniques. Here, by using a combination of two-photon lithography and electrochemical deposition, we show a new approach to construct 3D magnetic nanostructures of complex geometry. The magnetic properties are found to be intimately related to the 3D geometry of the structure and magnetic imaging experiments provide evidence of domain wall pinning at a 3D nanostructured junction.


title: How To Model Supernovae in Simulations of Star and Galaxy Formation

abstract: We study the implementation of mechanical feedback from supernovae (SNe) and stellar mass loss in galaxy simulations, within the Feedback In Realistic Environments (FIRE) project. We present the FIRE-2 algorithm for coupling mechanical feedback, which can be applied to any hydrodynamics method (e.g. fixed-grid, moving-mesh, and mesh-less methods), and black hole as well as stellar feedback. This algorithm ensures manifest conservation of mass, energy, and momentum, and avoids imprinting 'preferred directions' on the ejecta. We show that it is critical to incorporate both momentum and thermal energy of mechanical ejecta in a self-consistent manner, accounting for SNe cooling radii when they are not resolved. Using idealized simulations of single SN explosions, we show that the FIRE-2 algorithm, independent of resolution, reproduces converged solutions in both energy and momentum. In contrast, common 'fully-thermal' (energy-dump) or 'fully-kinetic' (particle-kicking) schemes in the literature depend strongly on resolution: when applied at mass resolution >100 solar masses, they diverge by orders-of-magnitude from the converged solution. In galaxy-formation simulations, this divergence leads to orders-of-magnitude differences in galaxy properties, unless those models are adjusted in a resolution-dependent way. We show that all models that individually time-resolve SNe converge to the FIRE-2 solution at sufficiently high resolution. However, in both idealized single-SN simulations and cosmological galaxy-formation simulations, the FIRE-2 algorithm converges much faster than other sub-grid models without re-tuning parameters.

categories: astro-ph.GA astro-ph.CO astro-ph.HE astro-ph.IM astro-ph.SR


title: Interaction between counter-propagating quantum Hall edge channels in the 3D topological insulator BiSbTeSe$_2$

abstract: The quantum Hall effect is studied in the topological insulator BiSbTeSe$_2$. By employing top- and back-gate electric fields at high magnetic field, the Landau levels of the Dirac cones in the top and bottom topological surface states can be tuned independently. When one surface is tuned to the electron-doped side of the Dirac cone and the other surface to the hole-doped side, the quantum Hall edge channels are counter-propagating. The opposite edge mode direction, combined with the opposite helicities of top and bottom surfaces, allows for scattering between these counter-propagating edge modes. The total Hall conductance is integer valued only when the scattering is strong. For weaker interaction, a non-integer quantum Hall effect is expected and measured.


title: Learning Transferable Architectures for Scalable Image Recognition

abstract: Developing neural network image classification models often requires significant architecture engineering. In this paper, we study a method to learn the model architectures directly on the dataset of interest. As this approach is expensive when the dataset is large, we propose to search for an architectural building block on a small dataset and then transfer the block to a larger dataset. The key contribution of this work is the design of a new search space (the "NASNet search space") which enables transferability. In our experiments, we search for the best convolutional layer (or "cell") on the CIFAR-10 dataset and then apply this cell to the ImageNet dataset by stacking together more copies of this cell, each with their own parameters to design a convolutional architecture, named "NASNet architecture". We also introduce a new regularization technique called ScheduledDropPath that significantly improves generalization in the NASNet models. On CIFAR-10 itself, NASNet achieves 2.4% error rate, which is state-of-the-art. On ImageNet, NASNet achieves, among the published works, state-of-the-art accuracy of 82.7% top-1 and 96.2% top-5 on ImageNet. Our model is 1.2% better in top-1 accuracy than the best human-invented architectures while having 9 billion fewer FLOPS - a reduction of 28% in computational demand from the previous state-of-the-art model. When evaluated at different levels of computational cost, accuracies of NASNets exceed those of the state-of-the-art human-designed models. For instance, a small version of NASNet also achieves 74% top-1 accuracy, which is 3.1% better than equivalently-sized, state-of-the-art models for mobile platforms. Finally, the learned features by NASNet used with the Faster-RCNN framework surpass state-of-the-art by 4.0% achieving 43.1% mAP on the COCO dataset.


title: Confidence estimation in Deep Neural networks via density modelling

abstract: State-of-the-art Deep Neural Networks can be easily fooled into providing incorrect high-confidence predictions for images with small amounts of adversarial noise. Does this expose a flaw with deep neural networks, or do we simply need a better way to estimate confidence? In this paper we consider the problem of accurately estimating predictive confidence. We formulate this problem as that of density modelling, and show how traditional methods such as softmax produce poor estimates. To address this issue, we propose a novel confidence measure based on density modelling approaches. We test these measures on images distorted by blur, JPEG compression, random noise and adversarial noise. Experiments show that our confidence measure consistently shows reduced confidence scores in the presence of such distortions - a property which softmax often lacks.


title: Asymptotics of the ground state energy in the relativistic settings

abstract: The purpose of this paper is to derive sharp asymptotics of the ground state energy for the heavy atoms and molecules in the relativistic settings, and, in particular, to derive relativistic Scott correction term and also Dirac, Schwinger and relativistic correction terms. Also we will prove that Thomas-Fermi density approximates the actual density of the ground state, which opens the way to estimate the excessive negative and positive charges and the ionization energy.


title: Exact Cancellation of Emittance Due to Coupled Transverse Dynamics in Solenoids and RF Couplers

abstract: Small, stray magnetic and RF fields in electron guns and injectors can perturb an electron beam and introduce correlations between the otherwise orthogonal transverse trajectories. These correlations couple the x and y dynamics which increases the transverse emittance. If the correlation becomes "diluted" or randomized in the beam transport then as the correlation disappears the 4D emittance increases. This paper discusses two important correlations common to most electron injectors. The first results from the coupling of a weak quadrupole field with beam rotation in a solenoid, and the second x-y coupling is generated by an asymmetric on-axis RF field due to a high-power RF coupler or cavity port. This paper shows that a small quadrupole field combined with solenoidal focusing can result in significant emittance growth due to coupled transverse dynamics. It also shows how adding a skewed quadrupole field can exactly cancel this correlation and its emittance. Similar emittance cancellation is demonstrated for asymmetric RF fields, with the degree of cancellation limited by the electron bunch length. Analytic expressions are derived and compared with simulations and experiments.


title: Bottom-quark Fusion Processes at the LHC for Probing $Z^{\prime}$ Models and B-meson Decay Anomalies

abstract: We investigate models of a heavy neutral gauge boson Z' which could explain anomalies in B meson decays reported by the LHCb experiment. In these models, the Z' boson couples mostly to third generation fermions. We show that bottom quarks arising from gluon splitting can fuse into Z' as an essential production mechanism at the LHC, thereby allowing to probe these models. The study is performed within a generic framework for explaining the B anomalies that can be accommodated in well motivated models. The flavor violating b s coupling associated with Z' in such models produces lower bound on the production cross-section which gives rise to a cross-section range for such scenarios for the LHC to probe. Results are presented in Z' -> $\mu \mu$ decays with at least one bottom-tagged jet in its final state. Some parts of the model parameter space become constrained by the existing dimuon-resonance searches by the ATLAS and CMS collaborations. However, the requirement of one or two additional bottom-tagged jets in the final state would allow for probing a larger region of the parameter space of the models at the ongoing LHC program.


title: Complex derivatives are continuous - three self-contained proofs. Part 1

abstract: We prove in three ways the basic fact of analysis that complex derivatives are continuous. The first, classical, proof of Cauchy and Goursat uses integration. The second proof of Whyburn and Connell is topological and is based on the winding number. The third proof of Adel'son-Vel'skii and Kronrod employs graphs of real bivariate functions. We give short and concise presentation of the first proof (in textbooks it often spreads over dozens of pages). In the second and third proof we on the contrary fill in and expand omitted steps and auxiliary results. This part 1 presents the first two proofs. The third proof, treated in the future part 2, takes one on a tour through theorems and results due to Jordan, Brouwer, Urysohn, Tietze, Vitali, Sard, Fubini, Komarevsky, Young, Cauchy, Riemann and others.


title: The Kummerian Property and Maximal Pro-$p$ Galois Groups

abstract: For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory and the structure of the maximal $p$-radical extension of $F$. We study it in the abstract context of pro-$p$ groups $G$ with a continuous homomorphism $\theta\colon G\to1+p\mathbb{Z}_p$, and characterize it cohomologically, and in terms of 1-cocycles on $G$. This is used to produce new examples of pro-$p$ groups which do not occur as maximal pro-$p$ Galois groups of fields as above.


title: Unified Halo-Independent Formalism From Convex Hulls for Direct Dark Matter Searches

abstract: Using the Fenchel-Eggleston theorem for convex hulls (an extension of the Caratheodory theorem), we prove that any likelihood can be maximized by either a dark matter 1- speed distribution $F(v)$ in Earth's frame or 2- Galactic velocity distribution $f^{\rm gal}(\vec{u})$, consisting of a sum of delta functions. The former case applies only to time-averaged rate measurements and the maximum number of delta functions is $({\mathcal N}-1)$, where ${\mathcal N}$ is the total number of data entries. The second case applies to any harmonic expansion coefficient of the time-dependent rate and the maximum number of terms is ${\mathcal N}$. Using time-averaged rates, the aforementioned form of $F(v)$ results in a piecewise constant unmodulated halo function $\tilde\eta^0_{BF}(v_{\rm min})$ (which is an integral of the speed distribution) with at most $({\mathcal N}-1)$ downward steps. The authors had previously proven this result for likelihoods comprised of at least one extended likelihood, and found the best-fit halo function to be unique. This uniqueness, however, cannot be guaranteed in the more general analysis applied to arbitrary likelihoods. Thus we introduce a method for determining whether there exists a unique best-fit halo function, and provide a procedure for constructing either a pointwise confidence band, if the best-fit halo function is unique, or a degeneracy band, if it is not. Using measurements of modulation amplitudes, the aforementioned form of $f^{\rm gal}(\vec{u})$, which is a sum of Galactic streams, yields a periodic time-dependent halo function $\tilde\eta_{BF}(v_{\rm min}, t)$ which at any fixed time is a piecewise constant function of $v_{\rm min}$ with at most ${\mathcal N}$ downward steps. In this case, we explain how to construct pointwise confidence and degeneracy bands from the time-averaged halo function. Finally, we show that requiring an isotropic ...


title: Adaptive Quorum-based Channel-hopping Distributed Coordination Scheme for Cognitive Radio Networks

abstract: In this paper, we propose novel channel-hoppingbased distributed rendezvous algorithm based on grid-basedquorum techniques. The proposed algorithm increases the probability of rendezvous (RDV) within a single cycle by allowing CR nodes to meet more often according to intersection property of quorum systems (QSs). Our proposed algorithm is called Adaptive quorum-based channel-hopping distributed coordination scheme for cognitive radio networks. The main idea of our algorithm is to dynamically adjust the selected QS by CR users according to the varying traffic loads in the CRN. The proposed algorithm decreases the average time to rendezvous (TTR) and increase the probability of RDV. We evaluate the performance of our algorithm through simulations. The performance of our algorithm is compared with two different schemes. The results show that our algorithm can reduce TTR, increase the RDV, and decrease the energy consumption per successful RDV.


title: Pulsar Wind Bubble Blowout from a Supernova

abstract: For pulsars born in supernovae, the expansion of the shocked pulsar wind nebula is initially in the freely expanding ejecta of the supernova. While the nebula is in the inner flat part of the ejecta density profile, the swept-up, accelerating shell is subject to the Rayleigh-Taylor instability. We carried out 2 and 3-dimensional simulations showing that the instability gives rise to filamentary structure during this initial phase but does not greatly change the dynamics of the expanding shell. The flow is effectively self-similar. If the shell is powered into the outer steep part of the density profile, the shell is subject to a robust Rayleigh-Taylor instability in which the shell is fragmented and the shocked pulsar wind breaks out through the shell. The flow is not self-similar in this phase. For a wind nebula to reach this phase requires that the deposited pulsar energy be greater than the supernova energy, or that the initial pulsar period be in the ms range for a typical $10^{51}$ erg supernova. These conditions are satisfied by some magnetar models for Type I superluminous supernovae. We also consider the Crab Nebula, which may be associated with a low energy supernova for which this scenario applies.


title: Homotopy types of gauge groups related to $S^3$-bundles over $S^4$

abstract: Let $M_{l,m}$ be the total space of the $S^3$-bundle over $S^4$ classified by the element $l\sigma+m\rho\in{\pi_4(SO(4))}$, $l,m\in\mathbb Z$. In this paper we study the homotopy theory of gauge groups of principal $G$-bundles over manifolds $M_{l,m}$ when $G$ is a simply connected simple compact Lie group such that $\pi_6(G)=0$. That is, $G$ is one of the following groups: $SU(n)$ $(n\geq4)$, $Sp(n)$ $(n\geq2)$, $Spin(n)$ $(n\geq5)$, $F_4$, $E_6$, $E_7$, $E_8$. If the integral homology of $M_{l,m}$ is torsion-free, we describe the homotopy type of the gauge groups over $M_{l,m}$ as products of recognisable spaces. For any manifold $M_{l,m}$ with non-torsion-free homology, we give a $p$-local homotopy decomposition, for a prime $p\geq 5$, of the loop space of the gauge groups.


title: Observable Emission Features of Black Hole GRMHD Jets on Event Horizon Scales

abstract: The general-relativistic magnetohydrodynamical (GRMHD) formulation for black hole-powered jets naturally gives rise to a stagnation surface, wherefrom inflows and outflows along magnetic field lines that thread the black hole event horizon originate. We derive a conservative formulation for the transport of energetic electrons which are initially injected at the stagnation surface and subsequently transported along flow streamlines. With this formulation the energy spectra evolution of the electrons along the flow in the presence of radiative and adiabatic cooling is determined. For flows regulated by synchrotron radiative losses and adiabatic cooling, the effective radio emission region is found to be finite, and geometrically it is more extended along the jet central axis. Moreover, the emission from regions adjacent to the stagnation surface is expected to be the most luminous as this is where the freshly injected energetic electrons concentrate. An observable stagnation surface is thus a strong prediction of the GRMHD jet model with the prescribed non-thermal electron injection. Future millimeter/sub-millimeter (mm/sub-mm) very-long-baseline interferometric (VLBI) observations of supermassive black hole candidates, such as the one at the center of M87, can verify this GRMHD jet model and its associated non-thermal electron injection mechanism.


title: Computing via material topology optimisation

abstract: We construct logical gates via topology optimisation (aimed to solve a station problem of heat conduction) of a conductive material layout. Values of logical variables are represented high and low values of a temperature at given sites. Logical functions are implemented via the formation of an optimum layout of conductive material between the sites with loading conditions. We implement AND and XOR gates and a one-bit binary half-adder.


title: Optical/Near-IR spatially resolved study of the H II galaxy Tol 02

abstract: The main goal of this study is to characterise the stellar populations in very low metallicity galaxies. We have obtained broad U, B, R, I, J, H, K, intermediate Str\"omgren y and narrow H{\alpha} and [OIII] deep images of the Wolf-Rayet, Blue Compact Dwarf, H II galaxy Tol 02. We have analysed the low surface brightness component, the stellar cluster complexes and the H II regions. The stellar populations in the galaxy have been characterised by comparing the observed broad band colours with those of single stellar population models. The main results are consistent with Tol 02 being formed by a 1.5 Gyr old disk component at the centre of which a group of 8 massive $>10^4 \, M_{\odot}$ stellar cluster clumps is located. Six of these clumps are 10 Myr old and their near infrared colours suggest that their light is dominated by Red Supergiant stars, the other two are young Wolf-Rayet cluster candidates of ages 3 and 5 Myr respectively. 12 H II regions in the star-forming region of the galaxy are also identified. These are immersed in a diffuse H{\alpha} and [OIII] emission that spreads towards the North and South covering the old stellar disk. Our spatial-temporal analysis shows that star formation is more likely stochastic and simultaneous within short time scales. The mismatch between observations and models cannot be attributed alone to a mistreat of the RSG phase and still needs to be further investigated.


title: Different Realizations of Cooper-Frye Sampling with Conservation Laws

abstract: Approaches based on viscous hydrodynamics for the hot and dense stage and hadronic transport for the final dilute rescattering stage are successfully applied to the dynamic description of heavy ion reactions at high beam energies. One crucial step in such hybrid approaches is the so called particlization, the transition between the hydrodynamic description to microscopic degrees of freedom. For this purpose, individual particles are sampled on the Cooper-Frye hypersurface. In this work, 4 different realizations of sampling algorithms are compared, where three of them incorporate global conservation laws of quantum numbers in each event. The algorithms are compared within two types of scenarios: simple "box" hypersurface consisting of only one static cell and a typical particlization hypersurface for Au+Au collisions at $\sqrt{s_\mathrm{NN}} = 200$ GeV. For all algorithms the mean multiplicities (or particle spectra) remain unaffected by global conservation laws in the case of large volumes. In contrast, the fluctuations of the particle numbers are affected considerably. The fluctuations of the newly developed SPREW algorithm based on exponential weights and the recently suggested SER algorithm based on ensemble rejection are smaller than without conservation laws and agree with the expectation from the canonical ensemble. The previously applied mode sampling algorithm produces dramatically larger fluctuations, than it is expected in the corresponding microcanonical ensemble, and therefore should be avoided in fluctuation studies. This study might be of interest for investigations of particle fluctuations and correlations, e.g. the suggested signatures for a phase transition or a critical endpoint, in hybrid approaches that are affected by global conservation laws.


title: $t$-aspect subconvexity for $GL(2)$ $L$-functions

abstract: Let $f$ be a holomorphic cusp form for $SL_2(\mathbb{Z})$ of weight $k>1$. In these notes, we follow Munshi to prove the Burgess bound $$ L(1/2+it,f)\ll_{f,\varepsilon} (1+|t|)^{1/2-1/8+\varepsilon}. $$


title: A rank-one CAT(0) group is determined by its Morse boundary

abstract: The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.


title: Data, Science and Society

abstract: Reflections on the Concept of Data and its Implications for Science and Society


title: New Characterization of Flat Affine Manifolds and the Associative Envelope of a Left Symmetric Algebra

abstract: This paper deals with affine connections on real manifolds. We give a new characterization of flat affine connections on real manifolds by means of certain affine representations of the Lie group of automorphisms preserving the connection. Then we specialize the characterization to the case of a left invariant connection on a Lie group. In the last case, we show the existence of a Lie group endowed with a flat affine bi-invariant connection whose Lie algebra contains the Lie algebra of complete infinitesimal affine transformations of the given Lie group. We also prove some results about flat affine manifolds whose group of diffeomorphisms admit a flat affine bi-invariant structure. The paper is illustrated with several examples.


title: Thermalization near integrability in a dipolar quantum Newton's cradle

abstract: Isolated quantum many-body systems with integrable dynamics generically do not thermalize when taken far from equilibrium. As one perturbs such systems away from the integrable point, thermalization sets in, but the nature of the crossover from integrable to thermalizing behavior is an unresolved and actively discussed question. We explore this question by studying the dynamics of the momentum distribution function in a dipolar quantum Newton's cradle consisting of highly magnetic dysprosium atoms. This is accomplished by creating the first one-dimensional Bose gas with strong magnetic dipole-dipole interactions. These interactions provide tunability of both the strength of the integrability-breaking perturbation and the nature of the near-integrable dynamics. We provide the first experimental evidence that thermalization close to a strongly interacting integrable point occurs in two steps: prethermalization followed by near-exponential thermalization. Exact numerical calculations on a two-rung lattice model yield a similar two-timescale process, suggesting that this is generic in strongly interacting near-integrable models. Moreover, the measured thermalization rate is consistent with a parameter-free theoretical estimate, based on identifying the types of collisions that dominate thermalization. By providing tunability between regimes of integrable and nonintegrable dynamics, our work sheds light both on the mechanisms by which isolated quantum many-body systems thermalize, and on the temporal structure of the onset of thermalization.

categories: cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph quant-ph


title: The real population of star clusters in the bar of the Large Magellanic Cloud

abstract: We report results on star clusters located in the South-Eastern half of the Large Magellanic (LMC) bar from Washington $CT_1$ photometry. Using appropriate kernel density estimators we detected 73 star cluster candidates, three of which do not show any detectable trace of star cluster sequences in their colour-magnitude diagrams (CMDs). We did not detect other 38 previously catalogued clusters, which could not be recognized when visually inspecting the $C$ and $T_1$ images either; the distribution of stars in their respective fields do not resemble that of an stellar aggregate. They represent $\sim$ 33 per cent of all catalogued objects located within the analysed LMC bar field. From matching theoretical isochrones to the cluster CMDs cleaned from field star contamination, we derived ages in the range 7.2 < log($t$ yr$^{-1}$) < 10.1. As far as we are aware, this is the first time homogeneous age estimates based on resolved stellar photometry are obtained for most of the studied clusters. We built the cluster frequency (CF) for the surveyed area, and found that the major star cluster formation activity has taken place during the period log($t$ yr$^{-1}$) $\sim$ 8.0 -- 9.0. Since $\sim$ 100 Myr ago, clusters have been formed during few bursting formation episodes. When comparing the observed CF to that recovered from the star formation rate we found noticeable differences, which suggests that field star and star cluster formation histories could have been significantly different.


title: Assessment of Optimal Flexibility in Ensemble of Frequency Responsive Loads

abstract: Potential of electrical loads in providing grid ancillary services is often limited due to the uncertainties associated with the load behavior. A knowledge of the expected uncertainties with a load control program would invariably yield to better informed control policies, opening up the possibility of extracting the maximal load control potential without affecting grid operations. In the context of frequency responsive load control, a probabilistic uncertainty analysis framework is presented to quantify the expected error between the target and actual load response, under uncertainties in the load dynamics. A closed-form expression of an optimal demand flexibility, minimizing the expected error in actual and committed flexibility, is provided. Analytical results are validated through Monte Carlo simulations of ensembles of electric water heaters.


title: On the uniqueness of maximal immediate extensions of valued differential fields

abstract: So far there exist just a few results about the uniqueness of maximal immediate valued differential field extensions and about the relationship between differential-algebraic maximality and differential-henselianity; see arXiv:1509.02588, Chapter 7. We remove here the assumption of monotonicity in these results but replace it with the assumption that the value group is the union of its convex subgroups of finite (archimedean) rank. We also show the existence and uniqueness of differential-henselizations of asymptotic fields with such a value group.


title: Coverage in Downlink Heterogeneous mmWave Cellular Networks with User-Centric Small Cell Deployment

abstract: A K-tier heterogeneous downlink millimeter wave (mmWave) cellular network with user-centric small cell deployments is studied in this paper. In particular, we consider a heterogeneous network model with user equipments (UEs) being distributed according to a Poisson Cluster Process (PCP). Specifically, we address two cluster processes, namely (i) Thomas cluster process, where the UEs are clustered around the base stations (BSs) and the distances between UEs and the BS are modeled as Gaussian distributed, and (ii) Matern cluster process, where the UEs are scattered according to a uniform distribution. In addition, distinguishing features of mmWave communications including directional beamforming and a sophisticated path loss model incorporating both line-of-sight (LOS) and non-line-of-sight (NLOS) transmissions, are taken into account. Initially, the complementary cumulative distribution function (CCDF) and probability density function (PDF) of path loss are provided. Subsequently, using tools from stochastic geometry, we derive a general expression for the signal-to-interference-plus-noise ratio (SINR) coverage probability. Our results demonstrate that coverage probability can be improved by decreasing the size of UE clusters around BSs, decreasing the beamwidth of the main lobe, or increasing the main lobe directivity gain. Moreover, interference has noticeable influence on the coverage performance of our model. We also show that better coverage performance is achieved in the presence of clustered users compared to the case in which the users are distributed according to a Poisson Point Process (PPP).


title: High resolution ion trap time-of-flight mass spectrometer for cold trapped ion experiments

abstract: Trapping molecular ions that have been sympathetically cooled with laser-cooled atomic ions is a useful platform for exploring cold ion chemistry. We designed and characterized a new experimental apparatus for probing chemical reaction dynamics between molecular cations and neutral radicals at temperatures below 1 K. The ions are trapped in a linear quadrupole radio-frequency trap and sympathetically cooled by co-trapped, laser-cooled, atomic ions. The ion trap is coupled to a time-of-flight mass spectrometer to readily identify product ion species, as well as to accurately determine trapped ion numbers. We discuss, and present in detail, the design of this ion trap time-of-flight mass spectrometer, as well as the electronics required for driving the trap and mass spectrometer. Furthermore, we measure the performance of this system, which yields mass resolutions of $m/\Delta{}m \geq 1100$ over a wide mass range, and discuss its relevance for future measurements in chemical reaction kinetics and dynamics.


title: Emergent Chiral Spin State in the Mott Phase of a Bosonic Kane-Mele-Hubbard Model

abstract: Recently, the frustrated XY model for spins-1/2 on the honeycomb lattice has attracted a lot of attention in relation with the possibility to realize a chiral spin liquid state. This model is relevant to the physics of some quantum magnets. Using the flexibility of ultra-cold atoms setups, we propose an alternative way to realize this model through the Mott regime of the bosonic Kane-Mele-Hubbard model. The phase diagram of this model is derived using the bosonic dynamical mean-field theory. Focussing on the Mott phase, we investigate its magnetic properties as a function of frustration. We do find an emergent chiral spin state in the intermediate frustration regime. Using exact diagonalization we study more closely the physics of the effective frustrated XY model and the properties of the chiral spin state. This gapped phase displays a chiral order, breaking time-reversal and parity symmetry, but is not topologically ordered (the Chern number is zero).


title: Shocks and cold fronts in merging and massive galaxy clusters: new detections with Chandra

abstract: A number of merging galaxy clusters shows the presence of shocks and cold fronts, i.e. sharp discontinuities in surface brightness and temperature. The observation of these features requires an X-ray telescope with high spatial resolution like Chandra, and allows to study important aspects concerning the physics of the intra-cluster medium (ICM), such as its thermal conduction and viscosity, as well as to provide information on the physical conditions leading to the acceleration of cosmic rays and magnetic field amplification in the cluster environment. In this work we search for new discontinuities in 15 merging and massive clusters observed with Chandra by using different imaging and spectral techniques of X-ray observations. Our analysis led to the discovery of 22 edges: six shocks, eight cold fronts and eight with uncertain origin. All the six shocks detected have $\mathcal{M} < 2$ derived from density and temperature jumps. This work contributed to increase the number of discontinuities detected in clusters and shows the potential of combining diverse approaches aimed to identify edges in the ICM. A radio follow-up of the shocks discovered in this paper will be useful to study the connection between weak shocks and radio relics.


title: Factorizations of weighted Hardy inequalities

abstract: We present factorizations of weighted Lebesgue, Ce\-s\` aro and Copson spaces, for weights satisfying the conditions which assure the boundedness of the Hardy's integral operator between weighted Lebesgue spaces. Our results enhance, among other, the best known forms of weighted Hardy inequalities.


title: Exomoon Habitability and Tidal Evolution in Low-Mass Star Systems

abstract: Discoveries of extrasolar planets in the habitable zone (HZ) of their parent star lead to questions about the habitability of massive moons orbiting planets in the HZ. Around low-mass stars, the HZ is much closer to the star than for Sun-like stars. For a planet-moon binary in such a HZ, the proximity of the star forces a close orbit for the moon to remain gravitationally bound to the planet. Under these conditions the effects of tidal heating, distortion torques, and stellar perturbations become important considerations for exomoon habitability. Utilizing a model that considers both dynamical and tidal interactions simultaneously, we performed a computational investigation into exomoon evolution for systems in the HZ of low-mass stars ($\lesssim 0.6\ M_{\odot}$). We show that dwarf stars with masses $\lesssim 0.2\ M_{\odot}$ cannot host habitable exomoons within the stellar HZ due to extreme tidal heating in the moon. Perturbations from a central star may continue to have deleterious effects in the HZ up to $\approx 0.5\ M_{\odot}$, depending on the host planet's mass and its location in the HZ, amongst others. In addition to heating concerns, torques due to tidal and spin distortion can lead to the relatively rapid inward spiraling of a moon. Therefore, moons of giant planets in HZs around the most abundant type of star are unlikely to have habitable surfaces. In cases with lower intensity tidal heating the stellar perturbations may have a positive influence on exomoon habitability by promoting long-term heating and possibly extending the HZ for exomoons.


title: Sensitive and Nonlinear Far Field RF Energy Harvesting in Wireless Communications

abstract: This work studies both limited sensitivity and nonlinearity of far field RF energy harvesting observed in reality and quantifies their effect, attempting to fill a major hole in the simultaneous wireless information and power transfer (SWIPT) literature. RF harvested power is modeled as an arbitrary nonlinear, continuous, and non-decreasing function of received power, taking into account limited sensitivity and saturation effects. RF harvester's sensitivity may be several dBs worse than communications receiver's sensitivity, potentially rendering RF information signals useless for energy harvesting purposes. Given finite number of datapoint pairs of harvested (output) power and corresponding input power, a piecewise linear approximation is applied and the statistics of the harvested power are offered, as a function of the wireless channel fading statistics. Limited number of datapoints are needed and accuracy analysis is also provided. Case studies include duty-cycled (non-continuous), as well as continuous SWIPT, comparing with industry-level, RF harvesting. The proposed approximation, even though simple, offers accurate performance for all studied metrics. On the other hand, linear models or nonlinear-unlimited sensitivity harvesting models deviate from reality, especially in the low input power regime. The proposed methodology can be utilized in current and future SWIPT research.


title: Observation of $\chi_{c2}\to\eta'\eta'$ and $\chi_{c0,2}\to\eta\eta'$

abstract: Using a sample of $447.9\times 10^6$ $\psi(3686)$ events collected with the BESIII detector in 2009 and 2012, we study the decays $\chi_{c0,2}\to$ $\eta'\eta'$ and $\eta\eta'$. The decays $\chi_{c2}\to\eta'\eta'$, $\chi_{c0}\to\eta\eta'$ and $\chi_{c2}\to\eta\eta'$ are observed for the first time with statistical significances of $9.6\sigma$, $13.4\sigma$ and $7.5\sigma$, respectively. The branching fractions are determined to be $\mathcal{B}(\chi_{c0}\to\eta'\eta') =(2.19\pm0.03\pm0.14)\times10^{-3}$, $\mathcal{B}(\chi_{c2}\to\eta'\eta') = (4.76\pm0.56\pm0.38)\times10^{-5}$, $\mathcal{B}(\chi_{c0}\to\eta\eta') = (8.92\pm0.84\pm0.65)\times10^{-5}$ and $\mathcal{B}(\chi_{c2}\to\eta\eta') = (2.27\pm0.43\pm0.25)\times10^{-5}$, where the first uncertainties are statistical and the second systematic. The precision for the measurement of $\mathcal{B}(\chi_{c0}\to\eta'\eta')$ is significantly improved compared to previous measurements. Based on the measured branching fractions, the role played by the doubly and singly Okubo-Zweig-Iizuka disconnected transition amplitudes for $\chi_{c0,2}$ decays into pseudoscalar meson pairs can be clarified.


title: Ferroelectric control of the spin texture in germanium telluride

abstract: The electrical manipulation of spins in semiconductors, without magnetic fields or auxiliary ferromagnetic materials, represents the holy grail for spintronics. The use of Rashba effect is very attractive because the k-dependent spin-splitting is originated by an electric field. So far only tiny effects in two-dimensional electron gases (2DEG) have been exploited. Recently, GeTe has been predicted to have bulk bands with giant Rashba-like splitting, originated by the inversion symmetry breaking due to ferroelectric polarization. In this work, we show that GeTe(111) surfaces with inwards or outwards ferroelectric polarizations display opposite sense of circulation of spin in bulk Rashba bands, as seen by spin and angular resolved photoemission experiments. Our results represent the first experimental demonstration of ferroelectric control of the spin texture in a semiconductor, a fundamental milestone towards the exploitation of the non-volatile electrically switchable spin texture of GeTe in spintronic devices.


title: Nonlinear transverse cascade and sustenance of MRI-turbulence in Keplerian disks with an azimuthal magnetic field

abstract: We investigate magnetohydrodynamic turbulence driven by the magnetorotational instability (MRI) in Keplerian disks with a nonzero net azimuthal magnetic field using shearing box simulations. As distinct from most previous studies, we analyze turbulence dynamics in Fourier (${\bf k}$-) space to understand its sustenance. The linear growth of MRI with azimuthal field has a transient character and is anisotropic in Fourier space, leading to anisotropy of nonlinear processes in Fourier space. As a result, the main nonlinear process appears to be a new type of angular redistribution of modes in Fourier space -- the \emph{nonlinear transverse cascade} -- rather than usual direct/inverse cascade. We demonstrate that the turbulence is sustained by interplay of the linear transient growth of MRI (which is the only energy supply for the turbulence) and the transverse cascade. These two processes operate at large length scales, comparable to box size and the corresponding small wavenumber area, called \emph{vital area} in Fourier space is crucial for the sustenance, while outside the vital area direct cascade dominates. The interplay of the linear and nonlinear processes in Fourier space is generally too intertwined for a vivid schematization. Nevertheless, we reveal the \emph{basic subcycle} of the sustenance that clearly shows synergy of these processes in the self-organization of the magnetized flow system. This synergy is quite robust and persists for the considered different aspect ratios of the simulation boxes. The spectral characteristics of the dynamical processes in these boxes are qualitatively similar, indicating the universality of the sustenance mechanism of the MRI-turbulence.

categories: astro-ph.EP astro-ph.HE astro-ph.SR physics.flu-dyn physics.plasm-ph


title: End-to-end Neural Coreference Resolution

abstract: We introduce the first end-to-end coreference resolution model and show that it significantly outperforms all previous work without using a syntactic parser or hand-engineered mention detector. The key idea is to directly consider all spans in a document as potential mentions and learn distributions over possible antecedents for each. The model computes span embeddings that combine context-dependent boundary representations with a head-finding attention mechanism. It is trained to maximize the marginal likelihood of gold antecedent spans from coreference clusters and is factored to enable aggressive pruning of potential mentions. Experiments demonstrate state-of-the-art performance, with a gain of 1.5 F1 on the OntoNotes benchmark and by 3.1 F1 using a 5-model ensemble, despite the fact that this is the first approach to be successfully trained with no external resources.


title: Optimal Secure Multi-Layer IoT Network Design

abstract: With the remarkable growth of the Internet and communication technologies over the past few decades, Internet of Things (IoTs) is enabling the ubiquitous connectivity of heterogeneous physical devices with software, sensors, and actuators. IoT networks are naturally two-layer with the cloud and cellular networks coexisting with the underlaid device-to-device (D2D) communications. The connectivity of IoTs plays an important role in information dissemination for mission-critical and civilian applications. However, IoT communication networks are vulnerable to cyber attacks including the denial-of-service (DoS) and jamming attacks, resulting in link removals in IoT network. In this work, we develop a heterogeneous IoT network design framework in which a network designer can add links to provide additional communication paths between two nodes or secure links against attacks by investing resources. By anticipating the strategic cyber attacks, we characterize the optimal design of secure IoT network by first providing a lower bound on the number of links a secure network requires for a given budget of protected links, and then developing a method to construct networks that satisfy the heterogeneous network design specifications. Therefore, each layer of the designed heterogeneous IoT network is resistant to a predefined level of malicious attacks with minimum resources. Finally, we provide case studies on the Internet of Battlefield Things (IoBT) to corroborate and illustrate our obtained results.


title: Double Groupoids and the Symplectic Category

abstract: We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such objects are in one-to-one correspondence with symplectic double groupoids, generalizing a result of Zakrzewski concerning symplectic double groups and Hopf algebra objects in the aforementioned category. The proof relies on the fact that one can realize the core of a symplectic double groupoid as a symplectic quotient of the total space. The resulting constructions apply more generally to give a correspondence between double Lie groupoids and groupoid-like objects in the category of smooth manifolds and smooth relations, and we show that the cotangent functor relates the two constructions.


title: Progressive Joint Modeling in Unsupervised Single-channel Overlapped Speech Recognition

abstract: Unsupervised single-channel overlapped speech recognition is one of the hardest problems in automatic speech recognition (ASR). Permutation invariant training (PIT) is a state of the art model-based approach, which applies a single neural network to solve this single-input, multiple-output modeling problem. We propose to advance the current state of the art by imposing a modular structure on the neural network, applying a progressive pretraining regimen, and improving the objective function with transfer learning and a discriminative training criterion. The modular structure splits the problem into three sub-tasks: frame-wise interpreting, utterance-level speaker tracing, and speech recognition. The pretraining regimen uses these modules to solve progressively harder tasks. Transfer learning leverages parallel clean speech to improve the training targets for the network. Our discriminative training formulation is a modification of standard formulations, that also penalizes competing outputs of the system. Experiments are conducted on the artificial overlapped Switchboard and hub5e-swb dataset. The proposed framework achieves over 30% relative improvement of WER over both a strong jointly trained system, PIT for ASR, and a separately optimized system, PIT for speech separation with clean speech ASR model. The improvement comes from better model generalization, training efficiency and the sequence level linguistic knowledge integration.


title: A histogram-free multicanonical Monte Carlo algorithm for the basis expansion of density of states

abstract: We report a new multicanonical Monte Carlo (MC) algorithm to obtain the density of states (DOS) for physical systems with continuous state variables in statistical mechanics. Our algorithm is able to obtain an analytical form for the DOS expressed in a chosen basis set, instead of a numerical array of finite resolution as in previous variants of this class of MC methods such as the multicanonical (MUCA) sampling and Wang-Landau (WL) sampling. This is enabled by storing the visited states directly in a data set and avoiding the explicit collection of a histogram. This practice also has the advantage of avoiding undesirable artificial errors caused by the discretization and binning of continuous state variables. Our results show that this scheme is capable of obtaining converged results with a much reduced number of Monte Carlo steps, leading to a significant speedup over existing algorithms.


title: Using CMB spectral distortions to distinguish between dark matter solutions to the small-scale crisis

abstract: The dissipation of small-scale perturbations in the early universe produces a distortion in the blackbody spectrum of cosmic microwave background photons. In this work, we propose to use these distortions as a probe of the microphysics of dark matter on scales $1\,\textrm{Mpc}^{-1}\lesssim k \lesssim 10^{4}\,\textrm{Mpc}^{-1}$. We consider in particular models in which the dark matter is kinetically coupled to either neutrinos or photons until shortly before recombination, and compute the photon heating rate and the resultant $\mu$-distortion in both cases. We show that the $\mu$-parameter is generally enhanced relative to $\Lambda$CDM for interactions with neutrinos, and may be either enhanced or suppressed in the case of interactions with photons. The deviations from the $\Lambda$CDM signal are potentially within the sensitivity reach of a PRISM-like experiment if $\sigma_{\textrm{DM}-\gamma} \gtrsim 1.1\times10^{-30} \left(m_{\textrm{DM}}/\textrm{GeV}\right) \textrm{cm}^{2}$ and $\sigma_{\textrm{DM}-\nu} \gtrsim 4.8\times 10^{-32} \left(m_{\textrm{DM}}/\textrm{GeV}\right) \textrm{cm}^{2}$ for time-independent cross sections, and $\sigma^{0}_{\textrm{DM}-\gamma} \gtrsim 1.8 \times 10^{-40} \left(m_{\textrm{DM}}/\textrm{GeV}\right) \textrm{cm}^{2}$ and $\sigma^{0}_{\textrm{DM}-\nu} \gtrsim 2.5 \times 10^{-47} \left(m_{\textrm{DM}}/\textrm{GeV}\right) \textrm{cm}^{2}$ for cross sections scaling as temperature squared, coinciding with the parameter regions in which late kinetic decoupling may serve as a solution to the small-scale crisis. Furthermore, these $\mu$-distortion signals differ from those of warm dark matter (no deviation from $\Lambda$CDM) and a suppressed primordial power spectrum (strongly suppressed or a negative $\mu$-parameter), demonstrating that CMB spectral distortion can potentially be used to distinguish between solutions to the small-scale crisis.


title: Solar twins and the Barium puzzle

abstract: Several abundance analyses of Galactic open clusters (OCs) have shown a tendency for Ba but not for other heavy elements (La$-$Sm) to increase sharply with decreasing age such that Ba was claimed to reach [Ba/Fe] $\simeq +0.6$ in the youngest clusters (ages $<$ 100 Myr) rising from [Ba/Fe]$=0.00$ dex in solar-age clusters. Within the formulation of the $s$-process, the difficulty to replicate higher Ba abundance and normal La$-$Sm abundances in young clusters is known as {\it the barium puzzle}. Here, we investigate the barium puzzle using extremely high-resolution and high signal-to-noise spectra of 24 solar twins and measured the heavy elements Ba, La, Ce, Nd and Sm with a precision of 0.03 dex. We demonstrate that the enhanced Ba {\scs II} relative to La$-$Sm seen among solar twins, stellar associations and OCs at young ages ($<$100 Myr) is unrelated to aspects of stellar nucleosynthesis but has resulted from overestimation of Ba by standard methods of LTE abundance analysis in which the microturbulence derived from the Fe lines formed deep in the photosphere is insufficient to represent the true line broadening imposed on Ba {\scs II} lines by the upper photospheric layers from where the Ba {\scs II} lines emerge. As the young stars have relatively active photospheres, Ba overabundances most likely result from the adoption of too low a value of microturbulence in the spectum synthesis of the strong Ba {\scs II} lines but the change of microturbulence in the upper photosphere has only a minor affect on La$-$Sm abundances measured from the weak lines.


title: Well-closed subschemes of noncommutative schemes

abstract: Van den Bergh has defined the blowup of a noncommutative surface at a point lying on a commutative divisor. We study one aspect of the construction, with an eventual aim of defining more general kinds of noncommutative blowups. Our basic object of study is a quasi-scheme X (a Grothendieck category). Given a closed subcategory Z, in order to define a blowup of X along Z one first needs to have a functor F which is an analog of tensoring with the defining ideal of Z. Following Van den Bergh, a closed subcategory Z which has such a functor is called well-closed. We show that well-closedness can be characterized by the existence of certain projective effacements for each object of X, and that the needed functor F has an explicit description in terms of such effacements. As an application, we prove that closed points are well-closed in quite general quasi-schemes.


title: Carleson measures and chord-arc curves

abstract: Following Semmes and Zinsmeister, we continue the study of Carleson measures and their invariance under pull-back and push-forward operators. We also study the analogous statements for vanishing Carleson measures. As an application, we show that some quotient space of the space of chord-arc curves has a natural complex structure.


title: A Dynamic Game Analysis and Design of Infrastructure Network Protection and Recovery

abstract: Infrastructure networks are vulnerable to both cyber and physical attacks. Building a secure and resilient networked system is essential for providing reliable and dependable services. To this end, we establish a two-player three-stage game framework to capture the dynamics in the infrastructure protection and recovery phases. Specifically, the goal of the infrastructure network designer is to keep the network connected before and after the attack, while the adversary aims to disconnect the network by compromising a set of links. With costs for creating and removing links, the two players aim to maximize their utilities while minimizing the costs. In this paper, we use the concept of subgame perfect equilibrium (SPE) to characterize the optimal strategies of the network defender and attacker. We derive the SPE explicitly in terms of system parameters. Finally, we use a case study of UAV-enabled communication networks for disaster recovery to corroborate the obtained analytical results.


title: Distribution of the Dirac modes in QCD

abstract: It was established that distribution of the near-zero modes of the Dirac operator is consistent with the Chiral Random Matrix Theory (CRMT) and can be considered as a consequence of spontaneous breaking of chiral symmetry (SBCS) in QCD. The higher-lying modes of the Dirac operator carry information about confinement physics and are not affected by SBCS. We study distributions of the near-zero and higher-lying modes of the overlap Dirac operator within $N_F = 2$ dynamical simulations. We find that distributions of both near-zero and higher-lying modes are the same and follow the Gaussian Unitary Ensemble of Random Matrix Theory. This means that randomness, while consistent with SBCS, is not a consequence of SBCS and is related to some more general property of QCD in confinement regime.


title: Microscopic approach to field dissipation in the Jaynes-Cummings model

abstract: We use the microscopic derivation of the Jaynes-Cummings model master equation under field losses to study the dynamics of initial field states beyond the single-excitation manifold. We show that field-qubit detuning, as well as finite temperature, modify the effective decay rate in the model using entropy measures, like qubit-field purity and von Neumann entropy of the field, for initial Fock states. For initial semi-classical states of the field, we show that the microscopic approach, in phase space, provides an evolution to thermal equilibrium that is smoother than the one provided by the standard phenomenological approach.