title: Multi-Channel Bayesian Persuasion

abstract: The celebrated Bayesian persuasion model considers strategic communication between an informed agent (the sender) and uninformed decision makers (the receivers). The current rapidly-growing literature mostly assumes a dichotomy: either the sender is powerful enough to communicate separately with each receiver (a.k.a. private persuasion), or she cannot communicate separately at all (a.k.a. public persuasion). We study a model that smoothly interpolates between the two, by considering a natural multi-channel communication structure in which each receiver observes a subset of the sender's communication channels. This captures, e.g., receivers on a network, where information spillover is almost inevitable. We completely characterize when one communication structure is better for the sender than another, in the sense of yielding higher optimal expected utility universally over all prior distributions and utility functions. The characterization is based on a simple pairwise relation among receivers - one receiver information-dominates another if he observes at least the same channels. We prove that a communication structure $M_1$ is (weakly) better than $M_2$ if and only if every information-dominating pair of receivers in $M_1$ is also such in $M_2$. We also provide an additive FPTAS for the optimal sender's signaling scheme when the number of states is constant and the graph of information-dominating pairs is a directed forest. Finally, we prove that finding an optimal signaling scheme under multi-channel persuasion is, generally, computationally harder than under both public and private persuasion.


title: MCCE: Monte Carlo sampling of realistic counterfactual explanations

abstract: We introduce MCCE: Monte Carlo sampling of valid and realistic Counterfactual Explanations for tabular data, a novel counterfactual explanation method that generates on-manifold, actionable and valid counterfactuals by modeling the joint distribution of the mutable features given the immutable features and the decision. Unlike other on-manifold methods that tend to rely on variational autoencoders and have strict prediction model and data requirements, MCCE handles any type of prediction model and categorical features with more than two levels. MCCE first models the joint distribution of the features and the decision with an autoregressive generative model where the conditionals are estimated using decision trees. Then, it samples a large set of observations from this model, and finally, it removes the samples that do not obey certain criteria. We compare MCCE with a range of state-of-the-art on-manifold counterfactual methods using four well-known data sets and show that MCCE outperforms these methods on all common performance metrics and speed. In particular, including the decision in the modeling process improves the efficiency of the method substantially.


title: Supporting Undotted Arabic with Pre-trained Language Models

abstract: We observe a recent behaviour on social media, in which users intentionally remove consonantal dots from Arabic letters, in order to bypass content-classification algorithms. Content classification is typically done by fine-tuning pre-trained language models, which have been recently employed by many natural-language-processing applications. In this work we study the effect of applying pre-trained Arabic language models on "undotted" Arabic texts. We suggest several ways of supporting undotted texts with pre-trained models, without additional training, and measure their performance on two Arabic natural-language-processing downstream tasks. The results are encouraging; in one of the tasks our method shows nearly perfect performance.


title: Quantifying Wetting Dynamics with Triboelectrification

abstract: Wetting is often perceived as an intrinsic surface property of materials, but determining its evolution is complicated by its complex dependence on roughness across the scales. The Wenzel state, where liquids have intimate contact with the rough substrate, and the Cassie-Baxter state, where liquids sit onto air pockets formed between asperities, are only two states among the plethora of wetting behaviors. Furthermore, transitions from the Cassie-Baxter to the Wenzel state dictate completely different surface performance, such as anti-contamination, anti-icing, drag reduction etc.; however, little is known about how transition occurs during time between the several wetting modes. In this paper, we show that wetting dynamics can be accurately quantified and tracked using solid-liquid triboelectrification. Theoretical underpinning reveals how surface micro-/nano-geometries regulate stability/infiltration, also demonstrating the generality of our theoretical approach in understanding wetting transitions.

categories: cond-mat.soft cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Unsupervised Online Learning for Robotic Interestingness with Visual Memory

abstract: Autonomous robots frequently need to detect "interesting" scenes to decide on further exploration, or to decide which data to share for cooperation. These scenarios often require fast deployment with little or no training data. Prior work considers "interestingness" based on data from the same distribution. Instead, we propose to develop a method that automatically adapts online to the environment to report interesting scenes quickly. To address this problem, we develop a novel translation-invariant visual memory and design a three-stage architecture for long-term, short-term, and online learning, which enables the system to learn human-like experience, environmental knowledge, and online adaption, respectively. With this system, we achieve an average of 20% higher accuracy than the state-of-the-art unsupervised methods in a subterranean tunnel environment. We show comparable performance to supervised methods for robot exploration scenarios showing the efficacy of our approach. We expect that the presented method will play an important role in the robotic interestingness recognition exploration tasks.


title: A Survey of Zero-shot Generalisation in Deep Reinforcement Learning

abstract: The study of zero-shot generalisation (ZSG) in deep Reinforcement Learning (RL) aims to produce RL algorithms whose policies generalise well to novel unseen situations at deployment time, avoiding overfitting to their training environments. Tackling this is vital if we are to deploy reinforcement learning algorithms in real world scenarios, where the environment will be diverse, dynamic and unpredictable. This survey is an overview of this nascent field. We rely on a unifying formalism and terminology for discussing different ZSG problems, building upon previous works. We go on to categorise existing benchmarks for ZSG, as well as current methods for tackling these problems. Finally, we provide a critical discussion of the current state of the field, including recommendations for future work. Among other conclusions, we argue that taking a purely procedural content generation approach to benchmark design is not conducive to progress in ZSG, we suggest fast online adaptation and tackling RL-specific problems as some areas for future work on methods for ZSG, and we recommend building benchmarks in underexplored problem settings such as offline RL ZSG and reward-function variation.


title: Time reversal of surface plasmons

abstract: We study in this work the so-called "instantaneous time mirrors" in the context of surface plasmons. The latter are associated with high frequency waves at the surface of a conducting sheet. Instantaneous time mirrors were introduced by M. Fink et al, with the idea that singular perturbations in the time variable in a wave-type equation create a time-reversed focusing wave. We consider the time-dependent three-dimensional Maxwell's equations, coupled to Drude's model for the description of the surface current. The time mirror is modeled by a sudden, strong, change in the Drude weight of the electrons on the sheet. Our goal is to characterize the time-reversed wave, in particular to quantify the quality of refocusing. We establish that the latter depends on the distance of the source to the sheet, and on some physical parameters such as the relaxation time of the electrons. We also show that, in addition to the plasmonic wave, the time mirror generates a free propagating wave that offers, contrary to the surface wave, some resolution in the direction orthogonal to the sheet. Blurring effects due to non-instantaneous mirrors are finally investigated.


title: An exterior overdetermined problem for Finsler $N$-laplacian in convex cones

abstract: We consider a partially overdetermined problem for anisotropic $N$-Laplace equations in a convex cone $\Sigma$ intersected with the exterior of a bounded domain $\Omega$ in $\mathbb{R}^N$, $N\geq 2$. Under a prescribed logarithmic condition at infinity, we prove a rigidity result by showing that the existence of a solution implies that $\Sigma\cap\Omega$ must be the intersection of the Wulff shape and $\Sigma$. Our approach is based on a Pohozaev-type identity and the characterization of minimizers of the anisotropic isoperimetric inequality inside convex cones.


title: Boosting Supervised Learning Performance with Co-training

abstract: Deep learning perception models require a massive amount of labeled training data to achieve good performance. While unlabeled data is easy to acquire, the cost of labeling is prohibitive and could create a tremendous burden on companies or individuals. Recently, self-supervision has emerged as an alternative to leveraging unlabeled data. In this paper, we propose a new light-weight self-supervised learning framework that could boost supervised learning performance with minimum additional computation cost. Here, we introduce a simple and flexible multi-task co-training framework that integrates a self-supervised task into any supervised task. Our approach exploits pretext tasks to incur minimum compute and parameter overheads and minimal disruption to existing training pipelines. We demonstrate the effectiveness of our framework by using two self-supervised tasks, object detection and panoptic segmentation, on different perception models. Our results show that both self-supervised tasks can improve the accuracy of the supervised task and, at the same time, demonstrates strong domain adaption capability when used with additional unlabeled data.


title: Topological to magnetically ordered quantum phase transition in antiferromagnetic spin ladders with long-range interactions

abstract: We study a generalized quantum spin ladder with staggered long range interactions that decay as a power-law with exponent $\alpha$. Using large scale quantum Monte Carlo (QMC) and the density matrix renormalization group (DMRG) simulations, we show that this model undergoes a transition from a rung-dimer phase characterized by a non-local string order parameter, to a symmetry broken N\'eel phase. We find evidence that the transition is second order.In the magnetically ordered phase, the spectrum exhibits gapless modes, while excitations in the gapped phase are well described in terms of triplons -- bound states of spinons across the legs. We obtain the momentum resolved spin dynamic structure factor numerically and find a well defined triplon band evolves into a gapless magnon dispersion through the transition. We further discuss the possibility of deconfined criticality in this model.


title: LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving

abstract: Object detection in state-of-the-art Autonomous Vehicles (AV) framework relies heavily on deep neural networks. Typically, these networks perform object detection uniformly on the entire camera LiDAR frames. However, this uniformity jeopardizes the safety of the AV by giving the same priority to all objects in the scenes regardless of their risk of collision to the AV. In this paper, we present a new end-to-end pipeline for AV that introduces the concept of LiDAR cluster first and camera inference later to detect and classify objects. The benefits of our proposed framework are twofold. First, our pipeline prioritizes detecting objects that pose a higher risk of collision to the AV, giving more time for the AV to react to unsafe conditions. Second, it also provides, on average, faster inference speeds compared to popular deep neural network pipelines. We design our framework using the real-world datasets, the Waymo Open Dataset, solving challenges arising from the limitations of LiDAR sensors and object detection algorithms. We show that our novel object detection pipeline prioritizes the detection of higher risk objects while simultaneously achieving comparable accuracy and a 25% higher average speed compared to camera inference only.


title: Reinforcement Learning on Human Decision Models for Uniquely Collaborative AI Teammates

abstract: In 2021 the Johns Hopkins University Applied Physics Laboratory held an internal challenge to develop artificially intelligent (AI) agents that could excel at the collaborative card game Hanabi. Agents were evaluated on their ability to play with human players whom the agents had never previously encountered. This study details the development of the agent that won the challenge by achieving a human-play average score of 16.5, outperforming the current state-of-the-art for human-bot Hanabi scores. The winning agent's development consisted of observing and accurately modeling the author's decision making in Hanabi, then training with a behavioral clone of the author. Notably, the agent discovered a human-complementary play style by first mimicking human decision making, then exploring variations to the human-like strategy that led to higher simulated human-bot scores. This work examines in detail the design and implementation of this human compatible Hanabi teammate, as well as the existence and implications of human-complementary strategies and how they may be explored for more successful applications of AI in human machine teams.


title: Theoretical Linear Convergence of Deep Unfolding Network for Block-Sparse Signal Recovery

abstract: In this paper, we consider the recovery of the high-dimensional block-sparse signal from a compressed set of measurements, where the non-zero coefficients of the recovered signal occur in a small number of blocks. Adopting the idea of deep unfolding, we explore the block-sparse structure and put forward a block-sparse reconstruction network named Ada-BlockLISTA, which performs gradient descent on every single block followed by a block-wise shrinkage. Furthermore, we prove the linear convergence rate of our proposed network, which also theoretically guarantees exact recovery for a potentially higher sparsity level based on underlyingblock structure. Numerical results indicate that Ada-BlockLISTA yields better signal recovery performance compared with existing algorithms, which ignore the additional block structure in the signal model.


title: Coherent feedback cooling of a nanomechanical membrane with atomic spins

abstract: Coherent feedback stabilises a system towards a target state without the need of a measurement, thus avoiding the quantum backaction inherent to measurements. Here, we employ optical coherent feedback to remotely cool a nanomechanical membrane using atomic spins as a controller. Direct manipulation of the atoms allows us to tune from strong-coupling to an overdamped regime. Making use of the full coherent control offered by our system, we perform spin-membrane state swaps combined with stroboscopic spin pumping to cool the membrane in a room-temperature environment to ${T}={216}\,\mathrm{mK}$ ($\bar{n}_{m} = 2.3\times 10^3$ phonons) in ${200}\,\mathrm{{\mu}s}$. We furthermore observe and study the effects of delayed feedback on the cooling performance. Starting from a cryogenically pre-cooled membrane, this method would enable cooling of the mechanical oscillator close to its quantum mechanical ground state and the preparation of nonclassical states.


title: Non-parametric model-based estimation of the effective reproduction number for SARS-CoV-2

abstract: Viral outbreaks, such as the current COVID-19 pandemic, are commonly described by compartmental models by means of ordinary differential equation (ODE) systems. The parameter values of these ODE models are typically unknown and need to be estimated based on accessible data. In order to describe realistic pandemic scenarios with strongly varying situations, these model parameters need to be assumed as time-dependent. While parameter estimation for the typical case of time-constant parameters does not pose larger issues, the determination of time-dependent parameters, e.g.~the transition rates of compartmental models, remains notoriously difficult, in particular since the function class of these time-dependent parameters is unknown. In this work, we present a novel method which utilizes the Augmented Kalman Smoother in combination with an Expectation-Maximization algorithm to simultaneously estimate all time-dependent parameters in an SIRD compartmental model. This approach only requires incidence data, but no prior knowledge on model parameters or any further assumptions on the function class of the time-dependencies. In contrast to other approaches for the estimation of the time-dependent reproduction number, no assumptions on the parameterization of the serial interval distribution are required. With this method, we are able to adequately describe COVID-19 data in Germany and to give non-parametric model-based time course estimates for the effective reproduction number.


title: Complemented MacNeille completions and algebras of fractions

abstract: We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation, which subsumes both Boolean complements in bounded distributive lattices and multiplicative inverses in monoids. The central question of the paper is whether and how bimonoids can be embedded into complemented bimonoids, generalizing the embedding of cancellative commutative monoids into their groups of fractions and of bounded distributive lattices into their free Boolean extensions. We prove that each commutative ($\ell$-)bimonoid indeed embeds into a complete complemented commutative $\ell$-bimonoid in a doubly dense way reminiscent of the Dedekind--MacNeille completion. Moreover, this complemented completion, which is term equivalent to a commutative involutive residuated lattice, sometimes contains a tighter complemented envelope analogous to the group of fractions. In the case of cancellative commutative monoids this algebra of fractions is precisely the familiar group of fractions, while in the case of Brouwerian (Heyting) algebras it is a (bounded) idempotent involutive commutative residuated lattice. This construction of the algebra of fractions in fact yields a categorical equivalence between varieties of integral and of involutive residuated structures which subsumes as special cases the known equivalences between Abelian $\ell$-groups and their negative cones, and between Sugihara monoids and their negative cones.


title: DICE: Leveraging Sparsification for Out-of-Distribution Detection

abstract: Detecting out-of-distribution (OOD) inputs is a central challenge for safely deploying machine learning models in the real world. Previous methods commonly rely on an OOD score derived from the overparameterized weight space, while largely overlooking the role of sparsification. In this paper, we reveal important insights that reliance on unimportant weights and units can directly attribute to the brittleness of OOD detection. To mitigate the issue, we propose a sparsification-based OOD detection framework termed DICE. Our key idea is to rank weights based on a measure of contribution, and selectively use the most salient weights to derive the output for OOD detection. We provide both empirical and theoretical insights, characterizing and explaining the mechanism by which DICE improves OOD detection. By pruning away noisy signals, DICE provably reduces the output variance for OOD data, resulting in a sharper output distribution and stronger separability from ID data. We demonstrate the effectiveness of sparsification-based OOD detection on several benchmarks and establish competitive performance.


title: Filter classes of upsets of distributive lattices

abstract: Let us say that a class of upward closed sets (upsets) of distributive lattices is a finitary filter class if it is closed under homomorphic preimages, intersections, and directed unions. We show that the only finitary filter classes of upsets of distributive lattices are formed by what we call $n$-filters. These are related to the finite Boolean lattice with $n$ atoms in the same way that filters are related to the two-element Boolean lattice: $n$-filters are precisely the intersections of prime $n$-filters and prime $n$-filters are precisely the homomorphic preimages of the prime $n$-filter of non-zero elements of the finite Boolean lattice with $n$ atoms. Moreover, $n$-filters on Boolean algebras are the only finitary filter classes of upsets of Boolean algebras generated by prime upsets.


title: The interplay of local chemistry and plasticity in controlling microstructure formation during laser powder bed fusion of metals

abstract: Additive manufacturing (AM) of metallic components promises many advantages over conventional manufacturing processes through high design flexibility across multiple length scales and precision coupled with an astonishing combination of mechanical properties. Characterizing the relationship between microstructure and mechanical properties remains one of the major challenges for this novel technology. A natural precursor is identifying the influence of the processing path on the developing microstructure. We combine experimental studies of single-track laser powder bed fusion (LPBF) scans of AISI 316L stainless steel, finite element analyses, and large-scale three-dimensional discrete dislocation dynamics simulations to provide a unique understanding of the underlying mechanisms leading to the formation of heterogeneous defect structures in additively manufactured metals. Our results show that the interruption of dislocation slip at solidification cell walls is responsible for the formation of cellular dislocation structures, highlighting the significance of solute segregation for plastic deformation of additively manufactured components. This work provides a mechanistic perspective on heterogeneous microstructure formation and opens the potential for a reliable prediction of the resulting mechanical properties of additively manufactured parts.


title: Exploring the Limits of Epistemic Uncertainty Quantification in Low-Shot Settings

abstract: Uncertainty quantification in neural network promises to increase safety of AI systems, but it is not clear how performance might vary with the training set size. In this paper we evaluate seven uncertainty methods on Fashion MNIST and CIFAR10, as we sub-sample and produce varied training set sizes. We find that calibration error and out of distribution detection performance strongly depend on the training set size, with most methods being miscalibrated on the test set with small training sets. Gradient-based methods seem to poorly estimate epistemic uncertainty and are the most affected by training set size. We expect our results can guide future research into uncertainty quantification and help practitioners select methods based on their particular available data.


title: Fusion research using Azure A100 HPC instances

abstract: Fusion simulations have in the past required the use of leadership scale HPC resources to produce advances in physics. One such package is CGYRO, a premier multi-scale plasma turbulence simulation code. CGYRO is a typical HPC application that would not fit into a single node, as it requires O(100 GB) of memory and O(100 TFLOPS) worth of compute for relevant simulations. When distributed across multiple nodes, CGYRO requires high-throughput and low-latency networking to effectively use the compute resources. While in the past such compute may have required hundreds, or even thousands of nodes, recent advances in hardware capabilities allow for just a couple of nodes to deliver the necessary compute power. This paper presents our experience running CGYRO on NVIDIA A100 GPUs on InfiniBand-connected HPC resources in the Microsoft Azure Cloud. A comparison to older generation CPU and GPU Azure resources as well as on-prem resources is also provided.


title: (Co)module algebras and their generalizations

abstract: This manuscript is an extended version of the author's habilitation thesis defended on May 21, 2021 at M.V. Lomonosov Moscow State University. It is devoted to the study of (co)stability of radicals, existence of (co)invariant Levi and Wedderburn decompositions, structure of the corresponding simple algebras and codimension growth of polynomial identities in (co)module algebras over bi- and Hopf algebras and their generalizations. The main difference between this manuscript and the "official" thesis are additional chapters dealing with equivalences of gradings and Hopf algebra (co)actions, V-universal (co)acting bi- and Hopf algebras and related categorical questions. (In Russian.)


title: Findings of the Sentiment Analysis of Dravidian Languages in Code-Mixed Text

abstract: We present the results of the Dravidian-CodeMix shared task held at FIRE 2021, a track on sentiment analysis for Dravidian Languages in Code-Mixed Text. We describe the task, its organization, and the submitted systems. This shared task is the continuation of last year's Dravidian-CodeMix shared task held at FIRE 2020. This year's tasks included code-mixing at the intra-token and inter-token levels. Additionally, apart from Tamil and Malayalam, Kannada was also introduced. We received 22 systems for Tamil-English, 15 systems for Malayalam-English, and 15 for Kannada-English. The top system for Tamil-English, Malayalam-English and Kannada-English scored weighted average F1-score of 0.711, 0.804, and 0.630, respectively. In summary, the quality and quantity of the submission show that there is great interest in Dravidian languages in code-mixed setting and state of the art in this domain still needs more improvement.


title: Relations between different Hamiltonian forms of the third Painlev\'e equation

abstract: In this paper we study different Hamiltonian systems with polynomial and rational Hamiltonians associated with the generic third Painlev\'e equation and present explicit birational transformations relating them.


title: Brane order and quantum magnetism in modulated anisotropic ladders

abstract: Two-leg spin-$\frac12$ ladders with anisotropy and two different dimerization patterns are analyzed at zero temperature. This model is equivalent to a modulated interacting (Kitaev) ladder. The Hartree-Fock mean-field approximation reduces the model to a sum of two quadratic effective Majorana Hamiltonians, which are dual to a sum of two (even/odd) XY quantum chains in the alternating transverse fields. The mapping between the effective Hamiltonian of the ladder and the pair of the dual XY chains considerably simplifies calculations the order parameters and analysis of the hidden symmetry breaking. The ground-state phase diagram of the staggered ladder contains nine phases, four of them are conventional antiferromagnets, while the other five possess non-local brane orders. Using the dualities and the newly found exact results for the local and string order parameters of the transverse XY chains, we were able to find analytically all the magnetizations and the brane order parameters for the staggered case, as functions of the renormalized couplings of the effective Hamiltonian. The columnar ladder has three ground-state phases and does not possess magnetic long-ranged order. The brane order parameters for these three phases are calculated numerically from the Toeplitz determinants. We expect this study to motivate the search for the real spin-Peierls anisotropic ladder compounds which can undergo the predicted quantum phase transitions with gap closures and distinct brane orders.


title: The CubeSpec space mission. I. Asteroseismology of massive stars from time series optical spectroscopy: science requirements and target list prioritisation

abstract: Context. There is currently a niche for providing high-cadence, high resolution, time-series optical spectroscopy from space, which can be filled by using a low-cost cubesat mission. The Belgian-led ESA CubeSpec mission is specifically designed to provide space-based, low-cost spectroscopy with specific capabilities that can be optimised for a particular science need. Approved as an ESA in-orbit demonstrator, the CubeSpec satellite's primary science objective will focus on obtaining high-cadence, high resolution optical spectroscopic data to facilitate asteroseismology of pulsating massive stars. Aims. In this first paper, we aim to search for pulsating massive stars suitable for the CubeSpec mission, specifically $\beta$ Cep stars, which typically require time series spectroscopy to identify the geometry of their pulsation modes. Methods. Based on the science requirements needed to enable asteroseismology of massive stars with the capabilities of CubeSpec's spectrograph, we combine a literature study for pulsation with the analysis of recent high-cadence time series TESS photometry to classify the variability for stars brighter than V < 4 mag and between O9 and B3 in spectral type. Results. Among the 90 stars that meet our magnitude and spectral type requirements, we identify 23 promising $\beta$ Cep stars with high-amplitude (non-)radial pulsation modes with frequencies below 7 d$^{-1}$. Using further constraints on projected rotational velocities, pulsation amplitudes and number of pulsation modes, we devise a prioritised target list for the CubeSpec mission according to its science requirements and the potential of the targets for asteroseismology. The full target catalogue further provide a modern TESS-based review of line profile and photometric variability properties among bright O9-B3 stars.


title: Improving Prediction-Based Lossy Compression Dramatically via Ratio-Quality Modeling

abstract: Error-bounded lossy compression is one of the most effective techniques for scientific data reduction. However, the traditional trial-and-error approach used to configure lossy compressors for finding the optimal trade-off between reconstructed data quality and compression ratio is prohibitively expensive. To resolve this issue, we develop a general-purpose analytical ratio-quality model based on the prediction-based lossy compression framework, which can effectively foresee the reduced data quality and compression ratio, as well as the impact of the lossy compressed data on post-hoc analysis quality. Our analytical model significantly improves the prediction-based lossy compression in three use-cases: (1) optimization of predictor by selecting the best-fit predictor; (2) memory compression with a target ratio; and (3) in-situ compression optimization by fine-grained error-bound tuning of various data partitions. We evaluate our analytical model on 10 scientific datasets, demonstrating its high accuracy (93.47% accuracy on average) and low computational cost (up to 18.7X lower than the trial-and-error approach) for estimating the compression ratio and the impact of lossy compression on post-hoc analysis quality. We also verified the high efficiency of our ratio-quality model using different applications across the three use-cases. In addition, the experiment demonstrates that our modeling based approach reduces the time to store the 3D Reverse Time Migration data by up to 3.4X over the traditional solution using 128 CPU cores from 8 compute nodes.


title: A scaling law chaotic system

abstract: In this article, we propose an anomalous chaotic system of the scaling-law ordinary differential equations involving the Mandelbrot scaling law. This chaotic behavior shows the "Wukong" effect. The comparison among the Lorenz and scaling-law attractors is discussed in detail. We also suggest the conjecture for the fixed point theory for the fractal SL attractor. The scaling-law chaos may be open a new door in the study of the chaos theory.


title: Existence of nonradial domains for overdetermined and isoperimetric problems in nonconvex cones

abstract: In this work we address the question of the existence of nonradial domains inside a nonconvex cone for which a mixed boundary overdetermined problem admits a solution. Our approach is variational, and consists in proving the existence of nonradial minimizers, under a volume constraint, of the associated torsional energy functional. In particular we give a condition on the domain $D$ on the sphere spanning the cone which ensures that the spherical sector is not a minimizer. Similar results are obtained for the relative isoperimetric problem in nonconvex cones.


title: The lattice of super-Belnap logics

abstract: We study the lattice of extensions of four-valued Belnap--Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe the global structure of this lattice by splitting it into several subintervals, and prove some new completeness theorems for super-Belnap logics. The crucial technical tool for this purpose will be the so-called antiaxiomatic (or explosive) part operator. The antiaxiomatic (or explosive) extensions of Belnap--Dunn logic turn out to be of particular interest owing to their connection to graph theory: the lattice of finitary antiaxiomatic extensions of Belnap--Dunn logic is iso\-morphic to the lattice of upsets in the homomorphism order on finite graphs (with loops allowed). In particular, there is a continuum of finitary super-Belnap logics. Moreover, a non-finitary super-Belnap logic can be constructed with the help of this isomorphism. As algebraic corollaries we obtain the existence of a continuum of antivarieties of De Morgan algebras and the existence of a prevariety of De Morgan algebras which is not a quasivariety.


title: Identification of the Source for Full Parabolic Equations

abstract: In this work, we consider the problem of identifying the time independent source for full parabolic equations in $\mathbb{R}^n$ from noisy data. This is an ill-posed problem in the sense of Hadamard. To compensate the factor that causes the instability, a family of parametric regularization operators is introduced, where the rule to select the value of the regularization parameter is included. This rule, known as regularization parameter choice rule, depends on the data noise level and the degree of smoothness that it is assumed for the source. The proof for the stability and convergence of the regularization criteria is presented and a H\"older type bound is obtained for the estimation error. Numerical examples are included to illustrate the effectiveness of this regularization approach.


title: From partially ordered monoids to partially ordered groups via free nuclear preimages

abstract: Two fundamental constructions operating on residuated lattices and partially ordered monoids (pomonoids) are so-called nuclear images and conuclear images. Nuclear images allow us to construct many of the ordered algebras which arise in non-classical logic (such as pomonoids, semilattice-ordered monoids, and residuated lattices) from cancellative ones. Conuclear images then allow us to construct some of these cancellative algebras from partially ordered or lattice-ordered groups. Among other things, we show that finite (commutative) integral residuated lattices are precisely the finite nuclear images of commutative cancellative integral residuated lattices and that (commutative) integrally closed pomonoids are precisely the nuclear images of subpomonoids of partially ordered (Abelian) groups. The key construction is the free nuclear preimage of a pomonoid. As a by-product of our study of free nuclear preimages, we obtain a syntactic characterization of quasivarieties of pomonoids and semilattice-ordered monoids closed under nuclear images.


title: On The Variational Perspectives To The Graph Isomorphism Problem

abstract: This paper studies the Graph Isomorphism Problem from a variational algorithmic perspective, specifically studying the Quadratic Unconstrained Binary Optimization (QUBO) formulation of the Graph Isomorphism Problem and subsequent execution using the Quantum Approximate Optimization Algorithm (QAOA) and the Variational Quantum Eigensolver (VQE). This study presents the results of these algorithms and the variations that occur therein for graphs of four and five nodes. The main findings of this paper include the clustering in the energy landscape for the QAOA in isomorphic graphs having an equal number of nodes and edges. This trend found in the QAOA study was further reinforced by studying the ground state energy reduction using VQEs. Furthermore, this paper examines the trend under which isomorphic pairs of graphs vary in the ground state energies, with varying edges and nodes.


title: Parametricity Features and their Requirements

abstract: In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.


title: NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet

abstract: We introduce NetQASM, a low-level instruction set architecture for quantum internet applications. NetQASM is a universal, platform-independent and extendable instruction set with support for local quantum gates, powerful classical logic and quantum networking operations for remote entanglement generation. Furthermore, NetQASM allows for close integration of classical logic and communication at the application layer with quantum operations at the physical layer. This enables quantum network applications to be programmed in high-level platform-independent software, which is not possible using any other QASM variants. We implement NetQASM in a series of tools to write, parse, encode and run NetQASM code, which are available online. Our tools include a higher-level SDK in Python, which allows an easy way of programming applications for a quantum internet. Our SDK can be used at home by making use of our existing quantum simulators, NetSquid and SimulaQron, and will also provide a public interface to hardware released on a future iteration of Quantum Network Explorer.


title: Machine Learning Assisted Approach for Security-Constrained Unit Commitment

abstract: Security-constrained unit commitment (SCUC) is solved for power system day-ahead generation scheduling, which is a large-scale mixed-integer linear programming problem and is very computationally intensive. Model reduction of SCUC may bring significant time savings. In this work, a novel approach is proposed to effectively utilize machine learning (ML) to reduce the problem size of SCUC. An ML model using logistic regression (LR) algorithm is proposed and trained with historical nodal demand profiles and the respective commitment schedules. The ML outputs are processed and analyzed to reduce variables and constraints in SCUC. The proposed approach is validated on several standard test systems including IEEE 24-bus system, IEEE 73-bus system, IEEE 118-bus system, synthetic South Carolina 500-bus system and Polish 2383-bus system. Simulation results demonstrate that the use of the prediction from the proposed LR model in SCUC model reduction can substantially reduce the computing time while maintaining solution quality.


title: A correlation between energy gap, critical current density and relaxation of a superconductor

abstract: Superconductors like other solids cannot relax instantaneously from excited states to thermodynamic equilibrium. In this paper, relaxation from thermal excitations is investigated, like after absorption of radiation or, under conductor movement, release and transformation of mechanical tension to thermal energy. Relaxation proceeds within finite periods of time the length of which increases the more strongly the closer the superconductor temperature has already approached its critical value. Properties of many-particle systems (as explained, by an analogy to nuclear physics), basic thermodynamic considerations (temperature uniquely defined under solely equilibrium condition) and standard, multi-component heat transfer principles (solid conduction plus radiation in thin films) are applied as tools to prove this expectation. Energy gap, superconductor critical current density and critical temperature, as a result, are tightly related to relaxation rates and relaxation times of the superconductor electron system. By numerical simulations, an attempt is made to find a quantitative correlation of these properties in a thin film superconductor.


title: Analysis and Design of Distributed MIMO Networks with a Wireless Fronthaul

abstract: We consider the analysis and design of distributed wireless networks wherein remote radio heads (RRHs) coordinate transmissions to serve multiple users on the same resource block (RB). Specifically, we analyze two possible multiple-input multiple-output wireless fronthaul solutions: multicast and zero forcing (ZF) beamforming. We develop a statistical model for the fronthaul rate and, coupled with an analysis of the user access rate, we optimize the placement of the RRHs. This model allows us to formulate the location optimization problem with a statistical constraint on fronthaul outage. Our results are cautionary, showing that the fronthaul requires considerable bandwidth to enable joint service to users. This requirement can be relaxed by serving a low number of users on the same RB. Additionally, we show that, with a fixed number of antennas, for the multicast fronthaul, it is prudent to concentrate these antennas on a few RRHs. However, for the ZF beamforming fronthaul, it is better to distribute the antennas on more RRHs. For the parameters chosen, using a ZF beamforming fronthaul improves the typical access rate by approximately 8% compared to multicast. Crucially, our work quantifies the effect of these fronthaul solutions and provides an effective tool for the design of distributed networks.

categories: cs.IT cs.PF cs.SY eess.SP eess.SY math.IT stat.AP


title: Response to glassy disorder in coin on spread of quantum walker

abstract: We analyze the response to incorporation of glassy disorder in the coin operation of a discrete-time quantum walk in one dimension. We find that the ballistic spread of the disorder-free quantum walker is inhibited by the insertion of disorder, for all the disorder distributions that we have chosen for our investigation, but remains faster than the dispersive spread of the classical random walker. Beyond this generic feature, there are significant differences between the responses to the different types of disorder. In particular, the falloff from ballistic spread can be slow (Gaussian) or fast (parabolic) for different disorders, when the strength of the disorder is still weak. The cases of slow response always pick up speed after a point of inflection at a mid-level disorder strength. The disorder distributions chosen for the study are Haar-uniform, spherical normal, circular, and two types of spherical Cauchy-Lorentz.


title: Iterates of Blaschke products and Peano curves

abstract: Let $f$ be a finite Blaschke product with $f(0)=0$ which is not a rotation and let $f^{n}$ be its $n$-th iterate. Given a sequence $\{a_{n}\}$ of complex numbers consider $F= \sum a_n f^{n}$. If $\{a_n\}$ tends to $0$ but $\sum |a_n| = \infty$, we prove that for any complex number $w$ there exists a point $\xi$ in the unit circle such that $\sum a_{n}f^{n}(\xi)$ converges and its sum is $w$. If $\sum |a_n| < \infty$ and the convergence is slow enough in a certain precise sense, then the image of the unit circle by $F$ has a non empty interior. The proofs are based on inductive constructions which use the beautiful interplay between the dynamics of $f$ as a selfmapping of the unit circle and those as a selfmapping of the unit disc.


title: Non-trivial activity dependence of static length scale and critical tests of active random first-order transition theory

abstract: Effects of activity on glassy dynamics are fundamental in several biological processes. Active glasses extend the scope of the equilibrium problem and provide new control parameters to probe different theoretical aspects. In the theory of glassy dynamics, different length scales play pivotal roles. Here, for the first time, we present results for the static length scale, $\xi_S$, in an active glass via large-scale molecular dynamics simulations for model active glasses in three spatial dimensions. We show that although the relaxation dynamics are equilibrium-like, activity has non-trivial effects on $\xi_S$. $\xi_S$ plays the central role in the random first-order transition (RFOT) theory. Thus, our work provides critical tests for the active RFOT theory, a phenomenological extension of its equilibrium counterpart. We find that the two exponents, $\theta$ and $\psi$, within the theory, become activity-dependent, exposing the non-trivial effects of activity on $\xi_S$. However, the combination of $\theta$ and $\psi$, which controls the relaxation dynamics, remains nearly independent of activity leading to the effectively equilibrium-like behavior. Interestingly, $\xi_S$ shows higher growth in an active glass; this should help better comparison of theories with simulations and experiments.


title: De Morgan clones and four-valued logics

abstract: We study clones on a four-element set related to the clone $\mathsf{DMA}$ of all term functions of the sub\-directly irreducible four-element De~Morgan algebra $\mathbf{DM_{4}}$. We find generating sets for the clones of all functions preserving the subalgebras of $\mathbf{DM_{4}}$, the auto\-morphisms of~$\mathbf{DM_{4}}$, the truth order and the information order on $\mathbf{DM_{4}}$, as well as clones defined by conjunctions of these conditions. We identify the covers of $\mathsf{DMA}$ in the lattice of four-valued clones and describe the lattice of clones above $\mathsf{DMA}$ which contain the discriminator function. Finally, observing that each clone above $\mathsf{DMA}$ defines an expansion of the four-valued Belnap--Dunn logic, we classify these clones by their metalogical properties, specifically by their position within the Leibniz and Frege hierarchies of abstract algebraic logic.


title: Causal Forecasting:Generalization Bounds for Autoregressive Models

abstract: Despite the increasing relevance of forecasting methods, causal implications of these algorithms remain largely unexplored. This is concerning considering that, even under simplifying assumptions such as causal sufficiency, the statistical risk of a model can differ significantly from its \textit{causal risk}. Here, we study the problem of \textit{causal generalization} -- generalizing from the observational to interventional distributions -- in forecasting. Our goal is to find answers to the question: How does the efficacy of an autoregressive (VAR) model in predicting statistical associations compare with its ability to predict under interventions? To this end, we introduce the framework of \textit{causal learning theory} for forecasting. Using this framework, we obtain a characterization of the difference between statistical and causal risks, which helps identify sources of divergence between them. Under causal sufficiency, the problem of causal generalization amounts to learning under covariate shifts, albeit with additional structure (restriction to interventional distributions under the VAR model). This structure allows us to obtain uniform convergence bounds on causal generalizability for the class of VAR models. To the best of our knowledge, this is the first work that provides theoretical guarantees for causal generalization in the time-series setting.


title: Merging Models with Fisher-Weighted Averaging

abstract: Averaging the parameters of models that have the same architecture and initialization can provide a means of combining their respective capabilities. In this paper, we take the perspective that this "merging" operation can be seen as choosing parameters that approximately maximize the joint likelihood of the posteriors of the models' parameters. Computing a simple average of the models' parameters therefore corresponds to making an isotropic Gaussian approximation to their posteriors. We develop an alternative merging procedure based on the Laplace approximation where we approximate each model's posterior as a Gaussian distribution whose precision matrix corresponds to its Fisher information. We first show that our "Fisher merging" technique provides a performance boost in settings where simple parameter averaging is currently used -- specifically, robust fine-tuning and model ensembling. Then, we compare merging to standard gradient-based transfer learning and demonstrate that merging enables a fundamentally different method for transferring capabilities across models. Specifically, we show that Fisher merging is competitive with gradient-based transfer learning approaches (while being significantly cheaper) in intermediate-task training and domain-adaptive pre-training. We also show that our merging procedure makes it possible to combine models in previously unexplored ways. We release our code to facilitate future research into methods for merging models.


title: TransMix: Attend to Mix for Vision Transformers

abstract: Mixup-based augmentation has been found to be effective for generalizing models during training, especially for Vision Transformers (ViTs) since they can easily overfit. However, previous mixup-based methods have an underlying prior knowledge that the linearly interpolated ratio of targets should be kept the same as the ratio proposed in input interpolation. This may lead to a strange phenomenon that sometimes there is no valid object in the mixed image due to the random process in augmentation but there is still response in the label space. To bridge such gap between the input and label spaces, we propose TransMix, which mixes labels based on the attention maps of Vision Transformers. The confidence of the label will be larger if the corresponding input image is weighted higher by the attention map. TransMix is embarrassingly simple and can be implemented in just a few lines of code without introducing any extra parameters and FLOPs to ViT-based models. Experimental results show that our method can consistently improve various ViT-based models at scales on ImageNet classification. After pre-trained with TransMix on ImageNet, the ViT-based models also demonstrate better transferability to semantic segmentation, object detection and instance segmentation. TransMix also exhibits to be more robust when evaluating on 4 different benchmarks. Code will be made publicly available at https://github.com/Beckschen/TransMix.


title: Error estimation for the time to a threshold value in evolutionary partial differential equations

abstract: We develop an \textit{a posteriori} error analysis for a numerical estimate of the time at which a functional of the solution to a partial differential equation (PDE) first achieves a threshold value on a given time interval. This quantity of interest (QoI) differs from classical QoIs which are modeled as bounded linear (or nonlinear) functionals {of the solution}. Taylor's theorem and an adjoint-based \textit{a posteriori} analysis is used to derive computable and accurate error estimates in the case of semi-linear parabolic and hyperbolic PDEs. The accuracy of the error estimates is demonstrated through numerical solutions of the one-dimensional heat equation and linearized shallow water equations (SWE), representing parabolic and hyperbolic cases, respectively.


title: $\ast$-Operator frame for $Hom_{\mathcal{A}}^{\ast}(\mathcal{X})$

abstract: In this Work, We introduce the concept of $\ast$-operator frame, which is a generalization of $\ast$-frames in Hilbert pro-$C^{\ast}$-modules, and we establish some results, we also study the tensor product of $\ast$-operator frame for Hilbert pro-$C^{\ast}$-modules.


title: Pegasus@Dravidian-CodeMix-HASOC2021: Analyzing Social Media Content for Detection of Offensive Text

abstract: To tackle the conundrum of detecting offensive comments/posts which are considerably informal, unstructured, miswritten and code-mixed, we introduce two inventive methods in this research paper. Offensive comments/posts on the social media platforms, can affect an individual, a group or underage alike. In order to classify comments/posts in two popular Dravidian languages, Tamil and Malayalam, as a part of the HASOC - DravidianCodeMix FIRE 2021 shared task, we employ two Transformer-based prototypes which successfully stood in the top 8 for all the tasks. The codes for our approach can be viewed and utilized.


title: Markov chains on hyperbolic-like groups and quasi-isometries

abstract: We propose the study of Markov chains on groups as a "quasi-isometry invariant" theory that encompasses random walks. In particular, we focus on certain classes of groups acting on hyperbolic spaces including (non-elementary) hyperbolic and relatively hyperbolic groups, acylindrically hyperbolic 3-manifold groups, as well as fundamental groups of certain graphs of groups with edge groups of subexponential growth. For those, we prove a linear progress result and various applications, and these lead to a Central Limit Theorem for random walks on groups quasi-isometric to the ones we consider.


title: On Efficient Uncertainty Estimation for Resource-Constrained Mobile Applications

abstract: Deep neural networks have shown great success in prediction quality while reliable and robust uncertainty estimation remains a challenge. Predictive uncertainty supplements model predictions and enables improved functionality of downstream tasks including embedded and mobile applications, such as virtual reality, augmented reality, sensor fusion, and perception. These applications often require a compromise in complexity to obtain uncertainty estimates due to very limited memory and compute resources. We tackle this problem by building upon Monte Carlo Dropout (MCDO) models using the Axolotl framework; specifically, we diversify sampled subnetworks, leverage dropout patterns, and use a branching technique to improve predictive performance while maintaining fast computations. We conduct experiments on (1) a multi-class classification task using the CIFAR10 dataset, and (2) a more complex human body segmentation task. Our results show the effectiveness of our approach by reaching close to Deep Ensemble prediction quality and uncertainty estimation, while still achieving faster inference on resource-limited mobile platforms.


title: Training Neural Networks with Fixed Sparse Masks

abstract: During typical gradient-based training of deep neural networks, all of the model's parameters are updated at each iteration. Recent work has shown that it is possible to update only a small subset of the model's parameters during training, which can alleviate storage and communication requirements. In this paper, we show that it is possible to induce a fixed sparse mask on the model's parameters that selects a subset to update over many iterations. Our method constructs the mask out of the $k$ parameters with the largest Fisher information as a simple approximation as to which parameters are most important for the task at hand. In experiments on parameter-efficient transfer learning and distributed training, we show that our approach matches or exceeds the performance of other methods for training with sparse updates while being more efficient in terms of memory usage and communication costs. We release our code publicly to promote further applications of our approach.


title: Kinetic Fokker-Planck and Landau Equations with Specular Reflection Boundary Condition

abstract: We establish existence of finite energy weak solutions to the kinetic Fokker-Planck equation and the linearized Landau equation near Maxwellian, in the presence of specular reflection boundary condition for general domains. Moreover, by using a method of reflection and the $S_p$ estimate previously established by the first and the last author, we prove regularity in the kinetic Sobolev spaces $S_p$ and anisotropic H\"older spaces for such weak solutions. Such $S_p$ regularity leads to the uniqueness of weak solutions.


title: Method for representing an exponent in a fifth-dimensional hypercomplex number systems using a hypercomplex computing software

abstract: The structure of method for constructing a representation of an exponential function in hypercomplex number systems(HNS) by the method of solving an associated system of linear differential equations is considered. Brief information about the hypercomplex computing software (HCS) is given. With the use of HCS, the necessary cumbersome operations on symbolic expressions were performed when constructing the representation of the exponent in the fifth-dimensional HNS. Fragments of programs in the environment of HCS and results of symbolic calculations are resulted


title: Simultaneous mixed-integer dynamic scheduling of processes and their energy systems

abstract: Increasingly volatile electricity prices make simultaneous scheduling optimization desirable for production processes and their energy systems. Simultaneous scheduling needs to account for both process dynamics and binary on/off-decisions in the energy system leading to challenging mixed-integer dynamic optimization problems. We propose an efficient scheduling formulation consisting of three parts: a linear scale-bridging model for the closed-loop process output dynamics, a data-driven model for the process energy demand, and a mixed-integer linear model for the energy system. Process dynamics are discretized by collocation yielding a mixed-integer linear programming (MILP) formulation. We apply the scheduling method to three case studies: a multi-product reactor, a single-product reactor, and a single-product distillation column, demonstrating the applicability to multi-input multi-output processes. For the first two case studies, we can compare our approach to nonlinear optimization and capture 82 % and 95 % of the improvement. The MILP formulation achieves optimization runtimes sufficiently fast for real-time scheduling.


title: Chaotic dynamics driven by particle-core interactions

abstract: High-intensity beams in modern linacs are frequently encircled by diffuse halos, which drive sustained particle losses and result in gradual degradation of accelerating structures. In large part, the growth of halos is facilitated by internal space-charge forces within the beams, and detailed characterization of this process constitutes an active area of ongoing research. A partial understanding of dynamics that ensue within space-charge dominated beams is presented by the particle-core interaction paradigm -- a mathematical model wherein single particle dynamics, subject to the collective potential of the core, are treated as a proxy for the broader behavior of the beam. In this work, we investigate the conditions for the onset of large-scale chaos within the framework of this model, and demonstrate that the propensity towards stochastic evolution is strongly dependent upon the charge distribution of the beam. In particular, we show that while particle motion within a uniformly charged beam is dominantly regular, rapid deterministic chaos readily arises within space-charge dominated Gaussian beams. Importantly, we find that for sufficiently high values of the beam's space charge and beam pulsation amplitude, enhanced chaotic mixing between the core and the halo can lead to an enhanced radial diffusion of charged particles. We explain our results from analytic grounds by demonstrating that chaotic motion is driven by the intersection of two principal resonances of the system, and derive the relevant overlap conditions. Additionally, our analysis illuminates a close connection between the mathematical formulation of the particle-core interaction model and the Andoyer family of integrable Hamiltonians.


title: Imprint of chiral symmetry restoration on the Polyakov loop and the heavy quark free energy

abstract: The Polyakov loop expectation value $\langle P\rangle$ is an order parameter of the deconfinement transition in the heavy quark mass regime, whereas its sensitivity to the deconfinement of light, dynamical quarks is not apparent. From the perspective of an effective Lagrangian in the vicinity of the chiral transition, the Polyakov loop, $P$, is an energy-like observable, and $\langle P\rangle$ should hence scale like the energy density. Using $N_f=2+1$ HISQ configurations at finite lattice spacing, we show that near the chiral transition temperature, the scaling behavior of $\langle P\rangle$ and the heavy quark free energy $F_q$ is consistent with energy-like observables in the 3-$d$, O($N$) universality class. We extend this analysis to other Polyakov loop observables, including the response of the heavy quark free energy, $F_q$, to the baryon chemical potential, which is expected to scale like a specific heat.


title: Gauging the superconformal group with a graded dual operator

abstract: Based on the superconformal algebra we construct a dual operator that introduces a grading among bosonic generators independent of the boson/fermion grading of the superalgebra. This dual operator allows us to construct an action that is gauge invariant under the grading even bosonic generators. We provide a self-dual notion based on the dual operator. We use the definition of the dual operator to contruct a model with gauge invariance $SO(1,3)\times SU(N) \times U(1) \subset SU(2,2|N)$. The choice of a graded dual operator allows us to overcome technical difficulties of $U(N)$ unified theories based on the superconformal group. The gravity action reproduces the Einstein-Hilbert action in certain sector of the theory. The definition of the dual operator allows us to include fermionic matter in the gauge connection in a geometric manner. We give a summary with possible phenomenological parameters that are included in the model.


title: The Curious Case of the 2021 Minneapolis Ward 2 City Council Election

abstract: In this article we explain why the November 2021 election for the Ward 2 city council seat in Minneapolis, MN, may be the mathematically most interesting ranked choice election in US history.


title: Edge-preserving Domain Adaptation for semantic segmentation of Medical Images

abstract: Domain Adaptation is a technique to address the lack of massive amounts of labeled data in unseen environments. Unsupervised domain adaptation is proposed to adapt a model to new modalities using solely labeled source data and unlabeled target domain data. Though many image-spaces domain adaptation methods have been proposed to capture pixel-level domain-shift, such techniques may fail to maintain high-level semantic information for the segmentation task. For the case of biomedical images, fine details such as blood vessels can be lost during the image transformation operations between domains. In this work, we propose a model that adapts between domains using cycle-consistent loss while maintaining edge details of the original images by enforcing an edge-based loss during the adaptation process. We demonstrate the effectiveness of our algorithm by comparing it to other approaches on two eye fundus vessels segmentation datasets. We achieve 1.1 to 9.2 increment in DICE score compared to the SOTA and ~5.2 increments compared to a vanilla CycleGAN implementation.


title: Curvature estimates for four-dimensional complete gradient expanding Ricci solitons

abstract: In this paper, we derive curvature estimates for 4-dimensional complete gradient expanding Ricci solitons with nonnegative Ricci curvature (outside a compact set $K$). More precisely, we prove that the norm of the curvature tensor $Rm$ and its covariant derivative $\nabla Rm$ can be bounded by the scalar curvature $R$ by $|Rm|\le C_a R^a$ and $|\nabla Rm| \le C_a R^a$ (on $M\backslash K$), for any $0\le a <1$ and some constant $C_a >0$. Moreover, if the scalar curvature has at most polynomial decay at infinity, then $|Rm| \le C R$ (on $M\backslash K$). As an application, it follows that that if a 4-dimensional complete gradient expanding Ricci soliton $(M^4, g, f)$ has nonnegative Ricci curvature and finite asymptotic scalar curvature ratio then it has finite asymptotic curvature ratio, and $C^{1,\alpha}$ asymptotic cones at infinity ($0 < \alpha < 1$) according to Chen-Deruelle [20].


title: FLAG Review 2021

abstract: We review lattice results related to pion, kaon, $D$-meson, $B$-meson, and nucleon physics with the aim of making them easily accessible to the nuclear and particle physics communities. More specifically, we report on the determination of the light-quark masses, the form factor $f_+(0)$ arising in the semileptonic $K \to \pi$ transition at zero momentum transfer, as well as the decay constant ratio $f_K/f_\pi$ and its consequences for the CKM matrix elements $V_{us}$ and $V_{ud}$. Furthermore, we describe the results obtained on the lattice for some of the low-energy constants of $SU(2)_L\times SU(2)_R$ and $SU(3)_L\times SU(3)_R$ Chiral Perturbation Theory. We review the determination of the $B_K$ parameter of neutral kaon mixing as well as the additional four $B$ parameters that arise in theories of physics beyond the Standard Model. For the heavy-quark sector, we provide results for $m_c$ and $m_b$ as well as those for the decay constants, form factors, and mixing parameters of charmed and bottom mesons and baryons. These are the heavy-quark quantities most relevant for the determination of CKM matrix elements and the global CKM unitarity-triangle fit. We review the status of lattice determinations of the strong coupling constant $\alpha_s$. We consider nucleon matrix elements, and review the determinations of the axial, scalar and tensor bilinears, both isovector and flavor diagonal. Finally, in this review we have added a new section reviewing determinations of scale-setting quantities.


title: Ambilateral collimation study of the twin-jets in NGC1052

abstract: With the increased sensitivity and resolution of radio interferometry the study of the collimation and acceleration region of jets in Active Galactic Nuclei (AGN) has come into focus within the last years. Whereas a large fraction of AGN jets reveal a change from parabolic to conical collimation around the Bondi radius, a small number of sources deviate from this standard picture, including the radio galaxy NGC1052. We study the jet width profile, which provides valuable information about the interplay between the central engine and accretion disk system and the collimation and acceleration zone of the jets. We observed the double-sided active galaxy NGC1052 at six frequencies with the VLBA in 2017 and at 22GHz with RadioAstron in 2016. These data are combined with archival 15, 22, and 43 GHz multi-epoch VLBA observations. From ridge-line fitting we obtained width measurements along the jet and counter-jet which were fitted with broken power-laws. We find a break in the jet collimation profile at ~10^4 R_s (Schwarzschild radii). Downstream of the break the collimation is conical with a power-law index of 1.0 - 1.2 (cylindrical 0; parabolic 0.5; conical 1). The upstream power-law index of 0.36 for the approaching jet is neither cylindrical nor parabolic and for the receding jet with 0.16 close-to cylindrical. Both jets have an opening angle of ~30 degree at a distance of ~10^3 R_S and are well collimated with an opening angle of <10 degrees downstream of the break. There are significant differences in the upstream collimation profile between approaching (Eastern) and receding (Western) jet. Absorption or scattering in the surrounding torus as well as an accretion wind may mimic a cylindrical profile. We need to increase the observing frequencies, which do not suffer from absorption to find the true jet collimation profile upstream of 10^4 R_s.


title: The Effects of Learning in Morphologically Evolving Robot Systems

abstract: Simultaneously evolving morphologies (bodies) and controllers (brains) of robots can cause a mismatch between the inherited body and brain in the offspring. To mitigate this problem, the addition of an infant learning period by the so-called Triangle of Life framework has been proposed relatively long ago. However, an empirical assessment is still lacking to-date. In this paper we investigate the effects of such a learning mechanism from different perspectives. Using extensive simulations we show that learning can greatly increase task performance and reduce the number of generations required to reach a certain fitness level compared to the purely evolutionary approach. Furthermore, although learning only directly affects the controllers, we demonstrate that the evolved morphologies will be also different. This provides a quantitative demonstration that changes in the brain can induce changes in the body. Finally, we examine the concept of morphological intelligence quantified by the ability of a given body to learn. We observe that the learning delta, the performance difference between the inherited and the learned brain, is growing throughout the evolutionary process. This shows that evolution is producing robots with an increasing plasticity, that is, consecutive generations are becoming better and better learners which in turn makes them better and better at the given task. All in all, our results demonstrate that the Triangle of Life is not only a concept of theoretical interest, but a system architecture with practical benefits.


title: The Power of Selecting Key Blocks with Local Pre-ranking for Long Document Information Retrieval

abstract: On a wide range of natural language processing and information retrieval tasks, transformer-based models, particularly pre-trained language models like BERT, have demonstrated tremendous effectiveness. Due to the quadratic complexity of the self-attention mechanism, however, such models have difficulties processing long documents. Recent works dealing with this issue include truncating long documents, in which case one loses potential relevant information, segmenting them into several passages, which may lead to miss some information and high computational complexity when the number of passages is large, or modifying the self-attention mechanism to make it sparser as in sparse-attention models, at the risk again of missing some information. We follow here a slightly different approach in which one first selects key blocks of a long document by local query-block pre-ranking, and then few blocks are aggregated to form a short document that can be processed by a model such as BERT. Experiments conducted on standard Information Retrieval datasets demonstrate the effectiveness of the proposed approach.


title: Higher-dimensional nonlinear thermodynamic formalism

abstract: We introduce a higher-dimensional version of the nonlinear thermodynamic formalism introduced by Buzzi and Leplaideur, in which a potential is replaced by a family of potentials. In particular, we establish a corresponding variational principle and we discuss the existence, characterization, and number of equilibrium measures for this higher-dimensional version.


title: Towards semi-classical analysis for sub-elliptic operators

abstract: We discuss the recent developments of semi-classical and micro-local analysis in the context of nilpotent Lie groups and for sub-elliptic operators. In particular, we give an overview of pseudo-differential calculi recently defined on nilpotent Lie groups as well as of the notion of quantum limits in the Euclidean and nilpotent cases.


title: A New RIS Architecture with a Single Power Amplifier: Energy Efficiency and Error Performance Analysis

abstract: Reconfigurable intelligent surface (RIS)-assisted communication have recently attracted the attention of the wireless communication community as a potential candidate for the next $6$-th generation (6G) of wireless networks. Various studies have been carried out on the RIS technology, which is capable of enabling the control of the signal propagation environment by network operators. However, when an RIS is used in its inherently passive structure, it appears to be only a supportive technology for communications, while suffering from a multiplicative path loss. Therefore, researchers have lately begun to focus on RIS hardware designs with minimal active elements to further boost the benefits of this technology. In this paper, we present a simple RIS hardware architecture including a single and variable gain amplifier for reflection amplification to confront the multiplicative path loss. The end-to-end signal model for communication systems assisted with the proposed amplifying RIS design is presented, together with an analysis focusing on the capacity maximization and theoretical bit error probability performance, which is corroborated by computer simulations. In addition, the major advantages of the proposed amplifying RIS design compared to its passive counterpart are discussed. It is shown that the proposed RIS-based wireless system significantly eliminates the double fading problem appearing in conventional passive RIS-assisted systems and improves the communication energy efficiency.


title: Long and Short Periodic Billiard Trajectories in the Regular Pentagon

abstract: In any periodic direction on the regular pentagon billiard table, there exists two combinatorially different billiard paths, with one longer than the other. For each periodic direction, McMullen asked if one could determine whether the periodic trajectory through a given point is long, short, or a saddle connection. In this paper we present an algorithm resolving this question for trajectories emanating from the midpoints of the pentagon.


title: Traversable wormholes in beyond Horndeski theories

abstract: We construct a large class of explicit, asymptotically flat and regular wormhole solutions in higher order scalar tensor theories. The solutions are vacuum solutions of scalar tensor theory and no matter (exotic or regular) is introduced in order to support them. They are constructed via a general disformal transformation of a seed black hole solution. The seed solutions belong to a particular Horndeski theory which requires the presence of all extended Galileons and has a higher dimensional Lovelock origin. As a result, the resulting wormholes are always solutions of general beyond Horndeski theory. The particular class of wormholes we study are parametrised by their ADM mass and two coupling constants of the theory, one related to their higher dimensional Lovelock origin and one to the disformal transformation itself. The latter of the coupling constants affects the throat size of the wormhole solutions, thus giving them a compact or non-compact nature, as well as their properties.


title: Successor Feature Landmarks for Long-Horizon Goal-Conditioned Reinforcement Learning

abstract: Operating in the real-world often requires agents to learn about a complex environment and apply this understanding to achieve a breadth of goals. This problem, known as goal-conditioned reinforcement learning (GCRL), becomes especially challenging for long-horizon goals. Current methods have tackled this problem by augmenting goal-conditioned policies with graph-based planning algorithms. However, they struggle to scale to large, high-dimensional state spaces and assume access to exploration mechanisms for efficiently collecting training data. In this work, we introduce Successor Feature Landmarks (SFL), a framework for exploring large, high-dimensional environments so as to obtain a policy that is proficient for any goal. SFL leverages the ability of successor features (SF) to capture transition dynamics, using it to drive exploration by estimating state-novelty and to enable high-level planning by abstracting the state-space as a non-parametric landmark-based graph. We further exploit SF to directly compute a goal-conditioned policy for inter-landmark traversal, which we use to execute plans to "frontier" landmarks at the edge of the explored state space. We show in our experiments on MiniGrid and ViZDoom that SFL enables efficient exploration of large, high-dimensional state spaces and outperforms state-of-the-art baselines on long-horizon GCRL tasks.


title: On the use of high order central difference schemes for differential equation based wall distance computations

abstract: A computationally efficient high-order solver is developed to compute the wall distances by solving the relevant partial differential equations, namely: Eikonal, Hamilton-Jacobi (HJ) and Poisson equations. In contrast to the upwind schemes widely used in the literature, we explore the suitability of high-order central difference schemes (explicit/compact) for the wall-distance computation. While solving the Hamilton-Jacobi equation, the high-order central difference schemes performed approximately $1.4-2.8$ times faster than the upwind schemes with a marginal improvement in the solution accuracy. A new pseudo HJ formulation based on the localized artificial diffusivity (LAD) approach has been proposed. It is demonstrated to predict results with an accuracy comparable to that of the Eikonal equation and the simulations are $\approx$ 1.5 times faster than the baseline HJ solver using upwind schemes. A curvature correction is also incorporated in the HJ equation to correct for the near-wall errors due to concave/convex wall curvatures. We demonstrate the efficacy of the proposed methods on both the steady and unsteady test cases and exploit the unsteady wall-distance solver to estimate the instantaneous shape and burning surface area of a dendrite propellant grain in a solid propellant rocket motor.


title: Data-driven synthesis of Robust Invariant Sets and Controllers

abstract: This paper presents a method to identify an uncertain linear time-invariant (LTI) prediction model for tube-based Robust Model Predictive Control (RMPC). The uncertain model is determined from a given state-input dataset by formulating and solving a Semidefinite Programming problem (SDP), that also determines a static linear feedback gain and corresponding invariant sets satisfying the inclusions required to guarantee recursive feasibility and stability of the RMPC scheme, while minimizing an identification criterion. As demonstrated through an example, the proposed concurrent approach provides less conservative invariant sets than a sequential approach.


title: Exotic states induced by co-evolving connection weights and phases in complex networks

abstract: We consider an adaptive network, whose connection weights co-evolve in congruence with the dynamical states of the local nodes that are under the influence of an external stimulus. The adaptive dynamical system mimics the adaptive synaptic connections common in neuronal networks. The adaptive network under external forcing displays exotic dynamical states such as itinerant chimeras whose population density of coherent and incoherent domains co-evolves with the synaptic connection, bump states and bump frequency cluster states, which do not exist in adaptive networks without forcing. In addition the adaptive network also exhibits partial synchronization patterns such as phase and frequency clusters, forced entrained, and incoherent states. We introduce two measures for the strength of incoherence based on the standard deviation of the temporally averaged (mean) frequency and on the mean frequency in order to classify the emergent dynamical states as well as their transitions. We provide a two-parameter phase diagram showing the wealth of dynamical states. We additionally deduce the stability condition for the frequency-entrained state. We use the paradigmatic Kuramoto model of phase oscillators which is a simple generic model that has been widely employed in unraveling a plethora of cooperative phenomena in natural and man-made systems.


title: Postdisaster image-based damage detection and repair cost estimation of reinforced concrete buildings using dual convolutional neural networks

abstract: Reinforced concrete buildings are commonly used around the world. With recent earthquakes worldwide, rapid structural damage inspection and repair cost evaluation are crucial for building owners and policy makers to make informed risk management decisions. To improve the efficiency of such inspection, advanced computer vision techniques based on convolution neural networks have been adopted in recent research to rapidly quantify the damage state of structures. In this paper, an advanced object detection neural network, named YOLO-v2, is implemented which achieves 98.2% and 84.5% average precision in training and testing, respectively. The proposed YOLO-v2 is used in combination with the classification neural network, which improves the identification accuracy for critical damage state of reinforced concrete structures by 7.5%. The improved classification procedures allow engineers to rapidly and more accurately quantify the damage states of the structure, and also localize the critical damage features. The identified damage state can then be integrated with the state-of-the-art performance evaluation framework to quantify the financial losses of critical reinforced concrete buildings. The results can be used by the building owners and decision makers to make informed risk management decisions immediately after the strong earthquake shaking. Hence, resources can be allocated rapidly to improve the resiliency of the community.


title: A Secure Experimentation Sandbox for the design and execution of trusted and secure analytics in the aviation domain

abstract: The aviation industry as well as the industries that benefit and are linked to it are ripe for innovation in the form of Big Data analytics. The number of available big data technologies is constantly growing, while at the same time the existing ones are rapidly evolving and empowered with new features. However, the Big Data era imposes the crucial challenge of how to effectively handle information security while managing massive and rapidly evolving data from heterogeneous data sources. While multiple technologies have emerged, there is a need to find a balance between multiple security requirements, privacy obligations, system performance and rapid dynamic analysis on large datasets. The current paper aims to introduce the ICARUS Secure Experimentation Sandbox of the ICARUS platform. The ICARUS platform aims to provide a big data-enabled platform that aspires to become an 'one-stop shop' for aviation data and intelligence marketplace that provides a trusted and secure 'sandboxed' analytics workspace, allowing the exploration, integration and deep analysis of original and derivative data in a trusted and fair manner. Towards this end, a Secure Experimentation Sandbox has been designed and integrated in the ICARUS platform offering, that enables the provisioning of a sophisticated environment that can completely guarantee the safety and confidentiality of data, allowing to any interested party to utilise the platform to conduct analytical experiments in closed-lab conditions.


title: Ultra-broadband photonic sampling of optical waveforms

abstract: Direct access to the electric field of light provides a subcycle view of the polarization response of matter, thus enabling sensitive metrology in physics, chemistry, and medicine. Optical-field sampling techniques take advantage of some process that lasts much less than an optical cycle of the measured light wave. Most of them rely on the generation of free electrons either by a weak extreme ultraviolet pulse or by a strong optical pulse. The ability of such techniques to detect weak signals is limited by undesirable effects associated with ionization. An alternative is all-optical methods, where the fast process is a nonlinear wave mixing. Such photonic methods may rely on extreme ultraviolet or optical pulses. They typically have better sensitivity, but smaller bandwidth. Here we propose generalized heterodyne optical-sampling techniques (GHOSTs), which overcome the bandwidth limit through controlling light-pulse waveforms.


title: The Hosts of X-ray Absorption Lines Toward AGNs

abstract: Most baryonic matter in the universe exists in gaseous form and can be found in structures such as galactic halos and the low-density intergalactic medium. proposed-ray spectroscopy missions such as Athena, Arcus, and Lynx will have the capability to identify absorption lines in spectra toward bright active galactic nuclei (AGNs), which can be used as a tool to probe this missing matter. In this study, we examine the optical fields surrounding 15 primary observing targets and identify the foreground galaxies and galaxy groups that are potential hosts of absorption. We record the basic properties of the potential host and their angular and physical separation from the AGN line of sight. This process is done by marking the location of various galaxies and groups in optical images of the field surrounding the target and plotting their angular separation vs. redshift to gauge physical proximity to the background source. We identify the surrounding objects according to those which have measured redshifts and those that require them.


title: Collaboration in Coworking Spaces: Impact on Firm Innovativeness and Business Models

abstract: Purpose: The purpose of this paper is to contribute to the debate as to whether collaboration in coworking spaces contributes to firm innovativeness and impacts the business models of organizations in a positive manner. Methodology: This paper includes primary data from 75 organizations in 17 coworking spaces and uses quantitative research methods. The methodology includes multiple statistical methods, such as principal component analysis, correlation analysis as well as linear and binary regression analysis. Results: The results show a positive interrelation between collaboration and innovation, indicating that coworkers are able to improve their innovative capabilities by making use of strategic partnerships in coworking spaces. Further, this study shows that business models are significantly affected by the level of collaboration in coworking spaces, which suggests that coworking is a promoting force for business model development or business model innovation. Contributions: The paper contributes to management literature and represents the first empirical investigations which focuses on the effects of collaboration on a firm-level in coworking spaces. Practical implications: The results indicate that organizations in coworking spaces should embrace a collaborative mindset and should actively seek out collaborative alliances and partnerships, as doing such is shown to increase their innovativeness and/or develop their business model. Future Research: Future research should focus on the antecedents of collaboration or could investigate the effects of collaboration in coworking spaces on a community level.


title: On cosmological bias due to the magnification of shear and position samples in modern weak lensing analyses

abstract: The magnification of galaxies in modern galaxy surveys induces additional correlations in the cosmic shear, galaxy-galaxy lensing and clustering observables used in modern lensing "3x2pt" analyses, due to sample selection. In this paper, we emulate the magnification contribution to all three observables utilising the SLICS simulations suite, and test the sensitivity of the cosmological model, galaxy bias and redshift distribution calibration to un-modelled magnification in a Stage-IV-like survey using Monte-Carlo sampling. We find that magnification cannot be ignored in any single or combined observable, with magnification inducing $>1\sigma$ biases in the $w_0-\sigma_8$ plane, including for cosmic shear and 3x2pt analyses. Significant cosmological biases exist in the 3x2pt and cosmic shear from magnification of the shear sample alone. We show that magnification induces significant biases in the mean of the redshift distribution where a position sample is analysed, which may potentially be used to identify contamination by magnification.


title: Application of Lagrange inversion to wall-crossing for Quot schemes on surfaces

abstract: Motivated by my work on enumerative invariants for Quot schemes, I related two power series obtained by two different means. One of them was computed using geometric arguments via virtual localization methods and the other one came from working with representation theoretic objects called vertex algebras. In this note, I give proof of the equality of the two power series by relying only on techniques related to Lagrange inversion. This makes my work on Quot schemes independent of the previous results in the literature and proves a new combinatorial identity.


title: The exceptional set for integers of the form $[(p_1)^c] + [(p_2)^c]$

abstract: Let $1 < c < 24/19$. We show that the number of integers $n \le N$ that cannot be written as $[p_1^c] + [p_2^c]$ ($p_1$, $p_2$ primes) is $O(N^{1-\sigma+\varepsilon})$. Here $\sigma$ is a positive function of $c$ (given explicitly) and $\varepsilon$ is an arbitrary positive number.


title: Review and outlook of accelerator-related codes and their interplay with the experiments software

abstract: Powerful flexible computer codes are essential for the design and optimisation of accelerator and experiments. We briefly review what already exists and what is needed in terms of accelerator codes. For the FCC-ee it will be important to include the effects of beamstrahlung and beam-beam interaction as well as machine imperfections and sources of beam induced backgrounds relevant for the experiments and consider the possibility of beam-polarisation. The experiment software Key4hep, which aims to provide a common software stack for future experiments, is described and the possibility of extending this concept to machine codes is discussed. We analyse how to interface and connect the accelerator and experiment codes in an efficient and flexible way for optimisation of the FCC-ee interaction region design, and discuss the possibility of using shared data formats as an interface.


title: Reliable Equations of State of Viscous Strong and Electroweak Matter

abstract: For the first time, a reliable estimation for the equations of state (EoS), bulk viscosity, and relaxation time, at temperatures ranging from a few MeV up to TeV or energy density up to $10^{16}~$GeV/fm$^3$. This genuine study covers both strong and electroweak epochs of the early Universe. Non--perturbation (up, down, strange, charm, and bottom quark flavor) and perturbative calculations (up, down, strange, charm, bottom, and top quark flavors), are phenomenologically combined, at vanishing baryon--chemical potential. In these results, calculations from Polyakov linear--sigma model (PLSM) of the vacuum and thermal condensations of the gluons and the quarks (up, down, strange, and charm flavors) are also integrated. Furthermore, additional degrees of freedom (photons, neutrinos, charged leptons, electroweak particles, and scalar Higgs boson) are found significant along the entire range of temperatures. As never done before, the present study brings the standard model of elementary particles closer to the standard model for cosmology.


title: A big data intelligence marketplace and secure analytics experimentation platform for the aviation industry

abstract: The unprecedented volume, diversity and richness of aviation data that can be acquired, generated, stored, and managed provides unique capabilities for the aviation-related industries and pertains value that remains to be unlocked with the adoption of the innovative Big Data Analytics technologies. Despite the large efforts and investments on research and innovation, the Big Data technologies introduce a number of challenges to its adopters. Besides the effective storage and access to the underlying big data, efficient data integration and data interoperability should be considered, while at the same time multiple data sources should be effectively combined by performing data exchange and data sharing between the different stakeholders. However, this reveals additional challenges for the crucial preservation of the information security of the collected data, the trusted and secure data exchange and data sharing, as well as the robust data access control. The current paper aims to introduce the ICARUS big data-enabled platform that aims provide a multi-sided platform that offers a novel aviation data and intelligence marketplace accompanied by a trusted and secure analytics workspace. It holistically handles the complete big data lifecycle from the data collection, data curation and data exploration to the data integration and data analysis of data originating from heterogeneous data sources with different velocity, variety and volume in a trusted and secure manner.


title: Pulsating subdwarf B stars in the oldest open cluster NGC6791

abstract: We report results of our analysis of the Kepler superaperture LC data of the open cluster NGC6791 to search for pulsating sdB stars. We checked all pixels and we found only three sdB stars to be pulsating, KIC2569576 (B3), KIC2438324 (B4) and KIC2437937 (B5). These stars were known to be pulsators before, though we extended data coverage detecting more frequencies and features in their amplitude spectra, i.e. new multiplets and more complete period spacing sequences that we used for identifying geometry of the pulsation modes. The multiplet splittings were also used to derive rotation periods. The remaining known sdBs do not show any pulsation-related light variation down to our detection thresholds. We analyzed already existing spectroscopic observations taken with the HECTOSPEC at the MMT telescope in Smithsonian Arizona and with the GMOS at the Gemini North telescope, and fitted atmospheric parameters using the Balmer lines. Four stars, B3-B6, show atmospheric parameters that are consistent with g-mode dominated sdBs. We detected hints of radial velocity variability in B3, B5, and B6, indicating these three stars may be in binaries.


title: Key4hep, a framework for future HEP experiments and its use in FCC

abstract: The road map to the FCC Feasibility Study Report, for submission to the next Update of the European Strategy for Particle Physics, will require detailed simulation and advanced reconstruction algorithms to explore and maximise the physics reach of proposed detector solutions. The optimisation process will require maximal flexibility in changing detector geometries, materials and sensitive areas, and efficient tools to quantify the overall performance. To synergise such developments the CEPC, CLIC, FCC, ILC and SCT communities have engaged in the commissioning of a `Turnkey Software Stack' (Key4hep), which would provide all the necessary ingredients, from simulation to analysis, for future experiments. This approach is based on the positive experience of the linear collider projects ILC and CLIC, which have developed and used a common software stack (iLCSoft) over the last decade. Key4hep aims to cover most, if not all, future linear and circular machines colliding leptons (electrons, muons), and hadrons. The common software ecosystem will facilitate writing specific components for experiments ensuring coherency and maximising the re-use of established solutions. Project-specific software frameworks will require adaptation to fully profit from the common software base. In this essay we present the status and plans for re-framing the FCC software framework, FCCSW, around Key4hep and discuss the challenges associated with the transition.


title: Spanners in randomly weighted graphs: Euclidean case

abstract: Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We study the size of spanners in the following scenario: we consider a random embedding of $G_{n,p}$ into the unit square with Euclidean edge lengths. For $\epsilon>0$ constant, we prove the existence w.h.p. of $(1+\epsilon)$-spanners for ${\mathcal X}_p$ that have $O_\epsilon(n)$ edges. These spanners can be constructed in $O_\epsilon(n^2\log n)$ time. (We will use $O_\epsilon$ to indicate that the hidden constant depends on $\epsilon$.) There are constraints on $p$ preventing it going to zero too quickly.


title: One-Shot Generative Domain Adaptation

abstract: This work aims at transferring a Generative Adversarial Network (GAN) pre-trained on one image domain to a new domain referring to as few as just one target image. The main challenge is that, under limited supervision, it is extremely difficult to synthesize photo-realistic and highly diverse images, while acquiring representative characters of the target. Different from existing approaches that adopt the vanilla fine-tuning strategy, we import two lightweight modules to the generator and the discriminator respectively. Concretely, we introduce an attribute adaptor into the generator yet freeze its original parameters, through which it can reuse the prior knowledge to the most extent and hence maintain the synthesis quality and diversity. We then equip the well-learned discriminator backbone with an attribute classifier to ensure that the generator captures the appropriate characters from the reference. Furthermore, considering the poor diversity of the training data (i.e., as few as only one image), we propose to also constrain the diversity of the generative domain in the training process, alleviating the optimization difficulty. Our approach brings appealing results under various settings, substantially surpassing state-of-the-art alternatives, especially in terms of synthesis diversity. Noticeably, our method works well even with large domain gaps, and robustly converges within a few minutes for each experiment.