title: CIS-Net: A Novel CNN Model for Spatial Image Steganalysis via Cover Image Suppression

abstract: Image steganalysis is a special binary classification problem that aims to classify natural cover images and suspected stego images which are the results of embedding very weak secret message signals into covers. How to effectively suppress cover image content and thus make the classification of cover images and stego images easier is the key of this task. Recent researches show that Convolutional Neural Networks (CNN) are very effective to detect steganography by learning discriminative features between cover images and their stegos. Several deep CNN models have been proposed via incorporating domain knowledge of image steganography/steganalysis into the design of the network and achieve state of the art performance on standard database. Following such direction, we propose a novel model called Cover Image Suppression Network (CIS-Net), which improves the performance of spatial image steganalysis by suppressing cover image content as much as possible in model learning. Two novel layers, the Single-value Truncation Layer (STL) and Sub-linear Pooling Layer (SPL), are proposed in this work. Specifically, STL truncates input values into a same threshold when they are out of a predefined interval. Theoretically, we have proved that STL can reduce the variance of input feature map without deteriorating useful information. For SPL, it utilizes sub-linear power function to suppress large valued elements introduced by cover image contents and aggregates weak embedded signals via average pooling. Extensive experiments demonstrate the proposed network equipped with STL and SPL achieves better performance than rich model classifiers and existing CNN models on challenging steganographic algorithms.


title: Optimal control of nonlinear stochastic differential equations on Hilbert spaces

abstract: We here consider optimal control problems governed by nonlinear stochastic equations on a Hilbert space H with nonconvex payoff, which is rewritten as a deterministic optimal control problem governed by a Kolmogorov equation in H. We prove the existence and first-order necessary condition of closed loop optimal controls for the above control problem. The strategy is based on solving a deterministic bilinear optimal control problem for the corresponding Kolmogorov equation on the space $L^2(H,\nu)$, where $\nu$ is the related infinitesimally invariant measure for the Kolmogorov operator.


title: On asymptotically optimal tests for random number generators

abstract: The problem of constructing effective statistical tests for random number generators (RNG) is considered. Currently, statistical tests for RNGs are a mandatory part of cryptographic information protection systems, but their effectiveness is mainly estimated based on experiments with various RNGs. We find an asymptotic estimate for the p-value of an optimal test in the case where the alternative hypothesis is a known stationary ergodic source, and then describe a family of tests each of which has the same asymptotic estimate of the p-value for any (unknown) stationary ergodic source.


title: Versatile high-speed confocal microscopy using a single laser beam

abstract: We present a new flexible high speed laser scanning confocal microscope and its extension by an astigmatism particle tracking device (APTV). Many standard confocal microscopes use either a single laser beam to scan the sample at relatively low overall frame rate, or many laser beam to simultaneously scan the sample and achieve a high overall frame rate. Single-laser-beam confocal microscope often use a point detector to acquire the image. To achieve high overall frame rates, we use, next to the standard 2D probe scanning unit, a second 2D scan unit projecting the image directly on a 2D CCD-sensor (re-scan configuration). Using only a single laser beam eliminates cross-talk and leads to an imaging quality that is independent of the frame rate with a lateral resolution of 0.235\unit{\mu m}. The design described here is suitable for high frame rate, i.e., for frame rates well above video rate (full frame) up to a line rate of 32kHz. The dwell time of the laser focus on any spot in the sample (122ns) is significantly shorter than in standard confocal microscopes (in the order of milli or microseconds). This short dwell time reduces phototoxicity and bleaching of fluorescent molecules. The new design opens further flexibility and facilitates coupling to other optical methods. The setup can easily be extended by an APTV device to measure three dimensional dynamics while being able to show high resolution confocal structures. Thus one can use the high resolution confocal information synchronized with an APTV dataset.


title: Layerings in the nucleus of comet 67P/Churyumov-Gerasimenko

abstract: The Rosetta mission delivered images of comet 67P's nucleus at unprecedented resolution which indicate the presence of a global layering system. By merging techniques of structural geology, statistical image processing, and solar system science, this thesis aims to contribute to the understanding of the formation of the layerings, and thus of cometary nuclei as a whole. I describe the two distinctive approaches to studying the layerings' orientation on comet 67P's nucleus. First, I mapped layering-related linear features on a 3D shape model of the nucleus, onto which I projected high-res OSIRIS images. I selected only lineaments of substantial curvature, and used a plane-fitting algorithm to find the normals to the layering planes represented by these lineaments. I used the normals to confirm previous authors' results, including that the layering systems on the comet's two lobes are geometrically independent from each other. My results rule out the proposal that 67P's lobes represent collisional fragments of a much larger, layered body. Second, I developed a Fourier-based image analysis algorithm to detect lineament structures at pixel-precision. I analysed the layering-related features exposed on the Hathor cliff on the comet's Small Lobe. I found my algorithm to be a broadly applicable, powerful tool for automating the detection of layerings in images where conventional edge-detection algorithms are not effective. When correctly configured to the target conditions, I found the algorithm to have a higher signal-to-noise detection sensitivity than a human, while reducing over-interpretation due to bias. In summary, I studied the layerings in the nucleus of comet 67P using several unconventional approaches and constrained their lateral extent, curvature, and to a degree also their thickness. Finally, I nominated two mechanisms that could have formed these layerings in cometary nuclei.


title: Resolving Conflicts and Electing Leaders

abstract: We review distributed algorithms for transmitting data ($n$ real numbers) under a broadcast communication model, as well as for maximum finding and for sorting. Our interest is in the basics of recursive formulas and corresponding asymptotics as ${n\to\infty}$. The emphasis is on concrete examples rather than general theory.


title: Locking and regularisation of chimeras by periodic forcing

abstract: We study how a chimera state in a one-dimensional medium of non-locally coupled oscillators responses to a periodic external force. On a macroscopic level, where chimera can be considered as an oscillating object, forcing leads to entrainment of the chimera's frequency inside an Arnold tongue. On a mesoscopic level, where chimera can be viewed as a inhomogeneous, stationary or nonstationary pattern, strong forcing can lead to reguralization of an unstationary chimera. On a microscopic level of the dynamics of individual oscillators, forcing outside of the Arnold tongue leads to a multi-plateu state with nontrivial locking properties.


title: High Performance Computing for Geospatial Applications: A Prospective View

abstract: The pace of improvement in the performance of conventional computer hardware has slowed significantly during the past decade, largely as a consequence of reaching the physical limits of manufacturing processes. To offset this slowdown, new approaches to HPC are now undergoing rapid development. This chapter describes current work on the development of cutting-edge exascale computing systems that are intended to be in place in 2021 and then turns to address several other important developments in HPC, some of which are only in the early stage of development. Domain-specific heterogeneous processing approaches use hardware that is tailored to specific problem types. Neuromorphic systems are designed to mimic brain function and are well suited to machine learning. And then there is quantum computing, which is the subject of some controversy despite the enormous funding initiatives that are in place to ensure that systems continue to scale-up from current small demonstration systems.


title: High Performance Computing for Geospatial Applications: A Retrospective View

abstract: Many types of geospatial analyses are computationally complex, involving, for example, solution processes that require numerous iterations or combinatorial comparisons. This complexity has motivated the application of high performance computing (HPC) to a variety of geospatial problems. In many instances, HPC assumes even greater importance because complexity interacts with rapidly growing volumes of geospatial information to further impede analysis and display. This chapter briefly reviews the underlying need for HPC in geospatial applications and describes different approaches to past implementations. Many of these applications were developed using hardware systems that had a relatively short life-span and were implemented in software that was not easily portable. More promising recent approaches have turned to the use of distributed resources that includes cyberinfrastructure as well as cloud and fog computing.


title: Density functional theory for collisionless plasmas -- equivalence of fluid and kinetic approaches

abstract: Density functional theory (DFT) is a powerful theoretical tool widely used in such diverse fields as computational condensed matter physics, atomic physics, and quantum chemistry. DFT establishes that a system of $N$ interacting electrons can be described uniquely by its single-particle density $n(\boldsymbol{r})$, instead of the $N$-body wave function, yielding an enormous gain in terms of computational speed and memory storage space. Here, we use time-dependent DFT to show that a classical collisionless plasma can always, in principle, be described by a set of fluid equations for the single-particle density and current. The results of DFT guarantee that an exact closure relation, fully reproducing the Vlasov dynamics, necessarily exists, although it may be complicated (nonlocal in space and time, for instance) and difficult to obtain in practice. This goes against the common wisdom in plasma physics that the Vlasov and fluid descriptions are mutually incompatible, with the latter inevitably missing some "purely kinetic" effects.


title: Synthesis, Functionalization and Properties of Uniform Europium-doped Sodium Lanthanum Tungstate and Molybdate (NaLa(XO$_4$)$_2$, X= Mo,W) probes for Luminescent and X-ray Computed Tomography Bioimaging

abstract: A one-pot simple procedure for the synthesis of uniform, ellipsoidal Eu3+-doped sodium lanthanum tungstate and molybdate (NaLa(XO4)2, X = W, Mo) nanophosphors, functionalized with carboxylate groups, is described. The method is based on a homogeneous precipitation process at 120 C from appropriate Na+, Ln3+ and tungstate or molybdate precursors dissolved in ethylene glycol/water mixtures containing polyacrylic acid. A comparative study of the luminescent properties of both luminescent materials as a function of the Eu3+ doping level has been performed to find the optimum nanophosphor, whose efficiency as X-ray computed tomography contrast agent is also evaluated and compared with that of a commercial probe. Finally, the cell viability and colloidal stability in physiological pH medium of the optimum samples have also been studied to assess their suitability for biomedical applications.


title: On certain degenerate one-phase free boundary problems

abstract: We develop an existence and regularity theory for a class of degenerate one-phase free boundary problems. In this way we unify the basic theories in free boundary problems like the classical one-phase problem, the obstacle problem, or more generally for minimizers of the Alt-Phillips functional.


title: Active emulation of computer codes with Gaussian processes -- Application to remote sensing

abstract: Many fields of science and engineering rely on running simulations with complex and computationally expensive models to understand the involved processes in the system of interest. Nevertheless, the high cost involved hamper reliable and exhaustive simulations. Very often such codes incorporate heuristics that ironically make them less tractable and transparent. This paper introduces an active learning methodology for adaptively constructing surrogate models, i.e. emulators, of such costly computer codes in a multi-output setting. The proposed technique is sequential and adaptive, and is based on the optimization of a suitable acquisition function. It aims to achieve accurate approximations, model tractability, as well as compact and expressive simulated datasets. In order to achieve this, the proposed Active Multi-Output Gaussian Process Emulator (AMOGAPE) combines the predictive capacity of Gaussian Processes (GPs) with the design of an acquisition function that favors sampling in low density and fluctuating regions of the approximation functions. Comparing different acquisition functions, we illustrate the promising performance of the method for the construction of emulators with toy examples, as well as for a widely used remote sensing transfer code.


title: Quantum control and characterization of ultrafast ionization with orthogonal two-color laser pulses

abstract: We study ultrafast ionization dynamics using orthogonally polarized two-color (OTC) laser pulses involving the resonant "first plus second" ($\omega+2\omega$) scheme. The scheme is illustrated by numerical simulations of the time-dependent Schr\"odinger equation and recording the photoelectron momentum distribution. On the basis of the simulations of this resonant ionization, we identify signatures of the dynamic Autler-Townes effect and dynamic interference, in which their characterization is not possible in spectral domain. Taking advantage of the OTC scheme we show that these dynamical effects, which occur at the same time scale, can be characterized in momentum space by controlling the spatial quantum interference. In particular, we show that with the use of this control scheme, one can tailor the properties of the control pulse to lead to enhancement of the ionization rate through the Autler-Townes effect without affecting the dynamic interference. This enhancement is shown to result from constructive interferences between partial photoelectron waves having opposite-parity, and found to manifest by symmetry-breaking of the momentum distribution. The scenario is investigated for a prototype of a hydrogen atom and is broadly applicable to other systems. Our findings may have applications for photoelectron interferometers to control the electron dynamics in time and space, and for accurate temporal characterization of attosecond pulses.


title: Investigation of high frequency transducers and coded signals suitable for cartilage volume imaging

abstract: Cartilage degeneration in joints causing pain and various types of knee problems is a serious problem-affecting people in all ages. Degenerated articular cartilage is also known as a central hallmark of osteoarthritis, which is a complex musculoskeletal disorder involving numerous contributory genetic, constitutional and biomechanical factors. As a part of the cartilage degeneration, the volume occupied by the collagen fibers becomes reduced and the cell (chondrocyte) volume increased. Since high frequency ultrasound has the capability of resolving individual chondrocytes, ultrasound has been suggested as a promising method for determining the cartilage status. In the current work, the main objective has been to compare images taken in vitro with different transducer types, in order to determine their suitability for cartilage imaging.


title: Wide operational windows of edge-localized mode suppression by resonant magnetic perturbations in the DIII-D tokamak

abstract: Edge-Localized-Mode (ELM) suppression by resonant magnetic perturbations (RMPs) generally occurs over very narrow ranges of the plasma current (or magnetic safety factor q95) in the DIII-D tokamak. However, wide q95 ranges of ELM suppression are needed for the safety and operational flexibility of ITER and future reactors. In DIII-D ITER Similar Shape (ISS) plasmas with n=3 RMPs, the range of q95 for ELM suppression is found to increase with decreasing electron density. Nonlinear two-fluid MHD simulations reproduce the observed q95 windows of ELM suppression and the dependence on plasma density, based on the conditions for resonant field penetration at the top of the pedestal. When the RMP amplitude is close to the threshold for resonant field penetration, only narrow isolated magnetic islands form near the top of the pedestal, leading to narrow q95 windows of ELM suppression. However, as the threshold for field penetration decreases with decreasing density, resonant field penetration can take place over a wider range of q95. For sufficiently low density (penetration threshold) multiple magnetic islands form near the top of the pedestal giving rise to continuous q95 windows of ELM suppression. The model predicts that wide q95 windows of ELM suppression can be achieved at substantially higher pedestal pressure in DIII-D by shifting to higher toroidal mode number (n=4) RMPs.


title: To See in the Dark: N2DGAN for Background Modeling in Nighttime Scene

abstract: Due to the deteriorated conditions of \mbox{illumination} lack and uneven lighting, nighttime images have lower contrast and higher noise than their daytime counterparts of the same scene, which limits seriously the performances of conventional background modeling methods. For such a challenging problem of background modeling under nighttime scene, an innovative and reasonable solution is proposed in this paper, which paves a new way completely different from the existing ones. To make background modeling under nighttime scene performs as well as in daytime condition, we put forward a promising generation-based background modeling framework for foreground surveillance. With a pre-specified daytime reference image as background frame, the {\bfseries GAN} based generation model, called {\bfseries N2DGAN}, is trained to transfer each frame of {\bfseries n}ighttime video {\bfseries to} a virtual {\bfseries d}aytime image with the same scene to the reference image except for the foreground region. Specifically, to balance the preservation of background scene and the foreground object(s) in generating the virtual daytime image, we present a two-pathway generation model, in which the global and local sub-networks are well combined with spatial and temporal consistency constraints. For the sequence of generated virtual daytime images, a multi-scale Bayes model is further proposed to characterize pertinently the temporal variation of background. We evaluate on collected datasets with manually labeled ground truth, which provides a valuable resource for related research community. The impressive results illustrated in both the main paper and supplementary show efficacy of our proposed approach.


title: From Polarimetry to Helicity: Studies of Solar Magnetic Fields at the Huairou Solar Observing Station

abstract: In this paper, we briefly introduce the basic questions in the measurements of solar magnetic fields and the possible error sources due to the approximation of the theory of radiation transfer of spectral lines in the solar atmosphere. We introduce some basic research progress in magnetic field measurement at Huairou Solar Observing Station of National Astronomical Observatories of the Chinese Academy of Sciences, especially concerning the non-potentiality in solar active regions, such as the magnetic shear, current and helicity. We also discuss some basic questions for the measurements of the magnetic fields and corresponding challenges for the future studies.


title: The role of low temperature waste heat recovery in achieving 2050 goals: a policy positioning paper

abstract: Urban waste heat recovery, in which low temperature heat from urban sources is recovered for use in a district heat network, has a great deal of potential in helping to achieve 2050 climate goals. For example, heat from data centres, metro systems, public sector buildings and waste water treatment plants could be used to supply ten percent of Europe's heat demand. Despite this, at present, urban waste heat recovery is not widespread and is an immature technology. To help achieve greater uptake, three policy recommendations are made. First, policy raising awareness of waste heat recovery and creating a legal framework is suggested. Second, it is recommended that pilot projects are promoted to help demonstrate technical and economic feasibility. Finally, a pilot credit facility is proposed aimed at bridging the gap between potential investors and heat recovery projects.


title: Filament profiles from WISExSCOS galaxies as probes of the impact of environmental effects

abstract: The role played by the large-scale structures in the galaxy evolution is not quite well understood yet. In this study, we investigate properties of galaxy in the range 0.1<z<0.3 from a value-added version of the WISExSCOS catalogue around cosmic filaments detected with DisPerSE. We have fitted a profile of galaxy over-density around cosmic filaments and found a typical radius of r_m = 7.5+-0.2 Mpc. We have measured an excess of passive galaxies near the filament's spine, higher than the excess of transitioning and active galaxies. We have also detected SFR and Mstar gradients pointing towards the filament's spine. We have investigated this result and found an Mstar gradient for each type of galaxies: active, transitioning, and passive, and a positive SFR gradient for passive galaxies. We also link the galaxy properties and the gas content in the Cosmic Web. To do so, we have investigated the quiescent fraction fQ profile of galaxies around the cosmic filaments. Based on recent studies about the effect of the gas and of the Cosmic Web on galaxy properties, we have modeled fQ with a beta model of gas pressure. The slope obtained here, beta=0.54+-0.18, is compatible with the scenario of projected isothermal gas in hydrostatic equilibrium (beta=2/3), and with the profiles of gas fitted in SZ.


title: Higher-dimensional spatial extremes via single-site conditioning

abstract: Currently available models for spatial extremes suffer either from inflexibility in the dependence structures that they can capture, lack of scalability to high dimensions, or in most cases, both of these. We present an approach to spatial extreme value theory based on the conditional multivariate extreme value model, whereby the limit theory is formed through conditioning upon the value at a particular site being extreme. The ensuing methodology allows for a flexible class of dependence structures, as well as models that can be fitted in high dimensions. To overcome issues of conditioning on a single site, we suggest a joint inference scheme based on all observation locations, and implement an importance sampling algorithm to provide spatial realizations and estimates of quantities conditioning upon the process being extreme at any of one of an arbitrary set of locations. The modelling approach is applied to Australian summer temperature extremes, permitting assessment of the spatial extent of high temperature events over the continent.


title: Diagrammatic Coaction of Two-Loop Feynman Integrals

abstract: It is known that one-loop Feynman integrals possess an algebraic structure encoding some of their analytic properties called the coaction, which can be written in terms of Feynman integrals and their cuts. This diagrammatic coaction, and the coaction on other classes of integrals such as hypergeometric functions, may be expressed using suitable bases of differential forms and integration contours. This provides a useful framework for computing coactions of Feynman integrals expressed using the hypergeometric functions. We will discuss examples where this technique has been used in the calculation of two-loop diagrammatic coactions.


title: Dyonic black hole degeneracies in $\mathcal{N} = 4$ string theory from Dabholkar-Harvey degeneracies

abstract: The degeneracies of single-centered dyonic $\frac14$-BPS black holes (BH) in Type II string theory on K3$\times T^2$ are known to be coefficients of certain mock Jacobi forms arising from the Igusa cusp form $\Phi_{10}$. In this paper we present an exact analytic formula for these BH degeneracies purely in terms of the degeneracies of the perturbative $\frac12$-BPS states of the theory. We use the fact that the degeneracies are completely controlled by the polar coefficients of the mock Jacobi forms, using the Hardy-Ramanujan-Rademacher circle method. Here we present a simple formula for these polar coefficients as a quadratic function of the $\frac12$-BPS degeneracies. We arrive at the formula by using the physical interpretation of polar coefficients as negative discriminant states, and then making use of previous results in the literature to track the decay of such states into pairs of $\frac12$-BPS states in the moduli space. Although there are an infinite number of such decays, we show that only a finite number of them contribute to the formula. The phenomenon of BH bound state metamorphosis (BSM) plays a crucial role in our analysis. We show that the dyonic BSM orbits with $U$-duality invariant $\Delta<0$ are in exact correspondence with the solution sets of the Brahmagupta-Pell equation, which implies that they are isomorphic to the group of units in the order $\mathbb{Z}[\sqrt{|\Delta|}]$ in the real quadratic field $\mathbb{Q}(\sqrt{|\Delta|})$. We check our formula against the known numerical data arising from the Igusa cusp form, for the first 1650 polar coefficients, and find perfect agreement.


title: Operads on graphs: extending the pre-Lie operad and general construction

abstract: The overall aim of this paper is to define a structure of graph operads, thus generalizing the celebrated pre-Lie operad on rooted trees. More precisely, we define two operads on multigraphs, and exhibit a non trivial link between them and the pre-Lie and Kontsevich- Willwacher operads. We study one of these operads in more detail. While its structure is too involved to exhibit a description by generators and relations, we show that it has interesting finitely generated sub-operads, with links with the commutative and the magmatic commutative operads. In particular, one of them is Koszul and this allows us to compute its Koszul dual. Finally, we introduce a new framework on species and operads and a general way to define operads on multigraphs.


title: Nonaxisymmetric instabilities in turbulent electromagnetic pumps

abstract: The stability of annular electromagnetic pumps (EMPs) is investigated through 3D direct numerical simulations. When induction effects dominate dissipative processes, linear induction EMPs become unstable and lead to non-axisymmetric states relatively different from what was predicted by previous theoretical models. We show that the 3D destabilization of the flow is deeply connected to the axisymmetric state, and always appears as a secondary bifurcation from a locally stalled flow, even if the applied magnetic field is axisymmetric. Finally, we model a configuration aiming to optimize the efficiency of the pump, by imposing electrical currents on both sides (inner and outer cylinders) of the pump. This configuration increases the efficiency of the pump, but generates a complex dynamics, associated to periodic oscillation of a large vortex flow localized in the active region of the pump. Finally, we demonstrate the existence of an upper bound on the efficiency of such electromagnetic pump, which can never exceed 50%.


title: GASP. XXII The molecular gas content of the JW100 jellyfish galaxy at z~0.05: does ram pressure promote molecular gas formation?

abstract: Within the GASP survey, aimed at studying the effect of the ram-pressure stripping on the star formation quenching in cluster galaxies, we analyze here ALMA observations of the jellyfish galaxy JW100. We find an unexpected large amount of molecular gas ($\sim 2.5 \times 10^{10} M_{\odot}$), 30\% of which is located in the stripped gas tail out to $\sim$35 kpc from the galaxy center. The overall kinematics of molecular gas is similar to the one shown by the ionized gas, but for clear signatures of double components along the stripping direction detected only out to 2 kpc from the disk. The line ratio $r_{21}$ has a clumpy distribution and in the tail can reach large values ($\geq 1$), while its average value is low (0.58 with a 0.15 dispersion). All these evidence strongly suggest that the molecular gas in the tail is newly born from stripped HI gas or newly condensed from stripped diffuse molecular gas. The analysis of interferometric data at different scales reveals that a significant fraction ($\sim 40\%$) of the molecular gas is extended over large scales ($\geq 8$ kpc) in the disk, and this fraction becomes predominant in the tail ($\sim 70\%$). By comparing the molecular gas surface density with the star formation rate surface density derived from the \Ha emission from MUSE data, we find that the depletion time on 1 kpc scale is particularly large ($5-10$ Gyr) both within the ram-pressure disturbed region in the stellar disk, and in the complexes along the tail.


title: Equivalence of categories between coefficient systems and systems of idempotents

abstract: The consistent systems of idempotents of Meyer and Solleveld allow to construct Serre subcategories of $Rep_R(G)$, the category of smooth representations of a $p$-adic group $G$ with coefficients in $R$. In particular, they were used to construct level 0 decompositions when $R=\overline{\mathbb{Z}}_{\ell}$, $\ell \neq p$, by Dat for $GL_n$ and the author for a more general group. Wang proved in the case of $GL_n$ that the subcategory associated with a system of idempotents is equivalent to a category of coefficient systems on the Bruhat-Tits building. This result was used by Dat to prove an equivalence between an arbitrary level zero block of $GL_n$ and a unipotent block of another group. In this paper, we generalize Wang's equivalence of category to a connected reductive group on a non-archimedean local field.


title: Challenges in designing edge-based middlewares for the Internet of Things: A survey

abstract: The Internet of Things paradigm connects edge devices via the Internet enabling them to be seamlessly integrated with a wide variety of applications. In recent years, the number of connected devices has grown significantly, along with the volume and variety of data that is being generated by these devices at the edge of the network. An edge-based middleware is defined as a software that serves as an interface between the computational resources and the IoT devices, making communication possible among elements. Such middleware is required to provide the necessary functional components for sensor registration, discovery, workflow composition, and data pre-processing. In recent years, the landscape of the edge middleware platforms has grown exponentially, each of them with different platform requirements, architectures, and features. The core of this survey is a comprehensive review of existing edge middleware solutions. In this regard, we propose a four-layer architecture for the design of edge-based middleware, along with some design goals for each of the proposed layer. The paper concludes with some open challenges and possible future research directions.


title: Inexact Newton Method for General Purpose Reservoir Simulation

abstract: Inexact Newton Methods are widely used to solve systems of nonlinear equations. The convergence of these methods is controlled by the relative linear tolerance, $\eta_\nu$, that is also called the forcing term. A very small $\eta_\nu$ may lead to oversolving the Newton equation. Practical reservoir simulation uses inexact Newton methods with fixed forcing term, usually in the order of $10^{-3}$ or $10^{-4}$. Alternatively, variable forcing terms for a given inexact Newton step have proved to be quite successful in reducing the degree of oversolving in various practical applications. The cumulative number of linear iterations is usually reduced, but the number of nonlinear iterations is usually increased. We first present a review of existing inexact Newton methods with various forcing term estimates and then we propose improved estimates for $\eta_\nu$. These improved estimates try to avoid as much as possible oversolving when the iterate is far from the solution and try to enforce quadratic convergence in the neighbourhood of the solution. Our estimates reduce the total linear iterations while only resulting in few extra Newton iterations. We show successful applications to fully-coupled three-phase and multi-component multiphase models in isothermal and thermal steam reservoir simulation as well as a real deep offshore west-African field with gas re-injection using the reference CPR-AMG iterative linear solver.


title: Distance between Bound Entangled States from Unextendible Product Bases and Separable States

abstract: We discuss the use of the Gilbert algorithm to tailor entanglement witnesses for unextendibleproduct basis bound entangled states (UPB BE states). The method relies on the fact that an optimalentanglement witness is given by a plane perpendicular to a line between the reference state, entanglementof which is to be witnessed, and its closest separable state (CSS). The Gilbert algorithm finds anapproximation of CSS. In this article, we investigate if this approximation can be good enough toyield a valid entanglement witness. We compare witnesses found with Gilbert algorithm and those givenby Bandyopadhyay-Ghosh-Roychowdhury (BGR) construction. This comparison allows us to learnabout the amount of entanglement and we find a relationship between it and a feature of the constructionof UPB BE states, namely the size of their central tile. We show that in most studied cases, witnessesfound with the Gilbert algorithm in this work are more optimal than ones obtained by Bandyopadhyay,Ghosh, and Roychowdhury. This result implies the increased tolerance to experimental imperfections ina realization of the state.


title: Active learning in the geometric block model

abstract: The geometric block model is a recently proposed generative model for random graphs that is able to capture the inherent geometric properties of many community detection problems, providing more accurate characterizations of practical community structures compared with the popular stochastic block model. Galhotra et al. recently proposed a motif-counting algorithm for unsupervised community detection in the geometric block model that is proved to be near-optimal. They also characterized the regimes of the model parameters for which the proposed algorithm can achieve exact recovery. In this work, we initiate the study of active learning in the geometric block model. That is, we are interested in the problem of exactly recovering the community structure of random graphs following the geometric block model under arbitrary model parameters, by possibly querying the labels of a limited number of chosen nodes. We propose two active learning algorithms that combine the idea of motif-counting with two different label query policies. Our main contribution is to show that sampling the labels of a vanishingly small fraction of nodes (sub-linear in the total number of nodes) is sufficient to achieve exact recovery in the regimes under which the state-of-the-art unsupervised method fails. We validate the superior performance of our algorithms via numerical simulations on both real and synthetic datasets.


title: Large-area Si(Li) Detectors for X-ray Spectrometry and Particle Tracking for the GAPS Experiment

abstract: Large-area lithium-drifted silicon (Si(Li)) detectors, operable 150{\deg}C above liquid nitrogen temperature, have been developed for the General Antiparticle Spectrometer (GAPS) balloon mission and will form the first such system to operate in space. These 10 cm-diameter, 2.5 mm-thick multi-strip detectors have been verified in the lab to provide <4 keV FWHM energy resolution for X-rays as well as tracking capability for charged particles, while operating in conditions (~-40{\deg}C and ~1 Pa) achievable on a long-duration balloon mission with a large detector payload. These characteristics enable the GAPS silicon tracker system to identify cosmic antinuclei via a novel technique based on exotic atom formation, de-excitation, and annihilation. Production and large-scale calibration of ~1000 detectors has begun for the first GAPS flight, scheduled for late 2021. The detectors developed for GAPS may also have other applications, for example in heavy nuclei identification.


title: Spin-, time- and angle-resolved photoemission spectroscopy on WTe$_2$

abstract: We combined a spin-resolved photoemission spectrometer with a high-harmonic generation (HHG) laser source in order to perform spin-, time- and angle-resolved photoemission spectroscopy (STARPES) experiments on the transition metal dichalcogenide bulk WTe$_2$, a possible Weyl type-II semimetal. Measurements at different femtosecond pump-probe delays and comparison with spin-resolved one-step photoemission calculations provide insight into the spin polarization of electrons above the Fermi level in the region where Weyl points of WTe$_2$ are expected. We observe a spin accumulation above the Weyl points region, that is consistent with a spin-selective bottleneck effect due to the presence of spin polarized cone-like electronic structure. Our results support the feasibility of STARPES with HHG, which despite being experimentally challenging provides a unique way to study spin dynamics in photoemission.


title: Numerical modelling of open channel junctions using the Riemann problem approach

abstract: The solution of an extended Riemann problem is used to provide the internal boundary conditions at a junction when simulating one-dimensional flow through an open channel network. The proposed approach, compared to classic junction models, does not require the tuning of semi-empirical coefficients and it is theoretically well-founded. The Riemann problem approach is validated using experimental data, two-dimensional model results and analytical solutions. In particular, a set of experimental data is used to test each model under subcritical steady flow conditions, and different channel junctions are considered, with both continuous and discontinuous bottom elevation. Moreover, the numerical results are compared with analytical solutions in a star network to test unsteady conditions. Satisfactory results are obtained for all the simulations, and particularly for Y-shaped networks and for cases involving variations in channels' bottom and width. By contrast, classic models suffer when geometrical channel effects are involved.


title: Temperature Expansions in the Square-Shoulder Fluid I: the Wiener-Hopf Function

abstract: We investigate the spatial structure of dense square-shoulder fluids. To this end we derive analytical perturbative solutions of the Ornstein-Zernike equation in the low- and high-temperature limits as expansions around the known hard sphere solutions. We then discuss the suitability of perturbative approaches in relation to the Ornstein-Zernike equation.


title: A refinement of Gorenstein flat dimension via the flat--cotorsion theory

abstract: We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological dimension without extra assumptions on the ring. Crucially, we show that it coincides with the Gorenstein flat dimension for complexes where the latter is finite, and for complexes over right coherent rings--the setting where the Gorenstein flat dimension is known to behave as expected.


title: An Energy-Efficient Heterogeneous Memory Architecture for Future Dark Silicon Embedded Chip-Multiprocessors

abstract: Main memories play an important role in overall energy consumption of embedded systems. Using conventional memory technologies in future designs in nanoscale era causes a drastic increase in leakage power consumption and temperature-related problems. Emerging non-volatile memory (NVM) technologies offer many desirable characteristics such as near-zero leakage power, high density and non-volatility. They can significantly mitigate the issue of memory leakage power in future embedded chip-multiprocessor (eCMP) systems. However, they suffer from challenges such as limited write endurance and high write energy consumption which restrict them for adoption in modern memory systems. In this article, we present a convex optimization model to design a 3D stacked hybrid memory architecture in order to minimize the future embedded systems energy consumption in the dark silicon era. This proposed approach satisfies endurance constraint in order to design a reliable memory system. Our convex model optimizes numbers and placement of eDRAM and STT-RAM memory banks on the memory layer to exploit the advantages of both technologies in future eCMPs. Energy consumption, the main challenge in the dark silicon era, is represented as a major target in this work and it is minimized by the detailed optimization model in order to design a dark silicon aware 3D Chip-Multiprocessor. Experimental results show that in comparison with the Baseline memory design, the proposed architecture improves the energy consumption and performance of the 3D CMP on average about 61.33 and 9 percent respectively.


title: The spectral evolution of disc dominated tidal disruption events

abstract: We perform a detailed numerical and analytical study of the properties of observed light curves from relativistic thin discs, focussing on observational bands most appropriate for comparison with tidal disruption events (TDEs). We make use of asymptotic expansion techniques applied to the spectral emission integral, using time dependent disc temperature profiles appropriate for solutions of the relativistic thin disc equation. Rather than a power law associated with bolometric disc emission $L \sim t^{-n}$, the observed X-ray flux from disc-dominated TDEs will typically have the form of a power law multiplied by an exponential (see eq. 91). While precise details are somewhat dependent on the nature of the ISCO stress and disc-observer orientational angle, the general form of the time-dependent flux is robust and insensitive to the exact disc temperature profile. We present numerical fits to the UV and X-ray light curves of ASASSN-14li, a particularly well observed TDE. This modelling incorporates strong gravity optics. The full 900 days of ASASSN-14li X-ray observations are very well fit by a simple relativistic disc model, significantly improving upon previous work. The same underlying model also fits the final 1000 days of ASASSN-14li observations in three different UV bandpasses. Finally, we demonstrate that the analytic formulae reproduce the properties of full numerical modelling at both UV and X-ray wavelengths with great fidelity.


title: The Complexity of Verifying Population Protocols

abstract: Population protocols [Angluin et al., PODC, 2004] are a model of distributed computation in which indistinguishable, finite-state agents interact in pairs to decide if their initial configuration, i.e., the initial number of agents in each state, satisfies a given property. In a seminal paper Angluin et al. classified population protocols according to their communication mechanism, and conducted an exhaustive study of the expressive power of each class, that is, of the properties they can decide [Angluin et al., Distributed Computing, 2007]. In this paper we study the correctness problem for population protocols, i.e., whether a given protocol decides a given property. A previous paper [Esparza et al., Acta Informatica, 2017] has shown that the problem is decidable for the main population protocol model, but at least as hard as the reachability problem for Petri nets, which has recently been proved to have non-elementary complexity. Motivated by this result, we study the computational complexity of the correctness problem for all other classes introduced by Angluin et al., some of which are less powerful than the main model. Our main results show that for the class of observation models the complexity of the problem is much lower, ranging from ${\Pi}_2^p$ to PSPACE.


title: Comparison Principle for Hamilton-Jacobi-Bellman Equations via a Bootstrapping Procedure

abstract: We study the well-posedness of Hamilton-Jacobi-Bellman equations on subsets of $\mathbb{R}^d$ in a context without boundary conditions. The Hamiltonian is given as the supremum over two parts: an internal Hamiltonian depending on an external control variable and a cost functional penalizing the control. The key feature in this paper is that the control function can be unbounded and discontinuous. This way we can treat functionals that appear e.g. in the Donsker-Varadhan theory of large deviations for occupation time measures. To allow for this flexibility, we assume that the internal Hamiltonian and cost functional have controlled growth, and that they satisfy an equi-continuity estimate uniformly over compact sets in the space of controls. In addition to establishing the comparison principle for the Hamilton-Jacobi-Bellman equation, we also prove existence, the viscosity solution being the value function with exponentially discounted running costs. As an application, we verify the conditions on the internal Hamiltonian and cost functional in two examples.


title: Temperature Expansions in the Square Shoulder Fluid II: Thermodynamics

abstract: In a companion paper, we derived analytical expressions for the structure factor of the square-shoulder potential in a perturbative way around the high- and low-temperature regimes. Here, various physical properties of these solutions are derived. In particular, we investigate the large wave number sector, and relate it to the contact values of the pair-correlation function. Then, thermoelastic properties of the square-shoulder fluids are discussed.


title: Nonmutual torques and the unimportance of motility for long-range order in two-dimensional flocks

abstract: As the constituent particles of a flock are polar and in a driven state, their interactions must, in general, be fore-aft asymmetric and non-reciprocal. Within a model that explicitly retains the classical spin angular momentum field of the particles we show that the resulting asymmetric contribution to interparticle torques, if large enough, leads to a buckling instability of the flock. Precisely this asymmetry also yields a natural mechanism for a difference between the speed of advection of information along the flock and the speed of the flock itself, concretely establishing that the absence of detailed balance, and not merely the breaking of Galilean invariance, is crucial for this distinction. To highlight this we construct a model of asymmetrically interacting spins fixed to lattice points and demonstrate that the speed of advection of polarisation remains non-zero. We delineate the conditions on parameters and wavenumber for the existence of the buckling instability. Our theory should be consequential for interpreting the behaviour of real animal groups as well as experimental studies of artificial flocks composed of polar motile rods on substrates.


title: Improved Sterile Neutrino Constraints from the STEREO Experiment with 179 Days of Reactor-On Data

abstract: The STEREO experiment is a very short baseline reactor antineutrino experiment. It is designed to test the hypothesis of light sterile neutrinos being the cause of a deficit of the observed antineutrino interaction rate at short baselines with respect to the predicted rate, known as the reactor antineutrino anomaly. The STEREO experiment measures the antineutrino energy spectrum in six identical detector cells covering baselines between 9 and 11 m from the compact core of the ILL research reactor. In this article, results from 179 days of reactor turned on and 235 days of reactor turned off are reported at a high degree of detail. The current results include improvements in the modelling of detector optical properties and the gamma-cascade after neutron captures by gadolinium, the treatment of backgrounds, and the statistical method of the oscillation analysis. Using a direct comparison between antineutrino spectra of all cells, largely independent of any flux prediction, we find the data compatible with the null oscillation hypothesis. The best-fit point of the reactor antineutrino anomaly is rejected at more than 99.9% C.L.


title: Mitigating the impact of fiber assignment on clustering measurements from deep galaxy redshift surveys

abstract: We examine the impact of fiber assignment on clustering measurements from fiber-fed spectroscopic galaxy surveys. We identify new effects which were absent in previous, relatively shallow galaxy surveys such as Baryon Oscillation Spectroscopic Survey . Specifically, we consider deep surveys covering a wide redshift range from z=0.6 to z=2.4, as in the Subaru Prime Focus Spectrograph survey. Such surveys will have more target galaxies than we can place fibers on. This leads to two effects. First, it eliminates fluctuations with wavelengths longer than the size of the field of view, as the number of observed galaxies per field is nearly fixed to the number of available fibers. We find that we can recover the long-wavelength fluctuation by weighting galaxies in each field by the number of target galaxies. Second, it makes the preferential selection of galaxies in under-dense regions. We mitigate this effect by weighting galaxies using the so-called individual inverse probability. Correcting these two effects, we recover the underlying correlation function at better than 1 percent accuracy on scales greater than 10 Mpc/h.


title: Study of the Relativistic Dynamics of Extreme-Mass-Ratio Inspirals

abstract: The principal subject of this thesis is the gravitational two-body problem in the extreme-mass-ratio regime---that is, where one mass is significantly smaller than the other---in the full context of our contemporary theory of gravity, general relativity. We divide this work into two broad parts: the first provides an overview of the theory of general relativity along with the basic mathematical methods underlying it, focusing on its canonical formulation and perturbation techniques; the second presents our novel work in these areas, focusing on the problems of entropy, motion and the self-force in general relativity. We begin here with a study of entropy theorems in classical Hamiltonian systems, and in particular, the issue of the second law of thermodynamics in classical mechanics and general relativity. Then, we develop a general approach based on conservation laws for calculating the correction to the motion of a sufficiently small object due to gravitational perturbations in general relativity. When the perturbations are attributed to the small object itself, this effect is known as the gravitational self-force. It is what drives the orbital evolution of extreme-mass-ratio inspirals: compact binary systems where one mass is much smaller than---thus effectively orbiting and eventually spiralling into---the other, expected to be among the main sources for the future space-based gravitational wave detector LISA. Finally, we present some work on the numerical computation of the scalar self-force using an approach called the Particle-without-Particle method, as well as the generalization of this method to general partial differential equations and applications to other areas of applied mathematics.

categories: gr-qc astro-ph.HE hep-th math-ph math.MP


title: Quantifying the fragility of unprotected quadratic band crossing points

abstract: We examine a basic lattice model of interacting fermions that exhibits quadratic band crossing points (QBCPs) in the non-interacting limit. In particular, we consider spinless fermions on the honeycomb lattice with nearest neighbor hopping $t$ and third-nearest neighbor hopping $t''$, which exhibits fine-tuned QBCPs at the corners of the Brillouin zone for ${t'' = t/2}$. In this situation, the density of states remains finite at the Fermi level of the half-filled band and repulsive nearest-neighbor interactions $V$ lead to a charge-density-wave (CDW) instability at infinitesimally small $V$ in the random-phase approximation or mean-field theory. We examine the fragility of the QBCPs against dispersion renormalizations in the ${t\mbox{-}t''\mbox{-}V}$ model using perturbation theory, and find that the $t''$-value needed for the QBCPs increases with $V$ due to the hopping renormalization. However, the instability toward CDW formation always requires a nonzero threshold interaction strength, i.e., one cannot fine-tune $t''$ to recover the QBCPs in the interacting system. These perturbative arguments are supported by quantum Monte Carlo simulations for which we carefully compare the corresponding threshold scales at and beyond the QBCP fine-tuning point. From this analysis, we thus gain a quantitative microscopic understanding of the fragility of the QBCPs in this basic interacting fermion system.


title: Fast downflows in a chromospheric filament

abstract: An active region filament in the upper chromosphere is studied using spectropolarimetric data in He I 10830 A from the GREGOR telescope. A Milne-Eddingon based inversion of the Unno-Rachkovsky equations is used to retrieve the velocity and the magnetic field vector of the region. The plasma velocity reaches supersonic values closer to the feet of the filament barbs and coexist with a slow velocity component. Such supersonic velocities result from the acceleration of the plasma as it drains from the filament spine through the barbs. The line-of-sight magnetic fields have strengths below 200 G in the filament spine and in the filament barbs where fast downflows are located, their strengths range between 100 - 700 G.


title: A Multi-timescale Two-stage Robust Grid-friendly Dispatch Model for Microgrid Operation

abstract: Uncertainty in renewable energy generation and load consumption is a great challenge for microgrid operation, especially in islanded mode as the microgrid may be small in size and has limited flexible resources. In this paper, a multi-timescale, two-stage robust unit commitment and economic dispatch model is proposed to optimize the microgrid operation. The first stage is a combination of day-ahead hourly and real-time sub-hourly model, which means the day-ahead dispatch result must also satisfy the real-time condition at the same time. The second stage is to verify the feasibility of the day-ahead dispatch result in worst-case condition considering high-level uncertainty in renewable energy dispatch and load consumptions. In the proposed model, battery energy storage system (BESS) and solar PV units are integrated as a combined solar-storage system. The BESS plays an essential role to balance the variable output of solar PV units, which keeps the combined solar-storage system output unchanged on an hourly basis. In this way, it largely neutralizes the impact of solar uncertainty and makes the microgrid operation grid friendly. Furthermore, in order to enhance the flexibility and resilience of the microgrid, both BESS and thermal units provide regulating reserve to manage solar and load uncertainty. The model has been tested in a controlled hardware in loop (CHIL) environment for the Bronzeville Community Microgrid system in Chicago. The simulation results show that the proposed model works effectively in managing the uncertainty in solar PV and load and can provide a flexible dispatch in both grid-connected and islanded modes.


title: Extending a rigidity result of Lytchak

abstract: We extend a rigidity result of Alexander Lytchak by relaxing the requirement that the CAT(1) space be geodesically complete.


title: Thermal Correlators and Bosonization Dualities in Large $N$ Chern Simons Matter Theories

abstract: We consider $3$-dimensional conformal field theories with $U(N)_{\kappa}$ Chern Simons gauge fields coupled to bosonic and fermionic matter fields transforming in the fundamental representation of the gauge group. In these CFTs, we compute in the t'Hooft large $N$ limit and to all orders in the t'Hooft coupling $\lambda= N/ \kappa$, the thermal two-point correlation functions of the spin $s=0$, $s=1$ and $s=2$ gauge invariant conformal primary operators. These are the lowest dimension single trace scalar, the $U(1)$ current and the stress tensor operators respectively. Our results furnish additional tests of the conjectured bosonization dualities in these theories at finite temperature.


title: Best Subset Selection in Reduced Rank Regression

abstract: We design a new algorithm on the best subset selection model in reduced rank regression.


title: Intracellular Energy Variability Modulates Cellular Decision-Making Capacity

abstract: Cells are able to generate phenotypic diversity both during development and in response to stressful and changing environments, aiding survival. The biologically and medically vital process of a cell assuming a functionally important fate from a range of phenotypic possibilities can be thought of as a cell decision. To make these decisions, a cell relies on energy dependent pathways of signalling and expression. However, energy availability is often overlooked as a modulator of cellular decision-making. As cells can vary dramatically in energy availability, this limits our knowledge of how this key biological axis affects cell behaviour. Here, we consider the energy dependence of a highly generalisable decision-making regulatory network, and show that energy variability changes the sets of decisions a cell can make and the ease with which they can be made. Increasing intracellular energy levels can increase the number of stable phenotypes it can generate, corresponding to increased decision-making capacity. For this decision-making architecture, a cell with intracellular energy below a threshold is limited to a singular phenotype, potentially forcing the adoption of a specific cell fate. We suggest that common energetic differences between cells may explain some of the observed variability in cellular decision-making, and demonstrate the importance of considering energy levels in several diverse biological decision-making phenomena.


title: Effects of nitridation on SiC/SiO$_2$ structures studied by hard X-ray photoelectron spectroscopy

abstract: SiC is set to enable a new era in power electronics impacting a wide range of energy technologies, from electric vehicles to renewable energy. Its physical characteristics outperform silicon in many aspects, including band gap, breakdown field, and thermal conductivity. The main challenge for further development of SiC-based power semiconductor devices is the quality of the interface between SiC and its native dielectric SiO$_2$. High temperature nitridation processes can improve the interface quality and ultimately the device performance immensely, but the underlying chemical processes are still poorly understood. Here, we present an energy-dependent hard X-ray photoelectron spectroscopy (HAXPES) study probing non-destructively SiC and SiO$_2$ and their interface in device stacks treated in varying atmospheres. We successfully combine laboratory- and synchrotron-based HAXPES to provide unique insights into the chemistry of interface defects and their passivation through nitridation processes.


title: Chaos and quantum scars in Bose-Josephson junction coupled to a bosonic mode

abstract: We consider a model describing Bose-Josephson junction (BJJ) coupled to a single bosonic mode exhibiting quantum phase transition (QPT). Onset of chaos above QPT is observed from semiclassical dynamics as well from spectral statistics. Based on entanglement entropy we analyze the ergodic behavior of eigenstates with increasing energy density which also reveals the influence of dynamical steady state known as $\pi$-mode on it. We identify the imprint of unstable $\pi$-oscillation as many body quantum scar (MBQS), which leads to the deviation from ergodicity and quantify the degree of scarring. Persistence of phase coherence in nonequilibrium dynamics of such initial state corresponding to the $\pi$-mode is an observable signature of MBQS which has relevance in experiments on BJJ.


title: An Interval-Valued Utility Theory for Decision Making with Dempster-Shafer Belief Functions

abstract: The main goal of this paper is to describe an axiomatic utility theory for Dempster-Shafer belief function lotteries. The axiomatic framework used is analogous to von Neumann-Morgenstern's utility theory for probabilistic lotteries as described by Luce and Raiffa. Unlike the probabilistic case, our axiomatic framework leads to interval-valued utilities, and therefore, to a partial (incomplete) preference order on the set of all belief function lotteries. If the belief function reference lotteries we use are Bayesian belief functions, then our representation theorem coincides with Jaffray's representation theorem for his linear utility theory for belief functions. We illustrate our representation theorem using some examples discussed in the literature, and we propose a simple model for assessing utilities based on an interval-valued pessimism index representing a decision-maker's attitude to ambiguity and indeterminacy. Finally, we compare our decision theory with those proposed by Jaffray, Smets, Dubois et al., Giang and Shenoy, and Shafer.


title: The use of strain and grain boundaries to tailor phonon transport properties: A first principles study of 2H-phase $CuAlO_{2}$ (Part II)

abstract: Transparent oxide materials, such as $CuAlO_{2}$, a p-type transparent conducting oxide (TCO), have recently been studied for high temperature thermoelectric power generators and coolers for waste heat. TCO materials are generally low cost and non-toxic. The potential to engineer them through strain and nano-structuring are two promising avenues toward continuously tuning the electronic and thermal properties to achieve high zT values and low cost/kW-hr devices. In this work, the strain-dependent lattice thermal conductivity of 2H $CuAlO_{2}$ is computed by solving the phonon Boltzmann transport equation with interatomic force constants extracted from first-principles calculations. While the average bulk thermal conductivity is around 32 W/(K-m) at room temperature, it drops to between 5-15 W/(K-m) for typical experimental grain sizes from 3nm to 30nm at room temperature. We find that strain can offer both an increase as well as a decrease in the thermal conductivity as expected, however the overall inclusion of small grain sizes dictates the potential for low thermal conductivity in this material.


title: Degenerating Hermitian metrics, canonical bundle and spectral convergence

abstract: Let $(M,J)$ be a compact complex manifold of complex dimension $m$ and let $g_s$ be a one-parameter family of Hermitian forms on $M$ that are smooth and positive definite for each fixed $s\in (0,1]$ and that somehow degenerates to a Hermitian pseudometric $h$ for $s$ tending to $0$. In this paper under rather general assumptions on $g_s$ we prove various spectral convergence type theorems for the family of Hodge-Kodaira Laplacians $\Delta_{\overline{\partial},m,0,s}$ associated to $g_s$ and acting on the canonical bundle of $M$. In particular we show that, as $s$ tends to zero, the eigenvalues, the heat operators and the heat kernels corresponding to the family $\Delta_{\overline{\partial},m,0,s}$ converge to the eigenvalues, the heat operator and the heat kernel of $\Delta_{\overline{\partial},m,0,\mathrm{abs}}$, a suitable self-adjoint operator with entirely discrete spectrum defined on the limit space $(A,h|_A)$.


title: Retrieving Quantum Information with Active Learning

abstract: Active learning is a machine learning method aiming at optimal design for model training. At variance with supervised learning, which labels all samples, active learning provides an improved model by labeling samples with maximal uncertainty according to the estimation model. Here, we propose the use of active learning for efficient quantum information retrieval, which is a crucial task in the design of quantum experiments. Meanwhile, when dealing with large data output, we employ active learning for the sake of classification with minimal cost in fidelity loss. Indeed, labeling only 5% samples, we achieve almost 90% rate estimation. The introduction of active learning methods in the data analysis of quantum experiments will enhance applications of quantum technologies.


title: Document Sub-structure in Neural Machine Translation

abstract: Current approaches to machine translation (MT) either translate sentences in isolation, disregarding the context they appear in, or model context at the level of the full document, without a notion of any internal structure the document may have. In this work we consider the fact that documents are rarely homogeneous blocks of text, but rather consist of parts covering different topics. Some documents, such as biographies and encyclopedia entries, have highly predictable, regular structures in which sections are characterised by different topics. We draw inspiration from Louis and Webber (2014) who use this information to improve statistical MT and transfer their proposal into the framework of neural MT. We compare two different methods of including information about the topic of the section within which each sentence is found: one using side constraints and the other using a cache-based model. We create and release the data on which we run our experiments - parallel corpora for three language pairs (Chinese-English, French-English, Bulgarian-English) from Wikipedia biographies, which we extract automatically, preserving the boundaries of sections within the articles.


title: A comment about the paper On the instability of elliptic traveling wave solutions of the modified Camassa-Holm equation

abstract: We discuss the recent paper by A. Dar\'os and L.K. Arruda (On the instability of elliptic traveling wave solutions of the modified Camassa-Holm equation, J. Diff. Equat., 266 (2019), 1946-1968). Our intention is to correct some imperfections left by the authors and present the orbital stability of periodic snoidal waves in the energy space.


title: Master integrals for all unitarity cuts of massless four-loop propagators

abstract: Among the unitarity cuts of massless 4-loop propagators two classes have remained unknown until recently: 2-loop 3-particle cuts, and 1-loop 4-particle cuts. In this article we shall discuss the calculation that completes the master integrals for these cuts: both the motivation and the methods (including dimensional recurrence relations and direct integration at higher space-time dimensions).


title: Lensing-like tensions in the Planck legacy release

abstract: We analyze the final release of the Planck satellite data to constrain the gravitational lensing potential in a model-independent manner. The amount of lensing determined from the smoothing of the acoustic peaks in the temperature and polarization power spectra is 2$\sigma$ too high when compared with the measurements using the lensing reconstruction and 2.8$\sigma$ too high when compared with $\Lambda$CDM expectation based on the "unlensed" portion of the temperature and polarization power spectra. The largest change from the previous data release is the $\Lambda$CDM expectation, driven by improved constraints to the optical depth to reionization. The anomaly still is inconsistent with actual gravitational lensing, given that the lensing reconstruction constraints are discrepant independent of the model. Within the context of $\Lambda$CDM, improvements in its parameter constraints from lensing reconstruction bring this tension to 2.1$\sigma$ and from further adding baryon acoustic oscillation and Pantheon supernova data to a marginally higher 2.2$\sigma$. Once these other measurements are included, marginalizing this lensing-like anomaly cannot substantially resolve tensions with low-redshift measurements of $H_0$ and $S_8$ in $\Lambda$CDM, $\Lambda$CDM+$N_\mathrm{eff}$ or $\Lambda$CDM+$\sum m_\nu$; furthermore the artificial strengthening of constraints on $\sum m_\nu$ is less than 20%.


title: That and There: Judging the Intent of Pointing Actions with Robotic Arms

abstract: Collaborative robotics requires effective communication between a robot and a human partner. This work proposes a set of interpretive principles for how a robotic arm can use pointing actions to communicate task information to people by extending existing models from the related literature. These principles are evaluated through studies where English-speaking human subjects view animations of simulated robots instructing pick-and-place tasks. The evaluation distinguishes two classes of pointing actions that arise in pick-and-place tasks: referential pointing (identifying objects) and locating pointing (identifying locations). The study indicates that human subjects show greater flexibility in interpreting the intent of referential pointing compared to locating pointing, which needs to be more deliberate. The results also demonstrate the effects of variation in the environment and task context on the interpretation of pointing. Our corpus, experiments and design principles advance models of context, common sense reasoning and communication in embodied communication.


title: A Homology Theory of Graphs: First Homology Group of Hamiltonian Graphs

abstract: An integral homology theory on the category of undirected reflexive graphs was constructed in [2]. A geometrical method to understand behaviors of $1$- and $2$-simplices under differential maps of the theory was developed in [3] and led us to an independent proof that the first homology group of any cycle graphs is $\mathbb{Z}$, as it was proved before by a version of Hurewicz theorem harshly defined and shown in [1] and [2]. In this work, we use the old method in [3] to study behaviors of the first homology group of Hamiltonian graphs. We discovered that $H_1(G)$ is torsion-free, for any Hamiltonian graphs $G$.


title: Access to decoupled information on Generalized Parton Distributions (GPDs) via Double Deeply Virtual Compton Scattering (DDVCS)

abstract: The Generalized Parton Distributions (GPDs) constitute an appropriate framework for a universal description of the partonic structure of the nucleon. Double Deeply Virtual Compton Scattering (DDVCS) process provides the only experimental way to measure independently the dependences of the GPDs on the average and transferred momentum. This proceeding discusses the feasibility of a DDVCS experiment in the context of JLab 12 GeV, model-predicted pseudo-data, and extraction of the relevant GPDs information based on a fitter algorithm.


title: A Dynamical Systems Description of Privilege, Power and Leadership in Academia: identifying barriers and paths to inclusive communities of excellent scholarship

abstract: As the diversity of people in higher education grows, Universities are struggling to provide inclusive environments that nurture the spirit of free inquiry in the presence of these differences. At the extreme, the value of diversity is under attack as a few, vocal academics use public forums to question the innate intellectual abilities of certain demographic groups. Throughout my career as an astronomer, from graduate student, through professor to department chair, I have witnessed these struggles firsthand. Exclusive cultures result in lost opportunities in the form of unfulfilled potential of all members of the institution - students, administrators and faculty alike. How to move steadily towards inclusion is an unsolved problem that hampers the advancement of knowledge itself. As every scientist knows, problem definition is an essential feature of problem solution. This article draws on insights from dynamical systems descriptions of conflict developed in the social and behavioral sciences to present a model that captures the convoluted, interacting challenges that stifle progress on this problem. This description of complexity explains the persistence of exclusive cultures and the inadequacy of quick or simple fixes. It also motivates the necessity of prolonged and multifaceted approaches to solutions. It is incumbent on our faculties to recognize the complexities in both problem and solutions, and persevere in responding to these intractable dynamics. It is incumbent on our administrations to provide the consistent structure that supports these tasks. It incumbent on all of our constituents - students, administration and faculty - to be cognizant of and responsive to these efforts.


title: Music-oriented Dance Video Synthesis with Pose Perceptual Loss

abstract: We present a learning-based approach with pose perceptual loss for automatic music video generation. Our method can produce a realistic dance video that conforms to the beats and rhymes of almost any given music. To achieve this, we firstly generate a human skeleton sequence from music and then apply the learned pose-to-appearance mapping to generate the final video. In the stage of generating skeleton sequences, we utilize two discriminators to capture different aspects of the sequence and propose a novel pose perceptual loss to produce natural dances. Besides, we also provide a new cross-modal evaluation to evaluate the dance quality, which is able to estimate the similarity between two modalities of music and dance. Finally, a user study is conducted to demonstrate that dance video synthesized by the presented approach produces surprisingly realistic results. The results are shown in the supplementary video at https://youtu.be/0rMuFMZa_K4


title: Torsional optomechanical cooling of a nanofiber

abstract: We demonstrate the optomechanical cooling of a tapered optical nanofiber by coupling the polarization of light to the mechanical angular momentum of the system. The coupling is enabled by birefringence in the fiber and does not make use of an optical resonator. We find evidence for cooling in the distribution of thermally driven amplitude fluctuations and the noise spectrum of the torsional modes. Our proof-of-principle demonstration shows cavity-less cooling of the torsional degree of freedom of a macroscopically extended nanofiber.


title: Quantum advantage from energy measurements of many-body quantum systems

abstract: The problem of sampling outputs of quantum circuits has been proposed as a candidate for demonstrating a quantum computational advantage (sometimes referred to as quantum "supremacy"). In this work, we investigate whether quantum advantage demonstrations can be achieved for more physically-motivated sampling problems, related to measurements of physical observables. We focus on the problem of sampling the outcomes of an energy measurement, performed on a simple-to-prepare product quantum state -- a problem we refer to as energy sampling. For different regimes of measurement resolution and measurement errors, we provide complexity theoretic arguments showing that the existence of efficient classical algorithms for energy sampling is unlikely. In particular, we describe a family of Hamiltonians with nearest-neighbour interactions on a 2D lattice that can be efficiently measured with high resolution using a quantum circuit of commuting gates (IQP circuit), whereas an efficient classical simulation of this process should be impossible. In this high resolution regime, which can only be achieved for Hamiltonians that can be exponentially fast-forwarded, it is possible to use current theoretical tools tying quantum advantage statements to a polynomial-hierarchy collapse whereas for lower resolution measurements such arguments fail. Nevertheless, we show that efficient classical algorithms for low-resolution energy sampling can still be ruled out if we assume that quantum computers are strictly more powerful than classical ones. We believe our work brings a new perspective to the problem of demonstrating quantum advantage and leads to interesting new questions in Hamiltonian complexity.


title: Second-Order Bulk-Boundary Correspondence in Rotationally Symmetric Topological Superconductors from Stacked Dirac Hamiltonians

abstract: Two-dimensional second-order topological superconductors host zero-dimensional Majorana bound states at their boundaries. In this work, focusing on rotation-invariant crystalline topological superconductors, we establish a bulk-boundary correspondence linking the presence of such Majorana bound states to bulk topological invariants introduced by Benalcazar et al. We thus establish when a topological crystalline superconductor protected by rotational symmetry displays second-order topological superconductivity. Our approach is based on stacked Dirac Hamiltonians, using which we relate transitions between topological phases to the transformation properties between adjacent gapped boundaries. We find that in addition to the bulk rotational invariants, the presence of Majorana boundary bound states in a given geometry depends on the interplay between weak topological invariants and the location of the rotation center relative to the lattice. We provide numerical examples for our predictions and discuss possible extensions of our approach.


title: Correlated Effects of Relative Size and Depth in the Perceptual Organization of Multiple Figure-Ground Configurations

abstract: The neural networks of the human visual brain derive representations of three-dimensional structure from specific two-dimensional image cues. Neural models backed by psychophysical data predict how local differences in either luminance contrast or physical size of local boundaries in 2D images may determine the perception of 3D properties. Predictions relative to the role of color in this process do not follow from any of the current models. To further clarify the potential contribution of color to perceptual organization, image configurations with multiple surface representations where the relative physical size of local boundaries between contrast regions was held constant were submitted to perceptual judgments of relative size and relative depth. The only potential cues available in the images were generated by the specific local combinations of color and luminance contrast. It is shown that response probabilities for subjective depth and subjective size are systematically and consistently determined by local surface colors and their immediate backgrounds. There is a statistically significant correlation between subjective depth and subjective size, and a color specific effect on both dependent variables. This effect depends on the polarity of the immediate surround of the reference surface rather than on local center-surround contrast intensity. It is suggested that the underlying neural mechanisms selectively exploit specific color and background cues to enable intrinsically coherent perceptual organization of ambiguous image input.


title: A Formal Proof of the Irrationality of $\zeta(3)$

abstract: This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have formalized essentially follows the path of his original presentation. The crux of this proof is to establish that some sequences satisfy a common recurrence. We formally prove this result by an a posteriori verification of calculations performed by computer algebra algorithms in a Maple session. The rest of the proof combines arithmetical ingredients and asymptotic analysis, which we conduct by extending the Mathematical Components libraries.


title: From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)

abstract: This paper proposes a tentative and original survey of meeting points between Knowledge Representation and Reasoning (KRR) and Machine Learning (ML), two areas which have been developing quite separately in the last three decades. Some common concerns are identified and discussed such as the types of used representation, the roles of knowledge and data, the lack or the excess of information, or the need for explanations and causal understanding. Then some methodologies combining reasoning and learning are reviewed (such as inductive logic programming, neuro-symbolic reasoning, formal concept analysis, rule-based representations and ML, uncertainty in ML, or case-based reasoning and analogical reasoning), before discussing examples of synergies between KRR and ML (including topics such as belief functions on regression, EM algorithm versus revision, the semantic description of vector representations, the combination of deep learning with high level inference, knowledge graph completion, declarative frameworks for data mining, or preferences and recommendation). This paper is the first step of a work in progress aiming at a better mutual understanding of research in KRR and ML, and how they could cooperate.


title: Seeing Around Street Corners: Non-Line-of-Sight Detection and Tracking In-the-Wild Using Doppler Radar

abstract: Conventional sensor systems record information about directly visible objects, whereas occluded scene components are considered lost in the measurement process. Non-line-of-sight (NLOS) methods try to recover such hidden objects from their indirect reflections - faint signal components, traditionally treated as measurement noise. Existing NLOS approaches struggle to record these low-signal components outside the lab, and do not scale to large-scale outdoor scenes and high-speed motion, typical in automotive scenarios. In particular, optical NLOS capture is fundamentally limited by the quartic intensity falloff of diffuse indirect reflections. In this work, we depart from visible-wavelength approaches and demonstrate detection, classification, and tracking of hidden objects in large-scale dynamic environments using Doppler radars that can be manufactured at low-cost in series production. To untangle noisy indirect and direct reflections, we learn from temporal sequences of Doppler velocity and position measurements, which we fuse in a joint NLOS detection and tracking network over time. We validate the approach on in-the-wild automotive scenes, including sequences of parked cars or house facades as relay surfaces, and demonstrate low-cost, real-time NLOS in dynamic automotive environments.


title: Inverse source in two-parameter anomalous diffusion, numerical algorithms and simulations over graded time-meshes

abstract: We consider an inverse source two-parameter sub-diffusion model subject to a nonlocal initial condition. The problem models several physical processes, among them are the microwave heating and light propagation in photoelectric cells. A bi-orthogonal pair of bases is employed to construct a series representation of the solution and a Volterra integral equation for the source term. We develop a numerical algorithm for approximating the unknown time-dependent source term. Due to the singularity of the solution near $t=0$, a graded mesh is used to improve the convergence rate. Numerical experiments are provided to illustrate the expected analytical order of convergence.


title: Lessons from reinforcement learning for biological representations of space

abstract: Neuroscientists postulate 3D representations in the brain in a variety of different coordinate frames (e.g. 'head-centred', 'hand-centred' and 'world-based'). Recent advances in reinforcement learning demonstrate a quite different approach that may provide a more promising model for biological representations underlying spatial perception and navigation. In this paper, we focus on reinforcement learning methods that reward an agent for arriving at a target image without any attempt to build up a 3D 'map'. We test the ability of this type of representation to support geometrically consistent spatial tasks such as interpolating between learned locations using decoding of feature vectors. We introduce a hand-crafted representation that has, by design, a high degree of geometric consistency and demonstrate that, in this case, information about the persistence of features as the camera translates (e.g. distant features persist) can improve performance on the geometric tasks. These examples avoid Cartesian (in this case, 2D) representations of space. Non-Cartesian, learned representations provide an important stimulus in neuroscience to the search for alternatives to a 'cognitive map'.


title: Angular Momentum Conservation and Phonon Spin in Magnetic Insulators

abstract: We develop a microscopic theory of spin-lattice interactions in magnetic insulators, separating rigid-body rotations and the internal angular momentum, or spin, of the phonons, while conserving the total angular momentum. In the low-energy limit, the microscopic couplings are mapped onto experimentally accessible magnetoelastic constants. We show that the transient phonon spin contribution of the excited system can dominate over the magnon spin, leading to nontrivial Einstein-de Haas physics.


title: Action Modifiers: Learning from Adverbs in Instructional Videos

abstract: We present a method to learn a representation for adverbs from instructional videos using weak supervision from the accompanying narrations. Key to our method is the fact that the visual representation of the adverb is highly dependant on the action to which it applies, although the same adverb will modify multiple actions in a similar way. For instance, while 'spread quickly' and 'mix quickly' will look dissimilar, we can learn a common representation that allows us to recognize both, among other actions. We formulate this as an embedding problem, and use scaled dot-product attention to learn from weakly-supervised video narrations. We jointly learn adverbs as invertible transformations operating on the embedding space, so as to add or remove the effect of the adverb. As there is no prior work on weakly supervised learning from adverbs, we gather paired action-adverb annotations from a subset of the HowTo100M dataset for 6 adverbs: quickly/slowly, finely/coarsely, and partially/completely. Our method outperforms all baselines for video-to-adverb retrieval with a performance of 0.719 mAP. We also demonstrate our model's ability to attend to the relevant video parts in order to determine the adverb for a given action.


title: Quantum-Zeno Fermi polaron in the strong dissipation limit

abstract: The interplay between measurement and quantum correlations in many-body systems can lead to novel types of collective phenomena which are not accessible in isolated systems. In this work, we merge the Zeno-paradigm of quantum measurement theory with the concept of polarons in condensed-matter physics. The resulting quantum-Zeno Fermi-polaron is a quasi-particle which emerges for lossy impurities interacting with a quantum-degenerate bath of fermions. For loss rates of the order of the impurity-fermion binding energy the quasi-particle is short lived. However, we show that in the strongly dissipative regime of large loss rates a long-lived polaron branch re-emerges. This quantum-Zeno Fermi-polaron originates from the nontrivial interplay between the Fermi-surface and the surface of the momentum region forbidden by the quantum Zeno projection. The situation we consider here is realized naturally for polaritonic impurities in charge-tuneable semiconductors and can be also implemented using dressed atomic states in ultracold gases.


title: Double field inflation of generalized dilaton-axion models with a new Fayet-Iliopoulos (FI) term

abstract: We study the inflation dynamics of generalized dilaton-axion models with a new Fayet-Iliopoulos (FI) term. In particular, we find the relationships between the super-potential parameters and the coefficient of natural logarithm of the real part of dilaton-axion fields stored in the K\"ahler potential based on the vacuum conditions at the end of inflation. We also evaluate the feasible initial field values, their corresponding SUSY breaking scales and the iso-curvature parameters.


title: Propagation of Singularities for the Stochastic Wave Equation

abstract: We study the existence and propagation of singularities of the solution to a one-dimensional linear stochastic wave equation driven by an additive Gaussian noise that is white in time and colored in space. Our approach is based on a simultaneous law of the iterated logarithm and general methods for Gaussian processes.


title: Primordial non-Gaussianity without tails -- how to measure fNL with the bulk of the density PDF

abstract: We investigate the possibility to detect primordial non-Gaussianity by analysing the bulk of the probability distribution function (PDF) of late-time cosmic density fluctuations. For this purpose we devise a new method to predict the impact of general non-Gaussian initial conditions on the late-time density PDF. At redshift $z=1$ and for a smoothing scale of 30Mpc/$h$ our predictions agree with the high-resolution Quijote N-body simulations to $\sim 0.2\%$ precision. This is within cosmic variance of a $\sim 100(\mathrm{Gpc}/h)^3$ survey volume. When restricting to this 30Mpc/$h$ smoothing scale and to mildly non-linear densities ($\delta[30\mathrm{Mpc}/h] \in [-0.3, 0.4]$) and also marginalizing over potential ignorance of the amplitude of the non-linear power spectrum an analysis of the PDF for such a survey volume can still measure the amplitude of different primordial bispectrum shapes to an accuracy of \smash{$\Delta f_{\mathrm{NL}}^{\mathrm{loc}}=\pm 7.4\ ,\ \Delta f_{\mathrm{NL}}^{\mathrm{equi}}=\pm 22.0\ ,\ \Delta f_{\mathrm{NL}}^{\mathrm{ortho}}=\pm 46.0$} . When pushing to smaller scales and assuming a joint analysis of the PDF with smoothing radii of 30Mpc/$h$ and 15Mpc/$h$ ($\delta[15\mathrm{Mpc}/h] \in [-0.4, 0.5]$) this improves to \smash{$\Delta f_{\mathrm{NL}}^{\mathrm{loc}}=\pm 3.3\ ,\ \Delta f_{\mathrm{NL}}^{\mathrm{equi}}=\pm 11.0\ ,\ \Delta f_{\mathrm{NL}}^{\mathrm{ortho}}=\pm 17.0\ $} - even when marginalizing over the non-linear variances at both scales as two free parameters. Especially, such an analysis could simultaneously measure $f_{\mathrm{NL}}$ and the amplitude and slope of the non-linear power spectrum. However, at 15Mpc/$h$ our predictions are only accurate to $\lesssim 0.8\%$ for the considered density range. We discuss how this has to be improved in order to push to these small scales and make full use of upcoming surveys with a PDF-based analysis.


title: Solving Optimal Experimental Design with Sequential Quadratic Programming and Chebyshev Interpolation

abstract: We propose an optimization algorithm to compute the optimal sensor locations in experimental design in the formulation of Bayesian inverse problems, where the parameter-to-observable mapping is described through an integral equation and its discretization results in a continuously indexed matrix whose size depends on the mesh size n. By approximating the gradient and Hessian of the objective design criterion from Chebyshev interpolation, we solve a sequence of quadratic programs and achieve the complexity $\mathcal{O}(n\log^2(n))$. An error analysis guarantees the integrality gap shrinks to zero as $n\to\infty$, and we apply the algorithm on a two-dimensional advection-diffusion equation, to determine the LIDAR's optimal sensing directions for data collection.


title: Differential Harnack inequalities via Concavity of the arrival time

abstract: We present a simple connection between differential Harnack inequalities for hypersurface flows and natural concavity properties of their time-of-arrival functions. We prove these concavity properties directly for a large class of flows by applying a concavity maximum principle argument to the corresponding level set flow equations. In particular, this yields a short proof of Hamilton's differential Harnack inequality for mean curvature flow and, more generally, Andrews' differential Harnack inequalities for certain "$\alpha$-inverse-concave" flows.


title: Superconductivity in the doped quantum spin liquid on the triangular lattice

abstract: Broad interest in quantum spin liquid (QSL) phases was triggered by the notion that they can be viewed as insulating phases with preexisting electron-pairs, such that upon light doping they might automatically yield superconductivity. Yet despite intense efforts, definitive evidence is lacking. We address the problem of a lightly doped QSL through a large-scale density-matrix renormalization group study of the $t$-$J$ model on the triangular lattice with a small but non-zero concentration of doped holes. The ground state is consistent with a Luther-Emery liquid with power-law superconducting and charge-density-wave correlations associated with partially-filled charge stripes. In particular, the superconducting correlations are dominant on both four-leg and six-leg cylinders at all hole doping concentrations. Our results provide direct evidences that doping a QSL can naturally lead to robust superconductivity.


title: Electronic structure and superconductivity of the non-centrosymmetric Sn$_4$As$_3$

abstract: In a superconductor that lacks inversion symmetry, the spatial part of the Cooper pair wave function has a reduced symmetry, allowing for the mixing of spin-singlet and spin-triplet Cooper pairing channels and thus providing a pathway to a non-trivial superconducting state. Materials with a non-centrosymmetric crystal structure and with strong spin-orbit coupling are a platform to realize these possibilities. Here, we report the synthesis and characterisation of high quality crystals of Sn$_4$As$_3$, with non-centrosymmetric unit cell ($R3m$). We have characterised the normal and superconducting state using a range of methods. Angle-resolved photoemission spectroscopy shows a multiband Fermi surface and the presence of two surface states, confirmed by Density-functional theory calculations. Specific heat measurements reveal a superconducting critical temperature of $T_c\sim 1.14$ K and an upper critical magnetic field of $H_c\gtrsim 7$ mT, which are both confirmed by ultra-low temperature scanning tunneling microscopy and spectroscopy. Scanning tunneling spectroscopy shows a fully formed superconducting gap, consistent with conventional $s$-wave superconductivity.


title: de Sitter Conjectures in N=1 Supergravity

abstract: Supergravity theories at D=4 allow to formulate the Swampland de Sitter conjectures in the complex field space of scalar components of chiral multiplets. We formulate the de Sitter and refined de Sitter conjecture by using the K\"ahler invariant ${\cal G}$-function and explore a class of models in the Landscape/Swampland scenario which obey and/or violate such conjectures. Furthermore we give a new construction of single exponential potentials in supergravity. These depend on a chiral superfield with a K\"ahler potential parametrizing an SU(1,1)/U(1) geometry. We show that the construction allows for modifications to supergravity theories causing them to obey the de Sitter conjectures.


title: The quadratic hull of a code and the geometric view on multiplication algorithms

abstract: We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by evaluation-interpolation at simple points (i.e. of degree and multiplicity 1) on a naturally associated space, namely the quadratic hull of the corresponding code. This also provides a geometric answer to some questions such as: which linear maps actually are multiplication algorithms, or which codes come from supercodes (as asked by Shparlinski-Tsfasman-Vladut). We illustrate this with examples, in particular we describe the quadratic hull of all the optimal algorithms computed by Barbulescu-Detrey-Estibals-Zimmermann for small algebras. In our presentation we actually work with multiplication reductions. This is a generalization of multiplication algorithms, that allows for instance evaluation-interpolation at points of higher degree and/or with multiplicities, and also includes the recently introduced notion of "reverse multiplication-friendly embedding" from Cascudo-Cramer-Xing-Yang. All our results hold in this more general context.


title: One-Dimensional Moir\'e Excitons in Transition-Metal Dichalcogenide Heterobilayers

abstract: The formation of interfacial moir\'e patterns from angular and/or lattice mismatch has become a powerful approach to engineer a range of quantum phenomena in van der Waals heterostructures. For long-lived and valley-polarized interlayer excitons in transition-metal dichalcogenide (TMDC) heterobilayers, signatures of quantum confinement by the moir\'e landscape have been reported in recent experimental studies. Such moir\'e confinement has offered the exciting possibility to tailor new excitonic systems, such as ordered arrays of zero-dimensional (0D) quantum emitters and their coupling into topological superlattices. A remarkable nature of the moir\'e potential is its dramatic response to strain, where a small uniaxial strain can tune the array of quantum-dot-like 0D traps into parallel stripes of one-dimensional (1D) quantum wires. Here, we present direct evidence for the 1D moir\'e potentials from real space imaging and the corresponding 1D moir\'e excitons from photoluminescence (PL) emission in MoSe2/WSe2 heterobilayers. Whereas the 0D moir\'e excitons display quantum emitter-like sharp PL peaks with circular polarization, the PL emission from 1D moir\'e excitons has linear polarization and two orders of magnitude higher intensity. The results presented here establish strain engineering as a powerful new method to tailor moir\'e potentials as well as their optical and electronic responses on demand.