title: Thoughts on opportunities in high-energy nuclear collisions

abstract: This document reflects thoughts on opportunities from high-energy nuclear collisions in the 2020s.


title: Effective equidistribution of the horocycle flow on geometrically finite hyperbolic surfaces

abstract: We prove effective equidistribution of non-closed horocycles in the unit tangent bundle of infinite-volume geometrically finite hyperbolic surfaces.


title: Paradox of integration -- Dynamics of two-dimensional status

abstract: According to Peter M. Blau [Exchange and Power in Social Life, Wiley and Sons, p. 43], the process of integration of a newly formed group has a paradoxical aspect: most attractive individuals are rejected because they raise fear of rejection. Often, their solution is to apply a self-deprecating strategy, which artificially raises the social statuses of their opponents. Here we introduce a two-dimensional space of status, and we demonstrate that with this setup, the self-deprecating strategy efficiently can prevent the rejection. Examples of application of this strategy in the scale of a society are provided.


title: Synthesis and Magnetism of a Li$_2$FeSiO$_4$ Single Crystal

abstract: A macroscopic single crystal of $\gamma_{\rm II}$-Li\(_2\)FeSiO\(_4\) has been grown by means of the high-pressure optical floating-zone technique. Static magnetic susceptibility $\chi$ implies that the tetrahedrally-coordinated Fe$^{2+}$ ions are in the high-spin, $S=2$, state. While a sharp decrease in $\chi$ implies long-range antiferromagnetic order below \tn\ = 17.0(5)~K, the presence of a broad maximum at $T_{\rm m} = 28$~K suggests quasi-low-dimensional magnetism. Applying magnetic fields along the easy magnetic $a$-axis yields additional contributions to the susceptibility $\partial M/\partial B$ and magnetostriction for $B > 7$~T, and an anomaly at $B\approx 14.8$~T.


title: High Field Anomalies of Equilibrium and Ultrafast Magnetism in Rare-Earth-Transition Metal Ferrimagnets

abstract: Magneto-optical spectroscopy in fields up to 30 Tesla reveals anomalies in the equilibrium and ultrafast magnetic properties of the ferrimagnetic rare-earth-transition metal alloy TbFeCo. In particular, in the vicinity of the magnetization compensation temperature, each of the magnetizations of the antiferromagnetically coupled Tb and FeCo sublattices show triple hysteresis loops. Contrary to state-of-the-art theory, which explains such loops by sample inhomogeneities, here we show that they are an intrinsic property of the rare-earth ferrimagnets. Assuming that the rare-earth ions are paramagnetic and have a non-zero orbital momentum in the ground state and, therefore, a large magnetic anisotropy, we are able to reproduce the experimentally observed behavior in equilibrium. The same theory is also able to describe the experimentally observed critical slowdown of the spin dynamics in the vicinity of the magnetization compensation temperature, emphasizing the role played by the orbital momentum in static and ultrafast magnetism of ferrimagnets.


title: Mix and match networks: cross-modal alignment for zero-pair image-to-image translation

abstract: This paper addresses the problem of inferring unseen cross-modal image-to-image translations between multiple modalities. We assume that only some of the pairwise translations have been seen (i.e. trained) and infer the remaining unseen translations (where training pairs are not available). We propose mix and match networks, an approach where multiple encoders and decoders are aligned in such a way that the desired translation can be obtained by simply cascading the source encoder and the target decoder, even when they have not interacted during the training stage (i.e. unseen). The main challenge lies in the alignment of the latent representations at the bottlenecks of encoder-decoder pairs. We propose an architecture with several tools to encourage alignment, including autoencoders and robust side information and latent consistency losses. We show the benefits of our approach in terms of effectiveness and scalability compared with other pairwise image-to-image translation approaches. We also propose zero-pair cross-modal image translation, a challenging setting where the objective is inferring semantic segmentation from depth (and vice-versa) without explicit segmentation-depth pairs, and only from two (disjoint) segmentation-RGB and depth-RGB training sets. We observe that a certain part of the shared information between unseen modalities might not be reachable, so we further propose a variant that leverages pseudo-pairs which allows us to exploit this shared information between the unseen modalities.


title: Wave Functions and Leptonic Decays of Bottom Mesons In the Relativistic Potential Model

abstract: We study the wave functions and purely leptonic decays of $b$-flavored mesons (pseudoscalars, vector mesons, and higher excited states that are well established in experiment) in the relativistic potential model based on our previous works. The wave functions are obtained by solving the wave equation including the spin-spin and spin-orbit corrections in the effective potential. The decay constants of $B$, $B^*$ and some of their excited states that have been found in experiment are calculated with these wave functions. Then the branching fractions of the purely leptonic decay modes of these bottom mesons are studied. Our results are in well agreement with experiment data for decay modes that have been measured in experiments. We also provide predictions for some yet unmeasured channels, which are useful for experimental test in the future.


title: Counting processes in $p$-variation with applications to recurrent events

abstract: Convergence results for averages of independent replications of counting processes are established in a $p$-variation setting and under certain assumptions. Such convergence results can be combined with functional differentiability results in $p$-variation in order to study the asymptotic properties of estimators that can be considered functionals of such averages of counting processes. Examples of this are given in recurrent events settings, confirming known results while also establishing the appropriateness of the pseudo-observation method for regression analysis. In a recurrent events setting with a terminal event, it is also established that it is more efficient to discard complete information on a censoring time and instead consider the censoring times censored by the terminal event.


title: Deep Learning for Signal Demodulation in Physical Layer Wireless Communications: Prototype Platform, Open Dataset, and Analytics

abstract: In this paper, we investigate deep learning (DL)-enabled signal demodulation methods and establish the first open dataset of real modulated signals for wireless communication systems. Specifically, we propose a flexible communication prototype platform for measuring real modulation dataset. Then, based on the measured dataset, two DL-based demodulators, called deep belief network (DBN)-support vector machine (SVM) demodulator and adaptive boosting (AdaBoost) based demodulator, are proposed. The proposed DBN-SVM based demodulator exploits the advantages of both DBN and SVM, i.e., the advantage of DBN as a feature extractor and SVM as a feature classifier. In DBN-SVM based demodulator, the received signals are normalized before being fed to the DBN network. Furthermore, an AdaBoost based demodulator is developed, which employs the $k$-Nearest Neighbor (KNN) as a weak classifier to form a strong combined classifier. Finally, experimental results indicate that the proposed DBN-SVM based demodulator and AdaBoost based demodulator are superior to the single classification method using DBN, SVM, and maximum likelihood (MLD) based demodulator.


title: An efficient iterative method for looped pipe network hydraulics

abstract: Original and improved version of the Hardy Cross iterative method with related modifications are today widely used for calculation of fluid flow through conduits in loops-like distribution networks of pipes with known node fluid consumptions. Fluid in these networks is usually natural gas for distribution in the municipalities, water in waterworks or hot water in district heating system, air in the case of ventilation systems in buildings or mines, etc. Since, the resistances in these networks depend of flow, problem is not linear like in electrical circuits, and iterative procedure must be used. In both version of the Hardy Cross method, in original and in the improved one, initial results of calculation in iteration procedure is not flow, but rather the correction of flow. Unfortunately, these corrections should be added to or subtracted from a flow calculated in previous iteration according to complicate algebraic rules. After the here presented node-loop method, final results in each of the iterations is flow directly rather than flow correction. In that way complex algebraic scheme for sign of flow correction is avoided, while the final results still remain unchanged. Numbers of required iterations for the same results are comparable with the improved Hardy Cross method.


title: Reversible signal transmission in an active mechanical metamaterial

abstract: Mechanical metamaterials are designed to enable unique functionalities, but are typically limited by an initial energy state and require an independent energy input to function repeatedly. Our study introduces a theoretical active mechanical metamaterial that incorporates a biological reaction mechanism to overcome this key limitation of passive metamaterials. Our material allows for reversible mechanical signal transmission, where energy is reintroduced by the biologically motivated reaction mechanism. By analysing a coarse grained continuous analogue of the discrete model, we find that signals can be propagated through the material by a travelling wave. Analysis of the continuum model provides the region of the parameter space that allows signal transmission, and reveals similarities with the well-known FitzHugh-Nagumo system. We also find explicit formulae that approximate the effect of the timescale of the reaction mechanism on the signal transmission speed, which is essential for controlling the material.


title: Reachability and Coverage Planning for Connected Agents: Extended Version

abstract: Motivated by the increasing appeal of robots in information-gathering missions, we study multi-agent path planning problems in which the agents must remain interconnected. We model an area by a topological graph specifying the movement and the connectivity constraints of the agents. We study the theoretical complexity of the reachability and the coverage problems of a fleet of connected agents on various classes of topological graphs. We establish the complexity of these problems on known classes, and introduce a new class called sight-moveable graphs which admit efficient algorithms.


title: Decomposability, Convexity and Continuous Linear Operators in $L^1(\mu,E)$: The Case for Saturated Measure Spaces

abstract: Motivated by the Lyapunov convexity theorem in infinite dimensions, we extend the convexity of the integral of a decomposable set to separable Banach spaces under the strengthened notion of nonatomicity of measure spaces, called "saturation", and provide a complete characterization of decomposability in terms of saturation.


title: Quasi-continuous vector fields on RCD spaces

abstract: In the existing language for tensor calculus on RCD spaces, tensor fields are only defined m-a.e.. In this paper we introduce the concept of tensor field defined `2-capacity-a.e.' and discuss in which sense Sobolev vector fields have a 2-capacity-a.e. uniquely defined quasi-continuous representative.


title: Collapse and Expansion of Scalar Thin-Shell for a Class of Black Holes

abstract: This paper investigates the dynamics of thin-shell in the presence of perfect fluid as well as the scalar field. We formulate the equations of motion using Israel thin-shell formalism by taking the interior and exterior regions of Schwarzschild, Kerr as well as Kerr-Newmann black hole. We find numerical solutions of equations of motion and effective potential to analyze the scalar shell for collapse and expansion. It is found that the rate of collapse and expansion of scalar shell through shell's radius depends on charge and rotation parameters. We conclude that the massive scalar shell leads to a collapse of thin-shell, while massless scalar shell indicates both collapses as well as expansion.


title: A 3-regular matchstick graph of girth 5 consisting of 54 vertices

abstract: In 2010 it was proved that a 3-regular matchstick graph of girth 5 must consist at least of 30 vertices. The smallest known example consisted of 180 vertices. In this article we construct an example consisting of 54 vertices and prove its geometrical correctness.


title: A fractional-order difference Cournot duopoly game with long memory

abstract: We reconsider the Cournot duopoly problem in light of the theory for long memory. We introduce the Caputo fractional-order difference calculus to classical duopoly theory to propose a fractional-order discrete Cournot duopoly game model, which allows participants to make decisions while making full use of their historical information. Then we discuss Nash equilibria and local stability by using linear approximation. Finally, we detect the chaos of the model by employing a 0-1 test algorithm.


title: Consistency of the maximum likelihood and variational estimators in a dynamic stochastic block model

abstract: We consider a dynamic version of the stochastic block model, in which the nodes are partitioned into latent classes and the connection between two nodes is drawn from a Bernoulli distribution depending on the classes of these two nodes. The temporal evolution is modeled through a hidden Markov chain on the nodes memberships. We prove the consistency (as the number of nodes and time steps increase) of the maximum likelihood and variational estimators of the model parameters, and obtain upper bounds on the rates of convergence of these estimators. We also explore the particular case where the number of time steps is fixed and connectivity parameters are allowed to vary.


title: A cooperative game for automated learning of elasto-plasticity knowledge graphs and models with AI-guided experimentation

abstract: We introduce a multi-agent meta-modeling game to generate data, knowledge, and models that make predictions on constitutive responses of elasto-plastic materials. We introduce a new concept from graph theory where a modeler agent is tasked with evaluating all the modeling options recast as a directed multigraph and find the optimal path that links the source of the directed graph (e.g. strain history) to the target (e.g. stress) measured by an objective function. Meanwhile, the data agent, which is tasked with generating data from real or virtual experiments (e.g. molecular dynamics, discrete element simulations), interacts with the modeling agent sequentially and uses reinforcement learning to design new experiments to optimize the prediction capacity. Consequently, this treatment enables us to emulate an idealized scientific collaboration as selections of the optimal choices in a decision tree search done automatically via deep reinforcement learning.


title: Modal analysis using photonic lanterns coupled to arrays of waveguides

abstract: We present a new concept of an integrated optics component capable of measuring the complex amplitudes of the modes at the tip of a multimode waveguide. The device uses a photonic lantern to split the optical power carried by an $N$-modes waveguide among a collection of single-mode waveguides that excite a periodic array of at least $N^2$ single-mode evanescently-coupled waveguides. The power detected at each output of the array is a linear combination of the products of the modal amplitudes-a relation that can, under suitable conditions, be inverted allowing the derivation of the amplitudes and relative phases of the modal mixture at the input. The expected performance of the device is discussed and its application to the real-time measurement of modal instability in high power fiber lasers is proposed.


title: Convergence rate in Wasserstein distance and semiclassical limit for the defocusing logarithmic Schr{\"o}dinger equation

abstract: We consider the dispersive logarithmic Schr{\"o}dinger equation in a semi-classical scaling. We extend the results about the large time behaviour of the solution (dispersion faster than usual with an additional logarithmic factor, convergence of the rescaled modulus of the solution to a universal Gaussian profile) to the case with semi-classical constant. We also provide a sharp convergence rate to the Gaussian profile in Kantorovich-Rubinstein metric through a detailed analysis of the Fokker-Planck equation satisfied by this modulus. Moreover, we perform the semiclassical limit of this equation thanks to the Wigner Transform in order to get a (Wigner) measure. We show that those two features are compatible and the density of a Wigner Measure has the same large time behaviour as the modulus of the solution of the logarithmic Schr{\"o}dinger equation. Lastly, we discuss about the related kinetic equation (which is the Kinetic Isothermal Euler System) and its formal properties, enlightened by the previous results and a new class of explicit solutions.


title: Fine-structure constant constraints on late-time dark energy transitions

abstract: We use recent astrophysical and local tests of the stability of the fine-structure constant, $\alpha$, to constrain a particular phenomenological but physically motivated class of models in which the dark energy equation of state can undergo a rapid transition at low redshifts, perhaps associated with the onset of the acceleration phase. We set constraints on the phenomenological parameters describing such possible transitions, in particular improving previous constraints (which used only cosmological data) on the present-day value of the dark energy equation of state in these models. We specifically quantify how these constraints are improved by the addition of the $\alpha$ measurements. We find no evidence for a transition associated with the onset of acceleration. In this model the $\alpha$ measurements lead to a bound on Weak Equivalence Principle violations of $\eta<4\times10^{-15}$ (at $68.3\%$ confidence level), improving on the recent MICROSCOPE bound by about a factor of three.


title: Deep Recurrent Q-Learning vs Deep Q-Learning on a simple Partially Observable Markov Decision Process with Minecraft

abstract: Deep Q-Learning has been successfully applied to a wide variety of tasks in the past several years. However, the architecture of the vanilla Deep Q-Network is not suited to deal with partially observable environments such as 3D video games. For this, recurrent layers have been added to the Deep Q-Network in order to allow it to handle past dependencies. We here use Minecraft for its customization advantages and design two very simple missions that can be frames as Partially Observable Markov Decision Process. We compare on these missions the Deep Q-Network and the Deep Recurrent Q-Network in order to see if the latter, which is trickier and longer to train, is always the best architecture when the agent has to deal with partial observability.


title: Concurrent formation of nearly synchronous clusters in each intertwined cluster set with parameter mismatches

abstract: Cluster synchronization is a phenomenon in which oscillators in a given network are partitioned into synchronous clusters. As recently shown, diverse cluster synchronization patterns can be found using network symmetry when the oscillators are identical. For such symmetry-induced cluster synchronization patterns, subsets called intertwined clusters can exist, in which every cluster in the same subset should synchronize or desynchronize concurrently. In this work, to reflect the existence of noise in real systems, we consider networks composed of nearly identical oscillators. We show that every cluster in the same intertwined cluster set is nearly synchronized concurrently when the nearly synchronous state of the set is stable. We also consider an extreme case where only one cluster of an intertwined cluster set is composed of nearly identical oscillators while every other cluster in the set is composed of identical oscillators. In this case, deviation from the synchronous state of every cluster in the same set increases linearly with the magnitude of parameter mismatch within the cluster of nearly identical oscillators. We confirm these results by numerical simulation.


title: Weighted inequalities for discrete iterated Hardy operators

abstract: We characterize a three-weight inequality for an iterated discrete Hardy-type operator. In the case when the domain space is a weighted space $\ell^p$ with $p\in(0,1]$, we develop characterizations which enable us to reduce the problem to another one with $p=1$. This, in turn, makes it possible to establish an equivalence of the weighted discrete inequality to an appropriate inequality for iterated Hardy-type operators acting on measurable functions defined on $\mathbb{R}$, for all cases of involved positive exponents.


title: SECCS: SECure Context Saving for IoT Devices

abstract: Energy consumption of IoT devices is a very important issue. For this reason, many techniques have been developed to allow IoT nodes to be aware of the amount of available energy. When energy is missing, the device halts and saves its state. One of those techniques is context saving, relying on the use of Non-Volatile Memories (NVM) to store and restore the state of the device. However, this information, as far as IoT devices deal with security, might be the target of attacks, including tampering and theft of confidential data. In this paper, we propose a SECure Context Saving (SECCS) approach that provides a context saving procedure and a hardware module easy to implement inside a System on Chip (SoC). This approach provides both confidentiality and integrity to all the CPU content saved into the target NVM.


title: Pressure-controlled Structural Symmetry Transition in Layered InSe

abstract: Structural symmetry of crystals plays important roles in physical properties of two-dimensional (2D) materials, particularly in the nonlinear optics regime. It has been a long-term exploration on the physical properties in 2D materials with various stacking structures, which correspond to different structural symmetries. Usually, the manipulation of rotational alignment between layers in 2D heterostructures has been realized at the synthetic stage through artificial stacking like assembling Lego bricks. However, the reconfigurable control of translational symmetry of crystalline structure is still challenging. High pressure, as a powerful external control knob, provides a very promising route to circumvent this constraint. Here, we experimentally demonstrate a pressure-controlled symmetry transition in layered InSe. The continuous and reversible evolution of structural symmetries can be in-situ monitored by using the polarization-resolved second harmonic generation (SHG) spectroscopy. As pressure changes, the reconfigurable symmetry transition of the SHG pattern from three-fold rotational symmetry to mirror symmetry was experimentally observed in a layered InSe samples and was successfully explained by the proposed interlayer-translation model. This opens new routes towards potential applications of manipulating crystal symmetry of 2D materials.


title: The exponent of the longitudinal structure function $F_{L}$ at low $x$

abstract: We present a set of formula to extract exponents of the longitudinal structure function and reduced cross section from the Regge-like behavior at small $x$. The exponents are found to be independent of $Q^{2}$ at NNLO analysis. As a result, we show that the reduced cross section exponents do not have the same behavior at some values of $x$. This difference predicts the non-linear effects and some evidence for shadowing and antishadowing at LHeC. Also the ratio $\frac{F_{2}}{\sigma}$ is calculated and compared with the corresponding HERA data. Our calculations show a very good agreement with the DIS experimental data throughout the small values of $x$.


title: Volume of line bundles via valuation vectors (different from Okounkov bodies)

abstract: Up to a factor 1/n!, the volume of a big line bundle agrees with the Euclidean volume of its Okounkov body. The latter is the convex hull of top rank valuation vectors of sections, all with respect to a single flag. In this text we give a different volume formula, valid in the ample cone, also based on top rank valuation vectors, but mixing data along several different flags.


title: Cyclic posets and triangulation clusters

abstract: Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze triangulation clusters which are those corresponding to topological triangulations of the 2-disk. Locally finite non-triangulation clusters give topological triangulations of the cactus space associated to the cactus cyclic poset.


title: Solving the minimum labeling global cut problem by mathematical programming

abstract: Let G = (V, E, L) be an edge-labeled graph such that V is the set of vertices, E is the set of edges, L is the set of labels (colors) and each edge e \in E has a label l(e) associated; The goal of the minimum labeling global cut problem (MLGCP) is to find a subset L \subseteq L of labels such that G = (V, E , L\L ) is not connected and |L| is minimized. This work proposes three new mathematical formulations for the MLGCP as well as branch-and-cut algorithms to solve them. The computational experiments showed that the proposed methods are able to solve small to average sized instances in a reasonable amount of time.


title: Master integrals of a planar double-box family for top-quark pair production

abstract: We calculate analytically the master integrals of a planar double-box family for top-quark pair production using the method of differential equations. With a proper choice of the bases, the differential equations can be transformed to the $d$-log form. The square roots of the kinematic variables in the differential equations can be rationalized by defining two dimensionless variables. We find that all the boundary conditions can be fully fixed either by simple integrals or regularity conditions at some special kinematic points. The analytic results for thirty-three master integrals at general kinematics are all expressed in terms of multiple polylogarithms up to transcendental weight four.


title: Enhanced, homogeneous type II superconductivity in Cu-intercalated PdTe$_2$

abstract: Though the superconducting phase of the type-II Dirac semimetal PdTe$_2$ was shown to be conventional in nature, the phase continued to be interesting in terms of its magnetic properties. While certain experiments indicated an unexpected type-I superconducting phase, other experiments revealed formation of vortices under the application of magnetic fields. Recently, scanning tunneling spectroscopy (STS) experiments revealed the existence of a mixed phase where type-I and type-II behaviours coexist. Here, based on our temperature and magnetic field dependent STS experiments on Cu-intercalated PdTe$_2$ we show that as the critical temperature of the superconducting phase goes up from 1.7 K to 2.4 K on Cu-intercalation, the mixed phase disappears and the system becomes homogeneously type-II. This may be attributed to an averaging effect caused by quasiparticle exchange between type-I and type-II domains mediated by the Cu atoms and to decreased coherence length due to increased disorder.


title: The Exterior Cubic L-function of GU(6) and Unitary Automorphic Induction

abstract: In this paper, we extend Ginzburg-Rallis' integral representation for the exterior cube automorphic $L$-function of ${\rm GL}_6\times {\rm GL}_1$ to that of the quasi-split unitary similitude group ${\rm GU}_6$ and establish its analytic properties to determine the poles of this $L$-function. Furthermore, we introduce the automorphic induction for automorphic representations of ${\rm GU}_n$ and then show that the weak Langlands functorial lift for the automorphic induction exists for generic cuspidal automorphic representations. By using this automorphic induction, we give a conjectural criterion on the existence of poles of $L(s,\pi,\wedge^{3}\otimes\chi)$ for discrete automorphic representations in the tempered spectrum.


title: The 3 cavity prototypes of RADES, an axion detector using microwave filters at CAST

abstract: The Relic Axion Detector Experimental Setup (RADES) is an axion search project that uses a microwave filter as resonator for Dark Matter conversion. The main focus of this publication is the description of the 3 different cavity prototypes of RADES. The result of the first tests of one of the prototypes is also presented. The filters consist of 5 or 6 stainless steel sub-cavities joined by rectangular irises. The size of the sub-cavities determines the working frequency, the amount of sub-cavities determine the working volume. The first cavity prototype was built in 2017 to work at a frequency of $\sim$ 8.4 GHz and it was placed at the 9 T CAST dipole magnet at CERN. Two more prototypes were designed and built in 2018. The aim of the new designs is to find and test the best cavity geometry in order to scale up in volume and to introduce an effective tuning mechanism. Our results demonstrate the promising potential of this type of filter to reach QCD axion sensitivity at X-Band frequencies.


title: Populations behind the source-subtracted cosmic infrared background anisotropies

abstract: While the upcoming telescopes will reveal correspondingly fainter, more distant galaxies, a question will persist: what more is there that these telescopes cannot see? One answer is the source-subtracted Cosmic Infrared Background (CIB). The CIB is comprised of the collective light from all sources remaining after known, resolved sources are accounted for. Ever-more-sensitive surveys will identify the brightest of these, allowing them to be removed, and - like peeling layers off an onion - reveal deeper layers of the CIB. In this way it is possible to measure the contributions from populations not accessible to direct telescopic observation. Measurement of fluctuations in the source-subtracted CIB, i.e., the spatial power spectrum of the CIB after subtracting resolved sources, provides a robust means of characterizing its faint, and potentially new, populations. Studies over the past 15 years have revealed source-subtracted CIB fluctuations on scales out to ~100' which cannot be explained by extrapolating from known galaxy populations. Moreover, they appear highly coherent with the unresolved Cosmic X-ray Background, hinting at a significant population of accreting black holes among the CIB sources. Characterizing the source-subtracted CIB with high accuracy, and thereby constraining the nature of the new populations, is feasible with upcoming instruments and would produce critically important cosmological information in the next decade. New coextensive deep and wide-area near-infrared, X-ray, and microwave surveys will bring decisive opportunities to examine, with high fidelity, the spatial spectrum and origin of the CIB fluctuations and their cross-correlations with cosmic microwave and X-ray backgrounds, and determine the formation epochs and the nature of the new sources (stellar nucleosynthetic or accreting black holes).


title: The relationship between word complexity and computational complexity in subshifts

abstract: We prove several results about the relationship between the word complexity function of a subshift and the set of Turing degrees of points of the subshift, which we call the Turing spectrum. Among other results, we show that a Turing spectrum can be realized via a subshift of linear complexity if and only if it consists of the union of a finite set and a finite number of cones, that a Turing spectrum can be realized via a subshift of exponential complexity (i.e. positive entropy) if and only if it contains a cone, and that every Turing spectrum which either contains degree 0 or is a union of cones is realizable by subshifts with a wide range of 'intermediate' complexity growth rates between linear and exponential.


title: Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time

abstract: The Internet of Things (IoT) connects millions of devices of different cyber-physical systems (CPSs) providing the CPSs additional (implicit) redundancy during runtime. However, the increasing level of dynamicity, heterogeneity, and complexity adds to the system's vulnerability, and challenges its ability to react to faults. Self-healing is an increasingly popular approach for ensuring resilience, that is, a proper monitoring and recovery, in CPSs. This work encodes and searches an adaptive knowledge base in Prolog/ProbLog that models relations among system variables given that certain implicit redundancy exists in the system. We exploit the redundancy represented in our knowledge base to generate adaptive runtime monitors which compares related signals by considering uncertainties in space and time. This enables the comparison of uncertain, asynchronous, multi-rate and delayed measurements. The monitor is used to trigger the recovery process of a self-healing mechanism. We demonstrate our approach by deploying it in a real-world CPS prototype of a rover whose sensors are susceptible to failure.


title: Rationality of Rigid Quiver Grassmannians

abstract: We show that any quiver Grassmannian associated with a rigid representation of a quiver is a rational variety using torus localization techniques.


title: Continuous and Pulsed Experiments with Numerical Simulation to Dissect Pituitary Gland Tumour by Using Liquid Jet

abstract: Endoscopic endonasal surgery is a minimal invasive surgery that has been used to dissect pituitary gland tumour via curettes with the help of endoscope. However, this type of surgery has a high risk of failure because curettes may cause damages to blood vessels and optical nerves that lead to more complication for the patient. The aim of this study is to develop a new technique to dissect the tumour by using liquid jet. A series of experimental tests have been performed on animal tissue to study the effect of liquid pressure and nozzle diameter on dissecting and cutting the tissue. Continuous / pulsed liquid jet used with variable nozzle diameters, distances, pressures and angles. The study concluded with promising results on liquid jet to dissect hypophysis tumour and preserving fine blood vessels and optical nerve located near the pituitary gland. Index Terms-Endoscopic endonasal surgery, tumour removal, liquid jet, continuous and pulsed jet


title: Scaling in Words on Twitter

abstract: Scaling properties of language are a useful tool for understanding generative processes in texts. We investigate the scaling relations in citywise Twitter corpora coming from the Metropolitan and Micropolitan Statistical Areas of the United States. We observe a slightly superlinear urban scaling with the city population for the total volume of the tweets and words created in a city. We then find that a certain core vocabulary follows the scaling relationship of that of the bulk text, but most words are sensitive to city size, exhibiting a super- or a sublinear urban scaling. For both regimes we can offer a plausible explanation based on the meaning of the words. We also show that the parameters for Zipf's law and Heaps law differ on Twitter from that of other texts, and that the exponent of Zipf's law changes with city size.


title: Exchange-enhanced Ultrastrong Magnon-Magnon Coupling in a Compensated Ferrimagnet

abstract: The ultrastrong coupling of (quasi-)particles has gained considerable attention due to its application potential and richness of the underlying physics. Coupling phenomena arising due to electromagnetic interactions are well explored. In magnetically ordered systems, the quantum-mechanical exchange-interaction should furthermore enable a fundamentally different coupling mechanism. Here, we report the observation of ultrastrong intralayer exchange-enhanced magnon-magnon coupling in a compensated ferrimagnet. We experimentally study the spin dynamics in a gadolinium iron garnet single crystal using broadband ferromagnetic resonance. Close to the ferrimagnetic compensation temperature, we observe ultrastrong coupling of clockwise and anticlockwise magnon modes. The magnon-magnon coupling strength reaches more than 30% of the mode frequency and can be tuned by varying the direction of the external magnetic field. We theoretically explain the observed phenomenon in terms of an exchange-enhanced mode-coupling mediated by a weak cubic anisotropy.


title: $H^{\infty}$ interpolation and embedding theorems for rational functions

abstract: We consider a Nevanlinna-Pick interpolation problem on finite sequences of the unit disc D constrained by Hardy and radial-weighted Bergman norms. We find sharp asymptotics on the corresponding interpolation constants. As another application of our techniques we prove embedding theorems for rational functions. We find that the embedding of H $\infty$ into Hardy or radial-weighted Bergman spaces in D is invertible on the subset of rational functions of a given degree n whose poles are separated from the unit circle and obtain asymptotically sharp estimates of the corresponding embedding constants. Mathematics Subject Classification (2010). Primary 15A60, 32A36, 26A33; Secondary 30D55, 26C15, 41A10.


title: Interactions between spatial and temporal scales in the evolution of dispersal rate

abstract: The evolution of dispersal rate is studied with a model of several local populations linked by dispersal. Three dispersal strategies are considered where all, half, or none of the offspring disperse. The spatial scale (number of patches) and the temporal scale (probability of local extinction) of the environment are critical in determining the selective advantage of the different dispersal strategies. The results from the simulations suggest that an interaction between group selection and individual selection results in a different outcome in relation to the spatial and temporal scales of the environment. Such an interaction is able to maintain a polymorphism in dispersal strategies. The maintenance of this polymorphism is also scale-dependent. This study suggests a mechanism for the short-term evolution of dispersal, and provides a testable prediction of this hypothesis, namely that loss of dispersal abilities should be more frequent in spatially more continuous environments, or in temporally more stable environments.


title: Fundamental Physics with High-Energy Cosmic Neutrinos

abstract: High-energy cosmic neutrinos can reveal new fundamental particles and interactions, probing energy and distance scales far exceeding those accessible in the laboratory. This white paper describes the outstanding particle physics questions that high-energy cosmic neutrinos can address in the coming decade. A companion white paper discusses how the observation of cosmic neutrinos can address open questions in astrophysics. Tests of fundamental physics using high-energy cosmic neutrinos will be enabled by detailed measurements of their energy spectrum, arrival directions, flavor composition, and timing.


title: Astrophysics Uniquely Enabled by Observations of High-Energy Cosmic Neutrinos

abstract: High-energy cosmic neutrinos carry unique information about the most energetic non-thermal sources in the Universe. This white paper describes the outstanding astrophysics questions that neutrino astronomy can address in the coming decade. A companion white paper discusses how the observation of cosmic neutrinos can address open questions in fundamental physics. Detailed measurements of the diffuse neutrino flux, measurements of neutrinos from point sources, and multi-messenger observations with neutrinos will enable the discovery and characterization of the most energetic sources in the Universe.


title: Computation of Chebyshev Polynomials for Union of Intervals

abstract: Chebyshev polynomials of the first and second kind for a set K are monic polynomials with minimal L $\infty$-and L 1-norm on K, respectively. This articles presents numerical procedures based on semidefinite programming to compute these polynomials in case K is a finite union of compact intervals. For Chebyshev polynomials of the first kind, the procedure makes use of a characterization of polynomial nonnegativity. It can incorporate additional constraints, e.g. that all the roots of the polynomial lie in K. For Chebyshev polynomials of the second kind, the procedure exploits the method of moments. Key words and phrases: Chebyshev polynomials of the first kind, Chebyshev polynomials of the second kind, nonnegative polynomials, method of moments, semidefinite programming.


title: The norms of Bloch vectors and classification of four qudits quantum states

abstract: We investigate the norms of the Bloch vectors for any quantum state with subsystems less than or equal to four. Tight upper bounds of the norms are obtained, which can be used to derive tight upper bounds for entanglement measure defined by the norms of Bloch vectors. By using these bounds a trade-off relation of the norms of Bloch vectors is discussed. Theses upper bounds are then applied on separability. Necessary conditions are presented for different kinds of separable states in four-partite quantum systems. We further present a complete classification of quantum states for four qudits quantum systems.


title: Labeler-hot Detection of EEG Epileptic Transients

abstract: Preventing early progression of epilepsy and so the severity of seizures requires an effective diagnosis. Epileptic transients indicate the ability to develop seizures but humans overlook such brief events in an electroencephalogram (EEG) what compromises patient treatment. Traditionally, training of the EEG event detection algorithms has relied on ground truth labels, obtained from the consensus of the majority of labelers. In this work, we go beyond labeler consensus on EEG data. Our event descriptor integrates EEG signal features with one-hot encoded labeler category that is a key to improved generalization performance. Notably, boosted decision trees take advantage of singly-labeled but more varied training sets. Our quantitative experiments show the proposed labeler-hot epileptic event detector consistently outperforms a consensus-trained detector and maintains confidence bounds of the detection. The results on our infant EEG recordings suggest datasets can gain higher event variety faster and thus better performance by shifting available human effort from consensus-oriented to separate labeling when labels include both, the event and the labeler category.


abstract: We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,\Gamma_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.


title: Circular geodesics stability in a static black hole in new massive gravity

abstract: We study the existence and stability of circular geodesics in a family of asymptotically AdS static black holes in New Massive Gravity. We show that the existence of such geodesics is determined by the sign of the hair parameter. For a positive hair parameter the stability regions follow the usual pattern, with an innermost unstable null geodesic separated from the horizon, followed by a region of unstable timelike geodesics and then stable timelike geodesics extending in the asymptotic region.


title: Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks

abstract: Signal temporal logic (STL) provides a user-friendly interface for defining complex tasks for robotic systems. Recent efforts aim at designing control laws or using reinforcement learning methods to find policies which guarantee satisfaction of these tasks. While the former suffer from the trade-off between task specification and computational complexity, the latter encounter difficulties in exploration as the tasks become more complex and challenging to satisfy. This paper proposes to combine the benefits of the two approaches and use an efficient prescribed performance control (PPC) base law to guide exploration within the reinforcement learning algorithm. The potential of the method is demonstrated in a simulated environment through two sample navigational tasks.


title: A Spiking Network for Inference of Relations Trained with Neuromorphic Backpropagation

abstract: The increasing need for intelligent sensors in a wide range of everyday objects requires the existence of low power information processing systems which can operate autonomously in their environment. In particular, merging and processing the outputs of different sensors efficiently is a necessary requirement for mobile agents with cognitive abilities. In this work, we present a multi-layer spiking neural network for inference of relations between stimuli patterns in dedicated neuromorphic systems. The system is trained with a new version of the backpropagation algorithm adapted to on-chip learning in neuromorphic hardware: Error gradients are encoded as spike signals which are propagated through symmetric synapses, using the same integrate-and-fire hardware infrastructure as used during forward propagation. We demonstrate the strength of the approach on an arithmetic relation inference task and on visual XOR on the MNIST dataset. Compared to previous, biologically-inspired implementations of networks for learning and inference of relations, our approach is able to achieve better performance with less neurons. Our architecture is the first spiking neural network architecture with on-chip learning capabilities, which is able to perform relational inference on complex visual stimuli. These features make our system interesting for sensor fusion applications and embedded learning in autonomous neuromorphic agents.


title: Wilf's conjecture in fixed multiplicity

abstract: We give an algorithm to determine whether Wilf's conjecture holds for all numerical semigroups with a given multiplicity $m$, and use it to prove Wilf's conjecture holds whenever $m \le 18$. Our algorithm utilizes techniques from polyhedral geometry, and includes a parallelizable algorithm for enumerating the faces of any polyhedral cone up to orbits of an automorphism group. We also introduce a new method of verifying Wilf's conjecture via a combinatorially-flavored game played on the elements of a certain finite poset.


title: The spectrum of torsion free sheaves on $\mathbb{P}^3$ and applications

abstract: We study the spectrum of rank $2$ torsion free sheaves on $\mathbb{P}^3$ with aim of producing examples of distinct irreducible components of the moduli space with the same spetrcum answering the question presented by Rao for the case of torsion free sheaves. In order to do so, we provide a full description of the spectrum of the sheaves in the moduli space of semistable rank $2$ torsion free sheaves on $\mathbb{P}^3$ with Chern classes $(c_1, c_2,c_3)$ equals to $(-1,2,0)$ and $(0,3,0)$.


title: Non-spherical equilibrium shapes in the liquid drop model

abstract: We prove the existence of a family of volume-constrained critical points of the liquid drop functional, which are cylindrically but not spherically symmetric. This family bifurcates from the ball and exchanges stability with it.


title: Existence of positive solutions for a Brezis--Nirenberg type problem involving an inverse operator

abstract: This paper is devoted to the existence of positive solutions for a problem related to a fourth-order differential equation involving a nonlinear term depending on a second order differential operator, $$(-\Delta)^2 u=\lambda u+ (-\Delta)|u|^{p-1}u,$$ in a bounded domain $\Omega\subset\mathbb{R}^N$, $N\geq 7$, and assuming homogeneous Navier boundary conditions. In particular, we study a second order equation involving a nonlocal term of the form, $$-\Delta u=\lambda (-\Delta)^{-1} u+|u|^{p-1}u,$$ under Dirichlet boundary conditions and we prove the existence of positive solutions depending on the positive real parameter $\lambda>0$, up to the critical value of the exponent $p$, i.e., when $1<p\leq 2^*-1$, where $2^*=\frac{2N}{N-2}$ is the critical Sobolev exponent. For $p=2^*-1$, this equivalence leads us to a Brezis--Nirenberg type problem, cf. \cite{BN}, but, in our particular case, the linear term is a nonlocal term. The effect that this nonlocal term has on the equation changes the dimensions for which the classical technique based on the minimizers of the Sobolev constant ensures the existence of solution, going from dimensions $N\geq 4$ in the classical Brezis-Nirenberg problem, to dimensions $N\geq7$ for this nonlocal problem.


title: Unconventional gate voltage dependence of the charge conductance caused by spin-splitting Fermi surface by Rashba-type spin-orbit coupling

abstract: We calculate the gate voltage (Vg) dependence of charge conductance in a normal metal (NM)/two dimensional electron gas (2DEG) junction, where Rashba spin-orbit coupling and ferromagnetism exist in the 2DEG. We call this 2DEG as the ferromagnetic Rashba metal (FRM) and the chemical potential of the FRM is controlled by Vg. We clarify the physical origin of the unconventional Vg dependence of charge conductance in the NM/FRM junction found in our previous work [J. Phys. Soc. Jpn. 87, 034710 (2018)], in which the charge conductance increases with Vg, although the number of carries in FRM decreases. We calculate the momentum-resolved charge conductance. It is clarified that the origin of the unconventional Vg dependence is due to the non-monotonic change in the size of the inner Fermi surface in FRM as a function of $V_{g}$.


title: Using satellite image classification and digital terrain modelling to assess forest species distribution on mountain slopes.A case study in Varatec Forest District

abstract: The relation between ecological conditions and geomorphological factors is considered the basis for species distribution in Romania. In this context, the location of each species within parts of the mountain slopes is difficult on a medium to brad scale level. The paper presents methodology to combine vegetation data, obtained from IKONOS satellite images, and Digital Elevation Model obtained from digitized topographic maps. The study area is a northern slope of the Stanisoarei Mountains with a gradient of species from beech mixed and coniferous stands.


title: Inverse problems for heat equation and space-time fractional diffusion equation with one measurement

abstract: Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $\alpha\in(0,1]$, and the space fractional part by $(-\Delta_g)^\beta$, where $\beta\in(0,1]$ and $\Delta_g$ is the Laplace--Beltrami operator on the manifold. The case $\alpha=\beta=1$, which corresponds to the standard heat equation on the manifold, is an important special case. We construct a specific source such that measuring the evolution of the corresponding solution on $V$ determines the manifold up to a Riemannian isometry.


title: Promoting circular-orderability to left-orderability

abstract: Motivated by recent activity in low-dimensional topology, we provide a new criterion for left-orderability of a group under the assumption that the group is circularly-orderable: A group $G$ is left-orderable if and only if $G \times \mathbb{Z}/n\mathbb{Z}$ is circularly-orderable for all $n > 1$. This implies that every circularly-orderable group which is not left-orderable gives rise to a collection of positive integers that exactly encode the obstruction to left-orderability, which we call the obstruction spectrum. We precisely describe the behaviour of the obstruction spectrum with respect to torsion, and show that this same behaviour can be mirrored by torsion-free groups, whose obstruction spectra are in general more complex.


title: Model Checking ATL* on vCGS

abstract: We prove that the model checking ATL* on concurrent game structures with propositional control for atom-visibility (vCGS) is undecidable. To do so, we reduce this problem to model checking ATL* on iCGS.


title: Coresets for Ordered Weighted Clustering

abstract: We design coresets for Ordered k-Median, a generalization of classical clustering problems such as k-Median and k-Center, that offers a more flexible data analysis, like easily combining multiple objectives (e.g., to increase fairness or for Pareto optimization). Its objective function is defined via the Ordered Weighted Averaging (OWA) paradigm of Yager (1988), where data points are weighted according to a predefined weight vector, but in order of their contribution to the objective (distance from the centers). A powerful data-reduction technique, called a coreset, is to summarize a point set $X$ in $\mathbb{R}^d$ into a small (weighted) point set $X'$, such that for every set of $k$ potential centers, the objective value of the coreset $X'$ approximates that of $X$ within factor $1\pm \epsilon$. When there are multiple objectives (weights), the above standard coreset might have limited usefulness, whereas in a \emph{simultaneous} coreset, which was introduced recently by Bachem and Lucic and Lattanzi (2018), the above approximation holds for all weights (in addition to all centers). Our main result is a construction of a simultaneous coreset of size $O_{\epsilon, d}(k^2 \log^2 |X|)$ for Ordered k-Median. To validate the efficacy of our coreset construction we ran experiments on a real geographical data set. We find that our algorithm produces a small coreset, which translates to a massive speedup of clustering computations, while maintaining high accuracy for a range of weights.


title: Joint inference on structural and diffusion MRI for sequence-adaptive Bayesian segmentation of thalamic nuclei with probabilistic atlases

abstract: Segmentation of structural and diffusion MRI (sMRI/dMRI) is usually performed independently in neuroimaging pipelines. However, some brain structures (e.g., globus pallidus, thalamus and its nuclei) can be extracted more accurately by fusing the two modalities. Following the framework of Bayesian segmentation with probabilistic atlases and unsupervised appearance modeling, we present here a novel algorithm to jointly segment multi-modal sMRI/dMRI data. We propose a hierarchical likelihood term for the dMRI defined on the unit ball, which combines the Beta and Dimroth-Scheidegger-Watson distributions to model the data at each voxel. This term is integrated with a mixture of Gaussians for the sMRI data, such that the resulting joint unsupervised likelihood enables the analysis of multi-modal scans acquired with any type of MRI contrast, b-values, or number of directions, which enables wide applicability. We also propose an inference algorithm to estimate the maximum-a-posteriori model parameters from input images, and to compute the most likely segmentation. Using a recently published atlas derived from histology, we apply our method to thalamic nuclei segmentation on two datasets: HCP (state of the art) and ADNI (legacy) - producing lower sample sizes than Bayesian segmentation with sMRI alone.


title: Transition from endemic behavior to eradication of malaria due to combined drug therapies: an agent-model approach

abstract: We introduce an agent-based model describing a susceptible-infectious-susceptible (SIS) system of humans and mosquitoes to predict malaria epidemiological scenarios in realistic biological conditions. Emphasis is given to the transition from endemic behavior to eradication of malaria transmission induced by combined drug therapies acting on both the gametocytemia reduction and on the selective mosquito mortality during parasite development in the mosquito. Our mathematical framework enables to uncover the critical values of the parameters characterizing the effect of each drug therapy. Moreover, our results provide quantitative evidence of what is empirically known: interventions combining gametocytemia reduction through the use of gametocidal drugs, with the selective action of ivermectin during parasite development in the mosquito, may actively promote disease eradication in the long run. In the agent model, the main properties of human-mosquito interactions are implemented as parameters and the model is validated by comparing simulations with real data of malaria incidence collected in the endemic malaria region of Chimoio in Mozambique. Finally, we discuss our findings in light of current drug administration strategies for malaria prevention, that may interfere with human-to-mosquito transmission process.


title: ADS-ME: Anomaly Detection System for Micro-expression Spotting

abstract: Micro-expressions (MEs) are infrequent and uncontrollable facial events that can highlight emotional deception and appear in a high-stakes environment. This paper propose an algorithm for spatiotemporal MEs spotting. Since MEs are unusual events, we treat them as abnormal patterns that diverge from expected Normal Facial Behaviour (NFBs) patterns. NFBs correspond to facial muscle activations, eye blink/gaze events and mouth opening/closing movements that are all facial deformation but not MEs. We propose a probabilistic model to estimate the probability density function that models the spatiotemporal distributions of NFBs patterns. To rank the outputs, we compute the negative log-likelihood and we developed an adaptive thresholding technique to identify MEs from NFBs. While working only with NFBs data, the main challenge is to capture intrinsic spatiotemoral features, hence we design a recurrent convolutional autoencoder for feature representation. Finally, we show that our system is superior to previous works for MEs spotting.


title: Production of $X(3872)$ Accompanied by a Soft Pion at Hadron Colliders

abstract: If the $X(3872)$ is a weakly bound charm-meson molecule, it can be produced by the creation of $D^{*0} \bar{D}^0$ or $D^{0} \bar{D}^{*0}$ at short distances followed by the formation of the bound state from the charm-meson pair. The $X$ can also be produced by the creation of $D^* \bar{D}^*$ at short distances followed by the rescattering of the charm-meson pair into $X \pi$. At a high-energy hadron collider, the prompt cross section from this mechanism has a narrow peak in the $X \pi$ invariant mass distribution near the $D^* \bar D^*$ threshold from a charm-meson triangle singularity. An order-of-magnitude estimate of the ratio of the cross section for producing the peak in the $X \pi^\pm$ distribution to the cross section for producing $X$ without an accompanying pion suggests that the peak may be observable at the LHC.


title: Experimental Relativity with Accretion Disk Observations

abstract: Electromagnetic observations have been used over the past decades to understand the nature of black holes and the material around them. Our ability to learn about the fundamental physics relies on our understanding of two key ingredients in the modeling of these electromagnetic observations: the gravity theory that describes the black hole, and the astrophysics that produces the observed radiation. In this work we study our current ability to constrain and detect deviations from General Relativity using the accretion disk spectrum of stellar-mass black holes in binary systems. Our analysis combines relativistic ray-tracing and Markov-Chain Monte-Carlo sampling techniques to determine how well such tests of General Relativity can be carried out in practice. We show that even when a very simple astrophysical model for the accretion disk is assumed a priori, the uncertainties and covariances between the parameters of the model and the parameters that control the deformation from General Relativity make any test of General Relativity very challenging with accretion disk spectrum observations. We also discuss the implications of assuming that General Relativity is correct a priori on the estimation of parameters of the astrophysical model when the data is not described by Einstein's theory, which can lead to a fundamental systematic bias.


title: Active modulation of surfactant driven flow instabilities by swarming bacteria

abstract: Models based on surfactant driven instabilities have been employed to describe pattern formation by swarming bacteria. However, by definition, such models cannot account for the effect of bacterial sensing and decision making. Here we present a more complete model for bacterial pattern formation which accounts for these effects by coupling active bacterial motility to the passive fluid dynamics. We experimentally identify behaviours which cannot be captured by previous models based on passive population dispersal and show that a more accurate description is provided by our model. It is seen that the coupling of bacterial motility to the fluid dynamics significantly alters the phase space of surfactant driven pattern formation. We also show that our formalism is applicable across bacterial species.


title: Capacities and 1-strict subsets in metric spaces

abstract: In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$. Relying on the concept of fine topology, we give a characterization of those strict subsets that are also sets of finite perimeter, and then we apply this to the study of condensers as well as BV capacities. We also apply the theory to prove a pointwise approximation result for functions of bounded variation.


title: Introduction to Coding Quantum Algorithms: A Tutorial Series Using Qiskit

abstract: As the field of Quantum Computing continues to grow, so too has the general public's interest in testing some of the publicly available quantum computers. However, many might find learning all of the supplementary information that goes into quantum algorithms to be a daunting task, and become discouraged. This tutorial is a series of lessons, aimed to teach the basics of quantum algorithms to those who may have little to no background in quantum physics and/or minimal knowledge of coding in python. Each lesson covers select physics/coding topics needed for writing quantum algorithms, eventually building up a toolset for tackling more and more challenging quantum algorithms. This tutorial series is designed to provide readers from any background with two services: 1) A concise and thorough understanding of some of the most popular/academically important quantum algorithms. 2) A fluent understanding of how to write code for quantum algorithms, using IBM's publicly available Qiskit.


title: Automatic Ontology Learning from Domain-Specific Short Unstructured Text Data

abstract: Ontology learning is a critical task in industry, dealing with identifying and extracting concepts captured in text data such that these concepts can be used in different tasks, e.g. information retrieval. Ontology learning is non-trivial due to several reasons with limited amount of prior research work that automatically learns a domain specific ontology from data. In our work, we propose a two-stage classification system to automatically learn an ontology from unstructured text data. We first collect candidate concepts, which are classified into concepts and irrelevant collocates by our first classifier. The concepts from the first classifier are further classified by the second classifier into different concept types. The proposed system is deployed as a prototype at a company and its performance is validated by using complaint and repair verbatim data collected in automotive industry from different data sources.


title: Solving the Black Box Problem: A Normative Framework for Explainable Artificial Intelligence

abstract: Many of the computing systems programmed using Machine Learning are opaque: it is difficult to know why they do what they do or how they work. The Explainable Artificial Intelligence research program aims to develop analytic techniques with which to render opaque computing systems transparent, but lacks a normative framework with which to evaluate these techniques' explanatory success. The aim of the present discussion is to develop such a framework, while paying particular attention to different stakeholders' distinct explanatory requirements. Building on an analysis of 'opacity' from philosophy of science, this framework is modeled after David Marr's influential account of explanation in cognitive science. Thus, the framework distinguishes between the different questions that might be asked about an opaque computing system, and specifies the general way in which these questions should be answered. By applying this normative framework to current techniques such as input heatmapping, feature-detector identification, and diagnostic classification, it will be possible to determine whether and to what extent the Black Box Problem can be solved.


title: Algorithms and Comparisons of Non-negative Matrix Factorization with Volume Regularization for Hyperspectral Unmixing

abstract: In this work, we consider nonnegative matrix factorization (NMF) with a regularization that promotes small volume of the convex hull spanned by the basis matrix. We present highly efficient algorithms for three different volume regularizers, and compare them on endmember recovery in hyperspectral unmixing. The NMF algorithms developed in this work are shown to outperform the state-of-the-art volume-regularized NMF methods, and produce meaningful decompositions on real-world hyperspectral images in situations where endmembers are highly mixed (no pure pixels). Furthermore, our extensive numerical experiments show that when the data is highly separable, meaning that there are data points close to the true endmembers, and there are a few endmembers, the regularizer based on the determinant of the Gramian produces the best results in most cases. For data that is less separable and/or contains more endmembers, the regularizer based on the logarithm of the determinant of the Gramian performs best in general.


title: Effects of small-scale dynamo and compressibility on the $\Lambda$ effect

abstract: The $\Lambda$ effect describes a rotation-induced non-diffusive contribution to the Reynolds stress. It is commonly held responsible for maintaining the observed differential rotation of the Sun and other late-type stars. Here the sensitivity of the $\Lambda$ effect to small-scale magnetic fields and compressibility is studied by means of forced turbulence simulations either with anisotropic forcing in fully periodic cubes or in density-stratified domains with isotropic forcing. Effects of small-scale magnetic fields are studied in cases where the magnetic fields are self-consistently generated by a small-scale dynamo. The results show that small-scale magnetic fields lead to a quenching of the $\Lambda$ effect which is milder than in cases where also a large-scale field is present. The effect of compressibility on the $\Lambda$ effect is negligible in the range of Mach numbers from 0.015 to 0.8. Density stratification induces a marked anisotropy in the turbulence and a vertical $\Lambda$ effect if the forcing scale is roughly two times larger than the density scale height.


title: TensorFlow Doing HPC

abstract: TensorFlow is a popular emerging open-source programming framework supporting the execution of distributed applications on heterogeneous hardware. While TensorFlow has been initially designed for developing Machine Learning (ML) applications, in fact TensorFlow aims at supporting the development of a much broader range of application kinds that are outside the ML domain and can possibly include HPC applications. However, very few experiments have been conducted to evaluate TensorFlow performance when running HPC workloads on supercomputers. This work addresses this lack by designing four traditional HPC benchmark applications: STREAM, matrix-matrix multiply, Conjugate Gradient (CG) solver and Fast Fourier Transform (FFT). We analyze their performance on two supercomputers with accelerators and evaluate the potential of TensorFlow for developing HPC applications. Our tests show that TensorFlow can fully take advantage of high performance networks and accelerators on supercomputers. Running our TensorFlow STREAM benchmark, we obtain over 50% of theoretical communication bandwidth on our testing platform. We find an approximately 2x, 1.7x and 1.8x performance improvement when increasing the number of GPUs from two to four in the matrix-matrix multiply, CG and FFT applications respectively. All our performance results demonstrate that TensorFlow has high potential of emerging also as HPC programming framework for heterogeneous supercomputers.


title: Correlators on non-supersymmetric Wilson line in N=4 SYM and AdS$_2$/CFT$_1$

abstract: Correlators of local operators inserted on a straight Wilson loop in a conformal gauge theory have the structure of a one-dimensional "defect" CFT. As was shown in arXiv:1706.00756, in the case of supersymmetric Wilson-Maldacena loop in $\mathcal{N}=4$ SYM one can compute the strong-coupling contributions to 4-point correlators of operator insertions by starting with the AdS$_5 \times S^5$ string action expanded near the AdS$_2$ minimal surface and evaluating the corresponding AdS$_2$ Witten diagrams. We perform the analogous computations in the non-supersymmetric case of the standard Wilson loop with no coupling to the scalars. The corresponding non-supersymmetric "defect" CFT$_1$ has an unbroken $SO(6)$ global symmetry. The elementary bosonic operators (6 SYM scalars and 3 components of the SYM field strength) are dual respectively to the $S^5$ embedding coordinates and AdS$_5$ coordinates transverse to the minimal surface ending on the line at the boundary. The $SO(6)$ symmetry is preserved provided the 5-sphere coordinates satisfy Neumann boundary conditions (as opposed to Dirichlet in the supersymmetric case); one should then integrate over the $S^5$. The massless $S^5$ fluctuations have logarithmic propagator, corresponding to the boundary scalar operator having dimension $\Delta= \frac{5}{\sqrt\lambda} + \ldots$ at strong coupling. The resulting functions of 1d cross-ratio in the 4-point functions have a more complicated structure than in the supersymmetric case, involving polylogs (Li$_3$ and Li$_2$). We also discuss consistency with the operator product expansion which allows extracting the leading strong coupling corrections to the anomalous dimensions of the operators appearing in the intermediate channels.


title: Atomic energy mapping of neural network potential

abstract: We show that the intelligence of the machine-learning potential arises from its ability to infer the reference atomic-energy function from a given set of total energies. By utilizing invariant points in the feature space at which the atomic energy has a fixed reference value, we examine the atomic energy mapping of neural network potentials. Through a series of examples on Si, we demonstrate that the neural network potential is vulnerable to 'ad hoc' mapping in which the total energy appears to be trained accurately while the atomic energy mapping is incorrect in spite of its capability. We show that the energy mapping can be improved by choosing the training set carefully and monitoring the atomic energy at the invariant points during the training procedure.


title: On Robustness of Individualized Decision Rules

abstract: With the emergence of precision medicine, estimating optimal individualized decision rules (IDRs) has attracted tremendous attention in many scientific areas. Most existing literature has focused on finding optimal IDRs that can maximize the expected outcome for each individual. Motivated by complex individualized decision making procedures and the popular conditional value at risk (CVaR) measure, we propose a new robust criterion to estimate optimal IDRs in order to control the average lower tail of the individuals' outcomes. In addition to improving the individualized expected outcome, our proposed criterion takes risks into consideration, and thus the resulting IDRs can prevent adverse events. The optimal IDR under our criterion can be interpreted as the decision rule that maximizes the ``worst-case" scenario of the individualized outcome when the underlying distribution is perturbed within a constrained set. An efficient non-convex optimization algorithm is proposed with convergence guarantees. We investigate theoretical properties for our estimated optimal IDRs under the proposed criterion such as consistency and finite sample error bounds. Simulation studies and a real data application are used to further demonstrate the robust performance of our methods. Several extensions of the proposed method are also discussed.


title: Mixing by overshooting and rotation in intermediate mass stars

abstract: Double-line eclipsing binaries (DLEBs) have been recently used to constrain the amount of central mixing as a function of stellar mass, with contrasting results. In this work, we reanalyze the DLEB sample by Claret & Torres, using a Bayesian method and new PARSEC tracks that account for both convective core overshooting and rotational mixing. Using overshooting alone we obtain that, for masses larger than about 1.9 M$_{\odot}$, the distribution of the overshooting parameter, $\lambda_\mathrm{ov}$, has a wide dispersion between 0.3 and 0.8, with essentially no values below $\lambda_\mathrm{ov}=$ 0.3 - 0.4. While the lower limit supports a mild convective overshooting efficiency, the large dispersion derived is difficult to explain in the framework of current models of that process, which leave little room for large randomness. We suggest that a simple interpretation of our results can be rotational mixing: different initial rotational velocities, in addition to a fixed amount of overshooting, could reproduce the high dispersion derived for intermediate-mass stars. After a reanalysis of the data, we find good agreement with models computed with fixed overshooting parameter, $\lambda_\mathrm{ov}=0.4$, and initial rotational rates, $\omega$, uniformly distributed in a wide range between $0$ and $0.8$ times the break-up value, at varying initial mass. We also find that our best-fitting models for the components of $\alpha$ Aurigae and TZ Fornacis, agree with their observed rotational velocities, thus providing independent support to our hypothesis. We conclude that a constant efficiency of overshooting in concurrence with a star-to-star variation in the rotational mixing, might be crucial in the interpretation of such data.


title: Artificial intelligence in cyber physical systems

abstract: This article conducts a literature review of current and future challenges in the use of artificial intelligence (AI) in cyber physical systems. The literature review is focused on identifying a conceptual framework for increasing resilience with AI through automation supporting both, a technical and human level. The methodology applied resembled a literature review and taxonomic analysis of complex internet of things (IoT) interconnected and coupled cyber physical systems. There is an increased attention on propositions on models, infrastructures and frameworks of IoT in both academic and technical papers. These reports and publications frequently represent a juxtaposition of other related systems and technologies (e.g. Industrial Internet of Things, Cyber Physical Systems, Industry 4.0 etc.). We review academic and industry papers published between 2010 and 2020. The results determine a new hierarchical cascading conceptual framework for analysing the evolution of AI decision-making in cyber physical systems. We argue that such evolution is inevitable and autonomous because of the increased integration of connected devices (IoT) in cyber physical systems. To support this argument, taxonomic methodology is adapted and applied for transparency and justifications of concepts selection decisions through building summary maps that are applied for designing the hierarchical cascading conceptual framework.


title: Norm-variation of cubic ergodic averages

abstract: In this paper we study cubic averages with respect to $d$ general commuting transformations and prove quantitative results on their convergence in the norm. The approach we are using is based on estimates for certain entangled multilinear singular integral forms, established recently by Durcik and Thiele.


title: Finite-key security for quantum key distribution systems utilizing weak coherent states

abstract: In this paper we present finite-key security analysis for quantum key distribution protocol based on weak coherent (in particular phase-coded) states using a fully quantum asymptotic equipartition property technique. This work is the extension of the proof for non-orthogonal states on the coherent states. Below we consider two types of attacks each of them maximizes either Alice-Eve or Eve-Bob mutual information. The cornerstone of this paper is that we do assume the possibility of crucial intercept-resend attack based on errorless unambiguous state discrimination measurement. We demonstrate that Holevo bound always gives the highest mutual information between Alice and Eve regardless particular kind of isometry. As the main result we present the dependence of the extracted secret key length. As the example we implement the proposed analysis to the subcarrier wave quantum key distribution protocol.


title: Nonlinear stability of planar traveling waves in a chemotaxis model of tumor angiogenesis with chemical diffusion

abstract: We consider a simplified chemotaxis model of tumor angiogenesis, described by a Keller-Segel system on the two dimensional infinite cylindrical domain $(x, y) \in \mathbb{R} \times {\mathbf S^{\lambda}}$, where $ \mathbf S^{\lambda}$ is the circle of perimeter $\lambda>0$. The domain models a virtual channel where newly generated blood vessels toward the vascular endothelial growth factor will be located. The system is known to allow planar traveling wave solutions of an invading type. In this paper, we establish the nonlinear stability of these traveling invading waves when chemical diffusion is present if $\lambda$ is sufficiently small. The same result for the corresponding system in one-dimension was obtained by Li-Li-Wang (2014) [16]. Our result solves the problem remained open in [3] at which only linear stability of the waves was obtained under certain artificial assumption.


title: Effects of Compton scattering on the neutron star radius constraints in rotation-powered millisecond pulsars

abstract: The aim of this work is to study the possible effects and biases on the radius constraints for rotation-powered millisecond pulsars when using Thomson approximation to describe electron scattering in the atmosphere models, instead of using exact formulation for Compton scattering. We compare the differences between the two models in the energy spectrum and angular distribution of the emitted radiation. We also analyse a self-generated synthetic phase-resolved energy spectrum, based on Compton atmosphere and the most X-ray luminous rotation-powered millisecond pulsars observed by the Neutron star Interior Composition ExploreR (NICER). We derive constraints for the neutron star parameters using both the Compton and Thomson models. The results show that the method works by reproducing the correct parameters with the Compton model. However, biases are found in size and the temperature of the emitting hot spot, when using the Thomson model. The constraints on the radius are still not significantly changed, and therefore the Thomson model seems to be adequate if we are interested only in the radius measurements using NICER.


title: Doubly Heavy Baryons Expanded in $1/m_Q$

abstract: Starting from the semirelativistic Hamiltonian for a doubly heavy baryon system ($QQq$) with Coulomb and linear confining scalar potentials, and operating the naive Foldy-Wouthuysen-Tani transformation on two heavy quarks, I construct a formulation how to calculate mass spectra and wave functions of doubly heavy baryons. Based on our formulation, their masses and wave functions are expanded in $1/m_Q$ with a heavy quark mass $m_Q$ and the $\lambda$ mode lowest-order equation is examined carefully to obtain a complete set of eigenfunctions. I claim that the $\rho$ mode wave function should be given by other nonrelativistic methods, e.g., the Godfrey-Isgur model to give a complete wave function for a doubly heavy baryon.


title: Long-lived and transient supersolid behaviors in dipolar quantum gases

abstract: By combining theory and experiments, we demonstrate that dipolar quantum gases of both $^{166}$Er and $^{164}$Dy support a state with supersolid properties, where a spontaneous density modulation and a global phase coherence coexist. This paradoxical state occurs in a well defined parameter range, separating the phases of a regular Bose-Einstein condensate and of an insulating droplet array, and is rooted in the roton mode softening, on the one side, and in the stabilization driven by quantum fluctuations, on the other side. Here, we identify the parameter regime for each of the three phases. In the experiment, we rely on a detailed analysis of the interference patterns resulting from the free expansion of the gas, quantifying both its density modulation and its global phase coherence. Reaching the phases via a slow interaction tuning, starting from a stable condensate, we observe that $^{166}$Er and $^{164}$Dy exhibit a striking difference in the lifetime of the supersolid properties, due to the different atom loss rates in the two systems. Indeed, while in $^{166}$Er the supersolid behavior only survives a few tens of milliseconds, we observe coherent density modulations for more than $150\,$ms in $^{164}$Dy. Building on this long lifetime, we demonstrate an alternative path to reach the supersolid regime, relying solely on evaporative cooling starting from a thermal gas.

categories: cond-mat.quant-gas cond-mat.other physics.atom-ph quant-ph


title: Filamentary Accretion Flows in the Infrared Dark Cloud G14.225-0.506 Revealed by ALMA

abstract: Filaments are ubiquitous structures in molecular clouds and play an important role in the mass assembly of stars. We present results of dynamical stability analyses for filaments in the infrared dark cloud G14.225$-$0.506, where a delayed onset of massive star formation was reported in the two hubs at the convergence of multiple filaments of parsec length. Full-synthesis imaging is performed with the Atacama Large Millimeter/submillimeter Array (ALMA) to map the $\mathrm{N_2H^+} \; (1-0)$ emission in two hub-filament systems with a spatial resolution of $\sim 0.034 \; \mathrm{pc}$. Kinematics are derived from sophisticated spectral fitting algorithm that accounts for line blending, large optical depth, and multiple velocity components. We identify five velocity coherent filaments and derive their velocity gradients with principal component analysis. The mass accretion rates along the filaments are up to $10^{-4} \; \mathrm{M_\odot \, \mathrm{yr^{-1}}}$ and are significant enough to affect the hub dynamics within one free-fall time ($\sim 10^5 \; \mathrm{yr}$). The $\mathrm{N_2H^+}$ filaments are in equilibrium with virial parameter $\alpha_\mathrm{vir} \sim 1.2$. We compare $\alpha_\mathrm{vir}$ measured in the $\mathrm{N_2H^+}$ filaments, $\mathrm{NH_3}$ filaments, $870 \; \mu\mathrm{m}$ dense clumps, and $3 \; \mathrm{mm}$ dense cores. The decreasing trend in $\alpha_\mathrm{vir}$ with decreasing spatial scales persists, suggesting an increasingly important role of gravity at small scales. Meanwhile, $\alpha_\mathrm{vir}$ also decreases with decreasing non-thermal motions. In combination with the absence of high-mass protostars and massive cores, our results are consistent with the global hierarchical collapse scenario.


title: SleepNet: Automated Sleep Analysis via Dense Convolutional Neural Network Using Physiological Time Series

abstract: In this work, a dense recurrent convolutional neural network (DRCNN) was constructed to detect sleep disorders including arousal, apnea and hypopnea using Polysomnography (PSG) measurement channels provided in the 2018 Physionet challenge database. Our model structure is composed of multiple dense convolutional units (DCU) followed by a bidirectional long-short term memory (LSTM) layer followed by a softmax output layer. The sleep events including sleep stages, arousal regions and multiple types of apnea and hypopnea are manually annotated by experts which enables us to train our proposed network using a multi-task learning mechanism. Three binary cross-entropy loss functions corresponding to sleep/wake, target arousal and apnea-hypopnea/normal detection tasks are summed up to generate our overall network loss function that is optimized using the Adam method. Our model performance was evaluated using two metrics: the area under the precision-recall curve (AUPRC) and the area under the receiver operating characteristic curve (AUROC). To measure our model generalization, 4-fold cross-validation was also performed. For training, our model was applied to full night recording data. Finally, the average AUPRC and AUROC values associated with the arousal detection task were 0.505 and 0.922, respectively on our testing dataset. An ensemble of four models trained on different data folds improved the AUPRC and AUROC to 0.543 and 0.931, respectively. Our proposed algorithm achieved the first place in the official stage of the 2018 Physionet challenge for detecting sleep arousals with AUPRC of 0.54 on the blind testing dataset.


title: Isotropic cuspidal functions in the Hall algebra of a quiver

abstract: From the structure of the category of representations of an affine cycle-free quiver, we determine an explicit linear form on the space of regular cuspidal functions over a finite field: its kernel is exactly the space of cuspidal functions. Moreover, we show that any isotropic cuspidal dimension has an affine support. Brought together, this two results give an explicit description of isotropic cuspidal functions of any quiver. The main theorem together with an appropriate action of some permutation group on the Hall algebra provides a new elementary proof of two conjectures of Berenstein and Greenstein previously proved by Deng and Ruan. We also prove a statement giving non-obvious constraints on the support of the comultiplication of a cuspidal regular function allowing us to connect both mentioned conjectures of Berenstein and Greenstein. Our results imply the positivity conjecture of Bozec and Schiffmann concerning absolutely cuspidal polynomials in isotropic dimensions.


title: Thermodynamic Black Hole with Modified Chaplygin Gas as a Heat Engine

abstract: We assume that the negative cosmological constant as a thermodynamical pressure and the asymptotically anti-de Sitter (AdS) black hole thermodynamics with modified Chaplygin gas. We have written the mass of the black hole, volume, entropy and temperature due to the thermodynamic system. We find a new solution of Einstein's field equations of AdS black hole with modified Chaplygin gas as a thermodynamic system. We also examine the weak, strong and dominant energy conditions for the source fluid of black hole. We also show that the thermodynamic black hole with Chaplygin gas can be considered as a heat engine and then we calculate work done and its efficiency by this system.


title: Distribution of colors in Gallai colorings

abstract: A Gallai coloring is an edge coloring that avoids triangles colored with three different colors. Given integers $e_1\ge e_2 \ge \dots \ge e_k$ with $\sum_{i=1}^ke_i={n \choose 2}$ for some $n$, does there exist a Gallai $k$-coloring of $K_n$ with $e_i$ edges in color $i$? In this paper, we give several sufficient conditions and one necessary condition to guarantee a positive answer to the above question. In particular, we prove the existence of a Gallai-coloring if $e_1-e_k\le 1$ and $k \le \lfloor n/2\rfloor$. We prove that for any integer $k\ge 3$ there is a (unique) integer $g(k)$ with the following property: there exists a Gallai $k$-coloring of $K_n$ with $e_i$ edges in color $i$ for every $e_1\le\dots \le e_k$ satisfying $\sum_{i=1}^ke_i={n\choose 2}$, if and only if $n\ge g(k)$. We show that $g(3)=5$, $g(4)=8$, and $2k-2\le g(k)\le 8k^2+1$ for every $k\ge 3$.


title: The many avatars of Curzon-Ahlborn efficiency

abstract: Efficiency at maximum power output of irreversible heat engines has attracted a lot of interest in recent years. We discuss the occurance of a particularly simple and elegant formula for this efficiency in various different models. The so-called Curzon-Ahlborn efficiency is given by the square-root formula: $1-\sqrt{T_c/T_h}$, where $T_c$ and $T_h$ are the cold and hot reservoir temperatures.


title: Influence of a plasma on the observational signature of a high-spin Kerr black hole

abstract: To approach a more reliable observational signature of a high-spin Kerr black hole, one should take into account the effects of its surroundings. To this end we study in this paper the influence of a surrounding plasma. We consider its refractive and dispersive effects on photon trajectories and ignore the gravitational effects of plasma particles as well as the absorption or scattering processes of photons. With two specific plasma models, we obtain analytical formulae for the black hole shadow and for the observational quantities of an orbiting "hot spot" seen by an observer located far away from the black hole. We find that the plasma has a frequency-dependent dispersive effect on the size and shape of the black hole shadow and on the image position and redshift of the hot spot. These results may be tested by the Event Horizon Telescope in the future.


title: Largest scales from the largest galaxy surveys: the pseudo Karhunen-Lo\`eve method

abstract: The increasing area and depth of galaxy surveys will give us access to the largest scales in the Universe and allow for a direct test of the primordial power spectrum set by inflation. To take full advantage of the survey's volume, we must deal with redshift space distortions, growth of structure along the line of sight, luminosity-dependent bias, wide-angle effects and complex galaxy selection functions. We present a thorough description of the pseudo Karhunen-Lo\`eve method for measuring galaxy clustering, a method particularly well-tuned for the largest scales, and extend its applicability and power by taking into account light-cone effects, galaxy bias evolution, and by generalizing it to anisotropic selection functions. We also show that the combination of non-overlapping surveys result in more information than the sum of its parts and that clustering amplitude evolution along the line of sight, both due to galaxy bias and structure growth, must be taken into account at scales beyond the turn-over.


title: State machine inference of QUIC

abstract: QUIC is a recent transport protocol that provides reliable, secure and quick service on top of UDP in the internet. As QUIC is implemented in the application space rather than in the operating system's kernel, it is more efficient to dynamically develop and roll out. Currently, there are two parallel specifications, one by Google and one by IETF, and there are a few implementations. In this paper, we show how state machine inference can be applied to automatically extract the state machine corresponding to the protocol from an implementation. In particular, we infer the model of Google's QUIC server. This is done using a black-box technique, making it usable on any implementation of the protocol, regardless of, for example, the programming language the code is written in or the system the QUIC server runs on. This makes it a useful tool for testing and specification purposes, and to make various (future) implementations more easily comparable.


title: On completely multiplicative automatic sequences

abstract: In this article we prove that all completely multiplicative automatic sequences $(a_n)_{n \in \mathbf{N}}$ defined on $\mathbf{C}$, vanishing or not, can be written in the form $a_n=b_n\chi_n$ where $(b_n)_{n \in \mathbf{N}}$ is an almost constant sequence, and $(\chi_n)_{n \in \mathbf{N}}$ is a Dirichlet character.


title: A note on the $\Theta$-invariant of 3-manifolds

abstract: In this note, we revisit the $\Theta$-invariant as defined by R. Bott and the first author. The $\Theta$-invariant is an invariant of rational homology 3-spheres with acyclic orthogonal local systems, which is a generalization of the 2-loop term of the Chern-Simons perturbation theory. The $\Theta$-invariant can be defined when a cohomology group is vanishing. In this note, we give a slightly modified version of the $\Theta$-invariant that we can define even if the cohomology group is not vanishing.


title: An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications

abstract: This paper presents a reconfigurable cryptographic engine that implements the DTLS protocol to enable end-to-end security for IoT. This implementation of the DTLS engine demonstrates 10x reduction in code size and 438x improvement in energy-efficiency over software. Our ECC primitive is 237x and 9x more energy-efficient compared to software and state-of-the-art hardware respectively. Pairing the DTLS engine with an on-chip RISC-V allows us to demonstrate applications beyond DTLS with up to 2 orders of magnitude energy savings.


title: Deep learning for molecular design - a review of the state of the art

abstract: In the space of only a few years, deep generative modeling has revolutionized how we think of artificial creativity, yielding autonomous systems which produce original images, music, and text. Inspired by these successes, researchers are now applying deep generative modeling techniques to the generation and optimization of molecules - in our review we found 45 papers on the subject published in the past two years. These works point to a future where such systems will be used to generate lead molecules, greatly reducing resources spent downstream synthesizing and characterizing bad leads in the lab. In this review we survey the increasingly complex landscape of models and representation schemes that have been proposed. The four classes of techniques we describe are recursive neural networks, autoencoders, generative adversarial networks, and reinforcement learning. After first discussing some of the mathematical fundamentals of each technique, we draw high level connections and comparisons with other techniques and expose the pros and cons of each. Several important high level themes emerge as a result of this work, including the shift away from the SMILES string representation of molecules towards more sophisticated representations such as graph grammars and 3D representations, the importance of reward function design, the need for better standards for benchmarking and testing, and the benefits of adversarial training and reinforcement learning over maximum likelihood based training.


title: A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems

abstract: In this paper, a uniform approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.


title: Gromov-Hausdorff limits of K\"ahler manifolds with Ricci curvature bounded below, II

abstract: We study non-collapsed Gromov-Hausdorff limits of K\"ahler manifolds with Ricci curvature bounded below. Our main result is that each tangent cone is homeomorphic to a normal affine variety. This extends a result of Donaldson-Sun, who considered non-collapsed limits of polarized K\"ahler manifolds with two-sided Ricci curvature bounds.


title: Singularity avoidance in Bianchi I quantum cosmology

abstract: We extend recent discussions of singularity avoidance in quantum gravity from isotropic to anisotropic cosmological models. The investigation is done in the framework of quantum geometrodynamics (Wheeler-DeWitt equation). We formulate criteria of singularity avoidance for general Bianchi class A models and give explicit and detailed results for Bianchi I models with and without matter. We find that the classical singularities can generally be avoided in these models.


title: A Hybrid Controller for Obstacle Avoidance in an n-dimensional Euclidean Space

abstract: For a vehicle moving in an $n$-dimensional Euclidean space, we present a construction of a hybrid feedback that guarantees both global asymptotic stabilization of a reference position and avoidance of an obstacle corresponding to a bounded spherical region. The proposed hybrid control algorithm switches between two modes of operation: stabilization (motion-to-goal) and avoidance (boundary-following). The geometric construction of the flow and jump sets of the hybrid controller, exploiting a hysteresis region, guarantees robust switching (chattering-free) between the stabilization and avoidance modes. Simulation results illustrate the performance of the proposed hybrid control approach for a 3-dimensional scenario.