title: Propagators of the Dirac fermions in de Sitter expanding universe

abstract: The propagators of the Dirac fermions are studied in the configuration representation on the expanding portion of the $(1+3)$-dimensional de Sitter spacetime considering a fixed vacuum of Bunch-Davies type. In this representation the method of Koksma and Prokopec [J. F. Koksma and T. Prokopec, Class. Quant. Grav. {\bf 26}, 125003 (2009)] is applied recovering thus the form of the propagators in the massive case but obtaining a new result for the left-handed massless fermions (neutrinos).


title: Viewpoint-aware Video Summarization

abstract: This paper introduces a novel variant of video summarization, namely building a summary that depends on the particular aspect of a video the viewer focuses on. We refer to this as $\textit{viewpoint}$. To infer what the desired $\textit{viewpoint}$ may be, we assume that several other videos are available, especially groups of videos, e.g., as folders on a person's phone or laptop. The semantic similarity between videos in a group vs. the dissimilarity between groups is used to produce $\textit{viewpoint}$-specific summaries. For considering similarity as well as avoiding redundancy, output summary should be (A) diverse, (B) representative of videos in the same group, and (C) discriminative against videos in the different groups. To satisfy these requirements (A)-(C) simultaneously, we proposed a novel video summarization method from multiple groups of videos. Inspired by Fisher's discriminant criteria, it selects summary by optimizing the combination of three terms (a) inner-summary, (b) inner-group, and (c) between-group variances defined on the feature representation of summary, which can simply represent (A)-(C). Moreover, we developed a novel dataset to investigate how well the generated summary reflects the underlying $\textit{viewpoint}$. Quantitative and qualitative experiments conducted on the dataset demonstrate the effectiveness of proposed method.


title: Normal numbers with digit dependencies

abstract: We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive digits with indices starting at position $n$ are independent. As the main application, we consider the Toeplitz set $T_P$, which is the set of all sequences $a_1a_2 \ldots $ of symbols from $\{0, \ldots, b-1\}$ such that $a_n$ is equal to $a_{pn}$, for every $p$ in $P$ and $n=1,2,\ldots$. Here $b$ is an integer base and $P$ is a finite set of prime numbers. We show that almost every real number whose base $b$ expansion is in $T_P$ is normal to base $b$. In the case when $P$ is the singleton set $\{2\}$ we prove that more is true: almost every real number whose base $b$ expansion is in $T_P$ is normal to all integer bases. We also consider the Toeplitz transform which maps the set of all sequences to the set $T_P$ and we characterize the normal sequences whose Toeplitz transform is normal as well.


title: Renormalization group theory of effective field theory models in low dimensions

abstract: This is a lecture note on the renormalization group theory for field theory models based on the dimensional regularization method. We discuss the renormalization group approach to fundamental field theoretic models in low dimensions. We consider the models that are universal and frequently appear in physics, both in high-energy physics and condensed-matter physics. They are the non-linear sigma model, the $\phi^4$ model and the sine-Gordon model. We use the dimensional regularization method to regularize the divergence and derive the renormalization group equations called the beta functions. The dimensional method is described in detail.


title: Bhabha scattering at ILC250

abstract: This note intends to give an estimate on the sensitivity of the channel ee to ee at the future ILC250. At variance with other two fermion processes, the so-called Bhabha process is influenced by t-channel Z/photon exchange. In spite of the complexity of the resulting angular distribution of this process, one observes a good sensitivity to Zprime exchange, similar to those observed in annihilation channels. This feature is illustrated within the gauge-Higgs unification model, GHU, which shows an impressive indirect sensitivity to the mass of Zprime particles, up to about 20 TeV for the leptonic channels. Beam longitudinal polarisation and high luminosity are the key ingredients for this result. Measuring the Zprime ee coupling with the Bhabha process allows to measure separately Zprimemumu and Zprimetautau coupling, which serves for a precise test of lepton universality. Zprimebb and Zprimett couplings show good sensitivities to GHU. LHC and HE-LHC sensitivities are also discussed.


title: Resolution of the small scale structure issues with dissipative dark matter from multiple Standard Model sectors

abstract: Dissipative dark matter arising from a hidden sector consisting of $N_{\rm sec}$ exact copies of the Standard Model is discussed. The particles from each sector interact with those from the other sectors by gravity and via the kinetic mixing interaction, described by the dimensionless parameter, $\epsilon$. It has been known for some time that models of this kind are consistent with large scale structure and the cosmic microwave background measurements. Here, we argue that such models can potentially explain various observations on small scales, including the observed paucity and planar distribution of satellite galaxies, the flat velocity function of field galaxies, and the structure of galaxy halos. The value of the kinetic mixing parameter is estimated to be $\epsilon \approx 1.2 \times 10^{-10}$ for $N_{\rm sec} = 5$, the example studied in most detail here. We also comment on cluster constraints such as those which arise from the Bullet cluster.


title: Abelian Chern-Simons theory on the torus and physical views on the Hecke operators

abstract: In the previous paper arXiv:1711.07122, we show that a holomorphic zero-mode wave function in abelian Chern-Simons theory on the torus can be considered as a quantum version of a modular form of weight 2. Motivated by this result, in this paper we consider an action of a Hecke operator on such a wave function from a gauge theoretic perspective. This leads us to obtain some physical views on the Hecke operators in number theory.


title: On asymptotic Fermat over the Z_2 extension of Q

abstract: In a recent work the authors prove the effective asymptotic Fermat's Last Theorem for the infinite family of fields $\mathbb{Q}(\zeta_{2^{r+2}})^+$ where $r \ge 0$. A crucial step in their proof is the following conjecture of Kraus. Let $K$ be a number field having odd narrow class number and a unique prime $\lambda$ above $2$. Then there are no elliptic curves defined over $K$ with conductor $\lambda$ and a $K$-rational point of order $2$. In this note we give a new elementary proof of Kraus' conjecture that makes use only of basic facts about elliptic curves, Tate curves and Tate modules.


title: Information Sources and Needs in the Obesity and Diabetes Twitter Discourse

abstract: Obesity and diabetes epidemics are affecting about a third and tenth of US population, respectively, capturing the attention of the nation and its institutions. Social media provides an open forum for communication between individuals and health organizations, a forum which is easily joined by parties seeking to gain profit from it. In this paper we examine 1.5 million tweets mentioning obesity and diabetes in order to assess (1) the quality of information circulating in this conversation, as well as (2) the behavior and information needs of the users engaged in it. The analysis of top cited domains shows a strong presence of health information sources which are not affiliated with a governmental or academic institution at 41% in obesity and 50% diabetes samples, and that tweets containing these domains are retweeted more than those containing domains of reputable sources. On the user side, we estimate over a quarter of non-informational obesity discourse to contain fat-shaming -- a practice of humiliating and criticizing overweight individuals -- with some self-directed toward the writers themselves. We also find a great diversity in questions asked in these datasets, spanning definition of obesity as a disease, social norms, and governmental policies. Our results indicate a need for addressing the quality control of health information on social media, as well as a need to engage in a topically diverse, psychologically charged discourse around these diseases.


title: Whale swarm algorithm with the mechanism of identifying and escaping from extreme points for multimodal function optimization

abstract: Most real-world optimization problems often come with multiple global optima or local optima. Therefore, increasing niching metaheuristic algorithms, which devote to finding multiple optima in a single run, are developed to solve these multimodal optimization problems. However, there are two difficulties urgently to be solved for most existing niching metaheuristic algorithms: how to set the optimal values of niching parameters for different optimization problems, and how to jump out of the local optima efficiently. These two difficulties limited their practicality largely. Based on Whale Swarm Algorithm (WSA) we proposed previously, this paper presents a new multimodal optimizer named WSA with Iterative Counter (WSA-IC) to address these two difficulties. In the one hand, WSA-IC improves the iteration rule of the original WSA for multimodal optimization, which removes the need of specifying different values of attenuation coefficient for different problems to form multiple subpopulations, without introducing any niching parameter. In the other hand, WSA-IC enables the identification of extreme point during iterations relying on two new parameters (i.e., stability threshold Ts and fitness threshold Tf), to jump out of the located extreme point. Moreover, the convergence of WSA-IC is proved. Finally, the proposed WSA-IC is compared with several niching metaheuristic algorithms on CEC2015 niching benchmark test functions and five additional classical multimodal functions with high dimensions. The experimental results demonstrate that WSA-IC statistically outperforms other niching metaheuristic algorithms on most test functions.


title: Colorings v.s. list colorings of uniform hypergraphs

abstract: Let $r$ be an integer with $r\ge 2$ and $G$ be a connected $r$-uniform hypergraph with $m$ edges. By refining the broken cycle theorem for hypergraphs, we show that if $k>\frac{m-1}{\ln(1+\sqrt{2})}\approx 1.135 (m-1)$ then the $k$-list assignment of $G$ admitting the fewest colorings is the constant list assignment. This extends the previous results of Donner, Thomassen and the current authors for graphs.


title: An extension of an unicity class for Navier-Stokes equations

abstract: This is a translation from French of my paper [R. May, Extension d'une classe d'unicite pour les equations de Navier-Stokes, Ann. I. H. Poincar\'{e}-AN 27 (2010) 705-718. doi:10.1016/j.anihp.2009.11.007]. Q. Chen, C. Miao, and Z. Zhang \cite{CMZ} have proved that weak Leray solutions of the Navier-Stokes are unique in the class $L^{\frac{2}{1+r}% }([0,T].B_{\infty}^{r,\infty}(\mathbb{R}^{3})$ with $r\in]-\frac{1}{2},1].$ In this paper, we establish that this criterion remains true for $r\in ]-1,-\frac{1}{2}].$


title: Tight Hardness Results for Consensus Problems on Circular Strings and Time Series

abstract: Consensus problems for strings and sequences appear in numerous application contexts, ranging from bioinformatics over data mining to machine learning. Closing some gaps in the literature, we show that several fundamental problems in this context are NP- and W[1]-hard, and that the known (partially brute-force) algorithms are close to optimality assuming the Exponential Time Hypothesis. Among our main contributions is to settle the complexity status of computing a mean in dynamic time warping spaces which, as pointed out by Brill et al. [DMKD 2019], suffered from many unproven or false assumptions in the literature. We prove this problem to be NP-hard and additionally show that a recent dynamic programming algorithm is essentially optimal. In this context, we study a broad family of circular string alignment problems. This family also serves as a key for our hardness reductions, and it is of independent (practical) interest in molecular biology. In particular, we show tight hardness and running time lower bounds for Circular Consensus String; notably, the corresponding non-circular version is easily linear-time solvable.


title: A quantitative discounted central limit theorem using the Fourier metric

abstract: The discounted central limit theorem concerns the convergence of an infinite discounted sum of i.i.d. random variables to normality as the discount factor approaches $1$. We show that, using the Fourier metric on probability distributions, one can obtain the discounted central limit theorem, as well as a quantitative version of it, in a simple and natural way, and under weak assumptions.


title: Discrete Orthogonal Polynomials with Hypergeometric Weights and Painlev\'e VI

abstract: We investigate the recurrence coefficients of discrete orthogonal polynomials on the non-negative integers with hypergeometric weights and show that they satisfy a system of non-linear difference equations and a non-linear second order differential equation in one of the parameters of the weights. The non-linear difference equations form a pair of discrete Painlev\'e equations and the differential equation is the $\sigma$-form of the sixth Painlev\'e equation. We briefly investigate the asymptotic behavior of the recurrence coefficients as $n\to \infty$ using the discrete Painlev\'e equations.


title: Solving Pooling Problems by LP and SOCP Relaxations and Rescheduling Methods

abstract: The pooling problem is an important industrial problem in the class of network flow problems for allocating gas flow in pipeline transportation networks. For P-formulation of the pooling problem with time discretization, we propose second order cone programming (SOCP) and linear programming (LP) relaxations and prove that they obtain the same optimal value as the semidefinite programming relaxation. The equivalence among the optimal values of the three relaxations is also computationally shown. Moreover, a rescheduling method is proposed to efficiently refine the solution obtained by the SOCP or LP relaxation. The efficiency of the SOCP and the LP relaxation and the proposed rescheduling method is illustrated with numerical results on the test instances from the work of Nishi in 2010, some large instances, and Foulds 3, 4, 5 test problems.


title: PHP-Based Model and Analysis of Millimeter Wave Heterogeneous Cellular Network

abstract: In this paper, a novel Poisson hole process (PHP) modeling of wireless networks is proposed. We consider a more general hole shape, i.e. circular sector holes in a random direction, to capture the spatial separation between tiers in a millimeter wave (mmWave) heterogeneous cellular network (HCN). In this case, small cell BSs (SBSs) and macrocell BSs (MBSs) are distributed as a PHP and Poisson point process (PPP). Due to fundamental propagation differences between mmWave and microwave frequencies, we incorporate blockage and directional beamforming in the network model. Using tools from stochastic geometry, the evaluation of the coverage performance in a two-tier mmWave HCN is provided. Since the exact formulation of distance distribution, association probability and coverage probability based on PHP modeling of SBSs is not known, fairly accurate expressions for them are derived and validated by simulation results. Moreover, some interesting facts about the effect of holes on coverage probability and the relation between proposed hole configuration and prior models with circular holes is discovered. It turns out that the analysis based on the proposed PHP model can provide a more general study than prior works and the proposed approaches are more accurate for two-tier HCNs than independent PPP-based analysis.


title: On the Hamiltonian formulation, integrability and algebraic structures of the Rajeev-Ranken model

abstract: The integrable 1+1-dimensional SU(2) principal chiral model (PCM) serves as a toy-model for 3+1-dimensional Yang-Mills theory as it is asymptotically free and displays a mass gap. Interestingly, the PCM is 'pseudodual' to a scalar field theory introduced by Zakharov and Mikhailov and Nappi that is strongly coupled in the ultraviolet and could serve as a toy-model for non-perturbative properties of theories with a Landau pole. Unlike the 'Euclidean' current algebra of the PCM, its pseudodual is based on a nilpotent current algebra. Recently, Rajeev and Ranken obtained a mechanical reduction by restricting the nilpotent scalar field theory to a class of constant energy-density classical waves expressible in terms of elliptic functions, whose quantization survives the passage to the strong-coupling limit. We study the Hamiltonian and Lagrangian formulations of this model and its classical integrability from an algebraic perspective, identifying Darboux coordinates, Lax pairs, classical r-matrices and a degenerate Poisson pencil. We identify Casimirs as well as a complete set of conserved quantities in involution and the canonical transformations they generate. They are related to Noether charges of the field theory and are shown to be generically independent, implying Liouville integrability. The singular submanifolds where this independence fails are identified and shown to be related to the static and circular submanifolds of the phase space. We also find an interesting relation between this model and the Neumann model allowing us to discover a new Hamiltonian formulation of the latter.


title: Simulating the pericentre passage of the Galactic centre star S2

abstract: The so-called S2 star reached its closest approach to the massive black hole (BH) at around 1500 $R_\mathrm{s}$ in May 2018. It has been proposed that the interaction of its stellar wind with the high-density accretion flow at this distance from Sgr A* will lead to a detectable, month-long X-ray flare. Our goal is to verify whether or not the S2 star wind can be used as a diagnostic tool to infer the properties of the accretion flow towards Sgr A* at its pericentre (an unprobed distance regime), putting important constraints on BH accretion flow models. We run a series of three-dimensional adaptive mesh refinement simulations with the help of the Ramses code which include the realistic treatment of the interaction of S2's stellar wind with the accretion flow along its orbit and - apart from hydrodynamical and thermodynamical effects - include the tidal interaction with the massive BH. These are post-processed to derive the X-ray emission in the observable 2-10 keV window. No significant excess of X-ray emission from Sgr A* is found for typical accretion flow models. A measurable excess is produced for a significantly increased density of the accretion flow. This can, however, be ruled out for standard power-law accretion flow models as in this case the thermal X-ray emission without the S2 wind interaction would already exceed the observed quiescent luminosity. Only a significant change of the wind parameters (increased mass loss rate and decreased wind velocity) might lead to an (marginally) observable X-ray flaring event. Even the detection of an (month-long) X-ray flare during the pericentre passage of the S2 star would not allow for strict constraints to be put on the accretion flow around Sgr A* due to the degeneracy caused by the dependence on multiple parameters (of the accretion flow model as well as the stellar wind).


title: Static density response of one-dimensional soft bosons across the clustering transition

abstract: One-dimensional bosons interacting via a soft-shoulder potential are investigated at zero temperature. The flatness of the potential at short distances introduces a typical length, such that, at relatively high densities and sufficiently strong interactions, clusters are formed, even in the presence of a completely repulsive potential. We evaluate the static density response function of this system across the transition from the liquid to the cluster liquid phases. Such quantity reveals the density modulations induced by a weak periodic external potential, and is maximal at the clustering wavevector. It is known that this response function is proportional to the static structure factor in the classical regime at high temperature, while for this zero-temperature quantum systems, we extract it from the dynamical structure factor evaluated with quantum Monte Carlo methods.


title: Hydrogenated pyrene: Statistical single-carbon loss below the knockout threshold

abstract: An ongoing discussion revolves around the question of what effect hydrogenation has on carbon backbone fragmentation in Polycyclic Aromatic Hydrocarbons (PAHs). In order to shed more light on this issue, we have measured absolute single carbon loss cross sections in collisions between native or hydrogenated pyrene cations (C$_{16}$H$_{10+m}^{+}, m$ = 0, 6, 16) and He as functions of center-of-mass energies all the way down to 20 eV. Classical Molecular Dynamics (MD) simulations give further insight into energy transfer processes and also yield $m$-dependent threshold energies for prompt (femtoseconds) carbon knockout. Such fast, non-statistical fragmentation processes dominate CH$_x$-loss for native pyrene ($m=0$), while much slower statistical fragmentation processes contribute significantly to single-carbon loss for the hydrogenated molecules ($m=6$ and $m=16$). The latter is shown by measurements of large CH$_x$-loss cross sections far below the MD knockout thresholds for C$_{16}$H$_{16}^{+}$ and C$_{16}$H$_{26}^{+}$.


title: Design and commissioning of a 600 L Time Projection Chamber with Microbulk Micromegas

abstract: We report the design, construction, and initial commissioning results of a large high pressure gaseous Time Projection Chamber (TPC) with Micromegas modules for charge readout. The detector vessel has an inner volume of about 600 L and an active volume of 270 L. At 10 bar operating pressure, the active volume contains about 20 kg of xenon gas and can image charged particle tracks. Drift electrons are collected by the charge readout plane, which accommodates a tessellation of seven Micromegas modules. Each of the Micromegas covers a square of 20 cm by 20 cm. A new type of Microbulk Micromegas is chosen for this application due to its good gain uniformity and low radioactive contamination. Initial commissioning results with 1 Micromegas module running with 1 bar argon and isobutane gas mixture and 5 bar xenon and trimethylamine (TMA) gas mixture are reported. We also recorded extended background tracks from cosmic ray events and highlighted the unique tracking feature of this gaseous TPC.


title: Semantic Edge Detection with Diverse Deep Supervision

abstract: Semantic edge detection (SED), which aims at jointly extracting edges as well as their category information, has far-reaching applications in domains such as semantic segmentation, object proposal generation, and object recognition. SED naturally requires achieving two distinct supervision targets: locating fine detailed edges and identifying high-level semantics. Our motivation comes from the hypothesis that such distinct targets prevent state-of-the-art SED methods from effectively using deep supervision to improve results. To this end, we propose a novel fully convolutional neural network using diverse deep supervision (DDS) within a multi-task framework where bottom layers aim at generating category-agnostic edges, while top layers are responsible for the detection of category-aware semantic edges. To overcome the hypothesized supervision challenge, a novel information converter unit is introduced, whose effectiveness has been extensively evaluated on SBD and Cityscapes datasets.


title: Stabilization mechanism of tetragonal structure in hydrothermal synthesized BaTiO$_3$ nanocrystal

abstract: Higher OH concentration is identified in tetragonal barium titanate (BaTiO$_3$) nanorods synthesized by a hydrothermal method with 10 vol% ethylene glycol solvent [Inada, M. $et$ $al$. $Ceram.$ $Int.$ $2015$, $41$, 5581-5587]. This is apparently inconsistent with the known fact that higher OH concentration in the conventional hydrothermal synthesis makes pseudo-cubic BaTiO$_3$ nanocrystals more stable than the tetragonal one. To understand where and how the introduced OH anions are located and behave in the nanocrystals, we applied $ab$ $initio$ analysis to several possible microscopic geometries of OH locations, confirming the relative stability of the tetragonal distortion over the pseudo-cubic one due to the preference of trans-type configurations of OH anions. We also performed FTIR and XRD analysis, all being in consistent with the microscopic picture established by the $ab$ $initio$ geometrical optimizations.


title: Multiband Plasmonic Sierpinski Carpet Fractal Antennas

abstract: Deterministic fractal antennas are employed to realize multimodal plasmonic devices. Such structures show strongly enhanced localized electromagnetic fields typically in the infrared range with a hierarchical spatial distribution. Realization of engineered fractal antennas operating in the optical regime would enable nanoplasmonic platforms for applications, such as energy harvesting, light sensing, and bio/chemical detection. Here, we introduce a novel plasmonic multiband metamaterial based on the Sierpinski carpet (SC) space-filling fractal, having a tunable and polarization-independent optical response, which exhibits multiple resonances from the visible to mid-infrared range. We investigate gold SCs fabricated by electron-beam lithography on CaF$_{2}$ and Si/SiO$_{2}$ substrates. Furthermore, we demonstrate that such resonances originate from diffraction-mediated localized surface plasmons, which can be tailored in deterministic fashion by tuning the shape, size, and position of the fractal elements. Moreover, our findings illustrate that SCs with high order of complexity present a strong and hierarchically distributed electromagnetic near-field of the plasmonic modes. Therefore, engineered plasmonic SCs provide an efficient strategy for the realization of compact active devices with a strong and broadband spectral response in the visible/mid-infrared range. We take advantage of such a technology by carrying out surface enhanced Raman spectroscopy (SERS) on Brilliant Cresyl Blue molecules deposited onto plasmonic SCs. We achieve a broadband SERS enhancement factor up to $10^{4}$, thereby providing a proof-of-concept application for chemical diagnostics.


title: A system architecture for parallel analysis of flux-balanced metabolic pathways

abstract: In this paper, a system architecture is proposed that approximately models the functionality of metabolic networks. The AND/OR graph model is used to represent the metabolic network and each processing element in the system emulates the functionality of a metabolite. The system is implemented on a graphics processing unit (GPU) as the hardware platform using CUDA environment. The proposed architecture takes advantage of the inherent parallelism in the network structure in terms of both pathway and metabolite traversal. The function of each element is defined such that it can find flux-balanced pathways. Pathways in both small and large metabolic networks are applied to the proposed architecture and the results are discussed.


title: Exploring Relations Between BCG \& Cluster Properties in the SPectroscopic IDentification of eROSITA Sources Survey from $0.05 < z < 0.3$

abstract: We present a sample of 329 low to intermediate redshift ($0.05 < z < 0.3$) brightest cluster galaxies (BCGs) in X-ray selected clusters from the SPectroscopic IDentification of eRosita Sources (SPIDERS) survey, a spectroscopic survey within Sloan Digital Sky Survey-IV (SDSS-IV). We define our BCGs by simultaneous consideration of legacy X-ray data from ROSAT, maximum likelihood outputs from an optical cluster-finder algorithm and visual inspection. Using SDSS imaging data, we fit S\'ersic profiles to our BCGs in three bands (\textit{g}, \textit{r}, \textit{i}) with \textsc{SIGMA}, a \textsc{GALFIT}-based software wrapper. We examine the reliability of our fits by running our pipeline on ${\sim}10^{4}$ psf-convolved model profiles injected into 8 random cluster fields, we then use the results of this analysis to create a robust subsample of 198 BCGs. We outline three cluster properties of interest: overall cluster X-ray luminosity ($L_{X}$), cluster richness as estimated by \textsc{redMaPPer} ($ \lambda $) and cluster halo mass ($M_{200}$), which is estimated via velocity dispersion. In general, there are significant correlations with BCG stellar mass between all three environmental properties, but no significant trends arise with either S\'ersic index or effective radius. There is no major environmental dependence on the strength of the relation between effective radius and BCG stellar mass. Stellar mass therefore arises as the most important factor governing BCG morphology. Our results indicate that our sample consists of a large number of relaxed, mature clusters containing broadly homogeneous BCGs up to $z \sim 0.3$, suggesting that there is little evidence for much ongoing structural evolution for BCGs in these systems.


title: A primary insight into the molecular phylogeny of Colias FABRICIUS, 1807 (Pieridae, Coliadinae) complex of South America

abstract: The data on molecular phylogeny of the Colias complex of South America (SA), obtained via barcoding a mitochondrial part of genome, are reported. Barcoding was trialed employing the Barcoding of Life Database platform and comprised 93 specimens of SA Colias sp. plus 2 outgroup specimens (C. philodice guatemalena from North America). It is established that Colias sp. from SA form a single monophyletic clade, characterized by notable interspecific mutational divergences (3.5-4.5%) and moderate intraspecific ones (0.3-0.9%). It also reveals the occurrence of 3 well-established (notably diverged genetically) species (C. dimera, C. vauthierii, and C. alticola, the latter re-raised to sp. level), plus a complex of 3 'emerging' species (C. lesbia, C. euxanthe, and C. flaveola) which are weakly differentiated genetically. Furthermore, it disregards the sp. status of taxa weberbaueri, mossi, nigerrima, erika, blameyi, and mendozina, as certain evidences are being brought to consider them ssp. of a clinal type of super-sp. C. flaveola s. lat. Importantly, the clade formed by SA Colias is found to be sister to the one comprising Colias sp. occurring outside the region (in Eurasia, North America, and Africa). A direct comparison of the results obtained for SA Colias with those for worldwide Colias (GenBank data) leads to the conclusion that these are largely divergent autochtonous subcomplexes, being in fact subgenera s. lat. of genus Colias. The first subgenus comprising all SA Colias sp. and named Aucolias (Austral Colias, or of southern hemisphere stem) is sister to the second one (comprising all Colias sp. from the Old and New Worlds), for which the name Colias (Colias) s. str. is preserved.


title: Single electron transport and possible quantum computing in 2D materials

abstract: Two-dimensional (2D) materials for their versatile band structures and strictly 2D nature have attracted considerable attention over the past decade. Graphene is a robust material for spintronics owing to its weak spin-orbit and hyperfine interactions, while monolayer 2H-transition metal dichalcogenides (TMDs) possess a Zeeman effect-like band splitting in which the spin and valley degrees of freedom are nondegenerate. Monolayer 1T'-TMDs are 2D topological insulators and are expected to host Majorana zero modes when they are placed in contact with S-wave superconductors. Single electron transport as well as the superconductor proximity effect in these materials are viable for use in both conventional quantum computing and fault-torrent topological quantum computing. In this chapter, we review a selection of theoretical and experimental studies addressing the issues mentioned above. We will focus on: (1) the confinement and manipulation of charges in nanostructures fabricated from graphene and 2H-TMDs (2) 2D materials-based Josephson junctions for possible superconducting qubits (3) the quantum spin Hall states in 1T'-TMDs and their topological properties. We aim to outline the current challenges and suggest how future work will be geared towards developing quantum computing devices in 2D materials.


title: Modeling size controlled nanoparticle precipitation with the co-solvency method by spinodal decomposition

abstract: The co-solvency method is a method for the size controlled preparation of nanoparticles like polymersomes, where a poor co-solvent is mixed into a homogeneous copolymer solution to trigger precipitation of the polymer. The size of the resulting particles is determined by the rate of co-solvent addition. We use the Cahn-Hilliard equation with a Flory-Huggins free energy model to describe the precipitation of a polymer under changing solvent quality by applying a time dependent Flory-Huggins interaction parameter. The analysis focuses on the characteristic size R of polymer aggregates that form during the initial spinodal decomposition stage, and especially on how R depends on the rate s of solvent quality change. Both numerical results and a perturbation analysis predict a power law dependence $R \sim s^{-1/6}$, which is in agreement with power laws for the final particle sizes that have been reported from experiments and molecular dynamics simulations. Hence, our model results suggest that the nanoparticle size in size-controlled precipitation is essentially determined during the spinodal decomposition stage.


title: Variational 3D-PIV with Sparse Descriptors

abstract: 3D Particle Imaging Velocimetry (3D-PIV) aim to recover the flow field in a volume of fluid, which has been seeded with tracer particles and observed from multiple camera viewpoints. The first step of 3D-PIV is to reconstruct the 3D locations of the tracer particles from synchronous views of the volume. We propose a new method for iterative particle reconstruction (IPR), in which the locations and intensities of all particles are inferred in one joint energy minimization. The energy function is designed to penalize deviations between the reconstructed 3D particles and the image evidence, while at the same time aiming for a sparse set of particles. We find that the new method, without any post-processing, achieves significantly cleaner particle volumes than a conventional, tomographic MART reconstruction, and can handle a wide range of particle densities. The second step of 3D-PIV is to then recover the dense motion field from two consecutive particle reconstructions. We propose a variational model, which makes it possible to directly include physical properties, such as incompressibility and viscosity, in the estimation of the motion field. To further exploit the sparse nature of the input data, we propose a novel, compact descriptor of the local particle layout. Hence, we avoid the memory-intensive storage of high-resolution intensity volumes. Our framework is generic and allows for a variety of different data costs (correlation measures) and regularizers. We quantitatively evaluate it with both the sum of squared differences (SSD) and the normalized cross-correlation (NCC), respectively with both a hard and a soft version of the incompressibility constraint.


title: Some properties of analytic functions related with Booth lemniscate

abstract: The object of the present paper is to study of two certain subclass of analytic functions related with Booth lemniscate which we denote by $\mathcal{BS}(\alpha)$ and $\mathcal{BK}(\alpha)$. Some properties of these subclasses are considered.


title: New zeta functions of Reidemeister type and twisted Burnside-Frobenius theory

abstract: We introduce new zeta functions related to an endomorphism $\phi$ of a discrete group $\Gamma$. They are of two types: counting numbers of fixed ($\rho\sim \rho\circ\phi^n$) irreducible representations for iterations of $\phi$ from an appropriate dual space of $\Gamma$ and counting Reidemeister numbers $R(\phi^n)$ of different compactifications. Many properties of these functions and their coefficients are obtained. In many cases it is proved that these zeta functions coincide. The Gauss congruences are proved. Useful asymptotic formulas for the zeta functions are found. Rationality is proved for some examples, which give also the first counterexamples simultaneously for TBFT ($R(\phi)$=the number of fixed irreducible unitary representations) and TBFT$_f$ ($R(\phi)$=the number of fixed irreducible unitary finite-dimensional representations) for an automorphism $\phi$ with $R(\phi)<\infty$.


title: Simulating Copolymeric Nanoparticle Assembly in the Co-solvent Method: How Mixing Rates Control Final Particle Sizes and Morphologies

abstract: The self-assembly of copolymeric vesicles and micelles in micromixers is studied by External Potential Dynamics (EPD) simulations -- a dynamic density functional approach that explicitly accounts for the polymer architecture both at the level of thermodynamics and dynamics. Specifically, we focus on the co-solvent method, where nanoparticle precipitation is triggered by mixing a poor co-solvent into a homogeneous copolymer solution in a micromixer. Experimentally, it has been reported that the flow rate in the micromixers influences the size of the resulting particles as well as their morphology: At small flow rates, vesicles dominate; with increasing flow rate, more and more micelles form, and the size of the particles decreases. Our simulation model is based on the assumption that the flow rate mainly sets the rate of mixing of solvent and co-solvent. The simulations reproduce the experimental observations at an almost quantitative level and provide insight into the underlying physical mechanisms: First, they confirm an earlier conjecture according to which the size control takes place in the earliest stage of the particle self-assembly, during the spinodal decomposition of polymers and solvent. Second, they reveal a crossover between different morphological regimes as a function of mixing rate. Hence they demonstrate that varying the mixing rate in a co-solvent setup is an effective way to control two key properties of drug delivery systems, their mean size and their morphology.


title: Searching for Vector-Like Quarks in a Fermionic Dark Matter Model with Pseudoscalar: A Resonance Case

abstract: We propose a minimal model of a fermionic dark matter with a pseudoscalar mediator and N generation of vector-like quarks. We calculate the relic density and obtain new constraint on the generation of the aforementioned quarks. Concerning phenomenological aspects, we probe the presenting model via direct and indirect approaches. Finally, as an illustrative example, we evaluate a resonance case which has been (would be) the subject of major experiments aiming to detect new particles. Performing this analysis results in significant constraints on the coupling strength of the vector-like quarks.


title: Mean Field Electrodynamics: Triumphs and Tribulations

abstract: The theory of mean field electrodynamics, now celebrating its fiftieth birthday, has had a profound influence on our modelling of cosmical dynamos, greatly enhancing our understanding of how such dynamos may operate. Here I discuss some of its undoubted triumphs, but also some of the problems that can arise in a mean field approach to dynamos in fluids (or plasmas) that are both highly turbulent and also extremely good electrical conductors, as found in all astrophysical settings.


title: Energy Management of a Hybrid Photovoltaic-Fuel Cell Grid-Connected Power Plant with Low Voltage Ride-Through Control

abstract: An energy management scheme is presented for a grid-connected hybrid power system comprising of a photovoltaic generator as the primary power source and fuel-cell stacks as backup generation. Power production is managed between the two sources such that a flexible operation is achieved, allowing the hybrid power system to supply a desired power demand by the grid operator. In addition, the energy management algorithm and the control system are designed such that the hybrid power system supports the grid in case of both symmetrical and asymmetrical voltage sags, thus, adding low voltage ride-through capability, a requirement imposed by a number of modern grid codes on distributed generation. During asymmetrical voltage sags, the injected active power is kept constant and grid currents are maintained sinusoidal with low harmonic content without requiring a phase locked loop or positive-negative sequence extraction, hence, lowering the computational complexity and design requirements of the control system. Several test case scenarios are simulated using detailed component models using the SimPowerSystems toolbox of MATLAB/Simulink computing environment to demonstrate effectiveness of the proposed energy management control system under normal operating conditions and voltage sags.


title: On the continuity of the Hausdorff dimension of the univoque set

abstract: In a recent paper [Adv. Math. 305:165--196, 2017], Komornik et al.~proved a long-conjectured formula for the Hausdorff dimension of the set $\mathcal{U}_q$ of numbers having a unique expansion in the (non-integer) base $q$, and showed that this Hausdorff dimension is continuous in $q$. Unfortunately, their proof contained a gap which appears difficult to fix. This article gives a completely different proof of these results, using a more direct combinatorial approach.


title: Superconductivity in REO0.5F0.5BiS2 with high-entropy-alloy-type blocking layers

abstract: We synthesized new REO0.5F0.5BiS2 (RE: rare earth) superconductors with the high-entropy-alloy-type (HEA-type) REO blocking layers. According to the RE concentration and the RE ionic radius, the lattice constant of a systematically changed in the HEA-type samples. A sharp superconducting transition was observed in the resistivity measurements for all the HEA-type samples, and the transition temperature of the HEA-type samples was higher than that of typical REO0.5F0.5BiS2. The sharp superconducting transition and the enhanced superconducting properties of the HEA-type samples may indicate the effectiveness of the HEA states of the REO blocking layers in the REO0.5F0.5BiS2 system.


title: On the noncommutative Bondal-Orlov conjecture for some toric varieties

abstract: We show that all toric noncommutative crepant resolutions (NCCRs) of affine GIT quotients of "weakly symmetric" unimodular torus representations are derived equivalent. This yields evidence for a non-commutative extension of a well known conjecture by Bondal and Orlov stating that all crepant resolutions of a Gorenstein singularity are derived equivalent. We prove our result by showing that all toric NCCRs of the affine GIT quotient are derived equivalent to a fixed Deligne-Mumford GIT quotient stack associated to a generic character of the torus. This extends a result by Halpern-Leistner and Sam which showed that such GIT quotient stacks are a geometric incarnation of a family of specific toric NCCRs constructed earlier by the authors.


title: New disk discovered with VLT/SPHERE around the M star GSC 07396-00759

abstract: Debris disks are usually detected through the infrared excess over the photospheric level of their host star. The most favorable stars for disk detection are those with spectral types between A and K, while the statistics for debris disks detected around low-mass M-type stars is very low, either because they are rare or because they are more difficult to detect. Terrestrial planets, on the other hand, may be common around M-type stars. Here, we report on the discovery of an extended (likely) debris disk around the M-dwarf GSC 07396-00759. The star is a wide companion of the close accreting binary V4046 Sgr. The system probably is a member of the $\beta$ Pictoris Moving Group. We resolve the disk in scattered light, exploiting high-contrast, high-resolution imagery with the two near-infrared subsystems of the VLT/SPHERE instrument, operating in the YJ bands and the H2H3 doublet. The disk is clearly detected up to 1.5" ($\sim110$ au) from the star and appears as a ring, with an inclination $i\sim83$ degree, and a peak density position at $\sim 70$ au. The spatial extension of the disk suggests that the dust dynamics is affected by a strong stellar wind, showing similarities with the AU Mic system that has also been resolved with SPHERE. The images show faint asymmetric structures at the widest separation in the northwest side. We also set an upper limit for the presence of giant planets to $2 M_J$. Finally, we note that the 2 resolved disks around M-type stars of 30 such stars observed with SPHERE are viewed close to edge-on, suggesting that a significant population of debris disks around M dwarfs could remain undetected because of an unfavorable orientation.


title: Self-assembly of polymeric particles in Poiseuille flow: A hybrid Lattice Boltzmann / External Potential Dynamics simulation study

abstract: We present a hybrid simulation method which allows one to study the dynamical evolution of self-assembling (co)polymer solutions in the presence of hydrodynamic interactions. The method combines an established dynamic density functional theory for polymers that accounts for the nonlocal character of chain dynamics at the level of the Rouse model, the external potential dynamics (EPD) model, with an established Navier-Stokes solver, the Lattice Boltzmann (LB) method. We apply the method to study the self-assembly of nanoparticles and vesicles in two-dimensional copolymer solutions in a typical microchannel Poiseuille flow profile. The simulations start from fully mixed systems which are suddenly quenched below the spinodal line. In order to isolate effects caused by walls, we use a reverse Poiseuille flow geometry with periodic boundary conditions. We identify three stages of self assembly, i.e., initial spinodal decomposition, particle nucleation, and particle growth (ripening). We find that (i) In the presence of shear, the nucleation of droplets is delayed by an amount roughly proportional to the shear rate, (ii) Shear flow greatly increases the rates of particle fusions, (iii) in later stages of self-assembly, stronger shear flows may induce irreversible shape transformation {\em via} finger formation, in particular in vesicle systems. The combination of these effects lead to an accumulation of particles close to the center of the Poiseuille flow profile, and the polymeric matter has a double peak distribution centered around the flow maximum.


title: Policy Gradient With Value Function Approximation For Collective Multiagent Planning

abstract: Decentralized (PO)MDPs provide an expressive framework for sequential decision making in a multiagent system. Given their computational complexity, recent research has focused on tractable yet practical subclasses of Dec-POMDPs. We address such a subclass called CDEC-POMDP where the collective behavior of a population of agents affects the joint-reward and environment dynamics. Our main contribution is an actor-critic (AC) reinforcement learning method for optimizing CDEC-POMDP policies. Vanilla AC has slow convergence for larger problems. To address this, we show how a particular decomposition of the approximate action-value function over agents leads to effective updates, and also derive a new way to train the critic based on local reward signals. Comparisons on a synthetic benchmark and a real-world taxi fleet optimization problem show that our new AC approach provides better quality solutions than previous best approaches.


title: Visual detection of time-varying signals: opposing biases and their timescales

abstract: Human visual perception is a complex, dynamic and fluctuating process. In addition to the incoming visual stimulus, it is affected by many other factors including temporal context, both external and internal to the observer. In this study we investigate the dynamic properties of psychophysical responses to a continuous stream of visual near-threshold detection tasks. We manipulate the incoming signals to have temporal structures with various characteristic timescales. Responses of human observers to these signals are analyzed using tools that highlight their dynamical features as well. We find that two opposing biases shape perception, and operate over distinct timescales. Positive recency appears over short times, e.g. consecutive trials. Adaptation, entailing an increased probability of changed response, reflects trends over longer times. Analysis of psychometric curves conditioned on various temporal events reveals that the balance between the two biases can shift depending on their interplay with the temporal properties of the input signal. A simple mathematical model reproduces the experimental data in all stimulus regimes. Taken together, our results support the view that visual response fluctuations reflect complex internal dynamics, possibly related to higher cognitive processes.


title: Spinor Calculus in Particle Physics

abstract: Methods of spinor calculus in particle physics are described in this series of four chapters written in french. A special emphasis is made on the well-known helicity-coupling scheme which is the guiding thread of all these methods. Numerous explicit formulas are given for projectors onto two-particles helicity states as well as for bilinears of Dirac spinors, for the s and t channels of a given two-body process involving spin 1/2 particles. In the last chapter, applications to various elementary processes are given.


title: Some Reduction Operations to Pairwise Compatibility Graphs

abstract: A graph $G=(V,E)$ with a vertex set $V$ and an edge set $E$ is called a pairwise compatibility graph (PCG, for short) if there are a tree $T$ whose leaf set is $V$, a non-negative edge weight $w$ in $T$, and two non-negative reals $d_{\min}\leq d_{\max}$ such that $G$ has an edge $uv\in E$ if and only if the distance between $u$ and $v$ in the weighted tree $(T,w)$ is in the interval $[d_{\min}, d_{\max}]$. PCG is a new graph class motivated from bioinformatics. In this paper, we give some necessary and sufficient conditions for PCG based on cut-vertices and twins, which provide reductions among PCGs. Our results imply that complete $k$-partite graph, cactus, and some other graph classes are subsets of PCG.


title: Systematically Monitoring Social Media: The case of the German federal election 2017

abstract: It is a considerable task to collect digital trace data at a large scale and at the same time adhere to established academic standards. In the context of political communication, important challenges are (1) defining the social media accounts and posts relevant to the campaign (content validity), (2) operationalizing the venues where relevant social media activity takes place (construct validity), (3) capturing all of the relevant social media activity (reliability), and (4) sharing as much data as possible for reuse and replication (objectivity). This project by GESIS - Leibniz Institute for the Social Sciences and the E-Democracy Program of the University of Koblenz-Landau conducted such an effort. We concentrated on the two social media networks of most political relevance, Facebook and Twitter.


title: Study of neutron shielding collimators for curved beamlines at the European Spallation Source

abstract: The European Spallation Source is being constructed in Lund, Sweden and is planned to be the world's brightest pulsed spallation neutron source for cold and thermal neutron beams ($\le$ 1 eV). The facility uses a 2 GeV proton beam to produce neutrons from a tungsten target. The neutrons are then moderated in a moderator assembly consisting of both liquid hydrogen and water compartments. Surrounding the moderator are 22 beamports, which view the moderator's outside surfaces. The beamports are connected to long neutron guides that transport the moderated neutrons to the sample position via reflections. As well as the desired moderated neutrons, fast neutrons coming directly from the target can find their way down the beamlines. These can create unwanted sources of background for the instruments. To mitigate such a kind of background, several instruments will use curved guides to lose direct line-of-sight (LoS) to the moderator and the target. In addition instruments can also use shielding collimators to reduce the amount of fast neutrons further traveling down the guide due to albedo reflections or streaming. Several different materials have been proposed for this purpose. We present the results of a study of different options for collimators and identify the optimal choices that balance cost, background and activation levels.


title: How a minimal surface leaves a thin obstacle

abstract: We prove optimal regularity and a detailed analysis of the free boundary of the solutions to the thin obstacle problem for nonparametric minimal surfaces with flat obstacles.


title: Variable Cutoff Frequency FIR Filters: A Survey

abstract: Many signal processing applications require digital filters with variable frequency characteristics, especially the filters with variable bandwidth. Due to their linear phase and inherent stability, variable bandwidth finite impulse response (FIR) filters are the popular choice in majority of the applications. Once a variable cutoff frequency (VCF) FIR lowpass filter is designed, variable bandwidth bandpass / highpass / bandstop filters and reconfigurable filter banks can be realized from the same. In this paper, we present a comprehensive review of the existing variable cutoff frequency FIR filter design techniques, including the developments in the recent two decades. We provide the basic concepts, design and architectural details for each of these techniques and the major developments / incremental works thereof. Qualitative as well as quantitative comparisons are provided to assist the reader in choosing the most suitable VCF filter design technique for a particular application.


title: Saturn's formation and early evolution at the origin of Jupiter's massive moons

abstract: The four massive Galilean satellites are believed to have formed within a circumplanetary disk during the last stages of Jupiter's formation. While the existence of a circum-jovian disk is supported by hydrodynamic simulations, no consensus exists regarding the origin and delivery mechanisms of the building blocks of the forming satellites. The opening of a gap in the circumsolar disk would have efficiently isolated Jupiter from the main sources of solid material. However, a reservoir of planetesimals should have existed at the outer edge of Jupiter's gap, where solids were trapped and accumulated over time. Here we show that the formation of Saturn's core within this reservoir, or its prompt inward migration, allows planetesimals to be redistributed from this reservoir towards Jupiter and the inner Solar System, thereby providing enough material to form the Galilean satellites and to populate the Main Belt with primitive asteroids. We find that the orbit of planetesimals captured within the circumjovian disk are circularized through friction with gas in a compact system comparable to the current radial extent of the Galilean satellites. The decisive role of Saturn in the delivery mechanism has strong implications for the occurrence of massive moons around extrasolar giant planets as they would preferentially form around planets within multiple planet systems.


title: Nanoscale spin manipulation with pulsed magnetic gradient fields from a hard disc drive writer

abstract: The individual and coherent control of solid-state based electron spins is important covering fields from quantum information processing and quantum metrology to material research and medical imaging. Especially for the control of individual spins in nanoscale networks, the generation of strong, fast and localized magnetic fields is crucial. Highly-engineered devices that demonstrate most of the desired features are found in nanometer size magnetic writers of hard disk drives (HDD). Currently, however, their nanoscale operation, in particular, comes at the cost of excessive magnetic noise. Here, we present HDD writers as a tool for the efficient manipulation of single as well as multiple spins. We show that their tunable gradients of up to 100 {\mu}T/nm can be used to spectrally address individual spins on the nanoscale. Their GHz Bandwidth allows to switch control fields within nanoseconds, faster than characteristic timescales such as Rabi and Larmor periods, spin-spin couplings or optical transitions, thus extending the set of feasible spin manipulations. We used the fields to drive spin transitions through non-adiabatic fast passages or enable the optical readout of spin states in strong misaligned fields. Building on these techniques, we further apply the large magnetic field gradients for microwave selective addressing of single spins and show its use for the nanoscale optical colocalization of two emitters.


title: Approximation of maximal plurisubharmonic functions

abstract: Let $u$ be a maximal plurisubharmonic function in a domain $\Omega\subset\mathbb{C}^n$ ($n\geq 2$). It is classical that, for any $U\Subset\Omega$, there exists a sequence of bounded plurisubharmonic functions $PSH(U)\ni u_j\searrow u$ satisfying the property: $(dd^c u_j)^n$ is weakly convergent to $0$ as $j\rightarrow\infty$. In general, this property does not hold for arbitrary sequence. In this paper, we show that for any sequence of bounded plurisubharmonic functions $PSH(U)\ni u_j\searrow u$, $(|u_j|+1)^{-a} (dd^cu_j)^n$ is weakly convergent to $0$ as $j\rightarrow\infty$, where $a>n-1$. We also generalize some well-known results about approximation of maximal plurisubharmonic functions.


title: Characterizing Star-PCGs

abstract: A graph $G$ is called a pairwise compatibility graph (PCG, for short) if it admits a tuple $(T,w, d_{\min},d_{\max})$ of a tree $T$ whose leaf set is equal to the vertex set of $G$, a non-negative edge weight $w$, and two non-negative reals $d_{\min}\leq d_{\max}$ such that $G$ has an edge between two vertices $u,v\in V$ if and only if the distance between the two leaves $u$ and $v$ in the weighted tree $(T,w)$ is in the interval $[d_{\min}, d_{\max}]$. The tree $T$ is also called a witness tree of the PCG $G$. The problem of testing if a given graph is a PCG is not known to be NP-hard yet. To obtain a complete characterization of PCGs is a wide open problem in computational biology and graph theory. In literature, most witness trees admitted by known PCGs are stars and caterpillars. In this paper, we give a complete characterization for a graph to be a star-PCG (a PCG that admits a star as its witness tree), which provides us the first polynomial-time algorithm for recognizing star-PCGs.


title: Ab initio study of energetics and structures of heterophase interfaces: from coherent to semicoherent interfaces

abstract: Density functional theory calculations have been performed to study the structures and energetics of coherent and semicoherent TiC/Fe interfaces. A systematic method for determining the interfacial energy for the semicoherent interface with misfit dislocation network has been developed. The obtained interfacial energies are used to calculate the aspect ratios for the disc-like precipitates and a quantitative agreement with the experimental results is reached. Based on the obtained interfacial energies and atomic structure details, we propose models for describing the evolution of the interfacial energy with respect to the size of TiC precipitate for heterogeneous nucleation on an edge dislocation, shedding light on the thermodynamics of precipitate nucleation and growth. The present method can be easily applied to any heterophase interfaces between metals and oxides/carbides/nitrides.


title: Gasper's determinant theorem, revisited

abstract: Let $n \ge 2$ be a natural number, $M$ a real $n \times n$ matrix, $s$ the sum of the entries of $M$ and $q$ the sum of their squares. With $\alpha := s/n$ and $\beta := q/n$, Gasper's determinant bound says that $ |\det M| \le \beta^{n/2}$, and in case of $\alpha^2 \ge \beta$: $$|\det M| \le |\alpha| \left(\frac{n\beta-\alpha^2}{n-1}\right)^{\frac{n-1}2}$$ This article gives a corrected proof of Gasper's theorem and lists some more applications.


title: Influence of crystal structure on charge carrier effective masses in BiFeO$_3$

abstract: Ferroelectric-based photovoltaics have shown great promise as a source of renewable energy, thanks to their in-built charge separation capability, yet their efficiency is often limited by low charge carrier mobilities. In this work, we compare the photovoltaic prospects of various phases of the multiferroic material BiFeO$_3$ by evaluating their charge carrier effective masses using first-principles simulations. We identify a tetragonal phase with the promising combination of a large spontaneous polarisation and relatively light charge carriers. From a systematic study of the octahedral distortions present in BiFeO$_3$, we explain the relationship between structure and effective masses in terms of the changes to the orbital character and overlap at the band edges that result from changes in the geometry. The findings in this study provide some design principles to engineer desired effective masses in BiFeO$_3$ and similar materials through manipulation of their crystal structures in experimentally accessible ways.


title: Topology, isomorphic smoothness and polyhedrality in Banach spaces

abstract: In recent decades, topology has come to play an increasing role in some geometric aspects of Banach space theory. The class of so-called $w^*$-locally relatively compact sets was introduced recently by Fonf, Pallares, Troyanski and the author, and were found to be a useful topological tool in the theory of isomorphic smoothness and polyhedrality in Banach spaces. We develop the topological theory of these sets and present some Banach space applications.


title: A Fully Progressive Approach to Single-Image Super-Resolution

abstract: Recent deep learning approaches to single image super-resolution have achieved impressive results in terms of traditional error measures and perceptual quality. However, in each case it remains challenging to achieve high quality results for large upsampling factors. To this end, we propose a method (ProSR) that is progressive both in architecture and training: the network upsamples an image in intermediate steps, while the learning process is organized from easy to hard, as is done in curriculum learning. To obtain more photorealistic results, we design a generative adversarial network (GAN), named ProGanSR, that follows the same progressive multi-scale design principle. This not only allows to scale well to high upsampling factors (e.g., 8x) but constitutes a principled multi-scale approach that increases the reconstruction quality for all upsampling factors simultaneously. In particular ProSR ranks 2nd in terms of SSIM and 4th in terms of PSNR in the NTIRE2018 SISR challenge [34]. Compared to the top-ranking team, our model is marginally lower, but runs 5 times faster.


title: Genuine multipartite nonlocality in the one-dimensional ferromagnetic spin-1/2 chain

abstract: Genuine multipartite entanglement has been found in some spin chain systems. However, genuine multipartite nonlocality, which is much rarer than genuine multipartite entanglement, has never been found in any spin chain system. Here we present genuine multipartite nonlocality in a spin chain system. After introducing the definition of genuine multipartite nonlocality and a multipartite Bell-type inequality, we construct a group of joint measurements for the inequality in a one-dimensional ferromagnetic $N$-qubit chain with nearest-neighbor XXZ interaction, and many violations to the inequality have been found. The violations do indicate that genuine multipartite nonlocality exists in this ferromagnetic spin-1/2 chain system. Last but not least, we also calculate genuine multipartite entanglement concurrence in the same spin chain to demonstrate the difference and relationship between genuine multipartite nonlocality and genuine multipartite entanglement.


title: Gravitational collapse of thin shell of dust in shape dynamics

abstract: We studied the gravitational collapse of a shell of dust in shape dynamics. We found out static and oscillatory solutions. In the large momentum limit we found out that the shell never reaches the singularity when the momentum of the shell is much larger than the mass of the shell in magnitude. The shell does not reach to the origin in a finite amount of time however when the momentum of the shell becomes comparable to minus the mass of shell, the large momentum approximation breaks down. Therefore more detailed future works hopefully may be able to answer the question of singularity formation in this setup.


title: Do Android Taint Analysis Tools Keep Their Promises?

abstract: In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim at providing a thorough empirical evaluation, comparability is hindered by varying or unclear evaluation targets. Sometimes, the apps used for evaluation are not precisely described. In other cases, authors use an established benchmark but cover it only partially. In yet other cases, the evaluations differ in terms of the data leaks searched for, or lack a ground truth to compare against. All those limitations make it impossible to truly compare the tools based on those published evaluations. We thus present ReproDroid, a framework allowing the accurate comparison of Android taint analysis tools. ReproDroid supports researchers in inferring the ground truth for data leaks in apps, in automatically applying tools to benchmarks, and in evaluating the obtained results. We use ReproDroid to comparatively evaluate on equal grounds the six prominent taint analysis tools Amandroid, DIALDroid, DidFail, DroidSafe, FlowDroid and IccTA. The results are largely positive although four tools violate some promises concerning features and accuracy. Finally, we contribute to the area of unbiased benchmarking with a new and improved version of the open test suite DroidBench.


title: SideRand: A Heuristic and Prototype of a Side-Channel-Based Cryptographically Secure Random Seeder Designed to Be Platform- and Architecture-Agnostic

abstract: Generating secure random numbers is vital to the security and privacy infrastructures we rely on today. Having a computer system generate a secure random number is not a trivial problem due to the deterministic nature of computer systems. Servers commonly deal with this problem through hardware-based random number generators, which can come in the form of expansion cards, dongles, or integrated into the CPU itself. With the explosion of network- and internet-connected devices, however, the problem of cryptography is no longer a server-centric problem; even small devices need a reliable source of randomness for cryptographic operations - for example, network devices and appliances like routers, switches and access points, as well as various Internet-of-Things (IoT) devices for security and remote management. This paper proposes a software solution based on side-channel measurements as a source of high-quality entropy (nicknamed "SideRand"), that can theoretically be applied to most platforms (large servers, appliances, even maker boards like RaspberryPi or Arduino), and generates a seed for a regular CSPRNG to enable proper cryptographic operations for security and privacy. This paper also proposes two criteria - openness and auditability - as essential requirements for confidence in any random generator for cryptographic use, and discusses how SideRand meets the two criteria (and how most hardware devices do not).


title: Invariant measures of disagreement with stochastic dominance

abstract: An essential feature of stochastic order is its invariance against increasing maps. In this paper, we analyze a family of invariant indices of disagreement with respect to stochastic dominance. The indices in this family admit the representation $\theta(F,G)=P(X>Y)$, where $(X,Y)$ is a random vector with marginal distribution functions $F$ and $G$. This includes the case of independent marginals, but also other interesting indices related to a contamination model or to a joint quantile representation. For some choices of $\theta$ the condition $\theta(F,G)=0$ is equivalent to stochastic dominance of $G$ over $F$. We show that the index associated to the contamination model achieves the minimal value within this family. The plug-in sample-based versions of these indices lead to the Mann-Whitney, the one-sided Kolmogorov-Smirnov, and the Galton statistics. For some of the most interesting indices this fact provides sufficient theoretical support for asymptotic inference. However, this is not the case for Galton's statistic, for which we provide additional theory for its resampling behaviour. We stress on the complementary roles of some of these indices, which beyond measuring disagreement with respect to stochastic order allow to describe the maximum possible difference in status of a value $x\in \mathbb{R}$ under $F$ or $G$. We apply these indices to some real data sets.


title: From Regular Expression Matching to Parsing

abstract: Given a regular expression $R$ and a string $Q$, the regular expression parsing problem is to determine if $Q$ matches $R$ and if so, determine how it matches, e.g., by a mapping of the characters of $Q$ to the characters in $R$. Regular expression parsing makes finding matches of a regular expression even more useful by allowing us to directly extract subpatterns of the match, e.g., for extracting IP-addresses from internet traffic analysis or extracting subparts of genomes from genetic data bases. We present a new general techniques for efficiently converting a large class of algorithms that determine if a string $Q$ matches regular expression $R$ into algorithms that can construct a corresponding mapping. As a consequence, we obtain the first efficient linear space solutions for regular expression parsing.


title: On the spherical quasi-convexity of quadratic functions

abstract: In this paper the spherical quasi-convexity of quadratic functions on spherically convex sets is studied. Several conditions characterizing the spherical quasi-convexity of quadratic functions are presented. In particular, conditions implying spherical quasi-convexity of quadratic functions on the spherical positive orthant are given. Some examples are provided as an application of the obtained results.


title: QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property

abstract: The QRAT (quantified resolution asymmetric tautology) proof system simulates virtually all inference rules applied in state of the art quantified Boolean formula (QBF) reasoning tools. It consists of rules to rewrite a QBF by adding and deleting clauses and universal literals that have a certain redundancy property. To check for this redundancy property in QRAT, propositional unit propagation (UP) is applied to the quantifier free, i.e., propositional part of the QBF. We generalize the redundancy property in the QRAT system by QBF specific UP (QUP). QUP extends UP by the universal reduction operation to eliminate universal literals from clauses. We apply QUP to an abstraction of the QBF where certain universal quantifiers are converted into existential ones. This way, we obtain a generalization of QRAT we call QRAT+. The redundancy property in QRAT+ based on QUP is more powerful than the one in QRAT based on UP. We report on proof theoretical improvements and experimental results to illustrate the benefits of QRAT+ for QBF preprocessing.


title: Dust scattering halo of 4U 1630-47 observed with Chandra and Swift: New constraints on the source distance

abstract: We have observed the Galactic black hole transient 4U 1630-47 during the decay of its 2016 outburst with Chandra and Swift to investigate the properties of the dust scattering halo created by the source. The scattering halo shows a structure that includes a bright ring between 80" and 240" surrounding the source, and a continuous distribution beyond 250". An analysis of the $^{12}$CO $J=1-0$ map and spectrum in the line of sight to the source indicate that a molecular cloud with a radial velocity of -79 km s$^{-1}$ (denoted MC -79) is the main scattering body that creates the bright ring. We found additional clouds in the line of sight, calculated their kinematic distances and resolved the well known "near" and "far" distance ambiguity for most of the clouds. At the favored far distance estimate of MC -79, the modeling of the surface brightness profile results in a distance to 4U 1630-47 of 11.5 $\pm$ 0.3 kpc. If MC -79 is at the near distance, then 4U 1630-47 is at 4.7 $\pm$ 0.3 kpc. Future Chandra, Swift, and sub-mm radio observations not only can resolve this ambiguity, but also would provide information regarding properties of dust and distribution of all molecular clouds along the line of sight. Using the results of this study we also discuss the nature of this source and the reasons for the anomalously low soft state observation observed during the 2010 decay.


title: Correlations and the ridge in the Color Glass Condensate beyond the glasma graph approximation

abstract: We consider two-gluon production in dilute-dense collisions within the Color Glass Condensate framework, applicable to both proton-nucleus and heavy-light ion collisions. We go beyond the glasma graph approximation which is valid in the dilute-dilute limit and show the correspondence between the glasma graphs and the $k_T$-factorized approach that we use in our calculation. We then identify the classical uncorrelated, and the Hanbury-Brown-Twiss (HBT) and Bose enhancement correlated contributions, with the Bose enhancement contribution being suppressed by the number of degrees of freedom with respect to the uncorrelated piece. We show that both the HBT and the Bose enhancement pieces survive the inclusion of higher order contributions in density and that they stem from the quadrupole piece of the two-gluon inclusive cross section. Finally, we illustrate the results using a toy model that allows a simple numerical implementation.


title: Tidal Disruption of Inclined or Eccentric Binaries by Massive Black Holes

abstract: Binary stars that are on close orbits around massive black holes (MBH) such as Sgr A* in the center of the Milky Way are liable to undergo tidal disruption and eject a hypervelocity star. We study the interaction between such a MBH and circular binaries for general binary orientations and penetration depths (i.e. binaries penetrate into the tidal radius around the BH). We show that for very deep penetrators, all binaries are disrupted when the binary rotation axis is roughly oriented toward the BH or it is in the opposite direction. The surviving chance becomes significant when the angle between the binary rotation axis and the BH direction is between \pi /4 and 3 \pi /4. The surviving chance is as high as $\sim$ 20$\%$ when the binary rotation axis is perpendicular to the BH direction. The angular dependence is opposite for very shallow penetrators where coplanar prograde orbits have the lowest surviving chance (or equivalently most vulnerable). We provide numerical fits to the disruption probability and energy gain at the the BH encounter as a function of the penetration depth. The latter can be simply rescaled in terms of binary masses, their initial separation and the binary-to-BH mass ratio to evaluate the ejection velocity of a binary members in various systems. We also investigate the disruption of coplanar, eccentric binaries by a MBH. It is shown that for highly eccentric binaries retrograde orbits have a significantly increased disruption probability and ejection velocities compared to the circular binaries.


title: Factorisation of quasi K-matrices for quantum symmetric pairs

abstract: The theory of quantum symmetric pairs provides a universal K-matrix which is an analogue of the universal R-matrix for quantum groups. The main ingredient in the construction of the universal K-matrix is a quasi K-matrix which has so far only been constructed recursively. In this paper we restrict to the cases where the underlying Lie algebra is sl(n) or the Satake diagram has no black dots. In these cases we give an explicit formula for the quasi K-matrix as a product of quasi K-matrices for Satake diagrams of rank one. This factorisation depends on the restricted Weyl group of the underlying symmetric Lie algebra in the same way as the factorisation of the quasi R-matrix depends on the Weyl group of the Lie algebra. We conjecture that our formula holds in general.


title: Bringing Alive Blurred Moments

abstract: We present a solution for the goal of extracting a video from a single motion blurred image to sequentially reconstruct the clear views of a scene as beheld by the camera during the time of exposure. We first learn motion representation from sharp videos in an unsupervised manner through training of a convolutional recurrent video autoencoder network that performs a surrogate task of video reconstruction. Once trained, it is employed for guided training of a motion encoder for blurred images. This network extracts embedded motion information from the blurred image to generate a sharp video in conjunction with the trained recurrent video decoder. As an intermediate step, we also design an efficient architecture that enables real-time single image deblurring and outperforms competing methods across all factors: accuracy, speed, and compactness. Experiments on real scenes and standard datasets demonstrate the superiority of our framework over the state-of-the-art and its ability to generate a plausible sequence of temporally consistent sharp frames.


title: Sgr A$^*$ envelope explosion and the young stars in the centre of the Milky Way

abstract: Sgr A$^*$ is the super massive black hole residing in the centre of the Milky Way. There is plenty of observational evidence that a massive gas cloud fell into the central parsec of the Milky Way $\sim 6$ million years ago, triggering formation of a disc of young stars and activating Sgr A$^*$. In addition to the disc, there is an unexplained population of young stars on randomly oriented orbits. Here we hypothesize that these young stars were formed by fragmentation of a massive quasi-spherical gas shell driven out from Sgr A$^*$ potential well by an energetic outflow. To account for the properties of the observed stars, the shell must be more massive than $10^5$ Solar masses, be launched from inside $\sim 0.01$~pc, and the feedback outflow has to be highly super-Eddington albeit for a brief period of time, producing kinetic energy of at least $10^{55}$~erg. The young stars in the central parsec of the Galaxy may be a unique example of stars formed from atomic rather than molecular hydrogen, and forged by extreme pressure of black hole outflows.


title: AutoRVO: Local Navigation with Dynamic Constraints in Dense Heterogeneous Traffic

abstract: We present a novel algorithm for computing collision-free navigation for heterogeneous road-agents such as cars, tricycles, bicycles, and pedestrians in dense traffic. Our approach currently assumes the positions, shapes, and velocities of all vehicles and pedestrians are known and computes smooth trajectories for each agent by taking into account the dynamic constraints. We describe an efficient optimization-based algorithm for each road-agent based on reciprocal velocity obstacles that takes into account kinematic and dynamic constraints. Our algorithm uses tight fitting shape representations based on medial axis to compute collision-free trajectories in dense traffic situations. We evaluate the performance of our algorithm in real-world dense traffic scenarios and highlight the benefits over prior reciprocal collision avoidance schemes.


title: Bounds for Energy-Efficient Survivable IP Over WDM Networks With Network Coding

abstract: In this work, we establish analytic bounds for the energy efficiency of 1 + 1 survivable IP over WDM networks using network coding. The analytic bounds are shown to be in close agreement with our previously reported results. They provide verification of the MILP and heuristics proposed previously, in addition to an efficient, compact means to evaluate network results and allow the performance of large networks to be determined easily.


title: Sublinear-Time Quantum Computation of the Diameter in CONGEST Networks

abstract: The computation of the diameter is one of the most central problems in distributed computation. In the standard CONGEST model, in which two adjacent nodes can exchange $O(\log n)$ bits per round (here $n$ denotes the number of nodes of the network), it is known that exact computation of the diameter requires $\tilde \Omega(n)$ rounds, even in networks with constant diameter. In this paper we investigate quantum distributed algorithms for this problem in the quantum CONGEST model, where two adjacent nodes can exchange $O(\log n)$ quantum bits per round. Our main result is a $\tilde O(\sqrt{nD})$-round quantum distributed algorithm for exact diameter computation, where $D$ denotes the diameter. This shows a separation between the computational power of quantum and classical algorithms in the CONGEST model. We also show an unconditional lower bound $\tilde \Omega(\sqrt{n})$ on the round complexity of any quantum algorithm computing the diameter, and furthermore show a tight lower bound $\tilde \Omega(\sqrt{nD})$ for any distributed quantum algorithm in which each node can use only $\textrm{poly}(\log n)$ quantum bits of memory.


title: Polyphonic Pitch Tracking with Deep Layered Learning

abstract: This paper presents a polyphonic pitch tracking system able to extract both framewise and note-based estimates from audio. The system uses several artificial neural networks in a deep layered learning setup. First, cascading networks are applied to a spectrogram for framewise fundamental frequency (f0) estimation. A sparse receptive field is learned by the first network and then used as a filter kernel for parameter sharing throughout the system. The f0 activations are connected across time to extract pitch contours. These contours define a framework within which subsequent networks perform onset and offset detection, operating across both time and smaller pitch fluctuations at the same time. As input, the networks use, e.g., variations of latent representations from the f0 estimation network. Finally, incorrect tentative notes are removed one by one in an iterative procedure that allows a network to classify notes within an accurate context. The system was evaluated on four public test sets: MAPS, Bach10, TRIOS, and the MIREX Woodwind quintet, and performed state-of-the-art results for all four datasets. It performs well across all subtasks: f0, pitched onset, and pitched offset tracking.


title: Self-diffusion in single-component Yukawa fluids

abstract: It was suggested in the literature that the self-diffusion coefficient of simple fluids can be approximated as a ratio of the squared thermal velocity of the atoms to the "fluid Einstein frequency," which can thus serve as a rough estimate of the friction (momentum transfer) rate in the dense fluid phase. In this article we test this suggestion using a single-component Yukawa fluid as a reference system. The available simulation data on self-diffusion in Yukawa fluids, complemented with new data for Yukawa melts (Yukawa fluids near the freezing phase transition), are carefully analyzed. It is shown that although not exact, this earlier suggestion nevertheless provides a very sensible way of normalization of the self-diffusion constant. Additionally, we demonstrate that certain quantitative properties of self-diffusion in Yukawa melts are also shared by systems like one-component plasma and liquid metals at freezing, providing support to an emerging dynamical freezing indicator for simple soft matter systems. The obtained results are also briefly discussed in the context of the theory of momentum transfer in complex (dusty) plasmas.


title: Systematically extending classical nucleation theory

abstract: The foundation for any discussion of first-order phse transitions is Classical Nucleation Theory(CNT). CNT, developed in the first half of the twentieth century, is based on a number of heuristically plausible assumtptions and the majority of theoretical work on nucleation is devoted to refining or extending these ideas. Ideally, one would like to derive CNT from a more fundamental description of nucleation so that its extension, development and refinement could be developed systematically. In this paper, such a development is described based on a previously established (Lutsko, JCP 136:034509, 2012 ) connection between Classical Nucleation Theory and fluctuating hydrodynamics. Here, this connection is described without the need for artificial assumtions such as spherical symmetry. The results are illustrated by application to CNT with moving clusters (a long-standing problem in the literature) and the constructrion of CNT for ellipsoidal clusters.


title: Distributional Regression Forests for Probabilistic Precipitation Forecasting in Complex Terrain

abstract: To obtain a probabilistic model for a dependent variable based on some set of explanatory variables, a distributional approach is often adopted where the parameters of the distribution are linked to regressors. In many classical models this only captures the location of the distribution but over the last decade there has been increasing interest in distributional regression approaches modeling all parameters including location, scale, and shape. Notably, so-called non-homogeneous Gaussian regression (NGR) models both mean and variance of a Gaussian response and is particularly popular in weather forecasting. Moreover, generalized additive models for location, scale, and shape (GAMLSS) provide a framework where each distribution parameter is modeled separately capturing smooth linear or nonlinear effects. However, when variable selection is required and/or there are non-smooth dependencies or interactions (especially unknown or of high-order), it is challenging to establish a good GAMLSS. A natural alternative in these situations would be the application of regression trees or random forests but, so far, no general distributional framework is available for these. Therefore, a framework for distributional regression trees and forests is proposed that blends regression trees and random forests with classical distributions from the GAMLSS framework as well as their censored or truncated counterparts. To illustrate these novel approaches in practice, they are employed to obtain probabilistic precipitation forecasts at numerous sites in a mountainous region based on a large number of numerical weather prediction quantities. It is shown that the novel distributional regression forests automatically select variables and interactions, performing on par or often even better than GAMLSS specified either through prior meteorological knowledge or a computationally more demanding boosting approach.


title: Reductions of non-lc ideals and non $F$-pure ideals assuming weak ordinarity

abstract: Assume $X$ is a variety over $\mathbb{C}$, $A \subseteq \mathbb{C}$ is a finitely generated $\mathbb{Z}$-algebra and $X_A$ a model of $X$ (i.e. $X_A \times_A \mathbb{C} \cong X$). Assuming the weak ordinarity conjecture we show that there is a dense set $S \subseteq \text{Spec } A$ such that for every closed point $s$ of $S$ the reduction of the maximal non-lc ideal filtration $\mathcal{J}'(X, \Delta, \mathfrak{a}^\lambda)$ coincides with the non-$F$-pure ideal filtration $\sigma(X_s, \Delta_s, \mathfrak{a}_s^\lambda)$ provided that $(X, \Delta)$ is klt or if $(X, \Delta)$ is log canonical, $\mathfrak{a}$ is principal and the non-klt locus is contained in $\mathfrak{a}$.


title: Partial synchronization of relaxation oscillators with repulsive coupling in autocatalytic integrate-and-fire model and electrochemical experiments

abstract: Experiments and supporting theoretical analysis is presented to describe the synchronization patterns that can be observed with a population of globally coupled electrochemical oscillators close to a homoclinic, saddle-loop bifurcation, where the coupling is repulsive in the electrode potential. While attractive coupling generates phase clusters and desynchronized states, repulsive coupling results in synchronized oscillations. The experiments are interpreted with a phenomenological model that captures the waveform of the oscillations (exponential increase) followed by a refractory period. The globally coupled autocatalytic integrate-and-fire model predicts the development of partially synchronized states that occur through attracting heteroclinic cycles between out-of-phase two-cluster states. Similar behavior can be expected in many other systems where the oscillations occur close to a saddle-loop bifurcation, e.g., with Morris-Lecar neurons.


title: Cube sums of form $3p$ and $3p^2$

abstract: Let $p\equiv 2,5\mod 9$ be an odd prime. In this paper, we prove that at least one of $3p$ and $3p^2$ is a cube sum by constructing certain nontrivial Heegner points. We also establish the explicit Gross-Zagier formulae for these Heegner points and give variants of the Birch and Swinnerton-Dyer conjecture of the related elliptic curves.


title: Cycle period, differential rotation and meridional flow for early M dwarf stars

abstract: Recent observations suggest the existence of two characteristic cycle times for early-type M stars dependent on the rotation period. They are of order one year for the fast rotators ($P_{\rm rot}<1$ day) and of order 4 years for the slower rotators. Additionally, the equator-to-pole differences of the rotation rates with $\delta\Omega$ up to 0.03 rad d$^{-1}$ are known from Kepler data for the fast-rotating stars. These values are well-reproduced by the theory of large-scale flows in rotating convection zones on the basis of the $\Lambda$ effect. The resulting amplitudes $u^{\rm m}$ of the bottom value of the meridional circulation allows the calculation of the travel time from pole to equator at the base of the convection zone of early-type M stars. These travel times strongly increase with rotation period and they always exceed the observed cycle periods. Therefore, the operation of an advection-dominated dynamo in early M dwarfs, where the travel time must always be shorter than the cycle period, is not confirmed by our model nor the data.


title: Neural network decoder for topological color codes with circuit level noise

abstract: A quantum computer needs the assistance of a classical algorithm to detect and identify errors that affect encoded quantum information. At this interface of classical and quantum computing the technique of machine learning has appeared as a way to tailor such an algorithm to the specific error processes of an experiment --- without the need for a priori knowledge of the error model. Here, we apply this technique to topological color codes. We demonstrate that a recurrent neural network with long short-term memory cells can be trained to reduce the error rate $\epsilon_{\rm L}$ of the encoded logical qubit to values much below the error rate $\epsilon_{\rm phys}$ of the physical qubits --- fitting the expected power law scaling $\epsilon_{\rm L} \propto \epsilon_{\rm phys}^{(d+1)/2}$, with $d$ the code distance. The neural network incorporates the information from "flag qubits" to avoid reduction in the effective code distance caused by the circuit. As a test, we apply the neural network decoder to a density-matrix based simulation of a superconducting quantum computer, demonstrating that the logical qubit has a longer life-time than the constituting physical qubits with near-term experimental parameters.


title: An alternative approach to modelling a cosmic void and its effect on the cosmic microwave background

abstract: We apply our tetrad-based approach for constructing spherically-symmetric solutions in general relativity to modelling a void, and compare it with the standard Lema\^itre-Tolman-Bondi (LTB) formalism. In particular, we construct models for the void observed in the direction of Draco in the WISE-2MASS galaxy survey, and a corresponding cosmic microwave background (CMB) temperature decrement in the Planck data in the same direction. We find that the present-day density and velocity profiles of the void are not well constrained by the existing data, so that void models produced from the two approaches can differ substantially while remaining broadly consistent with the observations. We highlight the importance of considering the velocity as well as the density profile in constraining voids.


title: Transformation Mittag-Lefler function to an exponential function and its some applications to problems with a fractional derivative

abstract: In this work at first the relation the Mittag-Lefler function to the exponential is given. The results are applied to the construction of the solution of Cauchy problem for ordinary linear operator differential equations with constant coefficients and fractional derivatives. On the example is shown that when the order of the derivatives (fractional) approaches to integers the results coincide with the classical.


title: First Experiments with a Flexible Infrastructure for Normative Reasoning

abstract: A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach based on shallow semantical embeddings in meta-logic HOL. The need for such a flexible reasoning infrastructure is motivated and illustrated with a contrary-to-duty example scenario selected from the General Data Protection Regulation.


title: A Family of Second Order Time Stepping Methods for the Darcy-Brinkman Equations

abstract: This study presents an efficient, accurate, effective and unconditionally stable time stepping scheme for the Darcy-Brinkman equations in double-diffusive convection. The stabilization within the proposed method uses the idea of stabilizing the curvature for velocity, temperature and concentration equations. Accuracy in time is proven and the convergence results for the fully discrete solutions of problem variables are given. Several numerical examples including a convergence study are provided that support the derived theoretical results and demonstrate the efficiency and the accuracy of the method.


title: Automated Swirl Detection Algorithm (ASDA) and Its Application to Simulation and Observational Data

abstract: Swirling motions in the solar atmosphere have been widely observed in recent years and suggested to play a key role in channeling energy from the photosphere into the corona. Here, we present a newly-developed Automated Swirl Detection Algorithm (ASDA) and discuss its applications. ASDA is found to be very proficient at detecting swirls in a variety of synthetic data with various levels of noise, implying our subsequent scientific results are astute. Applying ASDA to photospheric observations with a spatial resolution of 39.2 km sampled by the Solar Optical Telescope (SOT) on-board Hinode, suggests a total number of $1.62\times10^5$ swirls in the photosphere, with an average radius and rotating speed of $\sim290$ km and $< 1.0$ km s$^{-1}$, respectively. Comparisons between swirls detected in Bifrost numerical MHD simulations and both ground-based and space-borne observations, suggest that: 1) the spatial resolution of data plays a vital role in the total number and radii of swirls detected; and 2) noise introduced by seeing effects could decrease the detection rate of swirls, but has no significant influences in determining their inferred properties. All results have shown that there is no significant difference in the analysed properties between counter-clockwise or clockwise rotating swirls. About 70% of swirls are located in intergranular lanes. Most of the swirls have lifetimes less than twice of the cadences, meaning future research should aim to use data with much higher cadences than 6 s. In the conclusions, we propose some promising future research applications where ASDA may provide useful insights.


title: The Single Big Jump Principle in Physical Modelling

abstract: The big jump principle is a well established mathematical result for sums of independent and identically distributed random variables extracted from a fat tailed distribution. It states that the tail of the distribution of the sum is the same as the distribution of the largest summand. In practice, it means that when in a stochastic process the relevant quantity is a sum of variables, the mechanism leading to rare events is peculiar: instead of being caused by a set of many small deviations all in the same direction, one jump, the biggest of the lot, provides the main contribution to the rare large fluctuation. We reformulate and elevate the big jump principle beyond its current status to allow it to deal with correlations, finite cutoffs, continuous paths, memory and quenched disorder. Doing so we are able to predict rare events using the extended big jump principle in L\'evy walks, in a model of laser cooling, in a scattering process on a heterogeneous structure and in a class of L\'evy walks with memory. We argue that the generalized big jump principle can serve as an excellent guideline for reliable estimates of risk and probabilities of rare events in many complex processes featuring heavy tailed distributions, ranging from contamination spreading to active transport in the cell.