title: Optical and electronic properties in ferroelectric barium titanate-based compounds

abstract: The bandgap energy values for the ferroelectric BaTiO3-based solid solutions with isovalent substitution Ba1-x SrxTiO3, BaZrxTi1-xO3 and BaSnxTi1-xO3 were determined using diffuse reflectance spectra. While the corresponding unit cell volume follows Vegard's law in accordance with the different ionic radii of the ionic substitutions, the bandgap values depict non-linear compositional dependences for all the solid solutions. The effect is considerably large for BaZrxTi1-xO3 and BaSnxTi1-xO3 solutions, depicting a bandgap linear compositional dependence up to x=0.6, for x>0.6 BaZrxTi1-xO3 compounds present much larger bandgap values than BaSnxTi1-xO3 counterparts. Electronic properties have been investigated through X-ray photoelectron spectroscopy in BaSnxTi1-xO3 compounds, indicating that the Sn 3d and Ti 2p core levels shift against the Ba 3d ones within the whole compositional range with the same energy trend as that observed for the optical bandgap. Since for Ba1-x SrxTiO3 compounds no major bandgap variation is observed, we conclude that the bandgap compositional dependences observed for BaSnxTi1-xO3 compounds and BaZrxTi1-xO3 ones are originated from the structural sensitivity of the O, Ti and Sn or Zr electronic bands involved in the bandgap transition of these compounds. With this work, we underline the reliability of the bandgap determined from diffuse reflectance spectrometry experiments, as a means to non-invasively evaluate the electronic properties of powder materials.


title: On Pulsating Strings in Schr\"{o}dinger Backgrounds

abstract: According to AdS/CFT duality semi-classical strings in the Schr\"odinger spacetime is conjectured to be a holographic dual to dipole CFT. In this paper we consider pulsating strings in five-dimensional Schr\"odinger space times five-sphere. We have found classical string solutions pulsating entirely in the Schr\"odinger part of the background. We quantize the theory semi-classically and obtain the wave function of the problem. We have found the corrections to the energy, which by duality are supposed to give anomalous dimensions of certain operators in the dipole CFT.


title: An Exploration of State-of-the-art Methods for Offensive Language Detection

abstract: We provide a comprehensive investigation of different custom and off-the-shelf architectures as well as different approaches to generating feature vectors for offensive language detection. We also show that these approaches work well on small and noisy datasets such as on the Offensive Language Identification Dataset (OLID), so it should be possible to use them for other applications.


title: The Road Ahead for Networking: A Survey on ICN-IP Coexistence Solutions

abstract: In recent years, the current Internet has experienced an unexpected paradigm shift in the usage model, which has pushed researchers towards the design of the Information-Centric Networking (ICN) paradigm as a possible replacement of the existing architecture. Even though both Academia and Industry have investigated the feasibility and effectiveness of ICN, achieving the complete replacement of the Internet Protocol (IP) is a challenging task. Some research groups have already addressed the coexistence by designing their own architectures, but none of those is the final solution to move towards the future Internet considering the unaltered state of the networking. To design such architecture, the research community needs now a comprehensive overview of the existing solutions that have so far addressed the coexistence. The purpose of this paper is to reach this goal by providing the first comprehensive survey and classification of the coexistence architectures according to their features (i.e., deployment approach, deployment scenarios, addressed coexistence requirements and architecture or technology used) and evaluation parameters (i.e., challenges emerging during the deployment and the runtime behaviour of an architecture). We believe that this paper will finally fill the gap required for moving towards the design of the final coexistence architecture.


title: Questionnements autour de la synchronisation dans l'enseignement des math{\'e}matiques a des {\'e}l{\`e}ves sourds

abstract: In this communication we study a device set up to school deaf pupils. We analyze some sessions of mathematics classroom in which participated these pupils. We show in particular that if all the pupils seem globally in phase, cycles of desynchronizations / resynchronizations follow one another due to the appearance of `` bubbles of understanding ''.


title: Blockchain for the Internet of Things: Present and Future

abstract: One of the key challenges to the IoT's success is how to secure and anonymize billions of IoT transactions and devices per day, an issue that still lingers despite significant research efforts over the last few years. On the other hand, technologies based on blockchain algorithms are disrupting today's cryptocurrency markets and showing tremendous potential, since they provide a distributed transaction ledger that cannot be tampered with or controlled by a single entity. Although the blockchain may present itself as a cure-all for the IoT's security and privacy challenges, significant research efforts still need to be put forth to adapt the computation-intensive blockchain algorithms to the stringent energy and processing constraints of today's IoT devices. In this paper, we provide an overview of existing literature on the topic of blockchain for IoT, and present a roadmap of research challenges that will need to be addressed to enable the usage of blockchain technologies in the IoT.


title: Surface plasmon-polaritons in deformed graphene excited by attenuated total internal reflection

abstract: In the present work we theoretically investigated the excitation of surface plasmon-polaritons (SPPs) in deformed graphene by attenuated total reflection method. We considered the Otto geometry for SPPs excitation in graphene. Efficiency of SPPs excitation strongly depends on the SPPs propagation direction. The frequency and the incident angle of the most effective excitation of SPPs strongly depend on the polarization of the incident light. Our results may open up the new possibilities for strain-induced molding flow of light at nanoscales.


title: Mixed coloured permutations

abstract: In this paper we introduce mixed coloured permutation, permutations with certain coloured cycles, and study the enumerative properties of these combinatorial objects. We derive the generating function, closed forms, recursions and combinatorial identities for the counting sequence, mixed Stirling numbers of the first kind. In this comprehensive study we consider further the conditions on the length of the cycles, $r$-mixed Stirling numbers and the connection to Bell polynomials.


title: Dynamical systems of the $p$-adic $(2,2)$-rational functions with two fixed points

abstract: We consider a family of $(2,2)$-rational functions given on the set of complex $p$-adic field $\mathcal{C}_p$. Each such function $f$ has the two distinct fixed points $x_1=x_1(f)$, $x_2=x_2(f)$. We study $p$-adic dynamical systems generated by the $(2,2)$-rational functions. We prove that $x_1$ is always indifferent fixed point for $f$, i.e., $x_1$ is a center of some Siegel disk $SI(x_1)$. Depending on the parameters of the function $f$, the type of the fixed point $x_2$ may be any possibility: indifferent, attractor, repeller. We find Siegel disk or basin of attraction of the fixed point $x_2$, when $x_2$ is indifferent or attractor, respectively. When $x_2$ is repeller we find an open ball any point of which repelled from $x_2$. Moreover, we study relations between the sets $SI(x_1)$ and $SI(x_2)$ when $x_2$ is indifferent. For each $(2,2)$-rational function on $\mathcal{C}_p$ there are two points $\hat x_1=\hat x_1(f)$, $\hat x_2=\hat x_2(f)\in \mathcal{C}_p$ which are zeros of its denominator. We give explicit formulas of radiuses of spheres (with the center at the fixed point $x_1$) containing some points such that the trajectories (under actions of $f$) of the points after a finite step come to $\hat x_1$ or $\hat x_2$. We study periodic orbits of the dynamical system and find an invariant set, which contains all periodic orbits. Moreover, we study ergodicity properties of the dynamical system on each invariant sphere. Under some conditions we show that the system is ergodic iff $p=2$.


title: Wigner Rotation: Theory and Application to Practical Relativistic Engineering Problems

abstract: The standard expression for the Wigner rotation leads to incorrect result for the wavefront rotation. The results for the Wigner rotation in the Lorentz lab frame obtained by many experts on special relativity such as Moeller and Jackson, are incorrect. They overestimate the angle of the Wigner rotation by a factor $\gamma$ compared to its real value, and the direction of the rotation is also determined incorrectly. In 1959, Bargman, Michel, and Telegdi (BMT) proposed a consistent relativistic theory for the dynamics of the spin as observed in the lab frame, which was successfully tested in experiments. The BMT equation naturally involves the Wigner rotation as the purely kinematic addition to the Larmor rotation which, in turn, is a consequence of interaction of the intrinsic magnetic moment with the external magnetic field. It is commonly believed that the BMT equation contains the standard (and incorrect) result for the Wigner rotation in the Lorentz lab frame. The existing textbooks then suggest that the experimental test of the BMT equation is a direct proof of validity for the standard expression for Wigner rotation. Here we focus on the analysis of the reason why authors of textbooks obtained an incorrect expression for the Wigner rotation. We demonstrate that the notion that the standard (incorrect) result for the Wigner rotation as an integral part of the BMT equation in most texts is based, in turn, on an incorrect physical argument. The aim of the present paper is to analyze the complicated situation relating to the use of the theory of relativity and, in particular, Wigner rotation theory, in accelerator physics.


title: Classes of random walks on temporal networks with competing timescales

abstract: Random walks find applications in many areas of science and are the heart of essential network analytic tools. When defined on temporal networks, even basic random walk models may exhibit a rich spectrum of behaviours, due to the co-existence of different timescales in the system. Here, we introduce random walks on general stochastic temporal networks allowing for lasting interactions, with up to three competing timescales. We then compare the mean resting time and stationary state of different models. We also discuss the accuracy of the mathematical analysis depending on the random walk model and the structure of the underlying network, and pay particular attention to the emergence of non-Markovian behaviour, even when all dynamical entities are governed by memoryless distributions.


title: Type classification of extremal quantized characters

abstract: The notion of quantized characters is introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory for compact quantum groups. As in the case of ordinary groups, the representation associated with any extremal quantized character generates von Neumann factor. In the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray-von Neumann-Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups $U_q(N)$.


title: Thermodynamic Variables of First-Order Entropy Corrected Lovelock-AdS Black Holes : P-V Criticality Analysis

abstract: We investigate the effect of thermal fluctuations on the thermodynamics of a Lovelock-AdS black hole. Taking the first order logarithmic correction term in entropy we analyze the thermodynamic potentials like Helmholtz free energy, enthalpy and Gibbs free energy. We find that all the thermodynamic potentials are decreasing functions of correction coefficient $\alpha$. We also examined this correction coefficient tmust be positive by analysing $P-V$ diagram. Further we study the P-V criticality and stability and find that presence of logarithmic correction in it is necessary to have critical points and stable phases. When P-V criticality appears, we calculate the critical volume $V_c$, critical pressure $P_c$ and critical temperature $T_c$ using different equations and show that there is no critical point for this black hole without thermal fluctuations. We also study the geometrothermodynamics of this kind of black holes. The Ricci scalar of the Ruppeiner metric is graphically analysed.


title: Self-Organization and Artificial Life

abstract: Self-organization can be broadly defined as the ability of a system to display ordered spatio-temporal patterns solely as the result of the interactions among the system components. Processes of this kind characterize both living and artificial systems, making self-organization a concept that is at the basis of several disciplines, from physics to biology and engineering. Placed at the frontiers between disciplines, Artificial Life (ALife) has heavily borrowed concepts and tools from the study of self-organization, providing mechanistic interpretations of life-like phenomena as well as useful constructivist approaches to artificial system design. Despite its broad usage within ALife, the concept of self-organization has been often excessively stretched or misinterpreted, calling for a clarification that could help with tracing the borders between what can and cannot be considered self-organization. In this review, we discuss the fundamental aspects of self-organization and list the main usages within three primary ALife domains, namely "soft" (mathematical/computational modeling), "hard" (physical robots), and "wet" (chemical/biological systems) ALife. We also provide a classification to locate this research. Finally, we discuss the usefulness of self-organization and related concepts within ALife studies, point to perspectives and challenges for future research, and list open questions. We hope that this work will motivate discussions related to self-organization in ALife and related fields.


title: GADGET: A Gas Amplifier Detector with Germanium Tagging

abstract: The Gas Amplifier Detector with Germanium Tagging (GADGET) is a new detection system devoted to the measurement of weak, low-energy $\beta$-delayed proton decays relevant for nuclear astrophysics studies. It is comprised of a new gaseous Proton Detector equipped with a Micromegas readout for charged particle detection, surrounded by the existing Segmented Germanium Array (SeGA) for the high-resolution detection of the prompt $\gamma$-rays. In this work we describe in detail for the first time the design, construction, and operation of the GADGET system, including performance of the Proton Detector. We present the results of a recent commissioning experiment performed with \textsuperscript{25}Si beam at the National Superconducting Cyclotron Laboratory (NSCL). GADGET provided low-background, low-energy $\beta$-delayed proton detection with efficiency above 95\%, and relatively good efficiency for proton-gamma coincidences (2.7\% at 1.37 MeV).


title: On Unit Spherical Euclidean Distance Matrices Which Differ in One Entry

abstract: A unit spherical Euclidean distance matrix (EDM) D is a matrix whose entries can be realized as the interpoint (squared) Euclidean distances of n points on a unit sphere. In this paper, given such a D and 1 \leq k < l \leq n, we present a characterization of the set of all unit spherical EDMs whose entries agree with those of D except possibly with the entry in the klth and lkth positions. As a result, we show that this set can be discrete, consisting of one or two elements, or it can be continuous. The results are derived using two alternative approaches, the second of which is based on Cayley-Menger matrices.


title: Infinite families of $2$-designs from two classes of linear codes

abstract: The interplay between coding theory and $t$-designs has attracted a lot of attention for both directions. It is well known that the supports of all codewords with a fixed weight in a code may hold a $t$-design. In this paper, by determining the weight distributions of two classes of linear codes, we derive infinite families of $2$-designs from the supports of codewords with a fixed weight in these codes, and explicitly obtain their parameters.


abstract: The paper is a script of a lecture given at the ISAPP-Baikal summer school in 2018. The lecture gives an overview of the Tunka Advanced Instrument for cosmic rays and Gamma Astronomy (TAIGA) facility including historical introduction, description of existing and future setups, and outreach and open data activities.


title: Evolutionary Deep Learning to Identify Galaxies in the Zone of Avoidance

abstract: The Zone of Avoidance makes it difficult for astronomers to catalogue galaxies at low latitudes to our galactic plane due to high star densities and extinction. However, having a complete sky map of galaxies is important in a number of fields of research in astronomy. There are many unclassified sources of light in the Zone of Avoidance and it is therefore important that there exists an accurate automated system to identify and classify galaxies in this region. This study aims to evaluate the efficiency and accuracy of using an evolutionary algorithm to evolve the topology and configuration of Convolutional Neural Network (CNNs) to automatically identify galaxies in the Zone of Avoidance. A supervised learning method is used with data containing near-infrared images. Input image resolution and number of near-infrared passbands needed by the evolutionary algorithm is also analyzed while the accuracy of the best evolved CNN is compared to other CNN variants.


title: Online Observability of Boolean Control Networks

abstract: Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient and necessary condition of determining the initial states of BCNs, when their initial states cannot be reset. And we design an algorithm to decide whether a BCN has the online observability. Moreover, we prove that a BCN is identifiable iff it satisfies controllability and the online observability, which reveals the essence of identification problem of BCNs.


title: Universal conductance fluctuations and phase-coherent transport in a semiconductor Bi$_2$O$_2$Se nanoplate with strong spin-orbit interaction

abstract: We report on phase-coherent transport studies of a Bi$_2$O$_2$Se nanoplate and on observation of universal conductance fluctuations and spin-orbit interaction induced reduction in fluctuation amplitude in the nanoplate. Thin-layered Bi$_2$O$_2$Se nanoplates are grown by chemical vapor deposition (CVD) and transport measurements are made on a Hall-bar device fabricated from a CVD-grown nanoplate. The measurements show weak antilocalization at low magnetic fields at low temperatures, as a result of spin-orbit interaction, and a crossover toward weak localization with increasing temperature. Temperature dependences of characteristic transport lengths, such as spin relaxation length, phase coherence length, and mean free path, are extracted from the low-field measurement data. Universal conductance fluctuations are visible in the low-temperature magnetoconductance over a large range of magnetic fields and the phase coherence length extracted from the autocorrelation function is in consistence with the result obtained from the weak localization analysis. More importantly, we find a strong reduction in amplitude of the universal conductance fluctuations and show that the results agree with the analysis assuming strong spin-orbit interaction in the Bi$_2$O$_2$Se nanoplate.


title: Ternary Syndrome Decoding with Large Weight

abstract: The Syndrome Decoding problem is at the core of many code-based cryptosystems. In this paper, we study ternary Syndrome Decoding in large weight. This problem has been introduced in the Wave signature scheme but has never been thoroughly studied. We perform an algorithmic study of this problem which results in an update of the Wave parameters. On a more fundamental level, we show that ternary Syndrome Decoding with large weight is a really harder problem than the binary Syndrome Decoding problem, which could have several applications for the design of code-based cryptosystems.


title: Proof by characters of the orthogonal-orthogonal duality and relations of Casimir invariants

abstract: The theorem of orthogonal-orthogonal duality of Rowe, Repka, and Carvalho is proven by a method based on characters that is very different from theirs and akin to Helmers's half a century earlier proof of the analogous sympletic-symplectic duality. I demonstrate how three duality theorems listed by Rowe, Repka, and Carvalho allow very brief derivations of linear relations between the Casimir invariants of the connected representations based on the geometry of their Young diagrams, and discuss for which physical systems other than such already considered in the literature an analysis in terms of the orthogonal-orthogonal duality might be useful.


title: Magnetization, d-wave superconductivity and non-Fermi liquid behavior in a crossover from dispersive to flat bands

abstract: We explore the effect of inhomogeneity on electronic properties of the two-dimensional Hubbard model on a square lattice using dynamical mean-field theory (DMFT). The inhomogeneity is introduced via modulated lattice hopping such that in the extreme inhomogeneous limit the resulting geometry is a Lieb lattice, which exhibits a flat-band dispersion. The crossover can be observed in the uniform sublattice magnetization which is zero in the homogeneous case and increases with the inhomogeneity. Studying the spatially resolved frequency-dependent local self-energy, we find a crossover from Fermi-liquid to non-Fermi-liquid behavior happening at a moderate value of the inhomogeneity. This emergence of a non-Fermi liquid is concomitant of a quasi-flat band. For finite doping the system with small inhomogeneity displays $d$-wave superconductivity coexisting with incommensurate spin-density order, inferred from the presence of oscillatory DMFT solutions. The $d$-wave superconductivity gets suppressed for moderate to large inhomogeneity for any finite doping while the incommensurate spin-density order still exists.


title: Enabling Multi-hop Forwarding in 6LoWPANs through Software-Defined Networking

abstract: Wireless Sensor Networks (WSNs) play a major role in the expansion of the Internet of Things (IoT) market as they allow the deployment of low cost and low power networks possibly in large areas. The introduction of the 6LoWPAN standard allowed WSN to move into the IPv6 era, with a seamless integration of sensors into external networks. The recent application of IoT in industrial systems is now introducing new traffic patterns - machine to machine (M2M) above the others - and communication challenges that can modify the classical multipoint-to-point pattern of WSN, having the sink as the root of every communication. To solve these problems, we propose an architecture to enable an efficient and controlled multi-hop forwarding over 6LoWPANs. We base our approach on the standard 6LoWPAN protocol stack and we exploit the Software Defined Networking paradigm to achieve network reconfigurability. We evaluate the performance of our architecture in a simulated environment, with both multipoint-to-point and M2M traffic, and we demonstrate its feasibility in a real testbed.


title: Teaching DevOps in academia and industry: reflections and vision

abstract: This paper describes our experience of delivery educational programs in academia and in industry on DevOps, compare the two approaches and sum-up the lessons learnt. We also propose a vision to implement a shift in the Software Engineering Higher Education curricula.


title: Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm

abstract: Column generation is often used to solve multi-commodity flow problems. A program for column generation always includes a module that solves a linear equation. In this paper, we address three major issues in solving linear problem during column generation procedure which are (1) how to employ the sparse property of the coefficient matrix; (2) how to reduce the size of the coefficient matrix; and (3) how to reuse the solution to a similar equation. To this end, we first analyze the sparse property of coefficient matrix of linear equations and find that the matrices occurring in iteration are very sparse. Then, we present an algorithm locSolver (for localized system solver) for linear equations with sparse coefficient matrices and right-hand-sides. This algorithm can reduce the number of variables. After that, we present the algorithm incSolver (for incremental system solver) which utilizes similarity in the iterations of the program for a linear equation system. All three techniques can be used in column generation of multi-commodity problems. Preliminary numerical experiments show that the incSolver is significantly faster than the existing algorithms. For example, random test cases show that incSolver is at least 37 times and up to 341 times faster than popular solver LAPACK.


title: On exponential stabilization of two-qubit systems

abstract: In this paper, we consider a two-qubit system undergoing continuous-time measurements. In presence of multiple channels, we provide sufficient conditions on the continuous feedback control law ensuring almost sure exponential convergence to a predetermined Bell state. This is obtained by applying stochastic tools, Lyapunov methods and geometric control tools. With one channel, we establish asymptotic convergence towards a predetermined Bell state. In both cases, we provide explicit expressions of feedback control laws satisfying the above-mentioned conditions. Finally, we demonstrate the effectiveness of our methodology through numerical simulations.


title: Eigenvalues for a Pure Quartic Oscillator

abstract: The eigenvalues of a pure quartic oscillator are computed, applying a canonical operator formulation, generalized from the harmonic oscillator. Solving a 10x10 secular equation produces eigenvalues in agreement, to at least 4 significant figures, with accurate computations given in the literature.


title: Algebras of the extended probabilistic powerdomain monad

abstract: We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad $\mathcal V_w$ over the category $\mathbf{TOP}_0$ of $T_0$ topological spaces and continuous maps. We prove that every $\mathcal V_w$-algebra in our setting is a weakly locally convex sober topological cone, and that a map is the structure map of a $\mathcal V_w$-algebra if and only if it is continuous and sends every continuous valuation to its unique barycentre. Conversely, for locally linear sober cones (a strong form of local convexity), the mere existence of barycentres entails that the barycentre map is the structure map of a $\mathcal V_w$-algebra; moreover the algebra morphisms are exactly the linear continuous maps in that case. We also examine the algebras of two related monads, the simple valuation monad $\mathcal V_{\mathrm f}$ and the point-continuous valuation monad $\mathcal V_{\mathrm p}$. In $\mathbf{TOP}_0$ their algebras are fully characterised as weakly locally convex topological cones and weakly locally convex sober topological cones, respectively. In both cases, the algebra morphisms are continuous linear maps between the corresponding algebras.


title: Dynamically equivalent {\Lambda}CDM equations with underlying Bianchi Type geometry

abstract: Solutions have been found for gravity coupled to electromagnetic field and a set of charged and uncharged perfect fluids for Bianchi Types VI_{(-1)}, VIII, IX, under the primary assumption of the existence of a conformal Killing vector field. The electromagnetic field ``absorbs'' the ``frozen'' anisotropy and the remaining equations are dynamically equivalent with the equations of {\Lambda}CDM. There are solutions with flat, negative and positive effective spatial curvature corresponding to the three FLRW classes. Three equations of state for the charged perfect fluid where studied: non-relativistic w=0, relativistic w=\frac{1}{3} and dark energy-like w=-1. For the first two cases, maximum values exist for the scale factor, in order for the weak energy conditions to be respected, which depend upon the geometric and charged fluid parameters. A minimum value for the scale factor exists (for the solutions to be valid) in all the cases and Types, indicating the absence of initial spacetime singularity (big bang). This minimum value depends upon the geometric and electromagnetic parameters. The number of essential constants in the final form of each metric is the minimum without loss of generality due to the use of the constant Automorphism's group. A known solution, with the anisotropy absorbed via one free scalar field is reproduced with our method and contains the minimum possible number of parameters.


title: Neutron-mirror neutron oscillations for solving the puzzles of ultrahigh-energy cosmic rays

abstract: Based on a newly proposed mirror-matter model of neutron-mirror neutron ($n-n'$) oscillations, the puzzles related to ultrahigh-energy cosmic rays (UHECRs) are explained. In particular, the phenomena around the Greisen-Zatsepin-Kuzmin (GZK) cutoff for UHECRs can be well understood under the new mirror matter model assuming a mirror-to-ordinary temperature ratio of $T'/T \sim 0.3$. The suppression factor of the GZK effect due to the opacity of cosmic microwave background is calculated and agrees with the observations well. Most of the super-GZK events (i.e., above the GZK cutoff), as predicted in the new model, come from mirror matter sources that are invisible to electromagnetic telescopes and can penetrate the mirror cosmic microwave background at much further distances. Most remarkably, the anti-correlation between super-GZK and sub-GZK events in the hotspot observed by the Telescope Array (TA) collaboration can be naturally understood in this model. The possible correlations between the UHECRs from the TA hotspot and other nearby powerful sources such as high energy neutrinos detected by IceCube, the largest black hole merger (GW170729) observed by LIGO, and the hottest star-forming supercluster Lynx Arc, are discussed as well under the new theory.


title: Conformal Gauss Map Geometry and Application to Willmore Surfaces in Model Spaces

abstract: In this paper we make a detailed and self-contained study of the conformalGauss map. Then, starting from the seminal work of R. Bryant and the notion of conformal Gauss map, we recover many fundamental properties of Willmore surfaces. We also get new results like some characterizations of minimal and constant meancurvature (CMC) surfaces in term of their conformal Gauss map behavior.


title: Extending partial automorphisms of $n$-partite tournaments

abstract: We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.


title: One-Way Topological Automata and the Tantalizing Effects of Their Topological Features

abstract: We cast new light on the existing models of one-way deterministic topological automata by introducing a fresh but general, convenient model, in which, as each input symbol is read, an interior system of an automaton, known as a configuration, continues to evolve in a topological space by applying continuous transition operators one by one. The acceptance and rejection of a given input are determined by observing the interior system after the input is completely processed. Such automata naturally generalize one-way finite automata of various types, including deterministic, probabilistic, quantum, and pushdown automata. We examine the strengths and weaknesses of the power of this new automata model when recognizing formal languages. We investigate tantalizing effects of various topological features of our topological automata by analyzing their behaviors when different kinds of topological spaces and continuous maps, which are used respectively as configuration spaces and transition operators, are provided to the automata. Finally, we present goals and directions of future studies on the topological features of topological automata.


title: Neurovascular coupling: insights from multi-modal dynamic causal modelling of fMRI and MEG

abstract: This technical note presents a framework for investigating the underlying mechanisms of neurovascular coupling in the human brain using multi-modal magnetoencephalography (MEG) and functional magnetic resonance (fMRI) neuroimaging data. This amounts to estimating the evidence for several biologically informed models of neurovascular coupling using variational Bayesian methods and selecting the most plausible explanation using Bayesian model comparison. First, fMRI data is used to localise active neuronal sources. The coordinates of neuronal sources are then used as priors in the specification of a DCM for MEG, in order to estimate the underlying generators of the electrophysiological responses. The ensuing estimates of neuronal parameters are used to generate neuronal drive functions, which model the pre or post synaptic responses to each experimental condition in the fMRI paradigm. These functions form the input to a model of neurovascular coupling, the parameters of which are estimated from the fMRI data. This establishes a Bayesian fusion technique that characterises the BOLD response - asking, for example, whether instantaneous or delayed pre or post synaptic signals mediate haemodynamic responses. Bayesian model comparison is used to identify the most plausible hypotheses about the causes of the multimodal data. We illustrate this procedure by comparing a set of models of a single-subject auditory fMRI and MEG dataset. Our exemplar analysis suggests that the origin of the BOLD signal is mediated instantaneously by intrinsic neuronal dynamics and that neurovascular coupling mechanisms are region-specific. The code and example dataset associated with this technical note are available through the statistical parametric mapping (SPM) software package.


title: Offline and Online Deep Learning for Image Recognition

abstract: Image recognition using Deep Learning has been evolved for decades though advances in the field through different settings is still a challenge. In this paper, we present our findings in searching for better image classifiers in offline and online environments. We resort to Convolutional Neural Network and its variations of fully connected Multi-layer Perceptron. Though still preliminary, these results are encouraging and may provide a better understanding about the field and directions toward future works.


title: On Morin configurations of higher length

abstract: This paper studies finite Morin configurations $F$ of planes in $\mathbb P^5$ having higher length. The uniqueness of the configuration of maximal cardinality $20$ is proven. This is related to the stable canonical genus $6$ curve $C_{\ell}$ union of the $10$ lines of a smooth quintic Del Pezzo surface $Y$ in $\mathbb P^5$ and to the Petersen graph. Families of length $\geq 16$, previously unknown, are constructed by smoothing partially $C_{\ell}$. A more general irreducible family of special configurations of length $\geq 11$, we name as Morin-Del Pezzo configurations, is considered and studied. This depends on $9$ moduli and is defined via the family of nodal and rational canonical curves of $Y$. The special relations between Morin-Del Pezzo configurations and the geometry of special threefolds, like the Igusa quartic or its dual Segre primal, are focused.


title: Solving $x^{2^k+1}+x+a=0$ in $\mathbb{F}_{2^n}$ with $\gcd(n,k)=1$

abstract: Let $N_a$ be the number of solutions to the equation $x^{2^k+1}+x+a=0$ in $\GF {n}$ where $\gcd(k,n)=1$. In 2004, by Bluher \cite{BLUHER2004} it was known that possible values of $N_a$ are only 0, 1 and 3. In 2008, Helleseth and Kholosha \cite{HELLESETH2008} have got criteria for $N_a=1$ and an explicit expression of the unique solution when $\gcd(k,n)=1$. In 2014, Bracken, Tan and Tan \cite{BRACKEN2014} presented a criterion for $N_a=0$ when $n$ is even and $\gcd(k,n)=1$. This paper completely solves this equation $x^{2^k+1}+x+a=0$ with only condition $\gcd(n,k)=1$. We explicitly calculate all possible zeros in $\GF{n}$ of $P_a(x)$. New criterion for which $a$, $N_a$ is equal to $0$, $1$ or $3$ is a by-product of our result.


title: Deep Diffused Avalanche Photodiodes for Charged Particles Timing

abstract: The upgrades of ATLAS and CMS for the High Luminosity LHC (HL-LHC) highlighted physics objects timing as a tool to resolve primary interactions within a bunch crossing. Since the expected pile-up is around 200, with an r.m.s. time spread of 180 ps, a time resolution of about 30 ps is needed. The timing detectors will experience a 1-MeV neutron equivalent fluence of about $\Phi_{eq}=10^{14}$ and $10^{15}$ cm$^{-2}$ for the barrel and end-cap regions, respectively. In this contribution, deep diffused Avalanche Photo Diodes (APDs) produced by Radiation Monitoring Devices are examined as candidate timing detectors for HL-LHC applications. To improve the detector's timing performance, the APDs are used to directly detect the traversing particles, without a radiator medium where light is produced. Devices with an active area of $8\times8$ mm$^2$ were characterized in beam tests. The timing performance and signal properties were measured as a function of position on the detector using a beam telescope and a microchannel plate photomultiplier (MCP-PMT). Devices with an active area of $2\times2$ mm$^2$ were used to determine the effects of radiation damage and characterized using a ps pulsed laser. These detectors were irradiated with neutrons up to $\Phi_{eq}=10^{15}$ cm$^{-2}$.


title: Existence and Regularity of Invariant Graphs for Cocycles in Bundles: partial hyperbolicity case

abstract: We study the existence and regularity of invariant graphs for bundle maps (or bundle correspondences with generating bundle maps motivated by ill-posed differential equations) having some relative partial hyperbolicity on non-trivial and non-locally-compact bundles. The regularity includes (uniform) $ C^0 $ continuity, H\"older continuity and smoothness. To illustrate the power of our results and methods, a number of applications to both well-posed and ill-posed semilinear differential equations and abstract infinite-dimensional dynamical systems are given. These applications include the existence and regularity of different types of invariant foliations (laminations), including strong stable laminations and fake invariant foliations, the existence and regularity of holonomies for cocycles, the $ C^{k,\alpha} $ theorem and decoupling theorem, etc., in a general setting.


title: Topologically distinct Weyl-fermion pairs: on the effect of magnetic tunnelling

abstract: A Weyl semimetal has Weyl nodes that always come in pairs with opposite chiralities. Notably, different ways of connection between nodes are possible and would lead to distinct topologies. Here we identify their differences in many respects from two proposed models with different vorticities. One prominent feature is the behaviour of zeroth Landau levels (LLs) under magnetic field. We demonstrate that the magnetic tunnelling does not always expel LLs from zero energy because the number of zero-energy modes is linked to the vorticity of the Weyl nodes, instead of the chirality. Other respects in disorder effects for weak (anti-)localization, surface Fermi arcs, and Weyl-node annihilation, are interesting consequences that await future exploration.


title: Small scale creation for solutions of the SQG equation

abstract: We construct examples of solutions to the conservative surface quasi-geostrophic (SQG) equation that must either exhibit infinite in time growth of derivatives or blow up in finite time.


title: Dissecting the NVidia Turing T4 GPU via Microbenchmarking

abstract: In 2019, the rapid rate at which GPU manufacturers refresh their designs, coupled with their reluctance to disclose microarchitectural details, is still a hurdle for those software designers who want to extract the highest possible performance. Last year, these very reasons motivated us to dissect the Volta GPU architecture using microbenchmarks. The introduction in August 2018 of Turing, NVidia's latest architecture, pressed us to update our study. In this report, we examine Turing and compare it quantitatively against previous NVidia GPU generations. Specifically, we study the T4 GPU: a low-power board aiming at inference applications. We describe its improvements against its inference-oriented predecessor: the P4 GPU based on the Pascal architecture. Both T4 and P4 GPUs achieve significantly higher frequency-per-Watt figures than their full-size counterparts. We study the performance of the T4's TensorCores, finding a much higher throughput on low-precision operands than on the P4 GPU. We reveal that Turing introduces new instructions that express matrix math more succinctly. We map Turing's instruction space, finding the same encoding as Volta, and additional instructions. We reveal that the Turing TU104 chip has the same memory hierarchy depth as the Volta GV100; cache levels sizes on the TU104 are frequently twice as large as those found on the Pascal GP104. We benchmark each constituent of the T4 memory hierarchy and find substantial overall performance improvements over its P4 predecessor. We studied how clock throttling affects compute-intensive workloads that hit power or thermal limits. Many of our findings are novel, published here for the first time. All of them can guide high-performance software developers get closer to the GPU's peak performance.


title: The primordial curvature perturbation from lattice simulations

abstract: We study the contribution to the primordial curvature perturbation on observational scales generated by the reheating field in massless preheating. To do so we use lattice simulations and a recent extension to the $\delta N$ formalism. The work demonstrates the functionality of these techniques for calculating the observational signatures of models in which non-perturbative reheating involves a light scalar field.


title: Upper tail bounds for cycles

abstract: This paper examines bounds on upper tails for cycle counts in $G_{n,p}$. For a fixed graph $H$ define $\xi_H= \xi_H^{n,p}$ to be the number of copies of $H$ in $G_{n,p}$. It is a much studied and surprisingly difficult problem to understand the upper tail of the distribution of $\xi_H$, for example, to estimate \begin{equation*} \mathbb{P}(\xi_H > 2 \mathbb{E}\xi_H). \end{equation*} The best known result for general $H$ and $p$ is due to Janson, Oleszkiewicz, and Ruci\'nski, who, in 2004, proved \begin{align}\label{a:JOR} \exp[-O_{H, \eta}(M_H(n,p) \ln(1/p))]&<\mathbb{P}(\xi_H > (1+\eta)\mathbb{E} \xi_H)\\&<\exp[-\Omega_{H, \eta}(M_{H}(n,p))].\nonumber \end{align} Thus they determined the upper tail up to a factor of $\ln(1/p)$ in the exponent. There has since been substantial work to improve these bounds for particular $H$ and $p$. We close the $\ln(1/p)$ gap for cycles, up to a constant in the exponent. Here the lower bound given by JOR is the truth for $l$-cycles when $p> \frac{\ln^{1/(l-2)}n}{n}$.


title: Information backflow as a resource for entanglement

abstract: The issue of whether non-Markovianity (NM) could be considered as a resource in quantum information has been a subject of intense debate for the last years. Recently, a simple mechanism was proposed in which one of the main features of NM, the backflow of information from the environment to the system, represents a fundamental and quantifiable resource for generating entanglement within an open quantum system coupled to a finite and small environment [N. Mirkin, P. Poggi and D. Wisniacki, Phys. Rev. A, 99(2), 020301(R)]. In this work, we extend the universality of this resource mechanism by studying a completely different and more general scheme where the system is coupled to an infinite structured reservoir. Under both setups, we show that the degree of NM univocally determines the optimal degree of entanglement reachable by controlling the open system. This result reveals the universality of a quantitative relation between entanglement and NM by using quantum optimal control.


title: Double-Recurrence Fibonacci Numbers and Generalizations

abstract: Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence given by the recurrence $F_{n+2}=F_{n+1}+F_n$, for $n\geq 0$, where $F_0=0$ and $F_1=1$. There are several generalizations of this sequence and also several interesting identities. In this paper, we investigate a homogeneous recurrence relation that, in a way, extends the linear recurrence of the Fibonacci sequence for two variables, called {\it double-recurrence Fibonacci numbers}, given by ${F(m,n) = F(m-1, n-1)+F (m-2, n-2)}$, for $n,m\geq 2$, where $F (m, 0) = F_m$, $F (m, 1) = F_{m+1}$, $F (0, n) = F_n$ and $F (1, n) = F_{n+1}$. We exhibit a formula to calculate the values of this double recurrence, only in terms of Fibonacci numbers, such as certain identities for their sums are outlined. Finally, a general case is studied.


title: Complete catalog of ground-state diagrams for the general three-state lattice-gas model with nearest-neighbor interactions on a square lattice

abstract: The ground states of the general three-state lattice-gas (equivalently, $S=1$ Ising) model with nearest-neighbor interactions on a square lattice are explored in the full, five-dimensional parameter space of three interaction constants and two generalized chemical potentials or fields. The resulting, complete catalog of fifteen topologically different ground-state diagrams (zero-temperature phase diagrams) is discussed in both lattice-gas and Ising-spin language. The results extend those of a recent study in a reduced parameter space [V. F. Fefelov, et al., Phys. Chem. Chem. Phys., 2018, 20, 10359--10368], which identified six different ground-state diagrams.


title: Classical solutions of the Backward PIDE for Markov Modulated Marked Point Processes and Applications to CAT Bonds

abstract: The objective of this paper is to give conditions ensuring that the backward partial integro differential equation associated with a multidimensional jump-diffusion with a pure jump component has a unique classical solution; that is the solution is continuous, twice differentiable in the diffusion component and differentiable in time. Our proof uses a probabilistic arguments and extends the results of Pham (1998) to processes with a pure jump component where the jump intensity is modulated by a diffusion process. This result is particularly useful in some applications to pricing and hedging of financial and actuarial instruments, and we provide an example to pricing of CAT bond.


title: Quadratic speedup for finding marked vertices by quantum walks

abstract: A quantum walk algorithm can detect the presence of a marked vertex on a graph quadratically faster than the corresponding random walk algorithm (Szegedy, FOCS 2004). However, quantum algorithms that actually find a marked element quadratically faster than a classical random walk were only known for the special case when the marked set consists of just a single vertex, or in the case of some specific graphs. We present a new quantum algorithm for finding a marked vertex in any graph, with any set of marked vertices, that is (up to a log factor) quadratically faster than the corresponding classical random walk.


title: Quantum walks: Schur functions meet symmetry protected topological phases

abstract: This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantum walks are encoded by matrix Schur functions built out of the walk. This main result of the paper reduces the calculation of these topological indices to a linear algebra problem: calculating symmetry indices of finite-dimensional unitaries obtained by evaluating such matrix Schur functions at the symmetry protected points $\pm1$. The Schur representation fully covers the complete set of symmetry indices for 1D quantum walks with a group of symmetries realizing any of the symmetry types of the tenfold way. The main advantage of the Schur approach is its validity in the absence of translation invariance, which allows us to go beyond standard Fourier methods, leading to the complete classification of non-translation invariant phases for typical examples.

categories: math-ph math.CA math.CV math.FA math.MP quant-ph


title: Affine Screening Operators, Affine Laumon Spaces, and Conjectures Concerning Non-Stationary Ruijsenaars Functions

abstract: Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(x,p|s,kappa|q,t), including the bispectral and the Poincare dualities, and the evaluation formula. Main Conjecture asserts that (i) one can normalize f^{hat{gl}_N}(x,p|s,kappa|q,t) in such a way that the limit kappa rightarrow 1 exists, and (ii) the limit f^{st.hat{gl}_N}(x,p|s|q,t) gives us the eigenfunction of the elliptic Ruijsenaars operator. The non-stationary affine q-difference Toda operator T^{hat{gl}_N}(kappa) is introduced, which comes as an outcome of the study of the Poincare duality conjecture in the affine Toda limit t rightarrow 0. Main Conjecture is examined also in the limiting cases of the affine q-difference Toda (t rightarrow 0), and the elliptic Calogero-Sutherland (q,t rightarrow 1) equations.


title: The notion of observable and the moment problem for *-algebras and their GNS representations

abstract: We address some usually overlooked issues concerning the use of $*$-algebras in quantum theory and their physical interpretation. If $\mathfrak{A}$ is a $*$-algebra describing a quantum system and $\omega\colon\mathfrak{A}\to\mathbb{C}$ a state, we focus in particular on the interpretation of $\omega(a)$ as expectation value for an algebraic observable $a=a^*\in\mathfrak{A}$, studying the problem of finding a probability measure reproducing the moments $\{\omega(a^n)\}_{n\in\mathbb{N}}$. This problem enjoys a close relation with the self-adjointeness of the (in general only symmetric) operator $\pi_\omega(a)$ in the GNS representation of $\omega$ and thus it has important consequences for the interpretation of $a$ as an observable. We provide physical examples (also from QFT) where the moment problem for $\{\omega(a^n)\}_{n\in\mathbb{N}}$ does not admit a unique solution. To reduce this ambiguity, we consider the moment problem for the sequences $\{\omega_b(a^n)\}_{n\in\mathbb{N}}$, being $b\in\mathfrak{A}$ and $\omega_b(\cdot):=\omega(b^*\cdot b)$. Letting $\mu_{\omega_b}^{(a)}$ be a solution of the moment problem for the sequence $\{\omega_b(a^n)\}_{n\in\mathbb{N}}$, we introduce a consistency relation on the family $\{\mu_{\omega_{b}}^{(a)}\}_{b\in\mathfrak{A}}$. We prove a 1-1 correspondence between consistent families $\{\mu_{\omega_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ and positive operator-valued measures (POVM) associated with the symmetric operator $\pi_\omega(a)$. In particular there exists a unique consistent family of $\{\mu_{\omega_{b}}^{(a)}\}_{b\in\mathfrak{A}}$ if and only if $\pi_\omega(a)$ is maximally symmetric. This result suggests that a better physical understanding of the notion of observable for general $*$-algebras should be based on POVMs rather than projection-valued measure (PVM).


title: Advanced Capsule Networks via Context Awareness

abstract: Capsule Networks (CN) offer new architectures for Deep Learning (DL) community. Though its effectiveness has been demonstrated in MNIST and smallNORB datasets, the networks still face challenges in other datasets for images with distinct contexts. In this research, we improve the design of CN (Vector version) namely we expand more Pooling layers to filter image backgrounds and increase Reconstruction layers to make better image restoration. Additionally, we perform experiments to compare accuracy and speed of CN versus DL models. In DL models, we utilize Inception V3 and DenseNet V201 for powerful computers besides NASNet, MobileNet V1 and MobileNet V2 for small and embedded devices. We evaluate our models on a fingerspelling alphabet dataset from American Sign Language (ASL). The results show that CNs perform comparably to DL models while dramatically reducing training time. We also make a demonstration and give a link for the purpose of illustration.


title: Sensing single atoms in a cavity using a broadband squeezed light

abstract: We investigate a single atom cavity-QED system directly driven by a broadband squeezed light. We demonstrate how the squeezed radiation can be used to sense the presence of a single atom in a cavity. This happens by transferring one of the photons from the field in a state with even number of photons to the atom and thereby populating odd number Fock states. Specifically, the presence of the atom is sensed by remarkable changing in the presence of one photon and the loss of squeezing of the cavity field. A complete study of quantum fluctuations and the excitation of multiphoton transitions is given.


title: Bilinear Representation for Language-based Image Editing Using Conditional Generative Adversarial Networks

abstract: The task of Language-Based Image Editing (LBIE) aims at generating a target image by editing the source image based on the given language description. The main challenge of LBIE is to disentangle the semantics in image and text and then combine them to generate realistic images. Therefore, the editing performance is heavily dependent on the learned representation. In this work, conditional generative adversarial network (cGAN) is utilized for LBIE. We find that existing conditioning methods in cGAN lack of representation power as they cannot learn the second-order correlation between two conditioning vectors. To solve this problem, we propose an improved conditional layer named Bilinear Residual Layer (BRL) to learning more powerful representations for LBIE task. Qualitative and quantitative comparisons demonstrate that our method can generate images with higher quality when compared to previous LBIE techniques.


title: Proposal of a realistic stochastic rotor engine based on electron shuttling

abstract: We propose and analyse an autonomous engine, which combines ideas from electronic transport and self-oscillating heat engines. It is based on the electron-shuttling mechanism in conjunction with a rotational degree of freedom. We focus in particular on the isothermal regime, where chemical work is converted into mechanical work or vice versa, and we especially pay attention to use parameters estimated from experimental data of available single components. Our analysis shows that for these parameters the engine already works remarkably stable, albeit with moderate efficiency. Moreover, it has the advantage that it can be up-scaled to increase power and reduce fluctuations further.


title: The HelMod Model in the Works for Inner and Outer Heliosphere: from AMS to Voyager Probes Observations

abstract: HelMod is a Monte Carlo code developed to describe the transport of Galactic Cosmic Rays (GCRs) through the heliosphere from the interstellar space to the Earth. In the current HelMod version 4 the modulation process, based on Parker's equation, is applied to the propagation of GCRs in the inner and outer heliosphere, i.e., including the heliosheath. HelMod was proved to reproduce protons, nuclei and electrons cosmic rays spectra observed during solar cycles 23-24 by several detectors, for instance, PAMELA, BESS and AMS-02. In particular, the unprecedented accuracy of AMS-02 observations allowed one a better tuning of the description regarding the solar modulation mechanisms implemented in HelMod. In addition, HelMod demonstrated to be capable of reproducing the uxes observed by the Voyager probes in the inner and outer regions of heliosphere up to its border.


title: Investigating the Impacts of Stochastic Load Fluctuation on Dynamic Voltage Stability Margin Using Bifurcation Theory

abstract: This paper studies the impacts of stochastic load fluctuations, namely the fluctuation intensity and the changing speed of load power, on the size of the voltage stability margin. To this end, Stochastic Differential-Algebraic Equations (SDAEs) are used to model the stochastic load variation; bifurcation analysis is carried out to explain the influence of stochasticity. Numerical study and Monte Carlo simulations on the IEEE 14-bus system demonstrate that a larger fluctuation intensity or a slower load power changing speed may lead to a smaller voltage stability margin. Particularly, this work may represent the first attempt to reveal the influence of the time evolution property of the driving parameters on the voltage stability margin in power systems.


title: Efficient vaccination strategies for epidemic control using network information

abstract: Network-based interventions against epidemic spread are most powerful when the full network structure is known. However, in practice, resource constraints require decisions to be made based on partial network information. We investigated how the accuracy of network data available at individual and village levels affected network-based vaccination effectiveness. We simulated a Susceptible-Infected-Recovered process on empirical social networks from 75 villages. First, we used regression to predict the percentage of individuals ever infected based on village-level network. Second, we simulated vaccinating 10 percent of each of the 75 empirical village networks at baseline, selecting vaccinees through one of five network-based approaches: random individuals; random contacts of random individuals; random high-degree individuals; highest degree individuals; or most central individuals. The first three approaches require only sample data; the latter two require full network data. We also simulated imposing a limit on how many contacts an individual can nominate (Fixed Choice Design, FCD), which reduces the data collection burden but generates only partially observed networks. We found mean and standard deviation of the degree distribution to strongly predict cumulative incidence. In simulations, the Nomination method reduced cumulative incidence by one-sixth compared to Random vaccination; full network methods reduced infection by two-thirds. The High Degree approach had intermediate effectiveness. Surprisingly, FCD truncating individuals' degrees at three was as effective as using complete networks. Using even partial network information to prioritize vaccines at either the village or individual level substantially improved epidemic outcomes. Such approaches may be feasible and effective in outbreak settings, and full ascertainment of network structure may not be required.


title: Understanding the Limitations of CNN-based Absolute Camera Pose Regression

abstract: Visual localization is the task of accurate camera pose estimation in a known scene. It is a key problem in computer vision and robotics, with applications including self-driving cars, Structure-from-Motion, SLAM, and Mixed Reality. Traditionally, the localization problem has been tackled using 3D geometry. Recently, end-to-end approaches based on convolutional neural networks have become popular. These methods learn to directly regress the camera pose from an input image. However, they do not achieve the same level of pose accuracy as 3D structure-based methods. To understand this behavior, we develop a theoretical model for camera pose regression. We use our model to predict failure cases for pose regression techniques and verify our predictions through experiments. We furthermore use our model to show that pose regression is more closely related to pose approximation via image retrieval than to accurate pose estimation via 3D structure. A key result is that current approaches do not consistently outperform a handcrafted image retrieval baseline. This clearly shows that additional research is needed before pose regression algorithms are ready to compete with structure-based methods.


title: Bounds on Precipitate Hardening of Line and Surface Defects in Solids

abstract: The yield behavior of crystalline solids is determined by the motion of defects like dislocations, twin boundaries and coherent phase boundaries. These solids are hardened by introducing precipitates -- small particles of a second phase. It is generally observed that the motion of line defects like dislocations are strongly inhibited or pinned by precipitates while the motion of surface defects like twin and phase boundaries are minimally affected. In this article, we provide insight why line defects are more susceptible to the effect of precipitates than surface defects. Based on mathematical models that describe both types of motion, we show that for small concentrations of a nearly periodic arrangement of precipitates, the critical force that is required for a surface defect to overcome a precipitate is smaller than that required for a line defect. In particular, the critical forces for surface and line defects scale with the radius of precipitates to the second and first power, respectively.


title: A Grand Unified Parity Solution to Strong CP Problem

abstract: A beyond the standard model theory that respects parity symmetry at short distances is known to provide a solution to the strong CP problem without the need for an axion, while keeping the CKM phase unconstrained. In this paper we present a supersymmetric SO(10) grand unified embedding of this idea with Yukawa couplings generated by {\bf 10}, ${\bf \overline{126}}$ and {\bf 120} Higgs fields. This model is known to provide a unified description of masses and mixings of quarks and leptons. When CP symmetry is imposed on this model, the discrete gauge subgroup C of SO(10) combines with it to generate an effective parity symmetry, leading to hermitian quark mass matrices. Imposing an additional discrete symmetry, $G$, we show that there are no other tree level sources of $\theta$ in the model; $G$ also guarantees that the one- and two-loop contributions to $\theta$ vanish. We then show that the leading three-loop effects and the effect of higher-dimensional operators invariant under $G$ give rise to $\theta$ near the current experimental bound, making the model testable in the current searches for neutron electric dipole moment.


title: An Effective Label Noise Model for DNN Text Classification

abstract: Because large, human-annotated datasets suffer from labeling errors, it is crucial to be able to train deep neural networks in the presence of label noise. While training image classification models with label noise have received much attention, training text classification models have not. In this paper, we propose an approach to training deep networks that is robust to label noise. This approach introduces a non-linear processing layer (noise model) that models the statistics of the label noise into a convolutional neural network (CNN) architecture. The noise model and the CNN weights are learned jointly from noisy training data, which prevents the model from overfitting to erroneous labels. Through extensive experiments on several text classification datasets, we show that this approach enables the CNN to learn better sentence representations and is robust even to extreme label noise. We find that proper initialization and regularization of this noise model is critical. Further, by contrast to results focusing on large batch sizes for mitigating label noise for image classification, we find that altering the batch size does not have much effect on classification performance.


title: Relative entropy for coherent states in chiral CFT

abstract: We consider the relative entropy between the vacuum state and a state obtained by applying an exponentiated stress tensor to the vacuum of a chiral conformal field theory on the lightray. The smearing function of the stress tensor can be viewed as a vector field on the real line generating a diffeomorphism. We show that the relative entropy is equal to $c$ times the so-called Schwarzian action of the diffeomorphism. As an application of this result, we obtain a formula for the relative entropy between the vacuum and a solitonic state.


title: A Spatial Bayesian Semiparametric Mixture Model for Positive Definite Matrices with Applications to Diffusion Tensor Imaging

abstract: Diffusion tensor imaging (DTI) is a popular magnetic resonance imaging technique used to characterize microstructural changes in the brain. DTI studies quantify the diffusion of water molecules in a voxel using an estimated 3x3 symmetric positive definite diffusion tensor matrix. Statistical analysis of DTI data is challenging because the data are positive definite matrices. Matrix-variate information is often summarized by a univariate quantity, such as the fractional anisotropy (FA), leading to a loss of information. Furthermore, DTI analyses often ignore the spatial association of neighboring voxels, which can lead to imprecise estimates. Although the spatial modeling literature is abundant, modeling spatially dependent positive definite matrices is challenging. To mitigate these issues, we propose a matrix-variate Bayesian semiparametric mixture model, where the positive definite matrices are distributed as a mixture of inverse Wishart distributions with the spatial dependence captured by a Markov model for the mixture component labels. Conjugacy and the double Metropolis-Hastings algorithm result in fast and elegant Bayesian computing. Our simulation study shows that the proposed method is more powerful than non-spatial methods. We also apply the proposed method to investigate the effect of cocaine use on brain structure. The contribution of our work is to provide a novel statistical inference tool for DTI analysis by extending spatial statistics to matrix-variate data.


title: Forecasting the Progression of Alzheimer's Disease Using Neural Networks and a Novel Pre-Processing Algorithm

abstract: Alzheimer's disease (AD) is the most common neurodegenerative disease in older people. Despite considerable efforts to find a cure for AD, there is a 99.6% failure rate of clinical trials for AD drugs, likely because AD patients cannot easily be identified at early stages. This project investigated machine learning approaches to predict the clinical state of patients in future years to benefit AD research. Clinical data from 1737 patients was obtained from the Alzheimer's Disease Neuroimaging Initiative (ADNI) database and was processed using the "All-Pairs" technique, a novel methodology created for this project involving the comparison of all possible pairs of temporal data points for each patient. This data was then used to train various machine learning models. Models were evaluated using 7-fold cross-validation on the training dataset and confirmed using data from a separate testing dataset (110 patients). A neural network model was effective (mAUC = 0.866) at predicting the progression of AD on a month-by-month basis, both in patients who were initially cognitively normal and in patients suffering from mild cognitive impairment. Such a model could be used to identify patients at early stages of AD and who are therefore good candidates for clinical trials for AD therapeutics.


title: Grooved Dayem nanobridges as building blocks of high-performance YBa$_2$Cu$_3$O$_{7-\delta}$ SQUID magnetometers

abstract: We present noise measurements performed on a YBa$_2$Cu$_3$O$_{7-\delta}$ nanoscale weak-link-based magnetometer consisting of a Superconducting QUantum Interference Device (SQUID) galvanically coupled to a $3.5 \times 3.5~$mm$^2$ pick-up loop, reaching white flux noise levels and magnetic noise levels as low as $6~\mu\Phi_0 / \sqrt{\mathrm{Hz}}$ and $100$~fT/$\sqrt{\mathrm{Hz}}$ at $T=77$~K, respectively. The low noise is achieved by introducing Grooved Dayem Bridges (GDBs), a new concept of weak-link. A fabrication technique has been developed for the realization of nanoscale grooved bridges, which substitutes standard Dayem bridge weak links. The introduction of these novel key blocks reduces the parasitic inductance of the weak links and increases the differential resistance of the SQUIDs. This greatly improves the device performance, thus resulting in a reduction of the white noise.


title: A Comparison of Prediction Algorithms and Nexting for Short Term Weather Forecasts

abstract: This report first provides a brief overview of a number of supervised learning algorithms for regression tasks. Among those are neural networks, regression trees, and the recently introduced Nexting. Nexting has been presented in the context of reinforcement learning where it was used to predict a large number of signals at different timescales. In the second half of this report, we apply the algorithms to historical weather data in order to evaluate their suitability to forecast a local weather trend. Our experiments did not identify one clearly preferable method, but rather show that choosing an appropriate algorithm depends on the available side information. For slowly varying signals and a proficient number of training samples, Nexting achieved good results in the studied cases.


title: Tunable and robust long-range coherent interactions between quantum emitters mediated by Weyl bound states

abstract: Long-range coherent interactions between quantum emitters are instrumental for quantum information and simulation technologies, but they are generally difficult to isolate from dissipation. Here, we show how such interactions can be obtained in photonic Weyl environments due to the emergence of an exotic bound state whose wavefunction displays power-law spatial confinement. Using an exact formalism, we show how this bound state can mediate coherent transfer of excitations between emitters, with virtually no dissipation and with a transfer rate that follows the same scaling with distance as the bound state wavefunction. In addition, we show that the topological nature of Weyl points translates into two important features of the Weyl bound state, and consequently of the interactions it mediates: first, its range can be tuned without losing the power-law confinement, and, second, they are robust under energy disorder of the bath. To our knowledge, this is the first proposal of a photonic setup that combines simultaneously coherence, tunability, long-range, and robustness to disorder. These findings could ultimately pave the way for the design of more robust long-distance entanglement protocols or quantum simulation implementations for studying long-range interacting systems.


title: On commutative differential graded algebras

abstract: In this paper we undertake a basic study on connective commutative differential graded algebras (CDGA), more precisely, piecewise Noetherian CDGA, which is a DG-counter part of commutative Noetherian algebra. We establish basic results for example, Auslaner-Buchsbaum formula and Bass formula without any unnecessary assumptions. The key notion is the sup-projective (sppj) and inf-injective (ifij) resolutions introduced by the author, which are DG-versions of the projective and injective resolution for ordinary modules. These are different from DG-projective and DG-injective resolutions which is known DG-version of the projective and injective resolution. In the paper, we show that sppj and ifij resolutions are powerful tools to study DG-modules. Many classical result about the projective and injective resolutions can be generalized to DG-setting by using sppj and ifij resolutions. . Among other things we prove a DG-version of Bass's structure theorem of a minimal injective resolution holds for a minimal ifij resolution and a DG-version of the Bass numbers introduced by the same formula with the classical case. We also prove a structure theorem of a minimal ifij resolution of a dualizing complex $D$, which is completely analogues to the structure theorem of a minimal injective resolution of a dualizing complex over an ordinary commutative algebra. Specializing to results about a dualizing complex, we study a Gorenstein CDGA. We generalize a result by Felix-Halperin-Felix-Thomas and Avramov-Foxby which gives conditions that a CDGA $R$ is Gorenstein in terms of its cohomology algebra $\text{H}(R)$.


title: Approximating exponential family models (not single distributions) with a two-network architecture

abstract: Recently much attention has been paid to deep generative models, since they have been used to great success for variational inference, generation of complex data types, and more. In most all of these settings, the goal has been to find a particular member of that model family: optimized parameters index a distribution that is close (via a divergence or classification metric) to a target distribution. Much less attention, however, has been paid to the problem of learning a model itself. Here we introduce a two-network architecture and optimization procedure for learning intractable exponential family models (not a single distribution from those models). These exponential families are learned accurately, allowing operations like posterior inference to be executed directly and generically with an input choice of natural parameters, rather than performing inference via optimization for each particular distribution within that model.


title: Apodized Pupil Lyot Coronagraphs with arbitrary aperture telescopes: novel designs using hybrid focal plane masks

abstract: Exoplanet imaging and spectroscopy are now routinely achieved by dedicated instruments on large ground-based observatories (e.g. Gemini/GPI, VLT/SPHERE, or Subaru/SCExAO). In addition to extreme adaptive optics (ExAO) and post-processing methods, these facilities make use of the most advanced coronagraphs to suppress light of an observed star and enable the observation of circumstellar environments. The Apodized Pupil Lyot Coronagraph (APLC) is one of the leading coronagraphic baseline in the current generation of instruments. This concept combines a pupil apodization, an opaque focal plane mask (FPM), and a Lyot stop. APLC can be optimized for a range of applications and designs exist for on-axis segmented aperture telescopes at $10^{10}$ contrast in broadband light. In this communication, we propose novel designs to push the limits of this concept further by modifying the nature of the FPM from its standard opaque mask to a smaller size occulting spot surrounded by circular phase shifting zones. We present the formalism of this new concept which solutions find two possible applications: 1) upgrades for the current generation of ExAO coronagraphs since these solutions remain compatible with the existing designs and will provide better inner working angle, contrast and throughput, and 2) coronagraphy at $10^{10}$ contrast for future flagship missions such as LUVOIR, with the goal to increase the throughput of the existing designs for the observation of Earth-like planets around nearby stars.


title: Consequences of Tidal Dissipation in a Putative Venusian Ocean

abstract: The solar tide in an ancient Venusian ocean is simulated using a dedicated numerical tidal model. Simulations with varying ocean depth and rotational periods ranging from -243 to 64 sidereal Earth days are used to calculate the tidal dissipation rates and associated tidal torque. The results show that the tidal dissipation could have varied by more than 5 orders of magnitude, from 0.001--780 Gigawatts, depending on rotational period and ocean depth. The associated tidal torque is about 2 orders of magnitude below the present day Venusian atmospheric torque, and could change the Venusian day length by up to 72 days per million years depending on rotation rate. Consequently, an ocean tide on ancient Venus could have had significant effects on the rotational history of the planet. These calculations have implications for the rotational periods of similarly close-in exoplanetary worlds and the location of the inner edge of the liquid water habitable zone.


title: Extrapolating paths with graph neural networks

abstract: We consider the problem of path inference: given a path prefix, i.e., a partially observed sequence of nodes in a graph, we want to predict which nodes are in the missing suffix. In particular, we focus on natural paths occurring as a by-product of the interaction of an agent with a network---a driver on the transportation network, an information seeker in Wikipedia, or a client in an online shop. Our interest is sparked by the realization that, in contrast to shortest-path problems, natural paths are usually not optimal in any graph-theoretic sense, but might still follow predictable patterns. Our main contribution is a graph neural network called Gretel. Conditioned on a path prefix, this network can efficiently extrapolate path suffixes, evaluate path likelihood, and sample from the future path distribution. Our experiments with GPS traces on a road network and user-navigation paths in Wikipedia confirm that Gretel is able to adapt to graphs with very different properties, while also comparing favorably to previous solutions.


title: A fast method for pricing American options under the variance gamma model

abstract: We investigate methods for pricing American options under the variance gamma model. The variance gamma process is a pure jump process which is constructed by replacing the calendar time by the gamma time in a Brownian motion with drift, which makes it a time-changed Brownian motion. In general, the finite difference method and the simulation method can be used for pricing under this model, but their speed is not satisfactory. So there is a need for fast but accurate approximation methods. In the case of Black-Merton-Scholes model, there are fast approximation methods, but they cannot be utilized for the variance gamma model. We develop a new fast method inspired by the quadratic approximation method, while reducing the error by making use of a machine learning technique on pre-calculated quantities. We compare the performance of our proposed method with those of the existing methods and show that this method is efficient and accurate for practical use.


title: EV-IMO: Motion Segmentation Dataset and Learning Pipeline for Event Cameras

abstract: We present the first event-based learning approach for motion segmentation in indoor scenes and the first event-based dataset - EV-IMO - which includes accurate pixel-wise motion masks, egomotion and ground truth depth. Our approach is based on an efficient implementation of the SfM learning pipeline using a low parameter neural network architecture on event data. In addition to camera egomotion and a dense depth map, the network estimates pixel-wise independently moving object segmentation and computes per-object 3D translational velocities for moving objects. We also train a shallow network with just 40k parameters, which is able to compute depth and egomotion. Our EV-IMO dataset features 32 minutes of indoor recording with up to 3 fast moving objects simultaneously in the camera field of view. The objects and the camera are tracked by the VICON motion capture system. By 3D scanning the room and the objects, accurate depth map ground truth and pixel-wise object masks are obtained, which are reliable even in poor lighting conditions and during fast motion. We then train and evaluate our learning pipeline on EV-IMO and demonstrate that our approach far surpasses its rivals and is well suited for scene constrained robotics applications.


title: Simulating feedback mechanisms in patient flow and return visits in an emergency department

abstract: Emergency department (ED) crowding has been an increasing problem worldwide. Prior research has identified factors that contribute to ED crowding. However, the relationships between these remain incompletely understood. This study's objective was to analyse the effects of initiating a local protocol to alleviate crowding situations at the expense of increasing returning patients through the development of a system dynamics (SD) simulation model. The SD study is from an academic care hospital in Boston, MA. Data sources include direct observations, semi-structured interviews, archival data from October 2013, and peer-reviewed literature from the domains of emergency medicine and management science. The SD model shows interrelations between inpatient capacity restraints and return visits due to potential premature discharges. The model reflects the vulnerability of the ED system when exposed to unpredicted increases in demand. Default trigger values for the protocol are tested to determine a balance between increased patient flows and the number of returning patients. Baseline simulation runs for generic variables assessment showed high leverage potential in bed assignment- and transfer times. A thorough understanding of the complex non-linear behaviour of causes and effects of ED crowding is enabled through the use of SD. The vulnerability of the system lies in the crucial interaction between the physical constraints and the expedited patient flows through protocol activation. This study is an example of how hospital managers can benefit from virtual scenario testing within a safe simulation environment to immediately visualise the impacts of policy adjustments.


title: Scaling limits of permutation classes with a finite specification: a dichotomy

abstract: We consider uniform random permutations in classes having a finite combinatorial specification for the substitution decomposition. These classes include (but are not limited to) all permutation classes with a finite number of simple permutations. Our goal is to study their limiting behavior in the sense of permutons. The limit depends on the structure of the specification restricted to families with the largest growth rate. When it is strongly connected, two cases occur. If the associated system of equations is linear, the limiting permuton is a deterministic $X$-shape. Otherwise, the limiting permuton is the Brownian separable permuton, a random object that already appeared as the limit of most substitution-closed permutation classes, among which the separable permutations. Moreover these results can be combined to study some non strongly connected cases. To prove our result, we use a characterization of the convergence of random permutons by the convergence of random subpermutations. Key steps are the combinatorial study, via substitution trees, of families of permutations with marked elements inducing a given pattern, and the singularity analysis of the corresponding generating functions.


title: Indecomposable Jordan types of Loewy length $2$

abstract: Let $k$ be an algebraically closed field, $\mathop{char}(k) = p \geq 2$ and $E_r$ be a $p$-elementary abelian group of rank $r \geq 2$. Let $(c,d) \in \mathbb{N}^2$. We show that there exists an indecomposable module of constant Jordan type $[1]^c [2]^d$ and Loewy length $2$ if and only if $q_{\Gamma_r}(d,d+c) \leq 1$ and $c \geq r-1$, where $q_{\Gamma_r}(x,y) := x^2 + y^2-rxy$ denotes the Tits form of the generalized Kronecker quiver $\Gamma_r$. Since $p > 2$ and constant Jordan type $[1]^c [2]^d$ imply Loewy length $\leq 2$, we get in this case the full classification of Jordan types $[1]^c [2]^d$ that arise from indecomposable modules.


title: Homeomorphisms of unimodal inverse limit spaces with a non-recurrent postcritical point

abstract: In this paper we show that the group of automorphisms of a non-recurrent tent map inverse limit is very simple by demonstrating that every homeomorphism of such a space is isotopic to a power of the induced shift homeomorphism.


title: PZnet: Efficient 3D ConvNet Inference on Manycore CPUs

abstract: Convolutional nets have been shown to achieve state-of-the-art accuracy in many biomedical image analysis tasks. Many tasks within biomedical analysis domain involve analyzing volumetric (3D) data acquired by CT, MRI and Microscopy acquisition methods. To deploy convolutional nets in practical working systems, it is important to solve the efficient inference problem. Namely, one should be able to apply an already-trained convolutional network to many large images using limited computational resources. In this paper we present PZnet, a CPU-only engine that can be used to perform inference for a variety of 3D convolutional net architectures. PZNet outperforms MKL-based CPU implementations of PyTorch and Tensorflow by more than 3.5x for the popular U-net architecture. Moreover, for 3D convolutions with low featuremap numbers, cloud CPU inference with PZnet outperfroms cloud GPU inference in terms of cost efficiency.


title: Subjectivity and complexity of facial attractiveness

abstract: The origin and meaning of facial beauty represent a longstanding puzzle. Despite the profuse literature devoted to facial attractiveness, its very nature, its determinants and the nature of inter-person differences remain controversial issues. Here we tackle such questions proposing a novel experimental approach in which human subjects, instead of rating natural faces, are allowed to efficiently explore the face-space and 'sculpt' their favorite variation of a reference facial image. The results reveal that different subjects prefer distinguishable regions of the face-space, highlighting the essential subjectivity of the phenomenon.The different sculpted facial vectors exhibit strong correlations among pairs of facial distances, characterising the underlying universality and complexity of the cognitive processes, and the relative relevance and robustness of the different facial distances.


title: The Energy-dependent $\gamma$-ray Morphology of the Crab Nebula Observed with the Fermi Large Area Telescope

abstract: The Crab Nebula is a bright emitter of non-thermal radiation across the entire accessible range of wavelengths. The spatial and spectral structures of the synchrotron nebula are well-resolved from radio to hard X-ray emission. The un-pulsed emission at GeV to TeV energies is mostly produced via inverse-Compton scattering of energetic electrons with the synchrotron-emitted photons. The spatial structure observed at these energies provides insights into the distribution of electrons and indirectly constrains the so-far unknown structure of the magnetic field in the nebula. Analyzing the LAT data accumulated over $\sim$9.1 years with a properly refined model for the Crab pulsar's spectrum, we determined the 68\% containment radius ($R_{68}$) of the Crab Nebula to be $({0.0330\pm0.0025_{stat}}{^{+0.0012}_{-0.0075}}_{sys})^\circ$ (${1.98'\pm0.15'_{stat}}{^{+0.07'}_{-0.45'}}_{sys}$) in the 5--500 GeV band. The estimated systematic uncertainty is based on two factors: (1) different analysis methods, morphological models and event types, and (2) the point-spread-function evaluated with observations of Mkn 421. When comparing the \emph{Fermi} LAT and H.E.S.S. results on the spatial extension, we find evidence for an energy-dependent shrinking of the Crab Nebula's $\gamma$-ray extension ($R_{68}\propto E_\mathrm{IC}^{-\alpha}$ where $\alpha=0.155\pm0.035_{stat}{-0.037}_{sys}$).


title: Stability of the conical K\"ahler-Ricci flows on Fano manifolds

abstract: In this paper, we study the stability of the conical K\"ahler-Ricci flows on Fano manifolds. That is, if there exists a conical K\"ahler-Einstein metric with cone angle $2\pi\beta$ along the divisor, then for any $\beta'$ sufficiently close to $\beta$, the corresponding conical K\"ahler-Ricci flow converges to a conical K\"ahler-Einstein metric with cone angle $2\pi\beta'$ along the divisor. Here, we only use the condition that the Log Mabuchi energy is bounded from below. This is a weaker condition than the properness that we have adopted to study the convergence before. As corollaries, we give parabolic proofs of Donaldson's openness theorem and his existence conjecture for the conical K\"ahler-Einstein metrics with positive Ricci curvatures.


title: Countable inverse limits of postcritical \omega-limit sets of unimodal maps

abstract: Let f be a unimodal map of the interval with critical point c. If the orbit of c is not dense then most points in lim{[0,1],f} have neighborhoods that are homeomorphic with the product of a Cantor set and an open arc. The points without this property are called inhomogeneities, and the set, I, of inhomogeneities is equal to lim {{\omega}(c),f| {\omega}(c) }. In this paper we consider the relationship between the limit complexity of {\omega}(c) and the limit complexity of I. We show that if {\omega}(c) is more complicated than a finite collection of convergent sequences then I can have arbitrarily high limit complexity. We give a complete description of the limit complexity of I for any possible {\omega}(c).


title: Efficient and Extensible Policy Mining for Relationship-Based Access Control

abstract: Relationship-based access control (ReBAC) is a flexible and expressive framework that allows policies to be expressed in terms of chains of relationship between entities as well as attributes of entities. ReBAC policy mining algorithms have a potential to significantly reduce the cost of migration from legacy access control systems to ReBAC, by partially automating the development of a ReBAC policy. Existing ReBAC policy mining algorithms support a policy language with a limited set of operators; this limits their applicability. This paper presents a ReBAC policy mining algorithm designed to be both (1) easily extensible (to support additional policy language features) and (2) scalable. The algorithm is based on Bui et al.'s evolutionary algorithm for ReBAC policy mining algorithm. First, we simplify their algorithm, in order to make it easier to extend and provide a methodology that extends it to handle new policy language features. However, extending the policy language increases the search space of candidate policies explored by the evolutionary algorithm, thus causes longer running time and/or worse results. To address the problem, we enhance the algorithm with a feature selection phase. The enhancement utilizes a neural network to identify useful features. We use the result of feature selection to reduce the evolutionary algorithm's search space. The new algorithm is easy to extend and, as shown by our experiments, is more efficient and produces better policies.


title: Counting independent sets and colorings on random regular bipartite graphs

abstract: We give a fully polynomial-time approximation scheme (FPTAS) to count the number of independent sets on almost every $\Delta$-regular bipartite graph if $\Delta\ge 53$. In the weighted case, for all sufficiently large integers $\Delta$ and weight parameters $\lambda=\tilde\Omega\left(\frac{1}{\Delta}\right)$, we also obtain an FPTAS on almost every $\Delta$-regular bipartite graph. Our technique is based on the recent work of Jenssen, Keevash and Perkins (SODA, 2019) and we also apply it to confirm an open question raised there: For all $q\ge 3$ and sufficiently large integers $\Delta=\Delta(q)$, there is an FPTAS to count the number of $q$-colorings on almost every $\Delta$-regular bipartite graph.


title: Dynamics of a Massive Binary at Birth

abstract: Almost all massive stars have bound stellar companions, existing in binaries or higher-order multiples. While binarity is theorized to be an essential feature of how massive stars form, essentially all information about such properties is derived from observations of already formed stars, whose orbital properties may have evolved since birth. Little is known about binarity during formation stages. Here we report high angular resolution observations of 1.3 mm continuum and H30alpha recombination line emission, which reveal a massive protobinary with apparent separation of 180 au at the center of the massive star-forming region IRAS07299-1651. From the line-of-sight velocity difference of 9.5 km/s of the two protostars, the binary is estimated to have a minimum total mass of 18 solar masses, consistent with several other metrics, and maximum period of 570 years, assuming a circular orbit. The H30alpha line from the primary protostar shows kinematics consistent with rotation along a ring of radius of 12 au. The observations indicate that disk fragmentation at several hundred au may have formed the binary, and much smaller disks are feeding the individual protostars.


title: Computational Astrocyence: Astrocytes encode inhibitory activity into the frequency and spatial extent of their calcium elevations

abstract: Deciphering the complex interactions between neurotransmission and astrocytic $Ca^{2+}$ elevations is a target promising a comprehensive understanding of brain function. While the astrocytic response to excitatory synaptic activity has been extensively studied, how inhibitory activity results to intracellular $Ca^{2+}$ waves remains elusive. In this study, we developed a compartmental astrocytic model that exhibits distinct levels of responsiveness to inhibitory activity. Our model suggested that the astrocytic coverage of inhibitory terminals defines the spatial and temporal scale of their $Ca^{2+}$ elevations. Understanding the interplay between the synaptic pathways and the astrocytic responses will help us identify how astrocytes work independently and cooperatively with neurons, in health and disease.


title: LYRICS: a General Interface Layer to Integrate Logic Inference and Deep Learning

abstract: In spite of the amazing results obtained by deep learning in many applications, a real intelligent behavior of an agent acting in a complex environment is likely to require some kind of higher-level symbolic inference. Therefore, there is a clear need for the definition of a general and tight integration between low-level tasks, processing sensorial data that can be effectively elaborated using deep learning techniques, and the logic reasoning that allows humans to take decisions in complex environments. This paper presents LYRICS, a generic interface layer for AI, which is implemented in TersorFlow (TF). LYRICS provides an input language that allows to define arbitrary First Order Logic (FOL) background knowledge. The predicates and functions of the FOL knowledge can be bound to any TF computational graph, and the formulas are converted into a set of real-valued constraints, which participate to the overall optimization problem. This allows to learn the weights of the learners, under the constraints imposed by the prior knowledge. The framework is extremely general as it imposes no restrictions in terms of which models or knowledge can be integrated. In this paper, we show the generality of the approach showing some use cases of the presented language, including model checking, supervised learning and collective classification.


title: Green InGaN/GaN LEDs: High luminance and blue shift

abstract: We report in this paper electro-optical results on InGaN/GaN based green micro light-emitting diodes ({\mu}LEDs). Current light-voltage measurements reveal that the external quantum efficiency (EQE) behavior versus charge injection does not follow the ABC model prediction. Light-emission homogeneity investigation, carried out by photoluminescence mapping, shows that the Quantum Confinement Starck Effect (QCSE) is less significant at the edges of {\mu}LEDs. Electroluminescence shows a subsequent color green-to-blue deviation at high carrier injection levels. The extracted spectra at different current injection levels tend to show the appearance of discrete wavelength emissions. These observations may enhance the hypothesis that higher-energy excited-levels in InGaN quantum wells may also contribute to the blue shift, solely attributed to QCSE lessening under intense electric field magnitudes. We hereby present first results dealing with green {\mu}LEDs electro-optical performances with regards to their size.