title: A Deep Learning-based Fine-grained Hierarchical Learning Approach for Robust Malware Classification

abstract: The wide acceptance of Internet of Things (IoT) for both household and industrial applications is accompanied by several security concerns. A major security concern is their probable abuse by adversaries towards their malicious intent. Understanding and analyzing IoT malicious behaviors is crucial, especially with their rapid growth and adoption in wide-range of applications. However, recent studies have shown that machine learning-based approaches are susceptible to adversarial attacks by adding junk codes to the binaries, for example, with an intention to fool those machine learning or deep learning-based detection systems. Realizing the importance of addressing this challenge, this study proposes a malware detection system that is robust to adversarial attacks. To do so, examine the performance of the state-of-the-art methods against adversarial IoT software crafted using the graph embedding and augmentation techniques. In particular, we study the robustness of such methods against two black-box adversarial methods, GEA and SGEA, to generate Adversarial Examples (AEs) with reduced overhead, and keeping their practicality intact. Our comprehensive experimentation with GEA-based AEs show the relation between misclassification and the graph size of the injected sample. Upon optimization and with small perturbation, by use of SGEA, all the IoT malware samples are misclassified as benign. This highlights the vulnerability of current detection systems under adversarial settings. With the landscape of possible adversarial attacks, we then propose DL-FHMC, a fine-grained hierarchical learning approach for malware detection and classification, that is robust to AEs with a capability to detect 88.52% of the malicious AEs.


title: Gate- and Light-Tunable Negative Differential Resistance with High Peak Current Density in 1T-TaS$_2$/2H-MoS$_2$ T-Junction

abstract: Metal-based electronics is attractive for fast and radiation-hard electronic circuits and remains one of the longstanding goals for researchers. The emergence of 1T-TaS$_2$, a layered material exhibiting strong charge density wave (CDW) driven resistivity switching that can be controlled by an external stimulus such as electric field and optical pulses, has triggered a renewed interest in metal-electronics. Here we demonstrate a negative differential resistor (NDR) using electrically driven CDW phase transition in an asymmetrically designed T-junction made up of 1T-TaS$_2$/2H-MoS$_2$ van der Waals heterostructure. The principle of operation of the proposed device is governed by majority carrier transport and is distinct from usual NDR devices employing tunneling of carriers, thus avoids the bottleneck of weak tunneling efficiency in van der Waals heterojunctions. Consequently, we achieve a peak current density in excess of $10^5$ nA$\mu$m$^{-2}$, which is about two orders of magnitude higher than that obtained in typical layered material based NDR implementations. The peak current density can be effectively tuned by an external gate voltage as well as photo-gating. The device is robust against ambiance-induced degradation and the characteristics repeat in multiple measurements over a period of more than a month. The findings are attractive for the implementation of active metal-based functional circuits.


title: A Secure Fog Based Architecture for Industrial Internet of Things and Industry 4.0

abstract: The advent of Industrial IoT (IIoT) along with Cloud computing has brought a huge paradigm shift in manufacturing industries resulting in yet another industrial revolution, Industry 4.0. Huge amounts of delay-sensitive data of diverse nature are being generated which needs to be locally processed and secured due to its sensitivity. But, the low-end IoT devices are unable to handle huge computational overheads. Also, the semi-trusted nature of Cloud introduces several security concerns. To address these issues, this work proposes a secure Fog-based IIoT architecture by suitably plugging a number of security features into it and by offloading some of the tasks judiciously to fog nodes. These features secure the system alongside reducing the trust and burden on the cloud and resource-constrained devices respectively. We validate our proposed architecture through both theoretical overhead analysis and practical experimentation including simulation study and testbed implementation.


title: Applying Droplets and Films in Evaporative Lithography

abstract: This review covers experimental results of evaporative lithography and analyzes existing mathematical models of this method. Evaporating droplets and films are used in different fields, such as cooling of heated surfaces of electronic devices, diagnostics in health care, creation of transparent conductive coatings on flexible substrates, and surface patterning. A method called evaporative lithography emerged after the connection between the coffee ring effect taking place in drying colloidal droplets and naturally occurring inhomogeneous vapor flux densities from liquid--vapor interfaces was established. Essential control of the colloidal particle deposit patterns is achieved in this method by producing ambient conditions that induce a nonuniform evaporation profile from the colloidal liquid surface. Evaporative lithography is part of a wider field known as "evaporative-induced self-assembly" (EISA). EISA involves methods based on contact line processes, methods employing particle interaction effects, and evaporative lithography. As a rule, evaporative lithography is a flexible and single-stage process with such advantages as simplicity, low price, and the possibility of application to almost any substrate without pretreatment. Since there is no mechanical impact on the template in evaporative lithography, the template integrity is preserved in the process. The method is also useful for creating materials with localized functions, such as slipperiness and self-healing. For these reasons, evaporative lithography attracts increasing attention and has a number of noticeable achievements at present. We also analyze limitations of the approach and ways of its further development.


title: On the convergence of algorithms with Tikhonov regularization terms

abstract: We consider the strongly convergent modified versions of the Krasnosel'ski\u{\i}-Mann, the forward-backward and the Douglas-Rachford algorithms with Tikhonov regularization terms, introduced by Radu Bo\c{t}, Ern\"{o} Csetnek and Dennis Meier. We obtain quantitative information for these modified iterations, namely rates of asymptotic regularity and metastability. Furthermore, our arguments avoid the use of sequential weak compactness and use only a weak form of the projection argument.


title: Named Entity Recognition as Dependency Parsing

abstract: Named Entity Recognition (NER) is a fundamental task in Natural Language Processing, concerned with identifying spans of text expressing references to entities. NER research is often focused on flat entities only (flat NER), ignoring the fact that entity references can be nested, as in [Bank of [China]] (Finkel and Manning, 2009). In this paper, we use ideas from graph-based dependency parsing to provide our model a global view on the input via a biaffine model (Dozat and Manning, 2017). The biaffine model scores pairs of start and end tokens in a sentence which we use to explore all spans, so that the model is able to predict named entities accurately. We show that the model works well for both nested and flat NER through evaluation on 8 corpora and achieving SoTA performance on all of them, with accuracy gains of up to 2.2 percentage points.


title: Towards Understanding the Adversarial Vulnerability of Skeleton-based Action Recognition

abstract: Skeleton-based action recognition has attracted increasing attention due to its strong adaptability to dynamic circumstances and potential for broad applications such as autonomous and anonymous surveillance. With the help of deep learning techniques, it has also witnessed substantial progress and currently achieved around 90\% accuracy in benign environment. On the other hand, research on the vulnerability of skeleton-based action recognition under different adversarial settings remains scant, which may raise security concerns about deploying such techniques into real-world systems. However, filling this research gap is challenging due to the unique physical constraints of skeletons and human actions. In this paper, we attempt to conduct a thorough study towards understanding the adversarial vulnerability of skeleton-based action recognition. We first formulate generation of adversarial skeleton actions as a constrained optimization problem by representing or approximating the physiological and physical constraints with mathematical formulations. Since the primal optimization problem with equality constraints is intractable, we propose to solve it by optimizing its unconstrained dual problem using ADMM. We then specify an efficient plug-in defense, inspired by recent theories and empirical observations, against the adversarial skeleton actions. Extensive evaluations demonstrate the effectiveness of the attack and defense method under different settings.


title: Vortex in liquid films from concentrated surfactant solutions containing micelles and colloidal particles

abstract: Hypothesis: New dynamic phenomena can be observed in evaporating free liquid films from colloidal solutions with bimodal particle size distribution. Such distributions are formed in a natural way in mixed (slightly turbid) solutions of cationic and anionic surfactants, where nanosized micelles coexist with micronsized precipitated particles. Experiment: Without evaporation of water, the films thin down to thickness < 100 nm. Upon water evaporation from the film, one observes spontaneous film thickening (above 300 nm) and appearance of a dynamic vortex with a spot of thinner film in the center. The vortex wall has a stepwise profile with step-height equal to the effective micelle diameter (ca. 8 nm) and up to 20-30 stratification steps. Results: For thicknesses greater than 100 nm, stratification in foam films from micellar solutions has never been observed so far. It evidences for the formation of a thick colloidal crystal of micelles in the evaporating film. The role of the bigger, micronsized particles is to form a filtration cake in the Plateau border, which supports the thick film. The developed quantitative mechanical model shows that the stepwise vortex profile is stabilized by the balance of hydrodynamic and surface tension forces. Vortex is observed not only in films from catanionic surfactant solutions, but also in films from silica and latex particle suspensions, which contain smaller surfactant micelles.


title: Window function dependence of the novel mass function of primordial black holes

abstract: We investigate the ambiguity of the novel mass function of primordial black holes, which has succeeded in identifying the black hole mass in a given configuration of fluctuations, due to the choice of window function of smoothed density fluctuations. We find that while the window function dependence of the exponential factor in the novel mass function is the same as the one in the conventional mass function around the top-hat scale, the dependences are different on other scales, which leads to the narrower mass function in the novel formulation for some window functions.


title: Cluster patterns in Landau and Leading Singularities via the Amplituhedron

abstract: We advance the exploration of cluster-algebraic patterns in the building blocks of scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory. In particular we conjecture that, given a maximal cut of a loop amplitude, Landau singularities and poles of each Yangian invariant appearing in any representation of the corresponding Leading Singularities can be found together in a cluster. We check these adjacencies for all one-loop amplitudes up to 9 points. Along the way, we also prove that all (rational) N$^2$MHV Yangian invariants are cluster adjacent, confirming original conjectures.


title: Supernova neutrino detection in NOvA

abstract: The NOvA long-baseline neutrino experiment uses a pair of large, segmented, liquid-scintillator calorimeters to study neutrino oscillations, using GeV-scale neutrinos from the Fermilab NuMI beam. These detectors are also sensitive to the flux of neutrinos which are emitted during a core-collapse supernova through inverse beta decay interactions on carbon at energies of $\mathcal{O}(10~\text{MeV})$. This signature provides a means to study the dominant mode of energy release for a core-collapse supernova occurring in our galaxy. We describe the data-driven software trigger system developed and employed by the NOvA experiment to identify and record neutrino data from nearby galactic supernovae. This technique has been used by NOvA to self-trigger on potential core-collapse supernovae in our galaxy, with an estimated sensitivity reaching out to 10~kpc distance while achieving a detection efficiency of 23\% to 49\% for supernovae from progenitor stars with masses of 9.6\~M$_\odot$ to 27\~M$_\odot$, respectively.


title: Competing in a Complex Hidden Role Game with Information Set Monte Carlo Tree Search

abstract: Advances in intelligent game playing agents have led to successes in perfect information games like Go and imperfect information games like Poker. The Information Set Monte Carlo Tree Search (ISMCTS) family of algorithms outperforms previous algorithms using Monte Carlo methods in imperfect information games. In this paper, Single Observer Information Set Monte Carlo Tree Search (SO-ISMCTS) is applied to Secret Hitler, a popular social deduction board game that combines traditional hidden role mechanics with the randomness of a card deck. This combination leads to a more complex information model than the hidden role and card deck mechanics alone. It is shown in 10108 simulated games that SO-ISMCTS plays as well as simpler rule based agents, and demonstrates the potential of ISMCTS algorithms in complicated information set domains.


title: You Do Not Need More Data: Improving End-To-End Speech Recognition by Text-To-Speech Data Augmentation

abstract: Data augmentation is one of the most effective ways to make end-to-end automatic speech recognition (ASR) perform close to the conventional hybrid approach, especially when dealing with low-resource tasks. Using recent advances in speech synthesis (text-to-speech, or TTS), we build our TTS system on an ASR training database and then extend the data with synthesized speech to train a recognition model. We argue that, when the training data amount is relatively low, this approach can allow an end-to-end model to reach hybrid systems' quality. For an artificial low-to-medium-resource setup, we compare the proposed augmentation with the semi-supervised learning technique. We also investigate the influence of vocoder usage on final ASR performance by comparing Griffin-Lim algorithm with our modified LPCNet. When applied with an external language model, our approach outperforms a semi-supervised setup for LibriSpeech test-clean and only 33% worse than a comparable supervised setup. Our system establishes a competitive result for end-to-end ASR trained on LibriSpeech train-clean-100 set with WER 4.3% for test-clean and 13.5% for test-other.


title: Training Strategies for Autoencoder-based Detection of False Data Injection Attacks

abstract: The security of energy supply in a power grid critically depends on the ability to accurately estimate the state of the system. However, manipulated power flow measurements can potentially hide overloads and bypass the bad data detection scheme to interfere the validity of estimated states. In this paper, we use an autoencoder neural network to detect anomalous system states and investigate the impact of hyperparameters on the detection performance for false data injection attacks that target power flows. Experimental results on the IEEE 118 bus system indicate that the proposed mechanism has the ability to achieve satisfactory learning efficiency and detection accuracy.


title: SAW: A Tool for Safety Analysis of Weakly-hard Systems

abstract: We introduce SAW, a tool for safety analysis of weakly-hard systems, in which traditional hard timing constraints are relaxed to allow bounded deadline misses for improving design flexibility and runtime resiliency. Safety verification is a key issue for weakly-hard systems, as it ensures system safety under allowed deadline misses. Previous works are either for linear systems only, or limited to a certain type of nonlinear systems (e.g., systems that satisfy exponential stability and Lipschitz continuity of the system dynamics). In this work, we propose a new technique for infinite-time safety verification of general nonlinear weakly-hard systems. Our approach first discretizes the safe state set into grids and constructs a directed graph, where nodes represent the grids and edges represent the reachability relation. Based on graph theory and dynamic programming, our approach can effectively find the safe initial set (consisting of a set of grids), from which the system can be proven safe under given weakly-hard constraints. Experimental results demonstrate the effectiveness of our approach, when compared with the state-of-the-art. An open source implementation of our tool is available at https://github.com/551100kk/SAW. The virtual machine where the tool is ready to run can be found at https://www.csie.ntu.edu.tw/~r08922054/SAW.ova.


title: XACs-DyPol: Towards an XACML-based Access Control Model for Dynamic Security Policy

abstract: Authorization and access control play an essential role in protecting sensitive information from malicious users. The system is based on security policies to determine if an access request is allowed. However, of late, the growing popularity of big data has created a new challenge which the security policy management is facing with such as dynamic and update policies in run time. Applications of dynamic policies have brought many benefits to modern domains. To the best of our knowledge, there are no previous studies focusing on solving authorization problems in the dynamic policy environments. In this article, we focus on analyzing and classifying when an update policy occurs, and provide a pragmatic solution for such dynamic policies. The contribution of this work is twofold: a novel solution for managing the policy changes even when the access request has been granted, and an XACML-based implementation to empirically evaluate the proposed solution. The experimental results show the comparison between the newly introduced XACs-DyPol framework with Balana (an open source framework supporting XACML 3.0). The datasets are XACML 3.0-based policies, including three samples of real-world policy sets. According to the comparison results, our XACs-DyPol framework performs better than Balana in terms of all updates in dynamic security policy cases. Specially, our proposed solution outperforms by an order of magnitude when the policy structure includes complex policy sets, policies, and rules or some complicated comparison expression which contains higher than function and less than function.


title: A structure theorem for generalized-noncontextual ontological models

abstract: It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model. Existing works on generalized noncontextuality have focused on experimental scenarios having a simple structure: typically, prepare-measure scenarios. Here, we formally extend the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios. We leverage a process-theoretic framework to prove that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure -- in short, it corresponds to a frame representation which is not overcomplete. One consequence of this theorem is that the largest number of ontic states possible in any such model is given by the dimension of the associated generalized probabilistic theory. This constraint is useful for generating noncontextuality no-go theorems as well as techniques for experimentally certifying contextuality. Along the way, we extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios. Specifically, we prove a correspondence between the following three notions of classical explainability of an operational theory: (i) existence of a noncontextual ontological model for it, (ii) existence of a positive quasiprobability representation for the generalized probabilistic theory it defines, and (iii) existence of an ontological model for the generalized probabilistic theory it defines.


title: NAT: Noise-Aware Training for Robust Neural Sequence Labeling

abstract: Sequence labeling systems should perform reliably not only under ideal conditions but also with corrupted inputs - as these systems often process user-generated text or follow an error-prone upstream component. To this end, we formulate the noisy sequence labeling problem, where the input may undergo an unknown noising process and propose two Noise-Aware Training (NAT) objectives that improve robustness of sequence labeling performed on perturbed input: Our data augmentation method trains a neural model using a mixture of clean and noisy samples, whereas our stability training algorithm encourages the model to create a noise-invariant latent representation. We employ a vanilla noise model at training time. For evaluation, we use both the original data and its variants perturbed with real OCR errors and misspellings. Extensive experiments on English and German named entity recognition benchmarks confirmed that NAT consistently improved robustness of popular sequence labeling models, preserving accuracy on the original input. We make our code and data publicly available for the research community.


title: Monotonicity-based inversion of fractional semilinear elliptic equations with power type nonlinearities

abstract: We investigate the monotonicity method for fractional semilinear elliptic equations with power type nonlinearities. We prove that if-and-only-if monotonicity relations between coefficients and the derivative of the Dirichlet-to-Neumann map hold. Based on the strong monotonicity relations, we study a constructive global uniqueness for coefficients and inclusion detection for the fractional Calder\'on type inverse problem. Meanwhile, we can also derive the Lipschitz stability with finitely many measurements. The results hold for any $n\geq 1$.


title: On the Outage Performance of Ambient Backscatter Communications

abstract: Ambient backscatter communications (AmBackComs) have been recognized as a spectrum- and energy-efficient technology for Internet of Things, as it allows passive backscatter devices (BDs) to modulate their information into the legacy signals, e.g., cellular signals, and reflect them to their associated receivers while harvesting energy from the legacy signals to power their circuit operation. {\color{black} However, the co-channel interference between the backscatter link and the legacy link and the non-linear behavior of energy harvesters at the BDs have largely been ignored in the performance analysis of AmBackComs. Taking these two aspects, this paper provides a comprehensive outage performance analysis for an AmBackCom system with multiple backscatter links}, where one of the backscatter links is opportunistically selected to leverage the legacy signals transmitted in a given resource block. For any selected backscatter link, we propose an adaptive reflection coefficient (RC), which is adapted to the non-linear energy harvesting (EH) model and the location of the selected backscatter link, to minimize the outage probability of the backscatter link. In order to study the impact of co-channel interference on both backscatter and legacy links, for a selected backscatter link, we derive the outage probabilities for the legacy link and the backscatter link. Furthermore, we study the best and worst outage performances for the backscatter system where the selected backscatter link maximizes or minimizes the signal-to-interference-plus noise ratio (SINR) at the backscatter receiver. We also study the best and worst outage performances for the legacy link where the selected backscatter link results in the lowest and highest co-channel interference to the legacy receiver, respectively.


title: High Mach number limit for Korteweg fluids with density dependent viscosity

abstract: The aim of this paper is to investigate the regime of high Mach number flows for compressible barotropic fluids of Korteweg type with density dependent viscosity. In particular we consider the models for isothermal capillary and quantum compressible fluids. For the capillary case we prove the existence of weak solutions and related properties for the system without pressure, and the convergence of the solution in the high Mach number limit. This latter is proved also in the quantum case for which a weak-strong uniqueness analysis is also discussed in the framework of the so-called "augmented" version of the system. Moreover, as byproduct of our results, in the case of a capillary fluid with a special choice of the initial velocity datum, we obtain an interesting property concerning the propagation of vacuum zones.


title: Uniformly High-Order Structure-Preserving Discontinuous Galerkin Methods for Euler Equations with Gravitation: Positivity and Well-Balancedness

abstract: This paper presents a class of novel high-order accurate discontinuous Galerkin (DG) schemes for the compressible Euler equations under gravitational fields. A notable feature of these schemes is that they are well-balanced for a general hydrostatic equilibrium state, and at the same time, provably preserve the positivity of density and pressure. In order to achieve the well-balanced and positivity-preserving properties simultaneously, a novel DG spatial discretization is carefully designed with suitable source term reformulation and a properly modified Harten-Lax-van Leer contact (HLLC) flux. Based on some technical decompositions as well as several key properties of the admissible states and HLLC flux, rigorous positivity-preserving analyses are carried out. It is proven that the resulting well-balanced DG schemes, coupled with strong stability preserving time discretizations, satisfy a weak positivity property, which implies that one can apply a simple existing limiter to effectively enforce the positivity-preserving property, without losing high-order accuracy and conservation. The proposed methods and analyses are applicable to the Euler system with general equation of state. Extensive one- and two-dimensional numerical tests demonstrate the desired properties of these schemes, including the exact preservation of the equilibrium state, the ability to capture small perturbation of such state, the robustness for solving problems involving low density and/or low pressure, and good resolution for smooth and discontinuous solutions.

categories: math.NA astro-ph.IM cs.NA physics.comp-ph physics.flu-dyn


title: The binary digits of n+t

abstract: The binary sum-of-digits function $s$ counts the number of ones in the binary expansion of a nonnegative integer. For any nonnegative integer $t$, T.~W.~Cusick defined the asymptotic density $c_t$ of integers $n\geq 0$ such that \[s(n+t)\geq s(n).\] In 2011, he conjectured that $c_t>1/2$ for all $t$ -- the binary sum of digits should, more often than not, weakly increase when a constant is added. In this paper, we prove that there exists an explicit constant $M_0$ such that indeed $c_t>1/2$ if the binary expansion of $t$ contains at least $M_0$ maximal blocks of contiguous ones, leaving open only the "initial cases" -- few maximal blocks of ones -- of this conjecture. Moreover, we sharpen a result by Emme and Hubert (2019), proving that the difference $s(n+t)-s(n)$ behaves according to a Gaussian distribution, up to an error tending to $0$ as the number of maximal blocks of ones in the binary expansion of $t$ grows.


title: Active Space Pair 2-Electron Reduced Density Matrix Theory for Strong Correlation

abstract: An active space variational calculation of the 2-electron reduced density matrix (2-RDM) is derived and implemented where the active orbitals are correlated within the pair approximation. The pair approximation considers only doubly occupied configurations of the wavefunction which enables the calculation of the 2-RDM at a computational cost of $\mathcal{O}(r^3)$. Calculations were performed both with the pair active space configuration interaction (PASCI) method and the pair active space self consistent field (PASSCF) method. The latter includes a mixing of the active and inactive orbitals through unitary transformations. The active-space pair 2-RDM method is applied to the nitrogen molecule, the p-benzyne diradical, a newly synthesized BisCobalt complex, and the nitrogenase cofactor FeMoco. The FeMoco molecule is treated in a [120,120] active space. Fractional occupations are recovered in each of these systems, indicating the detection and recovery of strong electron correlation.


title: Experimental quantum decoherence control by dark states of the environment

abstract: Coherent interaction of a quantum system with environment usually induces quantum decoherence. However, remarkably, in certain configurations the coherent system-environment coupling can be simultaneously explored to engineer a specific dark state of the environment that eliminates the decoherence. Here we report on experimental demonstration of such protocol for suppression of quantum decoherence by quantum decoherence itself. The protocol is based on indirect control of the environment via quantum measurements on quantum probes interacting with the environment prior to the system that should be protected. No direct manipulation with the environment is required to suppress the decoherence. In our proof-of-principle experiment, we demonstrate protection of a single qubit coupled to another single qubit. We implement the required quantum circuits with linear optics and single photons, which allows us to maintain very high degree of control and flexibility in the experiment. Our results clearly confirm the decoherence suppression achieved by the protocol and pave the way to its application to other physical platforms.


title: New analytic continuations for the Appell $F_4$ series from quadratic transformations of the Gauss $_{2}F_1$ function

abstract: We present new analytic continuation formulas for the Appell $F_4(a,b;c,d;x,y)$ double hypergeometric series where $d=a-b+1$, which allows quadratic transformations of the Gauss ${}_2F_1$ hypergeometric function to be used in the intermediate steps of the derivation. Such formulas are of relevance to loop calculations of quantum field theory where they can been used, for instance, to obtain new series representations of the two-loop massive sunset Feynman diagram. The analytic continuation procedure introduced in this paper is also sufficiently general so as to find uses elsewhere.


title: The Model-Specific Markov Embedding Problem for Symmetric Group-Based Models

abstract: We study model embeddability, which is a variation of the famous embedding problem in probability theory, when apart from the requirement that the Markov matrix is the matrix exponential of a rate matrix, we additionally ask that the rate matrix follows the model structure. We provide a characterisation of model embeddable Markov matrices corresponding to symmetric group-based phylogenetic models. In particular, we provide necessary and sufficient conditions in terms of the eigenvalues of symmetric group-based matrices. To showcase our main result on model embeddability, we provide an application to hachimoji models, which are eight-state models for synthetic DNA. Moreover, our main result on model embeddability enables us to compute the volume of the set of model embeddable Markov matrices relative to the volume of other relevant sets of Markov matrices within the model.


title: Triangle presentations and tilting modules for $\text{SL}_{2k+1}$

abstract: Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of a locally finite building of type $\tilde{\text{A}}_{n-1}$ ($n\ge3$). From a type $\tilde{\text{A}}_{n-1}$ triangle presentation on a geometry of order $q$, we construct a fiber functor on the diagrammatic monoidal category $\text{Web}(\text{SL}^{-}_{n})$ over any field $\mathbb{k}$ with characteristic $p\ge n-1$ such that $q \equiv 1$ mod $p$. When $\mathbb{k}$ is algebraically closed and $n$ odd, this gives new fiber functors on the category of tilting modules for $\text{SL}_{n}$.


title: Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

abstract: We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an integrated toolchain for tasks spanning the design process, including modeling, falsification, debugging, and ML component retraining. We evaluate all of these applications in an industrial case study on an experimental autonomous aircraft taxiing system developed by Boeing, which uses a neural network to track the centerline of a runway. We define runway scenarios using the Scenic probabilistic programming language, and use them to drive tests in the X-Plane flight simulator. We first perform falsification, automatically finding environment conditions causing the system to violate its specification by deviating significantly from the centerline (or even leaving the runway entirely). Next, we use counterexample analysis to identify distinct failure cases, and confirm their root causes with specialized testing. Finally, we use the results of falsification and debugging to retrain the network, eliminating several failure cases and improving the overall performance of the closed-loop system.


title: Estimating predictive uncertainty for rumour verification models

abstract: The inability to correctly resolve rumours circulating online can have harmful real-world consequences. We present a method for incorporating model and data uncertainty estimates into natural language processing models for automatic rumour verification. We show that these estimates can be used to filter out model predictions likely to be erroneous, so that these difficult instances can be prioritised by a human fact-checker. We propose two methods for uncertainty-based instance rejection, supervised and unsupervised. We also show how uncertainty estimates can be used to interpret model performance as a rumour unfolds.


title: 6d (2,0) and M-theory at 1-loop

abstract: We study the stress tensor multiplet four-point function in the 6d maximally supersymmetric $(2,0)$ $A_{N-1}$ and $D_N$ theories, which have no Lagrangian description, but in the large $N$ limit are holographically dual to weakly coupled M-theory on $AdS_7\times S^4$ and $AdS_7\times S^4/\mathbb{Z}_2$, respectively. We use the analytic bootstrap to compute the 1-loop correction to this holographic correlator coming from Witten diagrams with supergravity $R$ and the first higher derivative correction $R^4$ vertices, which is the first 1-loop correction computed for a non-Lagrangian theory. We then take the flat space limit and find precise agreement with the corresponding terms in the 11d M-theory S-matrix, some of which we compute for the first time using two-particle unitarity cuts.


title: Ergodic theorems for laminations and foliations: recent results and perspectives

abstract: This report discusses recent results as well as new perspectives in the ergodic theory for Riemann surface laminations, with an emphasis on singular holomorphic foliations by curves. The central notions of these developments are leafwise Poincar\'e metric, directed positive harmonic currents, multiplicative cocycles and Lyapunov exponents. We deal with various ergodic theorems for such laminations: Random and Operator Ergodic Theorems, (Geometric) Birkhoff Ergodic Theorems, Oseledec Multiplicative Ergodic Theorem and Unique Ergodicity Theorems. Applications of these theorems are also given. In particular, we define and study the canonical Lyapunov exponents for a large family of singular holomorphic foliations on compact projective surfaces. Topological and algebro-geometric interpretations of these characteristic numbers are also treated. These results highlight the strong similarity as well as the fundamental differences between the ergodic theory of maps and that of Riemann surface laminations. Most of the results reported here are known. However, sufficient conditions for abstract heat diffusions to coincide with the leafwise heat diffusions (Subsection 5.2) are new ones.


title: A Note on One-loop Cluster Adjacency in N = 4 SYM

abstract: We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency properties of Pl\"ucker coordinates, quadratic cluster variables, and NMHV Yangian invariants that generalize the notion of weak separation.


title: OctSqueeze: Octree-Structured Entropy Model for LiDAR Compression

abstract: We present a novel deep compression algorithm to reduce the memory footprint of LiDAR point clouds. Our method exploits the sparsity and structural redundancy between points to reduce the bitrate. Towards this goal, we first encode the LiDAR points into an octree, a data-efficient structure suitable for sparse point clouds. We then design a tree-structured conditional entropy model that models the probabilities of the octree symbols to encode the octree into a compact bitstream. We validate the effectiveness of our method over two large-scale datasets. The results demonstrate that our approach reduces the bitrate by 10-20% at the same reconstruction quality, compared to the previous state-of-the-art. Importantly, we also show that for the same bitrate, our approach outperforms other compression algorithms when performing downstream 3D segmentation and detection tasks using compressed representations. Our algorithm can be used to reduce the onboard and offboard storage of LiDAR points for applications such as self-driving cars, where a single vehicle captures 84 billion points per day


title: Effective bounds for monochromatic connectivity measures in two dimensions

abstract: We establish numerical lower bounds for the monochromatic connectivity measure in two dimensions introduced by Sarnak and Wigman. This measure dictates among the nodal domains of a random plane wave what proportion have any given number of holes, and how they are nested. Our bounds provide the first effective estimate for the number of simply connected domains and for those that contain a single hole. The deterministic aspect of the proof is to find a single function with a prescribed zero set and, using a quantitative form of the implicit function theorem, to argue that the same configuration occurs in the zero set of any sufficiently close approximation to this function. The probabilistic aspect is to quantify the likelihood of a random wave being close enough to this function.


title: Simpson's paradox in Covid-19 case fatality rates: a mediation analysis of age-related causal effects

abstract: We point out an instantiation of Simpson's paradox in Covid-19 case fatality rates (CFRs): comparing a large-scale study from China (17 Feb) with early reports from Italy (9 Mar), we find that CFRs are lower in Italy for every age group, but higher overall. This phenomenon is explained by a stark difference in case demographic between the two countries. Using this as a motivating example, we introduce basic concepts from mediation analysis and show how these can be used to quantify different direct and indirect effects when assuming a coarse-grained causal graph involving country, age, and case fatality. We curate an age-stratified CFR dataset with >750k cases and conduct a case study, investigating total, direct, and indirect (age-mediated) causal effects between different countries and at different points in time. This allows us to separate age-related effects from others unrelated to age and facilitates a more transparent comparison of CFRs across countries at different stages of the Covid-19 pandemic. Using longitudinal data from Italy, we discover a sign reversal of the direct causal effect in mid-March which temporally aligns with the reported collapse of the healthcare system in parts of the country. Moreover, we find that direct and indirect effects across 132 pairs of countries are only weakly correlated, suggesting that a country's policy and case demographic may be largely unrelated. We point out limitations and extensions for future work, and, finally, discuss the role of causal reasoning in the broader context of using AI to combat the Covid-19 pandemic.


title: On Means of Near Continued Fractions

abstract: In this work, we present continued fractions for the arithmetic, geometric, harmonic and cotangent means of $[a_0,a_1,\dots,a_k]$ and $[a_0,a_1,\dots,a_k,a_{k+1}]$, and some of their applications.


title: Hydrogen clustering in bcc metals: atomic origin and strong stress anisotropy

abstract: Hydrogen (H) induced damage in metals has been a long-standing woe for many industrial applications. One form of such damage is linked to H clustering, for which the atomic origin remains contended, particularly for non-hydride forming metals. In this work, we systematically studied H clustering behavior in bcc metals represented by W, Fe, Mo, and Cr, combining first-principles calculations, atomistic and Monte Carlo simulations. H clustering has been shown to be energetically favorable, and can be strongly facilitated by anisotropic stress field, dominated by the tensile component along one of the <001> crystalline directions. We showed that the stress effect can be well predicted by the continuum model based on H formation volume tensor, and that H clustering is thermodynamically possible at edge dislocations, evidenced by nanohydride formation at rather low levels of H concentration. Moreover, anisotropy in the stress effect is well reflected in nanohydride morphology around dislocations, with nanohydride growth occurring in the form of thin platelet structures that maximize one <001> tension. In particular, the <001> type edge dislocation, with the <001> tensile component maximized, has been shown to be highly effective in facilitating H aggregation, thus expected to play an important role in H clustering in bcc metals, in close agreement with recent experimental observations. This work explicitly and quantitatively clarifies the anisotropic nature of stress effect on H energetics and H clustering behaviors, offering mechanistic insights critical towards understanding H-induced damages in metals.


title: Pivotal Objects in Monoidal Categories and Their Hopf Monads

abstract: An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which intertwine with $P$ and $Q$ in a compatible manner. We show that this category lifts the monoidal structure of $\mathcal{C}$ and the closed structure of $\mathcal{C}$, when $\mathcal{C}$ is closed. If $\mathcal{C}$ has suitable colimits we show that $\mathcal{C}(P,Q)$ is monadic and thereby construct a family of Hopf monads on arbitrary closed monoidal categories $\mathcal{C}$. We also introduce the pivotal cover of a monoidal category and extend our work to arbitrary pivotal diagrams.


title: Communication-Efficient Gradient Coding for Straggler Mitigation in Distributed Learning

abstract: Distributed implementations of gradient-based methods, wherein a server distributes gradient computations across worker machines, need to overcome two limitations: delays caused by slow running machines called 'stragglers', and communication overheads. Recently, Ye and Abbe [ICML 2018] proposed a coding-theoretic paradigm to characterize a fundamental trade-off between computation load per worker, communication overhead per worker, and straggler tolerance. However, their proposed coding schemes suffer from heavy decoding complexity and poor numerical stability. In this paper, we develop a communication-efficient gradient coding framework to overcome these drawbacks. Our proposed framework enables using any linear code to design the encoding and decoding functions. When a particular code is used in this framework, its block-length determines the computation load, dimension determines the communication overhead, and minimum distance determines the straggler tolerance. The flexibility of choosing a code allows us to gracefully trade-off the straggler threshold and communication overhead for smaller decoding complexity and higher numerical stability. Further, we show that using a maximum distance separable (MDS) code generated by a random Gaussian matrix in our framework yields a gradient code that is optimal with respect to the trade-off and, in addition, satisfies stronger guarantees on numerical stability as compared to the previously proposed schemes. Finally, we evaluate our proposed framework on Amazon EC2 and demonstrate that it reduces the average iteration time by 16% as compared to prior gradient coding schemes.


title: Extremes of locally stationary Gaussian and chi fields on manifolds

abstract: Depending on a parameter $h\in (0,1]$, let $\{X_h(\mathbf{t})$, $\mathbf{t}\in\mathcal{M}_h\}$ be a class of centered Gaussian fields indexed by compact manifolds $\mathcal{M}_h$. For locally stationary Gaussian fields $X_h$, we study the asymptotic excursion probabilities of $X_h$ on $\mathcal{M}_h$. Two cases are considered: (i) $h$ is fixed and (ii) $h\rightarrow0$. These results are extended to obtain the limit behaviors of the extremes of locally stationary $\chi$-fields on manifolds.


title: Efficient and Scalable Bayesian Neural Nets with Rank-1 Factors

abstract: Bayesian neural networks (BNNs) demonstrate promising success in improving the robustness and uncertainty quantification of modern deep learning. However, they generally struggle with underfitting at scale and parameter efficiency. On the other hand, deep ensembles have emerged as alternatives for uncertainty quantification that, while outperforming BNNs on certain problems, also suffer from efficiency issues. It remains unclear how to combine the strengths of these two approaches and remediate their common issues. To tackle this challenge, we propose a rank-1 parameterization of BNNs, where each weight matrix involves only a distribution on a rank-1 subspace. We also revisit the use of mixture approximate posteriors to capture multiple modes, where unlike typical mixtures, this approach admits a significantly smaller memory increase (e.g., only a 0.4% increase for a ResNet-50 mixture of size 10). We perform a systematic empirical study on the choices of prior, variational posterior, and methods to improve training. For ResNet-50 on ImageNet, Wide ResNet 28-10 on CIFAR-10/100, and an RNN on MIMIC-III, rank-1 BNNs achieve state-of-the-art performance across log-likelihood, accuracy, and calibration on the test sets and out-of-distribution variants.


title: Promotion Sorting

abstract: Sch\"{u}tzenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$; in particular, we show that for every labeling $L$ of an $n$-element poset $P$, the labeling $\partial^{n-1}(L)$ is a linear extension of $P$. Thus, we can view the dynamical system defined by $\partial$ as a sorting procedure that sorts labelings into linear extensions. For all $0\leq k\leq n-1$, we characterize the $n$-element posets $P$ that admit labelings that require at least $n-k-1$ iterations of $\partial$ in order to become linear extensions. The case in which $k=0$ concerns labelings that require the maximum possible number of iterations in order to be sorted; we call these labelings tangled. We explicitly enumerate tangled labelings for a large class of posets that we call inflated rooted forest posets. For an arbitrary finite poset, we show how to enumerate the sortable labelings, which are the labelings $L$ such that $\partial(L)$ is a linear extension.


title: Can we use next-generation gravitational wave detectors for terrestrial precision measurements of Shapiro delay?

abstract: Shapiro time delay is one of the fundamental tests of general relativity and post-Newtonian theories of gravity. Consequently, its measurements can be used to probe the parameter $\gamma$ which is related to spacetime curvature produced by a unit mass in the post-Newtonian formalism of gravity. To date all measurements of time delay have been conducted on astronomical scales. It was asserted in 2010 that gravitational wave detectors on Earth could be used to measure Shapiro delay on a terrestrial scale via massive rotating systems. Building on that work, we consider how measurements of Shapiro delay can be made using next-generation gravitational wave detectors. We perform an analysis for measuring Shapiro delay with the next-generation gravitational wave detectors Cosmic Explorer and Einstein Telescope to determine how precisely the effect can be measured. Using a rotating mass unit design, we find that Cosmic Explorer and Einstein Telescope can measure the Shapiro delay signal with amplitude signal to noise ratios upwards of $\sim28 $ and $\sim43$ in 1 year of integration time, respectively. By measuring Shapiro delay with this technique, next-generation interferometers will allow for terrestrial measurements of $\gamma$ in the paramaterized post-Newtonian formalism of gravity with sub-percent precision.


title: Thermal states are vital: Entanglement Wedge Reconstruction from Operator-Pushing

abstract: We give a general construction of a setup that verifies bulk reconstruction, conservation of relative entropies, and equality of modular flows between the bulk and the boundary, for infinite-dimensional systems with operator-pushing. In our setup, a bulk-to-boundary map is defined at the level of the $C^*$-algebras of state-independent observables. We then show that if the boundary dynamics allow for the existence of a KMS state, physically relevant Hilbert spaces and von Neumann algebras can be constructed directly from our framework. Our construction should be seen as a state-dependent construction of the other side of a wormhole and clarifies the meaning of black hole reconstruction claims such as the Papadodimas-Raju proposal. As an illustration, we apply our result to construct a wormhole based on the HaPPY code, which satisfies all properties of entanglement wedge reconstruction.


title: Applying a Formal Method in Industry: a 25-Year Trajectory

abstract: Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. Hence the feedback provided by industry to academics is not as constructive as it might be. Summarizing a 25-year return of experience in the effective application of a formal method - namely B and Event-B - in diverse application domains (railways, smartcard, automotive), this article makes clear why and where formal methods have been applied, explains the added value obtained so far, and tries to anticipate the future of these two formalisms for safety critical systems.


title: Low Cost High Integrity Platform

abstract: Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during short-term projects. The CLEARSY Safety Platform fulfils a need for a technical solution to overcome the difficulties to develop SIL3/SIL4 system with its technology based on a double-processor and a formal method with proof to ensure safety at the highest level. The formal method, namely the B method, has been heavily used in the railways industry for decades. Using its IDE, Atelier B, to program the CLEARSY Safety Platform ensures a higherlevel of confidence on the software generated. This paper presents this platform aimed at revolutionising the development of safety critical systems, developed through the FUI project LCHIP (Low Cost High Integrity Platform).


title: Influence of oceanic turbulence on propagation of autofocusing Airy beam with power exponential phase vortex

abstract: According to Rytov approximation theory, we derive the analytical expression of the detection probability of the autofocusing Airy beam (AAB) with powerexponent-phase carrying orbital angular momentum (OAM) mode, AAB-PEPV. We analyze the influence of oceanic turbulence on the propagation characteristics of the AAB-PEPV. The results show that the AAB-PEPV beam has a higher detection probability at the receiver when the anisotropic ocean turbulence has a larger unit mass fluid dynamic energy dissipation rate, a larger internal ratio factor, and a higher anisotropy factor. At the same time, the detection probability decreases with the temperature change dissipation rate, the temperature and salinity contribution to the refractive index spectrum. In addition, the larger power exponential phase and the longer wavelength the AAB-PEPV beam has, the better anti-interference the AAB-PEPV beam has.


title: A fully automated dual-tip scanning near-field optical microscope for localized optical excitation and detection in the visible and near-infrared

abstract: Near-field optical microscopes with two independent tips for simultaneous excitation and detection can be essential tools for studying localized optical phenomena on the subwavelength scale. Here, we report on the implementation of a fully automated and robust dual-tip scanning near-field optical microscope (SNOM), in which the excitation tip is stationary, while the detection tip automatically scans the surrounding area. To monitor and control the distance between the two probes, mechanical interactions due to shear forces are used. We experimentally investigate suitable scan parameters and find that the automated dual-tip SNOM can operate stably for a wide range of parameters. To demonstrate the potential of the automated dual-tip SNOM, we characterize the propagation of surface plasmon polaritons on a gold film for visible and near-infrared wavelengths. The good agreement of the measurements with numerical simulations verifies the capability of the dual-tip SNOM for the near-field characterization of localized optical phenomena.


title: Comment on: "Neutron star under homotopy perturbation method" Ann. Phys. 409 (2019) 167918

abstract: In this comment we discuss the application of homotopy perturbation method to a nonlinear differential mass equation that solves the Tolman-Oppenheimer-Volkoff equation for an isotropic and spherically symmetric system. We show that one obtains the same results, more easily and straightforwardly, by means of a textbook power-series method.


title: Installation and Commissioning of the GlueX DIRC

abstract: The GlueX experiment takes place in experimental Hall D at Jefferson Lab (JLab). With a linearly polarized photon beam of up to 12 GeV energy, GlueX is a dedicated experiment to search for hybrid mesons via photoproduction reactions. The low-intensity (Phase I) of GlueX was recently completed; the high-intensity (Phase II) started in 2020 including an upgraded particle identification system, known as the DIRC (Detection of Internally Reflected Cherenkov light), utilizing components from the decommissioned BaBar experiment. The identification and separation of the kaon final states will significantly enhance the GlueX physics program, by adding the capability of accessing the strange quark flavor content of conventional (and potentially hybrid) mesons. In these proceedings, we report that the installation and commissioning of the DIRC detector has been successfully completed.


title: Epileptic Seizure Forecasting: Probabilistic seizure-risk assessment and data-fusion

abstract: Epileptic seizure forecasting, combined with the delivery of preventative therapies, holds the potential to greatly improve the quality of life for epilepsy patients and their caregivers. Forecasting seizures could prevent some potentially catastrophic consequences such as injury and death in addition to a long list of potential clinical benefits it may provide for patient care in hospitals. The challenge of seizure forecasting lies within the seemingly unpredictable transitions of brain dynamics into the ictal state. The main body of computational research on determining seizure risk has been focused solely on prediction algorithms, which involves a remarkable issue of balancing accuracy and false-alarms. In this paper, we developed a seizure-risk warning system that employs Bayesian convolutional neural network (BCNN) to provide meaningful information to the patient and provide a greater opportunity for him/her to be potentially more in charge of his/her health. We use scalp electroencephalogram (EEG) signals and release information on the certainty of our automatic seizure-risk assessment. In the process, we pave the ground-work towards incorporating auxiliary signals to improve our EEG-based seizure-risk assessment system. Our previous CNN results show an average AUC of 74.65% while we could achieve on an EEG-only BCNN an average AUC of 68.70%. This drop in performance is the cost of providing richer information to the patient at this stage of this research.


title: From $\mathcal{N}=4$ Super-Yang-Mills on $\mathbb{RP}^4$ to bosonic Yang-Mills on $\mathbb{RP}^2$

abstract: We study the four-dimensional $\mathcal{N}=4$ super-Yang-Mills (SYM) theory on the unorientable spacetime manifold $\mathbb{RP}^4$. Using supersymmetric localization, we find that for a large class of local and extended SYM observables preserving a common supercharge $\mathcal{Q}$, their expectation values are captured by an effective two-dimensional bosonic Yang-Mills (YM) theory on an $\mathbb{RP}^2$ submanifold. This paves the way for understanding $\mathcal{N}=4$ SYM on $\mathbb{RP}^4$ using known results of YM on $\mathbb{RP}^2$. As an illustration, we derive a matrix integral form of the SYM partition function on $\mathbb{RP}^4$ which, when decomposed into discrete holonomy sectors, contains subtle phase factors due to the nontrivial $\eta$-invariant of the Dirac operator on $\mathbb{RP}^4$. We also comment on potential applications of our setup for AGT correspondence, integrability and bulk-reconstruction in AdS/CFT that involve cross-cap states on the boundary.


title: Resource requirements for efficient quantum communication using all-photonic graph states generated from a few matter qubits

abstract: Quantum communication technologies show great promise for applications ranging from the secure transmission of secret messages to distributed quantum computing. Due to fiber losses, long-distance quantum communication requires the use of quantum repeaters, for which there exist quantum memory-based schemes and all-photonic schemes. While all-photonic approaches based on graph states generated from linear optics avoid coherence time issues associated with memories, they outperform repeater-less protocols only at the expense of a prohibitively large overhead in resources. Here, we consider using matter qubits to produce the photonic graph states and analyze in detail the trade-off between resources and performance, as characterized by the achievable secret key rate per matter qubit. We show that fast two-qubit entangling gates between matter qubits and high photon collection and detection efficiencies are the main ingredients needed for the all-photonic protocol to outperform both repeater-less and memory-based schemes.


title: A Gas Giant Planet in the OGLE-2006-BLG-284L Stellar Binary System

abstract: We present the analysis of microlensing event OGLE-2006-BLG-284, which has a lens system that consists of two stars and a gas giant planet with a mass ratio of $q_p = (1.26\pm 0.19) \times 10^{-3}$ to the primary. The mass ratio of the two stars is $q_s = 0.289\pm 0.011$, and their projected separation is $s_s = 2.1\pm 0.7\,$AU, while the projected separation of the planet from the primary is $s_p = 2.2\pm 0.8\,$AU. For this lens system to have stable orbits, the three-dimensional separation of either the primary and secondary stars or the planet and primary star must be much larger than that these projected separations. Since we do not know which is the case, the system could include either a circumbinary or a circumstellar planet. Because there is no measurement of the microlensing parallax effect or lens system brightness, we can only make a rough Bayesian estimate of the lens system masses and brightness. We find host star and planet masses of $M_{L1} = 0.35^{+0.30}_{-0.20}\,M_\odot$, $M_{L2} = 0.10^{+0.09}_{-0.06}\,M_\odot$, and $m_p = 144^{+126}_{-82}\,M_\oplus$, and the $K$-band magnitude of the combined brightness of the host stars is $K_L = 19.7^{+0.7}_{-1.0}$. The separation between the lens and source system will be $\sim 90\,$mas in mid-2020, so it should be possible to detect the host system with follow-up adaptive optics or Hubble Space Telescope observations.


title: Visible Decay of Astrophysical Neutrinos at IceCube

abstract: Neutrino decay modifies neutrino propagation in a unique way; not only is there flavor changing as there is in neutrino oscillations, there is also energy transport from initial to final neutrinos. The most sensitive direct probe of neutrino decay is currently IceCube which can measure the energy and flavor of neutrinos traveling over extragalactic distances. For the first time we calculate the flavor transition probability for the cases of visible and invisible neutrino decay, including the effects of the expansion of the universe, and consider the implications for IceCube. As an example, we demonstrate how neutrino decay addresses a tension in the IceCube data. We also provide a publicly available code to calculate the effect of visible decay.


title: Stationary scalar and vector clouds around Kerr-Newman black holes

abstract: Massive bosons in the vicinity of Kerr-Newman black holes can form pure bound states when their phase angular velocity fulills the synchronisation condition, i.e. at the threshold of superradiance. The presence of these stationary clouds at the linear level is intimately linked to the existence of Kerr black holes with synchronised hair at the non-linear level. These configurations are very similar to the atomic orbitals of the electron in a hydrogen atom. They can be labeled by four quantum numbers: $n$, the number of nodes in the radial direction; $\ell$, the orbital angular momentum; $j$, the total angular momentum; and $m_j$, the azimuthal total angular momentum. These synchronised configurations are solely allowed for particular values of the black hole's mass, angular momentum and electric charge. Such quantization results in an existence surface in the three-dimensional parameter space of Kerr-Newman black holes. The phenomenology of stationary scalar clouds has been widely addressed over the last years. However, there is a gap in the literature concerning their vector cousins. Following the separability of the Proca equation in Kerr(-Newman) spacetime, this work explores and compares scalar and vector stationary clouds around Kerr and Kerr-Newman black holes, extending previous research.


title: Pre-training technique to localize medical BERT and enhance biomedical BERT

abstract: Pre-training large-scale neural language models on raw texts has made a significant contribution to improving transfer learning in natural language processing (NLP). With the introduction of transformer-based language models, such as bidirectional encoder representations from transformers (BERT), the performance of information extraction from a free text by NLP has significantly improved for both the general domain and medical domain; however, it is difficult to train specific BERT models that perform well for domains in which there are few publicly available databases of high quality and large size. We hypothesized that this problem can be addressed by up-sampling a domain-specific corpus and using it for pre-training with a larger corpus in a balanced manner. Our proposed method consists of a single intervention with one option: simultaneous pre-training after up-sampling and amplified vocabulary. We conducted three experiments and evaluated the resulting products. We confirmed that our Japanese medical BERT outperformed conventional baselines and the other BERT models in terms of the medical document classification task and that our English BERT pre-trained using both the general and medical-domain corpora performed sufficiently well for practical use in terms of the biomedical language understanding evaluation (BLUE) benchmark. Moreover, our enhanced biomedical BERT model, in which clinical notes were not used during pre-training, showed that both the clinical and biomedical scores of the BLUE benchmark were 0.3 points above that of the ablation model trained without our proposed method. Well-balanced pre-training by up-sampling instances derived from a corpus appropriate for the target task allows us to construct a high-performance BERT model.


title: TESS Data for Asteroseismology: Timing verification

abstract: The Transiting Exoplanet Survey Satellite (TESS) is NASA's latest space telescope dedicated to the discovery of transiting exoplanets around nearby stars. Besides the main goal of the mission, asteroseismology is an important secondary goal and very relevant for the high-quality time series that TESS will make during its two year all-sky survey. Using TESS for asteroseismology introduces strong timing requirements, especially for coherent oscillators. Although the internal clock on board TESS is precise in its own time, it might have a constant drift and will thus need calibration, or offsets might inadvertently be introduced. Here we present simultaneously ground- and space-based observations of primary eclipses of several binary systems in the Southern ecliptic hemisphere, used to verify the reliability of the TESS timestamps. From twelve contemporaneous TESS/ground observations we determined a time offset equal to 5.8 +/- 2.5 sec, in the sense that the Barycentric time measured by TESS is ahead of real time. The offset is consistent with zero at 2.3-sigma level. In addition, we used 405 individually measured mid-eclipse times of 26 eclipsing binary stars observed solely by TESS to test the existence of a potential drift with a monotonic growth (or decay) affecting the observations of all stars. We find a drift corresponding to sigma_drift = 0.009 +/- 0.015 sec/day. We find that the measured offset is of a size that will not become an issue for comparing ground-based and space data for coherent oscillations for most of the targets observed with TESS.


title: Dissipative nonequilibrium synchronization of topological edge states via self-oscillation

abstract: The interplay of synchronization and topological band structures with symmetry protected midgap states under the influence of driving and dissipation is largely unexplored. Here we consider a trimer chain of electron shuttles, each consisting of a harmonic oscillator coupled to a quantum dot positioned between two electronic leads. Each shuttle is subject to thermal dissipation and undergoes a bifurcation towards self-oscillation with a stable limit cycle if driven by a bias voltage between the leads. By mechanically coupling the oscillators together, we observe synchronized motion at the ends of the chain, which can be explained using a linear stability analysis. Due to the inversion symmetry of the trimer chain, these synchronized states are topologically protected against local disorder. Furthermore, with current experimental feasibility, the synchronized motion can be observed by measuring the dot occupation of each shuttle. Our results open a new avenue to enhance the robustness of synchronized motion by exploiting topology.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech nlin.CD


title: Quantum Phase Transition in the Yukawa-SYK Model

abstract: We study the quantum phase transition upon variation of the fermionic density $\nu$ in a solvable model with random Yukawa interactions between $N$ bosons and $M$ fermions, dubbed the Yukawa-SYK model. We show that there are two distinct phases in the model: an incompressible state with gapped excitations and an exotic quantum-critical, non-Fermi liquid state with exponents varying with $\nu$. We show analytically and numerically that the quantum phase transition between these two states is first-order, as for some range of $\nu$ the NFL state has a negative compressibility. In the limit $N/M\to \infty$ the first-order transition gets weaker and asymptotically becomes second-order, with an exotic quantum-critical behavior. We show that fermions and bosons display highly unconventional spectral behavior in the transition region.


title: The 21 cm-kSZ-kSZ Bispectrum during the Epoch of Reionization

abstract: The high-redshift 21 cm signal from the Epoch of Reionization (EoR) is a promising observational probe of the early universe. Current- and next-generation radio interferometers such as the Hydrogen Epoch of Reionization Array (HERA) and Square Kilometre Array (SKA) are projected to measure the 21 cm auto power spectrum from the EoR. Another observational signal of this era is the kinetic Sunyaev-Zel'dovich (kSZ) signal in the cosmic microwave background (CMB), which will be observed by the upcoming Simons Observatory (SO) and CMB-S4 experiments. The 21 cm signal and the contribution to the kSZ from the EoR are expected to be anti-correlated, the former coming from regions of neutral gas in the intergalactic medium and the latter coming from ionized regions. However, the naive cross-correlation between the kSZ and 21 cm maps suffers from a cancellation that occurs because ionized regions are equally likely to be moving toward or away from the observer and so there is no net correlation with the 21 cm signal. We present here an investigation of the 21 cm-kSZ-kSZ bispectrum, which should not suffer the same cancellation as the simple two-point cross-correlation. We show that there is a significant and non-vanishing signal that is sensitive to the reionization history, suggesting the statistic may be used to confirm or infer the ionization fraction as a function of redshift. In the absence of foreground contamination, we forecast that this signal is detectable at high statistical significance with HERA and SO. The bispectrum we study suffers from the fact that the kSZ signal is sensitive only to Fourier modes with long-wavelength line-of-sight components, which are generally lost in the 21 cm data sets owing to foreground contamination. We discuss possible strategies for alleviating this contamination, including an alternative four-point statistic that may help circumvent this issue.


title: Statistical Floquet prethermalization of the Bose-Hubbard model

abstract: The manipulation of many-body systems often involves time-dependent forces that cause unwanted heating. One strategy to suppress heating is to use time-periodic (Floquet) forces at large driving frequencies. For quantum spin systems with bounded spectra, it was shown rigorously that the heating rate is exponentially small in the driving frequency. Recently, the exponential suppression of heating has also been observed in an experiment with ultracold atoms, realizing a periodically driven Bose-Hubbard model. This model has an unbounded spectrum and, hence, is beyond the reach of previous theoretical approaches. Here, we study this model with two semiclassical approaches valid, respectively, at large and weak interaction strengths. In both limits, we compute the heating rates by studying the statistical probability to encounter a many-body resonance, and obtain a quantitative agreement with the exact diagonalization of the quantum model. Our approach demonstrates the relevance of statistical arguments to Floquet perthermalization of interacting many-body quantum systems.


title: Effects of self-consistent rest-ultraviolet colours in semi-empirical galaxy formation models

abstract: Connecting the observed rest-ultraviolet (UV) luminosities of high-$z$ galaxies to their intrinsic luminosities (and thus star formation rates) requires correcting for the presence of dust. We bypass a common dust-correction approach that uses empirical relationships between infrared (IR) emission and UV colours, and instead augment a semi-empirical model for galaxy formation with a simple -- but self-consistent -- dust model and use it to jointly fit high-$z$ rest-UV luminosity functions (LFs) and colour-magnitude relations ($M_{\mathrm{UV}}$-$\beta$). In doing so, we find that UV colours evolve with redshift (at fixed UV magnitude), as suggested by observations, even in cases without underlying evolution in dust production, destruction, absorption, or geometry. The observed evolution in our model arises due to the reduction in the mean stellar age and rise in specific star formation rates with increasing $z$. The UV extinction, $A_{\mathrm{UV}}$, evolves similarly with redshift, though we find a systematically shallower relation between $A_{\mathrm{UV}}$ and $M_{\mathrm{UV}}$ than that predicted by IRX-$\beta$ relationships derived from $z \sim 3$ galaxy samples. Finally, assuming that high $1600 \r{A}$ transmission ($\gtrsim 0.6$) is a reliable LAE indicator, modest scatter in the effective dust surface density of galaxies can explain the evolution both in $M_{\mathrm{UV}}$-$\beta$ and LAE fractions. These predictions are readily testable by deep surveys with the James Webb Space Telescope.


title: Cardy's Conjecture and the Spectrum of Infrared Strongly-Coupled Quantum Field Theories

abstract: Cardy's conjecture about the evolution of the trace anomaly under renormalization group (RG) flows is re-interpreted as an exact, non-perturbative statement about the scaling dimension of terms in the Lagrangian of the theory. When viewed in this way, the conjecture implies that field theories which are strongly coupled in the infrared (IR) may generically host states that are not manifest as solutions to the ultraviolet (UV) complete theory's equations of motion. In particular, the scaling dimension of operators in the Hamiltonian may deviate from their classical values by $\mathcal{O}(1)$ corrections in the IR, circumventing an old argument by Derrick about the non-existence of such states\cite{1}. We show that this framework provides a natural way to estimate the masses of these states using perturbation theory, and suggests a preferred reorganization of the degrees of freedom in the IR.


title: LAMOST Medium-Resolution Spectroscopic Survey (LAMOST-MRS): Scientific goals and survey plan

abstract: Since September 2018, LAMOST starts a new 5-year medium-resolution spectroscopic survey (MRS) using bright/gray nights. We present the scientific goals of LAMOST-MRS and propose a near optimistic strategy of the survey. A complete footprint is also provided. Not only the regular medium-resolution survey, but also a time-domain spectroscopic survey is being conducted since 2018 and will be end in 2023. According to the detailed survey plan, we expect that LAMOST-MRS can observe about 2 million stellar spectra with ~7500 and limiting magnitude of around G=15 mag. Moreover, it will also provide about 200 thousand stars with averagely 60-epoch observations and limiting magnitude of G~14 mag. These high quality spectra will give around 20 elemental abundances, rotational velocities, emission line profiles as well as precise radial velocity with uncertainty less than 1 km/s. With these data, we expect that LAMOST can effectively leverage sciences on stellar physics, e.g. exotic binary stars, detailed observation of many types of variable stars etc., planet host stars, emission nebulae, open clusters, young pre-main-sequence stars etc.


title: The Noise of Gravitons

abstract: We show that when the gravitational field is treated quantum-mechanically, it induces fluctuations -- noise -- in the lengths of the arms of gravitational wave detectors. The characteristics of the noise depend on the quantum state of the gravitational field, and can be calculated exactly in several interesting cases. For coherent states the noise is very small, but it can be greatly enhanced in thermal and (especially) squeezed states. Detection of this fundamental noise would constitute direct evidence for the quantization of gravity and the existence of gravitons.


title: Momentum space spinning correlators and higher spin equations in three dimensions

abstract: In this article, we explicitly compute in momentum space the three and four-point correlation functions involving scalar and spinning operators in the free bosonic and the free fermionic theory in three dimensions. We also evaluate the five-point function of the scalar operator in the free bosonic theory. We discuss techniques which are more efficient than the usual PV reduction to evaluate one loop integrals. Our techniques can be easily generalised to momentum space correlators of complicated spinning operators and to higher point functions. The three dimensional fermionic theory has the interesting feature that the scalar operator $\bar\psi\psi$ is odd under parity. To account for this, we develop a parity odd basis which is useful to write correlation functions involving spinning operators and an odd number of $\bar\psi\psi$ operators. We further study higher spin (HS) equations in momentum space which are algebraic in nature and hence simpler than their position space counterparts. We use them to solve for three-point functions involving spinning operators without invoking conformal invariance. However, at the level of four-point functions, solving the HS equation requires additional constraints that come from conformal invariance and we could only verify that our explicit results solve the HS equation.


title: Rational functions of Degree Four that Permute the Projective Line over a Finite Field

abstract: Recently, rational functions of degree three that permute the projective line $\Bbb P^1(\Bbb F_q)$ over a finite field $ \Bbb F_q$ were determined by Ferraguti and Micheli. In the present paper, using a different method, we determine all rational functions of degree four that permute the $\Bbb P^1(\Bbb F_q)$.


title: Comment on "Two notes on imbedded prime divisors"

abstract: In this note, we show that a part of [5, Remark 2.2] is not correct. Some conditions are given under which the same holds.


title: The origin of the escape of Lyman alpha and ionizing photons in Lyman Continuum Emitters

abstract: Identifying the mechanisms driving the escape of Lyman Continuum (LyC) photons is crucial to find Lyman Continuum Emitter (LCE) candidates. To understand the physical properties involved in the leakage of LyC photons, we investigate the connection between the HI covering fraction, HI velocity width, the Lyman alpha (LyA) properties and escape of LyC photons in a sample of 22 star-forming galaxies including 13 LCEs. We fit the stellar continua, dust attenuation, and absorption lines between 920 and 1300 A to extract the HI covering fractions and dust attenuation. Additionally, we measure the HI velocity widths of the optically thick Lyman series and derive the LyA equivalent widths (EW), escape fractions (fesc), peak velocities and fluxes at the minimum of the LyA profiles. Overall, we highlight strong correlations between the presence of low HI covering fractions and (1) low LyA peak velocities; (2) more flux at the profile minimum; and (3) larger EW(LyA), fesc(LyA), and fesc(LyC). Hence, low column density channels are crucial ISM ingredients for the leakage of LyC and LyA photons. Additionally, galaxies with narrower HI absorption velocity widths have higher LyA equivalent widths, larger LyA escape fractions, and lower LyA peak velocity separations. This suggests that these galaxies have low HI column density. Finally, we find that dust regulates the amount of LyA and LyC radiation that actually escapes the ISM. Overall, the ISM porosity is one origin of strong LyA emission and enables the escape of ionizing photons in low-z leakers. However, this is not enough to explain the largest fesc(LyC) observed, which indicates that the most extreme LCEs are likely density-bounded along all lines of sight to the observer. Overall, the neutral gas porosity constrains a lower limit to the escape fraction of LyC and LyA photons, providing a key estimator of the leakage of ionizing photons.


title: Bayesian Inference of the Symmetry Energy of Super-Dense Neutron-Rich Matter from Future Radius Measurements of Massive Neutron Stars

abstract: Using an explicitly isospin-dependent parametric Equation of State (EOS) for the core of neutron stars (NSs) within the Bayesian statistical approach, we infer the EOS parameters of super-dense neutron-rich nuclear matter from three sets of imagined mass-radius correlation data representing typical predictions by various nuclear many-body theories, i.e, the radius stays the same, decreases or increases with increasing NS mass within $\pm 15\%$ between 1.4 M$_{\odot}$ and 2.0 M$_{\odot}$. The corresponding average density increases quickly, slowly or slightly decreases as the NS mass increases from 1.4 M$_{\odot}$ to 2.0 M$_{\odot}$. Using the posterior probability distribution functions (PDFs) of EOS parameters inferred from GW170817 and NICER radius data for canonical NSs as references, we investigate how future radius measurements of massive NS will improve our knowledge about the EOS of super-dense neutron-rich nuclear matter, especially its symmetry energy term, compared to what people have already learned from analyzing the GW170817 and NICER data. While the EOS of symmetric nuclear matter (SNM) inferred from the three data sets are approximately the same, the corresponding high-density symmetry energies at densities above about $2\rho_0$ are very different, indicating that the radii of massive NSs carry reliable information about the high-density behavior of nuclear symmetry energy with little influence from the remaining uncertainties of the SNM EOS.


title: On minimal ring extensions

abstract: Let $R$ be a commutative ring with identity. The ring $R\times R$ can be viewed as an extension of $R$ via the diagonal map $\Delta: R \hookrightarrow R\times R$, given by $\Delta(r) = (r, r)$ for all $r\in R$. It is shown that, for any $a, b\in R$, the extension $\Delta(R)[(a,b)] \subset R\times R$ is a minimal ring extension if and only if the ideal $<a-b>$ is a maximal ideal of $R$. A complete classification of maximal subrings of $R(+)R$ is also given. The minimal ring extension of a von Neumann regular ring $R$ is either a von Neumann regular ring or the idealization $R(+)R/\mathfrak{m}$ where $\mathfrak{m}\in \text{Max}(R)$. If $R\subset T$ is a minimal ring extension and $T$ is an integral domain, then $(R:T) = 0$ if and only if $R$ is a field and $T$ is a minimal field extension of $R$, or $R_J$ is a valuation ring of altitude one and $T_{J}$ is its quotient field.


title: Comprehensive Multimessenger Modeling of the Extreme Blazar 3HSP J095507.9+355101 and Predictions for IceCube

abstract: 3HSP J095507.9+355101 is an extreme blazar which has been possibly associated with a high-energy neutrino (IceCube-200107A) detected one day before the blazar was found to undergo a hard X-ray flare. We perform a comprehensive study of the predicted multimessenger emission from 3HSP J095507.9+355101 during its recent X-ray flare, but also in the long term. We focus on one-zone leptohadronic models, but we also explore alternative scenarios: (i) a blazar-core model, which considers neutrino production in the inner jet, close to the supermassive black hole; (ii) a hidden external-photon model, which considers neutrino production in the jet through interactions with photons from a weak broad line region; (iii) a proton synchrotron model, where high-energy protons in the jet produce $\gamma$-rays via synchrotron; and (iv) an intergalactic cascade scenario, where neutrinos are produced in the intergalactic medium by interactions of a high-energy cosmic-ray beam escaping the jet. The Poisson probability to detect one muon neutrino in ten years from 3HSP J095507.9+355101 with the real-time IceCube alert analysis is $\sim 1\%$ ($3\%$) for the most optimistic one-zone leptohadronic model (the multi-zone blazar-core model). Meanwhile, detection of one neutrino during the 44-day-long high X-ray flux-state period following the neutrino detection is $0.06\%$, according to our most optimistic leptohadronic model. The most promising scenarios for neutrino production also predict strong intra-source $\gamma$-ray attenuation above $\sim100$ GeV. If the association is real, then IceCube-Gen2 and other future detectors should be able to provide additional evidence for neutrino production in 3HSP J095507.9+355101 and other extreme blazars.


title: Local versus Global Two-Photon Interference in Quantum Networks

abstract: We devise an approach to characterizing the intricate interplay between classical and quantum interference of two-photon states in a network, which comprises multiple time-bin modes. By controlling the phases of delocalized single photons, we manipulate the global mode structure, resulting in distinct two-photon interference phenomena for time-bin resolved (local) and time-bucket (global) coincidence detection. This coherent control over the photons' mode structure allows for synthesizing two-photon interference patterns, where local measurements yield standard Hong-Ou-Mandel dips while the global two-photon visibility is governed by the overlap of the delocalized single-photon states. Thus, our experiment introduces a method for engineering distributed quantum interferences in networks.


title: Acylindrical hyperbolicity and existential closedness

abstract: Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the mapping class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the Higman group, is acylindrically hyperbolic.


title: Quasi-greedy bases for sequences with gaps

abstract: In this paper, we establish new advances in the theory started by T. Oikhberg in [15] where the author joins greedy approximation theory with the use of sequences with gaps. Concretely, we address and partially answer three open questions related to quasi-greedy bases for sequences with gaps posed in [15, Section 6].


title: Signals with six bottom quarks for charged and neutral Higgs bosons

abstract: In extensions of two Higgs doublet models with vectorlike quarks, the decays of vectorlike quarks may easily be dominated by cascade decays through charged or neutral Higgs bosons leading to signatures with 6 top or bottom quarks. Since top quark decays also contain bottom quarks, a common signature for many possible decay chains is 6 bottom quarks in the final state. We present a search strategy focusing on this final state and find the mass ranges of vectorlike quarks and Higgs bosons that can be explored at the Large Hadron Collider. Among other results, the sensitivity to the charged and neutral Higgs bosons, extending to about 2 TeV, stands out when compared to models without vectorlike matter.


title: Stochastic inversion of Gaussian random media using transverse coherence functions for reflected waves

abstract: The transverse coherence functions (TCFs) of phase and amplitude fluctuations of a seismic wave are powerful to estimate the spatial distribution, length scales, and strength of random heterogeneities. However, TCFs have been formulated for transmitted waves only, not for reflected waves. In this paper, we derive reflection TCFs for Gaussian random media. Furthermore, we propose to invert for Gaussian random media using the reflection TCFs based on the grid search. We validate the new reflection TCF formulas using 2D finite-difference numerical experiments. The numerical example also illustrates the feasibility and efficiency of the inversion. The stochastic inversion using reflected waves can be used in both exploration and global seismology.


title: On a generalized Erd\H{o}s-Rademacher problem

abstract: The triangle covering number of a graph is the minimum number of vertices that hit all triangles. Given positive integers $s,t$ and an $n$-vertex graph $G$ with $\lfloor n^2/4 \rfloor +t$ edges and triangle covering number $s$, we determine (for large $n$) sharp bounds on the minimum number of triangles in $G$ and also describe the extremal constructions. Similar results are proved for cliques of larger size and color critical graphs. This extends classical work of Rademacher, Erd\H os, and Lov\'asz-Simonovits whose results apply only to $s \le t$. Our results also address two conjectures of Xiao and Katona. We prove one of them and give a counterexample and prove a modified version of the other conjecture.


title: SAGE: Sequential Attribute Generator for Analyzing Glioblastomas using Limited Dataset

abstract: While deep learning approaches have shown remarkable performance in many imaging tasks, most of these methods rely on availability of large quantities of data. Medical image data, however, is scarce and fragmented. Generative Adversarial Networks (GANs) have recently been very effective in handling such datasets by generating more data. If the datasets are very small, however, GANs cannot learn the data distribution properly, resulting in less diverse or low-quality results. One such limited dataset is that for the concurrent gain of 19 and 20 chromosomes (19/20 co-gain), a mutation with positive prognostic value in Glioblastomas (GBM). In this paper, we detect imaging biomarkers for the mutation to streamline the extensive and invasive prognosis pipeline. Since this mutation is relatively rare, i.e. small dataset, we propose a novel generative framework - the Sequential Attribute GEnerator (SAGE), that generates detailed tumor imaging features while learning from a limited dataset. Experiments show that not only does SAGE generate high quality tumors when compared to standard Deep Convolutional GAN (DC-GAN) and Wasserstein GAN with Gradient Penalty (WGAN-GP), it also captures the imaging biomarkers accurately.


title: Characterization of the radial electric field and edge velocity shear in Wendelstein 7-X

abstract: In this work we present the first measurements obtained by the V-band Doppler reflectometer during the second operation phase of Wendelstein 7-X to discuss the influence in the velocity shear layer and the radial electric field, E$_r$, of several plasma parameters such as magnetic configuration, rotational transform or degree of detachment. In the first place, we carry out a systematic characterization of the turbulence rotation velocity profile in order to describe the influence of density and heating power on E$_r$ under the four most frequent magnetic configurations. The $|$E$_r|$ value in the edge is found to increase with configurations featuring higher $\iota$, although this does not apply for the high mirror configuration, KJM. As well, the E$_r$ value in the SOL and the velocity shear near the separatrix are found to display a clear dependence on heating power and density for all configurations. For a number of relevant cases, these results are assessed by comparing them to neoclassical predictions obtained from the codes DKES and KNOSOS, finding generally good agreement with experimental results. Finally, the evolution of E$_r$ at the edge is evaluated throughout the island-divertor detachment regime achieved for the first time in the 2018 campaign. After detachment, $|$E$_r|$ is reduced both at the SOL and edge, and the plasma column shrinks, with the shear layer seemingly moving radially inwards from the separatrix.


title: Qualitative Controller Synthesis for Consumption Markov Decision Processes

abstract: Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a critical resource, such as electric power. Each action of the controller can consume some amount of the resource. Resource replenishment is only possible in special reload states, in which the resource level can be reloaded up to the full capacity of the system. The task of the controller is to prevent resource exhaustion, i.e. ensure that the available amount of the resource stays non-negative, while ensuring an additional linear-time property. We study the complexity of strategy synthesis in consumption MDPs with almost-sure B\"uchi objectives. We show that the problem can be solved in polynomial time. We implement our algorithm and show that it can efficiently solve CMDPs modelling real-world scenarios.


title: Galaxy classification: deep learning on the OTELO and COSMOS databases

abstract: Context. The accurate classification of hundreds of thousands of galaxies observed in modern deep surveys is imperative if we want to understand the universe and its evolution. Aims. Here, we report the use of machine learning techniques to classify early- and late-type galaxies in the OTELO and COSMOS databases using optical and infrared photometry and available shape parameters: either the Sersic index or the concentration index. Methods. We used three classification methods for the OTELO database: 1) u-r color separation , 2) linear discriminant analysis using u-r and a shape parameter classification, and 3) a deep neural network using the r magnitude, several colors, and a shape parameter. We analyzed the performance of each method by sample bootstrapping and tested the performance of our neural network architecture using COSMOS data. Results. The accuracy achieved by the deep neural network is greater than that of the other classification methods, and it can also operate with missing data. Our neural network architecture is able to classify both OTELO and COSMOS datasets regardless of small differences in the photometric bands used in each catalog. Conclusions. In this study we show that the use of deep neural networks is a robust method to mine the cataloged data


title: Evolved Explainable Classifications for Lymph Node Metastases

abstract: A novel evolutionary approach for Explainable Artificial Intelligence is presented: the "Evolved Explanations" model (EvEx). This methodology consists in combining Local Interpretable Model Agnostic Explanations (LIME) with Multi-Objective Genetic Algorithms to allow for automated segmentation parameter tuning in image classification tasks. In this case, the dataset studied is Patch-Camelyon, comprised of patches from pathology whole slide images. A publicly available Convolutional Neural Network (CNN) was trained on this dataset to provide a binary classification for presence/absence of lymph node metastatic tissue. In turn, the classifications are explained by means of evolving segmentations, seeking to optimize three evaluation goals simultaneously. The final explanation is computed as the mean of all explanations generated by Pareto front individuals, evolved by the developed genetic algorithm. To enhance reproducibility and traceability of the explanations, each of them was generated from several different seeds, randomly chosen. The observed results show remarkable agreement between different seeds. Despite the stochastic nature of LIME explanations, regions of high explanation weights proved to have good agreement in the heat maps, as computed by pixel-wise relative standard deviations. The found heat maps coincide with expert medical segmentations, which demonstrates that this methodology can find high quality explanations (according to the evaluation metrics), with the novel advantage of automated parameter fine tuning. These results give additional insight into the inner workings of neural network black box decision making for medical data.


title: A mean-field model of static recrystallization considering orientation spreads and their time-evolution

abstract: In this paper, we develop a mean-field model for simulating the microstructure evolution of crystalline materials during static recrystallization. The model considers a population of individual cells (i.e. grains and subgrains) growing in a homogeneous medium representing the average microstructure properties. The average boundary properties of the individual cells and of the medium, required to compute growth rates, are estimated statistically as a function of the microstructure topology and of the distribution of crystallographic orientations. Recrystallized grains arise from the competitive growth between cells. After a presentation of the algorithm, the model is compared to full-field simulations of recrystallization performed with a 2D Vertex model. It is shown that the mean-field model predicts accurately the evolution of boundary properties with time, as well as several recrystallization parameters including kinetics and grain orientations. The results allow one to investigate the role the orientation spread on the determination of boundary properties, the formation of recrystallized grains and recrystallization kinetics. The model can be used with experimentally obtained inputs to investigate the relationship between deformation and recrystallization microstructures.