title: Adaptive asynchronous time-stepping, stopping criteria, and a posteriori error estimates for fixed-stress iterative schemes for coupled poromechanics problems

abstract: In this paper we develop adaptive iterative coupling schemes for the Biot system modeling coupled poromechanics problems. We particularly consider the space-time formulation of the fixed-stress iterative scheme, in which we first solve the problem of flow over the whole space-time interval, then exploiting the space-time information for solving the mechanics. Two common discretizations of this algorithm are then introduced based on two coupled mixed finite element methods in-space and the backward Euler scheme in-time. Therefrom, adaptive fixed-stress algorithms are build on conforming reconstructions of the pressure and displacement together with equilibrated flux and stresses reconstructions. These ingredients are used to derive a posteriori error estimates for the fixed-stress algorithms, distinguishing the different error components, namely the spatial discretization, the temporal discretization, and the fixed-stress iteration components. Precisely, at the iteration $k\geq 1$ of the adaptive algorithm, we prove that our estimate gives a guaranteed and fully computable upper bound on the energy-type error measuring the difference between the exact and approximate pressure and displacement. These error components are efficiently used to design adaptive asynchronous time-stepping and adaptive stopping criteria for the fixed-stress algorithms. Numerical experiments illustrate the efficiency of our estimates and the performance of the adaptive iterative coupling algorithms.


title: How to accurately determine a saturation magnetization of the sample in a ferromagnetic resonance experiment?

abstract: The phenomenon of ferromagnetic resonance (FMR) is still being exploited for determining the magnetocrystalline anisotropy constants of magnetic materials. We show that one can also determine accurately the saturation magnetization of the sample using results of FMR experiments after taking into account the relationship between resonance frequency and curvature of the spatial distribution of free energy at resonance. Specifically, three examples are given of calculating saturation magnetization from FMR data: we use historical Bickford's measurements from 1950 for bulk magnetite, Liu's measurements from 2007 for a 500 mn thin film of a weak ferromagnet (Ga, Mn)As, and Wang's measurements from 2014 for an ultrathin film of YIG. In all three cases, the magnetization values we have determined are consistent with the results of measurements.


title: Hydrodynamics of three-dimensional skyrmions in frustrated magnets

abstract: We study the nucleation and collective dynamics of Shankar skyrmions [R. Shankar, Journal de Physique 38, 1405 (1977)] in the class of frustrated magnetic systems described by an SO(3) order parameter, including multi-lattice antiferromagnets and amorphous magnets. We infer the expression for the spin-transfer torque that injects skyrmion charge into the system and the Onsager-reciprocal pumping force that enables its detection by electrical means. The thermally-assisted flow of topological charge gives rise to an algebraically decaying drag signal in nonlocal transport measurements. We contrast our findings to analogous effects mediated by spin supercurrents.


title: T-Dual Cosmological Solutions of Double Field Theory II

abstract: In this paper we present cosmological solutions of Double Field Theory in the supergravity frame and in the winding frame which are related via T-duality. In particular, we show that the solutions can be viewed without the need of complexifying the cosmological scale factor.


title: Reference Setup for Quantitative Comparison of Segmentation Techniques for Short Glass Fiber CT Data

abstract: Comparing different algorithms for segmenting glass fibers in industrial computed tomography (CT) scans is difficult due to the absence of a standard reference dataset. In this work, we introduce a set of annotated scans of short-fiber reinforced polymers (SFRP) as well as synthetically created CT volume data together with the evaluation metrics. We suggest both the metrics and this data set as a reference for studying the performance of different algorithms. The real scans were acquired by a Nikon MCT225 X-ray CT system. The simulated scans were created by the use of an in-house computational model and third-party commercial software. For both types of data, corresponding ground truth annotations have been prepared, including hand annotations for the real scans and STL models for the synthetic scans. Additionally, a Hessian-based Frangi vesselness filter for fiber segmentation has been implemented and open-sourced to serve as a reference for comparisons.


title: Fully Convolutional Deep Network Architectures for Automatic Short Glass Fiber Semantic Segmentation from CT scans

abstract: We present the first attempt to perform short glass fiber semantic segmentation from X-ray computed tomography volumetric datasets at medium (3.9 {\mu}m isotropic) and low (8.3 {\mu}m isotropic) resolution using deep learning architectures. We performed experiments on both synthetic and real CT scans and evaluated deep fully convolutional architectures with both 2D and 3D kernels. Our artificial neural networks outperform existing methods at both medium and low resolution scans.


title: Intrinsic linking and knotting are arbitrarily complex in directed graphs

abstract: Fleming and Foisy recently proved the existence of a digraph whose every embedding contains a $4$-component link, and left open the possibility that a directed graph with an intrinsic $n$-component link might exist. We show that, indeed, this is the case. In fact, much as Flapan, Mellor, and Naimi show for graphs, knotting and linking are arbitrarily complex in directed graphs. Specifically, we prove the analog for digraphs of the main theorem of their paper: for any $n$ and $\alpha$, every embedding of a sufficiently large complete digraph in $\mathbb{R}^3$ contains an oriented link with components $Q_1, \ldots, Q_n$ such that, for every $i \neq j$, $|\mathrm{lk}(Q_i,Q_j)| \geq \alpha$ and $|a_2(Q_i)| \geq \alpha$, where $a_2(Q_i)$ denotes the second coefficient of the Conway polynomial of $Q_i$.


title: Anisotropies and magnetic phase transitions in insulating antiferromagnets determined by a Spin-Hall magnetoresistance probe

abstract: We demonstrate that we can determine the antiferromagnetic anisotropies and the bulk Dzyaloshinskii-Moriya fields of the insulating iron oxide hematite, {\alpha}-Fe2O3, using a surface sensitive spin-Hall magnetoresistance (SMR) technique. We develop an analytical model that in combination with SMR measurements, allow for the identification of the material parameters of this prototypical antiferromagnet over a wide range of temperatures and magnetic field values. Using devices with different orientations, we demonstrate that the SMR response strongly depends on the direction of the charge current with respect to the magneto-crystalline anisotropies axis. We show that we can extract the anisotropies over a wide temperature range including across the Morin phase transition. We observe that the electrical response is dominated by the orientation of the antiferromagnetic N\'eel order parameter, rather than by the emergent weak magnetic moment. Our results highlight that the surface sensitivity of the SMR allows accessing the magnetic anisotropies of antiferromagnetic crystals and in particular thin films where other methods to determine anisotropies such as bulk-sensitive magnetic susceptibility measurements do not provide sufficient sensitivity.


title: Structure of the solution set to Volterra integral inclusions and applications

abstract: The topological and geometric structure of the solution set to Volterra integral inclusions in Banach spaces is investigated. It is shown that the set of solutions in the sense of Aumann integral is nonempty compact acyclic in the space of continuous functions or is even an $R_\delta$-set provided some appropriate conditions on the Banach space are imposed. Applications to the periodic problem for this type of inclusions are given.


title: Analysis of Divide & Conquer strategies for the 0-1 Minimization Knapsack Problem

abstract: We introduce and asses several Divide \& Conquer heuristic strategies aimed to solve large instances of the 0-1 Minimization Knapsack Problem. The method subdivides a large problem in two smaller ones (or recursive iterations of the same principle), to lower down the global computational complexity of the original problem, at the expense of a moderate loss of quality in the solution. Theoretical mathematical results are presented in order to guarantee an algorithmically successful application of the method and to suggest the potential strategies for its implementation. In contrast, due to the lack of theoretical results, the solution's quality deterioration is measured empirically by means of Monte Carlo simulations for several types and values of the chosen strategies. Finally, introducing parameters of efficiency we suggest the best strategies depending on the data input.


title: Transfer learning from language models to image caption generators: Better models may not transfer better

abstract: When designing a neural caption generator, a convolutional neural network can be used to extract image features. Is it possible to also use a neural language model to extract sentence prefix features? We answer this question by trying different ways to transfer the recurrent neural network and embedding layer from a neural language model to an image caption generator. We find that image caption generators with transferred parameters perform better than those trained from scratch, even when simply pre-training them on the text of the same captions dataset it will later be trained on. We also find that the best language models (in terms of perplexity) do not result in the best caption generators after transfer learning.


title: States of charged quantum fields and their statistical properties in the presence of critical potential steps

abstract: Evolution of charged quantum fields under the action of constant nonuniform electric fields is studied. To this end we construct a special generating functional for density operators of the quantum fields with different initial conditions. Then we study some reductions of the density operators. For example, reductions to electron or positron subsystems, reduction induced by measurements, and spatial reduction to the left or to the right subsystems of final particles. We calculate von Neumann entropy for the corresponding reduced density operators, estimating in such a way an information loss. Then we illustrate the obtained results by calculations in a specific background of a strong constant electric field between two infinite capacitor plates separated by a finite distance $L$.


title: An Application of Hypergeometric Functions to Heat Kernels on Rectangular and Hexagonal Tori and a "Weltkonstante" -- Or -- How Ramanujan Split Temperatures

abstract: In this work we investigate the heat kernel of the Laplace--Beltrami operator on a rectangular torus and the according temperature distribution. We compute the minimum and the maximum of the temperature on rectangular tori of fixed area by means of Gauss' hypergeometric function $_2F_1$ and the elliptic modulus. In order to be able to do this, we employ a beautiful result of Ramanujan, connecting hypergeometric functions, the elliptic modulus and theta functions. Also, we investigate the temperature distribution of the heat kernel on hexagonal tori and use Ramanujan's corresponding theory of signature 3 to derive analogous results to the rectangular case. Lastly, we show connections to the problem of finding the exact value of Landau's "Weltkonstante", a universal constant arising in the theory of extremal holomorphic mappings; and for a related, restricted extremal problem we show that the conjectured solution is the second lemniscate constant.


title: On the origin of thigh-frequency radiation in experimental earthquakes

abstract: We monitor dynamic rupture propagation during laboratory stick-slip experiments performed on saw-cut Westerly granite under upper crustal conditions (10-90 MPa). Spectral analysis of high-frequency acoustic waveforms provided evidence that energy radiation is enhanced with stress conditions and rupture velocity. Using acoustic recordings bandpass filtered to 400-800 kHz (7-14 mm wavelength) and highpass filtered above 800 kHz, we back projected high-frequency energy generated during rupture propagation. Our results show that the high-frequency radiation originates behind the rupture front during propagation and propagates at a speed close to that obtained by our rupture velocity inversion. From scaling arguments, we suggest that the origin of high-frequency radiation lies in the fast dynamic stress-drop in the breakdown zone together with off-fault co-seismic damage propagating behind the rupture tip. The application of the back-projection method at the laboratory scale provides new ways to locally investigate physical mechanisms that control high-frequency radiation.


title: On the Parity under Metapletic Operators and an Extension of a Result of Lyubarskii and Nes

abstract: In this work we show that if the frame property of a Gabor frame with window in Feichtinger's algebra and a fixed lattice only depends on the parity of the window, then the lattice can be replaced by any other lattice of the same density without losing the frame property. As a byproduct we derive a generalization of a result of Lyubarskii and Nes, who could show that any Gabor system consisting of an odd window function from Feichtinger's algebra and any separable lattice of density $\frac{n+1}{n}$, $n \in \mathbb{N}_+$, cannot be a Gabor frame for the Hilbert space of square-integrable functions on the real line. We extend this result by removing the assumption that the lattice has to be separable. This is achieved by exploiting the interplay between the symplectic and the metaplectic group.


title: Asymptotic analysis for Vlasov-Fokker-Planck/compressible Navier-Stokes equations with a density-dependent viscosity

abstract: We study a hydrodynamic limit of a system of coupled kinetic and fluid equations under a strong local alignment force and a strong Brownian motion. More precisely, we consider the Vlasov-Fokker-Planck type equation and compressible Navier-Stokes equations with a density-dependent viscosity. Based on a relative entropy argument, by assuming the existence of weak solutions to that kinetic-fluid system, we rigorously derive a two-phase fluid model consisting of isothermal Euler equations and compressible Navier-Stokes equations with a density-dependent viscosity.


title: Efficient, Dynamic Multi-tenant Edge Computation in EdgeOS

abstract: In the future, computing will be immersed in the world around us -- from augmented reality to autonomous vehicles to the Internet of Things. Many of these smart devices will offer services that respond in real time to their physical surroundings, requiring complex processing with strict performance guarantees. Edge clouds promise a pervasive computational infrastructure a short network hop away from end devices, but today's operating systems are a poor fit to meet the goals of scalable isolation, dense multi-tenancy, and predictable performance required by these emerging applications. In this paper we present EdgeOS, a micro-kernel based operating system that meets these goals by blending recent advances in real-time systems and network function virtualization. EdgeOS introduces a Featherweight Process model that offers lightweight isolation and supports extreme scalability even under high churn. Our architecture provides efficient communication mechanisms, and low-overhead per-client isolation. To achieve high performance networking, EdgeOS employs kernel bypass paired with the isolation properties of Featherweight Processes. We have evaluated our EdgeOS prototype for running high scale network middleboxes using the Click software router and endpoint applications using memcached. EdgeOS reduces startup latency by 170X compared to Linux processes and over five orders of magnitude compared to containers, while providing three orders of magnitude latency improvement when running 300 to 1000 edge-cloud memcached instances on one server.


title: Adversarial Examples Versus Cloud-based Detectors: A Black-box Empirical Study

abstract: Deep learning has been broadly leveraged by major cloud providers, such as Google, AWS and Baidu, to offer various computer vision related services including image classification, object identification, illegal image detection, etc. While recent works extensively demonstrated that deep learning classification models are vulnerable to adversarial examples, cloud-based image detection models, which are more complicated than classifiers, may also have similar security concern but not get enough attention yet. In this paper, we mainly focus on the security issues of real-world cloud-based image detectors. Specifically, (1) based on effective semantic segmentation, we propose four attacks to generate semantics-aware adversarial examples via only interacting with black-box APIs; and (2) we make the first attempt to conduct an extensive empirical study of black-box attacks against real-world cloud-based image detectors. Through the comprehensive evaluations on five major cloud platforms: AWS, Azure, Google Cloud, Baidu Cloud, and Alibaba Cloud, we demonstrate that our image processing based attacks can reach a success rate of approximately 100%, and the semantic segmentation based attacks have a success rate over 90% among different detection services, such as violence, politician, and pornography detection. We also proposed several possible defense strategies for these security challenges in the real-life situation.


title: Tuning the torque-speed characteristics of bacterial flagellar motor to enhance the swimming speed

abstract: In a classic paper, Edward Purcell analysed the dynamics of flagellated bacterial swimmers and derived a geometrical relationship which optimizes the propulsion efficiency. Experimental measurements for wild-type bacterial species E. coli have revealed that they closely satisfy this geometric optimality. However, the dependence of the flagellar motor speed on the load and more generally the role of the torque-speed characteristics of the flagellar motor is not considered in Purcell's original analysis. Here we derive a tuned condition representing a match between the flagella geometry and the torque-speed characteristics of the flagellar motor to maximize the bacterial swimming speed for a given load. This condition is independent of the geometric optimality condition derived by Purcell and interestingly this condition is not satisfied by wild-type E. coli which swim 2-3 times slower than the maximum possible speed given the amount of available motor torque. Our analysis also reveals the existence of an anomalous propulsion regime, where the swim speed increases with increasing load (drag). Finally, we present experimental data which supports our analysis.


title: Invisible knots and rainbow rings: knots not determined by their determinants

abstract: We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of thin strips $P(m,n)$. By replacing each thin strip with its midline, we think of $P(m,n)$ as a link, that is, a collection of circles in space. Using the notion of $p$-colorability from knot theory, we determine, for each $m$ and $n$, which primes $p$ can be used to color $P(m,n)$. Amazingly, almost all admit 0, 1, or an infinite number of prime colorings! This is reminiscent of solutions sets in linear algebra. Indeed, the problem quickly turns into a study of the eigenvalues of a large, nearly diagonal matrix. Our paper combines this explicit calculation in linear algebra with a survey of several ideas from knot theory including colorability and torus links.


title: Wonderful asymptotics of matrix coefficient D-modules

abstract: Beilinson-Bernstein localization realizes representations of complex reductive Lie algebras as monodromic $D$-modules on the "basic affine space" $G/N$, a torus bundle over the flag variety. A doubled version of the same space appears as the horocycle space describing the geometry of the reductive group $G$ at infinity, near the closed stratum of the wonderful compactification $\overline{G}$, or equivalently in the special fiber of the Vinberg semigroup of $G$. We show that Beilinson-Bernstein localization for $U\mathfrak g$-bimodules arises naturally as the specialization at infinity in $\overline{G}$ of the $D$-modules on $G$ describing matrix coefficients of Lie algebra representations. More generally, the asymptotics of matrix coefficient $D$-modules along any stratum of $\overline{G}$ are given by the matrix coefficient $D$-modules for parabolic restrictions. This provides a simple algebraic derivation of the relation between growth of matrix coefficients of admissible representations and $\mathfrak n$-homology. The result is an elementary consequence of the compatibility of localization with the degeneration of affine $G$-varieties to their asymptotic cones; analogous results hold for the asymptotics of the equations describing spherical functions on symmetric spaces.


title: Profinite invariants of arithmetic groups

abstract: We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the sign of the Euler characteristic is not profinite among general residually finite groups of type $F$. Our methods imply similar results for $\ell^2$-torsion as well as a strong profiniteness statement for Novikov-Shubin invariants.


title: Conformal Gravity and the Radial Acceleration Relation

abstract: During the 2016 International Workshop on Astronomy and Relativistic Astrophysics (IWARA), the question was raised as to if conformal gravity could explain the timely result of McGaugh et. al. 2016 which showed a universal nature found in the centripetal accelerations of spiral galaxies. At the time of the conference, the McGaugh result was only published for two weeks. Since then, the result has become known as the Radial Acceleration Relation (RAR) and has been considered tantamount to a natural law. In this work, we summarize how conformal gravity can explain the Radial Acceleration Rule in a fashion consistent with the findings of the original authors without the need for dark matter.


title: Solving Markov Decision Processes with Reachability Characterization from Mean First Passage Times

abstract: A new mechanism for efficiently solving the Markov decision processes (MDPs) is proposed in this paper. We introduce the notion of reachability landscape where we use the Mean First Passage Time (MFPT) as a means to characterize the reachability of every state in the state space. We show that such reachability characterization very well assesses the importance of states and thus provides a natural basis for effectively prioritizing states and approximating policies. Built on such a novel observation, we design two new algorithms -- Mean First Passage Time based Value Iteration (MFPT-VI) and Mean First Passage Time based Policy Iteration (MFPT-PI) -- that have been modified from the state-of-the-art solution methods. To validate our design, we have performed numerical evaluations in robotic decision-making scenarios, by comparing the proposed new methods with corresponding classic baseline mechanisms. The evaluation results showed that MFPT-VI and MFPT-PI have outperformed the state-of-the-art solutions in terms of both practical runtime and number of iterations. Aside from the advantage of fast convergence, this new solution method is intuitively easy to understand and practically simple to implement.


title: Permutation Weighting

abstract: In observational causal inference, in order to emulate a randomized experiment, weights are used to render treatments independent of observed covariates. This property is known as balance; in its absence, estimated causal effects may be arbitrarily biased. In this work we introduce permutation weighting, a method for estimating balancing weights using a standard binary classifier (regardless of cardinality of treatment). A large class of probabilistic classifiers may be used in this method; the choice of loss for the classifier implies the particular definition of balance. We bound bias and variance in terms of the excess risk of the classifier, show that these disappear asymptotically, and demonstrate that our classification problem directly minimizes imbalance. A wide variety of existing balancing weights may be estimated through this regime, allowing for direct comparison between methods based on classifier loss, as well as hyper-parameter tuning using cross-validation. Empirical evaluations indicate that permutation weighting provides favorable performance in comparison to existing methods.


title: Monotone abstract non-densely defined Cauchy problems applied to age structured population dynamic models

abstract: In this article we first derive some sufficient conditions to establish the monotonicity and comparison principles of the semi-flow generated by non-densely defined Cauchy problems. We apply our results to a class of age structured population models. As a consequence we obtain a monotone semi-flow theory and some comparison principles for age structured models.


title: Bounds for modified Lommel functions of the first kind and their ratios

abstract: The modified Lommel function $t_{\mu,\nu}(x)$ is an important special function, but to date there has been little progress on the problem of obtaining functional inequalities for $t_{\mu,\nu}(x)$. In this paper, we advance the literature substantially by obtaining a simple two-sided inequality for the ratio $t_{\mu,\nu}(x)/t_{\mu-1,\nu-1}(x)$ in terms of the ratio $I_\nu(x)/I_{\nu-1}(x)$ of modified Bessel functions of the first kind, thereby allowing one to exploit the extensive literature on bounds for this ratio. We apply this result to obtain two-sided inequalities for the condition numbers $xt_{\mu,\nu}'(x)/t_{\mu,\nu}(x)$, the ratio $t_{\mu,\nu}(x)/t_{\mu,\nu}(y)$ and the modified Lommel function $t_{\mu,\nu}(x)$ itself that are given in terms of $xI_\nu'(x)/I_\nu(x)$, $I_\nu(x)/I_\nu(y)$ and $I_\nu(x)$, respectively. The bounds obtained in this paper are quite accurate and often tight in certain limits. As an important special case we deduce bounds for modified Struve functions of the first kind and their ratios, some of which are new, whilst others extend the range of validity of some results given in the recent literature.


title: State-Independent Quantum Key Distribution with Two-Way Classical Communication

abstract: A quantum key distribution protocol is proposed that is a variation of BB84 that provides raw key generation from correlations that violate a Bell-type inequality for single qubit systems and not entangled pairs. Additionally, it 1) is state-independent, 2) involves two-way classical communication, and 3) does not require basis matching between the two parties. The Brukner-Taylor-Cheung-Vedral (BTCV) time-like form of the Bell-CHSH inequality [C. Brukner, S. Taylor, S. Cheung, V. Vedral arXiv:quant-ph/0402127] is employed as an eavesdropping check; sequential measurements lead to an inequality identical in form to the Bell-CHSH inequality, which relies only on the measurements performed with no regard for the qubit states. We show that this form manifests naturally from the non-commutativity of observables.


title: Quantum Computation of Electronic Transitions using a Variational Quantum Eigensolver

abstract: We develop an extension of the variational quantum eigensolver (VQE) algorithm - multistate, contracted VQE (MC-VQE) - that allows for the efficient computation of the transition energies between the ground state and several low-lying excited states of a molecule, as well as the oscillator strengths associated with these transitions. We numerically simulate MC-VQE by computing the absorption spectrum of an ab initio exciton model of an 18-chromophore light-harvesting complex from purple photosynthetic bacteria.


title: Parameter dependence of solutions of the Cauchy-Riemann equation on spaces of weighted smooth functions

abstract: We study the inhomogeneous Cauchy-Riemann equation on spaces $\mathcal{EV}(\Omega,E)$ of weighted $\mathcal{C}^{\infty}$-smooth $E$-valued functions on an open set $\Omega\subset\mathbb{R}^{2}$ whose growth on strips along the real axis is determined by a family of continuous weights $\mathcal{V}$ where $E$ is a locally convex Hausdorff space over $\mathbb{C}$. We derive sufficient conditions on the weights $\mathcal{V}$ such that the kernel $\operatorname{ker}\overline{\partial}$ of the Cauchy-Riemann operator $\overline{\partial}$ in $\mathcal{EV}(\Omega):=\mathcal{EV}(\Omega,\mathbb{C})$ has the property $(\Omega)$ of Vogt. Then we use previous results and conditions on the surjectivity of the Cauchy-Riemann operator $\overline{\partial}\colon\mathcal{EV}(\Omega)\to\mathcal{EV}(\Omega)$ and the splitting theory of Vogt for Fr\'{e}chet spaces and of Bonet and Doma\'nski for (PLS)-spaces to deduce the surjectivity of the Cauchy-Riemann operator on the space $\mathcal{EV}(\Omega,E)$ if $E:=F_{b}'$ where $F$ is a Fr\'{e}chet space satisfying the condition $(DN)$ or if $E$ is an ultrabornological (PLS)-space having the property $(PA)$. As a consequence, for every family of right-hand sides $(f_{\lambda})_{\lambda\in U}$ in $\mathcal{EV}(\Omega)$ which depends smoothly, holomorphically or distributionally on a parameter $\lambda$ there is a family $(u_{\lambda})_{\lambda\in U}$ in $\mathcal{EV}(\Omega)$ with the same kind of parameter dependence which solves the Cauchy-Riemann equation $\overline{\partial}u_{\lambda}=f_{\lambda}$ for all $\lambda\in U$.


title: Phase diagram of the Kondo model on the zigzag ladder

abstract: The effect of next-nearest-neighbor hopping $t_{2}$ on the ground-state phase diagram of the one-dimensional Kondo lattice is studied with density-matrix renormalization-group techniques and by comparing with the phase diagram of the classical-spin variant of the same model. For a finite $t_{2}$, i.e., for a zigzag-ladder geometry, indirect antiferromagnetic interactions between the localized spins are geometrically frustrated. We demonstrate that $t_{2}$ at the same time triggers several magnetic phases which are absent in the model with nearest-neighbor hopping only. For strong $J$, we find a transition from antiferromagnetic to incommensurate magnetic short-range order, which can be understood entirely in the classical-spin picture. For weaker $J$, a spin-dimerized phase emerges, which spontaneously breaks the discrete translation symmetry. The phase is not accessible to perturbative means but is explained, on a qualitative level, by the classical-spin model as well. Spin dimerization alleviates magnetic frustration and is interpreted as a key to understand the emergence of quasi-long-range spiral magnetic order which is found at weaker couplings. The phase diagram at weak $J$, with gapless quasi-long-range order on top of the two-fold degenerate spin-dimerized ground state, competing with a nondegenerate phase with gapped spin (and charge) excitations, is unconventional and eludes an effective low-energy spin-only theory.


title: Deep Chandra survey of the Small Magellanic Cloud. III. Formation efficiency of High-Mass X-ray binaries

abstract: We have compiled the most complete census of High-Mass X-ray Binaries (HMXBs) in the Small Magellanic Cloud with the aim to investigate the formation efficiency of young accreting binaries in its low metallicity environment. In total, we use 127 X-ray sources with detections in our \chandra X-ray Visionary Program (XVP), supplemented by 14 additional (likely and confirmed) HMXBs identified by \cite{2016A&A...586A..81H} that fall within the XVP area, but are not either detected in our survey (9 sources) or matched with any XVP source that has at least one OB counterpart in the OGLE-III catalog (5 sources). Specifically, we examine the number ratio of the HMXBs [N(HMXBs)] to {\it (a)} the number of OB stars, {\it (b)} the local star-formation rate (SFR), and {\it (c)} the stellar mass produced during the specific star-formation burst, all as a function of the age of their parent stellar populations. Each of these indicators serves a different role, but in all cases we find that the HMXB formation efficiency increases as a function of time (following a burst of star formation) up to $\sim$40--60\,Myr, and then gradually decreases. The peak formation efficiency N(HMXB)/SFR is (49 $\pm$ 14) $[10^{-5}~{\rm M_{\odot}/yr}]^{-1}$, in good agreement with previous estimates of the average formation efficiency in the broad $\sim$20--60\,Myr age range. The frequency of HMXBs is a factor of 8$\times$ higher than at $\sim$10\,Myr, and 4$\times$ higher than at $\sim$260\,Myr, i.e. at earlier and later epochs, respectively.


title: A Distance Map Regularized CNN for Cardiac Cine MR Image Segmentation

abstract: Cardiac image segmentation is a critical process for generating personalized models of the heart and for quantifying cardiac performance parameters. Several convolutional neural network (CNN) architectures have been proposed to segment the heart chambers from cardiac cine MR images. Here we propose a multi-task learning (MTL)-based regularization framework for cardiac MR image segmentation. The network is trained to perform the main task of semantic segmentation, along with a simultaneous, auxiliary task of pixel-wise distance map regression. The proposed distance map regularizer is a decoder network added to the bottleneck layer of an existing CNN architecture, facilitating the network to learn robust global features. The regularizer block is removed after training, so that the original number of network parameters does not change. We show that the proposed regularization method improves both binary and multi-class segmentation performance over the corresponding state-of-the-art CNN architectures on two publicly available cardiac cine MRI datasets, obtaining average dice coefficient of 0.84$\pm$0.03 and 0.91$\pm$0.04, respectively. Furthermore, we also demonstrate improved generalization performance of the distance map regularized network on cross-dataset segmentation, showing as much as 42% improvement in myocardium Dice coefficient from 0.56$\pm$0.28 to 0.80$\pm$0.14.


title: Speaker Adaptation for End-to-End CTC Models

abstract: We propose two approaches for speaker adaptation in end-to-end (E2E) automatic speech recognition systems. One is Kullback-Leibler divergence (KLD) regularization and the other is multi-task learning (MTL). Both approaches aim to address the data sparsity especially output target sparsity issue of speaker adaptation in E2E systems. The KLD regularization adapts a model by forcing the output distribution from the adapted model to be close to the unadapted one. The MTL utilizes a jointly trained auxiliary task to improve the performance of the main task. We investigated our approaches on E2E connectionist temporal classification (CTC) models with three different types of output units. Experiments on the Microsoft short message dictation task demonstrated that MTL outperforms KLD regularization. In particular, the MTL adaptation obtained 8.8\% and 4.0\% relative word error rate reductions (WERRs) for supervised and unsupervised adaptations for the word CTC model, and 9.6% and 3.8% relative WERRs for the mix-unit CTC model, respectively.


title: Relaxing the Cosmological Moduli Problem by Low-scale Inflation

abstract: We show that the cosmological abundance of string axions is much smaller than naive estimates if the Hubble scale of inflation, $H_{\rm inf}$, is sufficiently low (but can still be much higher than the axion masses) and if the inflation lasts sufficiently long. The reason is that the initial misalignment angles of the string axions follow the Bunch-Davies distribution peaked at the potential minima. As a result, the cosmological moduli problem induced by the string axions can be significantly relaxed by low-scale inflation, and astrophysical and cosmological bounds are satisfied over a wide range of the mass without any fine-tuning of the initial misalignment angles. Specifically, the axion with its decay constant $f_\phi = 10^{16}$\,GeV satisfies the bounds over $10^{-18}{\rm \, eV} \lesssim m_\phi \lesssim 10{\rm\,TeV}$ for $H_{\rm inf} \lesssim 10{\rm\,keV}- 10^{6}$\,{\rm GeV}. We also discuss cases with multiple axions and the QCD axion.


title: Nonparametric Instrumental Variables Estimation Under Misspecification

abstract: Nonparametric Instrumental Variables (NPIV) analysis is based on a conditional moment restriction. We show that if this moment condition is even slightly misspecified, say because instruments are not quite valid, then NPIV estimates can be subject to substantial asymptotic error and the identified set under a relaxed moment condition may be large. Imposing strong a priori smoothness restrictions mitigates the problem but induces bias if the restrictions are too strong. In order to manage this trade-off we develop a methods for empirical sensitivity analysis and apply them to the consumer demand data previously analyzed in Blundell (2007) and Horowitz (2011).


title: Spin phases of the helimagnetic insulator Cu$_2$OSeO$_3$ probed by magnon heat conduction

abstract: We report studies of thermal conductivity as functions of magnetic field and temperature in the helimagnetic insulator Cu$_2$OSeO$_3$ that reveal novel features of the spin-phase transitions as probed by magnon heat conduction. The tilted conical spiral and low-temperature skyrmion phases, recently identified in small-angle neutron scattering studies, are clearly identified by sharp signatures in the magnon thermal conductivity. Magnon scattering associated with the presence of domain boundaries in the tilted conical phase and regions of skyrmion and conical-phase coexistence are identified.


title: The squeezed matter bispectrum covariance with responses

abstract: We present a calculation of the angle-averaged squeezed matter bispectrum covariance ${\rm Cov}\left(B_{m}(k_1, k_1', s_1), B_{m}(k_2, k_2', s_2)\right)$, $s_i \ll k_i,k_i'$ ($i=1,2$), that uses matter power spectrum responses to describe the coupling of large- to short-scale modes in the nonlinear regime. The covariance is given by a certain configuration of the 6-point function, which we show is dominated by response-type mode-coupling terms in the squeezed bispectrum limit. The terms that are not captured by responses are small, effectively rendering our calculation complete and predictive for linear $s_1,s_2$ values and any nonlinear values of $k_1,k_1',k_2,k_2'$. Our numerical results show that the squeezed bispectrum super-sample covariance is only a negligible contribution. We also compute the power spectrum-bispectrum cross-covariance using responses. Our derivation for the squeezed matter bispectrum is the starting point to calculate analytical covariances for more realistic galaxy clustering and weak-lensing applications. It can also be used in cross-checks of numerical ensemble estimates of the general bispectrum covariance, given that it is effectively noise-free and complete in the squeezed limit.


title: Secondary neutrino and gamma-ray fluxes from SimProp and CRPropa

abstract: The interactions of ultra-high-energy cosmic rays (UHECRs) in extragalactic space with photons of the cosmic microwave background (CMB) and extragalactic background light (EBL) can generate high-energy neutrinos and photons. Simulations of UHECR propagation require knowledge about physical quantities such as the spectrum of the EBL and photodisintegration cross sections. These assumptions, as well as the approximations used in the codes, may influence the computed UHECR spectrum and composition, and the associated cosmogenic neutrino and photon fluxes. Following up on our previous work where we studied the effects of these uncertainties on the UHECR spectrum and composition, here we quantify those on neutrino fluxes and production rates of photons, electrons, and positrons, using the Monte Carlo codes CRPropa and SimProp, in various astrophysical scenarios. We show that cosmogenic neutrinos are more sensitive to the choice of EBL model than UHECRs, whereas the overall cosmogenic gamma-ray production rates are relatively independent of propagation details. We also find significant differences between neutrino fluxes predicted by the latest released versions of CRPropa and SimProp, and discuss their causes and possible improvements in future versions of the codes.


title: Perturbing Monopolar Force-Free Magnetospheres to Slowly Rotating Black Holes

abstract: We study the effects of frame-dragging on the structure of force-free magnetospheres around rotating black holes. For slowly rotating black holes, analytic explorations often focus on transforming an exact force-free solution applicable to a static black hole into a solution approximately applicable to a slowly-rotating black hole via perturbations in black hole spin. We show that the single perturbed monopolar solution most commonly arrived at using such techniques is in fact a separatrix between two broad classes of solutions: those with poloidal magnetic fields that bend upwards towards the azimuthal axis and those that bend downwards towards the equatorial plane. This is because frame-dragging affects the toroidal magnetic field distributions, changing the force balance between poloidal magnetic field lines.


title: Microlensing flux ratio predictions for Euclid

abstract: Quasar microlensing flux ratios are used to unveil properties of the lenses in large collections of lensed quasars, like the ones expected to be produced by the Euclid survey. This is achieved by using the direct survey products, without any (expensive) follow-up observations or monitoring. First, the theoretical flux ratio distribution of samples of hundreds of mock quasar lenses is calculated for different Initial Mass Functions (IMFs) and Sersic radial profiles for the lens compact matter distribution. Then, mock observations are created and compared to the models to recover the underlying one. The most important factor for determining the flux ratio properties of such samples is the value of the smooth matter fraction at the location of the multiple images. Doubly lensed CASTLES-like quasars are the most promising systems to constrain the IMF and the mass components for a sample of lenses.


title: Moving boundary problems for quasi-steady conduction limited melting

abstract: The problem of melting a crystal dendrite is modelled as a quasi-steady Stefan problem. By employing the Baiocchi transform, asymptotic results are derived in the limit that the crystal melts completely, extending previous results that hold for a special class of initial and boundary conditions. These new results, together with predictions for whether the crystal pinches off and breaks into two, are supported by numerical calculations using the level set method. The effects of surface tension are subsequently considered, leading to a canonical problem for near-complete-melting which is studied in linear stability terms and then solved numerically. Our study is motivated in part by experiments undertaken as part of the Isothermal Dendritic Growth Experiment, in which dendritic crystals of pivalic acid were melted in a microgravity environment: these crystals were found to be prolate spheroidal in shape, with an aspect ratio initially increasing with time then rather abruptly decreasing to unity. By including a kinetic undercooling-type boundary condition in addition to surface tension, our model suggests the aspect ratio of a melting crystal can reproduce the same non-monotonic behaviour as that which was observed experimentally.

categories: physics.flu-dyn math-ph math.AP math.MP physics.comp-ph


title: Single charge transport in a fully superconducting SQUISET locally tuned by self-inductance effects

abstract: We present a single-electron device for the manipulation of charge states via quantum interference in nanostructured electrodes. Via self-inductance effects, we induce two independent magnetic fluxes in the electrodes and we demonstrate sensitivity to single charge states and magnetic field at variable temperature. Moreover, our approach allows us to demonstrate local and independent control of the single-particle conductance between nano-engineered tunnel junctions in a fully-Superconducting Quantum Interference Single-Electron Transistor (SQUISET), thereby increasing the flexibility of our single-electron transistors. Our devices show a robust modulation of the current-to-flux transfer function via control currents, while exploiting the single-electron filling of a mesoscopic superconducting island. Further applications of the device concept to single-charge manipulation and magnetic-flux sensing are also discussed.


title: Evaluation of integrals by differentiation with respect to a parameter

abstract: We review a special technique for evaluating challenging integrals by providing a number of examples. Many of our examples prove integrals from the popular table of Gradshteyn and Ryzhik.


title: Learning Graph Embedding with Adversarial Training Methods

abstract: Graph embedding aims to transfer a graph into vectors to facilitate subsequent graph analytics tasks like link prediction and graph clustering. Most approaches on graph embedding focus on preserving the graph structure or minimizing the reconstruction errors for graph data. They have mostly overlooked the embedding distribution of the latent codes, which unfortunately may lead to inferior representation in many cases. In this paper, we present a novel adversarially regularized framework for graph embedding. By employing the graph convolutional network as an encoder, our framework embeds the topological information and node content into a vector representation, from which a graph decoder is further built to reconstruct the input graph. The adversarial training principle is applied to enforce our latent codes to match a prior Gaussian or Uniform distribution. Based on this framework, we derive two variants of adversarial models, the adversarially regularized graph autoencoder (ARGA) and its variational version, adversarially regularized variational graph autoencoder (ARVGA), to learn the graph embedding effectively. We also exploit other potential variations of ARGA and ARVGA to get a deeper understanding on our designs. Experimental results compared among twelve algorithms for link prediction and twenty algorithms for graph clustering validate our solutions.


title: Generalized Flows around Neutron Stars

abstract: In this chapter, we present a brief and non-exhaustive review of the developments of theoretical models for accretion flows around neutron stars. A somewhat chronological summary of crucial observations and modelling of timing and spectral properties are given in sections 2 and 3. In section 4, we argue why and how the Two-Component Advective Flow (TCAF) solution can be applied to the cases of neutron stars when suitable modifications are made for the NSs. We showcase some of our findings from Monte Carlo and Smoothed Particle Hydrodynamic simulations which further strengthens the points raised in section 4. In summary, we remark on the possibility of future works using TCAF for both weakly magnetic and magnetic Neutron Stars.


title: Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

abstract: Ruitenburg's Theorem says that every endomorphism f of a finitely generated free Heyting algebra is ultimately periodic if f fixes all the generators but one. More precisely, there is N $\ge$ 0 such that f N +2 = f N , thus the period equals 2. We give a semantic proof of this theorem, using duality techniques and bounded bisimulation ranks. By the same techniques, we tackle investigation of arbitrary endomorphisms between free algebras. We show that they are not, in general, ultimately periodic. Yet, when they are (e.g. in the case of locally finite subvarieties), the period can be explicitly bounded as function of the cardinality of the set of generators.


title: Towards Constraining Parity-Violations in Gravity with Satellite Gradiometry

abstract: Parity violation in gravity, if existed, could have important implications, and it is meaningful to search and test the possible observational effects. Chern-Simons modified gravity serves as a natural model for gravitational parity-violations. Especially, considering extensions to Einstein-Hilbert action up to second order curvature terms, it is known that theories of gravitational parity-violation will reduce to the dynamical Chern-Simons gravity. In this letter, we outline the theoretical principles of testing the dynamical Chern-Simons gravity with orbiting gravity gradiometers, which could be naturally incorporated into future satellite gravity missions. The secular gravity gradient signals, due to the Mashhoon-Theiss (anomaly) effect, in dynamical Chern-Simons gravity are worked out, which can improve the constraint of the corresponding Chern-Simons length scale $\xi^{\frac{1}{4}}_{cs}$ obtained from such measurement scheme. For orbiting superconducting gradiometers or gradiometers with optical readout, a bound $\xi^{\frac{1}{4}}_{cs}\leq 10^6 \ km$ (or even better) could in principle be obtained, which will be at least 2 orders of magnitude stronger than the current one based on the observations from the GP-B mission and the LAGEOS I, II satellites.


title: Strange attractors for Overbeck -Boussinesq model

abstract: In this paper, we consider dynamics defined by the Navier-Stokes equations in the Oberbeck-Boussinesq approximation in a two dimensional domain. This model of fluid dynamics involve fundamental physical effects: convection, and diffusion. The main result is as follows: local semiflows, induced by this problem, can generate all possible structurally stable dynamics defined by $C^1$ smooth vector fields on compact smooth manifolds (up to an orbital topological equivalency). To generate a prescribed dynamics, it is sufficient to adjust some parameters in the equations, namely, the viscosity coefficient, an external heat source, some parameters in boundary conditions and the small perturbation of the gravitational force.


title: Generic Primitive Detection in Point Clouds Using Novel Minimal Quadric Fits

abstract: We present a novel and effective method for detecting 3D primitives in cluttered, unorganized point clouds, without axillary segmentation or type specification. We consider the quadric surfaces for encapsulating the basic building blocks of our environments - planes, spheres, ellipsoids, cones or cylinders, in a unified fashion. Moreover, quadrics allow us to model higher degree of freedom shapes, such as hyperboloids or paraboloids that could be used in non-rigid settings. We begin by contributing two novel quadric fits targeting 3D point sets that are endowed with tangent space information. Based upon the idea of aligning the quadric gradients with the surface normals, our first formulation is exact and requires as low as four oriented points. The second fit approximates the first, and reduces the computational effort. We theoretically analyze these fits with rigor, and give algebraic and geometric arguments. Next, by re-parameterizing the solution, we devise a new local Hough voting scheme on the null-space coefficients that is combined with RANSAC, reducing the complexity from $O(N^4)$ to $O(N^3)$ (three points). To the best of our knowledge, this is the first method capable of performing a generic cross-type multi-object primitive detection in difficult scenes without segmentation. Our extensive qualitative and quantitative results show that our method is efficient and flexible, as well as being accurate.


title: An Integral Equation for Riemann's Zeta Function and its Approximate Solution

abstract: Two identities extracted from the literature are coupled to obtain an integral equation for Riemann's $\xi(s)$ function, and thus $\zeta(s)$ indirectly. The equation has a number of simple properties from which useful derivations flow, the most notable of which relates $\zeta(s)$ anywhere in the critical strip to its values on a line anywhere else in the complex plane. From this, I obtain both an analytic expression for $\zeta(\sigma+it)$ everywhere inside the asymptotic ($t\rightarrow\infty)$ critical strip, and an approximate solution, within the confines of which the Riemann Hypothesis is shown to be true. The approximate solution predicts a simple, but strong correlation between the real and imaginary components of $\zeta(\sigma+it)$ for different values of $\sigma$ and equal values of $t$; this is illustrated in a number of Figures.


title: Gluing semi-orthogonal decompositions

abstract: We introduce preordered semi-orthogonal decompositions (psod-s) of dg-categories. We show that homotopy limits of dg-categories equipped with compatible psod-s carry a natural psod. This gives a way to glue semi-orthogonal decompositions along faithfully-flat covers, extending some results of [4]. As applications we will construct semi-orthogonal decompositions for root stacks of log pairs (X,D) where D is a (not necessarily simple) normal crossing divisors, generalizing results from [17] and [3]. Further we will compute the Kummer flat K-theory of general log pairs (X,D), generalizing earlier results of Hagihara and Nizio{\l} in the simple normal crossing case [15], [23].


title: The Ces\`aro operator on duals of smooth sequence spaces of infinite type

abstract: The discrete Ces\`aro operator $\mathsf{C}$ is investigated in strong duals of smooth sequence spaces of infinite type. Of main interest is its spectrum, which turns out to be distinctly different in the cases when the space is nuclear and when it is not.


title: Mono-Neutrino at DUNE: New Signals From Neutrinophilic Thermal Dark Matter

abstract: We introduce the mono-neutrino signal at neutrino detectors as a smoking gun of sub-GeV scale dark matter candidates that mainly interact with standard model neutrinos. In a mono-neutrino process, invisible particles, either dark matter themselves or the mediator particle, are radiated off a neutrino when it undergoes the charged-current weak interaction. The associated signals include a missing transverse momentum with respect to the incoming neutrino beam direction and the production of wrong-sign charged leptons. We demonstrate the potential leading role of the future DUNE experiment, using its proposed liquid and gas argon near detectors, in probing these new signals and the thermal origins of neutrinophilic dark matter.


title: Topological many-body scar states in dimensions 1, 2, and 3

abstract: We propose an exact construction for atypical excited states of a class of non-integrable quantum many-body Hamiltonians in one dimension (1D), two dimensions (2D), and three dimensins (3D) that display area law entanglement entropy. These examples of many-body `scar' states have, by design, other properties, such as topological degeneracies, usually associated with the gapped ground states of symmetry protected topological phases or topologically ordered phases of matter.


title: Black hole obscuration and duty cycles mediated by AGN feedback in high redshift galaxies

abstract: Dense gas in the centre of galaxies feeds massive black holes, but can also become a source of obscuration and limit our ability to find faint Active Galactic Nuclei (AGN). We use a high resolution cosmological radiative hydrodynamics simulation to connect the properties of the gas in the central region (a few tens of parsecs) of a high redshift galaxy to the growth of a massive black hole during the first billion years of the Universe. We find that the feedback from the AGN efficiently controls the growth of the black hole and limits the duration of the high accretion episodes by emptying the gas reservoir. As the galaxy grows in mass, the production of metals results in the presence of dust-enriched gas in the galaxy centre that can obscure highly accreting black holes enough to strongly reduce their UV/optical visibility. We also find that the gas outside the very centre of the galaxy can contribute to the total column density and obscuration at a level at least comparable to the gas in the nuclear region. We suggest that this explains the different duty cycles required to explain the masses of high redshift quasars and the observed UV/optical luminosity functions: in our case, the AGN would be observed with an X-ray luminosity above $L_X = 10^{42}$ erg/s around 30% of the time, but with UV magnitude brighter than $M_{1450}$ = -23 only 4% of the time.


title: New Constraints on Sterile Neutrino Dark Matter from $NuSTAR$ M31 Observations

abstract: We use a combined 1.2 Ms of $NuSTAR$ observations of M31 to search for X-ray lines from sterile neutrino dark matter decay. For the first time in a $NuSTAR$ analysis, we consistently take into account the signal contribution from both the focused and unfocused fields of view. We also reduce the modeling systematic uncertainty by performing spectral fits to each observation individually and statistically combining the results, instead of stacking the spectra. We find no evidence of unknown lines, and thus derive limits on the sterile neutrino parameters. Our results place stringent constraints for dark matter masses $\gtrsim 12$ keV, which reduces the available parameter space for sterile neutrino dark matter produced via neutrino mixing ($e.g.$, in the $\nu$MSM) by approximately one-third. Additional $NuSTAR$ observations, together with improved low-energy background modeling, could probe the remaining parameter space in the future. Lastly, we also report model-independent limits on generic dark matter decay rates and annihilation cross sections.


title: Electronic structure of mesoscopic superconducting disk: Quasiparticle tunneling between the giant vortex core and disk edge

abstract: The electronic structure of the giant vortex states in a mesoscopic superconducting disk is studied in a dirty limit using the Usadel approach. The local density of states profiles are shown to be strongly affected by the effect of quasiparticle (QP) tunneling between the states localized in the vortex core and the ones bound to the sample edge. Decreasing temperature leads to a crossover between the edge-dominated and core-dominated regimes in the magnetic field dependence of the tunneling conductance. This crossover is discussed in the context of the efficiency of quasiparticle cooling by the magnetic field induced QP traps in various mesoscopic superconducting devices.


title: deepCool: Fast and Accurate Estimation of Cooling Rates in Irradiated Gas with Artificial Neural Networks

abstract: Accurate models of radiative cooling are a fundamental ingredient of modern cosmological simulations. Without cooling, accreted baryons will not efficiently dissipate their energy and collapse to the centres of haloes to form stars. It is well established that local variations in the amplitude and shape of the spectral energy distribution of the radiation field can drastically alter the cooling rate. Here we introduce deepCool, deepHeat, and deepMetal: methods for accurately modelling the total cooling rates, total heating rates, and metal-line only cooling rates of irradiated gas using artificial neural networks. We train our algorithm on a high-resolution cosmological radiation hydrodynamics simulation and demonstrate that we can predict the cooling rate, as measured with the photoionisation code CLOUDY, under the influence of a local radiation field, to an accuracy of ~5%. Our method is computationally and memory efficient, making it suitable for deployment in state-of-the-art radiation hydrodynamics simulations. We show that the circumgalactic medium and diffuse gas surrounding the central regions of a galaxy are most affected by the interplay of radiation and gas, and that standard cooling functions that ignore the local radiation field can incorrectly predict the cooling rate by more than an order of magnitude, indicating that the baryon cycle in galaxies is affected by the influence of a local radiation field on the cooling rate.


title: Parametrized black hole quasinormal ringdown. I. Decoupled equations for nonrotating black holes

abstract: Black hole solutions in general relativity are simple. The frequency spectrum of linear perturbations around these solutions (i.e., the quasinormal modes) is also simple, and therefore it is a prime target for fundamental tests of black hole spacetimes and of the underlying theory of gravity. The following technical calculations must be performed to understand the imprints of any modified gravity theory on the spectrum: 1. Identify a healthy theory; 2. Find black hole solutions within the theory; 3. Compute the equations governing linearized perturbations around the black hole spacetime; 4. Solve these equations to compute the characteristic quasinormal modes. In this work (the first of a series) we assume that the background spacetime has spherical symmetry, that the relevant physics is always close to general relativity, and that there is no coupling between the perturbation equations. Under these assumptions, we provide the general numerical solution to step 4. We provide publicly available data files such that the quasinormal modes of {\em any} spherically symmetric spacetime can be computed (in principle) to arbitrary precision once the linearized perturbation equations are known. We show that the isospectrality between the even- and odd-parity quasinormal mode spectra is fragile, and we identify the necessary conditions to preserve it. Finally, we point out that new modes can appear in the spectrum even in setups that are perturbatively close to general relativity.


title: Comparing Non-Redundant Masking and Filled-Aperture Kernel Phase for Exoplanet Detection and Characterization

abstract: The limitations of adaptive optics and coronagraph performance make exoplanet detection close to {\lambda}/D extremely difficult with conventional imaging methods. The technique of non-redundant masking (NRM), which turns a filled aperture into an interferometric array, has pushed the planet detection parameter space to within {\lambda}/D. For high Strehl, the related filled-aperture kernel phase technique can achieve resolution comparable to NRM, without the associated dramatic decrease in throughput. We present non-redundant masking and kernel phase contrast curves generated for ground- and space-based instruments. We use both real and simulated observations to assess the performance of each technique, and discuss their capabilities for different exoplanet science goals such as broadband detection and spectral characterization.


title: Holographic dual of the five-point conformal block

abstract: We present the holographic object which computes the five-point global conformal block in arbitrary dimensions for external and exchanged scalar operators. This object is interpreted as a weighted sum over infinitely many five-point geodesic bulk diagrams. These five-point geodesic bulk diagrams provide a generalization of their previously studied four-point counterparts. We prove our claim by showing that the aforementioned sum over geodesic bulk diagrams is the appropriate eigenfunction of the conformal Casimir operator with the right boundary conditions. This result rests on crucial inspiration from a much simpler $p$-adic version of the problem set up on the Bruhat-Tits tree.


title: Panchromatic Study of the First Galaxies with Large ALMA Programs

abstract: Thanks to deep optical to near-IR imaging and spectroscopy, significant progress is made in characterizing the rest-frame UV to optical properties of galaxies in the early universe (z > 4). Surveys with Hubble, Spitzer, and ground-based facilities (Keck, Subaru, and VLT) provide spectroscopic and photometric redshifts, measurements of the spatial structure, stellar masses, and optical emission lines for large samples of galaxies. Recently, the Atacama Large (Sub) Millimeter Array (ALMA) has become a major player in pushing studies of high redshift galaxies to far-infrared wavelengths, hence making panchromatic surveys over many orders of frequencies possible. While past studies focused mostly on bright sub-millimeter galaxies, the sensitivity of ALMA now enables surveys like ALPINE, which focuses on measuring the gas and dust properties of a large sample of normal main-sequence galaxies at z > 4. Combining observations across different wavelengths into a single, panchromatic picture of galaxy formation and evolution is currently and in the future an important focus of the astronomical community.


title: Thermodynamically stable asymptotically flat hairy black holes with a dilaton potential

abstract: We present a detailed analysis of the thermodynamics of exact asymptotically flat hairy black holes in Einstein-Maxwell-dilaton theory. We compute the regularized action, quasilocal stress tensor, and conserved charges by using a `counterterm method' similar to the one extensively used in the AdS-CFT duality. In the presence of a non-trivial dilaton potential that vanishes at the boundary we prove that, for some range of parameters, there exist thermodynamically stable black holes in the grand canonical and canonical ensembles. To the best of our knowledge, this is the first example of a thermodynamically stable asymptotically flat black hole, without imposing artificial conditions corresponding to embedding in a finite box.


title: Photosynthesis on habitable planets around low-mass stars

abstract: We show that planets around M-dwarfs with $M_\star \lesssim 0.2 M_\odot$ may not receive enough photons in the photosynthetically active range of $400$-$750$ nm to sustain Earth-like biospheres. As a result of the lower biological productivity, it is likely that biotic molecular oxygen would not build up to detectable levels in the atmospheres of habitable planets orbiting low-mass stars, consistent with prior work by Lehmer et al. (2018). We also estimate the minimum flaring rate for sustaining biospheres with Earth-like productivity and permitting the build-up of atmospheric oxygen, and find that the overwhelming majority of M-dwarfs are unlikely to exceed this threshold.


title: The MASSIVE Survey - XII Connecting Stellar Populations of Early-Type Galaxies to Kinematics and Environment

abstract: We measure the stellar populations as a function of radius for 90 early-type galaxies (ETGs) in the MASSIVE survey, a volume-limited integral-field spectroscopic (IFS) galaxy survey targeting all northern-sky ETGs with absolute K-band magnitude M_K < -25.3 mag, or stellar mass M* 4x10^11 M_sun, within 108 Mpc. We are able to measure reliable stellar population parameters for individual galaxies out to 10-20 kpc (1-3 R_e) depending on the galaxy. Focusing on ~R_e (~10 kpc), we find significant correlations between the abundance ratios, sigma, and M* at large radius, but we also find that the abundance ratios saturate in the highest-mass bin. We see a strong correlation between the kurtosis of the line of sight velocity distribution (h4) and the stellar population parameters beyond R_e. Galaxies with higher radial anisotropy appear to be older, with metal-poorer stars and enhanced [alpha/Fe]. We suggest that the higher radial anisotropy may derive from more accretion of small satellites. Finally, we see some evidence for correlations between environmental metrics (measured locally and on >5 Mpc scales) and the stellar populations, as expected if satellites are quenched earlier in denser environments.


title: Probing Cosmic Dawn with Emission Lines: Predicting Infrared and Nebular Line Emission for ALMA and JWST

abstract: Infrared and nebular lines provide some of our best probes of the physics regulating the properties of the interstellar medium (ISM) at high-redshift. However, interpreting the physical conditions of high-redshift galaxies directly from emission lines remains complicated due to inhomogeneities in temperature, density, metallicity, ionisation parameter, and spectral hardness. We present a new suite of cosmological, radiation-hydrodynamics simulations, each centred on a massive Lyman-break galaxy that resolves such properties in an inhomogeneous ISM. Many of the simulated systems exhibit transient but well defined gaseous disks that appear as velocity gradients in [CII]~158.6$\mu$m emission. Spatial and spectral offsets between [CII]~158.6$\mu$m and [OIII]~88.33$\mu$m are common, but not ubiquitous, as each line probes a different phase of the ISM. These systems fall on the local [CII]-SFR relation, consistent with newer observations that question previously observed [CII]~158.6$\mu$m deficits. Our galaxies are consistent with the nebular line properties of observed $z\sim2-3$ galaxies and reproduce offsets on the BPT and mass-excitation diagrams compared to local galaxies due to higher star formation rate (SFR), excitation, and specific-SFR, as well as harder spectra from young, metal-poor binaries. We predict that local calibrations between H$\alpha$ and [OII]~3727$\AA$ luminosity and galaxy SFR apply up to $z>10$, as do the local relations between certain strong line diagnostics (R23 and [OIII]~5007$\AA$/H$\beta$) and galaxy metallicity. Our new simulations are well suited to interpret the observations of line emission from current (ALMA and HST) and upcoming facilities (JWST and ngVLA).


title: The Lithium test for multiple populations in Globular Clusters: Lithium in NGC 2808

abstract: In the globular cluster NGC2808, a quasi-standard initial lithium abundance is derived for a red giant belonging to the `extreme' population, characterized by a large helium overabundance, and by abundances of proton capture elements typical of nuclear processing in gas at very high temperatures, where the initial lithium has been fully destroyed. The observations of lithium in such extreme cluster stars are important to test different models for the formation of multiple populations in old Globular Clusters. In the asymptotic giant branch (AGB) scenario, fresh lithium is synthetized during the initial phases of hot bottom burning which, afterwards, synthetize the other p-capture elements. We model the abundance of lithium in the ejecta of superAGB models, finding values consistent or larger than observed in the `extreme' giant; these same models describe correctly the magnesium depletion and silicon enrichment of the extreme population of NGC 2808, so the overall agreement provides further support to the AGB scenario. In the models involving massive or supermassive stars, the Lithium observed requires a mixture of the lithium-free ejecta of the polluting population with more than 40% of standard-lithium pristine gas. The extended chemical anomalies of NGC 2808 stars are then to be all explained within at most 60% of the possible dilution range, the initial helium mass fraction in the ejecta should be Y >= 0.5, to account for the Ye 0.38-0.40 of the extreme population, and further observations of p-process elements are needed to check the model.


title: Atmospheric Structure and Radiation Pattern for Neutron-Star Polar Caps Heated by Magnetospheric Return Currents

abstract: The Neutron-star Interior Composition ExploreR (NICER) is collecting data to measure the radii of neutron stars by observing the pulsed emission from their surfaces. The primary targets are isolated, rotation-powered pulsars, in which the surface polar caps are heated by bombardment from magnetospheric currents of electrons and positrons. We investigate various stopping mechanisms for the beams of particles that bombard the atmosphere and calculate the heat deposition, the atmospheric temperature profiles, and the energy spectra and beaming of the emerging radiation. We find that low-energy particles with {\gamma} $\sim 2-10$ deposit most of their energy in the upper regions of the atmosphere, at low optical depth, resulting in beaming patterns that are substantially different than those of deep-heated, radiative equilibrium models. Only particles with energies {\gamma} $\gtrsim 50$ penetrate to high optical depths and fulfill the conditions necessary for a deep-heating approximation. We discuss the implications of our work for modeling the pulse profiles from rotation-powered pulsars and for the inference of their radii with NICER observations.


title: The Structure of Magnetically Dominated Energy Extracting Black Hole Magnetospheres: Dependencies on Field Line Angular Velocity

abstract: If a magnetically dominated magnetosphere is to extract a black hole's rotational energy and transmit it to distant regions, then the inner light surface of that magnetosphere must lie within the ergoregion. That inner light surface condition limits the angular velocity of magnetic field lines. We take the distribution of magnetic field line angular velocity on the horizon to be a useful proxy for inner light surface location and study how different distributions affect the structure of energy-extracting magnetospheres. Within magnetospheres that exhibit differential field line bending towards both the azimuthal axis and the equatorial plane, we find that the total Poynting flux energy directed outward along the azimuthal axis can vary by over a factor of 100 for a single value of black hole spin.


title: UTPO: User's Trust Profile Ontology - Modeling trust towards Online Health Information Sources

abstract: Despite the overwhelming quantity of health information that is available online today, finding reliable and trustworthy information is still challenging, even when advanced recommender systems are used. To tackle this challenge and improve our recommended sources, we need to first understand and capture the user behavior of what is considered to be trustworthy. This paper presents a taxonomy of relevant factors that influence user' trust towards online health information sources. We design a survey experiment to validate the taxonomical factors, and propose an ontology using the taxonomy of factors, such that each user's trust could be modeled as an instance of our ontology and this could later be used programmatically to recommend trustworthy information sources. Our work will inform the design of personalized recommendation systems and websites to improve online delivery of health information.


title: High quality electrostatically defined hall bars in monolayer graphene

abstract: Realizing graphene's promise as an atomically thin and tunable platform for fundamental studies and future applications in quantum transport requires the ability to electrostatically define the geometry of the structure and control the carrier concentration, without compromising the quality of the system. Here, we demonstrate the working principle of a new generation of high quality gate defined graphene samples, where the challenge of doing so in a gapless semiconductor is overcome by using the $\nu=0$ insulating state, which emerges at modest applied magnetic fields. In order to verify that the quality of our devices is not compromised by the presence of multiple gates we compare the electronic transport response of different sample geometries, paying close attention to fragile quantum states, such as the fractional quantum Hall (FQH) states, that are highly susceptible to disorder. The ability to define local depletion regions without compromising device quality establishes a new approach towards structuring graphene-based quantum transport devices.


title: The polyanalytic reproducing kernels

abstract: Let $\nu$ be a rotation invariant Borel probability measure on the complex plane having moments of all orders. Given a positive integer $q$, it is proved that the space of $\nu$-square integrable $q$-analytic functions is the closure of $q$-analytic polynomials, and in particular it is a Hilbert space. We establish a general formula for the corresponding polyanalytic reproducing kernel. New examples are given and all known examples, including those of the analytic case are covered. In particular, weighted Bergman and Fock type spaces of polyanalytic functions are introduced. Our results have a higher dimensional generalization for measure on ${\mathbb C}^p$ which are in rotation invariant with respect to each coordinate.


title: Von Neumann stability of modified loop quantum cosmologies

abstract: Von Neumann stability analysis of quantum difference equations in loop quantized spacetimes has often proved useful to understand viability of quantizations and whether general relativistic description is recovered at small spacetime curvatures. We use this technique to analyze the infra-red behavior of quantum Hamiltonian constraint in recently explored modifications of loop quantum cosmology: mLQC-I and mLQC-II, for the spatially flat FLRW model. We investigate the behavior for $\mu_o$ scheme, where minimum area of loops in quantization procedure does not take physical metric in to account, and the $\bar \mu$ scheme where quantization procedure uses physical metric. The fate of stability of quantum difference equations is tested for massless scalar field as well as with inclusion of a positive cosmological constant. We show that for mLQC-I and mLQC-II, difference equation fails to be von Neumann stable for the $\mu_o$ scheme if cosmological constant is included signaling problematic behavior at large volumes. Both of the modified loop quantum cosmologies are von Neumann stable for $\bar \mu$ scheme. In contrast to standard loop quantum cosmology, properties of roots turn out to be richer and intricate. Our results demonstrate the robustness of $\bar \mu$ scheme (or `improved dynamics') in loop quantization of cosmological spacetimes even when non-trivial quantization ambiguities of Hamiltonian are considered, and show that $\mu_o$ scheme is non-viable in this setting.


title: Practical Polar Code Construction Using Generalised Generator Matrices

abstract: Polar coding is a recently proposed coding technique that can provably achieve the channel capacity. The polar code structure, which is based on the original 2x2 generator matrix, polarises the channels, i.e., a portion of the channel capacities approach 1, while the remaining channel capacities approach 0. Due to the specific size of this original generator matrix, polar codes can only have code lengths equal to the powers of 2, resulting in inefficiency for codes of practical lengths. In this paper, the performance of finite-length polar codes over the binary erasure channel is analysed. A normalised polarisation distance measure is defined and polar codes from different generator matrices showing different amount of polarisation are compared using this measure. Encoding structures for these generalised polar codes are proposed and polarisation performances in both asymptotical and finite-length cases are investigated for generator matrices of size 3x3 and 4x4. A generalised decoder is also proposed for this generator matrix and its erasure rate is compared with that of the original generator matrix. It is shown that polar codes that have performance similar to the original construction can be constructed and used for a variety of code lengths, not necessarily equal to powers of 2, using generalised generator matrices.


title: Calibrating evanescent-wave penetration depths for biological TIRF microscopy

abstract: Roughly half of a cells proteins are located at or near the plasma membrane. In this restricted space the cell senses its environment, signals to its neighbors and ex-changes cargo through exo- and endocytotic mechanisms. Ligands bind to receptors, ions flow across channel pores, and transmitters and metabolites are transported against con-centration gradients. Receptors, ion channels, pumps and transporters are the molecular substrates of these biological processes and they constitute important targets for drug discovery. Total internal reflection fluorescence microscopy suppresses background from cell deeper layers and provides contrast for selectively imaging dynamic processes near the basal membrane of live-cells. The optical sectioning of total internal reflection fluorescence is based on the excitation confinement of the evanescent wave generated at the glass-cell interface. How deep the excitation light actually penetrates the sample is difficult to know, making the quantitative interpretation of total internal reflection fluorescence data problematic. Nevertheless, many applications like super-resolution microscopy, colocalization, fluorescence recovery after photobleaching, near-membrane fluorescence recovery after photobleaching, uncaging or photo-activation-switching, as well as single-particle tracking require the quantitative interpretation of evanescent-wave excited images. Here, we review existing techniques for characterizing evanescent fields and we provide a roadmap for comparing total internal reflection fluorescence data across images, experiments, and laboratories.


title: Field theory for gravity at all scales

abstract: We review here the main advances made by using effective field theories (EFTs) in classical gravity, with notable focus on those unique to the EFTs of post-Newtonian (PN) gravity. We then proceed to overview the various prospects of using field theory to study the real-world gravitational wave (GW) data, as well as to ameliorate our fundamental understanding of gravity at all scales, by going from the EFTs of PN gravity to modern advances in scattering amplitudes, including computational techniques and intriguing duality relations between gauge and gravity theories.


title: Revisiting the Integrated Star Formation Law. Paper I: Non-Starbursting Galaxies

abstract: We use new and updated gas and dust-corrected SFR surface densities to revisit the integrated star formation law for local "quiescent" spiral, dwarf, and low-surface-brightness galaxies. Using UV-based SFRs with individual IR-based dust corrections, we find that "normal" spiral galaxies alone define a tight $\Sigma_{(\textrm{HI}+\textrm{H}_{2})}$-$\Sigma_{\textrm{SFR}}$ relation described by a $n=1.41^{+0.07}_{-0.07}$ power law with a dispersion of $0.28^{+0.02}_{-0.02}$ (errors reflect fitting and statistical uncertainties). The SFR surface densities are only weakly correlated with HI surface densities alone, but exhibit a stronger and roughly linear correlation with H$_{2}$ surface densities, similar to what is seen in spatially-resolved measurements of disks. However, many dwarf galaxies lie below the star formation law defined by spirals, suggesting a low-density threshold in the integrated star formation law. We consider alternative scaling laws that better describe both spirals and dwarfs. Our improved measurement precision also allows us to determine that much of the scatter in the star formation law is intrinsic, and we search for correlations between this intrinsic scatter and secondary physical parameters. We find that dwarf galaxies exhibit second-order correlations with total gas fraction, stellar mass surface density, and dynamical time that may explain much of the scatter in the star formation law. Finally, we discuss various systematic uncertainties that should be kept in mind when interpreting any study of the star formation law, particularly the $X(\textrm{CO})$ conversion factor and the diameter chosen to define the star-forming disk in a galaxy.


title: Cosmic Ray Spectrum Steepening in Supernova Remnants -- I. Loss-Free Self-Similar Solution

abstract: The direct measurements of cosmic rays (CRs), after correction for the propagation effects in the interstellar medium, indicate that their source spectra are likely to be significantly steeper than the canonical $E^{-2}$ spectrum predicted by the standard Diffusive Shock Acceleration (DSA) mechanism. The DSA has long been held responsible for the production of galactic CRs in supernova remnant (SNR) shocks. The $\gamma$-ray 'probes' of the acceleration spectra of CRs on-the-spot, inside of the SNRs, lead to the same conclusion. We show that the steep acceleration spectrum can be attributed to the $combination$ of (i) spherical expansion, (ii) tilting of the magnetic field along the shock surface and (iii) shock deceleration. Because of (i) and (ii), the DSA is efficient only on two ``polar caps'' of a spherical shock where the local magnetic field is within $\simeq45^{\circ}$ to its normal. The shock-produced spectrum observed edge-on steepens with the particle energy because the number of freshly accelerated particles with lower energies continually adds up to a growing acceleration region. We demonstrate the steepening effect by obtaining an exact self-similar solution for the particle acceleration at expanding shock surface with an arbitrary energy dependence of particle diffusivity $\kappa$. We show that its increase toward higher energy steepens the spectrum, which deeply contrasts with the standard DSA spectrum where $\kappa$ cancels out.


title: Gramian-Based Model Reduction of Directed Networks

abstract: This paper investigates a model reduction problem for linear directed network systems, in which the interconnections among the vertices are described by general weakly connected digraphs. First, the definitions of pseudo controllability and observability Gramians are proposed for semistable systems, and their solutions are characterized by Lyapunov-like equations. Then, we introduce a concept of vertex clusterability to guarantee the boundedness of the approximation error and use the newly proposed Gramians to facilitate the evaluation of the dissimilarity of each pair of vertices. An clustering algorithm is thereto provided to generate an appropriate graph clustering, whose characteristic matrix is employed as the projections in the Petrov-Galerkin reduction framework. The obtained reduced-order system preserves the weakly connected directed network structure, and the approximation error is computed by the pseudo Gramians. Finally, the efficiency of the proposed approach is illustrated by numerical examples.


title: A novel approach to medical radioisotope production using inverse kinematics: a successful production test of the theranostic radionuclide 67Cu

abstract: A novel method for the production of important medical radioisotopes has been developed. The approach is based on performing the nuclear reaction in inverse kinematics, namely sending a heavy-ion beam of appropriate energy on a light target (e.g. H, d, He) and collecting the isotope of interest. In this work, as a proof-of-concept, we studied the production of the theranostic radionuclide 67Cu (T 1/2 =62 h) via the reaction of a 70Zn beam at 15 MeV/nucleon with a hydrogen gas target. The 67Cu radionuclide, alongside other coproduced isotopes, was collected after the gas target on an Al catcher foil and their radioactivity was measured by off-line {\gamma}-ray analysis. After 36 h from the end of the irradiation, apart from the product of interest 67Cu, the main radioimpurity coming from the 70Zn+p reaction was 69mZn (T 1/2 =13.8 h) that can be reduced by further radio-cooling. Moreover, along with the radionuclide of interest produced in inverse kinematics, the production of additional radioisotopes is possible by making use of the forward-focused neutrons from the reaction and letting them interact with a secondary target. A preliminary successful test of this concept was realized in the present study. The main requirement to obtain activities appropriate for preclinical studies is the development of high-intensity heavy-ion primary beams.


title: Generalized Conditional Gradient with Augmented Lagrangian for Composite Minimization

abstract: In this paper we propose a splitting scheme which hybridizes generalized conditional gradient with a proximal step which we call CGALP algorithm, for minimizing the sum of three proper convex and lower-semicontinuous functions in real Hilbert spaces. The minimization is subject to an affine constraint, that allows in particular to deal with composite problems (sum of more than three functions) in a separate way by the usual product space technique. While classical conditional gradient methods require Lipschitz-continuity of the gradient of the differentiable part of the objective, CGALP needs only differentiability (on an appropriate subset), hence circumventing the intricate question of Lipschitz continuity of gradients. For the two remaining functions in the objective, we do not require any additional regularity assumption. The second function, possibly nonsmooth, is assumed simple, i.e., the associated proximal mapping is easily computable. For the third function, again nonsmooth, we just assume that its domain is also bounded and that a linearly perturbed minimization oracle is accessible. In particular, this last function can be chosen to be the indicator of a nonempty bounded closed convex set, in order to deal with additional constraints. Finally, the affine constraint is addressed by the augmented Lagrangian approach. Our analysis is carried out for a wide choice of algorithm parameters satisfying so called "open loop" rules. As main results, under mild conditions, we show asymptotic feasibility with respect to the affine constraint, boundedness of the dual multipliers, and convergence of the Lagrangian values to the saddle-point optimal value. We also provide (subsequential) rates of convergence for both the feasibility gap and the Lagrangian values.


title: Search for the pair production of light top squarks in the e$^{\pm}\mu^{\mp}$ final state in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for the production of a pair of top squarks at the LHC is presented. This search targets a region of parameter space where the kinematics of top squark pair production and top quark pair production are very similar, because of the mass difference between the top squark and the neutralino being close to the top quark mass. The search is performed with 35.9 fb$^{-1}$ of proton-proton collisions at a centre-of-mass energy of $\sqrt{s} =$ 13 TeV, collected by the CMS detector in 2016, using events containing one electron-muon pair with opposite charge. The search is based on a precise estimate of the top quark pair background, and the use of the $M_\mathrm{T2}$ variable, which combines the transverse mass of each lepton and the missing transverse momentum. No excess of events is found over the standard model predictions. Exclusion limits are placed at 95% confidence level on the production of top squarks up to masses of 208 GeV for models with a mass difference between the top squark and the lightest neutralino close to that of the top quark.


title: Alloy theory with atomic resolution for Rashba or topological systems

abstract: Interest in substitutional disordered alloys has recently reemerged with focus on the symmetry-sensitive properties in the alloy such as topological insulation and Rashba effect. A substitutional random alloy manifests a distribution of local environments, creating a polymorphous network. While the macroscopic average (monomorphous) structure may have the original high symmetry of the constituent compounds, many observable physical properties are sensitive to local symmetry, and are hence $<P(S_i)>$ rather than $P(S_0)$=$P(<S_i>)$. The fundamental difference between polymorphous $<P(S_i)>$ and monomorphous $P(S_0)$ led to the often-diverging results and the missing the atomic-scale resolution needed to discern symmetry-related physics. A natural approach capturing the polymorphous aspect is supercell model, which however suffers the difficulty of band folding ('spaghetti bands'), rendering the E vs k dispersion needed in topology and Rashba physics and seen in experiments, practically inaccessible. A solution that retains the polymorphous nature but restores the E vs k relation is to unfold the supercell bands. This yields alloy Effective Band Structure (EBS), providing a 3D picture of spectral density consisting of E- and k-dependent spectral weight with coherent and incoherent features, all created naturally by the polymorphous distribution of many local environments. We illustrate this EBS approach for CdTe-HgTe, PbSe-SnSe and PbS-PbTe alloys. We found properties that are critical for e.g. topological phase transition and Rashba splitting but totally absent in conventional monomorphous approaches, including (1) co-existing, wavevector- and energy-dependent coherent band splitting and incoherent band broadening, (2) coherent-incoherent transition along different k space directions, and (3) Rashba-like band splitting having both coherent and incoherent features.


title: Theory of chiral edge state lasing in a two-dimensional topological system

abstract: We theoretically study topological laser operation in a bosonic Harper-Hofstadter model featuring a saturable optical gain. Crucial consequences of the chirality of the lasing edge modes are highlighted, such as a sharp dependence of the lasing threshold on the geometrical shape of the amplifying region and the possibility of ultraslow relaxation times and of convectively unstable regimes. The different unstable regimes are characterized in terms of spatio-temporal structures sustained by noise and a strong amplification of a propagating probe beam is anticipated to occur in between the convective and the absolute (lasing) thresholds. The robustness of topological laser operation against static disorder is assessed.


title: On the Utility of Model Learning in HRI

abstract: Fundamental to robotics is the debate between model-based and model-free learning: should the robot build an explicit model of the world, or learn a policy directly? In the context of HRI, part of the world to be modeled is the human. One option is for the robot to treat the human as a black box and learn a policy for how they act directly. But it can also model the human as an agent, and rely on a "theory of mind" to guide or bias the learning (grey box). We contribute a characterization of the performance of these methods for an autonomous driving task under the optimistic case of having an ideal theory of mind, as well as under different scenarios in which the assumptions behind the robot's theory of mind for the human are wrong, as they inevitably will be in practice.


title: VeriSolid: Correct-by-Design Smart Contracts for Ethereum

abstract: The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability to create self-enforcing smart contracts. However, the development of smart contracts has proven to be error-prone in practice, and as a result, contracts deployed on public platforms are often riddled with security vulnerabilities. This issue is exacerbated by the design of these platforms, which forbids updating contract code and rolling back malicious transactions. In light of this, it is crucial to ensure that a smart contract is secure before deploying it and trusting it with significant amounts of cryptocurrency. To this end, we introduce the VeriSolid framework for the formal verification of contracts that are specified using a transition-system based model with rigorous operational semantics. Our model-based approach allows developers to reason about and verify contract behavior at a high level of abstraction. VeriSolid allows the generation of Solidity code from the verified models, which enables the correct-by-design development of smart contracts.


title: Combined helioseismic inversions for 3D vector flows and sound-speed perturbations

abstract: Time-distance helioseismology is the method of the study of the propagation of waves through the solar interior via the travel times of those waves. The travel times of wave packets contain information about the conditions in the interior integrated along the propagation path of the wave. We introduce an improved methodology of the time-distance helioseismology which allows us to invert for a full 3D vector of flows and the sound-speed perturbations at once. Using this methodology one can also derive the mean value of the vertical component of flows and the cross-talk between the flows and the sound-speed perturbations. We used the SOLA method with a minimisation of the cross-talk as a tool for inverse modelling. In the forward model, we use Born approximation travel-time sensitivity kernels with the Model S as a background. The methodology was validated using forward-modelled travel times with both mean and difference point-to-annulus averaging geometries applied to a snapshot of fully self-consistent simulation of the convection. We tested the methodology on synthetic data. We demonstrate that we are able to recover flows and sound-speed perturbations in the near-surface layers. We have taken the advantage of the sensitivity of our methodology to entire vertical velocity, and not only to its variations as in other available methodologies. The cross-talk from both the vertical flow component and the sound-speed perturbation has only a negligible effect for inversions for the horizontal flow components. The inversions for the vertical component of the vector flows or for the sound-speed perturbations are affected by the cross-talk from the horizontal components, which needs to be minimised in order to provide valid results. It seems that there is a nearly constant cross-talk between the vertical component of the vector flows and the sound-speed perturbations.