title: Exploring the Smart City Adoption Process: Evidence from the Belgian urban context

abstract: In this position paper, we explore the adoption of a Smart City with a socio-technical perspective. A Smart city is a transformational technological process leading to profound modifications of existing urban regimes and infrastructure components. In this study, we consider a Smart City as a socio-technical system where the interplay between technologies and users ensures the sustainable development of smart city initiatives that improve the quality of life and solve important socio-economic problems. The adoption of a Smart City required a participative approach where users are involved during the adoption process to joint optimise both systems. Thus, we contribute to socio-technical research showing how a participative approach based on press relationships to facilitate information exchange between municipal actors and citizens worked as a success factor for the smart city adoption. We also discuss the limitations of this approach.


title: Existence of a 2-cluster tilting module does not imply finite complexity

abstract: We give an example of a finite-dimensional algebra with a 2-cluster tilting module and a simple module which has infinite complexity. This answers a question of Erdmann and Holm.


title: Low Fidelity VTOL UAV Design Optimization Using an Open Source Framework

abstract: An all-electric unmanned aerial system with both VTOL and Fixed wing capabilities is designed and optimized for long range surveillance and relief operations. The UAV is equipped with onboard computers and sensors and is capable of carrying 1kg of relief payload upto 100 Km. The entire low fidelity design process -- from concept to render -- is carried out using completely open source tools, libraries and in-house code. The challenges faced and primary differences are discussed parallelly. A comparison with commercial codes and programs is also done in some areas to give an overview of key capabilities and caveats.


title: Analysis of hidden feedback loops in continuous machine learning systems

abstract: In this concept paper, we discuss intricacies of specifying and verifying the quality of continuous and lifelong learning artificial intelligence systems as they interact with and influence their environment causing a so-called concept drift. We signify a problem of implicit feedback loops, demonstrate how they intervene with user behavior on an exemplary housing prices prediction system. Based on a preliminary model, we highlight conditions when such feedback loops arise and discuss possible solution approaches.


title: Magnetic response and electronic states of well defined Graphene/Fe/Ir(111) heterostructure

abstract: We investigate a well defined heterostructure constituted by magnetic Fe layers sandwiched between graphene (Gr) and Ir(111). The challenging task to avoid Fe-C solubility and Fe-Ir intermixing has been achieved with atomic controlled Fe intercalation at moderate temperature below 500 K. Upon intercalation of a single ordered Fe layer in registry with the Ir substrate, an intermixing of the Gr bands and Fe d states breaks the symmetry of the Dirac cone, with a downshift in energy of the apex by about 3 eV, and well-localized Fe intermixed states induced in the energy region just below the Fermi level. First principles electronic structure calculations show a large spin splitting of the Fe states, resulting in a majority spin channel almost fully occupied and strongly hybridized with Gr {\pi} states. X-ray magnetic circular dichroism on the Gr/Fe/Ir heterostructure reveals an ordered spin configuration with a ferromagnetic response of Fe layer(s), with enhanced spin and orbital configurations with respect to the bcc-Fe bulk values. The magnetization switches from a perpendicular easy magnetization axis when the Fe single layer is lattice matched with the Ir(111) surface to a parallel one when the Fe thin film is almost commensurate with graphene.


title: A simple method to determine charge-dependent curvature biases in track reconstruction in hadron collider experiments

abstract: A new data-driven method, using $Z \rightarrow \mu^+ \mu^-$ decays, is proposed to correct for charge-dependent curvature biases in spectrometer experiments at hadron colliders. The method is studied assuming a detector with a "forward-spectrometer" geometry similar to that of the LHCb experiment, and is shown to reliably control several simplified detector mis-alignment configurations. The applicability of the method for use in measurements of precision electroweak observables is evaluated.


title: Frieze patterns of integers

abstract: The famous theorem of Conway and Coxeter on frieze patterns gave a geometric interpretation to integral friezes via triangulations of polygons. In this article, we review this result and show some of the development it has led to. The last decade has seen a lot of activities on friezes. One reason behind this is the connection to cluster combinatorics.


title: Improving non-deterministic uncertainty modelling in Industry 4.0 scheduling

abstract: The latest Industrial revolution has helped industries in achieving very high rates of productivity and efficiency. It has introduced data aggregation and cyber-physical systems to optimize planning and scheduling. Although, uncertainty in the environment and the imprecise nature of human operators are not accurately considered for into the decision making process. This leads to delays in consignments and imprecise budget estimations. This widespread practice in the industrial models is flawed and requires rectification. Various other articles have approached to solve this problem through stochastic or fuzzy set model methods. This paper presents a comprehensive method to logically and realistically quantify the non-deterministic uncertainty through probabilistic uncertainty modelling. This method is applicable on virtually all Industrial data sets, as the model is self adjusting and uses epsilon-contamination to cater to limited or incomplete data sets. The results are numerically validated through an Industrial data set in Flanders, Belgium. The data driven results achieved through this robust scheduling method illustrate the improvement in performance.


title: Lebesgue integration. Detailed proofs to be formalized in Coq

abstract: To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method. Sobolev spaces are the mathematical framework in which most weak formulations of partial derivative equations are stated, and where solutions are sought. These functional spaces are built on integration and measure theory. Hence, this chapter in functional analysis is a mandatory theoretical cornerstone for the definition of the finite element method. The purpose of this document is to provide the formal proof community with very detailed pen-and-paper proofs of the main results from integration and measure theory.


title: Convex Smoothed Autoencoder-Optimal Transport model

abstract: Generative modelling is a key tool in unsupervised machine learning which has achieved stellar success in recent years. Despite this huge success, even the best generative models such as Generative Adversarial Networks (GANs) and Variational Autoencoders (VAEs) come with their own shortcomings, mode collapse and mode mixture being the two most prominent problems. In this paper we develop a new generative model capable of generating samples which resemble the observed data, and is free from mode collapse and mode mixture. Our model is inspired by the recently proposed Autoencoder-Optimal Transport (AE-OT) model and tries to improve on it by addressing the problems faced by the AE-OT model itself, specifically with respect to the sample generation algorithm. Theoretical results concerning the bound on the error in approximating the non-smooth Brenier potential by its smoothed estimate, and approximating the discontinuous optimal transport map by a smoothed optimal transport map estimate have also been established in this paper.


title: Geometry of the proper asymmetric norm

abstract: There is given the geometric characterization of an asymmetric norm $q$ on the real vector space $X$, for which exists an $u\in X$ such that $q(x-q(x)u)=0$, for each $x\in X$. The result is used in the theory of mutually polar retractions on cones.


title: Adaptive Private Distributed Matrix Multiplication

abstract: We consider the problem of designing codes with flexible rate (referred to as rateless codes), for private distributed matrix-matrix multiplication. A master server owns two private matrices $\mathbf{A}$ and $\mathbf{B}$ and hires worker nodes to help computing their multiplication. The matrices should remain information-theoretically private from the workers. Codes with fixed rate require the master to assign tasks to the workers and then wait for a predetermined number of workers to finish their assigned tasks. The size of the tasks, hence the rate of the scheme, depends on the number of workers that the master waits for. We design a rateless private matrix-matrix multiplication scheme, called RPM3. In contrast to fixed-rate schemes, our scheme fixes the size of the tasks and allows the master to send multiple tasks to the workers. The master keeps sending tasks and receiving results until it can decode the multiplication; rendering the scheme flexible and adaptive to heterogeneous environments. Despite resulting in a smaller rate than known straggler-tolerant schemes, RPM3 provides a smaller mean waiting time of the master by leveraging the heterogeneity of the workers. The waiting time is studied under two different models for the workers' service time. We provide upper bounds for the mean waiting time under both models. In addition, we provide lower bounds on the mean waiting time under the worker-dependent fixed service time model.


title: AVGCN: Trajectory Prediction using Graph Convolutional Networks Guided by Human Attention

abstract: Pedestrian trajectory prediction is a critical yet challenging task, especially for crowded scenes. We suggest that introducing an attention mechanism to infer the importance of different neighbors is critical for accurate trajectory prediction in scenes with varying crowd size. In this work, we propose a novel method, AVGCN, for trajectory prediction utilizing graph convolutional networks (GCN) based on human attention (A denotes attention, V denotes visual field constraints). First, we train an attention network that estimates the importance of neighboring pedestrians, using gaze data collected as subjects perform a bird's eye view crowd navigation task. Then, we incorporate the learned attention weights modulated by constraints on the pedestrian's visual field into a trajectory prediction network that uses a GCN to aggregate information from neighbors efficiently. AVGCN also considers the stochastic nature of pedestrian trajectories by taking advantage of variational trajectory prediction. Our approach achieves state-of-the-art performance on several trajectory prediction benchmarks, and the lowest average prediction error over all considered benchmarks.


title: Locally conformally balanced metrics on almost abelian Lie algebras

abstract: We study locally conformally balanced metrics on almost abelian Lie algebras, namely solvable Lie algebras admitting an abelian ideal of codimension one, providing characterizations in every dimension. Moreover, we classify six-dimensional almost abelian Lie algebras admitting locally conformally balanced metrics and study some compatibility results between different types of special Hermitian metrics on almost abelian Lie groups and their compact quotients. We end by classifying almost abelian Lie algebras admitting locally conformally hyperk\"ahler structures.


title: Generating coherent spontaneous speech and gesture from text

abstract: Embodied human communication encompasses both verbal (speech) and non-verbal information (e.g., gesture and head movements). Recent advances in machine learning have substantially improved the technologies for generating synthetic versions of both of these types of data: On the speech side, text-to-speech systems are now able to generate highly convincing, spontaneous-sounding speech using unscripted speech audio as the source material. On the motion side, probabilistic motion-generation methods can now synthesise vivid and lifelike speech-driven 3D gesticulation. In this paper, we put these two state-of-the-art technologies together in a coherent fashion for the first time. Concretely, we demonstrate a proof-of-concept system trained on a single-speaker audio and motion-capture dataset, that is able to generate both speech and full-body gestures together from text input. In contrast to previous approaches for joint speech-and-gesture generation, we generate full-body gestures from speech synthesis trained on recordings of spontaneous speech from the same person as the motion-capture data. We illustrate our results by visualising gesture spaces and text-speech-gesture alignments, and through a demonstration video at https://simonalexanderson.github.io/IVA2020 .


title: Deep Learning Model on Gravitational Waveforms in Merging and Ringdown Phases of Binary Black Hole Coalescences

abstract: The waveform templates of the matched filtering-based gravitational-wave search ought to cover wide range of parameters for the prosperous detection. Numerical relativity (NR) has been widely accepted as the most accurate method for modeling the waveforms. Still, it is well-known that NR typically requires a tremendous amount of computational costs. In this paper, we demonstrate a proof-of-concept of a novel deterministic deep learning (DL) architecture that can generate gravitational waveforms from the merger and ringdown phases of the non-spinning binary black hole coalescence. Our model takes ${\cal O}$(1) seconds for generating approximately $1500$ waveforms with a 99.9\% match on average to one of the state-of-the-art waveform approximants, the effective-one-body. We also perform matched filtering with the DL-waveforms and find that the waveforms can recover the event time of the injected gravitational-wave signals.


title: Capacity of trace decreasing quantum operations and superadditivity of coherent information for a generalized erasure channel

abstract: Losses in quantum communication lines severely affect the rates of reliable information transmission and are usually considered to be state-independent. However, the loss probability does depend on the system state in general, with the polarization dependent losses being a prominent example. Here we analyze biased trace decreasing quantum operations that assign different loss probabilities to states and introduce the concept of a generalized erasure channel. We find lower and upper bounds for the classical and quantum capacities of the generalized erasure channel as well as characterize its degradability and antidegradability. We reveal superadditivity of coherent information in the case of the polarization dependent losses, with the difference between the two-letter quantum capacity and the single-letter quantum capacity exceeding $7.197 \cdot 10^{-3}$ bit per qubit sent, the greatest value among qubit-input channels reported so far.


title: Accurate Camouflaged Object Detection via Mixture Convolution and Interactive Fusion

abstract: Camouflaged object detection (COD), which aims to identify the objects that conceal themselves into the surroundings, has recently drawn increasing research efforts in the field of computer vision. In practice, the success of deep learning based COD is mainly determined by two key factors, including (i) A significantly large receptive field, which provides rich context information, and (ii) An effective fusion strategy, which aggregates the rich multi-level features for accurate COD. Motivated by these observations, in this paper, we propose a novel deep learning based COD approach, which integrates the large receptive field and effective feature fusion into a unified framework. Specifically, we first extract multi-level features from a backbone network. The resulting features are then fed to the proposed dual-branch mixture convolution modules, each of which utilizes multiple asymmetric convolutional layers and two dilated convolutional layers to extract rich context features from a large receptive field. Finally, we fuse the features using specially-designed multi-level interactive fusion modules, each of which employs an attention mechanism along with feature interaction for effective feature fusion. Our method detects camouflaged objects with an effective fusion strategy, which aggregates the rich context information from a large receptive field. All of these designs meet the requirements of COD well, allowing the accurate detection of camouflaged objects. Extensive experiments on widely-used benchmark datasets demonstrate that our method is capable of accurately detecting camouflaged objects and outperforms the state-of-the-art methods.


title: Properties of the QGP created in heavy-ion collisions

abstract: We review the properties of the strongly interacting quark-gluon plasma (QGP) at finite temperature $T$ and baryon chemical potential $\mu_B$ as created in heavy-ion collisions at ultrarelativistic energies. The description of the strongly interacting (non-perturbative) QGP in equilibrium is based on the effective propagators and couplings from the Dynamical QuasiParticle Model (DQPM) that is matched to reproduce the equation-of-state of the partonic system above the deconfinement temperature $T_C$ from lattice QCD. Based on a microscopic transport description of heavy-ion collisions we discuss which observables are sensitive to the QGP creation and its properties.


title: Intersecting Surface defects and 3d Superconformal indices

abstract: We compute the 3d N = 2 superconformal indices for 3d/1d coupled systems, which arise as the worldvolume theories of intersecting surface defects engineered by Higgsing 5d N = 1 gauge theories. We generalize some known 3d dualities, including non-Abelian 3d mirror symmetry and 3d/3d correspondence, to some of the simple 3d/1d coupled systems. Finally we propose a q-Virasoro construction for the superconformal indices.


title: Exploring the gap between thermal operations and enhanced thermal operations

abstract: The gap between thermal operations (TO) and enhanced thermal operations (EnTO) is an open problem raised in [Phys. Rev. Lett. 115, 210403 (2015)]. It originates from the limitations on coherence evolutions. Here we solve this problem by analytically proving that, a state transition induced by EnTO cannot be approximately realized by TO. It confirms that TO and EnTO lead to different laws of state conversions. Our results can also contribute to the study of the restrictions on coherence dynamics in quantum thermodynamics.


title: Designing 24-hour Electrical Power Generator: Thermoradiative Device for Harvesting Energy from Sun and Outer Space

abstract: Energy harvesting from sun and outer space using thermoradiative devices (TRD), despite being promising renewable energy sources, are limited only to daytime and nighttime period, respectively. A system with 24-hour continuous energy generation remains an open question thus far. Here, we propose a TRD-based power generator that harvests solar energy via concentrated solar irradiation during daytime and via thermal infrared emission towards the outer space at nighttime, thus achieving the much sought-after 24-hour electrical power generation. We develop a rigorous thermodynamical model to investigate the performance characteristics, parametric optimum design, and the role of various energy loss mechanisms. Our model predicts that the TRD-based system yields a peak efficiency of 12.6\% at daytime and a maximum power density of 10.8 Wm$^{-2}$ at nighttime, thus significantly outperforming the state-of-art record-setting thermoelectric generator. These findings reveal the potential of TRD towards 24-hour electricity generation and future renewable energy technology.


title: Efficient Construction of Quantum Physical Unclonable Functions with Unitary t-designs

abstract: Quantum physical unclonable functions, or QPUFs, are rapidly emerging as theoretical hardware solutions to provide secure cryptographic functionalities such as key-exchange, message authentication, entity identification among others. Recent works have shown that in order to provide provable security of these solutions against any quantum polynomial time adversary, QPUFs are required to be a unitary sampled uniformly randomly from the Haar measure. This however is known to require an exponential amount of resources. In this work, we propose an efficient construction of these devices using unitary t-designs, called QPUF_t. Along the way, we modify the existing security definitions of QPUFs to include efficient constructions and showcase that QPUF_t still retains the provable security guarantees against a bounded quantum polynomial adversary with t-query access to the device. This also provides the first use case of unitary t-design construction for arbitrary t, as opposed to previous applications of t-designs where usually a few (relatively low) values of t are known to be useful for performing some task. We study the noise-resilience of QPUF_t against specific types of noise, unitary noise, and show that some resilience can be achieved particularly when the error rates affecting individual qubits become smaller as the system size increases. To make the noise-resilience more realistic and meaningful, we conclude that some notion of error mitigation or correction should be introduced.


title: Quantum dynamics of a single fluxon in Josephson junctions parallel arrays with large kinetic inductances

abstract: We present a theoretical study of coherent quantum dynamics of a single magnetic fluxon (MF) trapped in Josephson junction parallel arrays (JJPAs) with large kinetic inductances. The MF is the topological excitation carrying one quantum of magnetic flux, $\Phi_0$. The MF is quantitatively described as the $2\pi$-kink in the distribution of Josephson phases, and for JJPAs with high kinetic inductances the characteristic length of such distribution ("the size" of MF) is drastically reduced. Characterizing such MFs by the Josephson phases of three consecutive Josephson junctions we analyse the various coherent macroscopic quantum effects in the MF quantum dynamics. In particular, we obtain the MF energy band originating from the coherent quantum tunnelling of a single MF between adjacent cells of JJPAs. The dependencies of the band width $\Delta$ on the Josephson coupling energy $E_J$, charging energy $E_C$ and the inductive energy of a cell $E_L$, are studied in detail. In long linear JJPAs the coherent quantum dynamics of MF demonstrates decaying quantum oscillations with characteristic frequency $f_{qb}=\Delta/h$. In short annular JJPAs the coherent quantum dynamics of MF displays complex oscillations controlled by the Aharonov-Casher phase $\chi \propto V_g$, where $V_g$ is an externally applied gate voltage. In the presence of externally applied dc bias, $I$, a weakly incoherent dynamics of quantum MF is realized in the form of macroscopic Bloch oscillations leading to a typical "nose" current-voltage characteristics of JJPAs. As ac current with frequency $f$ is applied the current-voltage characteristics displays a set of equidistant current steps at $I_n=2en f$.


title: Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems

abstract: In this paper, we consider the problem of optimally allocating tasks, expressed as global Linear Temporal Logic (LTL) specifications, to teams of heterogeneous mobile robots. The robots are classified in different types that capture their different capabilities, and each task may require robots of multiple types. The specific robots assigned to each task are immaterial, as long as they are of the desired type. Given a discrete workspace, our goal is to design paths, i.e., sequences of discrete states, for the robots so that the LTL specification is satisfied. To obtain a scalable solution to this complex temporal logic task allocation problem, we propose a hierarchical approach that first allocates specific robots to tasks using the information about the tasks contained in the Nondeterministic Buchi Automaton (NBA) that captures the LTL specification, and then designs low-level executable plans for the robots that respect the high-level assignment. Specifically, we first prune and relax the NBA by removing all negative atomic propositions. This step is motivated by "lazy collision checking" methods in robotics and allows to simplify the planning problem by checking constraint satisfaction only when needed. Then, we extract sequences of subtasks from the relaxed NBA along with their temporal orders, and formulate a Mixed Integer Linear Program (MILP) to allocate these subtasks to the robots. Finally, we define generalized multi-robot path planning problems to obtain low-level executable robot plans that satisfy both the high-level task allocation and the temporal constraints captured by the negative atomic propositions in the original NBA. We show that our method is complete for a subclass of LTL that covers a broad range of tasks and present numerical simulations demonstrating that it can generate paths with lower cost, considerably faster than existing methods.


title: EmoCat: Language-agnostic Emotional Voice Conversion

abstract: Emotional voice conversion models adapt the emotion in speech without changing the speaker identity or linguistic content. They are less data hungry than text-to-speech models and allow to generate large amounts of emotional data for downstream tasks. In this work we propose EmoCat, a language-agnostic emotional voice conversion model. It achieves high-quality emotion conversion in German with less than 45 minutes of German emotional recordings by exploiting large amounts of emotional data in US English. EmoCat is an encoder-decoder model based on CopyCat, a voice conversion system which transfers prosody. We use adversarial training to remove emotion leakage from the encoder to the decoder. The adversarial training is improved by a novel contribution to gradient reversal to truly reverse gradients. This allows to remove only the leaking information and to converge to better optima with higher conversion performance. Evaluations show that Emocat can convert to different emotions but misses on emotion intensity compared to the recordings, especially for very expressive emotions. EmoCat is able to achieve audio quality on par with the recordings for five out of six tested emotion intensities.


title: Coherent Beam Combination of Ultrafast Fiber Lasers

abstract: The performance of fiber laser systems has drastically increased over recent decades, which has opened up new industrial and scientific applications for this technology. However, currently a number of physical effects prevents further power scaling. Coherent combination of beams from multiple emitters has been established as a power scaling technique beyond these limitations. It is possible to increase the average power and, for pulsed laser systems, also parameters such as the pulse energy and the peak power. To realize such laser systems, various aspects have to be taken into account which include beam combination elements, stabilization systems and the output parameters of the individual amplifiers. After an introduction to the topic, various ways of implementing coherent beam combination for ultrashort pulses are explored. Besides the spatial combination of beams, the combination of pulses in time will also be discussed. Recent experimental results will be presented, including multi-dimensional (i.e. spatial and temporal) combination. Finally, an outlook on possible further developments is given, focused on scaling the number of combinable beams and pulses.


title: Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing?

abstract: Cyber-Physical Systems (CPSs) combine software and physical components. These systems are widely applied in society within many domains, including the automotive, aerospace, railway, etc. Testing these systems is extremely challenging, therefore, it has attracted significant attention from the research community. A driving CPS testing technique in industry is simulation-based testing. However, this poses significant challenges. In this new-idea paper we present a novel approach to enhance the testing processes of CPSs. This novel approach is motivated with examples and open questions.


title: Recent advances in terahertz photonic technologies based on graphene and their applications

abstract: Graphene is a unique two-dimensional (2D) material that has been extensively investigated owing to its extraordinary photonic, electronic, thermal, and mechanical properties. Excited plasmons along its surface and other unique features are expected to play an important role in many emerging photonic technologies with drastically improved and tunable functionalities. This review is focused on presenting several recently introduced photonic phenomena based on graphene, beyond its usual linear response, such as nonlinear, active, topological, and nonreciprocal effects. The physical mechanisms and various envisioned photonic applications corresponding to these novel intriguing functionalities are also reported. The presented graphene-based technologies promise to revolutionize the field of photonics at the relatively unexplored terahertz (THz) frequency range. They are envisioned to lead to the design of compact harmonic generators, low-power wave mixers, linear and nonlinear sensors, magnet-free isolators and circulators, photonic topological insulators, modulators, compact coherent optical radiation sources, and subwavelength imaging devices.


title: The Fornax Deep Survey (FDS) with the VST XI. The search for signs of preprocessing between the Fornax main cluster and Fornax A group

abstract: We investigate the structural properties of cluster and group galaxies by studying the Fornax main cluster and the infalling Fornax A group, exploring the effects of galaxy preprocessing in this showcase example. Additionally, we compare the structural complexity of Fornax galaxies to those in the Virgo cluster and in the field. Our sample consists of 582 galaxies from the Fornax main cluster and Fornax A group. We quantified the light distributions of each galaxy based on a combination of aperture photometry, S\'ersic+PSF (point spread function) and multi-component decompositions, and non-parametric measures of morphology (Concentration $C$; Asymmetry $A$, Clumpiness $S$; Gini $G$; second order moment of light $M_{20}$), and structural complexity based on multi-component decompositions. These quantities were then compared between the Fornax main cluster and Fornax A group. The structural complexity of Fornax galaxies were also compared to those in Virgo and in the field. Overall, we find significant differences in the distributions of quantities derived from S\'ersic profiles ($g'-r'$, $r'-i'$, $R_e$, and $\bar{\mu}_{e,r'}$), and non-parametric indices ($A$ and $S$) between the Fornax main cluster and Fornax A group. Moreover, we find significant cluster-centric trends with $r'-i'$, $R_e$, and $\bar{\mu}_{e,r'}$, as well as $A$, $S$, $G$, and $M_{20}$ for galaxies in the Fornax main cluster. We find the structural complexity of galaxies increases as a function of the absolute $r'$-band magnitude (and stellar mass), with the largest change occurring between -14 mag $\lesssim M_{r'}\lesssim$ -19 mag. This same trend was observed for galaxies in the Virgo cluster and in the field, which suggests that the formation or maintenance of morphological structures (e.g. bulges, bar) is largely dependent on the stellar mass of the galaxies, rather than their environment.


title: Spillover Algorithm: A Decentralized Coordination Approach for Multi-Robot Production Planning in Open Shared Factories

abstract: Open and shared manufacturing factories typically dispose of a limited number of robots that should be properly allocated to tasks in time and space for an effective and efficient system performance. In particular, we deal with the dynamic capacitated production planning problem with sequence independent setup costs where quantities of products to manufacture and location of robots need to be determined at consecutive periods within a given time horizon and products can be anticipated or backordered related to the demand period. We consider a decentralized multi-agent variant of this problem in an open factory setting with multiple owners of robots as well as different owners of the items to be produced, both considered self-interested and individually rational. Existing solution approaches to the classic constrained lot-sizing problem are centralized exact methods that require sharing of global knowledge of all the participants' private and sensitive information and are not applicable in the described multi-agent context. Therefore, we propose a computationally efficient decentralized approach based on the spillover effect that solves this NP-hard problem by distributing decisions in an intrinsically decentralized multi-agent system environment while protecting private and sensitive information. To the best of our knowledge, this is the first decentralized algorithm for the solution of the studied problem in intrinsically decentralized environments where production resources and/or products are owned by multiple stakeholders with possibly conflicting objectives. To show its efficiency, the performance of the Spillover Algorithm is benchmarked against state-of-the-art commercial solver CPLEX 12.8.


title: TUDublin team at Constraint@AAAI2021 -- COVID19 Fake News Detection

abstract: The paper is devoted to the participation of the TUDublin team in Constraint@AAAI2021 - COVID19 Fake News Detection Challenge. Today, the problem of fake news detection is more acute than ever in connection with the pandemic. The number of fake news is increasing rapidly and it is necessary to create AI tools that allow us to identify and prevent the spread of false information about COVID-19 urgently. The main goal of the work was to create a model that would carry out a binary classification of messages from social media as real or fake news in the context of COVID-19. Our team constructed the ensemble consisting of Bidirectional Long Short Term Memory, Support Vector Machine, Logistic Regression, Naive Bayes and a combination of Logistic Regression and Naive Bayes. The model allowed us to achieve 0.94 F1-score, which is within 5\% of the best result.


title: Structural Analysis of Multimode DAE Systems: summary of results

abstract: Modern modeling languages for general physical systems, such as Modelica, Amesim, or Simscape, rely on Differential Algebraic Equations (DAEs), i.e., constraints of the form f(\dot{x},x,u)=0. This drastically facilitates modeling from first principles of the physics, as well as model reuse. In recent works [RR-9334], we presented the mathematical theory needed to establish the development of compilers and tools for DAE-based physical modeling languages on solid mathematical grounds.At the core of this analysis sits the so-called *structural analysis*, whose purpose, at compile time, is to either identify under- and over-specified subsystems (if any), or to rewrite the model in a form amenable of existing DAE solvers, including the handling of mode change events. The notion of "structure" collects, for each mode and mode change event, the variables and equations involved, as well as the *latent equations* (additional equations redundant with the system), needed to prepare the code submitted to the solver. The notion of DAE *index* (the minimal number of times any equation has to be possibly differentiated) is part of this structural analysis. This report complements [RR-9334] by collecting all the needed background on structural analysis. The body of knowledge on structural analysis is large and scattered, which also motivated us to collect it in a single report.We first explain the primary meaning of structural analysis of systems of equations, namely the study of their regularity or singularity in some generic sense. We then briefly review the body of graph theory used in this context. We develop some extensions, for which we are not aware of any reference, namely the structural analysis of systems of equations with existential quantifiers. For the structural analysis of DAE systems, we focus on John Pryce's Sigma-method, that we both summarize and extend to non-square systems. The uses of these tools and methods in [RR9334] are highlighted in this report.


title: Exploring Asymmetric Roles in Mixed-Ability Gaming

abstract: The landscape of digital games is segregated by player ability. For example, sighted players have a multitude of highly visual games at their disposal, while blind players may choose from a variety of audio games. Attempts at improving cross-ability access to any of those are often limited in the experience they provide, or disregard multiplayer experiences. We explore ability-based asymmetric roles as a design approach to create engaging and challenging mixed-ability play. Our team designed and developed two collaborative testbed games exploring asymmetric interdependent roles. In a remote study with 13 mixed-visual-ability pairs we assessed how roles affected perceptions of engagement, competence, and autonomy, using a mixed-methods approach. The games provided an engaging and challenging experience, in which differences in visual ability were not limiting. Our results underline how experiences unequal by design can give rise to an equitable joint experience.


title: The Magnetic Compensation Scheme of the FCC-ee Detectors

abstract: A crucial part of the design of an FCC-ee detector is the minimisation of the disruption of the beam due to the presence of a large and powerful detector magnet. Indeed, the emittance blow-up of the few meters around the interaction point (IP) at lower energies is comparable to the emittance introduced by the rest of the 100 km ring. Vertical emittance is the single most important factor in achieving high performance (luminosity, in this case) in a modern e^+ e^- storage ring such as the FCC-ee. The design adopted is the simplest possible arrangement that can nevertheless deliver high performance: two additional coils per IP side. The performance achieved is such that vertical emittance blow-up will not be a limiting performance factor even in the case of a ring with four experiments, and even in the most demanding energy regime, that of the Z running (about 45 GeV beam energy).


title: Magnetic Constitution of Topologically Trivial Thermoelectric PbTe:Cr

abstract: In this paper we report on detailed temperature and magnetic field dependence of m agnetization of IV-VI semiconductor PbTe doped with mixed valence transition metal Cr$^{2+/3+}$. The material is studied solely by an integral superconducting quantum interference device magnetometer in order to quantitatively determine the contribution of single substitutional Cr$^{3+}$ as well as of various Cr-Te magnetic nanocrystals, including their identification. The applied experimental procedure reveals the presence of about $10^{19}$~cm$^{-3}$ paramagnetic Cr$^{3+}$ ions formed via self-ionization of Cr$^{2+}$ resonant donors. These are known to improve the thermoelectric figure of merit parameter zT of this semiconductor. The magnetic finding excellently agrees with previous Hall effect studies thus providing a new experimental support for the proposed electronic structure model of PbTe:Cr system with resonant Cr$^{2+/3+}$ state located (at low temperatures) about 100 meV above the bottom of the conduction band. Below room temperature a ferromagnetic-like signal points to the presence of Cr-rich nanocrystalline precipitates. Two most likely candidates, namely: Cr$_2$Te$_3$ and Cr$_5$Te$_8$ are identified upon dedicated temperature cycling of the sample at the remnant state. As an ensemble, the nanocrystals exhibits (blocked) superparamagnetic properties. The magnetic susceptibility of both n- and p-type PbTe in the temperature range $100 < T < 400$~K has been established. These magnitudes are essential in proper accounting for the high temperature magnetic susceptibility of PbTe:Cr.


title: Environmental Variable Monitoring with IoT Technology

abstract: This article describes the design of a flexible and low-cost platform for monitoring environmental variables applied to agriculture. For the construction of this platform, technologies based on the communication protocol, Wi-Fi, Bluetooth, and Zigbee were used, using the embedded Raspberry pi 3 b + system and sensors to quantify different environmental variables, using different open source hardware and software tools. The network is made up of a central node (gateway), implemented on Samsung's Artik 1020 card, and two nodes where the sensors for reading environmental variables are connected. Finally, the data is collected by the gateway, which will be in charge of processing and storing it in a database so that the user in the future can access the information in real time from anywhere.


title: Anisotropic separate universe and Weinberg's adiabatic mode

abstract: In the separate universe approach, an inhomogeneous universe is rephrased as a set of glued numerous homogeneous local patches. This is the essence of the gradient expansion and the $\delta N$ formalism, which have been widely used in solving a long wavelength evolution of the universe. In this paper, we show that the separate universe approach can be generically used, as long as a theory under consideration is local and preserves the spatial diffeomorphism invariance. Focusing on these two conditions, we also clarify the condition for the existence of the so-called Weinberg's adiabatic mode. Remarkably, the separate universe approach and the $\delta N$ formalism turn out to be applicable also to models with shear on large scales and also to modified theories of gravity, accepting violation of four-dimensional diffeomorphism invariance. The generalized $\delta N$ formalism enables us to calculate all the large scale fluctuations, including gravitational waves. We also argue several implications on anisotropic inflation and ultra slow-roll inflation.


title: Full spectrum of the Liouvillian of open dissipative quantum systems in the Zeno limit

abstract: We consider an open quantum system with dissipation, described by a Lindblad Master equation (LME). For dissipation locally acting and sufficiently strong, a separation of the relaxation time scales occurs, which, in terms of the eigenvalues of the Liouvillian, implies a grouping of the latter in distinct vertical stripes in the complex plane at positions determined by the eigenvalues of the dissipator. We derive effective LME equations describing the modes within each stripe separately, and solve them perturbatively, obtaining for the full set of eigenvalues and eigenstates of the Liouvillian explicit expressions correct at order $1/\Gamma$ included, where $\Gamma$ is the strength of the dissipation. As a example, we apply our general results to quantum $XYZ$ spin chains coupled, at one boundary, to a dissipative bath of polarization.

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


title: Rule-based Optimal Control for Autonomous Driving

abstract: We develop optimal control strategies for Autonomous Vehicles (AVs) that are required to meet complex specifications imposed by traffic laws and cultural expectations of reasonable driving behavior. We formulate these specifications as rules, and specify their priorities by constructing a priority structure. We propose a recursive framework, in which the satisfaction of the rules in the priority structure are iteratively relaxed based on their priorities. Central to this framework is an optimal control problem, where convergence to desired states is achieved using Control Lyapunov Functions (CLFs), and safety is enforced through Control Barrier Functions (CBFs). We also show how the proposed framework can be used for after-the-fact, pass / fail evaluation of trajectories - a given trajectory is rejected if we can find a controller producing a trajectory that leads to less violation of the rule priority structure. We present case studies with multiple driving scenarios to demonstrate the effectiveness of the proposed framework.


title: Symmetries and conserved quantities of boundary time crystals in generalized spin models

abstract: We investigate how symmetries and conserved quantities relate to the occurrence of the boundary time crystal (BTC) phase in a generalized spin model with Lindblad dissipation. BTCs are a non-equilibrium phase of matter in which the system, coupled to an external environment, breaks the continuous time translational invariance. We perform a detailed mean-field study aided by a finite-size analysis of the quantum model of a p,q-spin-interaction system, a generalized p-spin interaction system, which can be implemented in fully-connected spin-1/2 ensembles. We find the following conditions for the observation of the BTC phase: First, the BTC appears when the discrete symmetry held by the Hamiltonian, $\mathbb{Z}_2$ in the considered models, is explicitly broken by the Lindblad jump operators. Second, the system must be coupled uniformly to the same bath in order to preserve the total angular momentum during the time evolution. If these conditions are not satisfied, any oscillatory behavior appears only as a transient in the dynamics and a time-independent stationary state is eventually reached. Our results suggest that these two elements may be general requirements for the observation of a stable BTC phase relating symmetries and conserved quantities in arbitrary spin models.


title: Norton algebras of the Hamming Graphs via linear characters

abstract: The Norton product is defined on each eigenspace of a distance regular graph by the orthogonal projection of the entry-wise product. The resulting algebra, known as the Norton algebra, is a commutative nonassociative algebra that is useful in group theory due to its interesting automorphism group. We provide a formula for the Norton product on each eigenspace of a Hamming graph using linear characters. We construct a large subgroup of automorphisms of the Norton algebra of a Hamming graph and completely describe the automorphism group in some cases. We also show that the Norton product on each eigenspace of a Hamming graph is as nonassociative as possible, except for some special cases in which it is either associative or equally as nonassociative as the so-called double minus operation previously studied by the author, Mickey, and Xu. Our results restrict to the hypercubes and extend to the halved and/or folded cubes, the bilinear forms graphs, and more generally, all Cayley graphs of finite abelian groups.


title: Unsupervised machine learning of topological phase transitions from experimental data

abstract: Identifying phase transitions is one of the key challenges in quantum many-body physics. Recently, machine learning methods have been shown to be an alternative way of localising phase boundaries also from noisy and imperfect data and without the knowledge of the order parameter. Here we apply different unsupervised machine learning techniques including anomaly detection and influence functions to experimental data from ultracold atoms. In this way we obtain the topological phase diagram of the Haldane model in a completely unbiased fashion. We show that the methods can successfully be applied to experimental data at finite temperature and to data of Floquet systems, when postprocessing the data to a single micromotion phase. Our work provides a benchmark for unsupervised detection of new exotic phases in complex many-body systems.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.mes-hall quant-ph


title: A note on the coefficients of power sums of arithmetic progressions

abstract: In this note we show a simple formula for the coefficients of the polynomial associated with the sums of powers of the terms of an arbitrary arithmetic progression. This formula consists of a double sum involving only ordinary binomial coefficients and binomial powers. Arguably, this is the simplest formula that can probably be found for the said coefficients. Furthermore, we give an explicit formula for the Bernoulli polynomials involving the Stirling numbers of the first and second kind.


title: Physical properties of predicted MAX phase borides Hf2AB (A = Pb, Bi): a DFT insight

abstract: We have used density functional theory to study the recently predicted MAX phase borides Hf2AB (A = Pb, Bi) in where the mechanical, electronic, thermal, and optical properties have been investigated for the first time. A good agreement of the obtained lattice constants with the reported values confirmed the well accuracy of the present calculations. The stiffness constants (Cij) attest to the mechanical stability of all title compounds. The mechanical behaviors have been scrutinized discreetly by considering the bulk modulus, shear modulus, Youngs modulus, as well as hardness parameters. The brittle nature of Hf2AB (A = Pb, Bi) borides has also been confirmed. The electronic band structure and density of states (DOS) revealed the metallic behavior of the titled materials. The anisotropy in electrical conductivity has been disclosed by considering the energy dispersion along different directions. The variation of Vickers hardness is explained in terms of the total DOS of Hf2AB (A = Pb, Bi). The anisotropic nature of the mechanical properties of the phases has also been studied. The technologically important parameters (Debye temperature, minimum thermal conductivity, and Gr\"uneisen parameter) have also been used to evaluate the thermal behaviors of the titled materials. The possibility of Hf2AB (A = Pb, Bi) for use as coating materials has been assessed by studying the reflectivity.


title: Accessory parameters in confluent Heun equations and classical irregular conformal blocks

abstract: Classical Virasoro conformal blocks are believed to be directly related to accessory parameters of Floquet type in the Heun equation and some of its confluent versions. We extend this relation to another class of accessory parameter functions that are defined by inverting all-order Bohr-Sommerfeld periods for confluent and biconfluent Heun equation. The relevant conformal blocks involve Nagoya irregular vertex operators of rank 1 and 2 and conjecturally correspond to partition functions of a 4D $\mathcal{N}=2$, $N_f=3$ gauge theory at strong coupling and an Argyres-Douglas theory.


title: SICKNL: A Dataset for Dutch Natural Language Inference

abstract: We present SICK-NL (read: signal), a dataset targeting Natural Language Inference in Dutch. SICK-NL is obtained by translating the SICK dataset of Marelli et al. (2014)from English into Dutch. Having a parallel inference dataset allows us to compare both monolingual and multilingual NLP models for English and Dutch on the two tasks. In the paper, we motivate and detail the translation process, perform a baseline evaluation on both the original SICK dataset and its Dutch incarnation SICK-NL, taking inspiration from Dutch skipgram embeddings and contextualised embedding models. In addition, we encapsulate two phenomena encountered in the translation to formulate stress tests and verify how well the Dutch models capture syntactic restructurings that do not affect semantics. Our main finding is all models perform worse on SICK-NL than on SICK, indicating that the Dutch dataset is more challenging than the English original. Results on the stress tests show that models don't fully capture word order freedom in Dutch, warranting future systematic studies.


title: Adaptive Frequency Response Reserve based on Real-time System Inertia

abstract: To ensure adequate and economic reserve for primary frequency response in the current and future power system, this paper proposes real-time frequency response reserve (FRR) requirement based on system inertia. This minimum FRR will help power system operators adjust the current frequency response requirement and accommodate more renewable generations while achieving a saving of both energy and facility costs. Most importantly, the ability to adaptively vary the FRR will provide the additional agility, resiliency, and reliability to the grid.


title: Automating Gamification Personalization: To the User and Beyond

abstract: Personalized gamification explores knowledge about the users to tailor gamification designs to improve one-size-fits-all gamification. The tailoring process should simultaneously consider user and contextual characteristics (e.g., activity to be done and geographic location), which leads to several occasions to tailor. Consequently, tools for automating gamification personalization are needed. The problems that emerge are that which of those characteristics are relevant and how to do such tailoring are open questions, and that the required automating tools are lacking. We tackled these problems in two steps. First, we conducted an exploratory study, collecting participants' opinions on the game elements they consider the most useful for different learning activity types (LAT) via survey. Then, we modeled opinions through conditional decision trees to address the aforementioned tailoring process. Second, as a product from the first step, we implemented a recommender system that suggests personalized gamification designs (which game elements to use), addressing the problem of automating gamification personalization. Our findings i) present empirical evidence that LAT, geographic locations, and other user characteristics affect users' preferences, ii) enable defining gamification designs tailored to user and contextual features simultaneously, and iii) provide technological aid for those interested in designing personalized gamification. The main implications are that demographics, game-related characteristics, geographic location, and LAT to be done, as well as the interaction between different kinds of information (user and contextual characteristics), should be considered in defining gamification designs and that personalizing gamification designs can be improved with aid from our recommender system.


title: Minimum Cost Flows, MDPs, and $\ell_1$-Regression in Nearly Linear Time for Dense Instances

abstract: In this paper we provide new randomized algorithms with improved runtimes for solving linear programs with two-sided constraints. In the special case of the minimum cost flow problem on $n$-vertex $m$-edge graphs with integer polynomially-bounded costs and capacities we obtain a randomized method which solves the problem in $\tilde{O}(m+n^{1.5})$ time. This improves upon the previous best runtime of $\tilde{O}(m\sqrt{n})$ (Lee-Sidford 2014) and, in the special case of unit-capacity maximum flow, improves upon the previous best runtimes of $m^{4/3+o(1)}$ (Liu-Sidford 2020, Kathuria 2020) and $\tilde{O}(m\sqrt{n})$ (Lee-Sidford 2014) for sufficiently dense graphs. For $\ell_1$-regression in a matrix with $n$-columns and $m$-rows we obtain a randomized method which computes an $\epsilon$-approximate solution in $\tilde{O}(mn+n^{2.5})$ time. This yields a randomized method which computes an $\epsilon$-optimal policy of a discounted Markov Decision Process with $S$ states and $A$ actions per state in time $\tilde{O}(S^2A+S^{2.5})$. These methods improve upon the previous best runtimes of methods which depend polylogarithmically on problem parameters, which were $\tilde{O}(mn^{1.5})$ (Lee-Sidford 2015) and $\tilde{O}(S^{2.5}A)$ (Lee-Sidford 2014, Sidford-Wang-Wu-Ye 2018). To obtain this result we introduce two new algorithmic tools of independent interest. First, we design a new general interior point method for solving linear programs with two sided constraints which combines techniques from (Lee-Song-Zhang 2019, Brand et al. 2020) to obtain a robust stochastic method with iteration count nearly the square root of the smaller dimension. Second, to implement this method we provide dynamic data structures for efficiently maintaining approximations to variants of Lewis-weights, a fundamental importance measure for matrices which generalize leverage scores and effective resistances.


title: On finite $p$-groups with powerful subgroups

abstract: In this paper we investigate the structure of finite $p$-groups with the property that every subgroup of index $p^i$ is powerful for some $i$. For odd primes $p$, we show that under certain conditions these groups must be potent. Then, motivated by a question of Mann, we investigate in detail the case when all maximal subgroups are powerful. We show that for odd $p$ any finite $p$-group $G$ with all maximal subgroups powerful has a regular power structure - with precisely one exceptional case which is a $3$-group of maximal class and order $81$. To show this counterexample is unique we use a computational approach. We briefly discuss the case $p=2$ and some generalisations.


title: Dark Matter production from relativistic bubble walls

abstract: In this paper we present a novel mechanism for producing the observed Dark Matter(DM) relic abundance during the First Order Phase Transition (FOPT) in the early universe. We show that the bubble expansion with ultra-relativistic velocities can lead to the abundance of DM particles with masses much larger than the scale of the transition. We study this non-thermal production mechanism in the context of a generic phase transition and the electroweak phase transition. The application of the mechanism to the Higgs portal DM as well as the signal in the Stochastic Gravitational Background are discussed.


title: New Identity on Parseval p-Approximate Schauder Frames and Applications

abstract: A very useful identity for Parseval frames for Hilbert spaces was obtained by Balan, Casazza, Edidin, and Kutyniok. In this paper, we obtain a similar identity for Parseval p-approximate Schauder frames for Banach spaces which admits a homogeneous semi-inner product in the sense of Lumer-Giles.


title: Local signatures of electron-electron scattering in an electronic cavity

abstract: We image equilibrium and non-equilibrium transport through a two-dimensional electronic cavity using scanning gate microscopy (SGM). Injecting electrons into the cavity through a quantum point contact close to equilibrium, we raster-scan a weakly invasive tip above the cavity regions and measure the modulated conductance through the cavity. Varying the electron injection energy between $\pm$ 2 meV, we observe that conductance minima turn into maxima beyond the energy threshold of $\pm$ 0.6 meV. This observation bears similarity to previous measurements by Jura et al. [Jura et al., Phys. Rev. B 82, 155328 (2010)] who used a strongly invasive tip potential to study electron injection into an open two-dimensional electron gas. This resemblance suggests a similar microscopic origin based on electron-electron interactions.


title: Properties of an alternative off-shell formulation of 4D supergravity

abstract: This article elaborates on an off-shell formulation of D=4, N=1 supergravity whose auxiliary fields comprise an antisymmetric tensor field without gauge degrees of freedom. In particular, the relation to new minimal supergravity, a supercovariant tensor calculus and the construction of invariant actions including matter fields are discussed.


title: Stereo camera system calibration: the need of two sets of parameters

abstract: The reconstruction of a scene via a stereo-camera system is a two-steps process, where at first images from different cameras are matched to identify the set of point-to-point correspondences that then will actually be reconstructed in the three dimensional real world. The performance of the system strongly relies of the calibration procedure, which has to be carefully designed to guarantee optimal results. We implemented three different calibration methods and we compared their performance over 19 datasets. We present the experimental evidence that, due to the image noise, a single set of parameters is not sufficient to achieve high accuracy in the identification of the correspondences and in the 3D reconstruction at the same time. We propose to calibrate the system twice to estimate two different sets of parameters: the one obtained by minimizing the reprojection error that will be used when dealing with quantities defined in the 2D space of the cameras, and the one obtained by minimizing the reconstruction error that will be used when dealing with quantities defined in the real 3D world.


title: A degenerate elliptic-parabolic system arising in competitive contaminant transport

abstract: In this work we investigate a coupled system of degenerate and nonlinear partial differential equations governing the transport of reactive solutes in groundwater. We show that the system admits a unique weak solution provided the nonlinear adsorption isotherm associated with the reaction process satisfies certain physically reasonable structural conditions. We conclude, moreover, that the solute concentrations stay non-negative if the source term is componentwise non-negative and investigate numerically the finite speed of propagation of compactly supported initial concentrations, in a two-component test case.


title: Re-examining the Role of Nuclear Fusion in a Renewables-Based Energy Mix

abstract: Fusion energy is often regarded as a long-term solution to the world's energy needs. However, even after solving the critical research challenges, engineering and materials science will still impose significant constraints on the characteristics of a fusion power plant. Meanwhile, the global energy grid must transition to low-carbon sources by 2050 to prevent the worst effects of climate change. We review three factors affecting fusion's future trajectory: (1) the significant drop in the price of renewable energy, (2) the intermittency of renewable sources and implications for future energy grids, and (3) the recent proposition of intermediate-level nuclear waste as a product of fusion. Within the scenario assumed by our premises, we find that while there remains a clear motivation to develop fusion power plants, this motivation is likely weakened by the time they become available. We also conclude that most current fusion reactor designs do not take these factors into account and, to increase market penetration, fusion research should consider relaxed nuclear waste design criteria, raw material availability constraints and load-following designs with pulsed operation.


title: New bounds for $k$-means and information $k$-means

abstract: In this paper, we derive a new dimension-free non-asymptotic upper bound for the quadratic $k$-means excess risk related to the quantization of an i.i.d sample in a separable Hilbert space. We improve the bound of order $\mathcal{O} \bigl( k / \sqrt{n} \bigr)$ of Biau, Devroye and Lugosi, recovering the rate $\sqrt{k/n}$ that has already been proved by Fefferman, Mitter, and Narayanan and by Klochkov, Kroshnin and Zhivotovskiy but with worse log factors and constants. More precisely, we bound the mean excess risk of an empirical minimizer by the explicit upper bound $16 B^2 \log(n/k) \sqrt{k \log(k) / n}$, in the bounded case when $\mathbb{P}( \lVert X \rVert \leq B) = 1$. This is essentially optimal up to logarithmic factors since a lower bound of order $\mathcal{O} \bigl( \sqrt{k^{1 - 4/d}/n} \bigr)$ is known in dimension $d$. Our technique of proof is based on the linearization of the $k$-means criterion through a kernel trick and on PAC-Bayesian inequalities. To get a $1 / \sqrt{n}$ speed, we introduce a new PAC-Bayesian chaining method replacing the concept of $\delta$-net with the perturbation of the parameter by an infinite dimensional Gaussian process. In the meantime, we embed the usual $k$-means criterion into a broader family built upon the Kullback divergence and its underlying properties. This results in a new algorithm that we named information $k$-means, well suited to the clustering of bags of words. Based on considerations from information theory, we also introduce a new bounded $k$-means criterion that uses a scale parameter but satisfies a generalization bound that does not require any boundedness or even integrability conditions on the sample. We describe the counterpart of Lloyd's algorithm and prove generalization bounds for these new $k$-means criteria.


title: Reversible Self-Replication of Spatio-Temporal Kerr Cavity Patterns

abstract: We uncover a novel and robust phenomenon that causes the gradual self-replication of spatiotemporal Kerr cavity patterns in cylindrical microresonators. These patterns are inherently synchronised multi-frequency combs. Under proper conditions, the axially-localized nature of the patterns leads to a fundamental drift instability that induces transitions amongst patterns with a different number of rows. Self-replications, thus, result in the stepwise addition or removal of individual combs along the cylinder's axis. Transitions occur in a fully reversible and, consequently, deterministic way. The phenomenon puts forward a novel paradigm for Kerr frequency comb formation and reveals important insights into the physics of multi-dimensional nonlinear patterns.


title: Towards Understanding and Evaluating Structural Node Embeddings

abstract: While most network embedding techniques model the proximity between nodes in a network, recently there has been significant interest in structural embeddings that are based on node equivalences, a notion rooted in sociology: equivalences or positions are collections of nodes that have similar roles--i.e., similar functions, ties or interactions with nodes in other positions--irrespective of their distance or reachability in the network. Unlike the proximity-based methods that are rigorously evaluated in the literature, the evaluation of structural embeddings is less mature. It relies on small synthetic or real networks with labels that are not perfectly defined, and its connection to sociological equivalences has hitherto been vague and tenuous. With new node embedding methods being developed at a breakneck pace, proper evaluation and systematic characterization of existing approaches will be essential to progress. To fill in this gap, we set out to understand what types of equivalences structural embeddings capture. We are the first to contribute rigorous intrinsic and extrinsic evaluation methodology for structural embeddings, along with carefully-designed, diverse datasets of varying sizes. We observe a number of different evaluation variables that can lead to different results (e.g., choice of similarity measure, classifier, label definitions). We find that degree distributions within nodes' local neighborhoods can lead to simple yet effective baselines in their own right and guide the future development of structural embedding. We hope that our findings can influence the design of further node embedding methods and also pave the way for more comprehensive and fair evaluation of structural embedding methods.


title: Plasma flows and sound-speed perturbations in the average supergranule

abstract: Supergranules create a peak in the spatial spectrum of photospheric velocity features. They have some properties of convection cells but their origin is still being debated in the literature. The time-distance helioseismology constitutes a method that is suitable for investigating the deep structure of supergranules. Our aim is to construct the model of the flows in the average supergranular cell using fully consistent time-distance inverse methodology. We used the Multi-Channel Subtractive Optimally Localised Averaging inversion method with regularisation of the cross-talk. We combined the difference and the mean travel-time averaging geometries. We applied this methodology to travel-time maps averaged over more than 10000 individual supergranular cells. These cells were detected automatically in travel-time maps computed for 64 quiet days around the disc centre. The ensemble averaging method allows us to significantly improve the signal-to-noise ratio and to obtain a clear picture of the flows in the average supergranule. We found near-surface divergent horizontal flows which quickly and monotonously weakened with depth; they became particularly weak at the depth of about 7 Mm, where they even apparently switched sign. To learn about the vertical component, we integrated the continuity equation from the surface. The derived estimates of the vertical flow depicted a sub-surface increase from about 5 m/s at the surface to about 35 m/s at the depth of about 3 Mm followed by a monotonous decrease to greater depths. The vertical flow remained positive (an upflow) and became indistinguishable from the background at the depth of about 15 Mm. We further detected a systematic flow in the longitudinal direction. The course of this systematic flow with depth agrees well with the model of the solar rotation in the sub-surface layers.


title: Borel Colouring Bad Sequences

abstract: Every better quasi-order codifies a Borel graph that does not contain a copy of the shift graph. It is known that there is a better quasi-order that codes a Borel graph with infinite Borel chromatic number, though one has yet to be explicitly constructed. In this paper, we show that examples cannot be constructed via standard methods. Moreover, we show that most of the known better quasi-orders are non-examples, suggesting there is still a class of better quasi-orders with interesting combinatorial properties who's elements/members still remain unknown.


title: The Polarized Transition Matrix Element $A_{gq}(N)$ of the Variable Flavor Number Scheme at $O(\alpha_s^3)$

abstract: We calculate the polarized massive operator matrix element $A_{gq}^{(3)}(N)$ to 3-loop order in Quantum Chromodynamics analytically at general values of the Mellin variable $N$ both in the single- and double-mass case in the Larin scheme. It is a transition function required in the variable flavor number scheme at $O(\alpha_s^3)$. We also present the results in momentum fraction space.


title: Phase-bounded finite element method for two-fluid incompressible flow systems

abstract: An understanding of the hydrodynamics of multiphase processes is essential for their design and operation. Multiphase computational fluid dynamics (CFD) simulations enable researchers to gain insight which is inaccessible experimentally. The model frequently used to simulate these processes is the two-fluid (Euler-Euler) model where fluids are treated as inter-penetrating continua. It is formulated for the multiphase flow regime where one phase is dispersed within another and enables simulation on experimentally relevant scales. Phase fractions are used to describe the composition of the mixture and are bounded quantities. Consequently, numerical solution methods used in simulations must preserve boundedness for accuracy and physical fidelity. In this work, a numerical method for the two-fluid model is developed in which phase fraction constraints are imposed through the use of an nonlinear variational inequality solver which implicitly imposes inequality constraints. The numerical method is verified and compared to an established explicit numerical method.


title: The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts

abstract: Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong need of automated analysis tools which provide formal security guarantees. Designing such analyzers, however, proved to be challenging and error-prone. We review the existing approaches to automated, sound, static analysis of Ethereum smart contracts and highlight prevalent issues in the state of the art. Finally, we overview eThor, a recent static analysis tool that we developed following a principled design and implementation approach based on rigorous semantic foundations to overcome the problems of past works.


title: Metastable piezoelectric group IV monochalcogenide monolayers with a buckled honeycomb structure

abstract: Twelve two-dimensional group-IV monochalcogenide monolayers (SiS, SiSe, SiTe, GeS, GeSe, GeTe, SnS, SnSe, SnTe, PbS, PbSe, and PbTe) with a buckled honeycomb atomistic structure--belonging to symmetry group P3m1--and an out-of-plane intrinsic electric polarization are shown to be metastable by three independendent methods. First, we uncover a coordination-preserving structural transformation from the low-buckled honeycomb structure onto the lower-energy Pnm2$_1$ (or Pmmn for PbS, PbSe, and PbTe) phase to estimate {\em energy barriers} $E_B$ that must be overcome during such structural transformation. Using the curvature of the local minima and $E_B$ as inputs to Kramers escape formula, large escape times are found, implying the structural metastability of the buckled honeycomb phase (nevertheless, and with the exception of PbS and PbSe, these phases display escape times ranging from 700 years to multiple times the age of the universe, and can be considered "stable" for practical purposes only in that relative sense). The second demonstration is provided by phonon dispersion relations that include the effect of long-range Coulomb forces and display no negative vibrational modes. The third and final demonstration of structural metastability is furnished by room-temperature {\em ab initio} molecular dynamics for selected compounds. The magnitude of the electronic band gap evolves with chemical composition. Different from other binary two-dimensional compounds such as transition metal dichalcogenide monolayers and hexagonal boron nitride monolayers which only develop an in-plane piezoelectric response, the twelve group-IV monochalcogenide monolayers with a buckled honeycomb structure also display out-of-plane piezoelectric properties.


title: Relativistic effects for the superheavy reaction Og + 2Ts$_2$ -> Og(Ts)$_4$ : Dramatic relativistic effects for the atomization energy of Oganesson tetratennesside Og(Ts)$_4$ and the prediction of the existence of tetrahedral Og(Ts)$_4$

abstract: Our all-electron fully relativistic Dirac-Fock (DF) and nonrelativistic (NR) Hartree-Fock (HF) SCF molecular calculations for the superheavy tetrahedral (T$_d$) oganesson tetratennesside OgT$_4$ predict atomization energy (Ae) of 7.45 and -11.21 eV, respectively. Our DF and NR calculations, however for the square planar (D$_{4h}$)OsTs$_4$ predict atomization energy (Ae) o 6.34 and -8.56 ev, respectively. There are dramatic relativistic effects for the atomization energy of T$_d$ and D$_{4h}$ OgT$_4$ of -18.65 eV and 14.90 eV, respectively. Whereas our DF calculations predict the T$_d$OgT$_4$ to be more stable than the D$_{4h}$ OgT$_4$ by ~1.10 eV, our NR calculations predict the D$_{4h}$ OgT$_4$ to be more stable than the T$_d$ OgT$_4$ by ~2.65eV. Our NR calculations predict both the T$_d$ and D$_{4h}$ OgTs$_4$ to be unbound by 11.21 and 8.56 eV, respectively. However our relativistic DF calculations predict both the T$_d$ and D$_{4h}$ OgT$_4$ to be bound by 7.45 and 6.34 eV respectively and so the relativistic treatment is mandatory for bonding and binding in the pentatomic superheavy system with 586 electrons involving the two heaviest SHE Ts and Og.


title: A Pragmatic Approach for Hyper-Parameter Tuning in Search-based Test Case Generation

abstract: Search-based test case generation, which is the application of meta-heuristic search for generating test cases, has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods is highly dependent on their hyper-parameters, there is a need to study hyper-parameter tuning in this domain. In this paper, we propose a new metric ("Tuning Gain"), which estimates how cost-effective tuning a particular class is. We then predict "Tuning Gain" using static features of source code classes. Finally, we prioritize classes for tuning, based on the estimated "Tuning Gains" and spend the tuning budget only on the highly-ranked classes. To evaluate our approach, we exhaustively analyze 1,200 hyper-parameter configurations of a well-known search-based test generation tool (EvoSuite) for 250 classes of 19 projects from benchmarks such as SF110 and SBST2018 tool competition. We used a tuning approach called Meta-GA and compared the tuning results with and without the proposed class prioritization. The results show that for a low tuning budget, prioritizing classes outperforms the alternatives in terms of extra covered branches (10 times more than a traditional global tuning). In addition, we report the impact of different features of our approach such as search space size, tuning budgets, tuning algorithms, and the number of classes to tune, on the final results.


title: Symmetry of periodic traveling waves for nonlocal dispersive equations

abstract: Of concern is the a priori symmetry of traveling wave solutions for a general class of nonlocal dispersive equations \[ u_t +(u^2 +Lu)_x =0, \] where $L$ is a Fourier multiplier operator with symbol $m$. Our analysis includes both homogeneous and inhomogeneous symbols. We characterize a class of symbols $m$ guaranteeing that periodic traveling wave solutions are symmetric under a mild assumption on the wave profile. Particularly, instead of considering waves with a unique crest and trough per period or a monotone structure near troughs as classically imposed in the water wave problem, we formulate a reflection criterion, which allows to affirm the symmetry of periodic traveling waves. The reflection criterion weakens the assumption of monotonicity between trough and crest and enables to treat a priori solutions with multiple crests of different sizes per period. Moreover, our result not only applies to smooth solutions, but also to traveling waves with a non-smooth structure such as peaks or cusps at a crest. The proof relies on a so-called touching lemma, which is related to a strong maximum principle for elliptic operators, and a weak form of the celebrated method of moving planes.


title: Constructions stemming from non-separating planar graphs and their Colin de Verdi\`ere invariant

abstract: A planar graph $G$ is said to be non-separating if there exists an embedding of $G$ in $\mathbb{R}^2$ such that for any cycle $\mathcal{C}\subset G$, all vertices of $G\setminus \mathcal{C}$ are within the same connected component of $\mathbb{R}^2\setminus \mathcal{C}$. Dehkordi and Farr classified the non-separating planar graphs as either outerplanar graphs, subgraphs of wheel graphs, or subgraphs of elongated triangular prisms. We use maximal non-separating planar graphs to construct examples of maximal linkless graphs and maximal knotless graphs. We show that for a maximal non-separating planar graph $G$ with $n\ge 7$ vertices, the complement $cG$ is $(n-7)-$apex. This implies that the Colin de Verdi\`ere invariant of the complement $cG$ satisfies $\mu(cG) \le n-4$. We show this to be an equality. As a consequence, the conjecture of Kotlov, Lov\`asz, and Vempala that for a simple graph $G$, $\mu(G)+\mu(cG)\ge n-2$ is true for 2-apex graphs $G$ for which $G-\{u,v\}$ is planar non-separating. It also follows that complements of non-separating planar graphs of order at least nine are intrinsically linked. We prove that the complements of non-separating planar graphs $G$ of order at least ten are intrinsically knotted.


title: Ultra-slow-roll inflation with quantum diffusion

abstract: We consider the effect of quantum diffusion on the dynamics of the inflaton during a period of ultra-slow-roll inflation. We extend the stochastic-$\delta\mathcal{N}$ formalism to the ultra-slow-roll regime and show how this system can be solved analytically in both the classical-drift and quantum-diffusion dominated limits. By deriving the characteristic function, we are able to construct the full probability distribution function for the primordial density field. In the diffusion-dominated limit, we recover an exponential tail for the probability distribution, as found previously in slow-roll inflation. To complement these analytical techniques, we present numerical results found both by very large numbers of simulations of the Langevin equations, and through a new, more efficient approach based on iterative Volterra integrals. We illustrate these techniques with two examples of potentials that exhibit an ultra-slow-roll phase leading to the possible production of primordial black holes.


title: Quantum annealing initialization of the quantum approximate optimization algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the optimization landscape of the QAOA applied to the MaxCut problem on random graphs, demonstrating that random initialization of the QAOA is prone to converging to local minima with sub-optimal performance. We introduce the initialization of QAOA parameters based on the Trotterized quantum annealing (TQA) protocol, parameterized by the Trotter time step. We find that the TQA initialization allows to circumvent the issue of false minima for a broad range of time steps, yielding the same performance as the best result out of an exponentially scaling number of random initializations. Moreover, we demonstrate that the optimal value of the time step coincides with the point of proliferation of Trotter errors in quantum annealing. Our results suggest practical ways of initializing QAOA protocols on near-term quantum devices and reveals new connections between QAOA and quantum annealing.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech physics.comp-ph


title: Difference radical in terms of shifting zero and applications to the Stothers-Mason theorem

abstract: In this paper, we study the shifting zeros with its heights and an analogue to difference radical. We focus on the Stothers-Mason theorem by using falling factorials. As applications, we discuss the difference version of the Fermat type functional equations. Some examples are given.


title: A comparative study of scoring systems by simulations

abstract: Scoring rules aggregate individual rankings by assigning some points to each position in each ranking such that the total sum of points provides the overall ranking of the alternatives. They are widely used in sports competitions consisting of multiple contests. We study the tradeoff between two risks in this setting: (1) the threat of early clinch when the title has been clinched before the last contest(s) of the competition take place; (2) the danger of winning the competition without finishing first in any contest. In particular, four historical points scoring systems of the Formula One World Championship are compared with the family of geometric scoring rules, recently proposed by an axiomatic approach. The schemes used in practice are found to be competitive with respect to these goals, and the current rule seems to be a reasonable compromise close to the Pareto frontier. Our results shed more light on the evolution of the Formula One points scoring systems and contribute to the issue of choosing the set of point values.


title: Disformal transformations and the motion of a particle in semi-classical gravity

abstract: The approach to incorporate quantum effects in gravity by replacing free particle geodesics with Bohmian non-geodesic trajectories has an equivalent description in terms of a conformally related geometry, where the motion is force free, with the quantum effects inside the conformal factor, i.e., in the geometry itself. For more general disformal transformations relating gravitational and physical geometries, we show how to establish this equivalence by taking the quantum effects inside the disformal degrees of freedom. We also show how one can solve the usual problems associated with the conformal version, namely the wrong continuity equation, indefiniteness of the quantum mass, and wrong description of massless particles in the singularity resolution argument, by using appropriate disformal transformations.


title: A mutual information-based in vivo monitoring of adaptive response to targeted therapies in melanoma

abstract: The mechanisms of adaptive resistance to genetic-based targeted therapies of solid malignancies have been the subject of intense research. These studies hold great promise for finding co-targetable hub/pathways which in turn would control the downstream non-genetic mechanisms of adaptive resistance. Many such mechanisms have been described in the paradigmatic BRAF-mutated melanoma model of adaptive response to BRAF inhibition. Currently, a major challenge for these mechanistic studies is to confirm in vivo, at the single-cell proteomic level, the existence of dependencies between the co-targeted hub/pathways and their downstream effectors. Moreover, the drug-induced in vivo modulation of these dependencies needs to be demonstrated. Here, we implement such single-cell-based in vivo expression dependency quantification using immunohistochemistry (IHC)-based analyses of sequential biopsies in two xenograft models. These mimic phase 2 and 3 trials in our own therapeutic strategy to prevent the adaptive response to BRAF inhibition. In this mechanistic model, the dependencies between the targeted Li2CO3-inducible hub HuR and the resistance effectors are more likely time-shifted and transient since the minority of HuRLow cells, which act as a reservoir of adaptive plasticity, switch to a HuRHigh state as they paradoxically proliferate under BRAF inhibition. Nevertheless, we show that a copula/kernel density estimator (KDE)-based quantification of mutual information (MI) efficiently captures, at the individual level, the dependencies between HuR and two relevant resistance markers pERK and EGFR, and outperforms classic expression correlation coefficients. Ultimately, the validation of MI as a predictive IHC-based metric of response to our therapeutic strategy will be carried in clinical trials.


title: Hadron yields in central nucleus-nucleus collisions, the statistical hadronization model and the QCD phase diagram

abstract: The description of hadron production in relativistic heavy-ion collisions in the statistical hadronization model is very good, over a broad range of collision energy. We outline this both for the light (u, d, s) and heavy (charm) quarks and discuss the connection it brings to the phase diagram of QCD.


title: Harnessing subcellular-resolved organ distribution of cationic copolymer-functionalized fluorescent nanodiamonds for optimal delivery of therapeutic siRNA to a xenografted tumor in mice

abstract: Diamond nanoparticles (nanodiamonds) can transport active drugs in cultured cells as well as in vivo. However, in the latter case, methods allowing to determine their bioavailability accurately are still lacking. Nanodiamond can be made fluorescent with a perfectly stable emission and a lifetime ten times longer than the one of tissue autofluorescence. Taking advantage of these properties, we present an automated quantification method of fluorescent nanodiamonds (FND) in histological sections of mouse organs and tumor, after systemic injection. We use a home-made time-delayed fluorescence microscope comprising a custom pulsed laser source synchronized on the master clock of a gated intensified array detector. This setup allows to obtain ultra-high-resolution images 120 Mpixels of whole mouse organs sections, with subcellular resolution and single-particle sensitivity. As a proof-of-principle experiment, we quantified the biodistribution and aggregation state of new cationic FNDs able to transport small interfering RNA inhibiting the oncogene responsible for Ewing sarcoma. Image analysis showed a low yield of nanodiamonds in the tumor after intravenous injection. Thus, for the in vivo efficacy assay we injected the nanomedicine into the tumor. We achieved a 28-fold inhibition of the oncogene. This method can readily be applied to other nanoemitters with $\approx$100 ns lifetime.


title: Piecewise closed form expression of R\"ossler-like trajectories

abstract: The use of iteration and piecewise functions allows analytic expression of the trajectories of an R\"ossler-like attractor, avoiding infinite series solution. It seems possible to extend this approach to other attractors, even if the differential equations are not known, but the experimental data have been collected.


title: $p$-adic dynamical systems of the function $a x^{-2}$

abstract: In this paper we study $p$-adic dynamical systems generated by the function $f(x)={a\over x^2}$ in the set of complex $p$-adic numbers. We find an explicit formula for the $n$-fold composition of $f$ for any $n\geq 1$. Using this formula we give fixed points, periodic points, basin of attraction and Siegel disk of each fixed (periodic) point depending on parameters $p$ and $a$.


title: The Emission Physics of Millisecond Pulsars

abstract: Understanding the physics of rotation-powered millisecond pulsars (MSPs) presents a number of challenges compared to that of the non-recycled pulsar population. Even though their fast rotation rates can produce high spin-down power and accelerating electric fields, their relatively low surface magnetic fields make the production of electron-positron pairs required for radio emission difficult. The Fermi Gamma-Ray Space Telescope has discovered pulsed W-rays from a large fraction of the MSP population that have light curves surprisingly similar to those of young pulsars. However, their very compact magnetospheres enable magnetic fields at the light cylinder that are comparable to those of the most energetic pulsars. This fact and recent global magnetosphere models showing that particle acceleration takes place near and beyond the light cylinder, now makes the W-rays from MSPs plausible. The large increase in binary systems harboring MSPs has revitalized the study of shock acceleration and high-energy emission in such systems, with many showing orbitally-modulated X-rays. This Chapter will review the history and our current studies of the mechanisms for multiwavelength emission from MSPs.


title: Layers of classicality in the compatibility of measurements

abstract: The term "Layers of classicality" in the context of quantum measurements, was introduced in [T. Heinosaari, Phys. Rev. A 93, 042118 (2016)]. The strongest layer among these consists of the sets of observables that can be broadcast and the weakest layer consists of the sets of compatible observables. There are several other layers in between those two layers. In this work, we study their physical and geometric properties and show the differences and similarities among the layers in these properties. In particular we show that: (i) none of the layers of classicality respect transitivity property, (ii) the concept like degree of broadcasting similar to degree of compatibility does not exist, (iii) there exist informationally incomplete POVMs that are not individually broadcastable, (iv) a set of broadcasting channels can be obtained through concatenation of broadcasting and non-disturbing channels, (v) unlike compatibility, other layers of classicality are not convex, in general. Finally, we discuss the relations among these layers. More specifically, we show that specific type of concatenation relations among broadcasting channels decide the layer in which a pair of observables resides.


title: Correlation-driven sub-3 fs charge migration in ionised adenine

abstract: Sudden ionisation of a relatively large molecule can initiate a correlation-driven process dubbed charge migration, where the electron density distribution is expected to rapidly change. Capturing this few-femtosecond/attosecond charge redistribution represents the real-time observation of the electron correlation in the molecule. So far, there has been no experimental evidence of this process. Here we report on a time-resolved study of the correlation-driven charge migration process occurring in the bio-relevant molecule adenine after ionisation by a 15-35 eV attosecond pulse . We find that, the production of intact doubly charged adenine - via a shortly-delayed laser-induced second ionisation event - represents the signature of a charge inflation mechanism resulting from the many-body excitation. This conclusion is supported by first-principles time-dependent simulations. Our findings opens new important perspectives for the control of the molecular reactivity at the electronic timescale.


title: A Strong Bisimulation for a Classical Term Calculus

abstract: When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of $\lambda$-calculus translated to proof-nets, these inessential details are captured by a notion of equivalence on $\lambda$-terms known as $\simeq_\sigma$-equivalence, in both the intuitionistic (due to Regnier) and classical (due to Laurent) cases. The purpose of this paper is to uncover a strong bisimulation behind $\simeq_\sigma$-equivalence, as formulated by Laurent for Parigot's $\lambda\mu$-calculus. This is achieved by introducing a relation $\simeq$, defined over a revised presentation of $\lambda\mu$-calculus we dub $\Lambda M$. More precisely, we first identify the reasons behind Laurent's $\simeq_\sigma$-equivalence on $\lambda\mu$-terms failing to be a strong bisimulation. Inspired by Laurent's \emph{Polarized Proof-Nets}, this leads us to distinguish multiplicative and exponential reduction steps on terms. Second, we enrich the syntax of $\lambda\mu$ to allow us to track the exponential operations. These technical ingredients pave the way towards a strong bisimulation for the classical case. We introduce a calculus $\Lambda M$ and a relation $\simeq$ that we show to be a strong bisimulation with respect to reduction in $\Lambda M$, ie. two $\simeq$-equivalent terms have the exact same reduction semantics, a result which fails for Regnier's $\simeq_\sigma$-equivalence in $\lambda$-calculus as well as for Laurent's $\simeq_\sigma$-equivalence in $\lambda\mu$. Although $\simeq$ is formulated over an enriched syntax and hence is not strictly included in Laurent's $\simeq_\sigma$, we show how it can be seen as a restriction of it.


title: Normalizing Flows and the Real-Time Sign Problem

abstract: Normalizing flows have recently been applied to the problem of accelerating Markov chains in lattice field theory. We propose a generalization of normalizing flows that allows them to applied to theories with a sign problem. These complex normalizing flows are closely related to contour deformations (i.e. the generalized Lefschetz thimble method), which been applied to sign problems in the past. We discuss the question of the existence of normalizing flows: they do not exist in the most general case, but we argue that exact normalizing flows are likely to exist for many physically interesting problems, including cases where the Lefschetz thimble decomposition has an intractable sign problem. Finally, normalizing flows can be constructed in perturbation theory. We give numerical results on their effectiveness across a range of couplings for the Schwinger-Keldysh sign problem associated to a real scalar field in $0+1$ dimensions.


title: The ultrametric Gromov-Wasserstein distance

abstract: In this paper, we investigate compact ultrametric measure spaces which form a subset $\mathcal{U}^w$ of the collection of all metric measure spaces $\mathcal{M}^w$. Similar as for the ultrametric Gromov-Hausdorff distance on the collection of ultrametric spaces $\mathcal{U}$, we define ultrametric versions of two metrics on $\mathcal{U}^w$, namely of Sturm's distance of order $p$ and of the Gromov-Wasserstein distance of order $p$. We study the basic topological and geometric properties of these distances as well as their relation and derive for $p=\infty$ a polynomial time algorithm for their calculation. Further, several lower bounds for both distances are derived and some of our results are generalized to the case of finite ultra-dissimilarity spaces.


title: Uniform resonance free regions for convex cocompact hyperbolic surfaces and expanders

abstract: We prove that every family of coverings of any infinite-area, convex cocompact hyperbolic surface has uniform spectral gap, provided that the associated Schreier graphs form a family of two-sided expanders. This extends the results of Brooks, Burger, and Bourgain-Gamburd-Sarnak to a setting where the Laplacian has no $L^2$-eigenvalues. In particular, the notion of spectral gap needs to be redefined in terms of the resonances of the Laplacian. As an immediate corollary, we obtain uniform spectral gap for congruence covers of convex cocompact surfaces, a result previously established by Oh-Winter and Bourgain-Kontorovich-Magee. Moreover, given any convex cocompact hyperbolic surface $X$, we provide a new "universal" resonance-free region for $X$, by which we mean a region in the complex plane that contains no resonances for any finite cover of $X$. This enlarges the universal resonance-free region given by Magee-Naud. Our methods rely on the thermodynamic formalism for twisted Selberg zeta functions.