title: Characterization of the Multi-Blade 10B-based detector at the CRISP reflectometer at ISIS for neutron reflectometry at ESS

abstract: The Multi-Blade is a Boron-10-based gaseous thermal neutron detector developed to face the challenge arising in neutron reflectometry at neutron sources. Neutron reflectometers are challenging instruments in terms of instantaneous counting rate and spatial resolution. This detector has been designed according to the requirements given by the reflectometers at the European Spallation Source (ESS) in Sweden. The Multi-Blade has been installed and tested on the CRISP reflectometer at the ISIS neutron and muon source in UK. The results on the detailed detector characterization are discussed in this manuscript.


title: Rule-based Autoregressive Moving Average Models for Forecasting Load on Special Days: A Case Study for France

abstract: This paper presents a case study on short-term load forecasting for France, with emphasis on special days, such as public holidays. We investigate the generalisability to French data of a recently proposed approach, which generates forecasts for normal and special days in a coherent and unified framework, by incorporating subjective judgment in univariate statistical models using a rule-based methodology. The intraday, intraweek, and intrayear seasonality in load are accommodated using a rule-based triple seasonal adaptation of a seasonal autoregressive moving average (SARMA) model. We find that, for application to French load, the method requires an important adaption. We also adapt a recently proposed SARMA model that accommodates special day effects on an hourly basis using indicator variables. Using a rule formulated specifically for the French load, we compare the SARMA models with a range of different benchmark methods based on an evaluation of their point and density forecast accuracy. As sophisticated benchmarks, we employ the rule-based triple seasonal adaptations of Holt-Winters-Taylor (HWT) exponential smoothing and artificial neural networks (ANNs). We use nine years of half-hourly French load data, and consider lead times ranging from one half-hour up to a day ahead. The rule-based SARMA approach generated the most accurate forecasts.


title: Volume bounds of the Ricci flow on closed manifolds

abstract: Let $\{g(t)\}_{t\in [0,T)}$ be the solution of the Ricci flow on a closed Riemannian manifold $M^n$ with $n\geq 3$. Without any assumption, we derive lower volume bounds of the form ${\rm Vol}_{g(t)}\geq C (T-t)^{\frac{n}{2}}$, where $C$ depends only on $n$, $T$ and $g(0)$. In particular, we show that $${\rm Vol}_{g(t)} \geq e^{ T\lambda-\frac{n}{2}} \left(\frac{4}{(A(\lambda-r)+4B)T}\right)^{\frac{n}{2}}\left(T-t\right)^{\frac{n}{2}},$$ where $r:=\inf_{\|\phi\|_2^2=1} \int_M R\phi^2 \ d{\rm vol}_{g(0)}$, $\lambda:=\inf_{\|\phi\|_2^2=1} \int_M 4|\nabla\phi|^2+R\phi^2\ d{\rm vol}_{g(0)}$ and $A,B$ are Sobolev constants of $(M,g(0))$. This estimate is sharp in the sense that it is achieved by the unit sphere with scalar curvature $R_{g(0)}=n(n-1)$ and $A=\frac{4}{n(n-2)}\omega_n^{-\frac{2}{n}}$, $B=\frac{n-1}{n-2}\omega_n^{-\frac{2}{n}}$. On the other hand, if the diameter satisfies ${\rm diam}_{g(t)}\leq c_1\sqrt{T-t}$ and there exist a point $x_0\in M$ such that $R(x_0,t)\leq c_2(T-t)^{-1}$, then we have ${\rm Vol}_{g(t)}\leq C (T-t)^{\frac{n}{2}}$ for all $t>\frac{T}{2}$, where $C$ depends only on $c_1,c_2,n,T$ and $g(0)$.


title: Similarity based hierarchical clustering of physiological parameters for the identification of health states - a feasibility study

abstract: This paper introduces a new unsupervised method for the clustering of physiological data into health states based on their similarity. We propose an iterative hierarchical clustering approach that combines health states according to a similarity constraint to new arbitrary health states. We applied method to experimental data in which the physical strain of subjects was systematically varied. We derived health states based on parameters extracted from ECG data. The occurrence of health states shows a high temporal correlation to the experimental phases of the physical exercise. We compared our method to other clustering algorithms and found a significantly higher accuracy with respect to the identification of health states.


title: Optimal artificial boundary condition for random elliptic media

abstract: We are given a uniformly elliptic coefficient field that we regard as a realization of a stationary and finite-range (say, range unity) ensemble of coefficient fields. Given a (deterministic) right-hand-side supported in a ball of size $\ell\gg 1$ and of vanishing average, we are interested in an algorithm to compute the (gradient of the) solution near the origin, just using the knowledge of the (given realization of the) coefficient field in some large box of size $L\gg\ell$. More precisely, we are interested in the most seamless (artificial) boundary condition on the boundary of the computational domain of size $L$. Motivated by the recently introduced multipole expansion in random media, we propose an algorithm. We rigorously establish an error estimate (on the level of the gradient) in terms of $L\gg\ell\gg 1$, using recent results in quantitative stochastic homogenization. More precisely, our error estimate has an a priori and an a posteriori aspect: With a priori overwhelming probability, the (random) prefactor can be bounded by a constant that is computable without much further effort, on the basis of the given realization in the box of size $L$. We also rigorously establish that the order of the error estimate in both $L$ and $\ell$ is optimal, where in this paper we focus on the case of $d=2$. This amounts to a lower bound on the variance of the quantity of interest when conditioned on the coefficients inside the computational domain, and relies on the deterministic insight that a sensitivity analysis wrt a defect commutes with (stochastic) homogenization. Finally, we carry out numerical experiments that show that this optimal convergence rate already sets in at only moderately large $L$, and that more naive boundary conditions perform worse both in terms of rate and prefactor.


title: On periodicity of a meromorphic function when sharing two sets IM

abstract: In this paper, we have investigated the sufficient conditions for periodicity of meromorphic functions and obtained two results directly improving the result of \emph{Bhoosnurmath-Kabbur} \cite{Bho & Kab-2013}, \emph{Qi-Dou-Yang} \cite{Qi & Dou & Yan-ADE-2012} and \emph{Zhang} \cite{Zha-JMMA-2010}. Let $\mathcal{S}_{1}=\left\{z:\displaystyle\int_{0}^{z-a}(t-a)^n(t-b)^4dt+1=0\right\}$ and $\mathcal{S}_{2}=\bigg\{a,b\bigg\}$, where $n\geq 4(n\geq 3)$ be an integer.\emph{Let $f(z)$ be a non-constant meromorphic (entire) function satisfying $\ol E_{f(z)}(\mathcal{S}_j)=\ol E_{f(z+c)}(\mathcal{S}_j), (j=1,\;2)$ then $f(z)\equiv f(z+c)$.} Some examples have been exhibited to show that, it is not necessary that meromorphic function should be of finite order and also to show that the sets considered in the paper simply can't be replace by arbitrary sets. At the last section, we have posed an open question for the further improvement of the results of this paper.


title: FCC-ee polarimeter

abstract: Another way to measure electron beam polarization by inverse Compton scattering


title: A Single Microscopic State to Characterize Ordering Tendency in Discrete Multicomponent System

abstract: Our recent study reveals that macroscopic structure in thermodynamically equilibrium state and its temperature dependence for classical discrete system can be well-characterized by a single specially-selected microscopic state (which we call projection state: PS), whose structure can be known a priori without any information about energy or temperature. Although PS can be universally constructed for any number of components R, practical application of PS to systems with R >= 3 is non-trivial compared with R = 2 (i.e., binary system). This is because (i) essentially, multicomponent system should inevitably requires linear transformation from conventional basis functions to intuitively-interpreted cluster probability basis, i.e., multiple PS energies are required to predict one chosen pair probability, leading to practically accumulating numerical errors, and (ii) additionally, explicit formula for the transformation from basis functions to pair probabilities should be required, which has been explicitly provided up to ternary (R = 3) system so far. We here derive modified formulation to directly determine probability for likeand unlike-atom pair consisting of any chosen elements by using a single PS energy, with providing explicit relationship between basis functions and pair probabilities up to quinary (R = 5) systems. We demonstrate the validity of the formulation by comparing temperature dependence of pair probabilities for multicomponent systems from thermodynamic simulations.


title: One-Shot Segmentation in Clutter

abstract: We tackle the problem of one-shot segmentation: finding and segmenting a previously unseen object in a cluttered scene based on a single instruction example. We propose a novel dataset, which we call $\textit{cluttered Omniglot}$. Using a baseline architecture combining a Siamese embedding for detection with a U-net for segmentation we show that increasing levels of clutter make the task progressively harder. Using oracle models with access to various amounts of ground-truth information, we evaluate different aspects of the problem and show that in this kind of visual search task, detection and segmentation are two intertwined problems, the solution to each of which helps solving the other. We therefore introduce $\textit{MaskNet}$, an improved model that attends to multiple candidate locations, generates segmentation proposals to mask out background clutter and selects among the segmented objects. Our findings suggest that such image recognition models based on an iterative refinement of object detection and foreground segmentation may provide a way to deal with highly cluttered scenes.


title: Formation of autophagosomes coincides with relaxation of membrane curvature

abstract: Autophagy is an intracellular degradation process that employs complex membrane dynamics to isolate and break down cellular components. However, many unanswered questions remain concerning remodeling of autophagic membranes. Here, we focus on the advantages of theoretical modelling to study the formation of autophagosomes and to understand the origin of autophagosomal membranes. Starting from the well-defined geometry of final autophagosomes we ask the question of how these organelles can be formed by combining various preautophagosomal membranes such as vesicles, membrane tubules or sheets. We analyse the geometric constraints of autophagosome formation by taking the area of the precursor membranes and their internal volume into account. Our results suggest that vesicle fusion contributes little to the formation of autophagosomes. In the second part we quantify the curvature of the precursors and report that the formation of autophagosomes is associated with a strong relaxation of membrane curvature energy. This effect we find for a wide range of membrane asymmetries. It is especially strong for small distances between both autophagosomal membranes, as observed in vivo. We quantify the membrane bending energies of all precursors by considering membrane asymmetries. We propose that the generation and supply of pre-autophagosomal membranes is one limiting step for autophagosome formation.


title: Exploring Higgs boson Yukawa interactions with a scalar singlet using Dyson-Schwinger equations

abstract: Higgs, being the first discovery of a fundamental scalar field in the standard model (SM), opens the possibility of existence of other scalar or pseudo scalar particles in nature. Though it does not conclusively fulfill the role of inflaton, it does provide motivation for experimental searches involving interactions of scalar (or pseudo scalar) particles as well as implications of such particles' existence from the perspective of theoretical understanding. Yukawa interactions are among the possible interactions. The considered model addresses Yukawa interaction among the Higgs (and Higgs bar) and a real singlet scalar field using Dyson Schwinger equations (DSEs) over a range of bare coupling values relevant to inflation-related physics for several scalar bare masses and cutoff values. The Higgs mass is kept fixed at two values for two different scenarios. It is found that Higgs propagators are tree level dominated while scalar propagators, despite their dependence on parameter region, do not degenerate over the whole parameter space. The interaction vertices show significant deviations from tree level expression for a number of parameters and exhibit two distinct behaviors. Furthermore, the theory does not show any conclusive sign of triviality over the explored parameter space, despite suppressed vertices for some parameters, particularly for small coupling values in a certain region of parameter space.


title: On the evolutionary status and pulsations of the recently discovered Blue Large-Amplitude Pulsators (BLAPs)

abstract: The Blue Large-Amplitude Pulsators (BLAPs) constitute a new class of pulsating stars. They are hot stars with effective temperatures of ~30 000 K and surface gravities of log g ~ 4.9, that pulsate with periods in the range 20-40 min. Until now, their origin and evolutionary state, as well as the nature of their pulsations, were not been unveiled. In this paper, we propose that the BLAPs are the hot counterpart of the already known pulsating pre-Extremely Low Mass (pre-ELM) white dwarf (WD) stars, that are He-core low-mass stars resulting from interacting binary evolution. Using fully evolutionary sequences, we show that the BLAPs are well represented by pre-ELM WD models with high effective temperature and stellar masses ~ 0.34 Msun. From the analysis of their pulsational properties, we find that the observed variabilities can be explained by high-order nonradial g-mode pulsations or, in the case of the shortest periods, also by low-order radial modes, including the fundamental radial mode. The theoretical modes with periods in the observed range are unstable due to the kappa mechanism associated to the Z-bump in the opacity at log T ~ 5.25.


title: Threshold Progressions in a Variety of Covering and Packing Contexts

abstract: Using standard methods (due to Janson, Stein-Chen, and Talagrand) from probabilistic combinatorics, we explore the following general theme: As one progresses from each member of a family of objects ${\cal A}$ being "covered" by at most one object in a random collection ${\cal C}$, to being covered at most $\lambda$ times, to being covered at least once, to being covered at least $\lambda$ times, a hierarchy of thresholds emerge. We will then see how such results vary according to the context, and level of dependence introduced. Examples will be from extremal set theory, combinatorics, and additive number theory.


title: Comparison of angular spread for 6 and 60 GHz based on 3GPP standard

abstract: In an urban environment, a multipath propagation is one of the basic phenomena affecting a quality of received signals. This causes dispersions in time and angular domains. Basic parameters describing these dispersions are the rms delay spread and rms angle spread, respectively. The delay spread is related to a frequency of the transmitted signal and the nature of the propagation environment. In this paper, we show a mutual relationship between the time and angular dispersions in the received signal. The obtained simulation results present a comparison of the described dispersions for two different frequencies. In this case, the multi-elliptical propagation model and standard model developed by 3GPP are the basis for the simulation analysis of new communication system solutions.


title: Evaluation of angular dispersion for various propagation environments in emerging 5G systems

abstract: Angular dispersion is the effect of a multi-path propagation observed in received signals. An assessment of this phenomenon is particularly important from the viewpoint of emerging fifth generation (5G) communication systems. In these systems, using the beam-forming and massive multiple-input multiple-output antenna arrays are planned. This phenomenon also has a negative impact on direction finding and older generation communication systems used in an urban environment. In this paper, we present the angular dispersion evaluation for various propagation environments based on simulation studies. This analysis is carried out for different environment types defined in the 3GPP standard model for a selected frequency. In this case, the angular spread is determinated based on the power angular spectrum. This parameter is the basis for the influence evaluation of the propagation environment on the received signal angular dispersion.


title: A Theorem of Fermat on Congruent Number Curves

abstract: A positive integer $A$ is called a congruent number if $A$ is the area of a right-angled triangle with three rational sides. Equivalently, $A$ is a congruent number if and only if the congruent number curve $y^2=x^3-A^2x$ has a rational point $(x,y)\in\mathbb Q^2$ with $y\neq 0$. Using a theorem of Fermat, we give an elementary proof for the fact that congruent number curves do not contain rational points of finite order.


title: Path loss model modification for various gains and directions of antennas

abstract: Emerging telecommunication technologies like 5G, green communications, and massive MIMO contribute to the use of directional antennas and beamforming. For this reason, modern propagation models should consider directional antennas with different beam widths, gains and radiation pattern directions. Most of the available propagation models are based on omnidirectional or isotropic antennas. A proposition to solve this problem is an empirical path loss model that considers the different types of antennas. This model assumes that the transmitting and receiving antenna beams are directing each other. In this paper, we propose modifying this model by determining attenuation for any direction of the antenna patterns. For this aim, the multi-elliptic channel model is used.


title: Can we use linear response theory to assess geoengineering strategies?

abstract: Geoengineering can control only some climatic variables but not others, resulting in side-effects. We investigate in an intermediate-complexity climate model the applicability of linear response theory (LRT) to the assessment of a geoengineering method. This application of LRT is twofold. First, our objective (O1) is to assess only the best possible geoengineering scenario by looking for a suitable modulation of solar forcing that can cancel out or otherwise modulate a climate change signal resulting from a rise in CO2 alone. Here we consider only the cancellation of the expected global mean surface air temperature. It is a straightforward inverse problem for this solar forcing, and, considering an infinite time period, we use LRT to provide the solution in the frequency domain in closed form. We provide procedures suitable for numerical implementation that apply to finite time periods too. Second, to be able to use LRT to quantify side-effects, the response with respect to uncontrolled observables, such as regional must be approximately linear. Our objective (O2) here is to assess the linearity of the response. We find that under geoengineering in the sense of (O1) the asymptotic response of the globally averaged temperature is actually not zero. This is due to an inaccurate determination of the linear susceptibilities. The error is due to a significant quadratic nonlinearity of the response. This nonlinear contribution can be easily removed, which results in much better estimates of the linear susceptibility, and, in turn, in a fivefold reduction in the global average surface temperature under geoengineering. This correction dramatically improves also the agreement of the spatial patterns of the predicted and of the true response. However, such an agreement is not perfect and is worse in the case of the precipitation patterns, as a result of greater degree of nonlinearity.

categories: physics.geo-ph cond-mat.stat-mech nlin.CD physics.ao-ph


title: Murder at the Asylum

abstract: I describe a puzzle I wrote for the 2018 MIT Mystery Hunt which introduced new types of people in logic puzzles. I discuss the puzzle itself, the solution, and the mathematics behind it.


title: Diagrammatic Monte Carlo study of the Fr\"ohlich polaron dispersion in 2D and 3D

abstract: We present results for the solution of the large polaron Fr\"ohlich Hamiltonian in 3-dimensions (3D) and 2-dimensions (2D) obtained via the Diagrammatic Monte Carlo (DMC) method. Our implementation is based on the approach by Mishchenko [A.S. Mishchenko et al., Phys. Rev. B 62, 6317 (2000)]. Polaron ground state energies and effective polaron masses are successfully benchmarked with data obtained using Feynman's path integral formalism. By comparing 3D and 2D data, we verify the analytically exact scaling relations for energies and effective masses from 3D$\to$2D, which provides a stringent test for the quality of DMC predictions. The accuracy of our results is further proven by providing values for the exactly known coefficients in weak- and strong coupling expansions. Moreover, we compute polaron dispersion curves which are validated with analytically known lower and upper limits in the small coupling regime and verify the first order expansion results for larger couplings, thus disproving previous critiques on the apparent incompatibility of DMC with analytical results and furnishing useful reference for a wide range of coupling strengths.


title: Modeling power angle spectrum and antenna pattern directions in multipath propagation environment

abstract: Most propagation models do not consider the influence of antenna patterns on the parameters and characteristics of received signals. This assumption is equivalent to the use of isotropic or omnidirectional antennas in these models. Empirical measurement results indicate that the radiation pattern, gain and direction of directional antennas significantly influence on properties of the received signal. This fact shows that consideration the directional antennas in propagation models is very important especially in the context of emerging telecommunication technologies such as beamforming or massive MIMO. The purpose of this paper is to present the modeling method of power angular spectrum and direction of antenna patterns in a multipath propagation environment.


title: Homological Solution of the Riemann-Lanczos and Weyl-Lanczos Problems in Arbitrary Dimension

abstract: When ${\cal{D}}$ is a linear partial differential operator of any order, a direct problem is to look for an operator ${\cal{D}}_1$ generating the compatibility conditions (CC) ${\cal{D}}_1\eta=0$ of ${\cal{D}}\xi=\eta$. We may thus construct a differential sequence with successive operators ${\cal{D}},{\cal{D}}_1,{\cal{D}}_2, ...$, where each operator is generating the CC of the previous one. Introducing the formal adjoint $ad( )$, we have ${\cal{D}}_i\circ {\cal{D}}_{i-1}=0 \Rightarrow ad({\cal{D}}_{i-1}) \circ ad({\cal{D}}_i)=0$ but $ad({\cal{D}}_{i-1})$ may not generate all the CC of $ad({\cal{D}}_i)$. When $D=K[d_1,...,d_n]=K[d]$ is the (non-commutative) ring of differential operators with coefficients in a differential field $K$, it gives rise by residue to a differential module $M$ over $D$. The homological extension modules $ext^i(M)=ext^i_D(M,D)$ with $ext^0(M)=hom_D(M,D)$ only depend on $M$ and are measuring the above gaps, independently of the previous differential sequence.The purpose of this rather technical paper is to compute them for certain Lie operators involved in the formal theory of Lie pseudogroups in arbitrary dimension $n$. In particular, we prove that the extension modules highly depend on the Vessiot structure constants $c$. When one is dealing with a Lie group of transformations or, equivalently, when ${\cal{D}}$ is a Lie operator of finite type, then we shall prove that $ext^i(M)=0, \forall 0\leq i \leq n-1$. It will follow that the Riemann-Lanczos and Weyl-Lanczos problems just amount to prove such a result for $i=2$ and arbitrary $n$ when ${\cal{D}}$ is the Killing or conformal Killing operator. We finally prove that ${ext}^i(M)=0, \forall i\geq 1$ for the Lie operator of infinitesimal contact transformations with arbitrary $n=2p+1$. Most of these new results have been checked by means of computer algebra.


title: Segal Topoi and Natural Phenomena: Universality of Physical Laws

abstract: J. Lurie proved in Higher Topos Theory that for $K$ a simplicial set, $\mathcal{C}$ a simplicial category, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence $(\text{Set}^+_{\Delta})_{/K} \rightleftarrows (\text{Set}^+_{\Delta})^{\mathcal{C}}$. We prove a partial converse to this theorem at the level of Segal categories, namely that if $L(\text{Set}^+_{\Delta})_{/K}$ is isomorphic to $L(\text{Set}^+_{\Delta})^{\mathcal{C}}$ in Ho(SePC), then $L \mathfrak{C}[K]^{\text{op}}$ and $L\mathcal{C}$ are equivalent as Segal pre-categories relative to Segal categories of pre-stacks. We interpret this as indicating that the Segal category of pre-stacks $L(\text{Set}^+_{\Delta})^{\mathcal{C}} \cong \mathbb{R} \underline{\text{Hom}} (L \mathcal{C}, L \text{Set}^+_{\Delta})$ on $L \mathcal{C}$ is equivalently given by a choice of simplicial set $K$, relative to which phenomena in $\text{Top}^+ = L \text{Set}^+_{\Delta}$ are considered, a sort of relativity principle. If we further take the Bousfield localizations of $L(\text{Set}^+_{\Delta})^{\mathfrak{C}[K]^{\text{op}}} \cong L( \text{Set}^+_{\Delta})_{/K}$ and $L(\text{Set}^+_{\Delta})^{\mathcal{C}}$ with respect to hypercovers, then regarding $L_{\text{Bous}}(L(\text{Set}^+_{\Delta})^{\mathcal{C}})$ as the Segal topos of natural phenomena on $L\mathcal{C}$, we also obtain an isomorphism $L_{\text{Bous}}(L(\text{Set}^+_{\Delta})^{\mathfrak{C}[K]^{\text{op}}}) \cong L_{\text{Bous}} (L(\text{Set}^+_{\Delta})^{\mathcal{C}})$ of Segal topoi of stacks. This provides two representations of the same natural phenomena, concurrently with the equivalence $L \mathfrak{C}[K]^{\text{op}} \simeq L\mathcal{C}$ relative to prestacks, which we interpret as a weak universality of natural laws.


title: Partial Regularity for BV Minimizers

abstract: We establish an $\varepsilon$-regularity result for the derivative of a map of bounded variation that minimizes a strongly quasiconvex variational integral of linear growth, and, as a consequence, the partial regularity of such BV minimizers. This result extends the regularity theory for minimizers of quasiconvex integrals on Sobolev spaces to the context of maps of bounded variation. Previous partial regularity results for BV minimizers in the linear growth set-up were confined to the convex situation.


title: Three-nucleon force in chiral EFT with explicit $\Delta(1232)$ degrees of freedom: Longest-range contributions at fourth order

abstract: We analyze the longest-range two-pion exchange contributions to the three-nucleon force at leading-loop order in the framework of heavy-baryon chiral effective field theory with explicit $\Delta(1232)$ degrees of freedom. All relevant low-energy constants which appear in the calculation are determined from pion-nucleon scattering. Comparing our results with the ones obtained in the $\Delta$-less theory at N4LO, we find effects of the $\Delta$ isobar for this particular topology to be rather well represented in terms of resonance saturation of various low-energy constants in the $\Delta$-less approach.


title: Groups of generalized $G$-type and applications to torsion subgroups of rational elliptic curves over infinite extensions of $\mathbb{Q}$

abstract: Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. We do this by studying a group theoretic condition called generalized $G$-type, which is a necessary condition for a number field with Galois group $H$ to be contained in that compositum. In general, group theory allows one to reduce the original problem to the question of finding rational points on finitely many modular curves. To illustrate this method we completely determine which torsion structures occur for elliptic curves defined over $\mathbb{Q}$ and base-changed to the compositum of all fields whose Galois group is $A_4$.


title: Homa: A Receiver-Driven Low-Latency Transport Protocol Using Network Priorities (Complete Version)

abstract: Homa is a new transport protocol for datacenter networks. It provides exceptionally low latency, especially for workloads with a high volume of very short messages, and it also supports large messages and high network utilization. Homa uses in-network priority queues to ensure low latency for short messages; priority allocation is managed dynamically by each receiver and integrated with a receiver-driven flow control mechanism. Homa also uses controlled overcommitment of receiver downlinks to ensure efficient bandwidth utilization at high load. Our implementation of Homa delivers 99th percentile round-trip times less than 15{\mu}s for short messages on a 10 Gbps network running at 80% load. These latencies are almost 100x lower than the best published measurements of an implementation. In simulations, Homa's latency is roughly equal to pFabric and significantly better than pHost, PIAS, and NDP for almost all message sizes and workloads. Homa can also sustain higher network loads than pFabric, pHost, or PIAS.


title: Discontinuous Galerkin Isogeometric Analysis for segmentations generating overlapping regions

abstract: In the Isogeometric Analysis (IGA) framework, the computational domain has very often a multipatch representation. The multipatch domain can be obtained by a volume segmentation of a boundary represented domain, e.g., provided by a Computer Aided Design (CAD) model. Typically, small gap and overlapping regions can appear at the patch interfaces of such multipatch representations. In the current work we consider multipatch representations having only small overlapping regions between the patches. We develop a Discontinuous Galerkin (DG)- IGA method which can be immediately applied to these representations. Our method appropriately connects the fluxes of the one face of the overlapping region with the flux of the opposite face. We provide a theoretical justification of our approach by splitting the whole error into two components: the first is related to the incorrect representation of the patches (consistency error) and the second to the approximation properties of the IGA space. We show bounds for both components of the error. We verify the theoretical error estimates in a series of numerical examples.


title: Correlation properties of signal at mobile receiver for different propagation environments

abstract: An issue of the parameter selection in various branches of a multi-antenna receiver system determines its effectiveness. A significant effect on these parameters are correlation properties of received signals. In this paper, the assessment of the signal correlation properties for different environmental conditions is presented. The obtained results showed that depending on the receiver speed, the adaptive selection of the delays in the different RAKE receiver branches provide minimization of the correlation between the signals. Particularly low levels of the signal correlation could be obtained in complex propagation environments such as urban and bad urban.


title: An Introduction to Influence Theory: Kinematics and Dynamics

abstract: Influence theory is a foundational theory of physics that is not based on traditional empirically defined concepts, such as positions in space and time, mass, energy, or momentum. Instead, the aim is to derive these concepts, and their empirically determined relationships, from a more primitive model. It is postulated that there exist things, which we call particles, that influence one another in a discrete and directed fashion resulting in a partially ordered set of influence events. We consider the problem of consistent quantification of the influence events. Observers are modeled as particle chains (observer chains) as if an observer were able to track a particle and quantify the influence events that the particle experiences. From these quantified influence events, we study consistent quantification of the universe of events based on the observer chains. In this paper, we both review and further develop the kinematics and dynamics of particles from the perspective of influence theory.


title: Reversibility of Extreme Relational Structures

abstract: A relational structure $\mathbb{X}$ is called reversible iff each bijective homomorphism from $\mathbb{X}$ onto $\mathbb{X}$ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible structures of a given relational language $L$ is to notice that the maximal or minimal elements of isomorphism-invariant sets of interpretations of the language $L$ on a fixed domain $X$ determine reversible structures. We isolate certain syntactical conditions providing that a consistent $L_{\infty \omega }$-theory defines a class of interpretations having extreme elements on a fixed domain and detect several classes of reversible structures. In particular, we characterize the reversible countable ultrahomogeneous graphs.


title: Backbone decomposition of multitype superprocesses

abstract: In this paper, we provide a construction of the so-called backbone decomposition for multitype supercritical superprocesses. While backbone decompositions are fairly well-known for both continuous-state branching processes and superprocesses in the one-type case, so far no such decompositions or even description of prolific genealogies have been given for the multitype cases. Here we focus on superprocesses, but by turning the movement off, we get the prolific backbone decomposition for multitype continuous-state branching processes as an easy consequence of our results.


title: Learning the Multiple Traveling Salesmen Problem with Permutation Invariant Pooling Networks

abstract: While there are optimal TSP solvers, as well as recent learning-based approaches, the generalization of the TSP to the Multiple Traveling Salesmen Problem is much less studied. Here, we design a neural network solution that treats the salesmen, cities and depot as three different sets of varying cardinalities. We apply a novel technique that combines elements from recent architectures that were developed for sets, as well as elements from graph networks. Coupled with new constraint enforcing output layers, a dedicated loss, and a search method, our solution is shown to outperform all the meta-heuristics of the leading solver in the field.


title: BER measurements in the evaluation of operation correctness of VSAT modem traffic interfaces

abstract: This paper presents using bit error rate (BER) measurements to evaluate operation correctness of traffic (input-output) interfaces in modem of very small aperture terminal (VSAT). Such functional tests are carried out, for example, when purchasing communication equipment for armed forces. Generally, available standards do not describe measurement procedures in this area. In this case, accredited laboratories should develop dedicated assessment methodologies. In this paper, we show the methodology for the VSAT modems, which is based on the BER measurements.


title: A polynomial associated with rooted trees and specific posets

abstract: We investigate a trivariate polynomial associated with rooted trees. It generalises a bivariate polynomial for rooted trees that was recently introduced by Liu. We show that this polynomial satisfies a deletion-contraction recursion and can be expressed as a sum over maximal antichains. Several combinatorial quantities can be obtained as special values, in particular the number of antichains, maximal antichains and cutsets. We prove that two of the three possible bivariate specialisations characterise trees uniquely up to isomorphism. One of these has already been established by Liu, the other is new. For the third specialisation, we construct non-isomorphic trees with the same associated polynomial. We finally find that our polynomial can be generalised in a natural way to a family of posets that we call $\mathcal{V}$-posets. These posets are obtained recursively by either disjoint unions or adding a greatest/least element to existing $\mathcal{V}$-posets.


title: Fuzzy soft seperation axioms with sense of Ganguly and Saha

abstract: Tanay and Kandemir TK introduced the topological structure of fuzzy soft sets. In 2013, Manatha and Das md defined seperation axioms on fuzzy soft topological spaces. In this paper, we generalized form of the seperation axioms.using fuzzy soft quasi-coincidence with sense of Ganguly and Saha GS. By using this notions, we also give some basic theorems of seperation axioms in classical topological spaces.


title: Rotating planets in Newtonian gravity

abstract: Variational techniques have been used in applications of hydrodynamics in special cases but an action that is general enough to deal with both potential flows and solid-body flows, such as cylindrical Couette flow and rotating planets, has been proposed only recently. This paper is one of a series that aims to test and develop the new Action Principle. We study a model of rotating planets, a compressible fluid in a stationary state of motion, under the influence of a fixed or mutual gravitational field. The main problem is to account for the shape and the velocity fields, given the size of the equatorial bulges, the angular velocity at equator and the density profiles. The theory is applied to the principal objects in the solar system, from Earth and Mars to Saturn with fine details of its hexagonal flow and to Haumea with its odd shape. With only 2 parameters the model gives a fair fit to the shapes and the angular velocity field near the surface. Planetary rings are an unforeseen, but a natural and inevitable feature of the dynamics; no cataclysmic event need be invoked to justify them. The simple solutions that have been studied so far are most suitable for the hard planets, and for them the predicted density profiles are reasonable. The effect of precession was not taken into account, nor were entropic forces, so far. There has not yet been a systematic search for truly realistic solutions. The intention is to test the versatility of the action principle; the indications are are very encouraging.


title: Searching for a kinematic signature of the moderately metal-poor stars in the Milky Way bulge using N-body simulations

abstract: Although there is consensus that metal-rich stars in the Milky Way bulge are formed via secular evolution of the thin disc, the origin of their metal-poor counterparts is still under debate. Two different origins have been invoked for metal-poor stars: they might be classical bulge stars or stars formed via internal evolution of a massive thick disc. We use N-body simulations to calculate the kinematic signature given by the difference in the mean Galactocentric radial velocity ($\Delta\rm V_{\rm GC}$) between metal-rich stars ([Fe/H] $\ge$ 0) and moderately metal-poor stars (-1.0 $\le$ [Fe/H] $<$ 0) in two models, one containing a thin disc and a small classical bulge (B/D=0.1), and the other containing a thin disc and a massive centrally concentrated thick disc. We reasonably assume that thin-disk stars in each model may be considered as a proxy of metal-rich stars. Similarly, bulge stars and thick-disc stars may be considered as a proxy of metal-poor stars. We calculate $\Delta\rm V_{\rm GC}$ at different latitudes ($b=0^\circ$, $-2^\circ$, $-4^\circ$,$-6^\circ$, $-8^\circ$ and $-10^\circ$) and longitudes ($l=0^\circ$, $\pm5^\circ$, $\pm10^\circ$ and $\pm15^\circ$) and show that the $\Delta\rm V_{\rm GC}$ trends predicted by the two models are different. We compare the predicted results with ARGOS data and APOGEE DR13 data and show that moderately metal-poor stars are well reproduced with the co-spatial stellar discs model, which has a massive thick disc. Our results give more evidence against the scenario that most of the metal-poor stars are classical bulge stars. If classical bulge stars exists, most of them probably have metallicities [Fe/H] $<$ -1 dex, and their contribution to the mass of the bulge should be a small percentage of the total bulge mass.


title: GreyCat: Efficient What-If Analytics for Data in Motion at Scale

abstract: Over the last few years, data analytics shifted from a descriptive era, confined to the explanation of past events, to the emergence of predictive techniques. Nonetheless, existing predictive techniques still fail to effectively explore alternative futures, which continuously diverge from current situations when exploring the effects of what-if decisions. Enabling prescriptive analytics therefore calls for the design of scalable systems that can cope with the complexity and the diversity of underlying data models. In this article, we address this challenge by combining graphs and time series within a scalable storage system that can organize a massive amount of unstructured and continuously changing data into multi-dimensional data models, called Many-Worlds Graphs. We demonstrate that our open source implementation, GreyCat, can efficiently fork and update thousands of parallel worlds composed of millions of timestamped nodes, such as what-if exploration.


title: Can accelerated expansion of the universe be due to spacetime vorticity?

abstract: We present here a general relativistic mechanism for accelerated cosmic expansion and the Hubble's constant. It is shown that spacetime vorticity coupled to the magnetic field density in galaxies causes the galaxies to recede from one another at a rate equal to the Hubble's constant. We therefore predict an oscillatory universe, with zero curvature, without assuming violation of Newtonian gravity at large distances or invoking dark energy/dark matter hypotheses. The value of the Hubble's constant, along with the scale of expansion, as well as the high isotropy of CMB radiation are deduced from the model.


title: Stochastic models of multi-channel particulate transport with blockage

abstract: Networks of channels conveying particles are often subject to blockages due to the limited carrying capacity of the individual channels. If the channels are coupled, blockage of one causes an increase in the flux entering the remaining open channels leading to a cascade of failures. Once all channels are blocked no additional particle can enter the system. If the blockages are of finite duration, however, the system reaches a steady state with an exiting flux that is reduced compared to the incoming one. We propose a stochastic model consisting of $N_c$ channels each with a blocking threshold of $N$ particles. Particles enter the system according to a Poisson process with the entering flux of intensity $\Lambda$ equally distributed over the open channels. Any particle in an open channel exits at a rate $\mu$ and a blocked channel unblocks at a rate $\mu^*$. We present a method to obtain the exiting flux in the steady state, and other properties, for arbitrary $N_c$ and $N$ and we present explicit solutions for $N_c=2,3$. We apply these results to compare the efficiency of conveying a particulate stream of intensity $\Lambda$ using different channel configurations. We compare a single "robust" channel with a large capacity with multiple "fragile" channels with a proportionately reduced capacity. The "robust" channel is more efficient at low intensity, while multiple, "fragile" channels have a higher throughput at large intensity. We also compare $N_c$ coupled channels with $N_c$ independent channels, both with threshold $N=2$. For $N_c=2$ if $\mu^*/\mu>1/4$, the coupled channels are always more efficient. Otherwise the independent channels are more efficient for sufficiently large $\Lambda$.


title: Metric Learning with Dynamically Generated Pairwise Constraints for Ear Recognition

abstract: Ear recognition task is known as predicting whether two ear images belong to the same person or not. In this paper, we present a novel metric learning method for ear recognition. This method is formulated as a pairwise constrained optimization problem. In each training cycle, this method selects the nearest similar and dissimilar neighbors of each sample to construct the pairwise constraints, and then solve the optimization problem by the iterated Bregman projections. Experiments are conducted on AMI, USTB II and WPUT databases. The results show that the proposed approach can achieve promising recognition rates in ear recognition, and its training process is much more efficient than the other competing metric learning methods.


title: Sparse Recovery over Graph Incidence Matrices

abstract: Classical results in sparse recovery guarantee the exact reconstruction of $s$-sparse signals under assumptions on the dictionary that are either too strong or NP-hard to check. Moreover, such results may be pessimistic in practice since they are based on a worst-case analysis. In this paper, we consider the sparse recovery of signals defined over a graph, for which the dictionary takes the form of an incidence matrix. We derive necessary and sufficient conditions for sparse recovery, which depend on properties of the cycles of the graph that can be checked in polynomial time. We also derive support-dependent conditions for sparse recovery that depend only on the intersection of the cycles of the graph with the support of the signal. Finally, we exploit sparsity properties on the measurements and the structure of incidence matrices to propose a specialized sub-graph-based recovery algorithm that outperforms the standard $\ell_1$-minimization approach.


title: Big Data Challenges in Genome Informatics

abstract: In recent years, we have witnessed a dramatic data explosion in genomics, thanks to the improvement in sequencing technologies and the drastically decreasing costs. We are entering the era of millions of available genomes. Notably, each genome can be composed of billions of nucleotides stored as plain text files in GigaBytes (GBs). It is undeniable that those genome data impose unprecedented data challenges for us. In this article, we briefly discuss the big data challenges associated with genomics in recent years.


title: Direct Proofs of the Fundamental Theorem of Calculus for the Omega Integral

abstract: When introduced in a 2018 article in the American Mathematical Monthly, the omega integral was shown to be an extension of the Riemann integral. Although results for continuous functions such as the Fundamental Theorem of Calculus follow immediately, a much more satisfying approach would be to provide direct proofs not relying on the Riemann integral. This note provides those proofs.


title: Partial control of chaos: how to avoid undesirable behaviors with small controls in presence of noise

abstract: The presence of a nonattractive chaotic set, also called chaotic saddle, in phase space implies the appearance of a finite time kind of chaos that is known as transient chaos. For a given dynamical system in a certain region of phase space with transient chaos, trajectories eventually abandon the chaotic region escaping to an external attractor, if no external intervention is done on the system. In some situations, this attractor may involve an undesirable behavior, so the application of a control in the system is necessary to avoid it. Both, the nonattractive nature of transient chaos and eventually the presence of noise may hinder this task. Recently, a new method to control chaos called \emph{partial control} has been developed. The method is based on the existence of a set, called the safe set, that allows to sustain transient chaos by only using a small amount of control. The surprising result is that the trajectories can be controlled by using an amount of control smaller than the amount of noise affecting it. We present here a broad survey of results of this control method applied to a wide variety of dynamical systems. We also review here all the variations of the partial control method that have been developed so far. In all the cases various systems of different dimensionality are treated in order to see the potential of this method. We believe that this method is a step forward in controlling chaos in presence of disturbances.


title: Autonomous decision-making against induced seismicity in deep fluid injections

abstract: The rise in the frequency of anthropogenic earthquakes due to deep fluid injections is posing serious economic, societal, and legal challenges to geo-energy and waste-disposal projects. We propose an actuarial approach to mitigate this risk, first by defining an autonomous decision-making process based on an adaptive traffic light system (ATLS) to stop risky injections, and second by quantifying a "cost of public safety" based on the probability of an injection-well being abandoned. The ATLS underlying statistical model is first confirmed to be representative of injection-induced seismicity, with examples taken from past reservoir stimulation experiments (mostly from Enhanced Geothermal Systems, EGS). Then the decision strategy is formalized: Being integrable, the model yields a closed-form ATLS solution that maps a risk-based safety standard or norm to an earthquake magnitude not to exceed during stimulation. Finally, the EGS levelized cost of electricity (LCOE) is reformulated in terms of null expectation, with the cost of abandoned injection-well implemented. We find that the price increase to mitigate the increased seismic risk in populated areas can counterbalance the heat credit. However this "public safety cost" disappears if buildings are based on earthquake-resistant designs or if a more relaxed risk safety standard or norm is chosen.


title: Dual addition formulas: the case of continuous $q$-ultraspherical and $q$-Hermite polynomials

abstract: We settle the dual addition formula for continuous $q$-ultraspherical polynomials as an expansion in terms of special $q$-Racah polynomials for which the constant term is given by the linearization formula for the continuous $q$-ultraspherical polynomials. In a second proof we derive the dual addition formula from the Rahman--Verma addition formula for these polynomials by using the self-duality of the polynomials. We also consider the limit case of continuous $q$-Hermite polynomials.


title: Connections between Minkowski and Cosmological Correlation Functions

abstract: We show how cosmological correlation functions of massless fields can be rewritten in terms of Minkowski correlation functions, by extracting symmetry-breaking operators from the cosmological correlators. This technique simplifies some cosmological calculations. Also, known properties of Minkowski correlation functions can be translated to non-trivial properties of cosmological correlations. To illustrate this idea, inflation to Minkowski and matter bounce to Minkowski relations are presented for the interactions of general single field inflation. And a Minkowski recursion relation is translated to a novel relation for inflation.


title: On the Limitation of Local Intrinsic Dimensionality for Characterizing the Subspaces of Adversarial Examples

abstract: Understanding and characterizing the subspaces of adversarial examples aid in studying the robustness of deep neural networks (DNNs) to adversarial perturbations. Very recently, Ma et al. (ICLR 2018) proposed to use local intrinsic dimensionality (LID) in layer-wise hidden representations of DNNs to study adversarial subspaces. It was demonstrated that LID can be used to characterize the adversarial subspaces associated with different attack methods, e.g., the Carlini and Wagner's (C&W) attack and the fast gradient sign attack. In this paper, we use MNIST and CIFAR-10 to conduct two new sets of experiments that are absent in existing LID analysis and report the limitation of LID in characterizing the corresponding adversarial subspaces, which are (i) oblivious attacks and LID analysis using adversarial examples with different confidence levels; and (ii) black-box transfer attacks. For (i), we find that the performance of LID is very sensitive to the confidence parameter deployed by an attack, and the LID learned from ensembles of adversarial examples with varying confidence levels surprisingly gives poor performance. For (ii), we find that when adversarial examples are crafted from another DNN model, LID is ineffective in characterizing their adversarial subspaces. These two findings together suggest the limited capability of LID in characterizing the subspaces of adversarial examples.


title: On the multipacking number of grid graphs

abstract: In 2001, Erwin introduced broadcast domination in graphs. It is a variant of classical domination where selected vertices may have different domination powers. The minimum cost of a dominating broadcast in a graph $G$ is denoted $\gamma_b(G)$. The dual of this problem is called multipacking: a multipacking is a set $M$ of vertices such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $M$ . The maximum size of a multipacking in a graph $G$ is denoted mp(G). Naturally mp(G) $\leq \gamma_b(G)$. Earlier results by Farber and by Lubiw show that broadcast and multipacking numbers are equal for strongly chordal graphs. In this paper, we show that all large grids (height at least 4 and width at least 7), which are far from being chordal, have their broadcast and multipacking numbers equal.


title: Sturm-Liouville and Carroll: at the heart of the Memory Effect

abstract: For a plane gravitational wave whose profile is given, in Brinkmann coordinates, by a $2\times2$ symmetric traceless matrix $K(U)$, the matrix Sturm-Liouville equation $\ddot{P}=KP$ plays a multiple and central r\^ole: (i) it determines the isometries, (ii) it appears as the key tool for switching from Brinkmann to BJR coordinates and vice versa, (iii) it determines the trajectories of particles initially at rest. All trajectories can be obtained from trivial "Carrollian" ones by a suitable action of the (broken) Carrollian isometry group.


title: Unsupervised Separation of Transliterable and Native Words for Malayalam

abstract: Differentiating intrinsic language words from transliterable words is a key step aiding text processing tasks involving different natural languages. We consider the problem of unsupervised separation of transliterable words from native words for text in Malayalam language. Outlining a key observation on the diversity of characters beyond the word stem, we develop an optimization method to score words based on their nativeness. Our method relies on the usage of probability distributions over character n-grams that are refined in step with the nativeness scorings in an iterative optimization formulation. Using an empirical evaluation, we illustrate that our method, DTIM, provides significant improvements in nativeness scoring for Malayalam, establishing DTIM as the preferred method for the task.


title: Active Colloidal Molecules

abstract: Like ordinary molecules are composed of atoms, colloidal molecules consist of several species of colloidal particles tightly bound together. If one of these components is self-propelled or swimming, novel "active colloidal molecules" emerge. Active colloidal molecules exist on various levels such as "homonuclear", "heteronuclear" and "polymeric" and possess a dynamical function moving as propellers, spinners or rotors. Self-assembly of such active complexes has been studied a lot recently and this perspective article summarizes recent progress and gives an outlook to future developments in the rapidly expanding field of active colloidal molecules.


title: On the Orderability Problem and the Interval Topology

abstract: The class of LOTS (linearly ordered topological spaces, i.e. spaces equipped with a topology generated by a linear order) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological properties, which are not necessarily hereditary. The Orderability Problem, a very important question on whether a topological space admits a linear order which generates a topology equal to the topology of the space, was given a general solution by J. van Dalen and E. Wattel, in 1973. In this article we first investigate the role of the interval topology in van Dalen's and Wattel's characterization of LOTS, and we then examine ways to extend this model to transitive relations that are not necessarily linear orders.


title: Effect of thresholds on the width of three-body resonances

abstract: It has been recently reported an intriguing theoretical result of a narrow three-body resonance with a large available phase space. The resonance was reported in the $N\Lambda\Lambda-\Xi NN$ system near the $\Xi d$ threshold, having a very small width in spite of the open $N\Lambda\Lambda$ channel lying around 23 MeV below the $\Xi NN$ channel. We use first-order perturbation theory as a plausible argument to explain this behavior. We apply our result to realistic local interactions. Other systems involving several thresholds are likely to follow the same behavior.


title: Teaching Light Polarization by Putting Art and Physics Together

abstract: Light Polarization has many technological applications and its discovery was crucial to reveal the transverse nature of the electromagnetic waves. However, despite its fundamental and practical importance, in high school this property of light is often neglected. This is a pity not only for its conceptual relevance, but also because polarization gives the possibility to perform many beautiful experiments with low cost materials. Moreover, the treatment of this matter lends very well to an interdisciplinary approach, between art, biology and technology, which usually makes things more interesting to students. For these reasons we have developed a laboratory on light polarization for high school and undergraduate students. They can see beautiful pictures when birefringent materials are set between two crossed polarizing filters. The colourful images remind them of those ones of abstract painting or alien landscapes. With this multidisciplinary teaching method students are more engaged and participative and also the learning process of the respective physics concepts is more effective.


title: On Existence and Uniqueness of Formal Power Series Solutions of Algebraic Ordinary Differential Equations

abstract: Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or on the initial values is fulfilled, we compute all of the solutions. Moreover, when the existence is confirmed, we present the algebraic structure of the set of all formal power series solutions.


title: Ion Diffusion and Acceleration in Plasma Turbulence

abstract: Particle transport, acceleration and energisation are phenomena of major importance for both space and laboratory plasmas. Despite years of study, an accurate theoretical description of these effects is still lacking. Validating models with self-consistent, kinetic simulations represents today a new challenge for the description of weakly-collisional, turbulent plasmas. We perform two-dimensional (2D) hybrid-PIC simulations of steady-state turbulence to study the processes of diffusion and acceleration. The chosen plasma parameters allow to span different systems, going from the solar corona to the solar wind, from the Earth's magnetosheath to confinement devices. To describe the ion diffusion, we adapted the Nonlinear Guiding Center (NLGC) theory to the 2D case. Finally, we investigated the local influence of coherent structures on particle energisation and acceleration: current sheets play an important role if the ions Larmor radii are on the order of the current sheets size. This resonance-like process leads to the violation of the magnetic moment conservation, eventually enhancing the velocity-space diffusion.


title: Tunable Snell's law for spin waves in heterochiral magnetic films

abstract: Thin ferromagnetic films with an interfacially induced DMI exhibit nontrivial asymmetric dispersion relations that lead to unique and useful magnonic properties. Here we derive an analytical expression for the magnon propagation angle within the micromagnetic framework and show how the dispersion relation can be approximated with a comprehensible geometrical interpretation in the k-space of the propagation of spin waves. We further explore the refraction of spin waves at DMI interfaces in heterochiral magnetic films, after deriving a generalized Snell's law tunable by an in-plane magnetic field, that yields analytical expressions for critical incident angles. The found asymmetric Brewster angles at interfaces of regions with different DMI strengths, adjustable by magnetic field, support the conclusion that heterochiral ferromagnetic structures are an ideal platform for versatile spin-wave guides.


title: Entropy in the interior of a Kerr black hole

abstract: Christodoulou and Rovelli have shown that the maximal interior volume of a Schwarzschild black hole linearly grows with time. Recently, their conclusion has been extended to the Reissner{-}Nordstr$\ddot{\text{o}}$m and Kerr black holes. Meanwhile, the entropy of interior volume in a Schwarzschild black hole has also been calculated. Here, a new method calculating the entropy of interior volume of the black hole is given and it can be used in more general cases. Using this method, the entropy associated with the volume of a Kerr black hole is calculated and it is found that the entropy is proportional to the Bekenstein-Hawking entropy in the early stage of black hole evaporation. Using the differential form, the entropy of interior volume in a Schwarzschild black hole is recalculated. It is shown that the proportionality coefficient between the entropy and the Bekenstein-Hawking entropy is half of that given in the previous literature. Moreover, the black hole information paradox is brought up again and discussed.


title: Visual-Inertial Teach and Repeat for Aerial Inspection

abstract: Industrial facilities often require periodic visual inspections of key installations. Examining these points of interest is time consuming, potentially hazardous or require special equipment to reach. MAVs are ideal platforms to automate this expensive and tedious task. In this work we present a novel system that enables a human operator to teach a visual inspection task to an autonomous aerial vehicle by simply demonstrating the task using a handheld device. To enable robust operation in confined, GPS-denied environments, the system employs the Google Tango visual-inertial mapping framework as the only source of pose estimates. In a first step the operator records the desired inspection path and defines the inspection points. The mapping framework then computes a feature-based localization map, which is shared with the robot. After take-off, the robot estimates its pose based on this map and plans a smooth trajectory through the way points defined by the operator. Furthermore, the system is able to track the poses of other robots or the operator, localized in the same map, and follow them in real-time while keeping a safe distance.


title: Conservation law of energy-momentum in general relativity

abstract: We explain the necessity of application of semi-metric in general relativity. A detailed discussion on the energy-momentum conservation in the general relativity is presented using the mathematical tool of semi-metric. By means of the general covariant spacetime translation transformation, the most general covariant conservation law of energy-momentum is obtained, which is valid for any coordinates and overcomes the flaws of the expressions of Einstain, Landau and Moller.


title: Redox potential replica exchange molecular dynamics at constant pH in AMBER: Implementation and validation

abstract: Redox processes are important in chemistry, with applications in biomedicine, chemical analysis, among others. As many redox experiments are also performed at a fixed value of pH, having an efficient computational method to support experimental measures at both constant redox potential and pH is very important. Such computational techniques have the potential to validate experimental observations performed under these conditions and to provide additional information unachievable experimentally such as an atomic level description of macroscopic measures. We present the implementation of discrete redox and protonation states methods for constant redox potential Molecular Dynamics (CEMD), for coupled constant pH and constant redox potential MD (C(pH,E)MD), and for Replica Exchange MD along the redox potential dimension (E-REMD) on the AMBER software package. Validation results are presented for a small system that contains a single heme group: N-acetylmicroperoxidase-8 (NAcMP8) axially connected to a histidine peptide. The methods implemented allow one to make standard redox potential (Eo) predictions with the same easiness and accuracy as pKa predictions using the constant pH molecular dynamics and pH-REMD methods currently available on AMBER. In our simulations, we can correctly describe, in agreement also with theoretical predictions, the following behaviors: when a redox-active group is reduced, the pKa of a near pH-active group increases because it becomes easier for a proton to be attached; equivalently, when a pH-active group is protonated, the Eo of an adjacent redox-active group rises. Furthermore, our results also show that E-REMD is able to achieve faster statistical convergence than CEMD or C(pH,E)MD. Moreover, computational benchmarks using our methodologies show high-performance of GPU accelerated calculations in comparison to conventional CPU calculations.


title: Limiting curvature mimetic gravity and its relation to Loop Quantum Cosmology

abstract: Considering as usual that the underlying geometry of our universe is well described by the spatially flat Friedmann-Lemaitre-Robertson-Walker line element, we review how the background of holonomy corrected Loop Quantum Cosmology (LQC) could be obtained as a simple modified version of the mimetic gravity. We also analyze the scalar and tensor perturbations of this modified mimetic model, from which we find that at the level of tensor perturbations it is indistinguishable from General Relativity while at the level of scalar perturbations, the modified mimetic model, which has the same background as LQC, does not exhibit the same properties as LQC in the so-called deformed algebra approach.


title: Bifurcation sets and global monodromies of Newton non-degenerate polynomials on algebraic sets

abstract: Let $S\subset \mathbb{C}^n$ be a non-singular algebraic set and $f \colon \mathbb{C}^n \to \mathbb{C}$ be a polynomial function. It is well-known that the restriction $f|_S \colon S \to \mathbb{C}$ of $f$ on $S$ is a locally trivial fibration outside a finite set $B(f|_S) \subset \mathbb{C}.$ In this paper, we give an explicit description of a finite set $T_\infty(f|_S) \subset \mathbb{C}$ such that $B(f|_S) \subset K_0(f|_S) \cup T_\infty(f|_S),$ where $K_0(f|_S)$ denotes the set of critical values of the $f|_S.$ Furthermore, $T_\infty(f|_S)$ is contained in the set of critical values of certain polynomial functions provided that the $f|_S$ is Newton non-degenerate at infinity. Using these facts, we show that if $\{f_t\}_{t \in [0, 1]}$ is a family of polynomials such that the Newton polyhedron at infinity of $f_t$ is independent of $t$ and the $f_t|_S$ is Newton non-degenerate at infinity, then the global monodromies of the $f_t|_S$ are all isomorphic.


title: BAGAN: Data Augmentation with Balancing GAN

abstract: Image classification datasets are often imbalanced, characteristic that negatively affects the accuracy of deep-learning classifiers. In this work we propose balancing GAN (BAGAN) as an augmentation tool to restore balance in imbalanced datasets. This is challenging because the few minority-class images may not be enough to train a GAN. We overcome this issue by including during the adversarial training all available images of majority and minority classes. The generative model learns useful features from majority classes and uses these to generate images for minority classes. We apply class conditioning in the latent space to drive the generation process towards a target class. The generator in the GAN is initialized with the encoder module of an autoencoder that enables us to learn an accurate class-conditioning in the latent space. We compare the proposed methodology with state-of-the-art GANs and demonstrate that BAGAN generates images of superior quality when trained with an imbalanced dataset.


title: Uniaxial anisotropy and enhanced magnetostriction of CoFe$_2$O$_4$ induced by reaction under uniaxial pressure with SPS

abstract: In this study, we have compared magnetic and magnetostrictive properties of polycrystalline CoFe$_2$O$_4$ pellets, produced by three different methods, focusing on the use of Spark Plasma Sintering (SPS). This technique allows a very short heat treatment stage while a uniaxial pressure is applied. SPS was utilized to sinter cobalt ferrite but also to make the reaction and the sintering (reactive sintering) of the same ceramic composition. Magnetic and magnetostrictive measurements show that the reactive sintering with SPS induces a uniaxial anisotropy, while it is not the case with a simple sintering process. The induced anisotropy is then expected to be a consequence of the reaction under uniaxial pressure. This anisotropy enhanced the magnetostrictive properties of the sample, where a maximum longitudinal magnetostriction of $-229$~ppm is obtained. This process can be a promising alternative to the magnetic-annealing because of the short processing time required (22 minutes).


title: Progress in structure recovery from low dose exposures: Mixed molecular adsorption, exploitation of symmetry and reconstruction from the minimum signal level

abstract: We investigate the recovery of structures from large-area, low dose exposures that distribute the dose over many identical copies of an object. The reconstruction is done via a maximum likelihood approach that does neither require to identify nor align the individual particles. We also simulate small molecular adsorbates on graphene and demonstrate the retrieval of images with atomic resolution from \add{large area and} extremely low dose raw data. Doses as low as 5 $e^{-}/$\AA$^{2}$ are sufficient if all symmetries (translations, rotations and mirrors) of the supporting membrane are exploited to retrieve the structure of individual adsorbed molecules. We compare different optimization schemes, consider mixed molecules and adsorption sites, and requirements on the amount of data. We further demonstrate that the maximum likelihood approach is only count limited by requiring at least three independent counts per entity.Finally, we demonstrate that the approach works with real experimental data and in presence of aberrations.


title: Theory of Strain-Induced Confinement in Transition Metal Dichalcogenide Monolayers

abstract: Recent experimental studies of out-of-plane straining geometries of transition metal dichalchogenide (TMD) monolayers have demonstrated sufficient band gap renormalisation for device application such as single photon emitters. Here, a simple continuum-mechanical plate-theory approach is used to estimate the topography of TMD monolayers layered atop nanopillar arrays. From such geometries, the induced conduction band potential and band gap renormalisation is given, demonstrating a curvature of the potential that is independent of the height of the deforming nanopillar. Additionally, with a semi-classical WKB approximation, the expected escape rate of electrons in the strain potential may be calculated as a function of the height of the deforming nanopillar. This approach is in accordance with experiment, supporting recent findings suggesting that increasing nanopillar height decreases the linewidth of the single photon emitters observed at the tip of the pillar, and predicting the shift in photon energy with nanopillar height for systems with consistent topography.


title: A multilayer backpropagation saliency detection algorithm and its applications

abstract: Saliency detection is an active topic in the multimedia field. Most previous works on saliency detection focus on 2D images. However, these methods are not robust against complex scenes which contain multiple objects or complex backgrounds. Recently, depth information supplies a powerful cue for saliency detection. In this paper, we propose a multilayer backpropagation saliency detection algorithm based on depth mining by which we exploit depth cue from three different layers of images. The proposed algorithm shows a good performance and maintains the robustness in complex situations. Experiments' results show that the proposed framework is superior to other existing saliency approaches. Besides, we give two innovative applications by this algorithm, such as scene reconstruction from multiple images and small target object detection in video.


title: The Delta-calculus: syntax and types

abstract: We present the Delta-calculus, an explicitly typed lambda-calculus with strong pairs, projections and explicit type coercions. The calculus can be parametrized with different intersection type theories T, e.g. the Coppo-Dezani, the Coppo-Dezani-Salle', the Coppo-Dezani-Venneri and the Barendregt-Coppo-Dezani ones, producing a family of Delta-calculi with related intersection type systems. We prove the main properties like Church-Rosser, unicity of type, subject reduction, strong normalization, decidability of type checking and type reconstruction. We state the relationship between the intersection type assignment systems a` la Curry and the corresponding intersection type systems a` la Church by means of an essence function translating an explicitly typed Delta-term into a pure lambda-term one. We finally translate a Delta-term with type coercions into an equivalent one without them; the translation is proved to be coherent because its essence is the identity. The generic Delta-calculus can be parametrized to take into account other intersection type theories as the ones in the Barendregt et al. book.


title: Influence of stellar structure, evolution and rotation on the tidal damping of exoplanetary spin-orbit angles

abstract: It is debated whether close-in giant planets can form in-situ and if not, which mechanisms are responsible for their migration. One of the observable tests for migration theories is the current value of the angle between the stellar equatorial plane and the orbital plane, called the obliquity. After the main migration mechanism has ended, the obliquity and the semi-major axis keep on evolving due to the combined effects of tides and magnetic braking. The observed correlation between effective temperature and measured projected obliquity in known short-period systems has been taken as evidence of such mechanisms being at play. Our aim is to produce an improved model for the tidal evolution of the obliquity, including all the components of the dynamical tide for circular misaligned systems. This model takes into account the strong variations in structure and rotation of stars during their evolution, and their consequences for the efficiency of tidal dissipation. We use an analytical formulation for the frequency-averaged dissipation in convective layers for each mode, depending only on global stellar parameters and rotation. For typical hot-Jupiters orbital configurations, the obliquity is generally damped on a much shorter timescale than the semi-major axis. The final outcome of tidal evolution is also very sensitive to the initial conditions, with Jupiter-mass planets being either quickly destroyed or brought on more distant orbit, depending on the initial ratio of planetary orbital momentum to stellar spin momentum. However we find that everything else being the same, the evolution of the obliquity around low-mass stars with a thin convective zone is not slower than around those with a thicker convective zone. On the contrary, we find that more massive stars, remaining faster rotator throughout their main-sequence, produce more efficient dissipation.


title: Invariant Properties of Fatou Set, Julia Set and Escaping Set of Holomorphic Semigroup

abstract: In this paper, we prove that escaping set of transcendental semigroup is S-forward invariant. We also prove that if holomorphic semigroup is abelian, then Fatou set, Julia set and escaping set are S-completely invariant. We see certain cases and conditions that the holomorphic semigroup dynamics exhibits same dynamical behavior just like the classical complex dynamics. Frequently, we also examine certain amount of connection and contrast between classical complex dynamics and holomorphic semigroup dynamics.


title: On negative association of some finite point processes on general state spaces, extended version

abstract: We study negative association (NA) for mixed sampled point processes and show that NA holds for such processes if the random number of points of them fulfills ULC property. We connect NA property of point processes with dcx dependence ordering and show some consequences of it for mixed sampled and determinantal point processes. Some applications illustrate general theory.


title: On mixed Hessians and the Lefschetz properties

abstract: We introduce a new type of Hessian matrix, that we call Mixed Hessian. The mixed Hessian is used to compute the rank of a multiplication map by a power of a linear form in a standard graded Artinian Gorenstein algebra. In particular we recover the main result of \cite{MW} for identifying Strong Lefschetz elements, generalizing it also for Weak Lefschetz elements. This criterion is also used to give a new proof that Boolean algebras have the Strong Lefschetz Property (SLP). We also construct new examples of Artinian Gorenstein algebras presented by quadrics that does not satisfy the Weak Lefschetz Property (WLP); we construct minimal examples of such algebras and we give bounds, depending on the degree, for their existence. Artinian Gorenstein algebras presented by quadrics were conjectured to satisfy WLP in \cite{MN1,MN2}, and in a previous paper we construct the first counter-examples (see \cite{GZ}).


title: Underactuated Hand Design Using Mechanically Realizable Manifolds

abstract: Hand synergies, or joint coordination patterns, have become an effective tool for achieving versatile robotic grasping with simple hands or planning algorithms. Here we propose a method to determine the hand synergies such that they can be physically implemented in an underactuated fashion. Given a kinematic hand model and a set of desired grasps, our algorithm optimizes a Mechanically Realizable Manifold designed to be achievable by a physical underactuation mechanism, enabling the resulting hand to achieve the desired grasps with few actuators. Furthermore, in contrast to existing methods for determining synergies which are only concerned with hand posture, our method explicitly optimizes the stability of the target grasps. We implement this method in the design of a three-finger single-actuator hand as an example, and evaluate its effectiveness numerically and experimentally.


title: Ground state solutions of inhomogeneous Bethe equations

abstract: The distribution of Bethe roots, solution of the inhomogeneous Bethe equations, which characterize the ground state of the periodic XXX Heisenberg spin-$\frac{1}{2}$ chain is investigated. Numerical calculations shows that, for this state, the new inhomogeneous term does not contribute to the Baxter T-Q equation in the thermodynamic limit. Different families of Bethe roots are identified and their large N behaviour are conjectured and validated.


title: Spin subdiffusion in disordered Hubbard chain

abstract: We derive and study the effective spin model that explains the anomalous spin dynamics in the one-dimensional Hubbard model with strong potential disorder. Assuming that charges are localized, we show that spins are delocalized and their subdiffusive transport originates from a singular random distribution of spin exchange interactions. The exponent relevant for the subdiffusion is determined by the Anderson localization length and the density of electrons. While the analytical derivations are valid for low particle density, numerical results for the full model reveal a qualitative agreement up to half-filling.


title: Three-lobed near-infrared Stokes V profiles in the quiet Sun

abstract: We investigate a region of the quiet solar photosphere exhibiting three-lobed Stokes V profiles in the Fe I spectral line at 15648 Angstroem. The data were acquired with the GRIS spectropolarimeter attached to the GREGOR telescope. We aim at investigating the thermal, kinematic and magnetic properties of the atmosphere responsible for these measured complex signals. The SIR inversion code is employed to retrieve the physical parameters of the lower solar photosphere from the observed polarization signals. We follow two different approaches. On the one hand, we consider that the multi-lobe circular polarization signals are only produced by the line-of-sight variation of the physical parameters. We therefore invert the data assuming a single atmospheric component that occupies the entire resolution element in the horizontal plane and where the physical parameters vary with optical depth (i.e., line-of-sight). On the other hand, we consider that the multi-lobe circular polarization signals are produced not by the optical depth variations of the physical parameters but instead by their horizontal variations. Here we invert the data assuming that the resolution element is occupied by two different atmospheric components where the kinematic and magnetic properties are constant along the line-of-sight. Both approaches reveal some common features about the topology responsible for the observed three-lobed Stokes V signals: both a strong (>1000 Gauss) and a very weak (< 10 Gauss) magnetic field with opposite polarities and harboring flows directed in opposite directions must co-exist (either vertically or horizontally interlaced) within the resolution element.


title: A quantitative fourth moment theorem in free probability theory

abstract: A quantitative "fourth moment theorem" is provided for any self-adjoint element in a homogeneous Wigner chaos: the Wasserstein distance is controlled by the distance from the fourth moment to two. The proof uses the free counterpart of the Stein discrepancy. On the way, the free analogue of the WSH inequality is established.


title: A Quality Model for Actionable Analytics in Rapid Software Development

abstract: Background: Accessing relevant data on the product, process, and usage perspectives of software as well as integrating and analyzing such data is crucial for getting reliable and timely actionable insights aimed at continuously managing software quality in Rapid Software Development (RSD). In this context, several software analytics tools have been developed in recent years. However, there is a lack of explainable software analytics that software practitioners trust. Aims: We aimed at creating a quality model (called Q-Rapids quality model) for actionable analytics in RSD, implementing it, and evaluating its understandability and relevance. Method: We performed workshops at four companies in order to determine relevant metrics as well as product and process factors. We also elicited how these metrics and factors are used and interpreted by practitioners when making decisions in RSD. We specified the Q-Rapids quality model by comparing and integrating the results of the four workshops. Then we implemented the Q-Rapids tool to support the usage of the Q-Rapids quality model as well as the gathering, integration, and analysis of the required data. Afterwards we installed the Q-Rapids tool in the four companies and performed semi-structured interviews with eight product owners to evaluate the understandability and relevance of the Q-Rapids quality model. Results: The participants of the evaluation perceived the metrics as well as the product and process factors of the Q-Rapids quality model as understandable. Also, they considered the Q-Rapids quality model relevant for identifying product and process deficiencies (e.g., blocking code situations). Conclusions: By means of heterogeneous data sources, the Q-Rapids quality model enables detecting problems that take more time to find manually and adds transparency among the perspectives of system, process, and usage.


title: Noise-based logic gates by operations on the reference system

abstract: We propose a new, low-complexity solution to realize multi-input-bit gates acting on exponentially large superpositions in noise-based logic processors. Two examples are shown, the NOT gate and the CNOT gate. The operations can be executed and repeated with polynomial time and hardware complexity. The lack of a solution of this problem had been one of the major issues prohibiting the efficient realization of Shor's algorithm by Instantaneous Noise-Based Logic, which runs on a classical Turing computer with a true random number generator. With the method described in this paper, we are one step closer to this goal.


title: On the Intrinsic Dimensionality of Image Representations

abstract: This paper addresses the following questions pertaining to the intrinsic dimensionality of any given image representation: (i) estimate its intrinsic dimensionality, (ii) develop a deep neural network based non-linear mapping, dubbed DeepMDS, that transforms the ambient representation to the minimal intrinsic space, and (iii) validate the veracity of the mapping through image matching in the intrinsic space. Experiments on benchmark image datasets (LFW, IJB-C and ImageNet-100) reveal that the intrinsic dimensionality of deep neural network representations is significantly lower than the dimensionality of the ambient features. For instance, SphereFace's 512-dim face representation and ResNet's 512-dim image representation have an intrinsic dimensionality of 16 and 19 respectively. Further, the DeepMDS mapping is able to obtain a representation of significantly lower dimensionality while maintaining discriminative ability to a large extent, 59.75% TAR @ 0.1% FAR in 16-dim vs 71.26% TAR in 512-dim on IJB-C and a Top-1 accuracy of 77.0% at 19-dim vs 83.4% at 512-dim on ImageNet-100.


title: Some hadronic parameters of charmonia in $\boldsymbol{N_{\text{f}}=2}$ lattice QCD

abstract: The phenomenology of leptonic decays of quarkonia holds many interesting features: for instance, it can establish constraints on scenarios beyond the Standard Model with the Higgs sector enriched by a light CP-odd state. In the following paper, we report on a two-flavor lattice QCD study of the $\eta_c$ and $J/\psi$ decay constants, $f_{\eta_c}$ and $f_{J\psi}$. We also examine some properties of the first radial excitation $\eta_c(2S)$ and $\psi(2S)$.


title: Proprioception-Based Grasping for Unknown Objects Using a Series-Elastic-Actuated Gripper

abstract: Grasping unknown objects has been an active research topic for decades. Approaches range from using various sensors (e.g. vision, tactile) to gain information about the object, to building passively compliant hands that react appropriately to contacts. In this paper, we focus on grasping unknown objects using proprioception (the combination of joint position and torque sensing). Our hypothesis is that proprioception alone can be the basis for versatile performance, including multiple types of grasps for objects with multiple shapes and sizes, and transitions between grasps. Using a series-elastic-actuated gripper, we propose a method for performing stable fingertip grasps for unknown objects with unknown contacts, formulated as multi-input-multi-output (MIMO) control. We also show that the proprioceptive gripper can perform enveloping grasps, as well as the transition from fingertip grasps to enveloping grasps.


title: Extra Space during Initialization of Succinct Data Structures and Dynamical Initializable Arrays

abstract: Many succinct data structures on the word RAM require precomputed tables to start operating. Usually, the tables can be constructed in sublinear time. In this time, most of a data structure is not initialized, i.e., there is plenty of unused space allocated for the data structure. We present a general framework to store temporarily extra buffers between the real data so that the data can be processed immediately, stored first in the buffers, and then moved into the real data structure after finishing the tables. As an application, we apply our framework to Dodis, Patrascu, and Thorup's data structure (STOC 2010) that emulates c-ary memory and to Farzan and Munro's succinct encoding of arbitrary graphs (TCS 2013). We also use our framework to present an in-place dynamical initializable array.


title: On shrinking horizon move-blocking predictive control

abstract: This manuscript contains technical details of recent results developed by the authors on shrinking horizon predictive control with a move-blocking strategy.


title: Enhancement of the magnetoelectric effect in multiferroic CoFe$_2$O$_4$/PZT bilayer by induced uniaxial magnetic anisotropy

abstract: In this study we have compared magnetic, magnetostrictive and piezomagnetic properties of isotropic and anisotropic cobalt ferrite pellets. The isotropic sample was prepared by the ceramic method while the sample exhibiting uniaxial anisotropy was made by reactive sintering using Spark Plasma Sintering (SPS). This technique permits to induce a magnetic anisotropy in cobalt ferrite in the direction of the applied pressure during SPS process. Sample with uniaxial anisotropy revealed a higher longitudinal magnetostriction and piezomagnetism compared to the isotropic sample, but the transversal magnetostriction and piezomagnetism were dramatically reduced. In the case of magnetoelectric layered composite, the magnetoelectric coefficient is directly related to the sum of the longitudinal and transversal piezomagnetic coefficients. These two coefficients being opposite in sign, the use of material exhibiting high longitudinal and low transversal piezomagnetic coefficient (or vice versa) in ME devices is expected to improve the ME effect. Hence, ME bilayer devices were made using isotropic and anisotropic cobalt ferrite stuck with a PZT layer. ME measurements at low frequencies revealed that bilayer with anisotropic cobalt ferrite exhibits a ME coefficient three times higher than a bilayer with isotropic cobalt ferrite. We also investigated the behavior of such composites when excited at resonant frequency.


title: Search for pair production of up-type vector-like quarks and for four-top-quark events in final states with multiple $b$-jets with the ATLAS detector

abstract: A search for pair production of up-type vector-like quarks ($T$) with a significant branching ratio into a top quark and either a Standard Model Higgs boson or a $Z$ boson is presented. The same analysis is also used to search for four-top-quark production in several new physics scenarios. The search is based on a dataset of $pp$ collisions at $\sqrt{s}=13$ TeV recorded in 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider and corresponds to an integrated luminosity of 36.1 fb$^{-1}$. Data are analysed in the lepton+jets final state, characterised by an isolated electron or muon with high transverse momentum, large missing transverse momentum and multiple jets, as well as the jets+$E_{T}^{miss}$ final state, characterised by multiple jets and large missing transverse momentum. The search exploits the high multiplicity of jets identified as originating from $b$-quarks, and the presence of boosted, hadronically decaying top quarks and Higgs bosons reconstructed as large-radius jets, characteristic of signal events. No significant excess above the Standard Model expectation is observed, and 95% CL upper limits are set on the production cross sections for the different signal processes considered. These cross-section limits are used to derive lower limits on the mass of a vector-like $T$ quark under several branching ratio hypotheses assuming contributions from $T \rightarrow Wb$, $Zt$, $Ht$ decays. The 95% CL observed lower limits on the $T$ quark mass range between 0.99 TeV and 1.43 TeV for all possible values of the branching ratios into the three decay modes considered, significantly extending the reach beyond that of previous searches. Additionally, upper limits on anomalous four-top-quark production are set in the context of an effective field theory model, as well as in an universal extra dimensions model.


title: $L^p$ Sobolev regularity for a class of Radon and Radon-like transforms of various codimension

abstract: In the paper [G1] the author proved $L^p$ Sobolev regularity results for averaging operators over hypersurfaces and connected them to associated Newton polyhedra. In this paper, we use rather different resolution of singularities techniques to prove $L^p$ Sobolev regularity results for a class of averaging operators over surfaces which can be of any codimension.


title: Binary Neutron Star Mergers and Third Generation Detectors: Localization and Early Warning

abstract: For third generation gravitational wave detectors, such as the Einstein Telescope, gravitational wave signals from binary neutron stars can last up to a few days before the neutron stars merge. To estimate the measurement uncertainties of key signal parameters, we develop a Fisher matrix approach which accounts for effects on such long duration signals of the time-dependent detector response and the earths rotation. We use this approach to characterize the sky localization uncertainty for gravitational waves from binary neutron stars at 40, 200, 400, 800 and 1600Mpc, for the Einstein Telescope and Cosmic Explorer individually and operating as a network. We find that the Einstein Telescope alone can localize the majority of detectable binary neutron stars at a distance of $\leq200$Mpc to within $100\text{deg}^2$ with 90% confidence. A network consisting of the Einstein Telescope and Cosmic Explorer can enhance the sky localization performance significantly - with the 90% credible region of $\mathcal{O}(1) \text{deg}^2$ for most sources at $\leq200$Mpc and $\leq100\text{deg}^2$ for most sources at $\leq1600$Mpc. We also investigate the prospects for third generation detectors identifying the presence of a signal prior to merger. To do this, we require a signal to have a network signal-to-noise ratio of $\geq12$ and $\geq5.5$ for at least two interferometers, and to have a 90% credible region for the sky localization that is no larger than $100 \text{deg}^2$. We find that the Einstein Telescope can send out such "early-warning" detection alerts 1 - 20 hours before merger for 100% of detectable binary neutron stars at 40Mpc and for $\sim58\%$ of sources at 200Mpc. For sources at a distance of 400Mpc, a network of the Einstein telescope and Cosmic Explorer can produce detection alerts up to $\sim 3$ hours prior to merger for 98% of detectable binary neutron stars.


title: I/O Logic in HOL --- First Steps

abstract: A semantical embedding of input/output logic in classical higher-order logic is presented. This embedding enables the mechanisation and automation of reasoning tasks in input/output logic with off-the-shelf higher-order theorem provers and proof assistants. The key idea for the solution presented here results from the analysis of an inaccurate previous embedding attempt, which we will discuss as well.


title: Radiation reaction of charged particles orbiting magnetized Schwarzschild black hole

abstract: In many astrophysically relevant situations radiation reaction force acting upon a charge can not be neglected and the question arises about the location and stability of circular orbits in such regime. Motion of point charge with radiation reaction in flat spacetime is described by Lorenz-Dirac (LD) equation, while in curved spacetime -- by DeWitt-Brehme (DWB) equation containing the Ricci term and the tail term. We show that for the motion of elementary particles in vacuum metrics the DWB equation can be reduced to the covariant form of the LD equation which we use here. Generically, the LD equation is plagued by runaway solutions, so we discuss computational ways to avoid this problem in constructing numerical solutions. We also use the first iteration of the covariant LD equation which is the covariant Landau-Lifshitz equation, comparing results of these two approaches and showing smallness of the third-order Schott term in the ultrarelativistic case. We calculate the corresponding energy and angular momentum loss of a particle and study the damping of charged particle oscillations around an equilibrium radius. We find that depending on the orientation of the Lorentz force, the oscillating charged particle either spirals down to the black hole, or stabilizes the circular orbit by decaying its oscillations. The later case leads to an interesting new result of shifting of the particle orbit outwards from the black hole. We also discuss the astrophysical relevance of the presented approach and provide estimations of the main parameters of the model.