title: Circularly ordering direct products and the obstruction to left-orderability

abstract: Motivated by the recent result that left-orderability of a group $G$ is intimately connected to circular orderability of direct products $G \times \mathbb{Z}/n\mathbb{Z}$, we provide necessary and sufficient cohomological conditions that such a direct product be circularly orderable. As a consequence of the main theorem, we arrive at a new characterization for the fundamental group of a rational homology 3-sphere to be left-orderable. Our results imply that for mapping class groups of once-punctured surfaces, and other groups whose actions on $S^1$ are cohomologically rigid, the products $G \times \mathbb{Z}/n\mathbb{Z}$ are seldom circularly orderable. We also address circular orderability of direct products in general, dealing with the cases of factor groups admitting a bi-invariant circular ordering, and iterated direct products whose factor groups are amenable.


title: Direct atomistic modeling of solute drag by moving grain boundaries

abstract: We show that molecular dynamics (MD) simulations are capable of reproducing the drag of solute segregation atmospheres by moving grain boundaries (GBs). Although lattice diffusion is frozen out on the MD timescale, the accelerated GB diffusion provides enough atomic mobility to allow the segregated atoms to follow the moving GB. This finding opens the possibility of studying the solute drag effect with atomic precision using the MD approach. We demonstrate that a moving GB activates diffusion and alters the short-range order in the lattice regions swept during its motion. It is also shown that a moving GB drags an atmosphere of non-equilibrium vacancies, which accelerate diffusion in surrounding lattice regions.


title: A Dynamic Holding Approach to Stabilizing a Bus Line Based on the Q-learning Algorithm with Multistage Look-ahead

abstract: The unreliable service and the unstable operation of a high frequency bus line are shown as bus bunching and the uneven distribution of headways along the bus line. Although many control strategies, such as the static and dynamic holding strategies, have been proposed to solve the above problems, many of them take on some oversimplified assumptions about the real bus line operation. So it is hard for them to continuously adapt to the evolving complex system. In view of this dynamic setting, we present an adaptive holding method which combines the classic approximate dynamic programming (ADP) with the multi-stage look-ahead mechanism. The holding time, that is the only control means used in this study, will be determined by estimating its impact on the operation stability of the bus line system in the remained observation period. The multi-stage look-ahead mechanism introduced into the classic Q-learning algorithm of the ADP model makes the algorithm get through its earlier unstable phase more quickly and easily. During the implementation of the new holding approach, the past experiences of holding operations can be cumulated effectively into an artificial neural network used to approximate the unavailable Q-factor. The use of a detailed simulation system in the new approach makes it possible to take into accounts most of the possible causes of instability. The numerical experiments show that the new holding approach can stabilize the system by producing evenly distributed headway and removing bus bunching thoroughly. Comparing with the terminal station holding strategies, the new method brings a more reliable bus line with shorter waiting times for passengers.


title: Thermal phase shifters for femtosecond laser written photonic integrated circuits

abstract: Photonic integrated circuits (PICs) are today acknowledged as an effective solution to fulfill the demanding requirements of many practical applications in both classical and quantum optics. Phase shifters integrated in the photonic circuit offer the possibility to dynamically reconfigure its properties in order to fine tune its operation or to produce adaptive circuits, thus greatly extending the quality and the applicability of these devices. In this paper, we provide a thorough discussion of the main problems that one can encounter when using thermal shifters to reconfigure photonic circuits. We then show how all these issues can be solved by a careful design of the thermal shifters and by choosing the most appropriate way to drive them. Such performance improvement is demonstrated by manufacturing thermal phase shifters in femtosecond laser written PICs (FLW-PICs), and by characterizing their operation in detail. The unprecedented results in terms of power dissipation, miniaturization and stability, enable the scalable implementation of reconfigurable FLW-PICs that can be easily calibrated and exploited in the applications.


title: Dispersion Limited versus Power Limited Terahertz Transmission Links Using Solid Core Subwavelength Dielectric Fibers

abstract: In this work, we present an in-depth experimental and numerical study of the short-range THz communications links that use subwavelength dielectric fibers for information transmission and define main challenges and tradeoffs in the link implementation. Particularly, we use air or foam-cladded polypropylene-core subwavelength dielectric THz fibers of various diameters (0.57-1.75 mm) to study link performance as a function of the link length of up to ~10 m, and data bitrates of up to 6 Gbps at the carrier frequency of 128 GHz (2.34 mm wavelength). We find that depending on the fiber diameter, the quality of the transmitted signal is mostly limited either by the modal propagation loss or by the fiber velocity dispersion (GVD). An error-free transmission over 10 meters is achieved for the bit rate of 4 Gbps using the fiber of smaller 0.57 mm diameter. Furthermore, since the fields of subwavelength fibers are weakly confined and extend deep into the air cladding, we study the modal field extent outside of the fiber core, as well as fiber bending loss. Finally, the power budget of the rod-in-air subwavelength THz fiber-based links is compared to that of free space communication links and we demonstrate that fiber links offer an excellent solution for various short-range applications.


title: Relating the thermal properties of a micro pulsating heat pipe to the internal flow characteristics via experiments, image recognition of flow patterns and heat transfer simulations

abstract: We investigate the relationship between the thermal properties of a micro pulsating heat pipe (MPHP) and the internal flow characteristics. The MPHP consists of an eleven-turn closed-loop of a meandering square microchannel with a hydraulic diameter of $350\ {}{\mu}{\rm m}$ engraved on a silicon substrate. The MPHP charged with Fluorinert FC-72 tends to exhibit higher effective thermal conductivities for the coolant temperature of $T_{\rm c} = 40\ {}^\circ\mathrm{C}$ compared to $T_{\rm c} = 20\ {}^\circ\mathrm{C}$, and provides the highest effective thermal conductivity of about $700\ {}{\rm W/(m{\cdot}K)}$ for $T_{\rm c} = 40\ {}^\circ\mathrm{C}$ and a filling ratio of 48%. Interestingly, we observe two different self-oscillation modes having different thermal conductivities, even for identical heat input rates. This tendency indicates a hysteresis of the effective thermal conductivity, which originates from the difference in the heat input rates at which the MPHP falls into and recovers from dryout. Subsequently, semantic segmentation-based image recognition is applied to the recorded flow images to identify the flow characteristics, successfully extracting four different flow patterns involving liquid slugs, liquid films, dry walls, and rapid-boiling regions. The image recognition results indicate that high effective thermal conductivities of the MPHP relate to stable self-oscillations with large amplitudes and high frequencies, along with long and thin liquid films beneficial for latent heat transfer. Finally, we perform numerical simulations of latent/sensible heat transfer via vapor plugs and of sensible heat transfer via liquid slugs using the extracted flow patterns as inputs. We find that latent heat transfer via liquid films accounts for a considerable portion of the overall heat transfer, while the sensible heat transfer via liquid slugs is much less significant.


title: HyperFlow: Representing 3D Objects as Surfaces

abstract: In this work, we present HyperFlow - a novel generative model that leverages hypernetworks to create continuous 3D object representations in a form of lightweight surfaces (meshes), directly out of point clouds. Efficient object representations are essential for many computer vision applications, including robotic manipulation and autonomous driving. However, creating those representations is often cumbersome, because it requires processing unordered sets of point clouds. Therefore, it is either computationally expensive, due to additional optimization constraints such as permutation invariance, or leads to quantization losses introduced by binning point clouds into discrete voxels. Inspired by mesh-based representations of objects used in computer graphics, we postulate a fundamentally different approach and represent 3D objects as a family of surfaces. To that end, we devise a generative model that uses a hypernetwork to return the weights of a Continuous Normalizing Flows (CNF) target network. The goal of this target network is to map points from a probability distribution into a 3D mesh. To avoid numerical instability of the CNF on compact support distributions, we propose a new Spherical Log-Normal function which models density of 3D points around object surfaces mimicking noise introduced by 3D capturing devices. As a result, we obtain continuous mesh-based object representations that yield better qualitative results than competing approaches, while reducing training time by over an order of magnitude.


title: Explicit Gradient Learning

abstract: Black-Box Optimization (BBO) methods can find optimal policies for systems that interact with complex environments with no analytical representation. As such, they are of interest in many Artificial Intelligence (AI) domains. Yet classical BBO methods fall short in high-dimensional non-convex problems. They are thus often overlooked in real-world AI tasks. Here we present a BBO method, termed Explicit Gradient Learning (EGL), that is designed to optimize high-dimensional ill-behaved functions. We derive EGL by finding weak-spots in methods that fit the objective function with a parametric Neural Network (NN) model and obtain the gradient signal by calculating the parametric gradient. Instead of fitting the function, EGL trains a NN to estimate the objective gradient directly. We prove the convergence of EGL in convex optimization and its robustness in the optimization of integrable functions. We evaluate EGL and achieve state-of-the-art results in two challenging problems: (1) the COCO test suite against an assortment of standard BBO methods; and (2) in a high-dimensional non-convex image generation task.


title: Efficient proper embedding of a daisy cube

abstract: For a set $X$ of binary words of length $h$ the daisy cube $Q_h(X)$ is defined as the subgraph of the hypercube $Q_h$ induced by the set of all vertices on shortest paths that connect vertices of $X$ with the vertex $0 ^h$. A vertex in the intersection of all of these paths is a minimal vertex of a daisy cube. A graph $G$ isomorphic to a daisy cube admits several isometric embeddings into a hypercube. We show that an isometric embedding is proper if and only if the label $0 ^h$ is assigned to a minimal vertex of $G$. This result allows us to devise an algorithm which finds a proper embedding of a graph isomorphic to a daisy cube into a hypercube in linear time.


title: Mucin-inspired, high molecular weight virus binding inhibitors show biphasic binding behavior to influenza A viruses

abstract: Multivalent virus binding inhibitors are a promising new class of antivirals, preventing virus infection of cells by inhibiting the first step in the viral infection cycle - binding of viruses to the cell surface. The design of multivalent virus binding inhibitors is complex as many properties, such as inhibitor size and functionalization with virus attachment factors, have a strong impact on the inhibition efficiency. In this study, we synthesized virus binding inhibitors, the design of which has been inspired by mucins, which are naturally occurring glycosylated proteins with molecular weights in the MDa range and which show high affinity in the interaction with various viruses. Hyperbranched polyglycerols (hPG), serving as polymeric scaffolds, were functionalized with sialic acids and sulfate groups at degrees of functionalization as suggested from the structure of mucins. The molecular weights of the hPG-based inhibitors ranged between 10 and 2600 kDa, thereby hitting the size of mucins (MDa scale) and allowing for comparing the inhibition efficiency of the largest, mucin-sized inhibitor (2600 kDa) with related inhibitors of lower molecular weight. Inhibition efficiencies were determined by various methods based on the inhibition of influenza A virus (IAV) binding to lipid membranes, including an assay based on total internal reflection fluorescence (TIRF) microscopy that allows for probing the interaction of IAV with its native attachment factor, sialic acid. Potent inhibition is observed in all assays already at pM concentrations for the mucin-sized inhibitor, while decreasing the inhibitor's molecular weight also decreased its inhibition efficiency. In addition, a biphasic binding behavior of the inhibitors to IAV is observed, which is attributed to differences in the binding affinity to two IAV envelope proteins, neuraminidase and hemagglutinin.


title: Latent Bandits Revisited

abstract: A latent bandit problem is one in which the learning agent knows the arm reward distributions conditioned on an unknown discrete latent state. The primary goal of the agent is to identify the latent state, after which it can act optimally. This setting is a natural midpoint between online and offline learning---complex models can be learned offline with the agent identifying latent state online---of practical relevance in, say, recommender systems. In this work, we propose general algorithms for this setting, based on both upper confidence bounds (UCBs) and Thompson sampling. Our methods are contextual and aware of model uncertainty and misspecification. We provide a unified theoretical analysis of our algorithms, which have lower regret than classic bandit policies when the number of latent states is smaller than actions. A comprehensive empirical study showcases the advantages of our approach.


title: Coarse-Grained Molecular Dynamics Modeling of A Branched Polyetherimide

abstract: A coarse-grained model is developed to allow large-scale molecular dynamics (MD) simulations of a branched polyetherimide derived from two backbone monomers [4,4'-bisphenol A dianhydride (BPADA) and m-phenylenediamine (MPD)], a chain terminator [phthalic anhydride (PA)], and a branching agent [tris[4-(4-aminophenoxy)phenyl] ethane (TAPE)]. An atomistic model is first built for the branched polyetherimide. A systematic protocol based on chemistry-informed grouping of atoms, derivation of bond and angle interactions by direct Boltzmann inversion, and parameterization of nonbonded interactions by potential of mean force (PMF) calculations via gas-phase MD simulations of atomic group pairs, is used to construct the coarse-grained model. A six-pair geometry, with one atomic group at the center and six replicates of the other atomic group placed surrounding the central group in a NaCl structure, has been demonstrated to significantly speed up the PMF calculations and partially capture the many-body aspect of the PMFs. Furthermore, we propose a correction term to the PMFs that can make the resulting coarse-grained model transferable temperature-wise, by enabling the model to capture the thermal expansion property of the polymer. The coarse-grained model has been applied to explore the mechanical, structural, and rheological properties of the branched polyetherimide.


title: Revisiting the Formation of HeH$^+$ in the Planetary Nebula NGC 7027

abstract: From four independent calculations using three different theoretical approaches, rate coefficients for the formation of HeH$^+$ via the radiative association of He$^+$ and H were computed. Good agreement is found between our new calculations and prior results obtained two decades ago for kinetic temperatures between $\sim$800 and 20,000 K. This finding is inconsistent with a recent claim in the literature of a wide variation in published values and establishes the robustness of our knowledge of this process for the formation of HeH$^+$. The implications of the current results to the first detection of HeH$^+$ and its modeled abundance in the planetary nebula NGC 7027 are discussed.


title: Anomalous Exciton Hall Effect

abstract: It is well known that electrically neutral excitons can still be affected by crossed electric and magnetic fields that make them move in a direction perpendicular to both fields. We show that a similar effect appears in the absence of external electric fields, in the case of scattering of an exciton flow by charged impurities in the presence of the external magnetic field. As a result, the exciton flow changes the direction of its propagation that may be described in terms of the Hall conductivity for excitons. We develop a theory of this effect, which we refer to as the anomalous exciton Hall effect, to distinguish it from the exciton Hall effect that arises due to the valley selective exciton transport in transition metal dichalcogenides. According to our estimations, the effect is relatively weak for optically active or bright excitons in conventional GaAs quantum wells, but it becomes significant for optically inactive or dark excitons, because of the difference of the lifetimes. This makes the proposed effect a convenient tool for spatial separation of dark and bright excitons.


title: Analytic Manifold Learning: Unifying and Evaluating Representations for Continuous Control

abstract: We address the problem of learning reusable state representations from streaming high-dimensional observations. This is important for areas like Reinforcement Learning (RL), which yields non-stationary data distributions during training. We make two key contributions. First, we propose an evaluation suite that measures alignment between latent and true low-dimensional states. We benchmark several widely used unsupervised learning approaches. This uncovers the strengths and limitations of existing approaches that impose additional constraints/objectives on the latent space. Our second contribution is a unifying mathematical formulation for learning latent relations. We learn analytic relations on source domains, then use these relations to help structure the latent space when learning on target domains. This formulation enables a more general, flexible and principled way of shaping the latent space. It formalizes the notion of learning independent relations, without imposing restrictive simplifying assumptions or requiring domain-specific information. We present mathematical properties, concrete algorithms for implementation and experimental validation of successful learning and transfer of latent relations.


title: Geometrically nonlinear modelling of pre-stressed viscoelastic fibre-reinforced composites with application to arteries

abstract: Modelling of mechanical behaviour of pre-stressed fibre-reinforced composites is considered in a geometrically exact setting. A general approach which includes two different reference configurations is employed: one configuration corresponds to the load-free state of the structure and another one to the stress-free state of each material particle. The applicability of the approach is demonstrated in terms of a viscoelastic material model; both the matrix and the fibre are modelled using a multiplicative split of the deformation gradient tensor; a transformation rule for initial conditions is elaborated and specified. Apart from its simplicity, an important advantage of the approach is that well-established numerical algorithms can be used for pre-stressed inelastic structures. The interrelation between the advocated approach and the widely used "opening angle" approach is clarified. A full-scale FEM simulation confirms the main predictions of the "opening angle" approach. A locking effect is discovered; the effect is that in some cases the opening angle of the composite is essentially smaller than the opening angles of its individual layers. Thus, the standard cutting test typically used to analyse pre-stresses does not carry enough information and more refined experimental techniques are needed.


title: Estimating Concurrent Climate Extremes: A Conditional Approach

abstract: Simultaneous concurrence of extreme values across multiple climate variables can result in large societal and environmental impacts. Therefore, there is growing interest in understanding these concurrent extremes. In many applications, not only the frequency but also the magnitude of concurrent extremes are of interest. One way to approach this problem is to study the distribution of one climate variable given that another is extreme. In this work we develop a statistical framework for estimating bivariate concurrent extremes via a conditional approach, where univariate extreme value modeling is combined with dependence modeling of the conditional tail distribution using techniques from quantile regression and extreme value analysis to quantify concurrent extremes. We focus on the distribution of daily wind speed conditioned on daily precipitation taking its seasonal maximum. The Canadian Regional Climate Model large ensemble is used to assess the performance of the proposed framework both via a simulation study with specified dependence structure and via an analysis of the climate model-simulated dependence structure.


title: Upward Overshooting in Turbulent Compressible Convection. III. Calibrate Parameters for One-dimensional Reynolds Stress Model

abstract: In this paper, we calibrate the coefficients for the one-dimensional Reynolds stress model with the data generated from the three-dimensional numerical simulations of upward overshooting in turbulent compressible convection. It has been found that the calibrated convective and isotropic coefficients are almost the same as those calibrated in the pure convection zone. However, the calibrated diffusive coefficients differ significantly from those calibrated in the pure convection zone. We suspect that the diffusive effect induced by the boundary is stronger than by the adjacent stable zone. We have checked the validity of the downgradient approximation. We find that the prediction of the downgradient approximation on the third-order moments is unsatisfactory. However, the prediction on their derivatives is much better. It explains why the performance of the Reynolds stress model is reasonable in application to the real stars. With the calibrated coefficients, we have solved the full set of nonlocal turbulent equations on Reynolds stress model. We find that the Reynolds stress model has successfully produced the thermal adjustment layer and turbulent dissipation layer, which were identified in the three-dimensional numerical simulations. We suggest to use the inflection point of the auto-correlation of temperature perturbation and the P\'eclet number as the indicators on measuring the extents of the thermal adjustment layer and turbulent dissipation layer, respectively. This result may offer a practical guidance on the application of the Reynolds stress model in 1D stellar structure and evolution models.


title: A Multi-Agent Primal-Dual Strategy for Composite Optimization over Distributed Features

abstract: This work studies multi-agent sharing optimization problems with the objective function being the sum of smooth local functions plus a convex (possibly non-smooth) function coupling all agents. This scenario arises in many machine learning and engineering applications, such as regression over distributed features and resource allocation. We reformulate this problem into an equivalent saddle-point problem, which is amenable to decentralized solutions. We then propose a proximal primal-dual algorithm and establish its linear convergence to the optimal solution when the local functions are strongly-convex. To our knowledge, this is the first linearly convergent decentralized algorithm for multi-agent sharing problems with a general convex (possibly non-smooth) coupling function.


title: Threats and Countermeasures of Cyber Security in Direct and Remote Vehicle Communication Systems

abstract: Traffic management, road safety, and environmental impact are important issues in the modern world. These challenges are addressed by the application of sensing, control and communication methods of intelligent transportation systems (ITS). A part of ITS is a vehicular ad-hoc network (VANET) which means a wireless network of vehicles. However, communication among vehicles in a VANET exposes several security threats which need to be studied and addressed. In this review, firstly, the basic flow of VANET is illustrated focusing on its communication methods, architecture, characteristics, standards, and security facilities. Next, the attacks and threats for VANET are discussed. Moreover, the authentication systems are described by which vehicular networks can be protected from fake messages and malicious nodes. Security threats and counter measures are discussed for different remote vehicle communication methods namely, remote keyless entry system, dedicated short range communication, cellular scheme, Zigbee, Bluetooth, radio frequency identification, WiFi, WiMAX, and different direct vehicle communication methods namely on-board diagnosis and universal serial bus.


title: Continuous measurement on a causal set with and without a boundary

abstract: The purpose of this paper is two-fold. First, we would like to get rid of common assumption that causal set is bounded and attempt to model its scalar field action under the assumption that it isn't. Secondly, we would like to propose continuous measurement model in this context.


title: Bounded Semigroup Wellposedness for a Linearized Compressible Flow Structure PDE Interaction with Material Derivative

abstract: We consider a compressible flow structure interaction (FSI) PDE system which is linearized about some reference rest state. The deformable interface is under the effect of an ambient field generated by the underlying and unbounded material derivative term which further contributes to the non-dissipativity of the FSI system, with respect to the standard energy inner product. In this work we show that, on an appropriate subspace, only one dimension less than the entire finite energy space, the FSI system is wellposed, and is moreover associated with a continuous semigroup which is \emph{uniformly bounded} in time. Our approach involves establishing maximal dissipativity with respect to a special inner product which is equivalent to the standard inner product for the given finite energy space. Among other technical features, the necesssary PDE estimates require the invocation of a multiplier which is intrinsic to the given compressible FSI system.


title: Mode hopping in oscillating systems with stochastic delays

abstract: We study a noisy oscillator with pulse delayed feedback, theoretically and in an electronic experimental implementation. Without noise, this system has multiple stable periodic regimes. We consider two types of noise: i) phase noise acting on the oscillator state variable and ii) stochastic fluctuations of the coupling delay. For both types of stochastic perturbations the system hops between the deterministic regimes, but it shows dramatically different scaling properties for different types of noise. The robustness to conventional phase noise increases with coupling strength. However for stochastic variations in the coupling delay, the lifetimes decrease exponentially with the coupling strength. We provide an analytic explanation for these scaling properties in a linearised model. Our findings thus indicate that the robustness of a system to stochastic perturbations strongly depends on the nature of these perturbations.


title: Adjusting Neutrino Interaction Models and Evaluating Uncertainties using NOvA Near Detector Data

abstract: The two-detector design of the NOvA neutrino oscillation experiment, in which two functionally identical detectors are exposed to an intense neutrino beam, aids in canceling leading order effects of cross-section uncertainties. However, limited knowledge of neutrino interaction cross sections still gives rise to some of the largest systematic uncertainties in current oscillation measurements. We show contemporary models of neutrino interactions to be discrepant with data from NOvA, consistent with discrepancies seen in other experiments. Adjustments to neutrino interaction models in GENIE that improve agreement with our data are presented. We also describe systematic uncertainties on these models, including uncertainties on multi-nucleon interactions from a newly developed procedure using NOvA near detector data.


title: Exact travelling wave solutions in viscoelastic channel flow

abstract: Elasto-inertial turbulence (EIT) is a new, two-dimensional chaotic flow state observed in polymer solutions with possible connections to inertialess elastic turbulence and drag-reduced Newtonian turbulence. In this Letter, we argue that the origins of EIT are fundamentally different from Newtonian turbulence by finding a dynamical connection between EIT and an elasto-inertial linear instability recently found at high Weissenberg numbers (Garg et al. Phys. Rev. Lett. 121, 024502, 2018). This link is established by isolating the first known exact coherent structures in viscoelastic parallel flows - nonlinear elasto-inertial travelling waves (TWs) - borne at the linear instability and tracking them down to substantially lower Weissenberg numbers where EIT exists. These TWs have a distinctive ``arrowhead'' structure in the polymer stretch field and can be clearly recognised, albeit transiently, in EIT, as well as being attractors for EIT dynamics if the Weissenberg number is sufficiently large. Our findings suggest that the dynamical systems picture in which Newtonian turbulence is built around the co-existence of many (unstable) simple invariant solutions populating phase space carries over to EIT, though these solutions rely on elasticity to exist.


title: Resolution of the Co-Location Problem in Satellite Quantum Tests of the Universality of Free Fall

abstract: A major challenge common to all Galilean drop tests of the Universality of Free Fall (UFF) is the required control over the initial kinematics of the two test masses upon release due to coupling to gravity gradients and rotations. In this work, we present a two-fold mitigation strategy to significantly alleviate the source preparation requirements in space-borne quantum tests of the UFF, using a compensation mechanism together with signal demodulation. To this end, we propose a scheme to reduce the gravity-gradient-induced uncertainties in an atom-interferometric experiment in a dedicated satellite mission and assess the experimental feasibility. We find that with moderate parameters, the requirements on the initial kinematics of the two masses can be relaxed by five orders of magnitude. This does not only imply a significantly reduced mission time but also allows to reduce the differential acceleration uncertainty caused by co-location imperfections below the $10^{-18}$ level.


title: Fundamental bound for time measurements and minimum uncertainty clocks

abstract: We present a simple argument leading to a fundamental minimum uncertainty in the determination of times. It only relies in the uncertainty principle and time dilation in a gravitational field. It implies any attempt to measure times will have a fundamental level of uncertainty. Implications are briefly outlined.


title: Exact and Metaheuristic Approaches for the Production Leveling Problem

abstract: In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such that the load in each period and on each production resource is balanced, capacity limits are not exceeded and the orders' priorities are taken into account. Production Leveling is an important intermediate step between long-term planning and the final scheduling of orders within a production period, as it is responsible for selecting good subsets of orders to be scheduled within each period. A formal model of the problem is proposed and NP-hardness is shown by reduction from Bin Backing. As an exact method for solving moderately sized instances we introduce a MIP formulation. For solving large problem instances, metaheuristic local search is investigated. A greedy heuristic and two neighborhood structures for local search are proposed, in order to apply them using Variable Neighborhood Descent and Simulated Annealing. Regarding exact techniques, the main question of research is, up to which size instances are solvable within a fixed amount of time. For the metaheuristic approaches the aim is to show that they produce near-optimal solutions for smaller instances, but also scale well to very large instances. A set of realistic problem instances from an industrial partner is contributed to the literature, as well as random instance generators. The experimental evaluation conveys that the proposed MIP model works well for instances with up to 250 orders. Out of the investigated metaheuristic approaches, Simulated Annealing achieves the best results. It is shown to produce solutions with less than 3% average optimality gap on small instances and to scale well up to thousands of orders and dozens of periods and products. The presented metaheuristic methods are already being used in the industry.


title: Evaluating Conversational Recommender Systems via User Simulation

abstract: Conversational information access is an emerging research area. Currently, human evaluation is used for end-to-end system evaluation, which is both very time and resource intensive at scale, and thus becomes a bottleneck of progress. As an alternative, we propose automated evaluation by means of simulating users. Our user simulator aims to generate responses that a real human would give by considering both individual preferences and the general flow of interaction with the system. We evaluate our simulation approach on an item recommendation task by comparing three existing conversational recommender systems. We show that preference modeling and task-specific interaction models both contribute to more realistic simulations, and can help achieve high correlation between automatic evaluation measures and manual human assessments.


title: CryptoNAS: Private Inference on a ReLU Budget

abstract: Machine learning as a service has given raise to privacy concerns surrounding clients' data and providers' models and has catalyzed research in private inference (PI): methods to process inferences without disclosing inputs. Recently, researchers have adapted cryptographic techniques to show PI is possible, however all solutions increase inference latency beyond practical limits. This paper makes the observation that existing models are ill-suited for PI and proposes a novel NAS method, named CryptoNAS, for finding and tailoring models to the needs of PI. The key insight is that in PI operator latency cost are non-linear operations (e.g., ReLU) dominate latency, while linear layers become effectively free. We develop the idea of a ReLU budget as a proxy for inference latency and use CryptoNAS to build models that maximize accuracy within a given budget. CryptoNAS improves accuracy by 3.4% and latency by 2.4x over the state-of-the-art.


title: Normality, nuclear squares and Osborn identities

abstract: Let $Q$ be a loop. If $S\leq Q$ is such that $\varphi(S) \subseteq S$ for each standard generator of $\mathrm{Inn}(Q)$, then $S$ does not have to be a normal subloop. In an LC loop the left and middle nucleus coincide and form a normal subloop. The identities of Osborn loops are obtained by applying the idea of nuclear identification, and various connections of Osborn loops to Moufang and CC loops are discussed. Every Osborn loop possesses a normal nucleus, and this nucleus coincides with the left, the right and the middle nucleus. Loops that are both Buchsteiner and Osborn are characterized as loops in which each square is in the nucleus.


title: Minimal invariant regions and minimal globally attracting regions for toric differential inclusions

abstract: Toric differential inclusions occur as key dynamical systems in the context of the Global Attractor Conjecture. We introduce the notions of minimal invariant regions and minimal globally attracting regions for toric differential inclusions. We describe a procedure for constructing explicitly the minimal invariant and minimal globally attracting regions for two-dimensional toric differential inclusions. In particular, we obtain invariant regions and globally attracting regions for two-dimensional weakly reversible or endotactic dynamical systems (even if they have time-dependent parameters).


title: Conway's drum quilts

abstract: A `transplantable pair' is a pair of glueing diagrams that can be used to create pairs of plane domains that are isospectral for the Laplace operator. We present a host of transplantable pairs worked out by John Conway using his theory of quilts


title: Distributed Newton Can Communicate Less and Resist Byzantine Workers

abstract: We develop a distributed second order optimization algorithm that is communication-efficient as well as robust against Byzantine failures of the worker machines. We propose COMRADE (COMunication-efficient and Robust Approximate Distributed nEwton), an iterative second order algorithm, where the worker machines communicate only once per iteration with the center machine. This is in sharp contrast with the state-of-the-art distributed second order algorithms like GIANT [34] and DINGO[7], where the worker machines send (functions of) local gradient and Hessian sequentially; thus ending up communicating twice with the center machine per iteration. Moreover, we show that the worker machines can further compress the local information before sending it to the center. In addition, we employ a simple norm based thresholding rule to filter-out the Byzantine worker machines. We establish the linear-quadratic rate of convergence of COMRADE and establish that the communication savings and Byzantine resilience result in only a small statistical error rate for arbitrary convex loss functions. To the best of our knowledge, this is the first work that addresses the issue of Byzantine resilience in second order distributed optimization. Furthermore, we validate our theoretical results with extensive experiments on synthetic and benchmark LIBSVM [5] data-sets and demonstrate convergence guarantees.


title: The infinitary n-cube shuffle

abstract: In this paper, we formalize the sense in which higher homotopy groups are "infinitely commutative." In particular, we both simplify and extend the highly technical procedure, due to Eda and Kawamura, for constructing homotopies that isotopically rearrange infinite configurations of disjoint $n$-cubes within the unit $n$-cube.


title: Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids

abstract: General results on convex bodies are reviewed and used to derive an exact closed-form parametric formula for the boundary of the geometric (Minkowski) sum of $k$ ellipsoids in $n$-dimensional Euclidean space. Previously this was done through iterative algorithms in which each new ellipsoid was added to an ellipsoid approximation of the sum of the previous ellipsoids. Here we provide one shot formulas to add $k$ ellipsoids directly with no intermediate approximations required. This allows us to observe a new degree of freedom in the family of ellipsoidal bounds on the geometric sum. We demonstrate an application of these tools to compute the reachable set of a discrete-time dynamical system.


title: Sound Algorithms in Imperfect Information Games

abstract: Search has played a fundamental role in computer game research since the very beginning. And while online search has been commonly used in perfect information games such as Chess and Go, online search methods for imperfect information games have only been introduced relatively recently. This paper addresses the question of what is a sound online algorithm in an imperfect information setting of two-player zero-sum games. We argue that the~fixed-strategy~definitions of exploitability and $\epsilon$-Nash equilibria are ill-suited to measure an online algorithm's worst-case performance. We thus formalize $\epsilon$-soundness, a concept that connects the worst-case performance of an online algorithm to the performance of an $\epsilon$-Nash equilibrium. As $\epsilon$-soundness can be difficult to compute in general, we introduce a consistency framework -- a hierarchy that connects an online algorithm's behavior to a Nash equilibrium. These multiple levels of consistency describe in what sense an online algorithm plays "just like a fixed Nash equilibrium". These notions further illustrate the difference between perfect and imperfect information settings, as the same consistency guarantees have different worst-case online performance in perfect and imperfect information games. The definitions of soundness and the consistency hierarchy finally provide appropriate tools to analyze online algorithms in repeated imperfect information games. We thus inspect some of the previous online algorithms in a new light, bringing new insights into their worst-case performance guarantees.


title: ROC++: Robust Optimization in C++

abstract: Robust optimization is a very popular means to address decision-making problems affected by uncertainty. Its success has been fueled by its attractive robustness and scalability properties, by ease of modeling, and by the limited assumptions it needs about the uncertain parameters to yield meaningful solutions. Robust optimization techniques can address both single- and multi-stage decision-making problems involving real-valued and/or binary decisions, and exogenous and/or endogenous uncertain parameters. Many of these techniques apply to problems with either robust (worst-case) or stochastic (expectation) objectives and can thus be tailored to the risk preferences of the decision-maker. Robust optimization techniques rely on duality theory (potentially augmented with approximations) to transform a semi-infinite optimization problem to a finite program of benign complexity (the ``robust counterpart''). While writing down the model for a robust or stochastic optimization problem is usually a simple task, obtaining the robust counterpart requires expertise in robust optimization. To date, very few solutions are available that can facilitate the modeling and solution of such problems. This has been a major impediment to their being put to practical use. In this paper, we propose ROC++, a C++ based platform for automatic robust optimization, applicable to a wide array of single- and multi-stage stochastic and robust problems with both exogenous and endogenous uncertain parameters. We also propose the ROB file format that generalizes the LP file format to robust optimization. Our platform can help streamline the modeling and solution of stochastic and robust optimization problems for both researchers and practitioners. It comes with detailed documentation to facilitate its use and expansion. ROC++ is freely distributed for academic use.


title: Certifying Strategyproof Auction Networks

abstract: Optimal auctions maximize a seller's expected revenue subject to individual rationality and strategyproofness for the buyers. Myerson's seminal work in 1981 settled the case of auctioning a single item; however, subsequent decades of work have yielded little progress moving beyond a single item, leaving the design of revenue-maximizing auctions as a central open problem in the field of mechanism design. A recent thread of work in "differentiable economics" has used tools from modern deep learning to instead learn good mechanisms. We focus on the RegretNet architecture, which can represent auctions with arbitrary numbers of items and participants; it is trained to be empirically strategyproof, but the property is never exactly verified leaving potential loopholes for market participants to exploit. We propose ways to explicitly verify strategyproofness under a particular valuation profile using techniques from the neural network verification literature. Doing so requires making several modifications to the RegretNet architecture in order to represent it exactly in an integer program. We train our network and produce certificates in several settings, including settings for which the optimal strategyproof mechanism is not known.


title: A GPM-based algorithm for solving regularized Wasserstein barycenter problems in some spaces of probability measures

abstract: In this paper, we focus on the analysis of the regularized Wasserstein barycenter problem. We provide uniqueness and a characterization of the barycenter for two important classes of probability measures: (i) Gaussian distributions and (ii) $q$-Gaussian distributions; each regularized by a particular entropy functional. We propose an algorithm based on gradient projection method in the space of matrices in order to compute these regularized barycenters. We also consider a general class of $\varphi$-exponential measures, for which only the non-regularized barycenter is studied. Finally, we numerically show the influence of parameters and stability of the algorithm under small perturbation of data.


title: A structurally frame-indifferent model for anisotropic visco-hyperelastic materials

abstract: One of the main theoretical issues in developing a theory of anisotropic viscoelastic media at finite strains lies in the proper definition of the material symmetry group and its evolution with time. In this paper the matter is discussed thoroughly and addressed by introducing a novel anisotropic remodelling equation compatible with the principle of structural frame indifference, a requirement that every inelastic theory based on the multiplicative decomposition of the deformation gradient must obey to. The evolution laws of the dissipative process are %obtained by introducing a novel (remodelling) balance equation which is completely determined by two scalar functions, the elastic strain energy and the dissipation densities. The proper choice of the dissipation function allows us to reduce the proposed model to the Ericksen anisotropic fluid, when deformation is sufficiently slow, or to the anisotropic hyperelastic solid for fast deformations. Finally, a few prototype examples are discussed to highlight the role of the relaxation times in the constitutive response.


title: Accounting for Uncertainty During a Pandemic

abstract: We discuss several issues of statistical design, data collection, analysis, communication, and decision making that have arisen in recent and ongoing coronavirus studies, focusing on tools for assessment and propagation of uncertainty. This paper does not purport to be a comprehensive survey of the research literature; rather, we use examples to illustrate statistical points that we think are important.

categories: stat.AP physics.soc-ph q-bio.PE q-bio.QM


title: Gibbardian Collapse and Trivalent Conditionals

abstract: This paper discusses the scope and significance of the so-called triviality result stated by Allan Gibbard for indicative conditionals, showing that if a conditional operator satisfies the Law of Import-Export, is supraclassical, and is stronger than the material conditional, then it must collapse to the material conditional. Gibbard's result is taken to pose a dilemma for a truth-functional account of indicative conditionals: give up Import-Export, or embrace the two-valued analysis. We show that this dilemma can be averted in trivalent logics of the conditional based on Reichenbach and de Finetti's idea that a conditional with a false antecedent is undefined. Import-Export and truth-functionality hold without triviality in such logics. We unravel some implicit assumptions in Gibbard's proof, and discuss a recent generalization of Gibbard's result due to Branden Fitelson.


title: A Critical and Moving-Forward View on Quantum Image Processing

abstract: Physics and computer science have a long tradition of cross-fertilization. One of the latest outcomes of this mutually beneficial relationship is quantum information science, which comprises the study of information processing tasks that can be accomplished using quantum mechanical systems. Quantum Image Processing (QIMP) is an emergent field of quantum information science whose main goal is to strengthen our capacity for storing, processing, and retrieving visual information from images and video either by transitioning from digital to quantum paradigms or by complementing digital imaging with quantum techniques. The expectation is that harnessing the properties of quantum mechanical systems in QIMP will result in the realization of advanced technologies that will outperform, enhance or complement existing and upcoming digital technologies for image and video processing tasks.


title: DynE: Dynamic Ensemble Decoding for Multi-Document Summarization

abstract: Sequence-to-sequence (s2s) models are the basis for extensive work in natural language processing. However, some applications, such as multi-document summarization, multi-modal machine translation, and the automatic post-editing of machine translation, require mapping a set of multiple distinct inputs into a single output sequence. Recent work has introduced bespoke architectures for these multi-input settings, and developed models which can handle increasingly longer inputs; however, the performance of special model architectures is limited by the available in-domain training data. In this work we propose a simple decoding methodology which ensembles the output of multiple instances of the same model on different inputs. Our proposed approach allows models trained for vanilla s2s tasks to be directly used in multi-input settings. This works particularly well when each of the inputs has significant overlap with the others, as when compressing a cluster of news articles about the same event into a single coherent summary, and we obtain state-of-the-art results on several multi-document summarization datasets.


title: Using Amazon Alexa APIs as a Source of Digital Evidence

abstract: With the release of Amazon Alexa and the first Amazon Echo device, the company revolutionised the smart home. It allowed their users to communicate with, and control, their smart home ecosystem purely using voice commands. However, this also means that Amazon processes and stores a large amount of personal data about their users, as these devices are always present and always listening in peoples' private homes. That makes this data a valuable source of evidence for investigators performing digital forensics. The Alexa Voice Service uses a series of APIs for communication between clients and the Amazon cloud. These APIs return a wide range of data related to the functionality of the device used. The first goal of this research was to clarify exactly what kind of information about the user is stored and accessible through these APIs. To do this, a combination of literature review and exploratory analysis was used to establish a list of all relevant APIs. Then, possible artefacts and conclusions to be drawn from their responses were identified and presented. Lastly, the perspective of the users was taken, and options for improving their privacy were reviewed. Specifically, the history of interaction between the user and Alexa is available through multiple APIs, and there are several options to delete it. It was determined that these options have different behaviours and that most of them do not remove all data related to user interaction.


title: A two-level shifted Laplace preconditioner for Helmholtz problems: Field-of-values analysis and wavenumber-independent convergence

abstract: One of the main tools for solving linear systems arising from the discretization of the Helmholtz equation is the shifted Laplace preconditioner, which results from the discretization of a perturbed Helmholtz problem $-\Delta u - (k^2 + i \varepsilon )u = f$ where $0 \neq \varepsilon \in \mathbb{R}$ is an absorption parameter. In this work we revisit the idea of combining the shifted Laplace preconditioner with two-level deflation and apply it to Helmholtz problems discretized with linear finite elements. We use the convergence theory of GMRES based on the field of values to prove that GMRES applied to the two-level preconditioned system with a shift parameter $\varepsilon \sim k^2$ converges in a number of iterations independent of the wavenumber $k$,provided that the coarse mesh size $H$ satisfies a condition of the form $Hk^{2} \leq C$ for some constant $C$ depending on the domain but independent of the wavenumber $k$. This behaviour is sharply different to the standalone shifted Laplacian, for which wavenumber-independent GMRES convergence has been established only under the condition that $\varepsilon \sim k$ by [M.J. Gander, I.G. Graham and E.A. Spence, Numer. Math., 131 (2015), 567-614]. Finally, we present numerical evidence that wavenumber-independent convergence of GMRES also holds for pollution-free meshes, where the coarse mesh size satisfies $Hk^{3/2} \leq C $, and inexact coarse grid solves.


title: Ultralong spin lifetime in light alkali atom doped graphene

abstract: Today's great challenges of energy and informational technologies are addressed with a singular compound, the Li and Na doped few layer graphene. All what is impossible for graphite (homogeneous and high level Na doping), and unstable for single layer graphene, works very well for this structure. The transformation of the Raman G line to a Fano lineshape and the emergence of strong, metallic-like electron spin resonance (ESR) modes, attest the high level of graphene doping in liquid ammonia for both kinds of alkali atoms. The spin-relaxation time in our materials, deduced from the ESR line-width, is 6-8 ns, which is comparable to the longest values found in spin-transport experiments on ultrahigh mobility graphene flakes. This could qualify our material as promising candidate in spintronics devices. On the other hand, the successful sodium doping, this being a highly abundant metal, could be an encouraging alternative to lithium batteries.


title: P=W conjectures for character varieties with symplectic resolution

abstract: We establish P=W and PI=WI conjectures for character varieties with structural group $\mathrm{GL}_n$ and $\mathrm{SL}_n$ which admit a symplectic resolution, i.e. for genus 1 and arbitrary rank, and genus 2 and rank 2. We formulate the P=W conjecture for resolution, and prove it for symplectic resolutions. We exploit the topology of birational and quasi-\'{e}tale modifications of Dolbeault moduli spaces of Higgs bundles. To this end, we prove auxiliary results of independent interest, like the construction of a relative compactification of the Hodge moduli space for reductive algebraic groups, and the projectivity of the compactification of the de Rham moduli space. In particular, we study in detail a Dolbeault moduli space which is specialization of the singular irreducible holomorphic symplectic variety of type O'Grady 6.


title: Pessimism About Unknown Unknowns Inspires Conservatism

abstract: If we could define the set of all bad outcomes, we could hard-code an agent which avoids them; however, in sufficiently complex environments, this is infeasible. We do not know of any general-purpose approaches in the literature to avoiding novel failure modes. Motivated by this, we define an idealized Bayesian reinforcement learner which follows a policy that maximizes the worst-case expected reward over a set of world-models. We call this agent pessimistic, since it optimizes assuming the worst case. A scalar parameter tunes the agent's pessimism by changing the size of the set of world-models taken into account. Our first main contribution is: given an assumption about the agent's model class, a sufficiently pessimistic agent does not cause "unprecedented events" with probability $1-\delta$, whether or not designers know how to precisely specify those precedents they are concerned with. Since pessimism discourages exploration, at each timestep, the agent may defer to a mentor, who may be a human or some known-safe policy we would like to improve. Our other main contribution is that the agent's policy's value approaches at least that of the mentor, while the probability of deferring to the mentor goes to 0. In high-stakes environments, we might like advanced artificial agents to pursue goals cautiously, which is a non-trivial problem even if the agent were allowed arbitrary computing power; we present a formal solution.


title: Crush Optimism with Pessimism: Structured Bandits Beyond Asymptotic Optimality

abstract: We study stochastic structured bandits for minimizing regret. The fact that the popular optimistic algorithms do not achieve the asymptotic instance-dependent regret optimality (asymptotic optimality for short) has recently alluded researchers. On the other hand, it is known that one can achieve bounded regret (i.e., does not grow indefinitely with $n$) in certain instances. Unfortunately, existing asymptotically optimal algorithms rely on forced sampling that introduces an $\omega(1)$ term w.r.t. the time horizon $n$ in their regret, failing to adapt to the "easiness" of the instance. In this paper, we focus on the finite hypothesis case and ask if one can achieve the asymptotic optimality while enjoying bounded regret whenever possible. We provide a positive answer by introducing a new algorithm called CRush Optimism with Pessimism (CROP) that eliminates optimistic hypotheses by pulling the informative arms indicated by a pessimistic hypothesis. Our finite-time analysis shows that CROP $(i)$ achieves a constant-factor asymptotic optimality and, thanks to the forced-exploration-free design, $(ii)$ adapts to bounded regret, and $(iii)$ its regret bound scales not with $K$ but with an effective number of arms $K_\psi$ that we introduce. We also discuss a problem class where CROP can be exponentially better than existing algorithms in \textit{nonasymptotic} regimes. This problem class also reveals a surprising fact that even a clairvoyant oracle who plays according to the asymptotically optimal arm pull scheme may suffer a linear worst-case regret.


title: Scalar self-interaction in the spacetime of a cosmic dispiration

abstract: In the present paper we investigate the classical self-interaction associated with a charged scalar point particle placed at rest in the gravitational field of a linear topological defect known in literature as cosmic dispiration, a combination of a cosmic string with a screw dislocation. We found exact expressions for the Green's function and, consequently, for the self-energy by considering both massive and massless scalar point particles. We present numerical graphs and analyze the nature of the self-interactions in the cosmic dispiration spacetime itself and in the cases of pure screw dislocation and cosmic string spacetimes.


title: The ultraspherical spectral element method

abstract: We introduce a novel spectral element method based on the ultraspherical spectral method and the hierarchical Poincar\'{e}-Steklov scheme for solving second-order linear partial differential equations on polygonal domains with unstructured quadrilateral or triangular meshes. Properties of the ultraspherical spectral method lead to almost banded linear systems, allowing the element method to be competitive in the high-polynomial regime ($p > 5$). The hierarchical Poincar\'{e}-Steklov scheme enables precomputed solution operators to be reused, allowing for fast elliptic solves in implicit and semi-implicit time-steppers. The resulting spectral element method achieves an overall computational complexity of $\mathcal{O}(p^4/h^3)$ for mesh size $h$ and polynomial order $p$, enabling $hp$-adaptivity to be efficiently performed. We develop an open-source software system, ultraSEM, for flexible, user-friendly spectral element computations in MATLAB.


title: Gamma-ray emission revealed at the western edge of SNR G344.7-0.1

abstract: We report on the investigation of a very high energy (VHE), Galactic gamma-ray source recently discovered at >50GeV using the Large Area Telescope (LAT) on board the Fermi Gamma-Ray Space Telescope. This object, 2FHL J1703.4-4145, displays a very hard >50GeV spectrum with a photon index ~1.2 in the 2FHL catalog and, as such, is one of the most extreme sources in the 2FHL sub-sample of Galactic objects. A detailed analysis of the available multi-wavelength data shows that this source is located on the western edge of the supernova remnant (SNR) G344.7--0.1, along with extended TeV source, HESS J1702-420. The observations and the spectral energy distribution modeling support a scenario where this gamma-ray source is the byproduct of the interaction between the SNR shock and the dense surrounding medium, with escaping cosmic rays (CRs) diffusing into the dense environment and interacting with a large local cloud, generating the observed TeV emission. If confirmed, an interaction between the SNR CRs and a nearby cloud would make 2FHL J1703.4-4145 another promising candidate for efficient particle acceleration of the 2FHL Galactic sample, following the first candidate from our previous investigation of a likely shock-cloud interaction occurring on the West edge of the Vela SNR.


title: Eikonal amplitudes for three-hard legs processes at finite-N$_c$

abstract: We extend our previous work on scattering amplitudes [1] to hadron collisions. We provide a general formalism for the computation of eikonal amplitudes squared for the radiation of soft and energy-ordered gluons off three hard-legs at finite-N$_c$ to any order in the perturbative expansion. Examples of three-hard legs processes include vector/Higgs boson production in association with a single hard jet and dijet production in DIS. Explicit expressions for the radiation of up to four gluons are provided as an illustration of the formalism.


title: Semi-Streaming Architecture: A New Design Paradigm for CNN Implementation on FPGAs

abstract: The recent research advances in deep learning have led to the development of small and powerful Convolutional Neural Network (CNN) architectures. Meanwhile Field Programmable Gate Arrays (FPGAs) has become a popular hardware target choice for their deployment, splitting into two main implementation categories: streaming hardware architectures and single computation engine design approaches. The streaming hardware architectures generally require implementing every layer as a discrete processing unit, and are suitable for smaller software models that could fit in their unfolded versions into resource-constrained targets. On the other hand, single computation engines can be scaled to fit into a device to execute CNN models of different sizes and complexities, however, the achievable performance of one-size-fits-all implementations may vary across CNNs with different workload attributes leading to inefficient utilization of hardware resources. By combing the advantages of both of the above methods, this work proposes a new design paradigm called semi-streaming architecture, where layerspecialized configurable engines are used for network realization. As a proof of concept this paper presents a set of five layerspecialized configurable processing engines for implementing 8-bit quantized MobilenevV2 CNN model. The engines are chained to partially preserve data streaming and tuned individually to efficiently process specific types of layers: normalized addition of residuals, depthwise, pointwise (expansion and projection), and standard 2D convolution layers capable of delivering 5.4GOp/s, 16GOp/s, 27.2GOp/s, 27.2GOp/s and 89.6GOp/s, respectively, with the overall energy efficiency of 5.32GOp/s/W at a 100MHz system clock, requiring total power of 6.2W on a XCZU7EV SoC FPGA.


title: Man, machine and work in a digital twin setup: a case study

abstract: This paper explores the opportunities of using a digital twin to address the complexities of collaborative production systems through an industrial case and a demonstrator. A digital twin, as a virtual counterpart of a physical human-robot assembly system, is built as a front-runner for validation and control through design, build, and operation. The forms of digital twins along the system life cycle, the building blocks, and potential advantages are presented. Recommendations for future research and practice in the use of digital twins in the field of collaborative robots are given.


title: Towards Understanding the Effect of Leak in Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are being explored to emulate the astounding capabilities of human brain that can learn and compute functions robustly and efficiently with noisy spiking activities. A variety of spiking neuron models have been proposed to resemble biological neuronal functionalities. With varying levels of bio-fidelity, these models often contain a leak path in their internal states, called membrane potentials. While the leaky models have been argued as more bioplausible, a comparative analysis between models with and without leak from a purely computational point of view demands attention. In this paper, we investigate the questions regarding the justification of leak and the pros and cons of using leaky behavior. Our experimental results reveal that leaky neuron model provides improved robustness and better generalization compared to models with no leak. However, leak decreases the sparsity of computation contrary to the common notion. Through a frequency domain analysis, we demonstrate the effect of leak in eliminating the high-frequency components from the input, thus enabling SNNs to be more robust against noisy spike-inputs.


title: Learning Incompressible Fluid Dynamics from Scratch -- Towards Fast, Differentiable Fluid Models that Generalize

abstract: Fast and stable fluid simulations are an essential prerequisite for applications ranging from computer-generated imagery to computer-aided design in research and development. However, solving the partial differential equations of incompressible fluids is a challenging task and traditional numerical approximation schemes come at high computational costs. Recent deep learning based approaches promise vast speed-ups but do not generalize to new fluid domains, require fluid simulation data for training, or rely on complex pipelines that outsource major parts of the fluid simulation to traditional methods. In this work, we propose a novel physics-constrained training approach that generalizes to new fluid domains, requires no fluid simulation data, and allows convolutional neural networks to map a fluid state from time-point t to a subsequent state at time t + dt in a single forward pass. This simplifies the pipeline to train and evaluate neural fluid models. After training, the framework yields models that are capable of fast fluid simulations and can handle various fluid phenomena including the Magnus effect and Karman vortex streets. We present an interactive real-time demo to show the speed and generalization capabilities of our trained models. Moreover, the trained neural networks are efficient differentiable fluid solvers as they offer a differentiable update step to advance the fluid simulation in time. We exploit this fact in a proof-of-concept optimal control experiment. Our models significantly outperform a recent differentiable fluid solver in terms of computational speed and accuracy.


title: The Milky Way Cepheid Leavitt law based on Gaia DR2 parallaxes of companion stars and host open cluster populations

abstract: Classical Cepheids provide the foundation for the empirical extragalactic distance ladder. Milky Way Cepheids are the only stars in this class accessible to trigonometric parallax measurements. However, the parallaxes of Cepheids from the second Gaia data release (GDR2) are affected by systematics because of the absence of chromaticity correction, and occasionally by saturation. As a proxy for the parallaxes of 36 Galactic Cepheids, we adopt either the GDR2 parallaxes of their spatially resolved companions or the GDR2 parallax of their host open cluster. This novel approach allows us to bypass the systematics on the GDR2 Cepheids parallaxes that is induced by saturation and variability. We adopt a GDR2 parallax zero-point (ZP) of -0.046 mas with an uncertainty of 0.015 mas that covers most of the recent estimates. We present new Galactic calibrations of the Leavitt law in the V, J, H, K_S , and Wesenheit W_H bands. We compare our results with previous calibrations based on non-Gaia measurements and compute a revised value for the Hubble constant anchored to Milky Way Cepheids. From an initial Hubble constant of 76.18 +/- 2.37 km/s/Mpc based on parallax measurements without Gaia, we derive a revised value by adopting companion and average cluster parallaxes in place of direct Cepheid parallaxes, and we find H_0 = 72.8 +/- 1.9 (statistical + systematics) +/- 1.9 (ZP) km/s/Mpc when all Cepheids are considered and H0 = 73.0 +/- 1.9 (statistical + systematics) +/- 1.9 (ZP) km/s/Mpc for fundamental mode pulsators only.


title: The Milky Way's Shell Structure Reveals the Time of a Radial Collision

abstract: We identify shell structures in the Milky Way for the first time. We find 2 shells in the Virgo Overdensity (VOD) region and 2 shells in the Hercules Aquila Cloud (HAC) region using Sloan Digital Sky Survey, Gaia, and LAMOST data. These shell stars are a subset of the substructure previously identified as the Virgo Radial Merger (VRM). Timing arguments for these shells indicate that their progenitor dwarf galaxy passed through the Galactic center 2.7 +/- 0.2 Gyr ago. Based on the time of collision, it is also possible that the VRM is related to the phenomenon that created phase-space spirals in the vertical motion of the disk and/or the Splash, and could have caused a burst of star formation in the inner disk. We analyze phase mixing in a collection of radial merger N-body simulations, and find that shell structure similar to that observed in Milky Way data disappears by 5 Gyr after collision with the Galactic center. The method used to calculate the merger time of the VRM was able to reliably recover the correct merger times for these simulations. Previous work supports the idea that the VRM and the Gaia Sausage/Gaia-Enceladus Merger are the same. However, the Gaia Sausage is widely believed to be 8--11 Gyr old. The disparate ages could be reconciled if the larger age is associated with an infall time when the progenitor crossed the virial radius; we do not constrain the time at which the progenitor became bound to the Milky Way. Alternatively, the Gaia Sausage could be younger than previously thought.


title: COMPOSE: Cross-Modal Pseudo-Siamese Network for Patient Trial Matching

abstract: Clinical trials play important roles in drug development but often suffer from expensive, inaccurate and insufficient patient recruitment. The availability of massive electronic health records (EHR) data and trial eligibility criteria (EC) bring a new opportunity to data driven patient recruitment. One key task named patient-trial matching is to find qualified patients for clinical trials given structured EHR and unstructured EC text (both inclusion and exclusion criteria). How to match complex EC text with longitudinal patient EHRs? How to embed many-to-many relationships between patients and trials? How to explicitly handle the difference between inclusion and exclusion criteria? In this paper, we proposed CrOss-Modal PseudO-SiamEse network (COMPOSE) to address these challenges for patient-trial matching. One path of the network encodes EC using convolutional highway network. The other path processes EHR with multi-granularity memory network that encodes structured patient records into multiple levels based on medical ontology. Using the EC embedding as query, COMPOSE performs attentional record alignment and thus enables dynamic patient-trial matching. COMPOSE also introduces a composite loss term to maximize the similarity between patient records and inclusion criteria while minimize the similarity to the exclusion criteria. Experiment results show COMPOSE can reach 98.0% AUC on patient-criteria matching and 83.7% accuracy on patient-trial matching, which leads 24.3% improvement over the best baseline on real-world patient-trial matching tasks.


title: A User-Based Charge and Subsidy Scheme for Single O-D Network Mobility Management

abstract: We propose a path guidance system with a user-based charge and subsidy (UBCS) scheme for single O-D network mobility management. Users who are willing to join the scheme (subscribers) can submit travel requests along with their VOTs to the system before traveling. Those who are not willing to join (outsiders) only need to submit travel requests to the system. Our system will give all users path guidance from their origins to their destinations, and collect a \emph{path payment} from the UBCS subscribers. Subscribers will be charged or subsided in a way that renders the UBCS strategy-proof, revenue-neutral, and Pareto-improving. A numerical example shows that the UBCS scheme is equitable and progressive.


title: Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning

abstract: This work introduces a neuro-symbolic agent that combines deep reinforcement learning (DRL) with temporal logic (TL) to achieve systematic zero-shot, i.e., never-seen-before, generalisation of formally specified instructions. In particular, we present a neuro-symbolic framework where a symbolic module transforms TL specifications into a form that helps the training of a DRL agent targeting generalisation, while a neural module learns systematically to solve the given tasks. We study the emergence of systematic learning in different settings and find that the architecture of the convolutional layers is key when generalising to new instructions. We also provide evidence that systematic learning can emerge with abstract operators such as negation when learning from a few training examples, which previous research have struggled with.


title: Similarity-based transfer learning of decision policies

abstract: A problem of learning decision policy from past experience is considered. Using the Fully Probabilistic Design (FPD) formalism, we propose a new general approach for finding a stochastic policy from the past data.


title: Projective flatness over klt spaces and uniformisation of varieties with nef anti-canonical divisor

abstract: We give a criterion for the projectivisation of a reflexive sheaf on a klt space to be induced by a projective representation of the fundamental group of the smooth locus. This criterion is then applied to give a characterisation of finite quotients of projective spaces and Abelian varieties by $\mathbb{Q}$-Chern class (in)equalities and a suitable stability condition. This stability condition is formulated in terms of a naturally defined extension of the tangent sheaf by the structure sheaf. We further examine cases in which this stability condition is satisfied, comparing it to K-semistability and related notions.


title: Subgradient method with feasible inexact projections for constrained convex optimization problems

abstract: In this paper, we propose a new inexact version of the projected subgradient method to solve nondifferentiable constrained convex optimization problems. The method combine $\epsilon$-subgradient method with a procedure to obtain a feasible inexact projection onto the constraint set. Asymptotic convergence results and iteration-complexity bounds for the sequence generated by the method employing the well known exogenous stepsizes, Polyak's stepsizes, and dynamic stepsizes are established.


title: Multilayer network analysis of C. elegans: Looking into the locomotory circuitry

abstract: We investigate how locomotory behavior is generated in the brain focusing on the paradigmatic connectome of nematode Caenorhabditis elegans (C. elegans) and on neuronal activity patterns that control forward locomotion. We map the neuronal network of the worm as a multilayer network that takes into account various neurotransmitters and neuropeptides. Using logistic regression analysis, we predict the neurons of the locomotory subnetwork. Combining Hindmarsh-Rose equations for neuronal activity with a leaky integrator model for muscular activity, we study the dynamics within this subnetwork and predict the forward locomotion of the worm using a harmonic wave model. The application of time-delayed feedback control reveals synchronization effects that contribute to a coordinated locomotion of C. elegans. Analyzing the synchronicity when the activity of certain neurons is silenced informs us about their significance for a coordinated locomotory behavior. Since the information processing is the same in humans and C. elegans, the study of the locomotory circuitry provides new insights for understanding how the brain generates motion behavior.


title: Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems

abstract: To promote structurally flexible controllers in self-adaptive software systems, this paper proposes the use of micro-controllers. Instead of generic monolithic controllers, like Rainbow, we advocate the use of service-specific micro-controllers which can be based on microservices. Although traditional generic controllers can be configured parametrically according to system needs, their use and reuse are nevertheless restrictive because of the wide range of services expected from the different stages of the feedback control loop.The solution being advocated is to have structurally flexible controllers that can be composed from micro-controllers. Controlling the architectural configuration of these micro-controllers is a meta-controller that is able to configure the controller according to the services required for controlling the target system. The feasibility of the proposed approach of using micro-controllers at the level of the controller is demonstrated in the context of the PhoneAdapter case study in which micro-controllers are configured at run-time depending on changes affecting the system or its environment.


title: Comparative Analysis of Economic Instruments in Intersection Operation: A User-Based Perspective

abstract: Focusing on different economic instruments implemented in intersection operations under a connected environment, this paper analyzes their advantages and disadvantages from the travelers' perspective. Travelers' concerns revolve around whether a new instrument is easy to learn and operate, whether it can save time or money, and whether it can reduce the rich-poor gap. After a comparative analysis, we found that both credit and free-market schemes can benefit users. Second-price auctions can only benefit high VOT vehicles. From the perspective of technology deployment and adoption, a credit scheme is not easy to learn and operate for travelers.


title: Optimal Virtual Network Function Deployment for 5G Network Slicing in a Hybrid Cloud Infrastructure

abstract: Network virtualization is a key enabler for 5G systems to support the expected use cases of vertical markets. In this context, we study the joint optimal deployment of Virtual Network Functions (VNFs) and allocation of computational resources in a hybrid cloud infrastructure by taking the requirements of the 5G services and the characteristics of the cloud architecture into consideration. The resulting mixed-integer problem is reformulated as an integer linear problem, which can be solved by using a standard solver. Our results underline the advantages of a hybrid infrastructure over a standard centralized radio access network consisting only of a central cloud, and show that the proposed mechanism to deploy VNF chains leads to high resource utilization efficiency and large gains in terms of the number of supported VNF chains. To deal with the computational complexity of optimizing a large number of clouds and VNF chains, we propose a simple low-complexity heuristic that attempts to find a feasible VNF deployment solution with a limited number of functional splits. Numerical results indicate that the performance of the proposed heuristic is close to the optimal one when the edge clouds are well dimensioned with respect to the computational requirements of the 5G services.


title: A note about monochromatic components in graphs of large minimum degree

abstract: For all positive integers $r\geq 3$ and $n$ such that $r^2-r$ divides $n$ and an affine plane of order $r$ exists, we construct an $r$-edge colored graph with minimum degree $(1-\frac{r-2}{r^2-r})n-2$ such that the largest monochromatic component has order less than $\frac{n}{r-1}$. This generalizes an example of Guggiari and Scott and, independently, Rahimi for $r=3$ and thus disproves a conjecture of Gy\'arf\'as and S\'ark\"ozy for all integers $r\geq 3$ such that an affine plane of order $r$ exists.


title: Cubic microlattices embedded in nematic liquid crystals: a Landau de-Gennes study

abstract: We consider a Landau-de Gennes model for a connected cubic lattice scaffold in a nematic host, in a dilute regime. We analyse the homogenised limit for both cases in which the lattice of embedded particles presents or not cubic symmetry and then we compute the free effective energy of the composite material. In the cubic symmetry case, we impose different types of surface anchoring energy densities, such as quartic, Rapini-Papoular or more general versions, and, in this case, we show that we can tune any coefficient from the corresponding bulk potential, especially the phase transition temperature. In the case with loss of cubic symmetry, we prove similar results in which the effective free energy functional has now an additional term, which describes a change in the preferred alignment of the liquid crystal particles inside the domain. Moreover, we compute the rate of convergence for how fast the surface energies converge to the homogenised one and also for how fast the minimisers of the free energies tend to the minimiser of the homogenised free energy.


title: Ordering Dimensions with Nested Dropout Normalizing Flows

abstract: The latent space of normalizing flows must be of the same dimensionality as their output space. This constraint presents a problem if we want to learn low-dimensional, semantically meaningful representations. Recent work has provided compact representations by fitting flows constrained to manifolds, but hasn't defined a density off that manifold. In this work we consider flows with full support in data space, but with ordered latent variables. Like in PCA, the leading latent dimensions define a sequence of manifolds that lie close to the data. We note a trade-off between the flow likelihood and the quality of the ordering, depending on the parameterization of the flow.


title: Interference and Coverage Analysis in Coexisting RF and Dense TeraHertz Wireless Networks

abstract: This paper develops a stochastic geometry framework to characterize the statistics of the downlink interference and coverage probability of a typical user in a coexisting terahertz (THz) and radio frequency (RF) network. We first characterize the exact Laplace Transform (LT) of the aggregate interference and coverage probability of a user in a THz-only network. Then, for a coexisting RF/THz network, we derive the coverage probability of a typical user considering biased received signal power association (BRSP). The framework can be customized to capture the performance of a typical user in various network configurations such as THz-only, opportunistic RF/THz, and hybrid RF/THz. In addition, asymptotic approximations are presented for scenarios where the intensity of THz BSs becomes large or molecular absorption coefficient in THz approaches to zero. Numerical results demonstrate the accuracy of the derived expressions and extract insights related to the significance of the BRSP association compared to the conventional reference signal received power (RSRP) association in the coexisting network.


title: Automatic Validation of Textual Attribute Values in E-commerce Catalog by Learning with Limited Labeled Data

abstract: Product catalogs are valuable resources for eCommerce website. In the catalog, a product is associated with multiple attributes whose values are short texts, such as product name, brand, functionality and flavor. Usually individual retailers self-report these key values, and thus the catalog information unavoidably contains noisy facts. Although existing deep neural network models have shown success in conducting cross-checking between two pieces of texts, their success has to be dependent upon a large set of quality labeled data, which are hard to obtain in this validation task: products span a variety of categories. To address the aforementioned challenges, we propose a novel meta-learning latent variable approach, called MetaBridge, which can learn transferable knowledge from a subset of categories with limited labeled data and capture the uncertainty of never-seen categories with unlabeled data. More specifically, we make the following contributions. (1) We formalize the problem of validating the textual attribute values of products from a variety of categories as a natural language inference task in the few-shot learning setting, and propose a meta-learning latent variable model to jointly process the signals obtained from product profiles and textual attribute values. (2) We propose to integrate meta learning and latent variable in a unified model to effectively capture the uncertainty of various categories. (3) We propose a novel objective function based on latent variable model in the few-shot learning setting, which ensures distribution consistency between unlabeled and labeled data and prevents overfitting by sampling from the learned distribution. Extensive experiments on real eCommerce datasets from hundreds of categories demonstrate the effectiveness of MetaBridge on textual attribute validation and its outstanding performance compared with state-of-the-art approaches.


title: "Time"-covariant Schr\"odinger equation and the canonical quantization of the Reissner-Nordstr\"om black hole

abstract: A "time"-covariant Schr\"{o}dinger equation is defined for the minisuperspace model of the Reissner-Nordstr\"{o}m (RN) black hole, as a "hybrid" between the "intrinsic time" Schr\"{o}dinger and Wheeler-DeWitt(WDW) equations. To do so, a reduced, regular and "time(r)"-dependent Hamiltonian density was constructed, without "breaking" the re-parametrization covariance $r\rightarrow f(\tilde{r})$. As a result, evolution of states with respect to the parameter $r$ and probabilistic interpretation of the resulting quantum description is possible, while quantum schemes for different gauge choices are equivalent by construction. The solutions are found for a Dirac's delta and a Gaussian initial states. A geometrical interpretation of the wavefunctions is presented via Bohm analysis. Alongside, a criterion is presented to adjudicate which, between two singular spacetimes is "more" or "less" singular. Two ways to adjudicate about the existence of singularities are compared (vanishing of the probability density at the classical singularity and semi-classical spacetime singularity). Finally, an equivalence of the reduced equations with these of a 3D electromagnetic pp-wave spacetime is revealed.


title: Optimizing Variational Representations of Divergences and Accelerating their Statistical Estimation

abstract: Variational representations of divergences and distances between high-dimensional probability distributions offer significant theoretical insights and practical advantages in numerous research areas. Recently, they have gained popularity in machine learning as a tractable and scalable approach for training probabilistic models and for statistically differentiating between data distributions. Their advantages include: 1) They can be estimated from data as statistical averages. 2) Such representations can leverage the ability of neural networks to efficiently approximate optimal solutions in function spaces. However, a systematic and practical approach to improving the tightness of such variational formulas, and accordingly accelerate statistical learning and estimation from data, is currently lacking. Here we develop such a methodology for building new, tighter variational representations of divergences. Our approach relies on improved objective functionals constructed via an auxiliary optimization problem. Furthermore, the calculation of the functional Hessian of objective functionals unveils the local curvature differences around the common optimal variational solution; this quantifies and orders the tightness gains between different variational representations. Finally, numerical simulations utilizing neural network optimization demonstrate that tighter representations can result in significantly faster learning and more accurate estimation of divergences in both synthetic and real datasets (of more than 1000 dimensions), often accelerated by nearly an order of magnitude.


title: Reflections upon the Emergence of Hadronic Mass

abstract: With discovery of the Higgs boson, science has located the source for $\lesssim 2$% of the mass of visible matter. The focus of attention can now shift to the search for the origin of the remaining $\gtrsim 98$%. The instruments at work here must be capable of simultaneously generating the 1 GeV mass-scale associated with the nucleon and ensuring that this mass-scale is completely hidden in the chiral-limit pion. This hunt for an understanding of the emergence of hadronic mass (EHM) has actually been underway for many years. What is changing are the impacts of QCD-related theory, through the elucidation of clear signals for EHM in hadron observables, and the ability of modern and planned experimental facilities to access these observables. These developments are exemplified in a discussion of the evolving understanding of pion and kaon parton distributions.


title: Structural stability of Lattice Boltzmann schemes

abstract: The goal of this work is to determine classes of traveling solitary wave solutions for Lattice Boltzmann schemes by means of an hyperbolic ansatz. It is shown that spurious solitary waves can occur in finite-difference solutions of nonlinear wave equation. The occurence of such a spurious solitary wave, which exhibits a very long life time, results in a non-vanishing numerical error for arbitrary time in unbounded numerical domain. Such a behavior is referred here to have a structural instability of the scheme, since the space of solutions spanned by the numerical scheme encompasses types of solutions (solitary waves in the present case) that are not solutions of the original continuous equations. This paper extends our previous work about classical schemes to Lattice Boltzmann schemes.


title: Directly imaged exoplanets in reflected starlight. The importance of knowing the planet radius

abstract: We have investigated the information content in reflected-starlight spectra of exoplanets. We specify our analysis to Barnard's Star b candidate super-Earth, for which we assume a radius 0.6 times that of Neptune, an atmosphere dominated by H$_2$-He, and a CH$_4$ volume mixing ratio of 5$\cdot$10$^{-3}$. The main conclusions of our study are however planet-independent. We set up a model of the exoplanet described by seven parameters including its radius, atmospheric methane abundance and basic properties of a cloud layer. We generate synthetic spectra at zero phase (full disk illumination) from 500 to 900 nm and spectral resolution R$\sim$125-225. We simulate a measured spectrum with a simplified, wavelength-independent noise model at Signal-to-Noise ratio S/N=10. With an MCMC-based retrieval methodology, we analyse which planet/atmosphere parameters can be inferred from the measured spectrum and the theoretical correlations amongst them. We consider limiting cases in which the planet radius is either known or completely unknown, and intermediate cases in which the planet radius is partly constrained. If the planet radius is known, we can generally discriminate between cloud-free and cloudy atmospheres, and constrain the methane abundance to within two orders of magnitude. If the planet radius is unknown, new correlations between model parameters occur and the accuracy of the retrievals decreases. Without a radius determination, it is challenging to discern whether the planet has clouds, and the estimates on methane abundance degrade. However, we find the planet radius is constrained to within a factor of two for all the cases explored. Having a priori information on the planet radius, even if approximate, helps improve the retrievals. We urge exoplanet detection efforts to extend the population of long-period planets with mass and radius determinations.


title: On Effective Parallelization of Monte Carlo Tree Search

abstract: Despite its groundbreaking success in Go and computer games, Monte Carlo Tree Search (MCTS) is computationally expensive as it requires a substantial number of rollouts to construct the search tree, which calls for effective parallelization. However, how to design effective parallel MCTS algorithms has not been systematically studied and remains poorly understood. In this paper, we seek to lay its first theoretical foundation, by examining the potential performance loss caused by parallelization when achieving a desired speedup. In particular, we discover the necessary conditions of achieving a desirable parallelization performance, and highlight two of their practical benefits. First, by examining whether existing parallel MCTS algorithms satisfy these conditions, we identify key design principles that should be inherited by future algorithms, for example tracking the unobserved samples (used in WU-UCT (Liu et al., 2020)). We theoretically establish this essential design facilitates $\mathcal{O} ( \ln n + M / \sqrt{\ln n} )$ cumulative regret when the maximum tree depth is 2, where $n$ is the number of rollouts and $M$ is the number of workers. A regret of this form is highly desirable, as compared to $\mathcal{O} ( \ln n )$ regret incurred by a sequential counterpart, its excess part approaches zero as $n$ increases. Second, and more importantly, we demonstrate how the proposed necessary conditions can be adopted to design more effective parallel MCTS algorithms. To illustrate this, we propose a new parallel MCTS algorithm, called BU-UCT, by following our theoretical guidelines. The newly proposed algorithm, albeit preliminary, out-performs four competitive baselines on 11 out of 15 Atari games. We hope our theoretical results could inspire future work of more effective parallel MCTS.


title: Time Glass: A Fractional Calculus Approach

abstract: Out of equilibrium states in glasses and crystals have been a major topic of research in condensed-matter physics for many years, and the idea of time crystals has triggered a flurry of new research. Here, we provide the first description for the recently conjectured Time Glasses using fractional calculus methods. An exactly solvable effective theory is introduced, with a continuous parameter describing the transition from liquid through normal glass, Time Glass, into the Gardner phase. The phenomenological description with a fractional Langevin equation is connected to a microscopic model of a particle in a sub-Ohmic bath in the framework of a generalized Caldeira-Leggett model.


title: Well-posedness for Hardy-H\'enon parabolic equations with fractional Brownian noise

abstract: We study the Hardy-H\'enon parabolic equations on $\mathbb{R}^{N}$ ($N=2, 3$) under the effect of an additive fractional Brownian noise with Hurst parameter $H>\max\left(1/2, N/4\right).$ We show local existence and uniqueness of a mid $L^{q}$-solution under suitable assumptions on $q$.


title: Learning Smooth and Fair Representations

abstract: Organizations that own data face increasing legal liability for its discriminatory use against protected demographic groups, extending to contractual transactions involving third parties access and use of the data. This is problematic, since the original data owner cannot ex-ante anticipate all its future uses by downstream users. This paper explores the upstream ability to preemptively remove the correlations between features and sensitive attributes by mapping features to a fair representation space. Our main result shows that the fairness measured by the demographic parity of the representation distribution can be certified from a finite sample if and only if the chi-squared mutual information between features and representations is finite. Empirically, we find that smoothing the representation distribution provides generalization guarantees of fairness certificates, which improves upon existing fair representation learning approaches. Moreover, we do not observe that smoothing the representation distribution degrades the accuracy of downstream tasks compared to state-of-the-art methods in fair representation learning.