title: SoLid: A short baseline reactor neutrino experiment

abstract: The SoLid experiment, short for Search for Oscillations with a Lithium-6 detector, is a new generation neutrino experiment which tries to address the key challenges for high precision reactor neutrino measurements at very short distances from a reactor core and with little or no overburden. The primary goal of the SoLid experiment is to perform a precise measurement of the electron antineutrino energy spectrum and flux and to search for very short distance neutrino oscillations as a probe of eV-scale sterile neutrinos. This paper describes the SoLid detection principle, the mechanical design and the construction of the detector. It then reports on the installation and commissioning on site near the BR2 reactor, Belgium, and finally highlights its performance in terms of detector response and calibration.


title: Coordinated Passive Beamforming for Distributed Intelligent Reflecting Surfaces Network

abstract: Intelligent reflecting surface (IRS) is a proposing technology in 6G to enhance the performance of wireless networks by smartly reconfiguring the propagation environment with a large number of passive reflecting elements. However, current works mainly focus on single IRS-empowered wireless networks, where the channel rank deficiency problem has emerged. In this paper, we propose a distributed IRS-empowered communication network architecture, where multiple source-destination pairs communicate through multiple distributed IRSs. We further contribute to maximize the achievable sum-rates in this network via jointly optimizing the transmit power vector at the sources and the phase shift matrix with passive beamforming at all distributed IRSs. Unfortunately, this problem turns out to be non-convex and highly intractable, for which an alternating approach is developed via solving the resulting fractional programming problems alternatively. In particular, the closed-form expressions are proposed for coordinated passive beamforming at IRSs. The numerical results will demonstrate the algorithmic advantages and desirable performances of the distributed IRS-empowered communication network.


title: Ultrasound evidence for a two-component superconducting order parameter in Sr$_2$RuO$_4$

abstract: The quasi-2D metal Sr$_2$RuO$_4$ is one of the best characterized unconventional superconductors, yet the nature of its superconducting order parameter is still highly debated. This information is crucial to determine the pairing mechanism of Cooper pairs. Here we use ultrasound velocity to probe the superconducting state of Sr$_2$RuO$_4$. This thermodynamic probe is symmetry-sensitive and can help to identify the superconducting order symmetry. Indeed, we observe a sharp jump in the shear elastic constant $c_{66}$ as the temperature is raised across the superconducting transition at $T_c$. This directly implies that the superconducting order parameter is of a two-component nature. Based on symmetry argument and given the other known properties of Sr$_2$RuO$_4$, we discuss what states are compatible with this requirement and propose that the two-component order parameter, namely $\lbrace d_{xz}; d_{yz} \rbrace$, is the most likely candidate.


title: Transport properties in magnetized compact stars

abstract: Transport properties of dense QCD matter is discussed. Using the Kubo formula for conductivity, we discuss some topological aspects of quark matter during chiral transition. The close relation to Weyl semimetal is pointed out and anomalous Hall effect is demonstrated to be possible there. In particular, it is shown that the spectral asymmetry of the quasi-particles plays an important role for the Hall conductivity in the magnetic field.


title: Universal birational invariants and $\mathbb{A}^1$-homology

abstract: Let $k$ be a field admitting a resolution of singularities. In this paper, we prove that the functor of zeroth $\mathbb{A}^1$-homology $\mathbf{H}^{\mathbb{A}^1}_0$ is universal as a functorial birational invariant of smooth proper $k$-varieties taking values in a category enriched by abelian groups. For a smooth proper $k$-variety $X$, we also prove that the dimension of $\mathbf{H}^{\mathbb{A}^1}_0(X;\mathbb{Q})(\mathrm{Spec} k)$ coincides with the number of $R$-equivalence classes of $X(k)$. We deduce these results as consequences of the structure theorem that for a smooth proper $k$-variety $X$, the sheaf $\mathbf{H}^{\mathbb{A}^1}_0(X)$ is the free abelian presheaf generated by the birational $\mathbb{A}^1$-connected components $\pi_0^{b\mathbb{A}^1}(X)$ of Asok-Morel.


title: Light Yield and Uniformity Measurements of Different Scintillator Tiles with Silicon Photomultipliers

abstract: We present light yield and uniformity measurements of square and hexagonal tiles read out with silicon photomultipliers via a Y11 wavelength-shifting fiber or directly from the side or from the center at the top face. All tiles are 3~mm thick and have an area of $\rm 9~cm^2$. The sides are wrapped with two layers of Teflon tape while top and bottom faces are covered with two layers of Tyvec paper. We further show the first light yield and uniformity measurements of ATLAS Tile Calorimeter (TileCal) tiles with MPPC readout. This study has been motivated by looking into a possible phase 3 upgrade for the ATLAS hadron calorimeter and for hadron calorimeters at future hadron colliders.


title: How should we choose the boundary conditions in a simulation which could detect anyons in one and two dimensions?

abstract: We discuss the problem of anyonic statistics in one and two spatial dimensions from the point of view of statistical physics. In particular we want to understand how the choice of the Bornvon Karman or the twisted periodic boundary conditions necessary in a Monte Carlo simulation to mimic the thermodynamic limit of the many body system influences the statistical nature of the particles. The particles can either be just bosons, when the configuration space is simply connected as for example for particles on a line. They can be bosons and fermions, when the configuration space is doubly connected as for example for particles in the tridimensional space or in a Riemannian surface of genus greater or equal to one (on the torus, etc . . . ). They can be scalar anyons with arbitrary statistics, when the configuration space is infinitely connected as for particles on the plane or in the circle. They can be scalar anyons with fractional statistics, when the configuration space is the one of particles on a sphere. One can further have multi components anyons with fractional statistics when the configuration space is doubly connected as for particles on a Riemannian surface of genus greater or equal to one. We determine an expression for the canonical partition function of hard core particles (including anyons) on various geometries. We then show how the choice of boundary condition (periodic or open) in one and two dimensions determine which particles can exist on the considered surface. In the conclusion, we mention the Laughlin wavefunction and give a few comments about experiments.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Effects of Two-Dimensional Material Thickness and Surrounding Dielectric Medium on Coulomb Interactions and Excitons

abstract: We examine the impact of quantum confinement on the interaction potential between two charges in two-dimensional semiconductor nanosheets in solution. The resulting effective potential depends on two length scales, namely the thickness $d$ and an emergent length scale $d^* \equiv \epsilon d / \epsilon_{\text{sol}}$, where $\epsilon$ is the permittivity of the nanosheet and $\epsilon_{\text{sol}}$ is the permittivity of the solvent. In particular, quantum confinement, and not electrostatics, is responsible for the logarithmic behavior of the effective potential for separations smaller than $d$, instead of the one-over-distance bulk Coulomb interaction. Finally, we corroborate that the exciton binding energy also depends on the two-dimensional exciton Bohr radius $a_0$ in addition to the length scales $d$ and $d^*$ and analyze the consequences of this dependence.


title: Realizing a Low-Power Head-Mounted Phase-Only Holographic Display by Light-Weight Compression

abstract: Head-mounted holographic displays (HMHD) are projected to be the first commercial realization of holographic video display systems. HMHDs use liquid crystal on silicon (LCoS) spatial light modulators (SLM), which are best suited to display phase-only holograms (POH). The performance/watt requirement of a monochrome, 60 fps Full HD, 2-eye, POH HMHD system is about 10 TFLOPS/W, which is orders of magnitude higher than that is achievable by commercially available mobile processors. To mitigate this compute power constraint, display-ready POHs shall be generated on a nearby server and sent to the HMHD in compressed form over a wireless link. This paper discusses design of a feasible HMHD-based augmented reality system, focusing on compression requirements and per-pixel rate-distortion trade-off for transmission of display-ready POH from the server to HMHD. Since the decoder in the HMHD needs to operate on low power, only coding methods that have low-power decoder implementation are considered. Effects of 2D phase unwrapping and flat quantization on compression performance are also reported. We next propose a versatile PCM-POH codec with progressive quantization that can adapt to SLM-dynamic-range and available bitrate, and features per-pixel rate-distortion control to achieve acceptable POH quality at target rates of 60-200 Mbit/s that can be reliably achieved by current wireless technologies. Our results demonstrate feasibility of realizing a low-power, quality-ensured, multi-user, interactive HMHD augmented reality system with commercially available components using the proposed adaptive compression of display-ready POH with light-weight decoding.


title: Zero-Resource Cross-Domain Named Entity Recognition

abstract: Existing models for cross-domain named entity recognition (NER) rely on numerous unlabeled corpus or labeled NER training data in target domains. However, collecting data for low-resource target domains is not only expensive but also time-consuming. Hence, we propose a cross-domain NER model that does not use any external resources. We first introduce a Multi-Task Learning (MTL) by adding a new objective function to detect whether tokens are named entities or not. We then introduce a framework called Mixture of Entity Experts (MoEE) to improve the robustness for zero-resource domain adaptation. Finally, experimental results show that our model outperforms strong unsupervised cross-domain sequence labeling models, and the performance of our model is close to that of the state-of-the-art model which leverages extensive resources.


title: Algebras with representable representations

abstract: Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $B\to \mathit{Der}(X)$ from $B$ to the Lie algebra $\mathit{Der}(X)$ of derivations on $X$. In this article, we study the question whether the concept of a derivation can be extended to other types of non-associative algebras over a field $\mathbb{K}$, in such a way that these generalised derivations characterise the $\mathbb{K}$-algebra actions. We prove that the answer is no, as soon as the field $\mathbb{K}$ is infinite. In fact, we prove a stronger result: already the representability of all abelian actions -- which are usually called representations or Beck modules -- suffices for this to be true. Thus we characterise the variety of Lie algebras over an infinite field of characteristic different from $2$ as the only variety of non-associative algebras which is a non-abelian category with representable representations. This emphasises the unique role played by the Lie algebra of linear endomorphisms $\mathfrak{gl}(V)$ as a representing object for the representations on a vector space $V$.


title: SemI2I: Semantically Consistent Image-to-Image Translation for Domain Adaptation of Remote Sensing Data

abstract: Although convolutional neural networks have been proven to be an effective tool to generate high quality maps from remote sensing images, their performance significantly deteriorates when there exists a large domain shift between training and test data. To address this issue, we propose a new data augmentation approach that transfers the style of test data to training data using generative adversarial networks. Our semantic segmentation framework consists in first training a U-net from the real training data and then fine-tuning it on the test stylized fake training data generated by the proposed approach. Our experimental results prove that our framework outperforms the existing domain adaptation methods.


title: 3D Hydrodynamical Simulations of a Brown Dwarf Accretion by a Main-Sequence Star and its Impact on the Surface Li Abundance

abstract: Li-depleted (enhanced) stars in the main-sequence (MS) and (or) the RGB, pose a puzzling mystery. Presently, there is still no clear answer to the mechanism(s) that enables such Li depletion (enhancement). One possible explanation comes from the, still controversial, observational evidence of Li underabundances in MS stars hosting planets, and of a positive correlation between the Li abundance and rotational velocity in some RGB stars, which suggests a stellar collision with a planet-like object as a possible solution. In this study we explore this scenario, performing for first time 3D-hydrodynamical simulations of a 0.019 Mo brown dwarf collision with a MS star under different initial conditions. This enables us to gather information about the impact on the physical structure and final Li content in the hosting star.


title: The monodromy map from differential systems to character variety is generically immersive

abstract: Let $G$ be a connected reductive affine algebraic group defined over $\mathbb C$ and $\mathfrak g$ its Lie algebra. We study the monodromy map from the space of $\mathfrak g$-differential systems on a compact connected Riemann surface $\Sigma$ of genus $g \,\geq\, 2$ to the character variety of $G$-representations of the fundamental group of $\Sigma$. If the complex dimension of $G$ is at least three, we show that the monodromy map is an immersion at the generic point.


title: Counting dense objects in remote sensing images

abstract: Estimating accurate number of interested objects from a given image is a challenging yet important task. Significant efforts have been made to address this problem and achieve great progress, yet counting number of ground objects from remote sensing images is barely studied. In this paper, we are interested in counting dense objects from remote sensing images. Compared with object counting in natural scene, this task is challenging in following factors: large scale variation, complex cluttered background and orientation arbitrariness. More importantly, the scarcity of data severely limits the development of research in this field. To address these issues, we first construct a large-scale object counting dataset based on remote sensing images, which contains four kinds of objects: buildings, crowded ships in harbor, large-vehicles and small-vehicles in parking lot. We then benchmark the dataset by designing a novel neural network which can generate density map of an input image. The proposed network consists of three parts namely convolution block attention module (CBAM), scale pyramid module (SPM) and deformable convolution module (DCM). Experiments on the proposed dataset and comparisons with state of the art methods demonstrate the challenging of the proposed dataset, and superiority and effectiveness of our method.


title: Optimal Pricing of Internet of Things: A Machine Learning Approach

abstract: Internet of things (IoT) produces massive data from devices embedded with sensors. The IoT data allows creating profitable services using machine learning. However, previous research does not address the problem of optimal pricing and bundling of machine learning-based IoT services. In this paper, we define the data value and service quality from a machine learning perspective. We present an IoT market model which consists of data vendors selling data to service providers, and service providers offering IoT services to customers. Then, we introduce optimal pricing schemes for the standalone and bundled selling of IoT services. In standalone service sales, the service provider optimizes the size of bought data and service subscription fee to maximize its profit. For service bundles, the subscription fee and data sizes of the grouped IoT services are optimized to maximize the total profit of cooperative service providers. We show that bundling IoT services maximizes the profit of service providers compared to the standalone selling. For profit sharing of bundled services, we apply the concepts of core and Shapley solutions from cooperative game theory as efficient and fair allocations of payoffs among the cooperative service providers in the bundling coalition.


title: Complex Self-Assembly from Simple Interaction Rules in Model Colloidal Mixtures

abstract: Building structures with hierarchical order through the self-assembly of smaller blocks is not only a prerogative of nature, but also a strategy to design artificial materials with tailored functions. We explore in simulation the spontaneous assembly of colloidal particles into extended structures, using spheres and size-asymmetric dimers as solute particles, while treating the solvent implicitly. Besides rigid cores for all particles, we assume an effective short-range attraction between spheres and small monomers to promote, through elementary rules, dimer-mediated aggregation of spheres. Starting from a completely disordered configuration, we follow the evolution of the system at low temperature and density, as a function of the relative concentration of the two species. When spheres and large monomers are of same size, we observe the onset of elongated aggregates of spheres, either disconnected or cross-linked, and a crystalline bilayer. As spheres grow bigger, the self-assembling scenario changes, getting richer overall, with the addition of flexible membrane sheets with crystalline order and monolayer vesicles. With this wide assortment of structures, our model can serve as a viable template to achieve a better control of self-assembly in dilute suspensions of microsized particles.


title: Funnel Hopping Monte Carlo: An efficient method to overcome broken ergodicity

abstract: Monte Carlo simulations are a powerful tool to investigate the thermodynamic properties of atomic systems. In practice however, sampling of the complete configuration space is often hindered by high energy barriers between different regions of configuration space which can make ergodic sampling completely infeasible within accessible simulation times. Although several extensions to the conventional Monte Carlo scheme have been developed, that enable the treatment of such systems, these extensions often entail substantial computational cost or rely on the harmonic approximation. In this work we propose an exact method called Funnel Hopping Monte Carlo (FHMC) that is inspired by the the ideas of smart darting but is more efficient. Gaussian mixtures are used to approximate the Boltzmann distribution around local energy minima which are then used to propose high quality Monte Carlo moves that enable the Monte Carlo simulation to directly jump between different funnels. To fit the Gaussian mixtures we developed an extended version of the expectation-maximization algorithm that is able to take advantage of the high symmetry present in many low energy configurations. We demonstrate the methods performance on the example of the 38 as well as the 75 atom Lennard-Jones clusters which are well known for their double funnel energy landscapes that prevent ergodic sampling with conventional Monte Carlo simulations. By integrating FHMC into the parallel tempering scheme we were able to reduce the number of steps required until convergence of the simulation significantly.


title: Thermodynamic cycles with active matter

abstract: Active matter constantly dissipates energy to power the self-propulsion of its microscopic constituents. This opens the door to designing innovative cyclic engines without any equilibrium equivalent. We offer a consistent thermodynamic framework to characterize and optimize the performances of such cycles. Based on a minimal model, we put forward a protocol which extracts work by controlling only the properties of the confining walls at boundaries, and we rationalize the transitions between optimal cycles. We show that the corresponding power and efficiency are generally proportional, so that they reach their maximum values at same cycle time in contrast with thermal cycles, and we provide a generic relation constraining the fluctuations of the power.


title: Approximation Bounds for Random Neural Networks and Reservoir Systems

abstract: This work studies approximation based on single-hidden-layer feedforward and recurrent neural networks with randomly generated internal weights. These methods, in which only the last layer of weights and a few hyperparameters are optimized, have been successfully applied in a wide range of static and dynamic learning problems. Despite the popularity of this approach in empirical tasks, important theoretical questions regarding the relation between the unknown function, the weight distribution, and the approximation rate have remained open. In this work it is proved that, as long as the unknown function, functional, or dynamical system is sufficiently regular, it is possible to draw the internal weights of the random (recurrent) neural network from a generic distribution (not depending on the unknown object) and quantify the error in terms of the number of neurons and the hyperparameters. In particular, this proves that echo state networks with randomly generated weights are capable of approximating a wide class of dynamical systems arbitrarily well and thus provides the first mathematical explanation for their empirically observed success at learning dynamical systems.


title: Vortices in the supersolid phase of dipolar Bose-Einstein condensates

abstract: Vortices are expected to exist in a supersolid but experimentally their detection can be difficult because the vortex cores are localized at positions where the local density is very low. We address here this problem by performing numerical simulations of a dipolar Bose-Einstein Condensate (BEC) in a pancake confinement at $T=0$ K and study the effect of quantized vorticity on the phases that can be realized depending upon the ratio between dipolar and short-range interaction. By increasing this ratio the system undergoes a spontaneous density modulation in the form of an ordered arrangement of multi-atom "droplets". This modulated phase can be either a "supersolid" (SS) or a "normal solid" (NS). In the SS state droplets are immersed in a background of low-density superfluid and the system has a finite global superfluid fraction resulting in non-classical rotational inertia. In the NS state no such superfluid background is present and the global superfluid fraction vanishes. We propose here a protocol to create vortices in modulated phases of dipolar BEC by "freezing" into such phases a vortex-hosting superfluid (SF) state. The resulting system, depending upon the interactions strengths, can be either a SS or a NS To discriminate between these two possible outcome of a "freezing" experiment, we show that upon releasing of the radial harmonic confinement, the expanding vortex-hosting SS shows tell-tale quantum interference effects which display the symmetry of the vortex lattice of the originating SF, as opposed to the behavior of the NS which shows instead a ballistic radial expansion of the individual droplets. Such markedly different behavior might be used to prove the supersolid character of rotating dipolar condensates.


title: Finite volume discretisation of fracture deformation in thermo-poroelastic media

abstract: This paper presents a model where thermo-hydro-mechanical processes are coupled to a deformation model for preexisting fractures. The model is formulated within a discrete-fracture-matrix framework where the rock matrix and the fractures are considered as individual subdomains, and interaction between them takes place on the matrix-fracture interfaces. A finite volume discretisation implemented in the simulation toolbox PorePy is presented and applied in a simulation showcasing the effects of the different mechanisms on fracture deformation governed by contact mechanics, as well as their different timescales.


title: Human Perception of Intrinsically Motivated Autonomy in Human-Robot Interaction

abstract: A challenge in using robots in human-inhabited environments is to design behavior that is engaging, yet robust to the perturbations induced by human interaction. Our idea is to imbue the robot with intrinsic motivation (IM) so that it can handle new situations and appears as a genuine social other to humans and thus be of more interest to a human interaction partner. Human-robot interaction (HRI) experiments mainly focus on scripted or teleoperated robots, that mimic characteristics such as IM to control isolated behavior factors. This article presents a "robotologist" study design that allows comparing autonomously generated behaviors with each other, and, for the first time, evaluates the human perception of IM-based generated behavior in robots. We conducted a within-subjects user study (N=24) where participants interacted with a fully autonomous Sphero BB8 robot with different behavioral regimes: one realizing an adaptive, intrinsically motivated behavior and the other being reactive, but not adaptive. The robot and its behaviors are intentionally kept minimal to concentrate on the effect induced by IM. A quantitative analysis of post-interaction questionnaires showed a significantly higher perception of the dimension "Warmth" compared to the reactive baseline behavior. Warmth is considered a primary dimension for social attitude formation in human social cognition. A human perceived as warm (friendly, trustworthy) experiences more positive social interactions.


title: Estimating the single-photon projection of low-intensity light sources

abstract: Estimating the quality of a single-photon source is crucial for its use in quantum technologies. The standard test for semiconductor sources is a value of the second-order correlation function of the emitted field below $1/2$ at zero time-delay. This criterion alone provides no information regarding the amplitude of the single-photon contribution for general quantum states. Addressing this question requires the knowledge of additional observables. We derive an effective second-order correlation function, strongly connected to the Mandel-$Q$ parameter and given in terms of both the second-order correlation and the average photon number, that provides a lower bound on the single-to-multi-photon projection ratio. Using both observables individually allows for lower and upper bounds for the single-photon projection. Comparing the tightness of our bounds with those in the literature, we find that relative bounds may be better described using the average photon number, while absolute bounds for low excitation states are tighter using the vacuum projection. Our results show that estimating the quality of a single-photon source based on additional information is very much dependent on what aspect of the quantum state of light one is interested in.


title: Discovery and timing of pulsars in the globular cluster M13 with FAST

abstract: We report the discovery of a binary millisecond pulsar (namely PSR J1641+3627F or M13F) in the globular cluster M13 (NGC 6205) and timing solutions of M13A to F using observations made with the Five-hundred-metre Aperture Spherical radio Telescope (FAST). PSR J1641+3627F has a spin period of 3.00 ms and an orbital period of 1.4 days. The most likely companion mass is 0.16 M$_{\odot}$. M13A to E all have short spin periods and small period derivatives. We also confirm that the binary millisecond pulsar PSR J1641$+$3627E (also M13E) is a black widow with a companion mass around 0.02 M$_{\odot}$. We find that all the binary systems have low eccentricities compared to those typical for globular cluster pulsars and that they decrease with distance from the cluster core. This is consistent with what is expected as this cluster has a very low encounter rate per binary.


title: On a fourth order conformal invariant

abstract: In this note we prove that a fourth order conformal invariant on the product of a circle with an (n-1)-dimensional sphere can be arbitrarily close to that of the n-dimensional sphere, generalizing a result of Schoen about the classical Yamabe invariant.


title: Asymptotics of continuous-time discrete state space branching processes for large initial state

abstract: Scaling limits for continuous-time branching processes with discrete state space are provided as the initial state tends to infinity. Depending on the finiteness or non-finiteness of the mean and/or the variance of the offspring distribution, the limits are in general time-inhomogeneous Gaussian processes, time-inhomogeneous generalized Ornstein-Uhlenbeck type processes or continuous-state branching processes. We also provide transfer results showing how specific asymptotic relations for the probability generating function of the offspring distribution carry over to those of the one-dimensional distributions of the branching process.


title: Kinetic characteristics of ions in an inertial electrostatic confinement device

abstract: The kinetic analyses are quite important when it comes to understand the particle behavior in any device as they start to deviate from continuum nature. In the present study, kinetic simulations are performed using Particle-in-Cell (PIC) method to analyze the behavior of ions inside a cylindrical Inertial Electrostatic Confinement Fusion (IECF) device which is being developed as a tabletop neutron source. Here, the lighter ions, like deuterium are accelerated by applying an electrostatic field between the chamber wall (anode) and the cathode (cylindrical gridded wire), placed at the center of the device. The plasma potential profiles obtained from the simulated results indicate the formation of multiple potential well structures inside the cathode grid depending upon the applied cathode potential (from $-1$ to $-5~kV$). The ion density at the core region of the device is found to be of the order of $10^{16}~m^{-3}$, which closely resembles the experimental observations. Spatial variation of Ion Energy Distribution Function (IEDF) has been measured in order to observe the characteristics of ions at different cathode voltages. Finally, the simulated results are compared and found to be in good agreement with the experimental profiles. The present analysis can serve as a reference guide to optimize the technological parameters of the discharge process in IECF devices.


title: DNA Torsion-based Model of Cell Fate Phase Transitions

abstract: All stem cell fate transitions, including the metabolic reprogramming of stem cells and the somatic reprogramming of fibroblasts into pluripotent stem cells, can be understood from a unified theoretical model of cell fates. Each cell fate transition can be regarded as a phase transition in DNA supercoiling. However, there has been a dearth of quantitative biophysical models to explain and predict the behaviors of these phase transitions. The generalized Ising model is proposed to define such phase transitions. The model predicts that, apart from temperature-induced phase transitions, there exists DNA torsion frequency-induced phase transitions. Major transitions in epigenetic states, from stem cell activation to differentiation and reprogramming, can be explained by such torsion frequency-induced phase transitions, with important implications for regenerative medicine and medical diagnostics in the future.


title: Wallman Duality for Semilattice Subbases

abstract: We extend Wallman's classic duality from lattice bases to semilattice subbases and from compact to locally closed compact spaces. Moreover, we make this duality functorial via appropriate relational morphisms.


title: Optimal Freewheeling Control of a Heavy-Duty Vehicle Using Mixed Integer Quadratic Programming

abstract: Improving the powertrain control of heavy-duty vehicles can be an efficient way to reduce the fuel consumption and thereby reduce both the operating cost and the environmental impact. One way of doing so is by using information about the upcoming driving conditions, known as look-ahead information, in order to coast with a gear engaged or to use freewheeling. Controllers using such techniques today mainly exist for vehicles in highway driving. This paper therefore targets how such control can be applied to vehicles with more variations in their velocity, such as distribution vehicles. The driving mission of such a vehicle is here formulated as an optimal control problem. The control variables are the tractive force, the braking force, and a Boolean variable representing closed or open powertrain. The problem is solved by a Model Predictive Controller, which at each iteration solves a Mixed Integer Quadratic Program. The fuel consumption is compared for four different control policies: a benchmark following the reference of the driving cycle, look-ahead control without freewheeling, freewheeling with the engine idling, and freewheeling with the engine turned off. Simulations on a driving cycle typically used for testing distribution vehicles show the potential of saving 10%, 16%, and 20\% respectively for the control policies compared with the benchmark, in all cases without increasing the trip time.


title: Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm

abstract: The execution of (business) processes generates valuable traces of event data in the information systems employed within companies. Recently, approaches for monitoring the correctness of the execution of running processes have been developed in the area of process mining, i.e., online conformance checking. The advantages of monitoring a process' conformity during its execution are clear, i.e., deviations are detected as soon as they occur and countermeasures can immediately be initiated to reduce the possible negative effects caused by process deviations. Existing work in online conformance checking only allows for obtaining approximations of non-conformity, e.g., overestimating the actual severity of the deviation. In this paper, we present an exact, parameter-free, online conformance checking algorithm that computes conformance checking results on the fly. Our algorithm exploits the fact that the conformance checking problem can be reduced to a shortest path problem, by incrementally expanding the search space and reusing previously computed intermediate results. Our experiments show that our algorithm outperforms comparable state-of-the-art approximation algorithms.


title: Influence of Lorentz Invariation Violation on Arbitrarily Spin Fermions Tunneling Radiation in the Vaidya-Bonner Spacetime

abstract: In the spacetime of non-stationary spherical symmetry Vaidya-Bonner black hole, an accurate modification of Hawking tunneling radiation for fermions with arbitrarily spin is researched. Considering a light dispersion relationship derived from string theory, quantum gravitational theory and Rarita-Schwinger Equation in the non-stationary spherical symmetry spacetime, we derive an accurately modified dynamic equation for fermions with arbitrarily spin. By solving the equation, modified tunneling rate of fermions with arbitrarily spin, Hawking temperature and entropy at the event horizon of Vaidya-Bonner black hole are presented. We find the Hawking temperature will increase, but the the entropy will decrease comparing with the case without Lorentz Invariation Violation modification.


title: Many-body radiative heat pumping

abstract: We introduce a local radiative heat-pumping effect between two bodies in a many-body system, obtained by periodically modulating both the temperature and the position of an intermediate object using an external source of energy. We show that the magnitude and the sign of energy flow can be tuned by changing the oscillation amplitude and dephasing of the two parameters. This many-body effect paves the way for an efficient and active control of heat fluxes at the nanoscale.


title: Probing $e\mu$ flavor-violating ALP at Belle II

abstract: Recently, it was pointed out that the electron and muon g-2 discrepancies can be explained simultaneously by a flavor-violating axion-like particle (ALP). We show that the parameter regions favored by the muon g-2 are already excluded by the muonium-antimuonium oscillation bound. In contrast, those for the electron g-2 can be consistent with this bound when the ALP is heavier than 1.5 GeV. We propose to search for a signature of the same-sign and same-flavor lepton pairs and the forward-backward muon asymmetry to test the model at the Belle II experiment.


title: Upper and Lower Class Functions for Maximum Likelihood Estimator for Single server Queues

abstract: Upper and lower class functions for the maximum likelihood estimator of the arrival and the service rates in a $GI/G/1$ queue are studied and the results are verified for M/M/1 queue.


title: Revisiting Underapproximate Reachability for Multipushdown Systems

abstract: Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful behaviors. In this paper, we propose a new class of bounded under approximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient algorithm for solving the under-approximate reachability problem, which is based on efficient fix-point computations. We implement it in our tool BHIM and illustrate its applicability by generating a set of relevant benchmarks and examining its performance. As an additional takeaway, BHIM solves the binary reachability problem in pushdown automata. To show the versatility of our approach, we then extend our algorithm to the timed setting and provide the first implementation that can handle timed multi-pushdown automata with closed guards.


title: Variational principles in quantum Monte Carlo: the troubled story of variance minimization

abstract: We investigate the use of different variational principles in quantum Monte Carlo, namely energy and variance minimization, prompted by the interest in the robust and accurate estimate of electronic excited states. For two prototypical, challenging molecules, we readily reach the accuracy of the best available reference excitation energies using energy minimization in a state-specific or state-average fashion for states of different or equal symmetry, respectively. On the other hand, in variance minimization, where the use of suitable functionals is expected to target specific states regardless of the symmetry, we encounter severe problems for a variety of wave functions: as the variance converges, the energy drifts away from that of the selected state. This unexpected behavior is sometimes observed even when the target is the ground state, and generally prevents the robust estimate of total and excitation energies. We analyze this problem using a very simple wave function and infer that the optimization finds little or no barrier to escape from a local minimum or local plateau, eventually converging to the unique lowest-variance state instead of the target state. While the loss of the state of interest can be delayed and possibly avoided by reducing the statistical error of the gradient, for the full optimization of realistic wave functions, variance minimization with current functionals appears to be an impractical route.


title: The Hoyle Family: The search for alpha-condensate states in light nuclei

abstract: Our present understanding of the structure of the Hoyle state in $^{12}$C and other near-threshold states in $\alpha$-conjugate nuclei is reviewed in the framework of the $\alpha$-condensate model. The $^{12}$C Hoyle state, in particular, is a candidate for $\alpha$-condensation, due to its large radius and $\alpha$-cluster structure. The predicted features of nuclear $\alpha$-particle condensates are reviewed along with a discussion of their experimental indicators, with a focus on precision break-up measurements. Two experiments are discussed in detail, firstly concerning the break-up of $^{12}$C and then the decays of heavier nuclei. With more theoretical input, and increasingly complex detector setups, precision break-up measurements can, in principle, provide insight into the structures of states in $\alpha$-conjugate nuclei. However, the commonly-held belief that the decay of a condensate state will result in $N$ $\alpha$-particles is challenged. We further conclude that unambiguously characterising excited states built on $\alpha$-condensates is difficult, despite improvements in detector technology.


title: On Bayesian inference for the Extended Plackett-Luce model

abstract: The analysis of rank ordered data has a long history in the statistical literature across a diverse range of applications. In this paper we consider the Extended Plackett-Luce model that induces a flexible (discrete) distribution over permutations. The parameter space of this distribution is a combination of potentially high-dimensional discrete and continuous components and this presents challenges for parameter interpretability and also posterior computation. Particular emphasis is placed on the interpretation of the parameters in terms of observable quantities and we propose a general framework for preserving the mode of the prior predictive distribution. Posterior sampling is achieved using an effective simulation based approach that does not require imposing restrictions on the parameter space. Working in the Bayesian framework permits a natural representation of the posterior predictive distribution and we draw on this distribution to address the rank aggregation problem and also to identify potential lack of model fit. The flexibility of the Extended Plackett-Luce model along with the effectiveness of the proposed sampling scheme are demonstrated using several simulation studies and real data examples.


title: Learning Functionally Decomposed Hierarchies for Continuous Control Tasks with Path Planning

abstract: We present HiDe, a novel hierarchical reinforcement learning architecture that successfully solves long horizon control tasks and generalizes to unseen test scenarios. Functional decomposition between planning and low-level control is achieved by explicitly separating the state-action spaces across the hierarchy, which allows the integration of task-relevant knowledge per layer. We propose an RL-based planner to efficiently leverage the information in the planning layer of the hierarchy, while the control layer learns a goal-conditioned control policy. The hierarchy is trained jointly but allows for the modular transfer of policy layers across hierarchies of different agents. We experimentally show that our method generalizes across unseen test environments and can scale to 3x horizon length compared to both learning and non-learning based methods. We evaluate on complex continuous control tasks with sparse rewards, including navigation and robot manipulation.


title: A Data Efficient End-To-End Spoken Language Understanding Architecture

abstract: End-to-end architectures have been recently proposed for spoken language understanding (SLU) and semantic parsing. Based on a large amount of data, those models learn jointly acoustic and linguistic-sequential features. Such architectures give very good results in the context of domain, intent and slot detection, their application in a more complex semantic chunking and tagging task is less easy. For that, in many cases, models are combined with an external language model to enhance their performance. In this paper we introduce a data efficient system which is trained end-to-end, with no additional, pre-trained external module. One key feature of our approach is an incremental training procedure where acoustic, language and semantic models are trained sequentially one after the other. The proposed model has a reasonable size and achieves competitive results with respect to state-of-the-art while using a small training dataset. In particular, we reach 24.02% Concept Error Rate (CER) on MEDIA/test while training on MEDIA/train without any additional data.


title: Hyperspectral Infrared Microscopy With Visible Light

abstract: Hyperspectral microscopy is an imaging technique that provides spectroscopic information with high spatial resolution. When applied in the relevant wavelength region, such as in the infrared (IR), it can reveal a rich spectral fingerprint across different regions of a sample. Challenges associated with low efficiency and high cost of IR light sources and detector arrays have limited its broad adoption. We introduce a new approach to IR hyperspectral microscopy, where the IR spectral map of the sample is obtained with off-the-shelf components built for visible light. The technique is based on the nonlinear interference of correlated photons generated via parametric down-conversion. We demonstrate chemical mapping of a patterned sample, in which different areas have distinctive IR spectroscopic fingerprints. The technique provides a wide field of view, fast readout, and negligible heat delivered to the sample, which makes it highly relevant to material and biological applications.


title: Xenon Isotopes Identify Large-scale Nucleosynthetic Heterogeneities across the Solar System

abstract: Nucleosynthetic isotopic anomalies in meteorites and planetary objects contribute to our understanding of the formation of the solar system. Isotope systematics of chondrites demonstrate the existence of a physical separation between isotopic reservoirs in the solar system. The isotopic composition of atmospheric xenon (Xe) indicates that its progenitor, U-Xe, is depleted in 134Xe and 136Xe isotopes relative to Solar or Chondritic end-members. This deficit supports the view that nucleosynthetic heterogeneities persisted during the Solar System formation. Measurements of xenon emitted from comet 67P/Churyumov-Gerasimenko (67P) identified a similar, but more extreme, deficit of cometary gas in these isotopes relative to Solar gas. Here we show that the data from 67P demonstrate that two distinct sources contributed xenon isotopes associated with the r-process to the solar system. The h-process contributed at least 29% (2sigmas) of solar system 136Xe. Mixtures of these r-process components and the s-process that match the heavy isotope signature of cometary Xe lead to depletions of the precursor of atmospheric Xe in p-only isotopes. Only the addition of pure p-process Xe to the isotopic mixture brings 124Xe/132Xe and 126Xe/132Xe ratios back to solar-like values. No pure p-process Xe has been detected in solar system material, and variation in p-process Xe isotopes is always correlated with variation in r-process Xe isotopes. In the solar system, p-process incorporation from the interstellar medium happened before incorporation of r-process nuclides or material in the outer edge of the solar system carries a different mixture of presolar sources as have been preserved in parent bodies.


title: Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

abstract: The preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sphere models for counterfactual logics, is proposed. Soundness and completeness of PCL and its extensions with respect to this class of models are proved directly. Labelled sequent calculi for all logics of the family are then introduced. The calculi are modular and have standard proof-theoretical properties, the most important of which is admissibility of cut, that entails a syntactic proof of completeness of the calculi. By adopting a general strategy, root-first proof search terminates, thereby providing a decision procedure for PCL and its extensions. Finally, the semantic completeness of the calculi is established: from a finite branch in a failed proof attempt it is possible to extract a finite countermodel of the root sequent. The latter result gives a constructive proof of the finite model property of all the logics considered.


title: Van Hove bound states in the continuum: Localised subradiant states in finite open lattices

abstract: We show that finite lattices with arbitrary boundaries may support large degenerate subspaces, stemming from the underlying translational symmetry of the lattice. When the lattice is coupled to an environment, a potentially large number of these states remains weakly or perfectly uncoupled from the environment, realising a new kind of bound states in the continuum. These states are strongly localized along particular directions of the lattice which, in the limit of strong coupling to the environment, leads to spatially-localized subradiant states.

categories: cond-mat.mes-hall cond-mat.quant-gas physics.optics quant-ph


title: Microscopy with undetected photons in the mid-infrared

abstract: Owing to its capacity for unique (bio)-chemical specificity, microscopy withmid-IR illumination holds tremendous promise for a wide range of biomedical and industrial applications. The primary limitation, however, remains detection; with current mid-IR detection technology often marrying inferior technical capabilities with prohibitive costs. This has lead to approaches that shift detection towavelengths into the visible regime, where vastly superior silicon-based cameratechnology is available. Here, we experimentally show how nonlinear interferometry with entangled light can provide a powerful tool for mid-IR microscopy, while only requiring near-infrared detection with a standard CMOS camera. In this proof-of-principle implementation, we demonstrate intensity imaging overa broad wavelength range covering 3.4-4.3um and demonstrate a spatial resolution of 35um for images containing 650 resolved elements. Moreover, we demonstrate our technique is fit for purpose, acquiring microscopic images of biological tissue samples in the mid-IR. These results open a new perspective for potential relevance of quantum imaging techniques in the life sciences.


title: Uncertainty and Trade-offs in Quantum Multiparameter Estimation

abstract: Uncertainty relations in quantum mechanics express bounds on our ability to simultaneously obtain knowledge about expectation values of non-commuting observables of a quantum system. They quantify trade-offs in accuracy between complementary pieces of information about the system. In Quantum multiparameter estimation, such trade-offs occur for the precision achievable for different parameters characterizing a density matrix: an uncertainty relation emerges between the achievable variances of the different estimators. This is in contrast to classical multiparameter estimation, where simultaneous optimal precision is attainable in the asymptotic limit. We study trade-off relations that follow from known tight bounds in quantum multiparameter estimation. We compute trade-off curves and surfaces from Cram\'er--Rao type bounds which provide a compelling graphical representation of the information encoded in such bounds, and argue that bounds on simultaneously achievable precision in quantum multiparameter estimation should be regarded as measurement uncertainty relations. From the state-dependent bounds on the expected cost in parameter estimation, we derive a state independent uncertainty relation between the parameters of a qubit system.


title: Multi-Level Feature Fusion Mechanism for Single Image Super-Resolution

abstract: Convolution neural network (CNN) has been widely used in Single Image Super Resolution (SISR) so that SISR has been a great success recently. As the network deepens, the learning ability of network becomes more and more powerful. However, most SISR methods based on CNN do not make full use of hierarchical feature and the learning ability of network. These features cannot be extracted directly by subsequent layers, so the previous layer hierarchical information has little impact on the output and performance of subsequent layers relatively poor. To solve above problem, a novel Multi-Level Feature Fusion network (MLRN) is proposed, which can take full use of global intermediate features. We also introduce Feature Skip Fusion Block (FSFblock) as basic module. Each block can be extracted directly to the raw multiscale feature and fusion multi-level feature, then learn feature spatial correlation. The correlation among the features of the holistic approach leads to a continuous global memory of information mechanism. Extensive experiments on public datasets show that the method proposed by MLRN can be implemented, which is favorable performance for the most advanced methods.


title: Toward Agile Situated Visualization: An Exploratory User Study

abstract: We introduce AVAR, a prototypical implementation of an agile situated visualization (SV) toolkit targeting liveness, integration, and expressiveness. We report on results of an exploratory study with AVAR and seven expert users. In it, participants wore a Microsoft HoloLens device and used a Bluetooth keyboard to program a visualization script for a given dataset. To support our analysis, we (i) video recorded sessions, (ii) tracked users' interactions, and (iii) collected data of participants' impressions. Our prototype confirms that agile SV is feasible. That is, liveness boosted participants' engagement when programming an SV, and so, the sessions were highly interactive and participants were willing to spend much time using our toolkit (i.e., median >= 1.5 hours). Participants used our integrated toolkit to deal with data transformations, visual mappings, and view transformations without leaving the immersive environment. Finally, participants benefited from our expressive toolkit and employed multiple of the available features when programming an SV.


title: Glider automata on all transitive sofic shifts

abstract: For any infinite transitive sofic shift $X$ we construct a reversible cellular automaton (i.e. an automorphism of the shift $X$) which breaks any given finite point of the subshift into a finite collection of gliders traveling into opposing directions. This shows in addition that every infinite transitive sofic shift has a reversible CA which is sensitive with respect to all directions. As another application we prove a finitary Ryan's theorem: the automorphism group aut$(X)$ contains a two-element subset whose centralizer consists only of shift maps. We also show that in the class of $S$-gap shifts these results do not extend beyond the sofic case.


title: Exploring hydrogen production for self-energy generation in electroremediation: A proof of concept

abstract: Electrodialytic technologies are clean up processes based on the application of a low-level electrical current to produce electrolysis reactions and the consequent electrochemically induced transport of contaminants. These treatments inherently produce electrolytic hydrogen, an energy carrier, at the cathode compartment, in addition to other cathode reactions. However, exploring this by-product for self energy generation in electroremediation has never been researched. In this work we present the study of hydrogen production during the electrodialytic treatment of three different environmental matrices.


title: MCENET: Multi-Context Encoder Network for Homogeneous Agent Trajectory Prediction in Mixed Traffic

abstract: Trajectory prediction in urban mixed-traffic zones (a.k.a. shared spaces) is critical for many intelligent transportation systems, such as intent detection for autonomous driving. However, there are many challenges to predict the trajectories of heterogeneous road agents (pedestrians, cyclists and vehicles) at a microscopical level. For example, an agent might be able to choose multiple plausible paths in complex interactions with other agents in varying environments. To this end, we propose an approach named Multi-Context Encoder Network (MCENET) that is trained by encoding both past and future scene context, interaction context and motion information to capture the patterns and variations of the future trajectories using a set of stochastic latent variables. In inference time, we combine the past context and motion information of the target agent with samplings of the latent variables to predict multiple realistic trajectories in the future. Through experiments on several datasets of varying scenes, our method outperforms some of the recent state-of-the-art methods for mixed traffic trajectory prediction by a large margin and more robust in a very challenging environment. The impact of each context is justified via ablation studies.


title: Integrating Discrete and Neural Features via Mixed-feature Trans-dimensional Random Field Language Models

abstract: There has been a long recognition that discrete features (n-gram features) and neural network based features have complementary strengths for language models (LMs). Improved performance can be obtained by model interpolation, which is, however, a suboptimal two-step integration of discrete and neural features. The trans-dimensional random field (TRF) framework has the potential advantage of being able to flexibly integrate a richer set of features. However, either discrete or neural features are used alone in previous TRF LMs. This paper develops a mixed-feature TRF LM and demonstrates its advantage in integrating discrete and neural features. Various LMs are trained over PTB and Google one-billion-word datasets, and evaluated in N-best list rescoring experiments for speech recognition. Among all single LMs (i.e. without model interpolation), the mixed-feature TRF LMs perform the best, improving over both discrete TRF LMs and neural TRF LMs alone, and also being significantly better than LSTM LMs. Compared to interpolating two separately trained models with discrete and neural features respectively, the performance of mixed-feature TRF LMs matches the best interpolated model, and with simplified one-step training process and reduced training time.


title: Pointfilter: Point Cloud Filtering via Encoder-Decoder Modeling

abstract: Point cloud filtering is a fundamental problem in geometry modeling and processing. Despite of significant advancement in recent years, the existing methods still suffer from two issues: 1) they are either designed without preserving sharp features or less robust in feature preservation; and 2) they usually have many parameters and require tedious parameter tuning. In this paper, we propose a novel deep learning approach that automatically and robustly filters point clouds by removing noise and preserving their sharp features. Our point-wise learning architecture consists of an encoder and a decoder. The encoder directly takes points (a point and its neighbors) as input, and learns a latent representation vector which goes through the decoder to relate the ground-truth position with a displacement vector. The trained neural network can automatically generate a set of clean points from a noisy input. Extensive experiments show that our approach outperforms the state-of-the-art deep learning techniques in terms of both visual quality and quantitative error metrics. The source code and dataset can be found at https://github.com/dongbo-BUAA-VR/Pointfilter.


title: Query2box: Reasoning over Knowledge Graphs in Vector Space using Box Embeddings

abstract: Answering complex logical queries on large-scale incomplete knowledge graphs (KGs) is a fundamental yet challenging task. Recently, a promising approach to this problem has been to embed KG entities as well as the query into a vector space such that entities that answer the query are embedded close to the query. However, prior work models queries as single points in the vector space, which is problematic because a complex query represents a potentially large set of its answer entities, but it is unclear how such a set can be represented as a single point. Furthermore, prior work can only handle queries that use conjunctions ($\wedge$) and existential quantifiers ($\exists$). Handling queries with logical disjunctions ($\vee$) remains an open problem. Here we propose query2box, an embedding-based framework for reasoning over arbitrary queries with $\wedge$, $\vee$, and $\exists$ operators in massive and incomplete KGs. Our main insight is that queries can be embedded as boxes (i.e., hyper-rectangles), where a set of points inside the box corresponds to a set of answer entities of the query. We show that conjunctions can be naturally represented as intersections of boxes and also prove a negative result that handling disjunctions would require embedding with dimension proportional to the number of KG entities. However, we show that by transforming queries into a Disjunctive Normal Form, query2box is capable of handling arbitrary logical queries with $\wedge$, $\vee$, $\exists$ in a scalable manner. We demonstrate the effectiveness of query2box on three large KGs and show that query2box achieves up to 25% relative improvement over the state of the art.


title: Intertemporal Price Discrimination with Time-Varying Valuations

abstract: A firm that sells a non perishable product considers intertemporal price discrimination in the objective of maximizing its long-run average revenue. We consider a general model of patient customers with changing valuations. Arriving customers wait for a random but bounded length of time and purchase the product when its price falls below their valuation, which varies following a stochastic process. We show the optimality of a class of cyclic strategies and obtain an algorithm that yields them. When the pace of intertemporal pricing is constrained to be comparable to the upper bound on customers patience levels, we have a good control on the cycle length and on the structure of the optimizing cyclic policies. The results also hold for forward looking strategic customers as well as under an alternative objective of maximizing infinite horizon discounted revenue. We cast our results in a general framework of optimizing the long-run average revenue for a class of revenue functions that we denote {\it weakly coupled}, in which the revenue per period depends on a finite number of neighboring prices. We analyze in detail the case of Markovian valuations where we can obtain closed form formulations of the revenue function and some refinements of our main results. We also extend our results to the case of patience levels that are bounded only in expectation.


title: A network perspective on intermedia agenda-setting

abstract: In Communication Theory, intermedia agenda-setting refers to the influence that different news sources may have on each other, and how this subsequently affects the breadth of information that is presented to the public. Several studies have attempted to quantify the impact of intermedia agenda-setting in specific countries or contexts, but a large-scale, data-driven investigation is still lacking. Here, we operationalise intermedia agenda-setting by putting forward a methodology to infer networks of influence between different news sources on a given topic, and apply it on a large dataset of news articles published by globally and locally prominent news organisations in 2016. We find influence to be significantly topic-dependent, with the same news sources acting as agenda-setters (i.e., central nodes) with respect to certain topics and as followers (i.e., peripheral nodes) with respect to others. At the same time, we find that the influence networks associated with most topics exhibit small world properties, which we find to play a significant role towards the overall diversity of sentiment expressed about the topic by the news sources in the network. In particular, we find clustering and density of influence networks to act as competing forces in this respect, with the former increasing and the latter reducing diversity.


title: Landscapes of data sets and functoriality of persistent homology

abstract: The aim of this article is to describe a new perspective on functoriality of persistent homology and explain its intrinsic symmetry that is often overlooked. A data set for us is a finite collection of functions, called measurements, with a finite domain. Such a data set might contain internal symmetries which are effectively captured by the action of a set of the domain endomorphisms. Different choices of the set of endomorphisms encode different symmetries of the data set. We describe various category structures on such enriched data sets and prove some of their properties such as decompositions and morphism formations. We also describe a data structure, based on coloured directed graphs, which is convenient to encode the mentioned enrichment. We show that persistent homology preserves only some aspects of these landscapes of enriched data sets however not all. In other words persistent homology is not a functor on the entire category of enriched data sets. Nevertheless we show that persistent homology is functorial locally. We use the concept of equivariant operators to capture some of the information missed by persistent homology.


title: Algebraic Structure of Blockchains: A Group-Theoretical Primer

abstract: Although recent advances of blockchain systems, notably in the form of cryptocurrency, have drawn tremendous interests from both researchers and practitioners, limited studies existed toward the theoretical foundation of blockchains. This paper presents the first study on the algebraic structure of blockchains with an emphasis on the internal properties under algebraic groups. We axiomatically construct a blockchain group and derive some interesting properties that can be potentially taken into the design space and parametric analysis of real-world blockchain systems.


title: Numerical irreducibility criteria for handlebody links

abstract: In this paper we define a set of numerical criteria for a handlebody link to be irreducible. It provides an effective, easy-to-implement method to determine the irreducibility of handlebody links; particularly, it recognizes the irreducibility of all handlebody knots in the Ishii-Kishimoto-Moriuchi-Suzuki knot table and most handlebody links in the Bellettini-Paolini-Paolini-Wang link table.


title: Defect topology and annihilation by cooperative cascading movement of atoms in highly neutron irradiated graphite

abstract: Graphite has been used as neutron moderator or reflector in many nuclear reactors. The irradiation of graphite in a nuclear reactor results in a complex population of defects. Heating of the irradiated graphite at high temperatures results in annihilation of the defects with release of an unusually large energy, called the Wigner energy. From various experiments on highly irradiated graphite samples from CIRUS reactor at Trombay and ab-initio simulations, we have for the first time identified various 2-, 3- and 4-coordinated topological structures in defected graphite, and provided microscopic mechanism of defect annihilation on heating and release of the Wigner energy. The annihilation process involves cascading cooperative movement of atoms in two steps involving an intermediate structure. Our work provides new insights in understanding of the defect topologies and annihilation in graphite which is of considerable importance to wider areas of graphitic materials including graphene and carbon nanotubes.


title: Transport of atoms across an optical lattice using an external harmonic potential

abstract: Precise control of quantum particles is required for many interesting or novel experiments. Here we consider the task of transporting an atom using an external harmonic potential from one well of an optical lattice to another without motional excitations. To achieve this we apply techniques from Shortcuts to Adiabaticity (STA) enabling fast and robust state manipulation. The process is split up into three independent building blocks; first the atom is loaded into an additional external harmonic trap; this trap is then transported from one lattice site to another and finally the atom is unloaded back onto the lattice by opening the external harmonic trap. We design protocols for each of these building blocks separately using invariant-based inverse engineering. Additionally we extend this method to the transport of a Bose-Einstein condensate described by the Gross-Pitaevskii equation.


title: A redshift database towards the Shapley Supercluster region

abstract: We present a database and velocity catalogue towards the region of the Shapley Supercluster based on 18,146 measured velocities for 10,719 galaxies in the approximately 300 square degree area between 12h 43mn 00s < R.A. < 14h 17mn 00s and -23{\deg} 30' 00" < Dec < -38{\deg} 30' 00". The data catalogue contains velocities from the literature found until 2015. It also includes 5,084 velocities, corresponding to 4,617 galaxies, observed by us at Las Campanas and CTIO observatories and not reported individually until now. Of these, 2,585 correspond to galaxies with no other previously published velocity measurement before 2015. Every galaxy in the velocity database has been identified with a galaxy extracted from the SuperCOSMOS photometric catalogues. We also provide a combined average velocity catalogue for all 10,719 galaxies with measured velocities, adopting the SuperCOSMOS positions as a homogeneous base. A general magnitude cut-off at R2=18.0 mag was adopted (with exceptions only for some of the new reported velocities). In general terms, we confirm the overall structure of the Shapley Supercluster, as found on earlier papers. However, the more extensive velocity data show finer structure, to be discussed in a future publication.


title: Comparison of general-purpose events generators for particle fluence simulation in LHC environment

abstract: At the LHC era, the detector systems are operating at the harsh hadronic environment with the unprecedentedly high particle flux. Position sensitive silicon devices are usually positioned at the innermost regions of the experimental setups and must cope with highly non-uniform radiation fields. At the end of LHC Run II, fluence in silicon trackers reached 10$^{15}$ n$_{eq}$/cm$^2$. Initial simulation studies predict that the maximal fluence for the HL-LHC may be up to two orders of magnitude higher than the one seen in LHC Run I and Run II. In this paper, two general-purpose physics events generators used for simulation of proton-proton collisions at LHC energies: Pythia 8.2 and DPMJET 3, are compared. Fluences obtained using these models, with the latest tuning to the LHC data, in detectors situated close to the point of proton-proton collisions are determined as well.


title: Reconstruction of the one-dimensional thick distribution theory

abstract: The theory of thick distributions (both in dimension 1 and in higher dimensions) was constructed in recent years [7, 27]. However this theory of distributions with one thick point in dimension one is very different from that in higher dimensions. In this paper the author uses the language of asymptotic analysis to reconstruct the 1-dimensional thick distribution theory and to incorporate it into the framework of the higher-dimensional thick distribution theory. Some new concepts and interesting results appear in this paper from viewing singular functions in a different way.


title: Electromagnetic transition form factors, $E2/M1$ and $C2/M1$ ratios of the baryon decuplet

abstract: We investigate the electromagnetic transition form factors of the baryon decuplet to the baryon octet, based on the self-consistent SU(3) chiral quark-soliton model, taking into account the effects of explicit breaking of flavor SU(3) symmetry. We emphasize the $Q^2$ dependence of the electromagnetic $N\to \Delta$ transition form factors and the ratios of $E2/M1$ and $C2/M1$ in comparison with the experimental and empirical data. In order to compare the present results of the electromagnetic transition form factors of the $N\to \Delta$ with those from lattice QCD, we evaluate the form factors with the pion mass deviated from its physical value. The results of the $E2/M1$ and $C2/M1$ ratios are in good agreement with the lattice data. We also present the results of the electromagnetic transition form factors for the decuplet to the octet transitions.


title: A Hybrid 3DCNN and 3DC-LSTM based model for 4D Spatio-temporal fMRI data: An ABIDE Autism Classification study

abstract: Functional Magnetic Resonance Imaging (fMRI) captures the temporal dynamics of neural activity as a function of spatial location in the brain. Thus, fMRI scans are represented as 4-Dimensional (3-space + 1-time) tensors. And it is widely believed that the spatio-temporal patterns in fMRI manifests as behaviour and clinical symptoms. Because of the high dimensionality ($\sim$ 1 Million) of fMRI, and the added constraints of limited cardinality of data sets, extracting such patterns are challenging. A standard approach to overcome these hurdles is to reduce the dimensionality of the data by either summarizing activation over time or space at the expense of possible loss of useful information. Here, we introduce an end-to-end algorithm capable of extracting spatiotemporal features from the full 4-D data using 3-D CNNs and 3-D Convolutional LSTMs. We evaluate our proposed model on the publicly available ABIDE dataset to demonstrate the capability of our model to classify Autism Spectrum Disorder (ASD) from resting-state fMRI data. Our results show that the proposed model achieves state of the art results on single sites with F1-scores of 0.78 and 0.7 on NYU and UM sites, respectively.


title: On Kuzmin-Landau Lemma

abstract: Kuzmin-Landau Lemma basic for the bound of sum of exponentials is a nice example of the arithmetization of Analysis. Here we tell the interesting story of this Lemma emphasizing Landau's best constant.


title: High-Performance High-Order Stencil Computation on FPGAs Using OpenCL

abstract: In this paper we evaluate the performance of FPGAs for high-order stencil computation using High-Level Synthesis. We show that despite the higher computation intensity and on-chip memory requirement of such stencils compared to first-order ones, our design technique with combined spatial and temporal blocking remains effective. This allows us to reach similar, or even higher, compute performance compared to first-order stencils. We use an OpenCL-based design that, apart from parameterizing performance knobs, also parameterizes the stencil radius. Furthermore, we show that our performance model exhibits the same accuracy as first-order stencils in predicting the performance of high-order ones. On an Intel Arria 10 GX 1150 device, for 2D and 3D star-shaped stencils, we achieve over 700 and 270 GFLOP/s of compute performance, respectively, up to a stencil radius of four. These results outperform the state-of-the-art YASK framework on a modern Xeon for 2D and 3D stencils, and outperform a modern Xeon Phi for 2D stencils, while achieving competitive performance in 3D. Furthermore, our FPGA design achieves better power efficiency in almost all cases.


title: Fragmentation of star-forming filaments in the X-shape Nebula of the California molecular cloud

abstract: Dense molecular filaments are central to the star formation process, but the detailed manner in which they fragment into prestellar cores is not yet well understood. Here, we investigate the fragmentation properties and dynamical state of several star-forming filaments in the X-shape Nebula region of the California MC, in an effort to shed some light on this issue. We used multi-wavelength far-infrared images from Herschel and the getsources and getfilaments extraction methods to identify dense cores and filaments and derive their basic properties. We also used a map of $\rm ^{13}CO (2-1)$ emission from SMT 10m submillimeter telescope to constrain the dynamical state of the filaments. We identified 10 filaments, as well as 57 dense cores. Two star-forming filaments (# 8 and # 10) stand out in that they harbor quasi-periodic chains of dense cores with a typical projected core spacing of $\sim$0.15 pc. These two filaments have thermally supercritical line masses and are not static. Filament~8 exhibits a prominent transverse velocity gradient, suggesting that it is accreting gas from the parent cloud gas reservoir. In both cases, the observed (projected) core spacing is similar to the filament width and significantly shorter than the canonical separation of $\sim \,$4 times the filament width predicted by classical cylinder fragmentation theory. We suggest that continuous accretion of gas onto the two star-forming filaments, as well as geometrical bending of the filaments, may account for the observed core spacing. Our findings suggest that the characteristic fragmentation lengthscale of molecular filaments is quite sensitive to external perturbations from the parent cloud, such as gravitational accretion of ambient material.


title: Semi-biproducts in monoids

abstract: It is shown that the category of semi-biproducts in monoids is equivalent to a category of pseudo-actions. A semi-biproduct in monoids is at the same time a generalization of a semi-direct product in groups and a biproduct in commutative monoids. Every Schreier extension of monoids can be seen as an instance of a semi-biproduct; namely a semi-biproduct whose associated pseudo-action has a trivial correction system. A correction system is a new ingredient that must be inserted in order to obtain a pseudo-action out of a pre-action and a factor system. In groups, every correction system is trivial. Hence, semi-biproducts there are the same as semi-direct products with a factor system, which are nothing but group extensions. An attempt to establish a general context in which to define semi-biproducts is made. As a result, a new structure of map-transformations is obtained from a category with a 2-cell structure. Examples and first basic properties are briefly explored.


title: Out-of-time-order correlation and detection of phase structure in Floquet transverse Ising spin system

abstract: We study the out-of-time-order correlation (OTOC) of the Floquet transverse Ising model and use it to verify the phase diagram of the system. First, we present the exact analytical solution of the transverse magnetization OTOC using the Jorden-Wigner transformation. We calculate the speed of correlation propagation and analyze the behavior of the revival time with the separation between the observables. In order to get the phase structure of the Floquet transverse Ising system, we use the longitudinal magnetization OTOC as it is known to serve as an order parameter of the system. We show the phase structure numerically in the transverse Ising Floquet system by using the long time average of the longitudinal magnetization OTOC. In both the open and the closed chain systems, we find distinct phases out of which two are paramagnetic (0-paramagnetic and $\pi$-paramagnetic), and two are ferromagnetic (0-ferromagnetic and $\pi$-ferromagnetic) as defined in the literature.


title: Eliminating the wave function singularity for ultracold atoms by similarity transformation

abstract: A hyperbolic singularity in the wave-function of $s$-wave interacting atoms is the root problem for any accurate numerical simulation. Here we apply the transcorrelated method, whereby the wave-function singularity is explicitly described by a two-body Jastrow factor, and then folded into the Hamiltonian via a similarity transformation. The resulting non-singular eigenfunctions are approximated by stochastic Fock-space diagonalisation with energy errors scaling with $1/M$ in the number $M$ of single-particle basis functions. The performance of the transcorrelated method is demonstrated on the example of strongly correlated fermions with unitary interactions. The current method provides the most accurate ground state energies so far for three and four fermions in a rectangular box with periodic boundary conditions.


title: Interleaved Sequence RNNs for Fraud Detection

abstract: Payment card fraud causes multibillion dollar losses for banks and merchants worldwide, often fueling complex criminal activities. To address this, many real-time fraud detection systems use tree-based models, demanding complex feature engineering systems to efficiently enrich transactions with historical data while complying with millisecond-level latencies. In this work, we do not require those expensive features by using recurrent neural networks and treating payments as an interleaved sequence, where the history of each card is an unbounded, irregular sub-sequence. We present a complete RNN framework to detect fraud in real-time, proposing an efficient ML pipeline from preprocessing to deployment. We show that these feature-free, multi-sequence RNNs outperform state-of-the-art models saving millions of dollars in fraud detection and using fewer computational resources.


title: Ab initio calculation of the electron capture spectrum of 163Ho: Auger-Meitner decay into continuum states

abstract: Determining the electron neutrino mass by electron capture in $^{163}$Ho relies on an accurate understanding of the differential electron capture nuclear decay rate as a function of the distribution of the total decay energy between the neutrino and electronic excitations. The resulting spectrum is dominated by resonances due to local atomic multiplet states with core holes. Coulomb scattering between electrons couple the discrete atomic states, via Auger-Meitner decay, to final states with free electrons. The atomic multiplets are above the auto-ionisation energy, such that the delta functions representing these discrete levels turn into a superposition of Lorentzian, Mahan- and Fano-like line-shapes. We present an \textit{ab initio} method to calculate nuclear decay modifications due to such processes. It includes states with multiple correlated holes in local atomic orbitals interacting with unbound Auger-Meitner electrons. A strong energy-dependent, asymmetric broadening of the resonances in good agreement with recent experiments is found. We present a detailed analysis of the mechanisms determining the final spectral line-shape and discuss both the Fano interference between different resonances, as well as the energy dependence of the Auger-Meitner Coulomb matrix elements. The latter mechanism is shown to be the dominant channel responsible for the asymmetric line-shape of the resonances in the electron capture spectrum of $^{163}$Ho.


title: Skip Connections Matter: On the Transferability of Adversarial Examples Generated with ResNets

abstract: Skip connections are an essential component of current state-of-the-art deep neural networks (DNNs) such as ResNet, WideResNet, DenseNet, and ResNeXt. Despite their huge success in building deeper and more powerful DNNs, we identify a surprising security weakness of skip connections in this paper. Use of skip connections allows easier generation of highly transferable adversarial examples. Specifically, in ResNet-like (with skip connections) neural networks, gradients can backpropagate through either skip connections or residual modules. We find that using more gradients from the skip connections rather than the residual modules according to a decay factor, allows one to craft adversarial examples with high transferability. Our method is termed Skip Gradient Method(SGM). We conduct comprehensive transfer attacks against state-of-the-art DNNs including ResNets, DenseNets, Inceptions, Inception-ResNet, Squeeze-and-Excitation Network (SENet) and robustly trained DNNs. We show that employing SGM on the gradient flow can greatly improve the transferability of crafted attacks in almost all cases. Furthermore, SGM can be easily combined with existing black-box attack techniques, and obtain high improvements over state-of-the-art transferability methods. Our findings not only motivate new research into the architectural vulnerability of DNNs, but also open up further challenges for the design of secure DNN architectures.


title: Punctual Hilbert Schemes and Certified Approximate Singularities

abstract: In this paper we provide a new method to certify that a nearby polynomial system has a singular isolated root with a prescribed multiplicity structure. More precisely, given a polynomial system f $=(f\_1, \ldots, f\_N)\in C[x\_1, \ldots, x\_n]^N$, we present a Newton iteration on an extended deflated system that locally converges, under regularity conditions, to a small deformation of $f$ such that this deformed system has an exact singular root. The iteration simultaneously converges to the coordinates of the singular root and the coefficients of the so called inverse system that describes the multiplicity structure at the root. We use $$\alpha$$-theory test to certify the quadratic convergence, and togive bounds on the size of the deformation and on the approximation error. The approach relies on an analysis of the punctual Hilbert scheme, for which we provide a new description. We show in particular that some of its strata can be rationally parametrized and exploit these parametrizations in the certification. We show in numerical experimentation how the approximate inverse system can be computed as a starting point of the Newton iterations and the fast numerical convergence to the singular root with its multiplicity structure, certified by our criteria.


title: The bispectrum and 21cm foregrounds during the Epoch of Reionization

abstract: Numerous studies have established the theoretical potential of the 21cm bispectrum to boost our understanding of the Epoch of Reionization (EoR), and therefore early generation of stars and galaxies. In this paper we look at the impact of foregrounds and instrumental effects on the 21cm bispectrum and our ability to measure it. Unlike the power spectrum for which (in the absence of instrumental effects) there is a window clear of smooth-spectrum foregrounds in which the 21cm power spectrum may be detectable, there is no such "EoR window" for the bispectrum. Instead, on smaller scales EoR structure modulates that of the foregrounds (FG) to alter the EoR+FG bispectrum from that of the foregrounds in a complex manner. On larger scales the EoR structures are completely swamped by those of the foregrounds, and the EoR+FG bispectrum is entirely dominated by that of the foregrounds. It is therefore unlikely that the bispectrum will be useful in cases where we are observationally restricted to using foreground avoidance techniques. We also find that there is potential for instrumental effects to seriously corrupt the bispectrum, possibly even rendering the bispectrum useless for parameter estimation. On larger scales, foreground removal using GMCA is found to recover the EoR bispectrum to a reasonable level of accuracy (even better than the power spectrum for certain configurations). Further studies are necessary to understand the error and/or bias associated with foreground removal before the 21cm bispectrum can be practically applied in analysis of future data.


title: Projective Geometric Algebra as a Subalgebra of Conformal Geometric algebra

abstract: We show that if PGA is understood as a subalgebra of CGA in mathematically correct sense, then the flat objects share the same representation in PGA and CGA. Particularly, we treat duality in PGA. This leads to unification of PGA and CGA objects which is important especially for software implementation and symbolic calculations.


title: Sound Event Localization based on Sound Intensity Vector Refined By DNN-Based Denoising and Source Separation

abstract: We propose a direction-of-arrival (DOA) estimation method for Sound Event Localization and Detection (SELD). Direct estimation of DOA using a deep neural network (DNN), i.e. completely-datadriven approach, achieves high accuracy. However, there is a gap in the accuracy between DOA estimation for single and overlapping sources because they cannot incorporate physical knowledge. Meanwhile, although the accuracy of physics-based approaches is inferior to DNN-based approaches, it is robust for overlapping source. In this study, we consider a combination of physics-based and DNN-based approaches; the sound intensity vectors (IVs) for physics-based DOA estimation is refined based on DNN-based denoising and source separation. This method enables the accurate DOA estimation for both single and overlapping sources using a spherical microphone array. Experimental results show that the proposed method achieves state-of-the-art DOA estimation accuracy on an open dataset of the SELD.


title: A kinetic traffic network model and its macroscopic limit: merging lanes

abstract: In this paper we propose coupling conditions for a kinetic two velocity model for vehicular traffic on networks. These conditions are based on the consideration of the free space on the respective roads. The macroscopic limit of the kinetic relaxation system is a classical scalar conservation law for traffic flow. Similar to the asymptotic limit of boundary value problems for kinetic models, we consider here the limit of the full network problem including the coupling conditions at the nodes. An asymptotic analysis of the interface layers at the nodes and a matching procedure using half-Riemann problems for the limit conservation law are used to derive coupling conditions for classical macroscopic traffic models on the network from the kinetic ones.


title: From fractional solitons to Majorana fermions in a paradigmatic model of topological superconductivity

abstract: Majorana bound states are interesting candidates for applications in topological quantum computation. Low energy models allowing to grasp their properties are hence conceptually important. The usual scenario in these models is that two relevant gapped phases, separated by a gapless point, exist. In one of the phases, topological boundary states are absent, while the other one supports Majorana bound states. We show that a customary model violates this paradigm. The phase that should not host Majorana fermions supports a fractional soliton exponentially localized at only one end. By varying the parameters of the model, we describe analytically the transition between the fractional soliton and two Majorana fermions. Moreover, we provide a possible physical implementation of the model. We further characterize the symmetry of the superconducting pairing, showing that the odd-frequency component is intimately related to the spatial profile of the Majorana wavefunctions.


title: BRST, Ward identities, gauge dependence, and a functional renormalization group

abstract: Basic properties of gauge theories in the framework of Faddeev-Popov (FP) method, Batalin-Vilkovisky (BV) formalism, functional renormalization group (FRG) approach are considered. The FP and BV quantizations are characterized by the Becchi-Rouet-Stora-Tyutin (BRST) symmetry while the BRST symmetry is broken in the FRG approach. It is shown that the FP method, the BV formalism and the FRG approach can be provided with the Slavnov-Taylor identity, the Ward identity and the modified Slavnov-Taylor identity, respectively. It is proven that using the background field method the background gauge invariance of effective action within the FP and FRG quantization procedures can be achieved in nonlinear gauges. The gauge-dependence problem within the FP, BV and FRG quantizations is studied. Arguments allowing us to state the existence of principal problems of the FRG in the case of gauge theories are given.


title: On $k$-Bend and Monotonic $\ell$-Bend Edge Intersection Graphs of Paths on a Grid

abstract: If a graph $G$ can be represented by means of paths on a grid, such that each vertex of $G$ corresponds to one path on the grid and two vertices of $G$ are adjacent if and only if the corresponding paths share a grid edge, then this graph is called EPG and the representation is called EPG representation. A $k$-bend EPG representation is an EPG representation in which each path has at most $k$ bends. The class of all graphs that have a $k$-bend EPG representation is denoted by $B_k$. $B_\ell^m$ is the class of all graphs that have a monotonic $\ell$-bend EPG representation, i.e. an $\ell$-bend EPG representation, where each path is ascending in both columns and rows. It is trivial that $B^m_k\subseteq B_k$ for all $k$. Moreover, it is known that $B^m_k\subsetneqq B_k$, for $k=1$. By investigating the $B_k$-membership and the $B^m_k$-membership of complete bipartite graphs we prove that the inclusion is also proper for $k\in \{2,3,5\}$ and for $k\geqslant 7$. In particular, we derive necessary conditions for this membership that have to be fulfilled by $m$, $n$ and $k$, where $m$ and $n$ are the number of vertices on the two partition classes of the bipartite graph. We conjecture that $B_{k}^{m} \subsetneqq B_{k}$ holds also for $k\in \{4,6\}$. Furthermore, we show that $B_k \not\subseteq B_{2k-9}^m$ holds for all $k\geqslant 5$. This implies that restricting the shape of the paths can lead to a significant increase of the number of bends needed in an EPG representation. So far no bounds on the amount of that increase were known. We prove that $B_1 \subseteq B_3^m$ holds, providing the first result of this kind.


title: Adversarial Distributional Training for Robust Deep Learning

abstract: Adversarial training (AT) is among the most effective techniques to improve model robustness by augmenting training data with adversarial examples. However, most existing AT methods adopt a specific attack to craft adversarial examples, leading to the unreliable robustness against other unseen attacks. Besides, a single attack algorithm could be insufficient to explore the space of perturbations. In this paper, we introduce adversarial distributional training (ADT), a novel framework for learning robust models. ADT is formulated as a minimax optimization problem, where the inner maximization aims to learn an adversarial distribution to characterize the potential adversarial examples around a natural one under an entropic regularizer, and the outer minimization aims to train robust models by minimizing the expected loss over the worst-case adversarial distributions. Through a theoretical analysis, we develop a general algorithm for solving ADT, and present three approaches for parameterizing the adversarial distributions, ranging from the typical Gaussian distributions to the flexible implicit ones. Empirical results on several benchmarks validate the effectiveness of ADT compared with the state-of-the-art AT methods.


title: Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning

abstract: The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single-agent RL to learn multiple-task specifications. In this paper we extend this convergence to multi-agent settings and formally define Extended Markov Games as a general mathematical model that allows multiple RL agents to concurrently learn various non-Markovian specifications. To introduce this new model we provide formal definitions and proofs as well as empirical tests of RL algorithms running on this framework. Specifically, we use our model to train two different logic-based multi-agent RL algorithms to solve diverse settings of non-Markovian co-safe LTL specifications.


title: Building Networks for Image Segmentation using Particle Competition and Cooperation

abstract: Particle competition and cooperation (PCC) is a graph-based semi-supervised learning approach. When PCC is applied to interactive image segmentation tasks, pixels are converted into network nodes, and each node is connected to its k-nearest neighbors, according to the distance between a set of features extracted from the image. Building a proper network to feed PCC is crucial to achieve good segmentation results. However, some features may be more important than others to identify the segments, depending on the characteristics of the image to be segmented. In this paper, an index to evaluate candidate networks is proposed. Thus, building the network becomes a problem of optimizing some feature weights based on the proposed index. Computer simulations are performed on some real-world images from the Microsoft GrabCut database, and the segmentation results related in this paper show the effectiveness of the proposed method.


title: On the generation of fermion condensate dynamically in $SU(2)$ gauge theory

abstract: Renormalized fermion condensate in $SU(2)$ gauge theory has been calculated in the background of static, stable gauge field configuration using field strength formalism. It is observed that the condensate attains a negative, minimum value at low energy.


title: Quantum algorithms for hedging and the learning of Ising models

abstract: A paradigmatic algorithm for online learning is the Hedge algorithm by Freund and Schapire. An allocation into different strategies is chosen for multiple rounds and each round incurs corresponding losses for each strategy. The algorithm obtains a favorable guarantee for the total losses even in an adversarial situation. This work presents quantum algorithms for such online learning in an oracular setting. For $T$ time steps and $N$ strategies, we exhibit run times of about $O \left ({\rm poly} (T) \sqrt{N} \right)$ for estimating the losses and for betting on individual strategies by sampling. In addition, we discuss a quantum analogue of the Sparsitron, a machine learning algorithm based on the Hedge algorithm. The quantum algorithm inherits the provable learning guarantees from the classical algorithm and exhibits polynomial speedups. The speedups may find relevance in finance, for example for hedging risks, and machine learning, for example for learning generalized linear models or Ising models.